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 ≡ 7160562 (mod 147514872) x ≡ 7402746 (mod 73636344) x ≡ 17109108…
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 ≡ 7160562 (mod 147514872) x ≡ 7402746 (mod 73636344) x ≡ 17109108 (mod 22927721) x ≡ 12168986 (mod 71253224) x ≡ 2917704 (mod 10117182) x ≡ 69369401 (mod 85306033)