OpenSAT

To solve for x, we first subtract 5 from both sides of the equation: $3x + 5 - 5 = 17 - 5$. This gives us $3x = 12$. Next, we divide both sides by 3: $\frac{3x}{3} = \frac{12}{3}$. This simplifies to $x = 4$.