When something is subtracted from both sides of the equation, the justification is the <em>subtraction property of equality</em>. When something multiplies both sides of the equation, the justification is the <em>multiplication property of equality</em>. (This should not be a mystery.)
Here, the equation is solved by subtracting 17/3, then subtracting 1/2x, then multiplying by the inverse of the coefficient of x. After each of these steps is a simplification.