You just typed 'x = -3' into the solver and this is what you see in the solution. The solver finds the solution for the variable 'x' in the set of real or integer numbers.