Solving for x in an equation