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 ≡ 33 (mod 174) x ≡ 15 (mod 16) x ≡ 55 (mod 152) x ≡ 22 (mod 37)
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 ≡ 33 (mod 174) x ≡ 15 (mod 16) x ≡ 55 (mod 152) x ≡ 22 (mod 37)