Let h be (12 - 11) + (8 - (-1 - -4)). Solve -2*x + 4*x = -h for x.
-3
Let q = 5 + -3. Suppose 0 = -5*c + q*c + 60. Solve -x + 6*x = -c for x.
-4
Suppose -21 - 4 = -5*a. Suppose -5*n + 9 + 11 = 0. Suppose -7 = -n*b + a. Solve 0 = b*v - 7*v + 16 for v.
4
Suppose 3*d - 17 - 22 = 0. Suppose 0 = 3*i - d - 5. Solve w + i = 3 for w.
-3
Suppose -3*z = -z - 30. Suppose 3*s - z = -0*s. Solve -s*i + 9 - 34 = 0 for i.
-5
Suppose -3*o - 3*z = -24, 3*o = -2*z - 4 + 25. Suppose -x - 5 = 5*m - 2*x, -15 = -o*m - 3*x. Solve m*j - 3*j - 3 = 0 for j.
-1
Suppose 3*b + 4 = 28. Solve b = k + k for k.
4
Suppose 0 = -2*u + 2*y - 4*y - 4, 3*u + 5*y + 14 = 0. Solve -4*j + 2 = -u for j.
1
Let a® = -r + 2. Let f be a(-1). Solve 5*c + 2 = -f for c.
-1
Let j© = c + 5. Let y be j(-4). Suppose -3*s - 2*b - y = -32, -3*s + b + 16 = 0. Let r = 15 - 13. Solve h - r = -s for h.
-5