Simplify[Mod[Mod[128 - y, 128], 128] == Mod[128 - y, 128]]