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 ≡ 124385906 (mod 158298035) x ≡ 366193326 (mod 1499470965) 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 ≡ 124385906 (mod 158298035) x ≡ 366193326 (mod 1499470965) x ≡ 917713262 (mod 947951029) x ≡ 94890306 (mod 354154797) x ≡ 466007585 (mod 699828353) x ≡ 138251919 (mod…