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 6 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 53617477 (mod 3279395310) x ≡ 3059600192 (mod 6832203215) x ≡…
The task
Find any non-negative integer x satisfying all of the following 6 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 53617477 (mod 3279395310) x ≡ 3059600192 (mod 6832203215) x ≡ 852156675 (mod 4519823366) x ≡ 2045539018 (mod 2615421463) x ≡ 554491437 (mod 933731197) x ≡ 1257877261…