(n: Integer) even? := 2 divides?: n
(n: Integer) odd? := n even? not

(x: Integer) divides?: (y: Integer) :=
  (y % x) == 0

(x: Integer) divisible-by?: (y: Integer) :=
  y divides?: x