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 ≡ 5691 (mod 17945) x ≡ 20956 (mod 55175) x ≡ 12844 (mod 118462) 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 ≡ 5691 (mod 17945) x ≡ 20956 (mod 55175) x ≡ 12844 (mod 118462) x ≡ 28920 (mod 51193) x ≡ 11031 (mod 24055)