. Let p(i) be the third derivative of v(i). Let x be p(8). Solve -x*z = -z for z.
0
Suppose 0 = -5*t - i + 10, 0 = -t + 5*i + 20 + 8. Solve 6 + 3 = t*w for w.
3
Let a(t) = t**2 + 4*t + 1. Suppose 3*p + 0*l - 28 = 2*l, -3*p - l = -13. Suppose -2*z - i - 7 = 0, -5*z = 4*i + p + 4. Let y be a(z). Solve -5*f + y = -2 for f.
3
Suppose -13*x + 32*x - 114 = 0. Solve 2*d + 3*d = x*d for d.
0
Let j be ((-630)/175)/((-7)/5 - -1). Solve 5*d - j = 11 for d.
4
Suppose -3 + 23 = 4*o - 3*q, 2*o - 8 = q. Solve -4*r + o = -10 for r.
3
Suppose i = 4*y - 17, i + 3 = 2*y - 4. Suppose i*n + 5 = 2*x - 3, -5*n - 20 = -4*x. Solve 5*q = -0 + x for q.
2
Let f = 28 + -21. Let n be (4/(-14))/(50/(-7) + f). Solve -3*p = n*p - 10 for p.
2
Let o be (3 - 0) + -1 - -1. Suppose o*a - 10 = -1. Suppose -3*n + 31 = 5*t, 3*t - 20 = -t - 4*n. Solve a*k - t = -k for k.
2
Suppose -24*d + 7*d = -51. Solve i - d = -3 for i.
0
Suppose 5*c + 4*t = 3*t + 35, -3*c = 3*t - 33. Suppose -g - 3 = -c. Let w be g - 1/(3/(-3)). Solve -3 = w*o - o for o.
-1
Let s(t) = -t**3 - 2*t**2 - t - 2. Let f be s(-2). Let m be (f - -2)/((-22)/(-55)). Suppose m*l = 5*b, b - 3*l = -2 - 6. Solve -b*u = -u - 6 for u.
2
Suppose 0 = 3*k - 9, -i - 3*k - 3 = 2*i. Let a(y) = 17 - 22 + 2*y - 2*y**2 + 3*y**2. Let g be a(i). Solve g*f + f = 20 for f.
5
Suppose -78*w + 109 + 515 = 0. Solve -5*a + w = 18 for a.
-2
Let o(r) = -r**3 + 15*r**2 - 8. Let m be o(15). Let d be (4/m)/((-3)/(-6))*-5. Solve -d*u - 16 = 4 for u.
-4
Let o(n) = n**3 - 20*n**2 + 21*n - 23. Suppose b - 5*b + 76 = 0. Let d be o(b). Let r be ((-4)/(-5))/((-2)/(-10)). Solve -r*x - d = -3 for x.
-3
Let u(x) = -x**2 + 4*x - 3. Let h(i) = i - 1. Let l(b) = -4*h(b) + u(b). Let j be l(-3). Let p be (-5)/(-40) + (-15)/j. Solve -p = -3*w + w for w.
1
Let b be (-3)/4 + (13 - 203/28). Solve m + 2 = b for m.
3
Let w be (-4)/(-24) - (-2)/(-12). Solve 4 = -4*j - w for j.
-1
Let s be (2 - 5) + 3 - -4. Solve 0 = s*a + a - 15 for a.
3
Suppose 5*w = -0*z - z - 62, 0 = 3*w - z + 34. Let u be ((-12)/(-24))/((-2)/w). Solve 0*g + u*g = 0 for g.
0
Let z be -3 + 1/(3/27). Suppose -s = 5*m + 3*s + z, -s + 2 = 3*m. Solve m*g = 3*g - 3 for g.
3
Let n(l) = l + 10. Let h(b) = 2*b - 6. Let o be h(0). Let c be n(o). Let k be c + 0 + -6 + 5. Solve 0 = 2*x - 13 + k for x.
5
Let y(c) = -3*c**2 - 41*c - 20. Let f be y(-13). Solve f = n + 3 for n.
3
Let y = -1873 + 1878. Solve 0*q = y*q + 10 for q.
-2
Let i be -8*((-3)/(-15))/((-40)/125). Solve -4*y - i*y = -2*y for y.
0
Let l = -7 - -2. Let d be 3/l - 143/(-55). Solve d*p - p = 5 for p.
5
Suppose 0*m + 3*t + 72 = 3*m, 5*t = 2*m - 60. Solve 3*n + m = 5 for n.
-5
Let f = -42 - -30. Let y be ((-16)/(-5))/(f/(-30)). Solve 2*m = -2*m - y for m.
-2
Suppose -4*d = -d - 15. Let n be (-1)/(-3)*d*3. Suppose -6*u + 31 = -17. Solve -n*m + u - 33 = 0 for m.
-5
Let h = 17 - 16. Let w = h + -1. Suppose -f - 2*f = w. Solve f = -2*o + 2 + 6 for o.
4
Let j be ((-96)/(-12))/((-4)/26 - 0). Let p = 55 + j. Solve -p*n + 4*n - 1 = 0 for n.
1
Suppose -4*t + 229 = 3*k, 3*t + 67 = 4*t + 4*k. Let z(b) = b**3 + 12*b**2 + b + 42. Let g be z(-12). Let q = t - g. Solve 4*f + f = q for f.
5
Let t(i) be the second derivative of -i**5/20 + i**4/6 + 11*i**3/6 - 4*i**2 + 28*i. Let j be t(4). Solve -j*v + 12 = -v for v.
4
Let w(f) = 2*f**3 - 4*f**2 - 4. Let x be w(3). Let d be (-20)/7*x/(-2). Suppose 16 = -4*n - 2*v + 6, -3*n - 3*v - 15 = 0. Solve -4*c + 0*c - d = n for c.
-5
Suppose 3*g + 4*r - 1 = 3*r, 0 = -3*g + r + 11. Suppose -g*l - 5 = -7. Let o be (-2)/(-4) + (-3)/(-2). Solve u = o*u + l for u.
-1
Let f be 14*(6 - 77/14). Solve f*m = 8*m + 3 for m.
-3
Let c = -235 - -240. Solve c = 11*t - 6*t for t.
1
Suppose -2*x - 6 = -5*x. Let h(m) = 3*m**3 + 2 + 3*m**x - 3*m**2 - 1. Let o be h(1). Solve 2*s + o = 4*s for s.
2
Let p(i) = 6*i + 88. Let x be p(-14). Solve 0 = -x*n - 4 for n.
-1
Let l(i) = 20*i - 6. Let a be l(1). Solve 10*u - a*u = 0 for u.
0
Let y(u) = -4*u**2 - 11*u + 6. Let q be y(-3). Solve 7*v = -q*v + 4*v for v.
0
Let a(z) = 24*z + 1. Let n be a(1). Let w = -486 + 490. Solve -w*b + n = b for b.
5
Let w(x) = -2*x**3 - 1 + x**2 + 7*x**3 + x**2. Let d = 13 - 12. Let r be w(d). Solve 0 = 3*h - r*h - 12 for h.
-4
Let v(s) = s + 9. Let f be v(-6). Suppose 6 = f*t - 6. Solve 2*q + t = -0 for q.
-2
Suppose 4*x - 11 + 143 = 0. Let c = x - -38. Solve -c*o = 16 - 41 for o.
5
Let w(n) = -n**2 - 12*n - 10. Let z be w(-6). Solve 0 = 21*m - z*m - 15 for m.
-3
Let f = -31 + 34. Suppose f*r - 2*x = 23 - 2, 0 = 3*r - 3*x - 24. Suppose -8 - 2 = 5*v + r*y, y + 14 = 5*v. Solve 0 = -v*j + 4 - 2 for j.
1
Let z(w) = w**2 - w + 1. Let g be z(1). Let q be (g + 11)/4 - -3. Suppose 4*u + 8 = q*u. Solve -t - u = -5 for t.
1
Let r(y) = -55*y + 84. Let p be r(1). Solve -11*a + 36 = -p*a for a.
-2
Let t = -28 + 28. Suppose 3*j = 2*z + 17, t*z + z + 2*j = -26. Let h be (27/12)/((-3)/z). Solve 3*o + o = -h for o.
-3
Suppose 6*n - 36 = 36. Solve -3 - n = -5*h for h.
3
Let l be (-16)/(-10) - (-74)/185. Solve l = o + o for o.
1
Suppose -2*b - y - 4*y = -65, -3*b + y = -55. Let j be -5 - (-24)/4 - -3. Solve -4*g - j = -b for g.
4
Let m be ((-3)/(-2))/(-3)*(-10 + 6). Solve -m*k + k = -4 for k.
4
Let d be (-2 + 4)/((-6)/12). Let n(r) = -r**3 - 6*r**2 - 7*r + 8. Let v be n(d). Solve 4 = -v*j - 0 for j.
-1
Let s be ((-66)/(-110))/((-1)/35). Let t = 23 + s. Solve 2*f - 4 = t for f.
3
Let f = -5 - -9. Suppose -f*g + 6*g = 8. Solve a + g = 5*a for a.
1
Let w(b) be the third derivative of b**4/6 + b**3/6 - b**2. Let v be w(1). Suppose -4*q + 37 = 5*o, 0*q = v*q + 3*o - 43. Solve k = -k + q for k.
4
Let h = -1891 + 1914. Solve -16*x = -h*x + 28 for x.
4
Suppose 2*x + 2*v - 1 = 11, 3*v + 38 = 5*x. Let h(n) = 2*n**2 - 17*n + 22. Let w be h(x). Solve 2*d = -w + 11 for d.
5
Let x = -67 + 55. Let b be (x/5)/(((-4)/10)/1). Solve -b*g = -3*g - 3 for g.
1
Suppose 5*t + 25 = 0, 2*f - t + 0*t - 5 = 0. Suppose 4*m + 2*w - 28 = f, -w + 20 = 4*m - 3*w. Solve m = 3*q - 3 for q.
3
Suppose 3*j + 85 = -7*m + 2*m, 4*j - 100 = 4*m. Let r be 50/m*-1*2. Solve -5 = r*a - 20 for a.
3
Let b = 122 - 120. Solve 0*g - g = -b for g.
2
Let y be ((-1)/1)/((0 + -5)/455). Suppose s - 95 + y = 0. Solve -j + 2 = s for j.
-2
Let n = 69 - 67. Let p be 48 + -47 - (n/2 - 2). Solve l - p = -0*l for l.
2
Let f(l) = 0*l - l - 4*l**2 - l + 8*l**2 - 2*l**3. Let u be f(2). Let i(k) = -k**2 - 3*k + 4. Let m be i(u). Solve r + 2 + 0 = m for r.
-2
Let d = -132 + 125. Let g be 1 + (-4 - 30/d)*14. Solve -6*b + g = -5*b for b.
5
Let a(k) = 10*k - 20. Let y be a(2). Solve 6*z - 30 = -y*z for z.
5
Let h(c) be the first derivative of -c**4/4 - 4*c**3/3 + 7*c**2 + 14*c + 44. Let x be h(-6). Solve r - 3 = x for r.
5
Suppose k = 5*w + 20, -w = 3*k + w - 26. Suppose -10 + k = 4*t. Solve t*h - 10 = 2*h for h.
-5
Suppose 71 = -2*c - 4*j - j, 4*j - 4 = 0. Let l = -34 - c. Solve z = -l*z + 10 for z.
2
Let b(q) be the second derivative of q**4/12 - q**3/3 - q**2/2 - 2*q. Let f be b(3). Suppose 10*x + 10 - 40 = 0. Solve f*o + x = 5 for o.
1
Let o(s) = s + 4 - s - 3*s + 0. Let d be o(-7). Suppose 0 = 4*v + 5*y - d, y + 8 = 4*v - 35. Solve -4*u - v + 2 = 0 for u.
-2
Let s(g) = -g**2 - 3*g - 2. Let r be s(-2). Suppose -3*f - 5*y - 14 = -65, 2*f - 15 = 3*y. Let j(b) = -3*b + 12. Let x be j(3). Solve r = i + x*i + f for i.
-3
Let z(o) be the third derivative of -o**5/60 - 5*o**4/24 + o**3/2 - 9*o**2. Let b be z(-5). Let j be 14/(-21) - (-2)/b. Solve j = -2*h - h for h.
0
Let g be 407/9 - 4/18. Let f = g - 45. Solve 2*q - 3*q = f for q.
0
Let p = 28 - 10. Suppose 0 = l + 5*l - p. Solve 0*n - n + l = 0 for n.
3
Suppose 5*t + 16 = 9*t. Suppose z - t*l - 12 = -2*l, 0 = -z - 3*l - 8. Solve 1 = z*w - 3 for w.
1
Let i be ((-4)/6)/((-4)/18). Let o(z) = z + 14. Let m be o(-6). Let g = -6 + m. Solve i*q = -g*q - 5 for q.
-1
Let f(i) = i**2 + 2*i - 2. Let j be f(4). Suppose -s - s + j = 0. Suppose 4*t + 3*v - 5 = -2*v, -5*v + 5 = 2*t. Solve t = -4*h + s - 3 for h.
2
Let i = 60 + -56. Solve i*d = d - 15 for d.
-5
Suppose -61*f + 59*f = -14. Suppose 3*i - f*i = i. Solve 0*v - 5*v - 15 = i for v.
-3
Suppose -20 = -5*h + 2*v, -7*h - 31 = -10*h + 5*v. Suppose c + 37 = 4*i, -4*c + 31 = h*i - 7*c. Solve i = -5*b + b for b.
-2
Let b = 0 - 0. Let g(f) = -f**2 + 4*f + 7. Let c be g(5). Sup