 - 20 for m.
-5
Let d = -9 + 6. Let j be 9/d*4/(-6). Suppose -3*n + 35 = j*n. Solve -4*h + n = -1 for h.
2
Let l(g) be the third derivative of -g**4/12 - 7*g**3/6 + 3*g**2. Let u be l(-5). Solve -d - 20 = u*d for d.
-5
Let s(h) = -5*h**3 - 5*h**2 - 2*h - 4. Let u be s(-2). Solve 8*z - 3*z - u = 0 for z.
4
Suppose -3*t - 3 = 3*w, -2*t - 3*t - 2*w = -7. Suppose -4*h - t*h + 14 = 0. Solve -h*q + 1 = 3 for q.
-1
Suppose -3*h - 11 = -2*k, h = 6*h - 15. Let c be 1 - (-22)/k - 2/10. Solve -c*n = 2*n - 25 for n.
5
Suppose 90*z - 489 + 104 = 695. Let n(t) = t - 1. Let w be n(5). Suppose 5*a = 16 + 24. Solve z = -w*d + a*d for d.
3
Suppose -n = -5 - 0. Suppose 19 = -2*b - 5*v - 5, -n*b = 5*v + 60. Let c be (-2)/8 + (-3)/b. Solve 4*w + 3 + 5 = c for w.
-2
Let x be (-1)/2*(10 + -10). Let c(n) = -n**3 - n**2 + 5. Let u be c(x). Suppose -u*r + r = -4. Solve r = -w - 0 for w.
-1
Suppose 0 = -4*t + 2*t + 2, b + 4*t = 2. Let l be (-12)/18 + 46/(-3). Let p be (b/3)/(l/72). Solve x = -p + 2 for x.
-1
Suppose 0 = -2*z + z + 3*f - 12, 56 = -3*z - f. Let a = -14 - z. Let k(u) = -6*u - 3. Let l be k(-2). Solve -p + a = l for p.
-5
Let q(o) = -o**3 + 21*o**2 - 39*o + 19. Let k be q(19). Solve -4*v + 6 + 10 = k for v.
4
Suppose -111 - 17 = -2*l. Let u = 69 - l. Solve 2 - u = -a for a.
3
Suppose 98 = 4*y + 34. Suppose 0 = 2*t - 5*f + 5, 2*f + y - 7 = 3*t. Solve t*p + 0*p + 15 = 0 for p.
-3
Suppose -a - 4 = -2*a. Let h be a/(-10) - (-154)/10. Suppose -h = -2*o - 3*o. Solve o = -2*b - 7 for b.
-5
Let o = 925 - 923. Solve o*v + 55 = 13*v for v.
5
Suppose 0 = -c - v + 7, -2*c = -11*v + 14*v - 18. Solve -c*w = -8*w for w.
0
Let g be -9*(-3 + (1 - -1)). Let n be (-2)/g + 666/81. Solve -3*r + 20 = -n*r for r.
-4
Let s(j) = 4*j**2 - 4*j - 3. Let o(a) = -a**2 + 12*a + 12. Let x be o(13). Let g be s(x). Solve -3*z + 1 = -g for z.
2
Let k be (-4)/(-6)*(26 - 8). Solve 0 = -5*f - 3 - k for f.
-3
Let g = -346 - -354. Solve -10 - 14 = g*d for d.
-3
Let r be (-3)/(1/4 + -1). Suppose -a = r*a. Let o = 19 + -9. Solve 6*t - 4*t + o = a for t.
-5
Let o = -4 - -1. Let a be 14 + -11 - (1 + o). Solve -a*m + 1 = -24 for m.
5
Let w(f) = 4*f - 31. Let n be w(10). Suppose 15*r - n = 12*r. Solve -4*a - r = -3*a for a.
-3
Let j be 248/(-2356) + 1904/38. Solve -80 + j = 15*k for k.
-2
Let i be 12/(-78) - (-249)/13. Suppose 0 = u + 5*h - i, 6 + 16 = 4*u + 2*h. Suppose u*t - 15 = t. Solve o - t = -4*o for o.
1
Let h(r) = -r**3 + 11*r**2 - 17*r + 12. Let a be h(9). Suppose 17*m - a*m + 40 = 0. Solve m = -4*t - 2 for t.
-3
Let q(r) = 2*r**2 + 13*r + 6. Let p be q(-6). Suppose -2*c = -4, -4*i + 2*c + 15 + 61 = p. Solve -7*x + i = -2*x for x.
4
Let p(h) = h + 26. Let m be p(10). Let i be (603/m - (-2)/8) + 3. Solve -i = 3*a + a for a.
-5
Let v be (-21)/21 + 3/(3 + 0). Solve v = -0*j - 6*j for j.
0
Let b(d) = -15*d - 7. Let m be b(-2). Suppose -m*q = -28*q + 10. Solve 6*k = q*k for k.
0
Suppose -2*b + 8 = -14. Solve -b*h = -6*h - 5 for h.
1
Let c(u) = -3*u - 16. Let y(b) = b**2 - 13*b - 9. Let x be (1/(-2))/((-3)/78). Let d be y(x). Let s be c(d). Solve -4 = 3*i + s for i.
-5
Let l(b) = b**2 + 4*b - 682. Let a be l(25). Solve 47*r - a*r = 20 for r.
5
Let x = -4 - -19. Let y = 135 - 227. Let p = 94 + y. Solve x = -p*c - 3*c for c.
-3
Let g(z) = -3*z - 19. Let x be g(-17). Suppose 3*p + 0*p = -2*j + x, -4 = -p + j. Solve -p = q - 5*q for q.
2
Let a = 788 - 784. Suppose -q - 4*f = -20, 3*q = q - 4*f + 24. Suppose -q*b - c = b, -a*c = 0. Solve b = v - 5*v - 8 for v.
-2
Let c = -83 - -188. Suppose -8*o = -o - c. Solve 4*p + o = p for p.
-5
Let n = 2502 + -2501. Suppose -2*d + 10 = 3*d. Solve n = 3*s - d*s for s.
1
Suppose -19 = -5*p - w, 5 = 3*w - 7. Let i be p/6 - 21/(-14). Solve -3*o + 25 = i*o for o.
5
Suppose 14*r - 126 = -7*r. Let q be 8/3*(-6)/(-4). Suppose -r*p + 2 = -q*p. Solve 0 = -3*a + p - 10 for a.
-3
Suppose 13*u - 16*u = -6. Solve 3 + 5 = -u*q for q.
-4
Suppose -32*w = -0*w - 96. Solve -w*b + 6*b = 0 for b.
0
Suppose -5*o - 126 = 2*o. Let v be 3/((o/21)/(-2)). Solve -v*w + 2*w = 15 for w.
-3
Let u be -3 - (-85)/25 - 16/(-10). Let k be 56/(-21)*(0 + (-3)/u). Solve -k - 6 = -5*n for n.
2
Suppose 0 = f - 5. Let t(p) = -p**3 - p - 2. Suppose 0 = -q - 4*l - 6, -4*q + l = q + 9. Let y be t(q). Solve -y = -d + f*d for d.
-2
Let j = -62 - -64. Let n(t) = 11*t - 21. Let s be n(j). Solve -2*b = 3 + s for b.
-2
Suppose -59 = -4*u + 3*l - 4, l + 61 = 4*u. Let f(o) = o**2 + 8*o - 6. Let w be f(-9). Solve t + u = -w*t for t.
-4
Let s be ((-2)/2)/((-9)/27) - -1. Suppose 0 = -5*z + 3*a - 14 + 76, 0 = s*z + 3*a - 28. Solve -5*q - z = 15 for q.
-5
Let p(l) = 10*l + 85. Let o be p(-8). Solve o - 4 = -m for m.
-1
Suppose 3*n - 6*n = -9. Let m be (2/(-3))/((-2)/n). Suppose -7*t + 50 - m = 0. Solve -t*l + 4*l = 0 for l.
0
Let w = 9 - 10. Let a be (40/(-32))/(1*w/12). Solve 4*z - a = -z for z.
3
Let h be -7 - -5 - 1*19. Let s = 26 + h. Solve 2*r = s*r for r.
0
Let f(o) = -o**2 + 29*o + 176. Let j be f(34). Solve -i - j = -10 for i.
4
Suppose -9*s + 506 - 461 = 0. Solve -s*g - 937 = -932 for g.
-1
Let x = -1 - -4. Let v = 276 - 260. Solve x*m - v = -m for m.
4
Suppose 305 - 301 = 2*i. Solve 0 = i*n - 8*n - 24 for n.
-4
Let m(r) = 3*r**2 + 7*r - 20. Let x(h) = -5*h**2 - 14*h + 38. Let l(o) = 7*m(o) + 4*x(o). Let a be l(7). Solve 3*w + a = -0 for w.
-4
Let k(f) = -4*f - 28. Let p be k(-9). Let w = p + -7. Solve -15 = -4*l + w for l.
4
Suppose -2*m = -0*m + 2*m. Solve -3*s + m = -9 for s.
3
Let c(f) = -f**3 + 23*f**2 + 25*f - 21. Let q be c(24). Solve 0 = -5*i + q*i - 4 for i.
-2
Suppose 0 = -4*y - 4*r + 480, 5*r = -4*y + 2*r + 478. Solve -120*j = -y*j for j.
0
Let h be 341/44 + 10/8. Suppose 4*a + h*a - 52 = 0. Solve -a*d - 10 = d for d.
-2
Let l(v) = 10*v + 107. Let w be l(-9). Solve -7*c + w*c + 30 = 0 for c.
-3
Let k = 401 - 399. Solve -k = 3*n - 17 for n.
5
Let k = -84 - -209. Let u = -123 + k. Let y be 1/4 - 1/4. Solve u + y = t for t.
2
Suppose -4*z - s + 187 = 0, 9*z + 4*s = 4*z + 220. Suppose 3*v - z = -v - t, 2*v = 5*t + 46. Solve -v = -5*k + 7 for k.
4
Let k = 120 - 48. Let v = k - 72. Solve -3*w + 0*w - 15 = v for w.
-5
Let b be 12/(-1 + -2) - 2. Let h be (-4)/6 + b/(-9). Suppose 0 = -v - h*v. Solve 0 = 5*m - v*m + 5 for m.
-1
Suppose -2*o - 5*s = -3, -2*o = s + s. Let t be 0/o - (3 - 5). Solve -t*u + 6*u = -8 for u.
-2
Suppose -120 = -11*z + 16*z. Let d = -14 - z. Solve -1 = 3*b - d for b.
3
Let c(v) = 7*v - 93. Let p be c(14). Suppose 66 + 34 = p*x. Solve 0 = -2*h - 2*h + x for h.
5
Suppose 0 = -4*t - 14 + 38. Let c be ((-4)/2)/((-48)/20 + 2). Solve 2*n = c*n - t for n.
2
Suppose -7*t - 256 = -15*t. Suppose 11*i - 7*i - t = 0. Solve d + i = -3*d for d.
-2
Let r = 0 + 0. Let c(g) = -g - 3. Let z be c(-8). Suppose -z*y + y = v - 13, 3*v = -9. Solve r = i - 2*i - y for i.
-4
Suppose 0 = -32*v + 35*v - 9. Solve -23*q + 22*q = -v for q.
3
Suppose 3*k + 5*p + 14 = 0, 4*k + 12 = -6*p + p. Let l be 1/k*(1 - 1). Solve l = -2*h - h - 9 for h.
-3
Let m be (0 + (-3 - -2))*0. Suppose -7*s - 40 = -2*s - 5*x, x = -s. Let l be (-15)/(-3) - 3 - s. Solve m = l*c - c - 10 for c.
2
Suppose 35 = 5*s + 3*b, -2*s + 10 = 3*s - 2*b. Suppose v = -23 + s. Let i = v - -20. Solve 11 = -5*q + i for q.
-2
Let n(o) = 3*o**2 + 4*o + 2. Let x be n(-3). Suppose -4*q - 5 = -x. Solve -6*a + q*a + 12 = 0 for a.
4
Suppose 118*n = 151*n - 165. Let x(j) = -j**2 - 5*j - 2. Let d be x(-3). Solve -z = d*z + n for z.
-1
Let t be 9 + (11 - -1)/(-2). Solve -t*y - 30 + 36 = 0 for y.
2
Let y(z) = z - 9. Let k be y(3). Let o be 1/((9/k + -1)/(-5)). Solve -2 = -3*t + o*t for t.
2
Let w = -25 + 27. Let s be (w/6)/(3/18). Solve s*k - 1 = -3 for k.
-1
Let p be (5 + 290/(-35))*-7. Solve -p + 3 = -4*c for c.
5
Let o be 2/(-12) + (-97)/(-6). Solve 14*y - o*y - 8 = 0 for y.
-4
Suppose b - 5*u = 6*b - 20, 16 = b - 5*u. Let t = 336 + -334. Solve b = -t*d - 2 for d.
-4
Let c be (-2030)/(-80) + 9/(-24). Solve 24 = -d + c for d.
1
Suppose -22*j = 3*j. Solve 5*x + 7 - 17 = j for x.
2
Let d be (6 - 6)*(-5)/10. Solve d = 4*b - 4 for b.
1
Suppose a = -2*o - 15, 0*a - 3*a = -2*o - 3. Let w = o - -9. Solve -w*r + 0 = 9 for r.
-3
Suppose -13*m + 46 = -15*m. Let w = 35 + m. Solve -4*i + w = -i for i.
4
Let b(x) be the first derivative of -x**4/4 - 8*x**3/3 - 4*x**2 - 6*x - 