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 ≡ 67085 (mod 95428) x ≡ 145477 (mod 199374) x ≡ 42565 (mod 83610) 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 ≡ 67085 (mod 95428) x ≡ 145477 (mod 199374) x ≡ 42565 (mod 83610) x ≡ 43855 (mod 50037) x ≡ 62611 (mod 80269)