OpenSAT

To solve for x, we first subtract 5 from both sides of the equation: $2x + 5 - 5 = 17 - 5$, which simplifies to $2x = 12$. Then we divide both sides of the equation by 2: $2x/2 = 12/2$, which gives us $x = 6$.