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 ≡ 1015714744 (mod 1689557742) x ≡ 274208535 (mod 5810179435) 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 ≡ 1015714744 (mod 1689557742) x ≡ 274208535 (mod 5810179435) x ≡ 2925635784 (mod 3158752186) x ≡ 67495816 (mod 231418929) x ≡ 518152197 (mod 795176539) x ≡ 329203893…