To verify if Josef or Alice is correct, we'll solve the equation.
In the last step, we divided both sides by
Thus, we got a negative number in the denominator and it's then possible to move the negative to in front of the fraction.
Josef must have forgotten the sign when isolating
Therefore, the answer is yes, Alice is correct.