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 4 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 476 (mod 4475) x ≡ 1470 (mod 3481) x ≡ 2363 (mod 2588) x ≡ 901…
The task
Find any non-negative integer x satisfying all of the following 4 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 476 (mod 4475) x ≡ 1470 (mod 3481) x ≡ 2363 (mod 2588) x ≡ 901 (mod 1350)