Problem:
Find the smallest $x$ such that
$x \equiv 2 \pmod{13}$
$x \equiv 13 \pmod{19}$
$x \equiv 20 \pmod{7}$
$x \equiv 17 \pmod{20}$
Answer:
$19697$
{'source': 'AMPS', 'file': 'amps/mathematica/number_theory/chinese_remainder_theorem/37645.txt'}