= 3*d + m for d.
4
Let p(s) be the third derivative of 0 + 1/24*s**4 + 0*s + 4/3*s**3 - s**2. Let v be p(-5). Solve f - v = 2 for f.
5
Suppose -2*c + 4*s = 364, 3*s + 75 = -c - 102. Let m = -106 - c. Let n be m/14 - (-6)/(-21). Solve n*i - i = 20 for i.
5
Suppose -3*o + 3 = -72. Solve -4*b - 5 = -o for b.
5
Let x = 2 + 3. Let c(l) = l**3 - 4*l**2 - 5*l. Let y be c(x). Let h(u) = u**2 + 3*u + 2. Let t be h(-3). Solve b + t*b + 3 = y for b.
-1
Let c = -1 + 12. Let r = -4 + 4. Suppose 5*f - u + 3*u = r, -2*f - 3*u - c = 0. Solve -t - 15 = f*t for t.
-5
Suppose 0 = -k + 4*y - 4, y - 3*y + 8 = 0. Suppose o = 2*d - 1 - 4, 4*o - k = 0. Solve 12 = -d*j + j for j.
-4
Let t(z) = -4*z**3 - 2*z + 2. Let s be t(1). Let h = s - -9. Solve h*m + 4 = -6 for m.
-2
Let a = -3 - -3. Suppose 2*b - 5*b - 21 = 0. Let v(l) = -l - 3. Let z be v(b). Solve 0*k - 2*k - z = a for k.
-2
Let h = 0 - 0. Let r = 5 - h. Let m(c) = c - 3. Let x be m(r). Solve 3 = x*q - 5*q for q.
-1
Let o be (6/(-15) - -1)/(2/20). Solve -o = 2*m - 14 for m.
4
Let j be (0 + (2 - 1))/1. Let b = j - 0. Suppose -p = n + 5, 3*p + 10 = -5*n + p. Solve r + n*r = -b for r.
-1
Suppose -9 = -3*b - 0*b. Let r = -3 + b. Solve r*p = -3*p for p.
0
Suppose -5*n - 4*a + 2*a = -46, 4*n - 5*a - 17 = 0. Solve -4*g + 0 = n for g.
-2
Let o(t) = t - 15. Let j be o(12). Let y be (-1)/(j/(18/2)). Solve 1 = y*l - 5 for l.
2
Suppose -x = -6*p + 3*p + 19, -4*p + 2*x = -26. Solve 20 = p*u - u for u.
4
Let c be (0 - 2)*1*-2. Suppose -4*d = 5*p - 14, -3*d = -c*d + 1. Let l be 1/4 + 33/12. Solve 5*i = -p - l for i.
-1
Let d = 14 - 10. Solve -2*a = -d*a + 4 for a.
2
Let h(r) = r**2 + 9*r + 12. Let w be h(-9). Let m = -9 + w. Solve -2*f = -f - m for f.
3
Suppose 2*q = -5*u - 9, -2*q - 6 = 2*u + 2*u. Solve -a = -q*a + 4 for a.
2
Let k be (-7)/(-56) + (-1)/8. Solve k = -5*o + o + 12 for o.
3
Let n(x) = -14*x - 53. Let f be n(-4). Solve -f*a + 4*a - 1 = 0 for a.
1
Suppose 6*b - 5*b = 2. Solve b*l = -2 - 8 for l.
-5
Let c be -14*((-9)/6 + 1 - 0). Solve 5 = 3*q - c for q.
4
Suppose -5*x + 19 = 4. Suppose -x - 3 = -m. Solve -3*j - m = -5*j for j.
3
Let x = -21 + 31. Suppose 5*n - x = 30. Solve 0 = -4*m - 0*m - n for m.
-2
Let m = 6 + -11. Let p(y) = y + 5. Let k be p(m). Suppose -2*f + x + 7 = 0, k = f + x - 11. Solve -f = -r - r for r.
3
Let g be (-228)/(-14) + (-2)/7. Suppose -2*b = 2*b - g. Solve b*m + 9 = -11 for m.
-5
Let z(v) = -4*v**3 + v**2 + v. Let k be z(-1). Suppose 30 = p - 5*a, a + k = 1. Solve 5*s + p = -0*s for s.
-3
Suppose 2*w + 2*w = 20. Suppose -2*k = h - 3*h - 2, 5*h - 5 = -5*k. Solve w*a - 3*a - 4 = h for a.
2
Suppose -9 + 34 = 5*x. Suppose j = -2*a + 12, x*j - 11 = -a + 2*j. Solve 10 = a*i - 5 for i.
3
Let y(c) = -c**3 + 8*c**2 - 3*c - 4. Let x be y(7). Let m be x/2 + -2 + 1. Suppose -4*j + 14 = n, -j = 2*j + n - m. Solve j + 7 = -2*a for a.
-5
Let h be 2/16 + 71/8. Solve -h = -4*u - 1 for u.
2
Let q(c) = -c**2 - 10*c - 7. Let p be q(-6). Solve -5*x + p = 2 for x.
3
Let w be (-6)/(-27) + 68/18. Let k be w/(12/21) + 0. Suppose k*t - 9 = 4*t. Solve -y + t*y = 2 for y.
1
Let w be 15/2 - 1/2. Solve 0 = w*x - 2*x for x.
0
Suppose -2*v + 8 = 4*a, -3*a + 2*v + 5 = 3*v. Suppose -43*m + 19 = -110. Solve -m + a = d for d.
-2
Let m = -32 - -41. Solve -m = -4*i - 1 for i.
2
Suppose 10*x = -11*x. Solve b - 5*b = x for b.
0
Let c = -24 - 21. Let l be (-6)/10 + (-162)/c. Solve -l*q - 9 = -0 for q.
-3
Let r = 0 + 4. Solve -r*t = t - 10 for t.
2
Let p(b) = b**3 + 14*b**2 - 4*b - 18. Let h be p(-14). Let i = h + -33. Let s(l) = l**2 - 3. Let u be s(4). Solve -i*w - u = 12 for w.
-5
Suppose 8*n = 3*n + 5. Let q be (n + -3)*(2 + -3). Suppose -q*l = 3*l. Solve -d = -l - 3 for d.
3
Suppose -50 = 46*j - 51*j. Solve -3*o + 5*o - j = 0 for o.
5
Let m(y) be the first derivative of y**3/3 + 5*y**2/2 - 10*y - 2. Let t be m(-7). Solve -2*b - t = 2 for b.
-3
Let v be ((-3)/(-12))/(4/16). Solve v = -j + 2 for j.
1
Let u(j) = j**3 + 3*j**2 - j + 2. Let o be u(-3). Let b = 10 + -7. Solve -b*d + 4*d - o = 0 for d.
5
Suppose -v - 5*n - 22 = 0, -5*v - n + 0*n + 10 = 0. Suppose -4*i + 2*b - 1 = 7, 12 = 3*i + v*b. Solve 2*p = -i*p + 8 for p.
4
Suppose 2*k + 4*t = 16, -2*k - 5*t + 14 = -k. Solve 2*h - 10 = k*h for h.
-5
Let s be 1 - (-2 + 0/(-1)). Solve 3 = s*a - 2*a for a.
3
Suppose -3 = -b + 5*i, 0*b + 2*i + 6 = b. Let u(d) = 2 - 6 - 3*d + 4*d. Let g be u(b). Solve l - g*l = 9 for l.
-3
Let c(t) = -2*t + 3. Let p be c(-6). Suppose 0 = -3*o + 4 + 2. Suppose -o*y + 5*y = 0. Solve -3*u + p = -y*u for u.
5
Suppose 3*q - 5*g - 18 = -2, 6 = -2*q - 5*g. Let x be ((-12)/(-10))/((-3)/(-10)). Solve q*s + 2*s - x = 0 for s.
1
Let w be 1/((-3)/(-30)) + -4. Solve -2*u = -4*u - w for u.
-3
Let r be ((-8)/(-10))/(7/175). Let z be (-6)/4 + r/(-8). Let q = 7 + z. Solve q*n = 6*n for n.
0
Let m(q) = -3*q + 1. Let b be m(-1). Solve k + 10 = -b*k for k.
-2
Let u be -1 + 21 + -1 + -2 + -2. Solve 0 = -5*w + u for w.
3
Let h(l) = 8*l - 15. Let d be h(2). Solve -q - d = -6 for q.
5
Let a = 2 - -11. Suppose 10 = 4*m - 2*g, -6*g + g = 2*m + a. Let y be (m + 0)*(1 + 0). Solve -l - 4 = y for l.
-5
Suppose 24 = -3*t + 3*f, f + 13 = -t + 3*f. Let x = t - -8. Solve 0*z = -x*z for z.
0
Let n(f) be the first derivative of -f**3/3 + 3*f**2/2 - 3. Let p = 4 + -2. Let l be n(p). Solve j + 0*j = l for j.
2
Let y = 2 + -27. Let w be (-3)/3 + (0 - y). Suppose -1 = -x + 2*a, -w = -5*x - 4*a + 9. Solve 0 = -3*k + 2 - x for k.
-1
Let x = -16 - -19. Solve -4*v - x - 5 = 0 for v.
-2
Let x = -29 - -49. Let q = 2 + -2. Suppose q*y = y. Solve -4*w - x + 8 = y for w.
-3
Suppose -8*d + d = -56. Solve -2*v = -4*v + d for v.
4
Suppose w - 4*w = -g - 6, -4*w + 8 = -5*g. Let p(z) = z**3 - 2*z**2 - z - 1. Let m be p(3). Solve -4*x - x + m = g for x.
1
Let k be (-9)/18*(-1 + 1). Let u = -8 + 13. Suppose -5*x + 25 = u*d, k*x + 6 = 2*x. Solve 0 = -2*s - d + 10 for s.
4
Let h be 6 + (-1 - (-1 - -3)). Suppose x - 12 = -h*x. Solve -x*w = -w for w.
0
Suppose -5*o + 7 = 2*p, 5 = 2*p + 3*p. Let r = -2 + 2. Suppose -9 = 4*n - 5*g - 34, r = 4*n + g - 19. Solve o = -n*y + 11 for y.
2
Let q = -70 + 73. Solve 2*o + q = -o for o.
-1
Let i = -17 - -49. Let u be (-4)/14 + i/14. Let w(h) = -4*h - 6. Let x be w(-2). Solve u*z + x*z = -20 for z.
-5
Let j be (1 - (-4)/2) + -1. Solve 0 = j*p - 7*p + 5 for p.
1
Suppose -2*o - 36 = 2*o. Suppose -3*q - 2*q - 51 = -2*z, -4*q - 20 = 0. Let g = z + o. Solve -g*y = -y + 9 for y.
-3
Let f = 18 - 18. Solve 0*y + y + 2 = f for y.
-2
Let h = 22 + -16. Suppose 0 = -38*r + 36*r - 2*c + 36, -51 = -3*r - 2*c. Solve z - r = h*z for z.
-3
Let s = -3 + 2. Let j = 1 + s. Solve 0*f + 4*f - 8 = j for f.
2
Let h be (-3 + 0)*(-3 + 3 + -1). Solve -2*p + h = -p for p.
3
Suppose -2*f - 2 + 12 = 0. Let b = -12 + 4. Let a = b - -15. Solve f*u + a = 22 for u.
3
Let t be -4*2/6*-3. Suppose 6*p = 3*p. Solve f + p = t for f.
4
Suppose -8 = d - 31. Solve -4*j + d = 7 for j.
4
Let g(a) = a**3 - a**2 + 3. Let x be g(0). Suppose 2*z + 2 - 14 = 0. Let c = z - x. Solve c*t = 2*t for t.
0
Suppose 8 = 7*j - 3*j. Suppose -15 = 5*x - 5*l - 40, l - 25 = -4*x. Suppose 2*y + 0*f - 9 = 3*f, j*f = y - x. Solve y*z + 12 = 4*z for z.
3
Suppose 0 = -3*m + r - 6*r + 32, -5*m + 12 = -2*r. Solve 2*c - m = -2 for c.
1
Let l(q) = -q**3 - 7*q**2 - 7*q - 2. Let s be l(-6). Let a(z) = -z**3 - 4*z**2 + 3*z - 7. Let g be a(-5). Let h be 1*(-3)/g + 5. Solve s*t = -h - 4 for t.
-2
Suppose 5*w = -18 + 58. Let o(c) = c**3 - 8*c**2 + c - 5. Let l be o(w). Let r = -4 - -6. Solve -4 = -l*p + r*p for p.
4
Suppose 0 = f + 5*q - 26, 4*f - 19 - 10 = -5*q. Let p = 5 - f. Let v = p + -1. Solve -1 = h + v for h.
-4
Suppose 0*c - 6 = 3*c, 2 = -2*u - c. Suppose i - 3 = -u. Suppose 8 = -w + i*x, w - 3*w + 5*x - 12 = 0. Solve -2 - w = 2*k for k.
-3
Let s be -2 - 9 - 18/(-6). Let p(d) = -d**2 - 9*d - 5. Let t be p(s). Solve 4*m - t*m = -5 for m.
-5
Suppose -z + 0*z = 2*u - 17, 4*u = 4*z + 40. Let c = 10 - u. Solve 0 = v + c for v.
-1
Let x = -14 + 8. Let t(r) = -r**3 - 5*r**2 + 4*r - 8. Let v be t(x). Solve v*i = -i for i.
0
Let o(n) = 4*n**2. Let t be o(-1). Let x = 2 - t. Let p be (-8 + 0)*x/4. Solve p*k - 2 = -6 for k.
-1
Let g(y) be the second derivative of 0 - 1/2*y**2 - 1/12*y**4 + y**3 - y. Let m be g(5). Solve 20 = 4*w + m for w.
4
Let 