d derivative of r**5/60 - r**4/4 - r**3/3 - 2*r**2. Let q be f(7). Solve 0 = 3*i - q + 17 for i.
-4
Let v(w) = -w + 2. Let h be v(0). Suppose 3*q + h*q = 0. Let d = 11 + -8. Solve q = -0*g - g + d for g.
3
Suppose j = -2*j + 9. Let l = j + -5. Let c be (5/l)/5*-12. Solve 4*r + 2 + c = 0 for r.
-2
Let a(h) = -h**3 + 9*h**2 + 11*h - 14. Let c be a(10). Let q(w) = w. Let u be q(c). Let t be (-14)/u - 1/(-2). Solve f - 2*f - t = 0 for f.
-4
Let s(b) = -b**3 - 2*b**2 - 3*b - 2. Let m be s(-2). Suppose 6 = -m*l + 22. Let t = -3 + l. Solve 0 = -u - t for u.
-1
Let z(o) = -o**2 + 11*o + 12. Let q be z(12). Let t = 3 + 2. Solve q = 2*m - 1 - t for m.
3
Let s(m) = m**3 - 4*m + 3. Let d be s(2). Suppose j - d*j - 4 = 0. Let n = j - -2. Solve n = 5*q - 1 - 9 for q.
2
Suppose 0 = 2*t + 3*t + 4*x - 64, 2*t = 3*x + 21. Solve 0*m + 3*m = t for m.
4
Let j be 1 + -1*3/3. Solve j = -n + 3*n - 10 for n.
5
Let r(n) be the first derivative of n**3/3 - 5*n**2/2 + 4*n + 4. Let a be r(5). Solve 4*k = 2*k - a for k.
-2
Let y(w) = -w**3 + 9*w**2 - 4*w - 5. Let q be y(6). Let o be q/7 + (-4)/14. Let t(f) = -f**3 + 3*f**2 - f + 3. Let c be t(3). Solve 5*r + o + 14 = c for r.
-5
Suppose -3*u + 53 = c, u + 0*u - 4*c + 4 = 0. Let d be (-2 - -5)*u/24. Let x = -13 - -25. Solve -d = 2*g - x for g.
5
Suppose -3*a - i + 34 = 2*a, a - 11 = 4*i. Let d = a - 4. Let w be (0 - 0)*1/2. Solve 0 = -d*g - 3 - w for g.
-1
Let k(h) = -h - 3. Let b be k(0). Let r be 1*2/(b/3). Let x = r + 15. Solve 4*y + x = -7 for y.
-5
Let s = -8 - -6. Let v be -5 - (-9)/3 - s. Solve v*z = 2*z + 2 for z.
-1
Let p(g) = -3*g**3 + g**2 + g + 1. Suppose -2*l - 9 = 3. Let u be 3/l + (-2)/4. Let j be p(u). Solve -j = -y + 1 for y.
5
Let u(i) be the second derivative of -i**4/12 - i**3/6 + i**2 + 4*i. Let m be u(4). Let a = -10 - m. Solve 2*w = 6*w - a for w.
2
Let v(l) = -l**2 + 3*l + 4. Let w be v(3). Let f(d) = -d**3 - 4*d**2 + 2*d. Let j be f(-4). Let z be (-2)/4 + (-20)/j. Solve z = -w*g - 2 for g.
-1
Let u(g) = 11*g**3 - g**2 + g. Let x be u(1). Let k = 5 - 12. Let h = x + k. Solve -h*z = -0*z + 4 for z.
-1
Suppose 3*l = 2*l. Suppose -5*a = -2*f + 4*f - 12, -4*f + 24 = 2*a. Solve -2*z - z + f = l for z.
2
Let l be -3 - (-1*9)/3. Solve l = f + f for f.
0
Let x = -18 - -28. Let r = 24 + -22. Suppose 3*b = 12, -4*c = -4*b + r - x. Solve 0 = w - 2 + c for w.
-4
Let c be (192/4)/(-4) + 4. Let q(r) = -r**2 - 7*r + 8. Let n be q(c). Solve n = 5*k + 2 - 27 for k.
5
Suppose -y - 7 = -4*i, 7 = 3*i + 4. Let z be (0 + 2)*y/(-2). Suppose -g - z*g + 2*h + 8 = 0, -5*g + h + 16 = 0. Solve -4 - g = -2*t for t.
4
Let j(u) = -3*u - 16. Suppose -3*x + 4*x + 8 = 0. Let y be j(x). Solve -2*d + 2 = y for d.
-3
Let y = -4 + -3. Let d = 24 + y. Solve 8 = 5*z - d for z.
5
Suppose -l + 9 = -2*m - 3, 3*l = -3*m. Let h = -3 + 5. Suppose 0 = 3*d - 2*d + 2*z - h, 4*z = -l*d + 8. Solve 0*w - d*w = 0 for w.
0
Let g(y) = -2*y. Let q be g(3). Let s = q + 8. Solve -2*k - s = 4 for k.
-3
Suppose -2 = q + j, 3*q - 5*j + 0*j - 34 = 0. Suppose -4 - 2 = -3*o. Solve -o*z - q = -3*z for z.
3
Suppose 0 = -5*f + 26 + 14. Solve -14*c = -12*c - f for c.
4
Let o(x) = -x**3 + 3*x**2 + 3*x + 4. Let y be o(4). Solve -4*l = -y*l - 16 for l.
4
Suppose d + 5*c = -2*d, d = -4*c. Let k be d/(2 + -3)*1. Suppose g - 3*g + 8 = k. Solve -y = -g*y for y.
0
Let j(b) = -2*b**2 - 2*b - 1. Let y be j(-2). Let t be y + 4 - (-4 - 1). Solve 3*g - 5*g = t for g.
-2
Let h = 7 + -3. Suppose -2*a = -n + 12, h*a + 8 = 3*n - 20. Suppose 28 = -2*i + 4*i - 2*m, -5*i = -n*m - 65. Solve -i = -2*s - 1 for s.
4
Let r(h) = -h**3 - 8*h**2 - 7*h + 3. Let i be r(-7). Suppose -2 = l - i*l. Let n = 6 - 4. Solve l + 7 = n*b for b.
4
Let u = 2 + 3. Suppose u*f + 5*i = 25, -1 = f - 3*i - 2. Solve f*a = -a for a.
0
Let o = -36 - -51. Solve -5*n - 5 = o for n.
-4
Suppose -6*w = -21 - 69. Solve -m - 4*m + w = 0 for m.
3
Let i = 20 - 6. Let j = -11 + i. Solve -j*k - k = 0 for k.
0
Suppose -5*q - 11 = g, 2*q - 6 + 20 = 2*g. Let w be (-8)/(2 + (-36)/15). Solve w = -g*o - 0*o for o.
-5
Let z = 13 - 7. Suppose 4*i - i - 3*s + z = 0, -3*s + 2 = -5*i. Solve i*l + 12 = 5*l for l.
4
Suppose 4*v - 21 = 3*f, 5*v - 8*v + 5*f + 13 = 0. Solve -q + v*q + 15 = 0 for q.
-3
Let v(k) = -7*k - 1. Let g be v(1). Let p be ((-2)/g)/(-1)*-4. Solve 0*y - y + p = 0 for y.
1
Let t(c) = -c**2 + 7*c - 1. Let q be t(7). Let u be (-4 - q)*2/(-2). Suppose 14 = -3*s - 4*k, -2 = -2*s - k - u. Solve f + s*f = 3 for f.
1
Let g be (-18)/(-4)*8/(-4). Let t = g + 3. Let a(o) = o + 6. Let l be a(t). Solve l = z - 0 + 1 for z.
-1
Let v = 21 + -16. Solve -v*k - 21 = -1 for k.
-4
Let f(i) = i**2 - 7*i + 1. Let b be f(6). Let r(a) = a**3 + 5*a**2 - a. Let d be r(b). Solve d*n - 12 = n for n.
3
Let l be 2/(-11) + (-270)/(-33). Let w = 13 - l. Solve 0 = -w*g + 2*g + 12 for g.
4
Let v = -132 + 135. Let w = 3 - 1. Solve -t + w*t - v = 0 for t.
3
Let g be 14/77 + 40/22. Suppose -4*n + g = -2. Suppose -4*y = 3*w - 2*w - n, 3 = -3*y. Solve 0 = w*x - 4 + 19 for x.
-3
Suppose -2*f = f - 30. Let t be 116/f - (-4)/10. Solve 2*s - t = -4 for s.
4
Let k(f) = -f**3 + 10*f**2 - 7*f + 7. Let o(j) = j**3 - 10*j**2 + 8*j - 6. Let p(u) = -6*k(u) - 5*o(u). Let m be p(10). Solve -5*g + m = -g for g.
2
Let b(v) = -v**2 - 9*v + 14. Let i = 15 + -25. Let r be b(i). Suppose -2*u + 4 = -3*k, -r*u - 2 = k - 38. Solve 3*j - u = 4 for j.
4
Suppose g = -9 + 21. Solve 3*d + 0*d - g = 0 for d.
4
Suppose 4*q - 2*q - 14 = 0. Let w be ((-90)/105)/((-6)/28). Solve -w*j = -9 - q for j.
4
Let h be 8 - (-12)/(8/(-2)). Solve 0*o = -o - h for o.
-5
Let x(w) = -w**3 - w**2 + 1. Let m be x(1). Let q be 6/(-3) - 2/m. Suppose -3*c - c + 32 = 0. Solve q = -4*v + 20 - c for v.
3
Suppose 2*x - h - 8 = 0, -4*h + h = 12. Let y = -6 + x. Let z be (6/4)/(y/(-8)). Solve -q + 8 = -z*q for q.
-4
Let o be ((-5)/3)/(2/12). Let d = -10 - o. Solve d*s = -s + 4 for s.
4
Let u(l) = 3*l**3 - 4*l**3 - 11*l**2 - 52 + 43 + 11*l. Let v be u(-12). Solve -20 = v*z - 8*z for z.
4
Let i = 11 + -8. Suppose 35 = 5*j + 5*g, -3*j + 0*g = -i*g + 3. Solve 2*b = -j*b + 5 for b.
1
Suppose 8 + 0 = u. Let s be (-2 - (0 + 0)) + 5. Suppose 3*v - 6 - s = 0. Solve -v*t - t = u for t.
-2
Let m be (-11 - -3)*(-2)/(-4). Let t be 8/12*(-30)/m. Solve 0*y - 20 = t*y for y.
-4
Suppose 0 = 4*t - 32. Solve -t = -0*w + 2*w for w.
-4
Let i(j) = -4*j**2 + j - 1. Let t be i(1). Let q be (4 + -2)*(-1)/1. Let n be 1 + q + (-1 - t). Solve -9 = -n*h - 3 for h.
3
Suppose u - 13 = -1. Suppose 3*f + 3 = u. Suppose -4*z + 8 + 2 = 2*q, q - 4*z + 1 = 0. Solve -f*o = -4*o - q for o.
-3
Let b(d) = -2*d + 1. Let t be b(-1). Suppose -2*i - 10 = -7*i, -2 = t*s - i. Suppose 0 = -5*r + 8 + 2. Solve s*l - r*l + 4 = 0 for l.
2
Let u(n) = -n**3 + 6*n**2 + 7*n + 1. Let m be u(7). Let z be (m - (-1 - 1))/1. Solve -t + z = 2*t for t.
1
Suppose 5*q = -4 + 74. Suppose 10 = m + 4*w - q, 2*m = w + 3. Suppose -4 = -m*s - 4*p, -2*s + p = -24 + 7. Solve -5*n + s = -3*n for n.
3
Suppose 4*f + 5*i + 13 = 2*f, 4*f + 11 = -5*i. Suppose -2*l - 15 = -t, 3*t + 17 = -5*l - 4. Let n(y) = -2*y - 9. Let c be n(l). Solve -c = -w + f for w.
4
Suppose 5*z = -3*r + 74, r - 2*z - z - 6 = 0. Suppose -r*b + 13*b = -25. Solve -l + b = 6 for l.
-1
Suppose 3*g - 3*d + 2 = -1, -d + 13 = 3*g. Let k(s) = -s**3 + 6*s**2 - 6*s + 1. Let m be k(5). Let v be (-7)/(-2) + (-2)/m. Solve -g*j + v*j = 5 for j.
5
Let m(w) = -w**2 - 9*w - 10. Let i be m(-3). Solve s + 3*s = i for s.
2
Let b = 67 - 67. Solve -a + 1 + 4 = b for a.
5
Suppose -w + 5*a = -12, 5*w - 10*w + 4 = 3*a. Suppose -7 - 5 = -4*z. Solve z + w = -u for u.
-5
Let z(c) = c**2 + c + 1. Let h be z(0). Suppose -2*q = 2, 0*n - q - h = -3*n. Solve n = 2*t - 0*t + 2 for t.
-1
Let d = 3 + -1. Suppose d*b - 10 + 0 = 0. Let m(f) = f**3 + 5*f**2 + 4*f + 4. Let h be m(-4). Solve -b*j = -h*j for j.
0
Let m be 261/15 + (-2)/5. Suppose -h + m = 4*x - 2, -3*x = -2*h + 5. Solve 5 = -h*v + 2*v for v.
-1
Let y be (5/(-15))/(2/(-90)). Let b = 16 - y. Solve b = -w - 1 for w.
-2
Let s be 2/3 + 4/(-6). Let n = s + 3. Solve 1 = n*q - 2*q for q.
1
Suppose 0 = -3*l - 2*l - 4*w, l = -w. Solve 2*s - 5 - 5 = l for s.
5
Suppose 0 = -11*w - 0 + 33. Solve -w*v + 2*v = 2 for v.
-2
Let d(n) = n**2 + 3. Let u be d(2). Solve -u*w = -3*w for w.
0
Suppose 0 = -2*t + 