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 ≡ 38003 (mod 93959) x ≡ 61646 (mod 70316) x ≡ 53416 (mod 78546) 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 ≡ 38003 (mod 93959) x ≡ 61646 (mod 70316) x ≡ 53416 (mod 78546) x ≡ 4018 (mod 7108) x ≡ 59102 (mod 72860)