ChineseRemainder
ChineseRemainder[{r1,r2,…},{m1,m2,…}] gives the smallest x with x≥0 that satisfies all the integer congruences x mod mirimod mi.
ChineseRemainder[{r1,r2,…},{m1,m2,…},d] gives the smallest x with x≥d that satisfies all the integer congruences x mod mirimod mi.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.