Mod[x, 37] == 13