TeX source:
\begin{array}{rcl} 20 &=& -2 \cdot (-14)-8 \cr 20 &=& 20 \end{array}