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 ≡ 209947 (mod 434467) x ≡ 59929 (mod 584485) x ≡ 84534 (mod 139970)…
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 ≡ 209947 (mod 434467) x ≡ 59929 (mod 584485) x ≡ 84534 (mod 139970) x ≡ 273359 (mod 371055) x ≡ 43994 (mod 60042)