"xy" % 7 = 0  <=>  (x - 2y) % 7 = 0