(c \cdot b) - a \geq -c \mod a \quad 9 \geq 0,83333... \text{ verdadeiro}

((a + b) \cdot c) \mod a \neq ((b + a) \cdot c) \mod b \quad 3 \neq 0 \text{ verdadeiro}

a - b - 1 == -1 \cdot (b - a) \quad 2 == 3 \text{ Falso}

(a + b) - a \neq (b + a) - b \quad 3 \neq 6 \text{ verdadeiro}

a^b - c \neq b^a - c \quad 211 \neq 724 \text{ verdadeiro}