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 ≡ 182711631042351 (mod 486808087331710) x ≡ 38625243297313 (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 ≡ 182711631042351 (mod 486808087331710) x ≡ 38625243297313 (mod 210298158358916) x ≡ 30989159003893 (mod 53210879947514) x ≡ 1290852728501 (mod 83528608205695) x ≡…