OpenSAT

To solve for x, we first subtract 3 from both sides of the equation: $2x + 3 - 3 = 7 - 3$. This gives us $2x = 4$. Then, we divide both sides of the equation by 2: $\frac{2x}{2} = \frac{4}{2}$. This gives us $x = 2$.