This guided problem locks the kinematics so one scalar means the same system motion everywhere: moves up, moves down, and the pulley rotates clockwise.
Select the statements you want the solver to assume. To unlock the workspace, confirm the four true constraints and leave the tension misconception off.