- f/(-3). Let h be x(d). Solve h = q - 0*q for q.
0
Let l = -25 - -30. Suppose l*i + 4 + 1 = -3*g, 2*i - 2*g - 14 = 0. Solve i = -o + 1 for o.
-1
Let r be -8*28/(-32)*4/14. Solve -r*w - 3*w = -5 for w.
1
Suppose -356 = -8*y - 292. Solve 0 = y*p - 9*p - 5 for p.
-5
Let s be 4 - 0*(-3)/(-12)*2. Solve -3*u = 19 - s for u.
-5
Let s(f) = 2*f - 9. Let h be s(6). Suppose -5*k + 8*k - h = 0. Let y(a) = 6*a**3 - 2*a**2 + 2*a - 1. Let j be y(1). Solve -j*o = -k + 16 for o.
-3
Let o = 589 - 586. Solve 0 = o*g - 7*g - 20 for g.
-5
Suppose -2*d = y - 9, 9 = 3*y - d - 18. Suppose -20 = -9*f + 4*f. Solve y = v - f*v for v.
-3
Suppose -5*v = -3*v. Let y(w) = w**2 - 4*w + 1. Let k be y(3). Let x = v - k. Solve -7*s = -x*s for s.
0
Let t = 91 - 88. Suppose -t*b - 21 = -3*j, -2*j + 2*b = -3*b - 11. Solve -3*x + j - 2 = 0 for x.
2
Let n(z) = 5*z + 4. Let w be n(0). Solve w*p - 3 = 13 for p.
4
Let x be ((-9)/2)/((-12)/16). Let p(s) = -3*s + 12 - 5 + 2*s + 10. Let y be p(13). Solve y*t - t = x for t.
2
Let l(z) = 3*z - 16. Let d be l(7). Suppose 0 = 3*j - k - 10, d*j - 19 = 2*k + 2*k. Suppose 3*s - 24 = -j. Solve -s*v + 3*v + 4 = 0 for v.
1
Let j(m) = 2*m**2 - 2*m - 7. Let b = -2 + 7. Let h be j(b). Let g = h - 21. Solve -3*t - g = -0*t for t.
-4
Let r(q) = 3*q**2 + 15*q - 24. Let x be r(-7). Solve -x = -11*h + 4 for h.
2
Let f = 887 - 885. Solve f*k = -2*k for k.
0
Suppose 2*d + 0*o - 2 = 3*o, 0 = 4*d + 5*o + 18. Let m(b) = b + 2. Let l be m(d). Suppose -15 = -l*q - 5*q. Solve 4 = -u + q for u.
-1
Let p be (2 + 1)*48/9. Let c = p - 10. Suppose 0 = h + 2*h - c, 3*h = -3*t + 18. Solve -t*u + 3*u = 4 for u.
-4
Let g = 293 - 291. Solve g*k = -1 - 9 for k.
-5
Let p = -7 - -11. Suppose -37 = -p*h + 11. Suppose -5*m = -3*a - 24, -2*m + 8 + h = 4*a. Solve 2*o - m*o - 20 = 0 for o.
-5
Suppose 2*l - 24 - 8 = 0. Solve 5*d = d - l for d.
-4
Let v(i) = -i + 1. Let d(o) = -4*o - 2*o + 2 + 3*o. Let x(u) = -2*d(u) + 5*v(u). Let y be x(11). Solve -2 = 2*f - y for f.
5
Let r = -22 - -42. Suppose 0 = -5*d - 0*n + 3*n + 32, -2*n = -3*d + r. Let b = -42 + 44. Solve b = d*x - 2 for x.
1
Suppose 55 = 41*q - 68. Solve -3*l - q*l = 24 for l.
-4
Suppose 4*f = 3*h - 7, 4*f - 35*h + 31*h + 12 = 0. Solve f*w - 108 + 106 = 0 for w.
1
Suppose -n = -5*f - 2, 0*f = -4*f. Let y be (n - 6)*(-1 - 1). Solve -y + 23 = -3*k for k.
-5
Let d = 7 - 3. Let j be (0 + (2 - 2))/(-2 - -3). Solve j = -d*p + 4 for p.
1
Suppose -16*g + 22 = -13*g + 2*y, 2*g + 5*y = 33. Solve -g*c - 9 = -5 for c.
-1
Let u(i) = i**3 - 9*i**2 - 12*i - 80. Let d be u(11). Solve 5*l + 15 = d for l.
3
Let u(d) = d**2 - 2*d + 13. Let x be u(4). Let b = 30 - x. Suppose 5*n - 3*j - 26 = 0, -4*n + 3*n - 3*j - 2 = 0. Solve n*c - 1 + b = 0 for c.
-2
Let h(g) = -g**3 + 3*g**2 + 28*g + 6. Let f be h(-4). Suppose a - 3 + 0 = 0. Solve f = a*m - 0*m for m.
2
Suppose -25*o = -17*o - 16. Solve 0 + 4 = -o*j for j.
-2
Suppose -2*v + 8 = 4*g, -3*v + 4*g - 12 = -7*v. Suppose z - 5 = -t, -23 = -4*t - 2*z - 5. Solve -4 = v*m - t*m for m.
2
Suppose -2*n - 4*f = n + 23, -3*n + f + 2 = 0. Suppose 4*q - 1 = j, 3*q - 5 = -2*j + 4. Let g = j + n. Solve 5*b - g = 8 for b.
2
Let u = -13 + 16. Suppose -3*a + 0*a - u = -3*s, -2*a - s + 13 = 0. Solve a*n = 10 + 2 for n.
3
Suppose -7*i - 3*i + 50 = 0. Solve -i*w = -4*w + 4 for w.
-4
Let t(v) = 8*v**2 - v - 1. Let r be t(3). Suppose -2*y - 4*a = -r, -3*y - 2*a = 6 - 92. Let p = y + -26. Solve p = -2*w - 3*w - 15 for w.
-3
Let j = 2 + -2. Let i = j - -4. Suppose i*z + 0*z = 8. Solve -5*v + z = 7 for v.
-1
Suppose 0 = z + 3, 2*x - 2*z - 5 - 5 = 0. Solve 1 + x = -n for n.
-3
Let d(v) = v - 6. Let q = 27 + -19. Let r be d(q). Solve -r*k - 2 = -k for k.
-2
Suppose -5*a + 3*g = 62, -2*a - 3*a - 67 = 2*g. Let k = a - -18. Suppose -o = 4*x + 16, -5 = k*x - 4*x. Solve 0 = o*q - 2*q for q.
0
Let i(v) = 11*v**2 + 2*v - 1. Let h be i(1). Solve 0 = 10*y - h + 52 for y.
-4
Suppose -1 = 4*t - 13. Suppose 58*z = 64*z. Solve z*n = -t*n + 15 for n.
5
Suppose -782 = 8*r - 846. Solve -17 = 3*c - r for c.
-3
Let s = -481 + 492. Solve 4 + 51 = -s*j for j.
-5
Let d be 143/286*13*14. Solve 21*x - d = -7 for x.
4
Suppose 118*g = 126*g - 24. Solve g*s = 6*s - 3 for s.
1
Let g(c) = c + 21. Suppose -2 = -2*s, 4*p = 5*p - 3*s + 22. Let u be g(p). Solve t = -u*t for t.
0
Suppose 2*o - 9 - 9 = 0. Suppose q - 3*l + 6 = 0, 3*q = -3*l + 10 - 4. Suppose -3*f + o = 0, -f = -5*j - q + 7. Solve -2*w + 8 = j for w.
3
Let o(q) = -q**3 + 3*q**2 + 17*q + 10. Let k be o(6). Suppose -2*x - x = 0. Solve k*v + v - 10 = x for v.
2
Let q = -58 - -63. Let c be (4/q)/((-64)/(-20) - 3). Solve 0 = -c*p + 9*p + 25 for p.
-5
Let k(c) = 11*c + 144. Let l be k(-13). Solve 9 = 2*t + l for t.
4
Let p(b) = b**3 - 8*b**2 - 7*b - 16. Let t be (-15)/3*-2 - 1. Let x be p(t). Solve -x*w + 3 = -3 for w.
3
Let m = -6 - -11. Let l(f) = -2*f**3 + 4*f**2 - 3*f + 2. Let j be l(3). Let y = -23 - j. Solve 0 = -m*w + y*w - 3 for w.
-1
Let o(p) = p**2 - 36*p + 11. Let h be o(0). Solve -11*m = -h + 22 for m.
-1
Let p = -150 + 151. Solve 0 = 2*u + p - 7 for u.
3
Let k(v) = -v**3 - 10*v**2 + 8*v - 24. Let z be k(-11). Let t(m) = -m**3 + 8*m**2 + 10*m - 8. Let b be t(z). Solve b = 3*i + 4 for i.
-1
Let o(x) = -x**2 - 9*x - 3. Let c be o(-6). Let u = c + -13. Suppose -6*y + u*y = 0. Solve l + 4*l = y for l.
0
Suppose 3*v = 12 - 3, -5*v = -y - 14. Let z be (3 - 1 - 1) + y. Suppose -z*q = -4*i - 4, 0*i + 8 = -3*i + 4*q. Solve 2*d - 10 = -i*d for d.
5
Suppose 2*d = 4*d - h - 10, 0 = -d - 5*h - 6. Let t be (-192)/(-9) + (-28)/21. Solve a + d*a + t = 0 for a.
-4
Suppose 41*u = 55*u. Solve 6*f - 3 + 15 = u for f.
-2
Suppose 264 = -2*d + 274. Let p be (-1)/3*(1 + -1). Solve 10 = -p*v + d*v for v.
2
Let t be (13 + -14)*0/(-2). Suppose -3*d + 40 = 2*d. Let y(x) = -x - 3. Let i be y(-5). Solve t*m = -i*m - d for m.
-4
Let w(r) = r**2 - 9*r + 7. Let u be w(9). Suppose 6*t - u = 5*t. Suppose 3*s = t*s. Solve c + 5 = -s*c for c.
-5
Suppose 2*b + 44 = -5*p - 70, 3*p + 2*b + 70 = 0. Suppose -w + 4*w + 69 = 0. Let c = p - w. Solve 2 = -m - c for m.
-3
Let k(s) = s**3 - 17*s**2 - 17*s - 16. Let c be k(18). Let j(q) = -q**2 + 10*q - 10. Let n be j(8). Solve n*m - c*m = 0 for m.
0
Let h(g) = g**3 + g**2 - 7*g + 10. Let n be h(2). Suppose -16 = n*a - 24. Solve 2*p + 3 = -a for p.
-2
Let b be (-12)/(-2) - -9*(-6)/27. Solve 4*f - 4*f = b*f for f.
0
Let h = 53 + -49. Let n be (-34)/(h*(-5)/10). Solve -n = 3*z - 8 for z.
-3
Suppose 172*k - 175*k + 4*f = 28, -2*k + 21 = 3*f. Let w = -11 - -6. Let n be w*((-12)/10 - 0). Solve 4*v + 10 + n = k for v.
-4
Let s(h) = h**2 - 29*h - 62. Let n be s(31). Suppose p = 4*p - 48. Solve p + n = -4*r for r.
-4
Suppose q + 5*w = 0, 2*q + 2*w = 7*q - 81. Solve 0 = f + q - 20 for f.
5
Let c be 14/49 - (-656)/56. Solve -5*u = 3 + c for u.
-3
Let n(z) = z + 9. Let b be n(-8). Let w be 2 - (0 + -1) - b. Suppose -3*a + 5*l = -5*a - 20, 2*a + 4 = -l. Solve a*v = w*v for v.
0
Let w be (16/6)/((-10)/(-15)). Suppose -7 = -3*o - 16, 4*o + 24 = 4*k. Solve k*d + 3 = w*d for d.
3
Let w(o) = 2*o - 12. Let j(g) = -g**3 - 8*g**2 - 12*g + 7. Let y be j(-6). Let z be w(y). Suppose f + 0*f + 9 = -z*p, 2 = -3*f - p. Solve -5*u + f = -4 for u.
1
Suppose 4 = 4*z - 12. Let s be 3/12 + (-21)/(-12). Suppose 0*i = s*i - 4. Solve 3*x - z = i*x for x.
4
Let t(o) = o**3 - o**2 - 3*o - 6. Let f be t(3). Suppose -2*m - 9*h = -10*h, f*m = -3*h. Let s = -2 + 6. Solve -2*i = -m*i - s for i.
2
Let w = -114 + 170. Suppose w = 2*z + 54. Solve 3*j + 7 = z for j.
-2
Let c(n) = -n**2 + n + 4. Let r be c(0). Let q = -54 + 85. Suppose -4*a = 5*m - 33, 0 = 5*m + a + 2*a - q. Solve -1 + m = r*w for w.
1
Let d(y) = 14*y**2 - 24*y - 9. Let g(j) = -5*j**2 + 8*j + 3. Let k(p) = 6*d(p) + 17*g(p). Let c = 11 - 18. Let v be k(c). Solve v = -r - r for r.
-2
Let q(m) = -m**3 - 4*m**2 - 4*m - 6. Let t be q(-4). Solve -10 = -10*f + t for f.
2
Let k = 609 + -606. Solve -k*o + 0*o - 12 = 0 for o.
-4
Let g = 17 - -8. Suppose 4*v - 76 = -0*u + 5*u, v - 52 = 4*u. Let o = 17 + u. Solve -o*m + 10*m = -g for m.
-5
Let a(y) = -y**3 + 8*y**2 + 12*y - 22. Let j be a(9). Suppose -30 = -j*c + 5*q, 4*q + 21 = 4*c - c. Suppose c - 25 = -m. Solve 3 = -5*o - m for o.
-5
Let w(c) = c**3 + 2*c**2 + 4*c + 3. Let z be w(-2). Let u be 2/25*z - 2/(-5). Solv