Divisibility as an equation

Definition 9

Divides

For integers $a$ and $b$ , $a \mid b$ means $b = a\cdot k$ for some integer $k$ .

Like “even”, “divides” is something you unpack into an equation. Then you can compute with it.