TeX source:

\begin{align*}y &= 30 + 3x\!\\ & \Rightarrow 15 + 3x = 30 + 3x \Rightarrow 15 = 30 \qquad \text{This statement is always false.}\!\\ y &= 15 + 3x\end{align*}