Integer Division/Examples/Division by -7

Proof
We have that:
 * $29 = 3 \times 8 + 5$

Hence the result by definition of integer division.