ative of -m**5/60 + m**4/8 + 2*m**3/3 - m**2. Let y be b(4). Solve y*k - 4*k = d for k.
-1
Suppose s + 4*x = 23, s - 3*x = -14 + 2. Suppose 34 = s*i + 4. Let j = i + -6. Solve -c - 15 = -j*c for c.
5
Suppose 10 = 2*c - 0*c. Suppose 0 = -c*z + 4*l - 3*l + 15, 0 = 2*z + 5*l - 6. Suppose z*f = -2*f. Solve f*h + 4*h + 8 = 0 for h.
-2
Let x be (-2 + 1)/((-5)/15). Suppose -t - 3*p - 3 = -5, 0 = x*t + 4*p - 6. Suppose 0*n = t*n. Solve -5*u + 5 = -n for u.
1
Suppose -8 = 4*m, 0*m + 5*m = 5*o - 50. Solve t + o = -t for t.
-4
Suppose n = o + 2*o - 2, 4*n - 48 = -2*o. Let f be 18/5 - (-4)/n. Solve -f*t + 12 = -8 for t.
5
Let l be (-2 - 3)*(-3)/3. Suppose 5*f = l + 5. Solve -x = f*x - 12 for x.
4
Let k be ((-12)/15)/(4/(-30)*3). Solve -m - 9 = k*m for m.
-3
Let n(b) = 2*b - 5. Let h be n(4). Let v be -3 + (-3 - -34) - h. Solve p = -4*p - v for p.
-5
Suppose 2*z - 12 = 4. Suppose 3*r - z + 2 = 0. Suppose -a - 6 = -r*a. Solve s - a = -2 for s.
4
Let k(l) be the second derivative of l**4/12 + l**2/2 + 3*l. Let c be k(3). Suppose 2*s + 0*s = c. Solve -f - 4*f + s = 0 for f.
1
Suppose 0 = -5*s + 3*s + 40. Solve 3*w = -8 + s for w.
4
Suppose -f = j + 2*j - 13, -4*j = f - 16. Solve -5 = -f*i - 1 for i.
1
Let i = 9 + -5. Suppose i*f + 5*k = -6, 0*f - 4*f + k + 6 = 0. Let g be (7/(-21))/(f/(-12)). Solve t - 3*t = g for t.
-2
Let q = 4 - 1. Let m(p) = -p**3 + 2*p**2 + 4*p + 1. Let v be m(q). Suppose -v*a + 3 = -3*a. Solve -c - 5 = -a for c.
-2
Let f = 6 + -2. Solve v - 3*v = -f for v.
2
Let a(t) = 2*t - 20. Let u be a(12). Solve u*q + q = 20 for q.
4
Suppose 30 = 3*q + 3*u - 6*u, -50 = -5*q - u. Let d(k) = k**3 - 10*k**2 - k + 10. Let c be d(q). Solve 5*b - 8 - 17 = c for b.
5
Let n be 10/(-2)*16/(-20). Let u be 0/3 + 12/n. Solve 2 + u = -5*j for j.
-1
Let q = 1 - 1. Suppose 2*n + 35 = -5*r - 3*n, 0 = 5*r + 4*n + 31. Let i = 1 - r. Solve 0*l + i*l + 12 = q for l.
-3
Let a be (-2)/8 - (-46)/(-8). Suppose 2*p - 5*p + 4 = 2*q, 3*q = -2*p + 16. Let z = a + q. Solve -u - 2 = z for u.
-4
Let r be 70/3 - (-2)/3. Solve -3*h + r = 9 for h.
5
Let w be 2/1*21/14. Let r = 21 + -13. Solve -w*p + r = -1 for p.
3
Suppose o + 2*w + 2 = -0, 2*o + w - 2 = 0. Suppose -o*y - 2*y = 0. Solve y = -3*x - x - 12 for x.
-3
Let l be (-7)/14 - (-41)/2. Solve 0*g = -5*g - l for g.
-4
Let a = 16 + -16. Solve a = -2*h - 2*h + 16 for h.
4
Let n = 3 - 0. Solve 0*o + o = -n for o.
-3
Let k(d) = d**3 + 2. Let x be 2/(-5) - 2/(-5). Let y be k(x). Suppose -15 = 3*b, -2*u + 0*b + 35 = -5*b. Solve -3*a = y*a + u for a.
-1
Suppose 2*d = 5*d. Suppose -3*n + d*n + 6 = 0. Solve w = n - 0 for w.
2
Let g be (-1 - -3)/((-2)/11). Let j = -8 - g. Solve 1 = j*y - 2*y for y.
1
Let n be (-3 - 0) + 3 + -2. Let v = -2 - n. Solve v = b + 3 - 1 for b.
-2
Suppose -5*q + 25 = -0. Solve -q*l + 0 = -10 for l.
2
Suppose 2*l - 17 = -5. Let y = l - 6. Solve y = j - 4*j - 15 for j.
-5
Let u(r) = -4*r + 6. Let m be (-2)/6 - 51/9. Let g be u(m). Let n be 115/g - 2/(-12). Solve -n*c + 3 = -1 for c.
1
Suppose 4*n - 10 - 2 = 0. Let f be (-2 + 2)*(3 + -2). Suppose f = -n*t - t. Solve t = z + 1 - 0 for z.
-1
Let h(s) = s**3 - 7*s**2 - 8*s + 4. Let l be h(8). Suppose 0 = -2*k - 2*z - 4, 2*k - 3*z - l = -13. Let y be 1 - k/3*1. Solve -y = 3*t + 4 for t.
-2
Let m be 2 + -1 + (-8 - -13). Let t = 4 - 2. Let y(b) = b - 9. Let d be y(9). Solve h + m - t = d for h.
-4
Suppose 0 = 5*j + 3*d - 0*d - 3, 0 = j + d - 1. Solve j = -5*n - 0*n + 25 for n.
5
Let v be 3/(1 - 10)*0. Let m be 0/(2 + -1 + v). Solve 4*j - 4 + 12 = m for j.
-2
Let w = -41 - -49. Solve 0 = 3*d + d + w for d.
-2
Suppose 0 = 2*q + 10 + 10. Let h(v) = -v - 7. Let w be h(q). Suppose 36 = w*b + b. Solve b + 1 = 5*f for f.
2
Suppose -n - 2*n = 4*r - 57, -5*n = 5*r - 75. Let l = -9 + r. Solve 0*f = -l*f - 6 for f.
-2
Let d(j) = j**3 - 4*j**2 + 3. Suppose 3*w = 10 + 2. Let u be d(w). Solve k - 12 = -u*k for k.
3
Let v = 6 + -3. Solve v*m - 2 = m for m.
1
Suppose 6*v + 7 = -v. Let l(z) be the third derivative of -z**6/60 - z**5/60 - z**4/12 - z**3/6 - z**2. Let h be l(v). Solve 0 = -t - h*t for t.
0
Suppose -2*m = -3*m + 2. Let p(v) = 2*v**2 - 3*v + 2. Let i be p(m). Suppose -3*q = i*k - 97, -4*k + 93 = q - 6. Solve -5 + k = -5*g for g.
-4
Suppose -c + 3*m + 3 = 0, 3*c + 5 = -5*m - 0. Solve c = 4*r - 3 - 5 for r.
2
Let u = -8 - -9. Let i = u + 4. Suppose g + 2*g - 5*k - 35 = 0, -i*k - 25 = -2*g. Solve -4*w = w - g for w.
2
Let g(v) be the third derivative of v**7/1680 - v**6/720 + v**5/20 - v**2. Let w(s) be the third derivative of g(s). Let x be w(1). Solve 0 = x*d - 4 + 2 for d.
1
Let v(i) = i**3 - 6*i**2 + 5*i + 4. Let a be v(5). Suppose -33 = -5*w + 3*u - 6*u, -5*w + 32 = 2*u. Solve -2*m - a = -w*m for m.
1
Suppose 0 = 2*b - 0 - 8. Suppose -s + 16 - b = 0. Solve 5*n + 13 = -s for n.
-5
Let b = -5 + 5. Suppose b = -a - 0*a + 38. Suppose -3*w + w = -5*f + a, 0 = 2*f + 3*w. Solve 0*u = -3*u - f for u.
-2
Let v(y) = y**2 - 5. Let x be v(4). Let w be (-14)/(-6) - 4/(-6). Let l = x - w. Solve c + 3*c = l for c.
2
Let t = 50 - 25. Suppose 3*l - 8*l = -t. Solve l*o = -1 - 14 for o.
-3
Let t(u) = -3*u - 39. Let c be t(-13). Solve -l + 0*l + 5 = c for l.
5
Let n(a) = 2*a**3 + a**2 - a. Let v be ((-2)/(-6))/((-1)/(-3)). Let x be n(v). Suppose 3*c - 14 + 4 = -2*s, 2*c + 20 = 4*s. Solve x*l - 5 + 7 = c for l.
-1
Suppose -5*w = 25, 4*w + 0 + 40 = b. Let z = b + -12. Solve 5*t + z = -12 for t.
-4
Let n(j) = j**3 - j**2 - 5*j + 3. Let q be n(3). Solve -3*s = -q*s for s.
0
Let g be ((-7 - -4) + 3)*-1. Solve 4*h + g = -4 for h.
-1
Suppose -4*m = -y - 8*m - 2, -3*y = 2*m - 4. Solve y*n = 5*n for n.
0
Let n(a) be the second derivative of -a**3/3 - 3*a**2/2 + 2*a. Let y be (11/33)/((-1)/6). Let q be n(y). Solve -c + 4 = q for c.
3
Let t = 2 - 1. Solve -n - 2 + t = 0 for n.
-1
Suppose -2*t + 6*t - 24 = 0. Suppose -3*a + t = -0*a. Solve -a*k - 5 - 5 = 0 for k.
-5
Suppose 5*y + 2*p - 5*p - 25 = 0, 4*p + 20 = 4*y. Let k = 6 + y. Solve 31 - k = -4*g for g.
-5
Let p(r) = 4*r + 7. Let z(h) = -7*h - 14. Let g(v) = -5*p(v) - 3*z(v). Let q be g(-7). Suppose q = -4*k + k + 21. Solve 2*t = k*t for t.
0
Suppose 12*p - 8*p - 4 = 0. Let m(i) = -4*i**2 - i. Let v be m(-1). Let o be -1 + 0 - v - p. Solve -3*g = -2*g + o for g.
-1
Let c = -15 + 18. Solve -c*p + 11 = -4 for p.
5
Let y be 2/(-9) + 29/9. Suppose 6 = 4*p - p, 0 = 3*v - y*p - 18. Let k be (-2)/v + 2/8. Solve -m + 2 + k = 0 for m.
2
Suppose 44 = 14*x + 2. Solve -y + 0 = -x for y.
3
Let q = 7 + -5. Solve -q*i - 8 = -0*i for i.
-4
Suppose 5*u + 4*x + 19 + 7 = 0, -8 = u - 2*x. Suppose -24 = p + 3*p. Let y = u - p. Solve -2*g = -y*g for g.
0
Let f = -81 - -81. Solve 0*x + 3*x = f for x.
0
Let p be (2/(-3))/(1/(-3)). Suppose 2*o = -p*o + 48. Solve 6*h - 3*h - o = 0 for h.
4
Suppose 2*c + 1 = -7, -2*f - 6 = -4*c. Let q = f - -23. Suppose 0*s + 4*s = q. Solve -h = 2 - s for h.
1
Let i be 0 - 2/1 - -17. Suppose 0 = 3*m - 4*j - 20, -m + j + 2*j + i = 0. Solve -6 + m = 3*a for a.
-2
Let a(t) = 2*t + 4. Let g(y) = y**2 + 3*y + 3. Let d be g(-3). Let o be a(d). Solve 4*u = 6*u - o for u.
5
Let r = 4 - 4. Suppose r*o = 3*o + 3. Let a be -1 - (o*4 + 1). Solve a*m + 2 = m for m.
-2
Suppose 5*w - 20 = 10*w. Let i(m) = -m - 2. Let b be i(w). Suppose 2*x + 4 = a, -b*x - a + 16 = 3*a. Solve 0 = -x*d + 4*d + 8 for d.
-2
Let v(n) = n + 19. Let z be v(-6). Solve 5 = 4*d + z for d.
-2
Let w(l) = l**2 + l. Let m be w(1). Let c = -2 + 2. Suppose -v + 2 = -2*v - j, c = 4*j + 8. Solve m*f = -v*f for f.
0
Let l = 95 + -70. Solve 2*m - 7*m = l for m.
-5
Let z(b) = -5*b - 5. Let h be z(-5). Suppose 0 = -0*w + 4*w + 4. Let c = w - -5. Solve -c*q - q + h = 0 for q.
4
Let y be (-1*1*8)/(-2). Suppose 5*m + 4*r - 169 = 0, r - 5*r = 3*m - 103. Suppose 3*l - m = -3*p, 10 = 5*l - 2*p - 10. Solve y = l*g - 2*g for g.
1
Let u(g) = g + 8. Let v be u(-6). Suppose -3*p + 0*p + 3 = 0. Let s = p - -2. Solve -s = -k - v*k for k.
1
Let o(a) = -a + 17. Let x be o(0). Suppose 5*i - 5*w - 160 = 0, -2*i - 2*w = w - 64. Let v be 6/(-21) - i/(-14). Solve 3*s - x + v = 0 for s.
5
Suppose 2 = 2*b - 22. Solve 0 = -6*q + 2*q + b for q.
3
Let t(a) = a**2 + a - 2. Let z(m) = m**3 + 7*m**2 - 7*m + 6. Let u be z(-8). Let v be t(u). Let g(y) = y. Let j be g(8). Solve 5*d + j + 17 = v for d.
-5
Let b = -4 - 0. Le