construct/rlve crt
construct/rlve crt: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find any non-negative integer x satisfying all of the following 5 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 1470 (mod 8702) x ≡ 63529 (mod 103279) x ≡ 8664 (mod 22592) x ≡…
The task
Find any non-negative integer x satisfying all of the following 5 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 1470 (mod 8702) x ≡ 63529 (mod 103279) x ≡ 8664 (mod 22592) x ≡ 23396 (mod 23902) x ≡ 10540 (mod 39067)