/60 + z**4/8 - 5*z**3/6 - z**2. Let x be t(-5). Solve 2*l + 26 = x*o, 4*o - 3*l - 22 = -l for o.
4
Let r(h) = 5*h**2 + 3*h + 1. Let q be r(-2). Solve 4*v = -0*v - 5*s - q, 0 = -3*v + 4*s - 19 for v.
-5
Let k(w) be the third derivative of 0*w - 1/12*w**4 + 1/60*w**5 + 0 - w**2 - 1/3*w**3. Let y be k(3). Solve -q = -y + 2, -4*u + 2*q = -22 for u.
5
Let b be ((-1 - -2) + -4)*-1. Solve b*d + 20 = -0*x - x, x = -5*d - 30 for d.
-5
Let l(w) = -w**3 + 9*w**2 - 7*w - 3. Suppose 4*x = 3*x + 8. Let y be l(x). Solve d = g, 0*g + 5*d = -y*g - 50 for g.
-5
Suppose 0 = -2*d + h + 14, 2*d = -h - 0*h + 6. Solve 5*f = -7*x + 3*x + 4, 5*f + d*x = 0 for f.
4
Let k = -3 - -24. Let o(y) be the first derivative of y**3/3 + 5*y**2/2 - 2. Let w be o(-5). Solve 26 = 2*q - 5*u, w = 3*q - 4*u + u - k for q.
3
Let t = 3 + -2. Let a be (-1 + 4)*(-45)/(-15). Let c = a - t. Solve 4*p = -q + 4, 0 = 4*p - c - 0 for q.
-4
Suppose 4*t - 10 = 5*z, -2*t + 25 = -7*t. Let y(r) = r + 8. Let j be y(z). Let h = j + -2. Solve u + 3*k - 17 = h, k + 0 = 4 for u.
5
Let n = -91 + 94. Solve n*h + 37 = 5*z, z - 7 = 2*z + 3*h for z.
5
Suppose 5*n - 3 = 4*n. Let u(c) = -9 + 14*c + 1 - n - c**2. Let m be u(13). Solve 4*s + 7 = -g - 0*g, 2*g = -m*s - 2 for s.
-2
Let r = 18 - 14. Let i = 6 + -3. Suppose -4*c = -h + 25, -i*c + r + 1 = 4*h. Solve 5*t + 5*j + 10 - 40 = 0, -3*j - 14 = -h*t for t.
4
Let w(y) be the first derivative of -y**3/3 + 9*y**2/2 + 5*y - 1. Let m be w(9). Solve 3*k + 10 = m*i, 5 - 20 = -4*i + k for i.
5
Suppose -4 = -3*l + l. Let n = -5 + 9. Let y = -1 + n. Solve -c + 18 = 4*x + c, l*x + y*c = 19 for x.
2
Let b = -11 - -14. Let o(u) = u**2 - 4. Let j be o(b). Solve -j*v + n + 8 = 0, 4*n = -0*v + 3*v + 2 for v.
2
Let q be (-1)/((0 + -2)/10). Suppose 0*c = -q*c + 25. Solve c*n - 2*x = -27 + 10, n - x = -4 for n.
-3
Let a(u) = 3*u - 6. Let s be a(3). Solve i - s*i + 2 = n, 0 = -5*n - 2*i + 18 for n.
4
Suppose 7*d = 9 + 5. Solve 0 = -3*m - c + 11, -2*m + 11 + 3 = d*c for m.
2
Suppose 0*z + 5*o - 20 = z, 3*z - 30 = -3*o. Solve -z*a + 4*x = 2*x - 6, x + 3 = 5*a for a.
0
Let j = -7 - -9. Solve 5*t - 23 = -j*a, -3*t + 11 = 2*a + 2*a for t.
5
Let i(z) = -2*z + 10. Let y be i(5). Solve -3*b + y*q = -3*q + 15, -5*b = 5*q - 5 for b.
-2
Let p be 0/(2/(-4)*-2). Let b(q) = 11*q + 15. Let a(d) = -5*d - 7. Let z(n) = -13*a(n) - 6*b(n). Let x be z(p). Solve 2*h = 4, -5*g - 10 = 2*h + x for g.
-3
Let a = -9 - -12. Solve -a*z = 4*p - 18, -5 = -4*z + 3 for p.
3
Suppose -12 + 0 = -3*a. Suppose 19 = 5*m + z, 3 = a*m - 2*m + 5*z. Let c = 1 + -1. Solve -m*h - 25 = 3*j, -5*h + j + j - 14 = c for h.
-4
Suppose 2*f - 18 = -2. Suppose -2*z + z - 2*k = -f, -3*z + 8 = -2*k. Solve 0 = -4*u + z*p + 28, -4*p + 3*p = -4*u + 16 for u.
3
Suppose 4 = -2*k + 8. Suppose -w = -2*w + 4. Solve 0 = k*d - 4*u + 6, 2*d = -u - 2 - w for d.
-3
Suppose s - 4*w - 4 = 0, 6*s = s - w + 20. Suppose v - s*v = -12. Solve -v*c + 3 + 7 = -i, 3*c + 1 = 5*i for i.
2
Let h(b) = -2*b**3 - 3*b**2 + b + 2. Let r be h(-2). Solve 8 = -3*o - 2*w, 9 + 7 = -4*o - r*w for o.
0
Let b = 34 + -32. Let m be (-1 + 11)*(-1)/(-2). Solve 3*f = m*c - 2, -b*f - 4*c - 13 - 3 = 0 for f.
-4
Suppose 21 = 6*k - 15. Solve -a + 1 = s, 5*s + 2*a = k*a - 13 for s.
-1
Suppose 6 = -5*m + 8*m. Let u = 4 - m. Solve -3*d + h - 4*h + 18 = 0, -11 = -d - u*h for d.
1
Let u be (1 - 0)*-1*-2. Let q be 1/(-5) + 372/60. Solve -4*m - q = -4*k + m, 0 = -m - u for k.
-1
Let q = 31 - 55. Let j be (11/(-33))/(2/q). Solve j*i + 3*o - 26 = -11, -3*o = 2*i - 15 for i.
0
Let f = 0 - -4. Suppose h - 4 = 0, -2*n + 7*n = -h - 16. Let s = f + n. Solve -4*c + 3*a - 4 = s, c - 4*a + 12 = -c for c.
2
Let q(b) = b - 2. Let z be q(2). Let i = 169 - 166. Solve -i*m + 14 = 5*x, -x + z*x - 2 = -m for m.
3
Let h(l) = 9 + 5*l - 7*l + 3*l. Let j be h(-5). Solve 0 = -f + 3*v - 8, -j*v + 0 + 13 = f for f.
1
Let b(a) = a**3 + 7*a**2 - 8*a + 4. Let m be b(-8). Suppose 8 = -3*h - m*y + 27, -16 = -3*h - y. Solve 2*j = 5*s + 15, 4*j - h = 2*s + 1 for s.
-3
Let m = -25 - -25. Solve -2*o = 3*y - 17, 3*o - 18 = -m*y - 2*y for y.
3
Let m(n) = 2*n**2 + 16*n - 3. Let x be m(-9). Solve 0 = 4*v - 8, 0*v - x = -5*z + 5*v for z.
5
Suppose 5*y + 4*a - 15 = 0, y + 3*a = 6*y - 15. Solve 0 = y*j - 0*s - 3*s - 18, 0 = j + 3*s + 2 for j.
4
Let r be 9/(-6)*-2 - 5. Let v be r/6*(6 - -3). Let q = v - -7. Solve 2*x - 5*s + 9 = 0, 0*x = q*x + 5*s + 3 for x.
-2
Let o(f) = f + 13. Let m be o(-9). Solve -21 = -w - r - 4*r, 0 = -5*w - m*r + 21 for w.
1
Let t be (-1)/(-2)*22 - -2. Let n = -6 + t. Solve 0 = m - 2*x + n, 3*m + 2*m = 2*x - 3 for m.
1
Let c = -24 - -18. Let q = -3 - c. Solve 5*t - 3*v = t + 4, 5*t + q*v - 32 = 0 for t.
4
Suppose -2*v - v - 3 = 0. Let h(w) = -2*w**3 - w**2 - 2*w - 1. Let k be h(v). Let b be (1/3)/((-3)/(-18)). Solve 0 = 4*o - x - b, 4 = 4*o + o - k*x for o.
0
Suppose 2*s = -2*s + 8. Let v(n) = -23 + 5*n + 27 - n - n**s. Let w be v(4). Solve -5*t + 6 = 4*o, 0*t + 8 = -w*t for o.
4
Suppose 0 = -o + 3*o - 2*d - 70, 0 = 4*o - 5*d - 141. Suppose 2*h - 4*h = -o. Suppose -h + 8 = -3*i. Solve 4*v = -2*x - 0*v, -x - i*v + 2 = 0 for x.
-4
Suppose -17 = -5*j + 3. Solve 3 = 4*b - p + 18, 0 = j*b + 5*p + 45 for b.
-5
Let r be 7/(-3) - 6/9. Let c = r - -3. Solve c*t - 3*t = 0, -5*y - 5*t + 10 = 0 for y.
2
Let a = 6 - 1. Let k be 0/(4 + -1 - a). Solve -4*f + 13 = -z - k*f, 0 = -5*f + 20 for z.
3
Let w(c) = c**3 + 6*c**2 - 8*c. Let r be w(-7). Solve 0 = 3*l - b - 5, -r*l = -2*l + 3*b - 13 for l.
2
Let w = -1 + 7. Let p be ((-9)/5)/(3/(-15)). Suppose 0 = 2*z + b - p, -15 = -4*z - b - 0*b. Solve 0 = -z*a - 2*g - w + 13, 0 = -2*g + 4 for a.
1
Let k(i) = i**2 - 10*i + 5. Let z be k(7). Let r = z - -20. Solve -4*x - r*w + 9 = -11, 2*x - 2*w + 2 = 0 for x.
2
Let s be 2 - ((3 - 7) + 6). Solve 2*m + 5*a - 9 = s, -2*m + 1 + 1 = -2*a for m.
2
Let q = -121 - -122. Solve 3*o - 2*h - 1 = 0, -o + 5*h + q = 4*h for o.
-1
Suppose n - 3*n = 26. Let o(u) = u + 16. Let b be o(n). Solve 2*s + 7 = -b*t, -3*t - 10 = 2*t + 5*s for t.
-3
Let g be -9*5/((-15)/2). Suppose -g = 5*k - 56. Solve -4*f + 5*t = k, t - 2 = -f - 4*f for f.
0
Let d(u) = u - 2. Let s be d(5). Suppose -s*t + 5 = -13. Solve -5*v = -5*l, 24 = 5*v - t*v - 5*l for v.
-4
Suppose -2*p - 27 = d + 3*p, -5*d - 87 = p. Let q = d + 38. Let l be 4*(-1 - q/(-12)). Solve -3*o - 15 = -l*j, 4*o = -3*j + 2*o for j.
2
Suppose 12*b - 104 = -32. Solve b*g - 8*g - 6 = -m, -5*m + 16 = 4*g for m.
4
Let o be (2/6)/((-14)/(-126)). Solve o*s = -4*c - 24, 0*s + c - 5 = 2*s for s.
-4
Let k be 1/(-6) - (-6)/36. Suppose k = 5*f - 23 - 2. Suppose 2*d - 12 = -2*d + 4*v, d = 2*v + 4. Solve 0 = -f*u - 4*w + 27 - 1, -d*u - 2*w = -12 for u.
2
Let u = -3 - 0. Let h be -2 - u/9*-3. Let g be 2/(-4) + h/(-6). Solve k - 17 = 4*q, -2*k - 3*q - 8 - 2 = g for k.
1
Suppose -2*f + 5 + 5 = 0. Suppose -3*c = -k - 15, -c + k = c - 11. Suppose q = 3*n - 50, -2*q = -n + 10 - 0. Solve c*l + 2*i + n = 2, -2*i - 21 = f*l for l.
-5
Let j be 63/(-28)*12/(-9). Let r(c) = c**3 + 7*c**2 - 4*c + 8. Suppose -d - 3*d = 28. Let p be r(d). Solve -4*f + p = -4*m, -m - 19 = -j*f - 0*m for f.
5
Suppose x - 4*g - 23 = 0, -4*x = -6*x + 2*g + 22. Solve 3*j + 3 = -4*h - 7, j + 5*h + x = 0 for j.
-2
Suppose 0 = -f + 5*n + 7, -4*f = -2*n - 0*n - 10. Solve 3*y = -4*k + 16, f*k = -2*y + 4*y - 6 for y.
4
Let o = 17 - -8. Solve 5*u + o = a, -3*u + a = u + 20 for u.
-5
Let d be -1 + (140 - (2 - 3)). Let m be ((-2)/(-5))/(14/d). Solve 0 = -4*l, -m*u + 4*l = l - 16 for u.
4
Let o = 78 + -46. Suppose -3*x + l = -44, -3*x + x + 2*l = -o. Suppose -2*p = -46 + x. Solve 0 = -2*m + 3*f - 8*f + p, -f + 14 = 4*m for m.
3
Suppose 3*t + 3*b = -b + 24, 3*b = -t + 13. Solve t*f + 3*i = 19, -i = -f - 2*i + 5 for f.
4
Suppose 4*d - 4*c = 16, -1 = -2*c + 1. Let h be (-10)/(-25) + 23/5. Suppose d*o + 15 = 0, -43 - 41 = -h*i - 2*o. Solve 28 = -2*z + 4*x, z - 5*x + 11 = -i for z.
-4
Let c(h) = 2*h - 6. Let b be c(4). Suppose 15 = 5*m - 5*s, b*s = 2 + 4. Suppose f - 4*f = -m. Solve -2*q + f = 4*j + 6, j = q + 2 for j.
0
Let s be (-7)/(-1)*18/21. Let p = 11 - s. Solve 3*u = 2*u + 4*i + 19, -19 = -p*u + i for u.
3
Let g = 7 - 2. Let r(c) = c**3 + 3*c**2 + c - 1. Let j be r(-2). Let y(h) = -h**3 + 2*h**2 - 2*h + 1. Let a be y(j). Solve o + 3 = -3*l - a*l, g*o = 0 for