Divisibilityhard
0:00.0

Solve: find the smallest positive x satisfying x ≡ 1 (mod 2), x ≡ 2 (mod 3), x ≡ 3 (mod 5).