 5*w = -30 for w.
3
Let a(i) = 11*i**3 - i**2 - 15*i + 15. Let r be a(1). Solve 6*b + r*b = 16 for b.
1
Let f = -9 - -12. Suppose 0 = -p - 3*m - 12, -4*m = f*p - 7*p. Let j = 0 - p. Solve 3 = -j*g - 0 for g.
-1
Let s(m) = 5*m - 5. Let h be s(15). Suppose -5*t + h - 40 = 0. Solve 0 = -2*k - 2 + t for k.
2
Suppose -2*l + 2*j + 4 = -18, j + 51 = 5*l. Solve -l = -2*x - 2 for x.
4
Let s = 0 + 3. Let h be 4/(-6) - 26/(-3). Let c be 2/h + 2/(-8). Solve c = s*y - 0*y - 12 for y.
4
Let l(o) = o**3 + 7*o**2 - 3*o + 4. Let g be l(-6). Suppose -4*u + 58 = g. Solve 4*w + 12 = -u*w for w.
-3
Let k = -629 - -629. Solve k*h - h = -3*h for h.
0
Let n(a) = -85*a. Let y be n(2). Let b be y/(-30) - (-4)/(-6). Solve q = 2*q + b for q.
-5
Let q(f) = -f - 3. Let i be q(-3). Let l(d) = -16*d**3 + 65*d**2 - 3*d - 2. Let w be l(4). Solve i = v - w*v for v.
0
Suppose 0 = -2*a - 27 + 7. Let y(i) = -i**2 - 11*i - 10. Let w be y(a). Let m = 2 + w. Solve -m*v + 0 - 4 = 0 for v.
-2
Let x be 8622/234 + 2/13. Suppose -8*h + x = -3. Let z(q) = q**3 - 4*q**2 - 4*q + 7. Let m be z(h). Solve 0*o + m = 3*o for o.
4
Let s = 16 - -3. Let v = s + -19. Solve 4*o = -v - 8 for o.
-2
Let l = -11 - -26. Suppose 0 = -f - 29*y + 25*y + 14, 5*y - 10 = 0. Solve f*b - b = -l for b.
-3
Let y(f) = -f - 6. Let k be y(-6). Suppose p - 8 = -3*v, 3*v + k*p - 10 = -2*p. Solve -v - 2 = 4*m for m.
-1
Let z(y) = y**2 + 2*y + 3. Let g be 40/12*12/5. Let h(w) = -w**3 + 9*w**2 - 9*w + 5. Let u be h(g). Let t be z(u). Solve 0 = -t*b + b for b.
0
Let j be ((12/(-9))/((-2)/21))/(-2). Let k(t) = 2*t - 5*t - t - t**2 + 23. Let o be k(j). Solve -a - o*a - 6 = 0 for a.
-2
Let g = 5 + 16. Let y = -14 + g. Solve 5 - y = 2*r for r.
-1
Suppose 10*s = 6*s - 96. Let o = 29 + s. Solve 0*d + 10 = o*d for d.
2
Suppose 0 = 5*q - 2 - 18. Let y = q + 6. Let n be 14/3 - (-9)/27. Solve n*k = 3*k + y for k.
5
Let y be (-16)/(-3) - 2/6. Suppose y*r = 8*r - 27. Let j be 11/2 - 10/20. Solve j*t - r = 11 for t.
4
Suppose 0 = f - 3, -14*f + 13*f = -t - 1. Solve -p = t*p - 9 for p.
3
Let g(o) = -o**3 + 28*o**2 + 166*o - 30. Let d be g(33). Solve d = 23*q - 20*q for q.
1
Suppose 3*b - 12 = 0, -3*v - 2*b + 4 = -5*v. Solve v*h + 15 = 9 for h.
-3
Let s(b) be the third derivative of b**4/3 + 2*b**3/3 - 5*b**2. Let h be s(7). Suppose -2*x = x + 2*t - h, -2*x + 40 = -3*t. Solve o = -4*o + x for o.
4
Let a be ((-18)/15)/(9/(-195)). Suppose -3*j + p = -a, -5*j + 54 = -p + 2*p. Solve -m - 4*m = j for m.
-2
Let l(t) = -t**3 - 2*t**2 + 5*t - 8. Let b be l(-4). Solve -s + 0 = -b for s.
4
Let q be (-4)/8 - (-904)/16. Solve 0 = 16*z + 24 + q for z.
-5
Let f be (-4)/(-10) - (-88)/(-20). Let q be f/6 - (-33)/9. Suppose h = q*h. Solve -5*y + 2 - 17 = h for y.
-3
Suppose 376 = 3*s + 2*z, 2*s - z = 333 - 94. Suppose -4 = 2*x, s = 5*v - 0*x - x. Let p = -12 + v. Solve 0*g - p = -4*g for g.
3
Suppose -3*l - x + 15 = 0, -5*x + 35 = 3*l + 2*l. Let o(g) = g**3 - 3*g**2 - 3*g - 1. Let s be o(l). Solve -s*c - c = 0 for c.
0
Suppose -7 = -4*f - 5*v, 4*f - 3*f + 5*v + 2 = 0. Solve 6*b + f = 5*b for b.
-3
Let w = 14 + -10. Suppose w*b + 4*t = -4, -b - 3*t - 4 = -t. Solve -s = b*s + 6 for s.
-2
Let u = -34 + 36. Let l be 2/(-11) - (u + 72/(-33)). Solve q + l*q - 2 = 0 for q.
2
Let i(v) = -4*v**2 + 3*v - 2. Let d be i(-4). Let o = d - -83. Solve -o*k - 12 = 13 for k.
-5
Let i = -64 - -69. Solve -2*d - i = -15 for d.
5
Suppose 2*x - 4 = -p, -10*p + 12 = -7*p + 3*x. Solve 6 - 2 = -p*d for d.
-1
Let b(z) = 2*z**3 + 28*z**2 - 64*z. Let y be b(-16). Solve 3*i - 4*i - 1 = y for i.
-1
Let o(w) = 2*w**3 - 55*w**2 + 80*w - 48. Let p be o(26). Solve 2*j = -p - 2 for j.
-3
Let n = 92 + -87. Suppose 4*q = 4*u + 81 - 17, 2*q + n*u = 18. Solve q*a = 10*a for a.
0
Let j(x) = 6*x - 117. Let f be j(20). Solve 5 = -f*g + 2 for g.
-1
Let z(u) = 13*u - 68. Let j be z(6). Solve -44*v + j = -42*v for v.
5
Let o(i) = 0 - 4 + 8 + 6 + 3*i. Let u be o(-3). Solve 2*t - 3*t = -u for t.
1
Let c = -38 - -23. Let b = 17 + c. Solve 3*u + 4 = b*u for u.
-4
Let q be (-2 + (0 - 2))/(-2). Suppose -2 = 4*j - 46. Let o = -8 + j. Solve q*p = -7 + o for p.
-2
Let c = -53 + 55. Solve 0 = 2*l + c*l - 12 for l.
3
Suppose -10*z + 7*z + 15 = 0, 359 = 4*s - z. Solve -t - s + 94 = 0 for t.
3
Let i = 11 - 7. Suppose 0 = 3*t + 3*k - 21, -t + i*k = 3*k + 1. Solve 2*d - 13 = -t for d.
5
Let i = -10 + 10. Suppose 3*a - 6*a + 12 = i. Suppose 2*u + 5*s = 2*s + 4, a*u - 14 = -3*s. Solve 0*h - 5*h = -u for h.
1
Suppose 11*a - 18 = 5*a. Suppose -3*g + 0*d + 4*d + 22 = 0, 3*g - 16 = -2*d. Solve c - a*c = -g for c.
3
Let j be 18/(-2) + (-112)/(-8). Solve 7 = j*m - 3 for m.
2
Suppose -2*x - y = y - 4, x - y - 8 = 0. Solve 3 - 13 = x*m for m.
-2
Suppose 0*r - 43 = -5*k + 3*r, -2*k = -2*r - 18. Let z(g) = -g**3 + 8*g**2. Let b be z(k). Solve q + 3 = -b for q.
-3
Let x = 2836 + -2827. Solve 6*g = -x*g - 60 for g.
-4
Let v = -36 + 39. Suppose -4*l = 4*x + 4, -v*x + l = -15 + 2. Solve -x*d + 2*d = -5 for d.
5
Let l = 1426 - 1420. Solve -4*b - 10 = l for b.
-4
Let d = 0 + -3. Let v = d + 4. Suppose 5*l + 4*p = -6, -5*p + 2*p = 12. Solve 1 + v = -l*t for t.
-1
Suppose 0 = 11*r + 63*r - 444. Solve 8*z = 5*z + r for z.
2
Let x be (-1 - 2/6)*12/(-8). Suppose 0 = x*l - 6 + 2. Solve -l*u = -5*u + 3 for u.
1
Suppose -3*d + 6 = 5*u, -5*d = 3*u + 2*u. Suppose u*g - 6*g = 7*g. Solve g = -2*a + 2 for a.
1
Let x be (2/18*3)/(3/72). Solve -2*d + x*d - 12 = 0 for d.
2
Suppose -8 = -d + 4*z - 0, 5*d - 40 = -3*z. Solve 0 = -13*o + 17*o - d for o.
2
Suppose -7*n - 5*d = -237, 3*n - 35 = d + 76. Solve 0 = -10*g + 46 - n for g.
1
Let k be 29/58 - 1/2*1. Solve k*b - 6*b = -6 for b.
1
Let l = -17 - -21. Suppose 5*f - 3*g + 3 = 0, l*f - 1 = 5*f - g. Suppose 3 = c + 4*o, 15 = 5*c - f*o + o. Solve -7*w + c = -4*w for w.
1
Suppose -y + 5*w - 17 = 0, -33 = -2*y + y - 5*w. Let z(m) = 4*m - 26. Let a be z(y). Suppose 3*n - a*n = 0. Solve 0 = -3*c - n*c - 15 for c.
-5
Let y(g) = g**3 - 3*g**2 + 3*g - 4. Let v be y(4). Let i be (v/(-60))/(1/(-10)). Suppose -16 = -6*k + 32. Solve i*h = -0*h - k for h.
-2
Suppose -3*r = z - 24, 2*r + 198*z - 6 = 199*z. Let b(v) = 3*v + 5. Let g = -3 - -8. Let i be b(g). Solve -r*a - i = -2*a for a.
-5
Let w = -1 - -4. Suppose 3*g + 39 = w*t, -4*g + 7 = -1. Solve 0*b = 5*b + t for b.
-3
Let z = 89 + -153. Let b = -63 - z. Solve -5*l - b = 9 for l.
-2
Let f = -19 + 27. Suppose 0 = -2*s + 3*v + 16, -8*v + 5*v = 2*s + 8. Solve s*j - f = -0*j for j.
4
Let o = 38 - 29. Let b = o - 9. Solve l = -b*l + 2 for l.
2
Let w = 4 - -4. Suppose w = 4*b - 12. Solve -4 = b*z + 6 for z.
-2
Let f(g) = -3*g + 1. Let d be f(-1). Suppose 0 = -h + 8 + d. Solve t + h = 4*t for t.
4
Let a be (-21 - -17)/(-1 - 0). Suppose 4*o - 2*r + a = 0, 0*o = 4*o - 3*r + 6. Solve 3*u + 2*u = o for u.
0
Let q = -18 - -20. Solve q*p + 8 = -0*p for p.
-4
Suppose o + 4*o - 10 = 0. Let x be (-1 + 5)/(o/4). Let i = 1 + -1. Solve i*n = 2*n - x for n.
4
Let m = 100 + -95. Suppose 2*r - m*r - r = 0. Solve 2*c = -r*c for c.
0
Suppose 5*n = -4*n - 990. Let t = -107 - n. Solve 0 = 2*o + t + 1 for o.
-2
Let g(o) = -2*o**3 + 35*o**2 + 56*o + 24. Let a be g(19). Solve -c = -a*c for c.
0
Let u(w) = 21*w**2 - 65 - 26 + 12*w - 20*w**2 + 15. Let n be u(-17). Solve 0 = 3*k - n - 3 for k.
4
Let v(d) = 3*d**3 - 1. Let g be v(1). Suppose -g*u + 3*b = -8, 3*b + 0*b = -3*u + 12. Solve u*z = 6*z for z.
0
Let h(g) = 13*g**2. Let f be h(1). Let t(o) be the second derivative of o**4/12 + 2*o**3/3 - 2*o**2 + 18*o. Let d be t(-5). Solve 0 = 4*l + f - d for l.
-3
Let h = -162 + 165. Suppose -h*g - 2*v = g - 24, v = -5*g + 24. Solve 7*s - 12 = g*s for s.
4
Let n(v) = 2*v + 32. Let c be n(14). Let h = -59 + c. Solve -5*i + h + 4 = 0 for i.
1
Suppose -24*l + 35*l = 44. Solve 0 = 2*t - 6*t - l for t.
-1
Let z(l) = -11*l - 19. Let i be z(-2). Solve i*v + 137 = 149 for v.
4
Let f = -114 + 115. Solve 0 = -j - f + 5 for j.
4
Let q(j) = -2*j + 3. Let s be q(0). Suppose x - 3*y - 27 = -s*x, 3*x - 22 = 4*y. Solve -20 = -z + x*z for z.
-4
Let j be 360/14 + 8/28. Let k = 28 - j. Solve 0 = -2*g + k + 4 for g.
3
Suppose -5*c = 5*m - 6*m + 30, 0 = m - 4*c - 26. Solve 20 = 6*d - m for d.
5
Let f = -362 + 369. Solve -f*v = -4*v + 15 for v.
-5
Suppose 27 = -f + 4*f. Let c be 34/f - (-6)/27. Solve -5*k = 9 - c for