Is x=12 a solution to the equation ?