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 ≡ 225 (mod 1935) x ≡ 57620 (mod 886885) x ≡ 184167 (mod 760338) 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 ≡ 225 (mod 1935) x ≡ 57620 (mod 886885) x ≡ 184167 (mod 760338) x ≡ 179799 (mod 764706) x ≡ 42559 (mod 450973)