add symbolic mod handling so Mod(4*integer, 4) == 0