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 8 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 15623008382971 (mod 16799074560376) x ≡ 33146323976667 (mod…
The task
Find any non-negative integer x satisfying all of the following 8 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 15623008382971 (mod 16799074560376) x ≡ 33146323976667 (mod 100070206328936) x ≡ 12295310146698 (mod 24184244031781) x ≡ 3420224519430 (mod 129796305786173) x ≡…