Let t be 3*1 - (-2 - (-5 - -6)). Solve -o - 2*o - t = 0 for o.
-2
Suppose 5*d - 3*d = -s + 33, 4*s = -2*d + 24. Solve -2 = -4*v - d for v.
-4
Suppose 25 = -5*k + 5*u, 2*k = 3*u + u - 8. Let h be (-10)/k + (-11)/(-33). Solve 4 + 6 = -h*x for x.
-5
Suppose 0 = -3*y + 39 - 9. Suppose -4*l - 2*a - 4 = 0, -3*a = 5*l - 7*a + 5. Let m = l - -3. Solve 0 = -m*d - 0 + y for d.
5
Let t be (0 - (2 + -5)) + 4. Solve 3*r + 20 = t*r for r.
5
Suppose 20 = 5*m - m. Solve k + 12 = m*k for k.
3
Suppose -21 = -5*a - 66. Let f = a - -13. Solve -f*q + 5 = -11 for q.
4
Suppose -f = -5*f + 16. Solve f*x - 19 = -3 for x.
4
Suppose 0 = b - 0*b + 3. Let u® = r + 3. Let s be u(b). Solve a - 4*a + 9 = s for a.
3
Suppose 2*q = 2*h + 11 + 3, -2*h - 10 = 0. Solve -3 = x + q for x.
-5