/24 + 2*n**3 - 4*n**2. Let b be q(4). Solve 4 + b = 4*u for u.
5
Let k be (-13)/(-2) - 3/2. Solve -3*g = k + 1 for g.
-2
Suppose 3*l = 3 - 0. Suppose -t = -5 + l. Solve -i + 1 = t for i.
-3
Let m(d) = d**3 - 2*d**2 + d. Let p = 7 + -5. Let v be m(p). Suppose 5*t + 3*o - 18 = 0, v*t - 5*o + 4 = 5. Solve -t*n + 4*n = 0 for n.
0
Let l = 18 + -3. Suppose 0 = u - 4*u + l. Solve -4*b = u - 17 for b.
3
Suppose -4*f + 2*v + 58 = 0, 77 = -0*f + 5*f + 2*v. Suppose 4*b + 29 = -4*c - f, c - b + 7 = 0. Let j be c/15 + 24/15. Solve j = -z - 4 for z.
-5
Suppose -2*t - 4 = -0. Let i be t/(-6) - (-20)/12. Solve h = i*h for h.
0
Let i = 14 - 10. Let w be (-9)/(-6)*i/3. Solve -2 - 2 = w*c for c.
-2
Let w(k) = k**2 + 4*k - 10. Let p be w(3). Solve 0 = 2*x + p - 3 for x.
-4
Suppose -3*w = -4*w + 12. Suppose -5*c + 20 = -l, c = -3*l - 0*l - w. Suppose -c*r + 20 = 5*t, -r = -3*r + 2*t - 8. Solve -3*h + r*h = 0 for h.
0
Suppose -11 = -2*t + 3*s + 1, 0 = -3*s - 6. Let j(h) = -2*h**2 + 3*h + 5*h**2 - 4*h**2 + 3. Let q be j(t). Solve -2 = -4*o + q*o for o.
2
Let r = 2 - 2. Let q = r + 6. Let m(n) = 2*n - 7. Let w be m(q). Solve -3*i + 4 = -w for i.
3
Let v be (-28)/48*-3 - (-10)/8. Let u be 6/(-9) - (-4)/6. Solve u = v*h - 6*h for h.
0
Let x(m) = -m**2 + 11*m + 2. Let t be x(11). Let o(f) = -f**2 + 10*f - 5. Let p be o(9). Suppose 0*b = -p*b. Solve t*n + 2*n + 12 = b for n.
-3
Suppose c + 6 = 4*y, -2*y - 2 = 4*c - 32. Solve -14 + c = -4*v for v.
2
Suppose -11*p = -4*p. Solve p - 4 = 2*n for n.
-2
Let f = 23 + -21. Suppose -2*p = -p - 3. Solve t - p = -f*t for t.
1
Let m = 8 - 7. Let v be 0 + -12 + (0 - 2). Let r be m/4 - v/8. Solve c + r = -c for c.
-1
Suppose -2*f + 3*m + 14 = 0, -18 = -2*f + 5*m - 0*m. Let t(n) = -n**3 + 5*n**2 - 2*n. Let l be t(f). Suppose i - 3*i = -l. Solve -10 - 10 = i*z for z.
-5
Suppose -9*q - 2 = -11*q. Solve -s - 4 = q for s.
-5
Let x = 27 + 25. Suppose -3*d - x = 2*d - 3*w, -d + w = 12. Let f be 2/d + (-50)/(-8). Solve 5*q - f = 4 for q.
2
Let l be ((-8)/(-10))/(9/225). Solve -4*r = -0*r + l for r.
-5
Suppose 4*k - 220 = -0*k. Suppose -k = 4*t + t. Let h = -7 - t. Solve 4 = -2*u - h for u.
-4
Let o(l) = 3*l - 36. Let t be o(17). Solve 4*r + r = t for r.
3
Suppose 0 = -5*x + 8*x - 6. Solve 4*b + 6 - x = 0 for b.
-1
Suppose -2*k + 8 = -3*k - 2*c, k - c = 4. Solve -4*r + k*r = 4 for r.
-1
Let y(z) = -z**3 + 5*z**2 + 6*z - 3. Let j be y(6). Let n = j - -5. Solve s + 0*s + n = 0 for s.
-2
Let y(g) = g**3 + 3*g**2 - 2. Let m be y(-2). Solve -m*s - 3*s - 10 = 0 for s.
-2
Suppose 1 - 6 = -l. Solve l*f = 2*f for f.
0
Let v be 3/((-4)/(-16)*-2). Let o be (20/6)/(v/(-9)). Solve -7*c - o = -2*c for c.
-1
Suppose 5 = -3*h + 8*h. Suppose 2*a - 3 - h = 0. Suppose -x - 1 = 5*o + a, 4*x - 2*o = 10. Solve -1 = -x*p + 9 for p.
5
Let r(h) = -5*h + 1. Let u be r(-1). Suppose 0 = -3*v - 1 + 13. Suppose k - u = -v. Solve k*n = -0*n + 4 for n.
2
Let f(k) be the second derivative of k**4/12 + k**3/2 - k**2/2 - 8*k. Let u be f(-4). Solve u*r + 0 + 3 = 0 for r.
-1
Let w = -15 - -18. Solve -2*b + 15 = w*b for b.
3
Suppose -4*l - 2*m + 44 = 0, -20 = -2*l - l + 5*m. Solve l = -0*t - 2*t for t.
-5
Let h = -15 + 16. Solve -1 - h = -2*t for t.
1
Let u = -2 + 2. Suppose -h - 3*d + 8 = u, -4*h + 4*d = -0*d. Solve h - 1 = b for b.
1
Suppose -4*n + 4*i + 4 = 6*i, -5*n - i + 8 = 0. Solve -3*r + 17 - n = 0 for r.
5
Let r(u) = 3*u - 30. Let c be r(12). Solve c = -4*g - 6 for g.
-3
Let j = -16 + 24. Let a be (j/(-14))/(12/(-42)). Solve 3*f = -a - 4 for f.
-2
Suppose 0*r + r = 2. Suppose 0 = -g + 5*b - 15, -5*b + 9 = 5*g - r*b. Solve -5*p + p - 16 = g for p.
-4
Let z be (-3 + 1)*(-12)/8. Suppose 0 = 3*d - z*o, -4*o + 52 = 4*d + 12. Suppose d = 2*q + 1. Solve q*f = -4 - 6 for f.
-5
Suppose -3*h = 2*h - 10. Let m = h + 1. Solve m - 12 = 3*r for r.
-3
Let l(t) = -t**2 - 4*t - 2. Let x be l(-3). Let z be x - 1 - (-8 - -2). Suppose 2*f - 50 = -0*f. Solve z*c = c + f for c.
5
Let i be 0 + (0/1 - -2). Let o be 36 + 0 + -4 + i. Suppose 10 - o = -2*h. Solve -6*m + 3*m = h for m.
-4
Suppose 3*x = 2*w - 30, 4*w + 0*w = 2*x + 44. Solve 3*s - 3 = w for s.
4
Suppose -n + 1 = 4*k - 3, -3*k = -5*n + 20. Solve 6 = -n*t - 6 for t.
-3
Suppose -2*p + 11 = -3*y, 3*p + y + 26 = -3*y. Let u be 5/p*(-4)/5. Suppose -4*b = -2*b - 2. Solve -u - b = s for s.
-3
Let a be 183/(-2) + (-5)/10. Let b be (-2)/(-6) - a/12. Solve b = -4*d - 0*d for d.
-2
Let y be 6/30*5 - 1. Solve y*n + 6 = 3*n for n.
2
Let q(l) = l - 8. Let y be q(14). Solve -y = 2*u + u for u.
-2
Let j = -14 + 16. Suppose 2*q = 8 - j. Solve -2*s - s - q = 0 for s.
-1
Suppose -4*r + 15 = r. Solve 13 = -4*s - r for s.
-4
Let g = 137 - 128. Solve -5*b + g = -16 for b.
5
Suppose 0 = 5*f - 2*l - 94, -2*f + l + 38 = -0*f. Solve -3 = -5*d - f for d.
-3
Suppose 6*b - 3*b = 15. Suppose c - 2*p = -4*p + 6, -b*c = -5*p + 15. Solve h + 3 = -c for h.
-3
Suppose 2*k - 30 - 28 = 0. Let g(n) = -n**3 - 3*n**2 + 3*n. Let t be g(-4). Solve -5*l + t = k for l.
-5
Let r(y) = -y + 4. Suppose -4 = 4*l - 5*l. Let d be r(l). Solve 5*i - 8*i - 6 = d for i.
-2
Suppose 0*s = -s + 2. Suppose s*q = -0*q + 6. Suppose -8*d + 3*d - 20 = -2*g, -2*d = 4. Solve 0 = -4*n + q*n + g for n.
5
Suppose -2*n + 7*n = 3*i - 19, 10 = -5*n. Suppose l + 1 = i. Solve 1 = -s - l for s.
-3
Let v = -1 - -2. Let z(y) = 25*y - 1. Let c be z(1). Let u be (v/(-2))/((-3)/c). Solve p = u*p for p.
0
Let r = 32 - 17. Let n = 37 - 35. Solve r - 5 = -n*j for j.
-5
Let w(d) be the second derivative of -d**5/10 - d**4/6 + d**3/6 - d**2/2 - 6*d. Let s be w(-2). Solve -s*k - 12 = 13 for k.
-5
Let v = -6 - -9. Suppose i - 4 = -v*j, -i - 3*j + 5*j = 11. Let r be 2 + 0/(-3) - i. Solve -15 = r*y - 2*y for y.
-3
Suppose 2*o = -5*x - 0*o + 109, -3*o - 78 = -3*x. Let u(z) = -z**3 + 3*z**2 + 6*z - 5. Let n be u(4). Solve -8 = n*m - x for m.
5
Suppose -4*n + 45 = -0*n + 5*u, -3*n = 3*u - 33. Let l be 2*-6*4/(-6). Let r be (l + -8)/(1 + 0). Solve r = 4*s + s - n for s.
2
Let w(a) = a**2 - 11*a + 14. Suppose 3*u - u = -32. Let h = u - -26. Let y be w(h). Solve -y*r + 1 = -3 for r.
1
Let h = -3 - -7. Let j be (6/9)/(h/30). Suppose 0 = -j*i - 2*l + 65, -5*i + 5 = -3*i + 5*l. Solve t = -4*t + i for t.
3
Let i = 10 + -8. Solve 0 = -i*m - 8 + 2 for m.
-3
Let w = -16 + 8. Let x = w - -11. Solve -4*q + 5 = -x for q.
2
Let b = 42 - 73. Let f = b - -19. Let h(g) = g**3 + 11*g**2 - 13*g - 7. Let a be h(f). Solve 4*t - 7 - a = 0 for t.
3
Suppose 2*z + 5*j + 13 = 0, -5*z - 3*j - 2*j = 25. Let m = z + 4. Suppose m*d - 3*d = 0. Solve d = 3*k + k - 12 for k.
3
Suppose 5 = -4*j - p, -p = -4*j - 1 + 6. Solve -5*a + j*a - 20 = 0 for a.
-4
Let h be -6*10*(-4)/48. Solve 0 = -5*v + h - 0 for v.
1
Suppose -3*k = 3*y - 3, 29 = 3*y + 2*y - k. Solve -3*d - 10 = -y*d for d.
5
Let y(b) = b - 5. Let d be y(7). Suppose -d*t + 3*t - 3 = 0. Solve 25 = -2*w - t*w for w.
-5
Let a(k) = k**2 - 6*k - 3. Let p be a(7). Let l be -9 + 0 - (-1 - -3). Let t = l - -18. Solve t*g = p*g - 6 for g.
-2
Suppose r - 2 = -2*q, 3*q - 28 = -4*r - 5. Let v be (-5)/15 + r/6. Solve v + 3 = -4*d for d.
-1
Let p(f) = 7*f - 5. Let y be p(2). Suppose -y = -4*s - 1. Solve s = w + 1 for w.
1
Suppose 3*m - 3*c = 5*m + 11, 3*m - c = 11. Let w = 20 + -20. Suppose w*s = -5*s + 3*t, 0 = 4*t. Solve l - 6 + m = s for l.
4
Let f(i) = i**2. Let z be f(-2). Suppose 4*t - m + z*m - 175 = 0, -44 = -t - m. Let l = -18 + t. Solve 5*g = l - 0 for g.
5
Suppose 4*k = -0*k, -20 = -2*t - 3*k. Let d be (0 - 0)/(-2)*-1. Solve 0*w + 2*w + t = d for w.
-5
Suppose 9 = 4*u + 1. Solve -5*a + 12 = -u*a for a.
4
Suppose -f = 2*y - 6, 3*f - 3*y - 9 - 9 = 0. Solve -5*x - f - 9 = 0 for x.
-3
Let t be 4/(-10) - 17/(-5). Solve 3*j = 6*j - t for j.
1
Let t be 15/(-10)*32/(-6). Suppose 0 = 3*k - 5*k + t. Suppose -5*l + 16 = 1. Solve 13 + l = k*n for n.
4
Let f = -14 - -20. Let i be (-2)/6 + 44/f. Suppose -1 - 2 = -d. Solve -d*p - 20 = -i*p for p.
5
Suppose -3*q - 11 - 4 = -4*g, -4*g - 4*q + 8 = 0. Let c(w) = 7*w**3 + 2*w**2 + 2*w**3 - 4*w**g - 1. Let d be c(1). Solve 5*t + d = 31 for t.
5
Suppose 0 = -3*p - 2*d + 22, 2*p + 0*p = -2*d + 18. Let h(b) = b**3 + b**2 + b + 1. Let x be h(-1). Suppose -p*n + n + 12 = x. Solve u = n*u - 3 for u.
1
Suppose -7*b + 21 = -4*b. Solve b*a = 3*a for a.
0
Let r(j) = -j**3 - 4*j**