Problem:
Find the smallest $x$ such that
$x \equiv 0 \pmod{8}$
$x \equiv 8 \pmod{18}$
$x \equiv 17 \pmod{9}$
$x \equiv 10 \pmod{7}$
Answer:
$80$
{'source': 'AMPS', 'file': 'amps/mathematica/number_theory/chinese_remainder_theorem/25534.txt'}