HF RL Explorer

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 ≡ 110614837867648 (mod 568789213172665) x ≡ 166211461622618 (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 ≡ 110614837867648 (mod 568789213172665) x ≡ 166211461622618 (mod 513192589417695) x ≡ 78302154794324 (mod 601101896245989) x ≡ 15933314189977 (mod 82933842106292) x ≡…

Part of amphora/MathConstructOptimize-Envs-harbor.