Alternatively, maybe the number is three less than a multiple of **the lcm**, but we already saw $ x = 501 $ is minimal. - AMAZONAWS