 + -317. Let a(y) be the third derivative of -y**4/24 + 5*y**3/6 - y**2. Let t be a(-4). Solve -g*m + t = -0*m for m.
3
Suppose 0 = -4*j + 3*j. Suppose j = 4*l - 0*l - 24. Suppose 4*b - 16 = -2*g, -3*g + l = b + 2. Solve -4*h + 20 + 0 = g for h.
5
Suppose -2 - 2 = -2*n - 2*q, -q = 4*n - 5. Let o(w) = 2*w**3 + w**2 - 1. Let y be o(n). Solve y*c = 5*c + 3 for c.
-1
Let f be (-2 - 0/(-1)) + 9. Let i = f - 5. Suppose 6 = 2*h - i, 2*h = 3*b - 19. Solve b = 2*u - 5*u for u.
-3
Let i = -22 - -23. Solve 0 = -2*r + i - 9 for r.
-4
Let h(r) = -9*r**2 - 4. Let y(k) = 144*k**2 + 63. Let d(s) = 63*h(s) + 4*y(s). Let g be d(1). Let i(w) = -4*w - 1. Let u be i(-3). Solve -5*c = -g - u for c.
4
Let z be 0 + (-1)/(-2)*10. Let o(u) = -4*u - 1. Let q be (-9)/3*(-4)/(-6). Let l be o(q). Solve -l = -z*y + 3 for y.
2
Let q(d) = -d**3 - d**2 + d + 9*d + 10*d**2 + 1 + 0*d. Let u be q(10). Let w = u + 0. Solve p + 4 + w = 0 for p.
-5
Let r be 3/63*-6 - 256/(-14). Solve 6*b + 0 = -r for b.
-3
Let m = 49 + -31. Let r = m + 7. Suppose -4*i + r = 9. Solve 0 = -h - i*h + 10 for h.
2
Suppose s = 6*s + 20. Let x be (4/6)/(s/(-18)). Suppose -5*o - h + 15 = 0, 0 = 3*o + 5*h + 18 - 5. Solve o*g - x*g = 5 for g.
5
Let a = -6 + 6. Suppose a = -5*u + 59 + 41. Solve l + 3*l + u = 0 for l.
-5
Let p be 1034/(-14) - (-11)/(-77). Let b(l) = l**3 + 2*l**2 + 6*l. Let f be b(-5). Let t = p - f. Solve -5*k - t = -11 for k.
-4
Let b(r) = -r - 2. Let l be b(-4). Suppose 5*d + 5*p + 22 = l*p, p + 4 = 0. Let z = 1 - d. Solve 3*i - 3 = z for i.
2
Suppose -5*d + 5 = 0, -3*j + d + 4 = -1. Solve j*o = -o + 12 for o.
4
Let o be 172/14 - (-4)/(-14). Let c be (0 + o)*(-3)/(-6). Suppose v + z - 4 = c, 0 = 2*z - 4. Solve -4*f + v = -0*f for f.
2
Suppose -5*u - 8 = -4*i, 0 = 4*i - 0*i - 8. Let w(o) = -5*o - 7. Let c(x) = 14*x + 21. Let m(g) = 4*c(g) + 11*w(g). Let h be m(-4). Solve u*l - h*l = 15 for l.
-5
Suppose -2*b = -3*c + 3 - 13, 0 = -4*b - 16. Let z be (8/10)/(c/(-15)). Suppose 4*v - z = -a + 4, -12 = -v + 5*a. Solve v*o - 1 - 9 = 0 for o.
5
Let l = -2 + 5. Suppose -5*s + 81 = -5*d + 6, d = -l. Let z be (3/s)/((-1)/(-4)). Solve 4*a - 9 + z = 0 for a.
2
Let v = -1 - -6. Solve 6*g = g - v for g.
-1
Let d be (-1)/(-4) + (-6)/(-8). Suppose -2*f + 5 = d. Let h be f + (1 - 2) - -4. Solve 0*c - h*c = -25 for c.
5
Let t(x) = -3*x + 13. Let w be t(4). Solve -3*m - w - 8 = 0 for m.
-3
Let m(t) be the first derivative of -t**4/4 + 8*t**3/3 + t**2/2 + 4*t + 1. Let r be m(8). Suppose -4*f = -r - 8. Solve 3*b = 2 - f for b.
-1
Suppose -c - 4 = 0, 2*n - n = 3*c + 14. Solve m - n = -3 for m.
-1
Suppose -5*i - 2*h + 46 = 0, 4*h - 2*h = 4*i - 44. Suppose 3*m = -4*x + 10 + 5, -i = 2*x - 2*m. Let d be ((-3)/6*x)/(-1). Solve 4 = z - d*z for z.
4
Let y be ((-4)/(-6))/(8/(-192)). Let z = y + 21. Solve 5*v - 5 - z = 0 for v.
2
Suppose -3*l = -5*l + 6. Let u(x) = x**3 + 7*x**2 - 9*x - 3. Let a be u(-8). Suppose -a*r = -r - 20. Solve -r*y = -12 - l for y.
3
Let q be (4/5)/((-4)/(-10)). Solve -2*h + 0*h = -q for h.
1
Suppose 0 = -6*y - 10*y + 128. Solve y = -5*n + 3*n for n.
-4
Let c be 2/(-10) - (-68)/(-10). Let f = c + 9. Solve -3*u - 10 = f*u for u.
-2
Let u(h) = -h**2 - 24*h + 31. Let v be u(-25). Solve 4*y - 18 = -v for y.
3
Suppose 5*w - 3*v - 15 = -2*v, -35 = -5*w - 3*v. Suppose -w*z = -z + y - 49, 5*y + 11 = z. Solve -z = -3*p - 7 for p.
3
Let o = -3 - -6. Suppose 6*p - o*p = 4*q + 34, -2*q + 4 = 0. Suppose 0 = 9*d - 3*d. Solve -4*z + 6 - p = d for z.
-2
Let g = -4 - -8. Suppose -2*c = -g*c. Solve -q = -c*q for q.
0
Let c = -33 + 36. Solve b + c*b = 4 for b.
1
Suppose -3*o + 4*o + 9 = 3*j, 2*j + o - 1 = 0. Solve j*r = 2 - 12 for r.
-5
Suppose b = 6*b. Solve b = 6*j - j for j.
0
Suppose 4*w - 10 = l, -3*w + 5*l = -2*w - 12. Let i be 0 - -11 - (2 - w). Let h = -9 + 13. Solve 3*j - i = h for j.
5
Let w = 16 - 16. Solve w = -4*x + x + 15 for x.
5
Let r(j) = j**3 + 12*j**2 + 26*j + 7. Let n be r(-9). Solve -4*s + n = -0*s for s.
4
Let d(b) = -b**2 + 6*b + 7. Let x be d(7). Let z = 3 + x. Solve a + z*a = 12 for a.
3
Let s(f) = f**3 + 9*f**2 + 3. Let h(r) = r**2 - 9*r + 9. Let i be h(6). Let t be s(i). Solve 0 = -t*p + 3 for p.
1
Suppose -t - 14*t = -150. Solve 5*v + 0*v = t for v.
2
Let k(f) = f**3 - 4*f**2 - 3*f - 9. Let n be k(5). Solve -26 = -5*y - n for y.
5
Suppose -95 = -5*o + 4*b, o - 3*b = -2*o + 60. Solve -8*v = -3*v + o for v.
-3
Suppose 3*x - c = -x - 11, -4*x = 4*c + 36. Let t = -4 - x. Solve t = -2*n - n for n.
0
Let o(z) = z**3 + z. Let x be o(0). Let r = 3 - x. Suppose -5 = -l - r. Solve -6*k = -l*k for k.
0
Let s = 53 + -51. Solve -2*c + 2 = -s for c.
2
Suppose -3*w + i + 17 = 0, 3*w + 0*w + i - 13 = 0. Suppose 3*s - 9 = 0, w*z - 3*s + 3 - 24 = 0. Suppose 75 = 5*h - 20. Solve h + z = -5*k for k.
-5
Let c(x) = x + 3. Let o be c(4). Suppose -2*m + o = -0*m + 5*i, 0 = -3*m + i + 2. Solve t + 3 = -m for t.
-4
Let a = 12 + -9. Suppose -k = -a*q + 9, k - 6*k + q = -25. Solve -k + 2 = 2*s for s.
-2
Let s be -14*(45/21 + -3). Let j be 2/s + 149/6. Solve -4*u - j = u for u.
-5
Let q(h) = h**3 + 3*h**2 - h - 1. Let y be q(-3). Solve -y*z + 0*z = 0 for z.
0
Let o = 20 - 14. Solve 2*a + o = -0*a for a.
-3
Let c be (4/6)/((-10)/(-105)). Suppose 72 = 4*r + 20. Solve 4*x = -c - r for x.
-5
Suppose -3*k + h = 11, -k + 3*h = k + 5. Let l = k + 5. Solve -o = l + 1 for o.
-2
Suppose 2*h = -h. Let m be (1 - (-1)/(-1)) + 5. Suppose z - m = -h*z. Solve -z*y = -5 - 5 for y.
2
Suppose -4*y = -4*l - 3*y + 7, 4*l = -2*y + 10. Let n be l*3/((-12)/(-14)). Solve -2*b + n*b = 10 for b.
2
Suppose -3 = -2*x + 3. Solve -x*m = -m + 10 for m.
-5
Suppose -3*t - 90 = -13*t. Solve 4*c = t + 3 for c.
3
Let p be 75/(-10)*4/5. Let w be (-1)/2 + (-5)/2. Let x = w - p. Solve y = x*y for y.
0
Suppose -3*n = -0*n + 30. Let h = n + 13. Suppose -3*l - x = 3*x - 21, -5*l + 4*x + h = 0. Solve 6 = -l*f + 5*f for f.
3
Suppose 2*m = 6, -3*m + 25 = 2*s - 6. Let h = 19 - s. Suppose -4*k + 5 = 5*f - 3, 4*k - f - h = 0. Solve 5 = k*a - 1 for a.
3
Let m be (0 - -4) + 0 + -1. Suppose -b - m*b + 20 = 0. Suppose g = -0*g + 15. Solve 2*z - b*z + g = 0 for z.
5
Let g = -6 + 7. Suppose -5 = -h - g. Solve 2*a - h - 6 = 0 for a.
5
Suppose 0 = -4*c - 6 - 2. Let b be (-4)/(-8) - 7/c. Solve -5*h + 21 + b = 0 for h.
5
Suppose -21*w + 26*w = 30. Solve -w*z - 1 = -5*z for z.
-1
Suppose -4*o + 12 = 3*v, -7*o - 8 = -2*v - 2*o. Suppose -u + 2*u = v. Suppose -u*g = -g. Solve 3*a - 1 - 5 = g for a.
2
Let o(f) = -f**2 + 7*f + 2. Let l be o(7). Suppose -l = -3*s + 13. Solve m - 2*m - s = 0 for m.
-5
Suppose 0 = -2*b + 3*b + 2*b. Solve b = 5*r + 30 - 5 for r.
-5
Suppose 10*v + 3 - 3 = 0. Solve 2*h + 0*h + 8 = v for h.
-4
Let c(l) = l**3 + 3*l**2 + 2. Let x be (2 - 4) + -3 + 2. Let q be c(x). Solve -b - q*b = 0 for b.
0
Suppose 2*j - 2 = -4*f, 2*f - 1 = -3*j - 6. Suppose 4*t - 36 = t. Let s be t/4 + (12 - 3). Solve 5*v = f*v + s for v.
4
Suppose 32 = 2*p - 4*u, u + 50 = 4*p - 0*u. Solve 3*z = -z + p for z.
3
Let j(t) = 22 - 8*t + t**2 - 9 - t - 2*t. Let c be j(10). Solve -20 = -c*m - 5 for m.
5
Let v(o) = -o**2 - 3*o. Let w be ((-9)/12)/(3/12). Let h be v(w). Solve h*i = 4*i for i.
0
Let y(s) = s**3 + 5*s**2 + 3*s - 3. Let z be y(-4). Let h(p) = 4*p - 1. Let l be h(z). Let q be 2/(-4)*0/(-2). Solve q = l*d + 1 + 2 for d.
-1
Let b(h) be the third derivative of -h**6/120 - h**5/20 - h**4/24 + h**3/3 - h**2. Let p be (-6)/(-9) + 8/(-3). Let v be b(p). Solve v = -2*k + k + 4 for k.
4
Let j(g) = g**3 - 8*g**2 + 7*g - 9. Let a be j(7). Let y = -6 - a. Solve 2*f + y = -3 for f.
-3
Let l(z) = -z**2 + 6. Let q be l(6). Let o be 3/((-18)/2)*q. Suppose 0 = -4*m - m - 3*s + 98, m + 3*s = o. Solve m = 5*k + 7 for k.
3
Let x(g) = -g - 1. Let v be x(-1). Suppose 8 = 3*f - 0*o + 2*o, 0 = -4*o - 8. Suppose 1 = -0*c + 2*c + 5*j, c + f*j + 4 = v. Solve 3*q - c*q = 25 for q.
-5
Suppose 8 = 6*b - 4*b. Let i(r) = -r**2 + 3*r + 7. Let j be i(b). Solve -j*k = -2*k for k.
0
Let b(d) = -4*d - 61. Let z be b(-16). Suppose -2*t + 0*t = -44. Solve -z*s - 7 = -t for s.
5
Let x be 80/7 + (-12)/(-21). Solve 2*a + 2*a = -x for a.
-3
Suppose -2*d - 4*m + 0 - 2 = 0, -5*d - 3*m + 30 = 0. Let l = 41 - 2. Suppose l = 5*z - 4*s, -s = -2*s + 4. Solve 5*k = d + z for k.
4
Let m(o) = -o + 2. Let w be m(0). Let s be -10*