derivative of -3*b**5/20 - b**4/12 - b**3/6 + b**2. Let z be x(-1). Let d = 12 + z. Solve -3*p + 4*p = d for p.
4
Suppose 2*f + 4 = 2*o - 4*o, 5*f + 30 = 5*o. Suppose -v - 5 = -o*q, -5*q - 6 + 21 = -3*v. Solve q*t + t + 1 = 0 for t.
-1
Suppose 0*x - 6 = -3*x. Suppose 4*m = x*m. Suppose -2*n - 3*c + 3 = m, 0*n - 4 = 2*n - 4*c. Solve -u - 2 = -n*u for u.
-2
Let v(t) = t**2 + 2*t - 1. Let b be v(-4). Let i be -2 - (-2)/((-8)/(-36)). Suppose -4*w + i = -3*p + 2*p, -2*p + w = -b. Solve -y + 8 = -p*y for y.
-2
Let a be (-4)/(-18) + 50/18. Suppose -2*p + 4*h = 8, 3*p + 5*h - a = 7. Suppose -4*b - 12 = 3*m + 3, 5*b + 4*m + 20 = 0. Solve -x + p + 5 = b for x.
5
Let y be (-2 - (-3 - -1)) + 4. Let a be y/18 + (-50)/(-18). Let t = a + 0. Solve -x + 2 = -t*x for x.
-1
Let v = -80 - -85. Solve 6 = v*p - 4 for p.
2
Suppose -5*z = d + 2*d - 25, -2*d + 2*z + 6 = 0. Suppose 4*l - 11 = d. Solve -1 = l*a - 17 for a.
4
Suppose t + 3*r - 2*r = 3, -4*r - 24 = -5*t. Solve -j + 12 = -t*j for j.
-4
Suppose 2*q = 3 + 3. Solve 6*z - q*z = 0 for z.
0
Suppose -4*n + 0*n + 3*t + 6 = 0, -2*t - 11 = -5*n. Let y = n + 1. Solve -y*q - q = -25 for q.
5
Suppose 2*d - 16 = -2*l - 0*l, -3*d = 2*l - 21. Suppose 5*p + x = -0*x + 38, -16 = -4*p + 4*x. Let c = p - d. Solve -c*v = 3 + 1 for v.
-2
Let w(j) = 4*j**2 + 11*j + 7. Let f(o) = 9*o**2 + 23*o + 15. Let h(m) = 3*f(m) - 7*w(m). Let v be h(-7). Solve v*r = 4 + 2 for r.
2
Let g(y) = -y**2 - 9*y + 7. Let o be g(-8). Suppose -5*u = o, -2 = -x - u - 0. Solve -x*f + 2 = 22 for f.
-4
Suppose a = 7*a. Solve -3*d + a*d = 0 for d.
0
Suppose -5*g = -68 - 72. Let b be -2*((-21)/(-2) - 2). Let m = g + b. Solve -3*p - 26 = -m for p.
-5
Suppose -3*r - 3 = -f + 9, -9 = f + 4*r. Solve f*t - 1 + 10 = 0 for t.
-3
Let j = 8 + -6. Suppose -4*r = m + r + 7, -5*m - j*r = -11. Solve 0 = 2*o + m + 3 for o.
-3
Let o = 3 - 1. Suppose -4*j + 57 = y, -3*j + 4*j = 3*y - 2. Let p(r) = r**3 - r**2 + r - 1. Let t be p(2). Solve -t*m - o = j for m.
-3
Suppose -70 = -4*n + 4*i + 54, -4*i + 56 = 2*n. Let k = -20 + n. Solve b = -b + k for b.
5
Suppose -19*a = -14*a. Solve -2*w - 10 = -a*w for w.
-5
Suppose 0 = -3*k - 0*k - l + 1, -3*k = -3*l + 15. Let w be 95/(-20) - k/(-4). Let p(c) = -2*c - 2. Let y be p(w). Solve 2*d = 6*d - y for d.
2
Suppose 0 = -4*c + 20, -4*j = 2*c + 1 + 17. Let n(v) = -v**3 - 8*v**2 - 6*v - 9. Let q be n(j). Let a be q/(-12)*(-3)/(-2). Solve -z + 0 = -a for z.
2
Suppose -13*j = -20 - 32. Solve j = 2*z + 2*z for z.
1
Let p(b) = -b**2 - 7*b + 3. Let n be p(-7). Let g be ((-2)/(-1))/(2/n). Solve g*x + 2 + 10 = 0 for x.
-4
Let t(c) = -c**3 - 6*c**2 + 3*c + 1. Let z be t(-7). Let d = z + -17. Solve -d + 2 = 5*r for r.
-2
Let f(s) = s**3 + s**2 + s - 11. Let v be f(0). Let r be v/(-3) + (-3)/(-9). Solve -1 - r = -d for d.
5
Suppose 0 = 5*p + 4*u - 8, 2*p + 2*u - 4 = -p. Suppose c = 6 - 1. Solve -3*y + 4 + c = p for y.
3
Let p = 125 - 116. Solve 0 = j - p + 4 for j.
5
Let h be (2 - 6/3) + 2. Suppose 0 = h*q - u - u - 24, -5*q + 4*u + 57 = 0. Solve p - q = -2*p for p.
3
Let m(u) = 2*u + 0*u - u**2 - 3 + 4*u. Let i be m(3). Solve -2*y + 8 = -i*y for y.
-2
Let i(v) = v**2 + 2*v - 1. Let q be i(1). Suppose -3*s + a + 14 = -13, -s + 3*a = -1. Suppose -s - 20 = -3*r. Solve r = q*p + 3*p for p.
2
Suppose 13*t - 9*t = 0. Solve 3*c + 6 = -t for c.
-2
Let k be -1 + 4 - (5 + -4). Let l = -4 - -7. Solve 0 = k*i - l*i - 3 for i.
-3
Let s be 3/(3 - -6)*3*7. Solve -4*g - 9 = -s*g for g.
3
Let p = -2 + 6. Suppose j - p = -j. Suppose -j*y + 0*y = -4. Solve v = -y*v for v.
0
Suppose 5*p - 25 = 5*l, 0*l = -3*l. Solve p*o = 2*o for o.
0
Let w be (-3)/(-2)*4/2. Let h = w + 1. Solve -f - f + h = 0 for f.
2
Suppose 0 = 5*d - 3 + 8. Let h be (d + -1 + 2)/(-1). Suppose 0*q + 3*q = h. Solve q*k = 3*k for k.
0
Let f = -6 - -15. Let n be 1/((15/18)/5). Suppose -n*o = -f*o. Solve o*u = 2*u - 8 for u.
4
Let k(g) be the third derivative of g**5/60 - g**4/4 - g**3/2 + g**2. Let s be k(6). Let p = -3 - s. Solve -3*z - 3 + 12 = p for z.
3
Let z(g) = -g**3 + 12*g**2 - 11*g + 3. Let t be z(11). Let n = 20 - 4. Solve a = -t*a + n for a.
4
Let q be 4/(-10) + 94/10. Let k(w) = 2 - 2*w - 4 + 3*w. Let m be k(q). Solve -m*l = -3*l + 4 for l.
-1
Let v = -11 - -17. Let a = 34 + -22. Suppose -5*r = 4*i - 8 - a, 0 = -3*r - 3*i + 12. Solve -5*m = -v - r for m.
2
Let d = 10 + -8. Let h(j) = j**3 - 7*j**2 + 5*j + 6. Suppose 3*i + 3*r = 6, 0*i - 3*i = 4*r - 2. Let t be h(i). Solve 6*p - d*p - 4 = t for p.
1
Suppose 0*q + 2*y = 5*q + 2, 0 = 5*q + 5*y - 5. Solve -5*c = -q*c for c.
0
Let q be ((-1)/2)/((-5)/(-180)). Suppose 0 = p - 5, 0*p + 36 = -2*t + 4*p. Let j = t - q. Solve 0 + j = 5*n for n.
2
Suppose -3*w + 0*w + 5*i = 22, 5*w + 4*i = 25. Let q be (15/12)/(w/4). Solve -q*t = -3*t for t.
0
Let v = 15 - 12. Solve -v*o = 6 - 0 for o.
-2
Suppose 2*f = 4*s - 8, 22 = 3*s + 4*f + 5. Suppose 15 = 5*n + 3*o, 4*o = -s*n + o + 9. Suppose 4*p = -5*q + 22, 2*p - 4 - 10 = -n*q. Solve 2*h + 12 = q*h for h.
3
Suppose -50*b - 40 = -55*b. Solve -5*g = b - 3 for g.
-1
Let w be (22/(-33))/((-2)/9). Solve w*c = c - 8 for c.
-4
Suppose -2*l + 5 = -l. Suppose -a - 4 = 3*a. Let h be 46/(1 - a) + 0. Solve -h - 2 = -l*s for s.
5
Suppose 6*t - 2*t - 28 = 0. Let w(l) = l**3 + 7*l**2 + 6*l + 4. Let n be w(-6). Suppose -n*v + 5*j = 17, 6 = v + 2*j - 6. Solve -3 = -v*p + t for p.
5
Suppose 0 = 9*z - 1 - 44. Solve 0 = -4*m + z*m - 5 for m.
5
Let n(i) = -2*i**2 - 4*i - 2. Let f be n(-3). Let m be (1 + 10)*(-2 - -1). Let y = f - m. Solve -r = -2*r + y for r.
3
Let r = -91 + 94. Suppose 0 = -o - 0 + 1. Let f be o + 1/(1/(-1)). Solve f = r*n - 2*n - 3 for n.
3
Let v(p) = -3*p + 18. Let g be v(6). Solve 6*j - 3*j = g for j.
0
Let v = -6 - -25. Let f = 19 - v. Solve f = -k - k - 2 for k.
-1
Let q(r) be the second derivative of r**3/3 + r**2 - r. Let w = 11 + -4. Let i be q(w). Solve 6*s - i = 2*s for s.
4
Let a(u) = -u**2 + 7*u - 1. Let n be 2/(-1)*(-26)/(-4). Let m = -7 - n. Let r be a(m). Solve r + 0 = l for l.
5
Suppose 3*h + 24 = 5*h. Suppose -2*r + h = -r. Solve 4*g + r = -0 for g.
-3
Let y(h) = 4*h - 13. Let z(s) = 2*s - 7. Let n(w) = 3*y(w) - 5*z(w). Let j be 1/(1 - 6/9). Let q be n(j). Solve a = -a - q for a.
-1
Suppose -m + 14 = 3*k - 0*k, 4 = -m. Solve 10 = 4*u - k for u.
4
Suppose 4*y + 8 + 12 = 0. Let r(g) = -4*g - 7. Let p(n) = -7*n - 14. Let f(z) = -3*p(z) + 5*r(z). Let t be f(y). Solve -h + t = -3*h for h.
-1
Suppose 12 = m + 2*m. Suppose -m*n = -n - 27. Solve 4*v - n = v for v.
3
Let b = -6 + 8. Suppose 4*u = b*u. Solve 2*w + 0 - 6 = u for w.
3
Let z(d) = d - 6. Let c be z(9). Suppose -4*l + 1 = -5*w, -l - 8 = -c*w - 3. Solve 9 = -3*f + w for f.
-2
Let i(j) = j + 10. Let r be i(-10). Suppose r = -2*w + 7*w - 115. Solve 0 = 4*v + w - 7 for v.
-4
Let k = -20 + 20. Solve 20 = -5*x - k for x.
-4
Suppose 17 + 8 = 5*x. Solve -x*c = -0*c + 20 for c.
-4
Let x = 22 - 20. Suppose 90 = 4*p - 2*u - 38, -p = -4*u - 46. Suppose -3*h - w + 6*w = -p, -5*w = -2*h + 20. Solve 0*m - h = -x*m for m.
5
Let j(d) = -5*d**2 - 7*d - 3. Let t(z) = z**2. Let u(b) = -j(b) - 6*t(b). Let y be u(7). Solve 4*v = y*v + 5 for v.
5
Suppose -5*c = -5*j + 30, -4*j + 7*j = 2*c + 16. Suppose n - j*n = -6. Solve n*f + 7 = 3 for f.
-2
Let h = 5 - 3. Suppose -2*c - h*g = 0, -8*g - 28 = -2*c - 3*g. Solve -c*n - 12 = -4 for n.
-2
Let q = 6 - 8. Let m be -1*(-7 - (1 + q)). Let p be 50/m + (-2)/6. Solve 0*o + 4*o = -p for o.
-2
Suppose 2*r = -3*c - 4 + 1, 3*c = 4*r - 39. Suppose 0 = -f - 0*f + r. Let u(l) = l**2 - 6*l + 2. Let z be u(f). Solve 0 = -q - z*q for q.
0
Suppose 5*g + 9 = 34. Suppose -6*d = -g*d - 1. Solve 4*b = -d - 15 for b.
-4
Let j be (10/(-4) - -4)/(18/48). Solve -7 - 13 = j*x for x.
-5
Let a(y) be the second derivative of -y**3/3 - 2*y**2 - 3*y. Let d be a(-4). Solve 4*m - 3*m - d = 0 for m.
4
Suppose -13 = -4*f + 11. Let u = f + -3. Let h be (u/5)/((-3)/(-15)). Solve -7 = 2*c + h for c.
-5
Let a = -61 + 61. Solve q + 3*q - 8 = a for q.
2
Let h(t) = t**3 + 3*t**2 + t + 1. Let n be h(-2). Solve -10 = n*d - d for d.
-5
Suppose 26 + 19 = 3*r. Suppose 4*x + 12 = -2*z, 0*x - x = 5*z - r. Suppose 8 = 4*h + q - z*q, 3*q = 0. Solve 0 = -h*o + o for o.
0
Let l(m) = m**3 - 16*m**2 - 17*m - 5. Let x be l(17). Let f be (-5)/x - (-2 - -1). Solve -1 = j 