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 ≡ 232122125 (mod 1560168774) x ≡ 142292393 (mod 1605083640) 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 ≡ 232122125 (mod 1560168774) x ≡ 142292393 (mod 1605083640) x ≡ 451836503 (mod 580124634) x ≡ 1081095101 (mod 2271364572) x ≡ 190662348 (mod 632359465) x ≡ 718556341…