Mod[-x, 37] == 13