These procedures test whether x is an integer divisible by 2.

$\mathrm{type}\left(100\,\mathrm{even}\right)$

$\mathrm{true}$

$\mathrm{type}\left(100\,\mathrm{odd}\right)$

$\mathrm{false}$

$\mathrm{type}\left(x^2\,\mathrm{even}\right)$

$\mathrm{false}$