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 5 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 66026 (mod 121952) x ≡ 73366 (mod 240234) x ≡ 38576 (mod 257629)…

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 ≡ 66026 (mod 121952) x ≡ 73366 (mod 240234) x ≡ 38576 (mod 257629) x ≡ 27500 (mod 526334) x ≡ 207365 (mod 346469)

Part of amphora/MathConstructOptimize-Envs-harbor.