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 ≡ 262300 (mod 268045) x ≡ 425 (mod 44160) x ≡ 197063 (mod 333282) 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 ≡ 262300 (mod 268045) x ≡ 425 (mod 44160) x ≡ 197063 (mod 333282) x ≡ 48304 (mod 482041) x ≡ 20915 (mod 84905)