Suppose -v - 30 = -3*c - 6, 3*c - 24 = -3*v. Solve 0 = c*x - 3*x - 15 for x.
3
Suppose -2*u + 3*u = 2. Solve 3*g - 4 = u*g for g.
4
Let w = -11 - -17. Suppose 0 = 4*q - w*q. Solve r - 2 + 1 = q for r.
1
Let q = 91 + -88. Solve -z = q*z for z.
0
Let f(v) = v**2 + 7*v - 14. Let s be f(-9). Solve -4*u + s - 20 = 0 for u.
-4
Suppose 4*q - 25 = -q. Suppose -q = f - 2*b - 0, -4*f - 8 = -5*b. Solve 11 = -f*u + 2 for u.
-3
Let g be (2 - -2)*(-3)/(-6). Suppose 2*q + 27 = g*p + 3, q = -2*p + 18. Solve 3*m = -2*m + p for m.
2
Let m(y) = 3*y**2 + y + 1. Let j be m(2). Suppose -13 = -3*x + o, 5*x - 7 = 2*o + j. Solve x*z + 0 = 16 for z.
4
Suppose q - 8*q = -14. Suppose 14 = 3*n - q*d, 0*d + d + 13 = 3*n. Solve -n*k + 12 = 4 for k.
2
Suppose 0 = -i + d + 177, 2*d + 174 = -i + 2*i. Suppose 0 = 2*x - 6*x - i. Let v = x + 65. Solve -2*b + v = -6*b for b.
-5