rivative of d**5/30 + d**4/6 - d**3/6 + d**2. Let x be l(-3). Let p(b) = 4*b**2 - 49*b + 18. Let y be p(12). Solve 2*h + y = x*h for h.
2
Suppose 3 = -4*f + 11, -3*p + 13 = -f. Let u = p + -1. Solve u*y = 2*y for y.
0
Suppose -3*v + 23 = 2. Let k(b) = b - 9. Let i be k(7). Let p(d) = -d**2 - 4*d - 3. Let f be p(i). Solve -v = -2*u + f for u.
4
Suppose -5 = -z - 1. Solve 0 = -u - 0*u - z for u.
-4
Let b be (-1 + -11)*(-2)/6. Suppose d - 5*o = 20, b*d - o = d + 4. Solve x + d = 2 for x.
2
Let y be (5/(-15))/((-1)/21). Let s = 61 - 42. Solve 3*o + s = y for o.
-4
Suppose 0 = c + 3*y - 9 - 5, -3*c + 4*y + 3 = 0. Suppose -4*s - 5*a - 20 = 0, 5*s = 2*s - c*a - 15. Let i be 2/s*(-105)/7. Solve i*n - 5 = n for n.
1
Let f(j) = -j + 9. Let d(z) = 8. Suppose 0*v = -4*v - 4*i - 12, v + 3*i + 3 = 0. Let c(r) = v*d(r) + 2*f(r). Let l be c(-5). Solve 4*s = 8 + l for s.
3
Suppose -16 = -r - 2*x, x - 45 = -5*r - 2*x. Let d = r + 12. Let f = -13 + d. Solve -f*y - 15 = -0*y for y.
-3
Suppose 0 = -c - 2*b - 2, -2*b + 0 = 4*c + 2. Let p(q) = -q**2 - q + 6. Let g be p(c). Solve -6 = g*d - 3*d for d.
-2
Suppose 0 = 3*f - 0*f - 6. Let n = 63 - 63. Solve f*q + 10 = -n*q for q.
-5
Let b = 44 - 18. Suppose 4*t - b = -3*n, 0 = 3*t - 16 + 1. Solve 0*q = q + n for q.
-2
Let r be (1 + 0)/((-1)/(-6)). Suppose 6 + r = t. Suppose 6 = 2*d + h, t = 3*d - 4*h + 3. Solve -l + d = -2*l for l.
-3
Suppose -4*v + 3*v = -12. Suppose 0 = 3*y + 3*m - v, 0*y + y - 12 = -5*m. Solve -4*b + y*b = -2 for b.
1
Let t(s) = -2*s - 3. Let w(c) = -3*c - 3. Let r(o) = 4*t(o) - 3*w(o). Let k be r(7). Solve 6 - k = x for x.
2
Suppose -p = -g + 2, 5*p + 2 = -2*g + 6. Suppose 5*v - 21 = m - 5, -m + 2*v - 1 = p. Let s be (30/m)/(2/15). Solve 0 = -2*q - 3*q + s for q.
5
Let l(r) = r**3 - 9*r**2 + r - 7. Let w(t) = t**2 - 4*t + 4. Let x be w(5). Let y be l(x). Solve y*j - 3 = -j for j.
1
Let q be (-12)/96 - (-89)/8. Solve -q + 1 = 2*z for z.
-5
Let b(j) = -j**2 - 5*j + 1. Let h be b(-5). Let g(l) = -3*l - 17. Let d be g(-5). Let q be d - (h - (0 - -6)). Solve m - q + 5 = 0 for m.
-2
Let j be ((-12)/(-14))/((-3)/(-21)). Solve j*i = i + 15 for i.
3
Suppose -22 = -3*m - 1. Suppose m*o = 3*o + 20. Solve o*z + 9 = 2*z for z.
-3
Let b be 1 + (-10)/(-2) - 5. Let i be 2/(-5)*(-20)/(-2). Let j be (i - -3)*b + 3. Solve 6*m - j*m - 8 = 0 for m.
2
Let f(n) = -10*n**3 + n + 1. Let m = 6 + -7. Let k be f(m). Let y = -8 + k. Solve 7*g - 5 = y*g for g.
1
Let g(h) = -h**3 + 2*h**2 + 2. Let i = -1 - -3. Let t be g(i). Suppose -3*v - 19 = -5*m, 5*m + 3*v - 7 = t*v. Solve -4*d + 14 = -m for d.
4
Suppose n - 14 = -n. Suppose 5*t - 5*b - 60 = 0, -4*t + 5*t - 2*b = 15. Solve n*k = 4*k + t for k.
3
Let k(h) be the first derivative of h**3/3 - 3*h**2 - 15*h + 3. Let w be k(9). Solve w = -q - 2*q for q.
-4
Let p = 22 - 7. Suppose p = 2*i + 3. Suppose 4*x - 1 = -o + i, -2*x - 4*o = 0. Solve h = -x*h - 9 for h.
-3
Let s = 11 + -13. Let w be (-1)/(-2) + (-3)/s. Solve -w*k + 3*k - 3 = 0 for k.
3
Let b be 1/(2 - 81/39). Let k = b + 22. Let g be 2/k + (-50)/(-18). Solve -4*n = -g*n for n.
0
Suppose 0 = 21*v - 15*v - 30. Solve 0 = l - v - 0 for l.
5
Let j be 30/(-7) - 4/(-14). Let r be 5 + -2 - (5 + j). Solve -2*w + 4 = -r for w.
3
Let c be 42/70 + (-6)/10. Solve 0 = -q - c*q for q.
0
Let t be (-7)/((-21)/(-6)) - -8. Let g = t + -3. Solve z - 2 = g for z.
5
Suppose 0 = 6*s - 34 + 10. Solve -b = s*b for b.
0
Let g(m) = -m**2 + 10*m - 17. Let p be g(7). Solve f - p - 1 = 0 for f.
5
Suppose -2*v - 97 = -4*a - 17, -3*a + 2*v + 62 = 0. Let t be (-14)/(-6) + (-6)/a. Solve 5 = -t*w - 5 for w.
-5
Suppose 4*h = -2*h. Solve h - 20 = -5*i for i.
4
Let u be ((-5)/(-4))/((-3)/(-12)). Suppose -2*s - 3*m = -0*m - 32, 3*m - 62 = -u*s. Solve -s = -k - k for k.
5
Suppose 0 = -3*c - 0*c - 2*l - 2, 0 = c + 3*l + 3. Suppose -4*a = -w + 12, -4*w + 0*w = 5*a + 15. Let o be 2 + (c - w)*-1. Solve 5 = -o*u + u for u.
-5
Let w(b) be the first derivative of b**4/4 - 4*b**3/3 + b**2 - 4*b - 2. Let p be w(4). Let m = -2 + p. Solve -3*u = -m*u - 5 for u.
5
Let b(o) = o**2 - o - 5. Let d be b(4). Let a be (-254)/(-8) - d/(-28). Let r be (-10)/50 - a/(-10). Solve r*i + 4 = i for i.
-2
Let d = -5 + 8. Solve 7*n = d*n - 12 for n.
-3
Let v = 6 + -6. Suppose v*m + 2 = m. Suppose 0 = -m*r - r + 3*q + 36, -38 = -4*r + 2*q. Solve -r*i - 20 = -3*i for i.
-5
Suppose 0 = -2*x + 7*x + d - 24, x + 3*d = 16. Suppose -20 = -x*k - k. Solve z - k = 2*z for z.
-4
Suppose 3 = -2*n + 9. Suppose 2*i - 3*i = -2. Suppose -4*u = 4*o, -n*o - u + 2 = -i. Solve o = -5*x + 17 for x.
3
Let d = -57 + 96. Let c be 5*d*1/15. Solve 5*m + c = -2 for m.
-3
Suppose -6 = -2*i - 2, -v = -4*i + 2. Solve v*w = w + 15 for w.
3
Suppose 6*w = -6 + 78. Solve -4*q - 28 = -w for q.
-4
Suppose -c + 92 = 3*c. Let a be 6/(-21) + c/7. Suppose n + 7 = 3*u, u + a*n = -3*u + 5. Solve -k = u*k for k.
0
Let u(n) = -n**3 + 10*n**2 - 9*n - 1. Let c be u(9). Let m be -1 + c + 1 + 1. Solve m = 4*q - 3*q + 1 for q.
-1
Let k = 28 - 25. Solve -k*s + 1 + 2 = 0 for s.
1
Suppose -3*m - 1 = -7. Suppose 15 = -2*u + 7*u. Solve -5 = -m*c + u for c.
4
Let k = -10 + 22. Solve -2*j = 2*j + k for j.
-3
Let k be (12/(-14))/(4/(-28)). Suppose -2*b + 3*d - 48 = 0, 22 = 4*d + k. Let f = b - -26. Solve -2*x + f + 0 = 0 for x.
4
Suppose 4*y - 31 = 4*f - 7, -5*y + 4*f + 26 = 0. Suppose -y*j + 4*j = 8. Solve 0 = j*l - 2*l for l.
0
Let y(s) = s**3 - 13*s**2 + 3*s - 36. Let u be y(13). Solve -3*o = u - 0 for o.
-1
Let w = 23 + -7. Let q = -14 + w. Solve -q*m = -4 - 2 for m.
3
Let j(p) = p**3 - 4*p + 3. Let o be j(2). Let l be -5*(-8)/20 - 2. Suppose l = o*u - 8*u. Solve u = 2*q - 5*q + 12 for q.
4
Suppose 0*h + 5*z - 8 = -2*h, -4*z = 2*h - 8. Solve h*k - 5*k = -1 for k.
1
Suppose -2*t - 2*x = -12, 3*t + 4*x - 24 = -5. Solve -6*j + t = -j for j.
1
Suppose -10 = -4*h - 30, 2*h + 10 = -2*k. Solve y = -k - 2 for y.
-2
Suppose -3*y + 3 = -4*y. Let b be 1 - y/((-6)/(-16)). Solve b = 5*s - 2*s for s.
3
Suppose 2*j = -3*j - 110. Let u be (3/2)/((-11)/j). Solve u*s - 16 = -s for s.
4
Suppose 2*c - 4*v + 2 = 0, 0*v - 1 = -5*c + 4*v. Solve j - c = -4 for j.
-3
Suppose 5*q = 4*o - 60, -o + 5*o - q = 44. Suppose 2*p = -0 + o. Solve p*i + 17 = -3 for i.
-4
Suppose 5*t = 15, 0*j = -4*j + 4*t - 4. Suppose 3*z - 6 = j*z. Suppose -4*o = -5*m - 27, -4*o + 2*m - m = -15. Solve -o*p - z = -p for p.
-3
Let o be (16/(-10))/(2/(-10)). Suppose -9*z + 12 = -5*z. Solve v - z*v = -o for v.
4
Let z = 22 + -22. Suppose 3*d - 10 = -2*d. Solve -d*c - 2*c = z for c.
0
Suppose -k + b = 4*b - 6, -5*k + 50 = 5*b. Suppose -q + k = 2*q. Solve -5*r + q = -r for r.
1
Let w be ((-1)/2*1)/(7/(-70)). Let d(v) = v**3 - v**2 - 2*v. Let r be d(2). Solve -w*l + l = r for l.
0
Let u(i) = 2*i + 6. Let v be u(7). Solve 0 = 2*h + 2*h + v for h.
-5
Let i be (0 - -7)*6/(-7). Let o be 4*i/(-8) - -1. Solve 0 = -5*s + o*s - 4 for s.
-4
Let l(c) = -c**2 + 6*c - 4. Let y be l(3). Let z(x) = -x**2 + 5*x + 3. Let p be z(y). Solve -p*r + r = 0 for r.
0
Let f be 6 - 3/((-3)/(-1)). Suppose -2*x = -f - 25. Suppose x = 5*n - 0*l - 5*l, -n - 2*l + 3 = 0. Solve -u = n*u + 16 for u.
-4
Suppose -3*i = -7*i + 8. Solve i*c + 6 + 2 = 0 for c.
-4
Let q be (-4)/(2 + -2 - 1). Suppose 5*o = -3*a - 10, 0*o - o = -5*a + 2. Suppose -4*j + g + 4 = a, -3*j + 5*g - 12 = j. Solve -q = -j*z - 0 for z.
2
Let p = -30 - -34. Let q be 16/9 - 2/(-9). Let y be q/3 + 22/3. Solve -3*s - p = y for s.
-4
Suppose -2*s + s = 0. Suppose -4*t = x + 4*x - 33, s = -4*x + 4*t + 12. Solve -x*u - 8 = 12 for u.
-4
Suppose 12*z - 4*z - 9*z = 0. Solve z*j - 3*j = 9 for j.
-3
Let y = 23 - 23. Solve y = -3*s - 0*s - 15 for s.
-5
Let f(n) = -n**2 - 9*n - 8. Let i be f(-8). Let y(m) = -m**2 - 5*m - 2. Let h be y(-4). Solve -b + i*b - h = 0 for b.
-2
Let r be (-2)/1 - (-5 - 0). Suppose -2*a - 3 = -r*a. Let z be (4/30*-3)/((-4)/160). Solve z = s + a*s for s.
4
Let u(f) be the second derivative of f**4/12 + f**3/6 - f. Let a be u(-3). Solve -c - c = a for c.
-3
Let n(h) = -h + 22. Let a be n(14). Solve 1 = -3*x - a for x.
-3
Let p be (8/5)/(2/5). Let c be p/(-6)*(-18)/4. Suppose 0 = -4*d + 39 + 25. Solve -c*h + 4 = d for h.
-4
Let d = 56 + -54. Solve 6 - d = 2*k for k.
2
Suppose x - 5*h - 15 + 1 = 0, 0 = h + 2. Solve x*f = -f for f.
0
Let x(b) be the third 