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 ≡ 296524 (mod 684840) x ≡ 485605 (mod 495759) x ≡ 386354 (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 ≡ 296524 (mod 684840) x ≡ 485605 (mod 495759) x ≡ 386354 (mod 595010) x ≡ 471834 (mod 509530) x ≡ 91974 (mod 177878)