(t). Solve 0 = -3*h - 5*s - 10, 0 = 4*s + 1 - m for h.
-5
Let u(j) = j**2 - 5. Let v be u(4). Let x = v + 0. Suppose -4*q + 8 = 4*c - 4, c - x = -3*q. Solve -5*z - q*w - w = 5, z + 2*w + 4 = 0 for z.
2
Let r(o) = o**2 + 4. Let t be r(0). Solve 0 = -2*q + 2, -2*d - t*q + 0 = -4 for d.
0
Let g(q) = q**2 + 20*q - 82. Let w be g(-24). Let i = 44 - 30. Solve w + 12 = -3*s - 5*b, -5*s - b = i for s.
-2
Let r be 2 + (2 - 0/3). Suppose 2*m = -1 - 3, 4*a + r*m = 4. Suppose a*v = 4*q - 7, -q + 0 - 8 = -4*v. Solve 4*h - 2*c - 4 = -h, -v*c + 3 = -3*h for h.
2
Let s = -123 + 125. Solve -4*p + 12 = 4*t, -s*t + 20 = 2*t - 4*p for t.
4
Suppose 13 - 3 = 2*u - 2*f, -9 = -2*u + 3*f. Let y = -4 + u. Solve 3*d - y*i = d - 16, 4*d - i + 23 = 0 for d.
-5
Let p(j) = -2*j**3 - 3*j - 1. Let o be p(-2). Solve -22 = -4*d - 2*f, 4*d + f = o - 2 for d.
4
Suppose 2*i + 21 = k, i = 2*k - 4*k - 8. Let o = 7 + i. Let n = 5 + o. Solve n*y - 2*l = l - 11, 0 = 3*y - 5*l + 19 for y.
2
Let c be (-15)/(-9) - (-1)/3. Let q(t) be the second derivative of t**4/6 + t**3/3 + t**2/2 - 4*t. Let x be q(c). Solve -x = 4*s + 5*b, b + 8 = s - 0 for s.
3
Let a(f) be the third derivative of f**4/12 - 2*f**3/3 + 2*f**2. Let l be a(3). Solve -5*n = l*i - 10, -n + 3*i = -0 + 15 for n.
0
Suppose 3*m + 0*m = 0. Suppose 2*r - 1 = 3, m = x - r. Solve 3*z - 4 = -q, q + 2*z + 2 = -x*q for q.
-2
Let g be 4 - (6/3 + -1). Suppose 18 = 3*y + c + 2*c, 0 = -g*y + 5*c - 6. Solve -2*q - 10 = 5*r - 4*q, -y*r + 4*q - 6 = 0 for r.
-2
Let h(j) = -7*j**2 + 8*j + 1. Let c(p) = -8*p**2 + 9*p + 1. Let r(u) = 6*c(u) - 7*h(u). Let l be r(-1). Solve l*n + 3*m + 11 = -2*m, n + 2*m = -4 for n.
2
Let q = -16 - -30. Suppose -1 = -5*c + q. Solve -4*p = c*u - 8*u + 15, -4*p + 4*u - 12 = 0 for p.
0
Let u = -17 - -30. Let f be u/5 + 9/(-15). Solve 3*j + f*n + 0*n - 15 = 0, 0 = 5*j + n - 25 for j.
5
Let w be (0 - 1/3)*-12. Suppose 3*d - d = w. Solve 2*r - 19 = -d*u - 3*r, 0 = -5*u + 4*r - 2 for u.
2
Let q be 119/21 + -5 - (-8)/6. Solve 5*g - 25 = 0, 0*d - q*d - 2*g = -6 for d.
-2
Suppose -3*j + j + 12 = 0. Let o be 2/(-6) + (-4)/j. Let r be ((-4)/8)/(o/4). Solve -l - y - 4 = r, -5*l = -3*y - 2 for l.
-2
Let z be ((-28)/42)/((-1)/(-18)). Let d(f) = f + 17. Let l be d(z). Let x = -7 + 11. Solve x*h = -4*v - l + 25, v - 13 = -3*h for h.
4
Suppose -8 = -3*g + 13. Suppose 0 = -3*r - 1 + g. Solve -r*u = t - 16 + 5, -32 = -4*t - 5*u for t.
3
Let m = -45 + 50. Solve 4*j = -5*v + 20 + 1, 0 = m*v - 3*j - 28 for v.
5
Let m(l) = l**3 - l + 1. Let c(y) = -5*y**3 - y**2 + 4*y - 4. Let d(z) = -c(z) - 3*m(z). Let a be d(1). Solve a*g + 5 = -2*g, 0 = -5*r + 2*g - 3 for r.
-1
Let m = -8 + 19. Let b = 9 + -5. Solve m = 3*o - 4*q, 2*o + 2*q + 6 = b*o for o.
1
Let r = -2 - -1. Let v = 1 - r. Solve 0 = -4*l - v*t - 2, -4*l - 3*t = -2 + 3 for l.
-1
Let u(n) be the third derivative of n**4/24 - n**3 - n**2. Let i be u(8). Solve p - 3*o = 10, 1 = 3*p - i*o - 1 for p.
-2
Let i = -19 + 20. Solve -5*o - i = -5*t + 9, -4*o = t - 2 for o.
0
Suppose 17 = n + 4*m, 2*m = 1 + 5. Let t be (-35)/14*(-6)/n. Solve -z - t = 0, -4*z + z = -5*a - 1 for a.
-2
Let o be 26/10 - 5/((-175)/(-21)). Solve 3*l - 25 = -2*i, -o*i + 2*l - 30 = -6*i for i.
5
Let s(z) = -6*z**2 + z. Let c(n) = -7*n**2 + 2*n. Let o(h) = 2*c(h) - 3*s(h). Let q be o(-1). Solve b - 8 = -q*r - 3, 0 = 5*b - 10 for r.
1
Let s(j) = -j**2 - 5*j + 3. Let g be s(-7). Let l = -8 - g. Suppose 0 = l*h + 3*b, -3 = 4*h + 2*b + 3*b. Solve -m - h = 0, 0 = -2*q - 5*m - 7 - 10 for q.
-1
Suppose -4*g + 7 = -13. Suppose n + g = -5. Let k = n - -15. Solve k*a - u - 2*u = 4, -5*a - 11 = 2*u for a.
-1
Suppose -2*a = -15 + 5. Let y = a + -1. Solve 0 = -f + 2*s - 10, f - 1 = -3*s + y for f.
-4
Let u be (-18)/(-8) - 1/4. Let r(t) = t - 2. Let a be r(u). Let c = -15 - -18. Solve 0 = -c*j - f + 6*f, a = 3*j + 2*f - 21 for j.
5
Suppose 0 = -13*k + 7*k - 9*k. Solve -41 = 3*j - 5*c - 4, k = -5*j - 3*c - 5 for j.
-4
Let z(w) = -w**3 - 2*w**2 + 8*w + 10. Let n be z(-4). Solve 0*v = 4*v - 5*b - n, 2 = -5*v - b for v.
0
Let o = -7 - -11. Solve 0 = -2*x - p, 0 = -2*x - 2*x - o*p for x.
0
Let x be (-2)/2 + (-1 - -2). Suppose 3*m - 79 + 1 = x. Suppose -15*c = -37 - 38. Solve 3*r + r + 17 = 3*q, c*r = -q - m for q.
-1
Suppose -5 = -2*s + 5, 2*b = 4*s - 14. Solve -5*z - h = 7, -b*z - h = 2*h + 9 for z.
-1
Suppose -4*y + 6 = 2. Let k be ((10 - y)*-1)/(-1). Let q be k*3*(-10)/(-9). Solve v - 3*a - 1 = 0, 4*v + 6*a = a - q for v.
-5
Suppose 0 = 2*i + 6*i + 3*i. Solve i = 3*o + u + 14, -2*u - u - 12 = 3*o for o.
-5
Let h be (-129)/18 - (-1)/6. Let g = h - -13. Solve 3*o - 4*k - g = -2*k, 12 = -3*o - 4*k for o.
0
Let q be 1*-3*(-4)/(-12). Let k = q - -5. Let o = -2 + 5. Solve -k*h - 11 = 3*v, 4*v + 11 = -o*h + 1 for h.
-2
Suppose 2*y + 3*a - 18 = -y, -y + 5*a = 0. Suppose -5*i + 60 = 5*t, -30 = -2*i - 3*t - t. Solve y*u = v + 2*u + i, -29 = -3*v - 5*u for v.
3
Let f be (1 + 1)/(2/4). Let z = -31 + 35. Solve -4*l + 2*t = f, 0*l - z*t - 31 = 5*l for l.
-3
Suppose 0 = -4*k + 12, -5*r - 2*k + 8 = -6*k. Solve 5*z + r*u - 21 = 0, z - 3*u + 10 = -z for z.
1
Let t be (-16)/(-6) - (-6)/(-9). Suppose -p = -2*n + 2*p + 21, 4*p = -5*n + 64. Suppose 0 = 4*i - n + 4. Solve m + 2*z - 6 = 0, t*m + i*m = 3*z + 2 for m.
2
Let l(t) = 3*t**2 + t - 1. Let u = 5 + -5. Suppose -2*a + a + 1 = u. Let b be l(a). Solve -3*y - b = v, 0*y + 22 = 4*v - 5*y for v.
3
Suppose -5*g + 4 = -g - 2*z, 2*z - 17 = -3*g. Solve k + 3*k + 12 = -2*s, g*k - 3*s + 18 = 0 for k.
-4
Let k(b) = -4*b**2 - 1. Let c be k(-1). Let t be (-1)/c + 9/5. Suppose -a = -t*a + 2. Solve -5*o + 10*o = -3*p + 29, -20 = -4*p - a*o for p.
3
Suppose -4*h = -9*h - 2*w + 18, -2*h = 4*w - 20. Solve -4*k + 0*v = 2*v, 4 = -h*v for k.
1
Suppose -q = q. Suppose q = -x - x + t + 1, 0 = -5*t - 5. Suppose 2*n + 0*n - 18 = x. Solve 0 = 4*f - b - 11, -13 = -3*f - 2*b + n for f.
4
Let w be (2 - 0 - 3)*-1. Suppose 0 = -z - 2*k + 5, -3*z - 3 = -3*k - 0. Solve -5*c - 8 = -4*q, c - w - z = 2*q for q.
-3
Let j(v) = v**2 + 4*v. Let p be j(-5). Solve -4*w + 10 = w - 4*h, p*w = h - 5 for w.
-2
Let z(j) = j + 1. Let b be z(-1). Suppose b = 4*q - 20, 23 = -5*g - 2*q + 53. Solve -3*s + 4*m + 11 = 0, g*m + 4 = 5*s - 9 for s.
1
Suppose -g - 2*z = -3, 4*g + 3*z - 12 = 2*z. Let k be (2 + -1 + -4)*-2. Suppose g*x - j - 1 = -x, -3*x - j = -k. Solve x = 4*n + h, n - 3*h = -n + 11 for n.
1
Suppose 5 = 2*j - 1. Let w be 10/5 - j*-1. Suppose -7 = -2*b - 1. Solve -w*g + 35 = -b*d, -5*d = 4*g - 6*g + 33 for d.
-5
Let d = -27 - -79. Suppose -5*v + d = 4*o, 4*v + 0*o + 4*o = 44. Suppose -4*j - v = 0, 3*i - 11 = -j - j. Solve n = -2*a - 4*n + 31, -i*n + 34 = 3*a for a.
3
Let t be 1/((-2)/(-18))*1. Suppose 0 = -t*z + 5*z. Solve -4*h + 12 = k - 5*k, 3*k - 2*h + 6 = z for k.
0
Let c(k) = k**2 - 3*k**2 + 2 + 3*k**2. Let j be c(0). Suppose -g + j*g = 0. Solve 7*t - 10 = 2*t - 5*v, g = -4*t + 4*v for t.
1
Let y(u) = u**2 + 2*u + 6*u + 5 - 3*u + 0*u. Let h be y(-4). Let q = 3 - h. Solve -2*s = 4*k - 14, q*s = -0*s - 6 for k.
5
Let o = -75 - -41. Let f be 3/18 - o/12. Suppose -3*m = 5*z - 25, 1 - 6 = -z - 4*m. Solve z*b - 5*h + 15 = 0, b + f*h - 3 = 2*b for b.
-3
Let f = -20 + 30. Suppose f = -0*x + 2*x. Suppose x = 4*a - 3*a. Solve -k + 4*k + 20 = 4*n, -4*n - 12 = a*k for k.
-4
Let r = -16 - -16. Suppose 6 = -2*w + 4*w. Solve 0 = -4*t - k - 13, -w*t + 2*k + 4 = -r for t.
-2
Suppose -3*c - 6*t = -t + 20, -12 = -4*c + 3*t. Let o be c/(-2)*(-1 + 2). Solve -5*m - 3*q = 3, m - 2*q + o = 2 for m.
0
Suppose -3*d - 12 + 3 = 0, -27 = -3*b + 3*d. Solve 0 = 2*q - b, 2*q - 43 = -4*r - 17 for r.
5
Let v = 6 + -6. Solve v = 3*i - 4*n - 12 - 2, -n = 5*i - 8 for i.
2
Let r = 0 + 5. Solve -2*n - 23 = r*q, 2*q + 2 + 4 = 0 for n.
-4
Suppose 0 = 2*s + 2*k - 12, s - k - 18 = -6*k. Suppose 0 = 3*l - 2*l - 2. Let x = 12 - 8. Solve x*z - 14 = -0*h - h, -l*z - s*h = -12 for z.
3
Suppose 4*z = -z + 25, 2*r + 19 = 5*z. Suppose 3*o = 1 + 8. Let j be (o/(-9))/(1/(-9)). Solve 5*t + 28 = 2*g, -4*g + 16 = -r*t - j*g for t.
-4
Let u be (828/(-10))/(4/(-40)). Let o be 4/(-18) + u/81. Solve -2*x - 5*r = -o, 2*x = 2*r + r - 22 for x.
-5
Let j(d) = d**3 - 5*d**2 - d + 5. Let o be j(5). Let v be -1 - (-3 + -1) - -18. Solve -4*i + o*p - 5*p = -29, -i - 4*p + v = 0 for i.
1
Let s(z) = 2*z - 7