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 3 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 37 (mod 58) x ≡ 66 (mod 87) x ≡ 23 (mod 130)
The task
Find any non-negative integer x satisfying all of the following 3 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 37 (mod 58) x ≡ 66 (mod 87) x ≡ 23 (mod 130)