[kazinator]

Indeed, it just the mod 37 congruence doesn't correspond to nice Boolean:

  odd(x + y) = odd(x) XOR odd(y)
  odd(x * y) = odd(x) AND odd(y)

There.