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 ≡ 2282541353 (mod 4582566970) x ≡ 286296237 (mod 3289406043) 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 ≡ 2282541353 (mod 4582566970) x ≡ 286296237 (mod 3289406043) x ≡ 985674338 (mod 1175886797) x ≡ 393755487 (mod 497796372) x ≡ 1985950309 (mod 2439579007) x ≡ 420227629…