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 ≡ 20564 (mod 649311) x ≡ 236497 (mod 433378) x ≡ 200630 (mod…
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 ≡ 20564 (mod 649311) x ≡ 236497 (mod 433378) x ≡ 200630 (mod 469245) x ≡ 148789 (mod 260543) x ≡ 59660 (mod 203405)