We have to solve the following equation for x:

We multiply by 2, by the multiplication property of equality:

This equation is equivalent to:

By the distributive property we have that:

And by the subtraction property of equality we get:

This is equivalent to:

And re-using the distributive property we obtain:
