Problem:
Find the smallest $x$ such that
$x \equiv 20 \pmod{17}$
$x \equiv 12 \pmod{4}$
$x \equiv 11 \pmod{7}$
Answer:
$88$
{'source': 'AMPS', 'file': 'amps/mathematica/number_theory/chinese_remainder_theorem/41580.txt'}