1.
Solution.
Simplify both sides to the same expression, naming the property used at each step.
\begin{align*}
x \amp= 2a + 7 - a\\
\amp= (2a - a) + 7 \quad \text{(commutativity and associativity of addition)}\\
\amp= a + 7 \quad \text{(combine like terms: }2a-a=a\text{)}
\end{align*}
\begin{align*}
y \amp= 3a - 8 - 2a + 15\\
\amp= (3a - 2a) + (-8 + 15) \quad \text{(commutativity and associativity of addition)}\\
\amp= a + 7 \quad \text{(combine like terms and integer addition }-8+15=7\text{)}
\end{align*}
Therefore, \(x = a + 7\) and \(y = a + 7\text{,}\) so \(x = y\) by the substitution (transitivity) property of equality.
