= -2*t + 4*z - 18. Suppose 2 = 3*y + 2*r + t, y - 19 = 4*r. Solve -y*u + 3*g + 3 = 0, 5*u = 5*g - 2*g - 1 for u.
-2
Let k = 4 - 2. Let q be (-2 + k)/(4/(-2)). Solve 4*s - 20 + 3 = 5*i, s + 2 = q for i.
-5
Let j(k) = -k + 9. Let b be j(6). Solve 2*w + z = -4*z - 25, 0 = b*w - 2*z - 10 for w.
0
Let g = 6 + 3. Let n be 1*(2 - (4 + -6)). Solve -5*s - 3*x - g = -x, s = -n*x + 9 for s.
-3
Let h = -18 + 21. Solve -5*w + h*x = 10, 3*w - 3 = -2*x + 10 for w.
1
Let s(y) = -4*y - 4. Let o be s(-2). Solve -2*m = 5*b + 13 + o, -3*m = 3 for b.
-3
Suppose -72*h + 14 = -70*h. Let o(c) = c**2 + 5*c + 5. Let d be o(-5). Solve -4*j - 5*v = -40, d*v + h - 2 = 5*j for j.
5
Let u = 5 + -2. Suppose 3*y + y = 36. Solve 0 = -p + u*o - y, -6*p - 5 = -p + 5*o for p.
-3
Suppose 2*d = 5*d. Let h be 30 + d/(-2) + 1. Let s = h - 13. Solve -3*i - s = -3*n, -n = i + 3*i + 14 for n.
2
Suppose 0 = n - 0 - 3. Solve n*z + w + 7 = 4*z, -2*z - 3*w = 6 for z.
3
Suppose -3*o - 6 + 21 = 0. Solve 3*s = c + 10, -2*c - 3*s + o = -20 for c.
5
Let j be 1*2/(6/15). Let g = -3 + j. Suppose -m - m - 5*f + 27 = 0, 0 = 4*m - g*f + 6. Solve -5*o + 2*z + 18 = 0, 3*z = -13 + m for o.
2
Let v = 2 + -2. Suppose v = -2*g + 5*g - c - 16, -2*c + 10 = 0. Solve 2*n - g*n + 2*q - 20 = 0, -4*n + 2*q - 18 = 0 for n.
-2
Suppose -2*o + 4 = 0, -3 - 9 = -5*f - o. Solve y = f, -2*a + 3*y = 8 + 6 for a.
-4
Let j(v) be the first derivative of v**4/4 - 2*v**3/3 - v**2/2 + 2*v - 3. Let x be j(3). Let w = x + -8. Solve 9 = -4*n - 5*k - 3, w = 5*n - 3*k + 15 for n.
-3
Let x be 51/12 + 1/(-4). Suppose 17 = x*r + 1. Suppose 2*j + 12 = 5*j - w, r*j = -2*w + 6. Solve h = j*o - 8, -3*o = 2*o + h - 24 for o.
4
Let v be (-4)/(-22) - 620/(-220). Solve -3*o + 24 = -2*t - 3*t, -2*o - t = -v for o.
3
Suppose -2*f - 20 = -3*x, -3*x - f = -2*f - 16. Let h(p) = p + 7. Let j be h(-5). Solve -j*l = 2*i - 7*i + 3, -5*i + x = -l for l.
1
Suppose -2*i + 5 = -i. Let b = -18 - -13. Let j = b + 10. Solve -41 = -5*s - 4*x, -j = 4*s - 9*s + i*x for s.
5
Let s(c) = c**2 + 9*c - 34. Let k be s(-12). Solve 2*v = -k, -2*l + l = -v for l.
-1
Let c be 0/(3/6 - 1/(-2)). Solve c = -5*j + 4*d - 15, -j = -d + 5 - 2 for j.
-3
Let a(y) = y**3 + 4*y**2 - 7*y - 5. Let j be a(-5). Suppose 0 = -j*h + 6*h - 5. Let t = h - 3. Solve -t*l - 5*u - 13 = -l, 2*u = -3*l for l.
2
Let m be 2/(-5) + (-57)/(-5). Let i = -8 + m. Suppose -2*y + i = -1. Solve -3*b = y*x + 17, 12 = 2*b - 4*b - 2*x for b.
-5
Suppose 0*k = -4*k + 8. Let c(x) = 4*x - 1 + 3 - x**k + 1. Let w be c(4). Solve -d - 2*n = -5 + 3, 2*n + 6 = w*d for d.
2
Let j be (2 - (-1)/(-1))*3. Let g = 3 - j. Suppose 8 = -p + 2*k, -2*p + k = 3*k - 14. Solve q + 1 = t, -p*t + 5*q + 5 + 6 = g for t.
-2
Let a be (4 + -3)*-5 + 0. Let t(g) = g**3 + 4*g**2 - 4*g - 3. Let n be t(a). Let i = -6 - n. Solve -3*o = -4*j + 5, -o - o = -i*j for j.
5
Let r be -2*(3 - 0/2). Let p be ((-8)/r)/((-4)/(-6)). Let i be (4/5)/(p/5). Solve 40 = i*m + 3*m + 4*v, -32 = -3*m - 4*v for m.
4
Let c be 3/12 + (-77)/(-28). Solve 0*l - 9 = -5*s + 3*l, -c = s + l for s.
0
Suppose p = b + 26, -4*p + 2 = -2. Let d = b - -25. Let n(m) = -2*m - 1. Let c be n(-2). Solve a - 10 = 5*t, d = c*a - 2*t + 6*t - 11 for a.
5
Let h = 79 - 74. Solve 3*v - t = -5 - 4, 0 = -h*t for v.
-3
Suppose 0 = -3*y - 18 - 9. Let d(j) = 6*j + 12. Let k be d(y). Let a = k - -66. Solve -2*t = -h + 10, a = -0*h + 3*h - 4*t for h.
4
Suppose 0 = -5*y - 0*y + 15. Let f(j) = 2*j - 5. Let r be f(5). Suppose -r*z = -2*z. Solve a - 5*w = 9, 2*a - y*w = -z*w + 11 for a.
4
Suppose 11*x - 120 = 7*x. Let z = -10 + 0. Let h = x + z. Solve -6*d - 10 = -3*d - v, -4*d - 2*v - h = 0 for d.
-4
Let o = -20 - 5. Let t be (-110)/o - (-4)/(-10). Solve n = 3*b - n + 7, 3*b = t*n + 1 for b.
-5
Suppose 0 = m + 2*m - 45. Suppose h - u = 5, -5*u + 0 + m = 5*h. Solve 3*s + 3*j - 2 = -5, 5*s - 40 = h*j for s.
4
Let a(m) = 2*m + 12. Let c be a(-7). Let y(z) = -z**3 - 2*z**2 - z - 1. Let d be y(c). Solve 5*k + 38 = 3*n + d, 0 = k + n + 1 for k.
-5
Suppose 103*m - 30 = 100*m. Solve -22 - 1 = -3*g - 4*i, 5*i + m = 4*g for g.
5
Let o(l) = -9 + l**2 + 4*l + 0 + 4*l. Let a be o(-9). Suppose 5*h = -5*c + 145, a = 5*c - h + 18 - 133. Solve 5*q + c = p - 3*p, -p + 2*q = -6 for p.
-2
Let d be (1 + 4)/(22 - 21). Solve p - d*n + n = -12, -3*n = 4*p + 10 for p.
-4
Let l(y) = -y**2 - 12*y + 2. Let f be l(-12). Solve -2*h = 2*s - f, -5*s = 7*h - 3*h - 9 for h.
-4
Let a = -3 + 3. Let i be (a/(-2) + -2)/(-1). Suppose r + 2 = 0, i*r + 31 = 3*n - 0*r. Solve -3*v - n = -0*y + y, y - 6 = 2*v for v.
-3
Suppose -4*r = 4*s, -2*r + 2*s + 6 = -r. Suppose 8 + 11 = 2*c - k, 3*c - 32 = -r*k. Let a = -5 + c. Solve -4*v + x - 15 = 0, -5*v + a*x = -0*v for v.
-5
Let w be 5 + -1 - 0/1. Let h be 9/12*-4 + 7. Solve h*s + 0*a - 3*a = 10, -2*s + w = -a for s.
1
Let a(l) = l**2 - 5*l - 1. Let i be a(6). Suppose -5*v + 8 = -v. Suppose -i = v*p - 3*p. Solve -p*s = -k + 5, -4*k - 5*s - 8 = -3 for k.
0
Suppose -5*h + 3 = 2*c - 15, 0 = c - 2*h. Solve 5*n = 0, -t + 0*t + 1 = -c*n for t.
1
Let k(w) = -w**2 - 7*w + 1. Let d be k(-5). Solve u - 4*m = -21, -2*u - d = -u - 2*m for u.
-1
Suppose -p + 5*p - 4 = 0. Let x be 16 + 6 - (1 - p). Solve 4*w - 2*h = -x, 3*w + 3*h + 22 = -2*w for w.
-5
Let t be 1/2*0/(-2). Let w = 4 + t. Solve 5*s + h + 6 = 0, 0 = 3*s + 6*h - w*h - 2 for s.
-2
Suppose -2*c - 5*o - 16 = -48, 4*c = 5*o + 34. Solve 9 = 3*x + 4*b, -5*x = -2*b - c - 4 for x.
3
Suppose 2*u - 85 = -3*u. Solve -6 + 2 = -y, -z + u = 5*y for z.
-3
Let m = -3 - 1. Let a be m + 1 + 2*3. Suppose 0 = a*z + z. Solve -5*f + 2*p + 5 + z = 0, f - 1 = p for f.
1
Let a be (8 + -6)*(-6)/(-4). Solve 2*u - 3 = -a*g + 5, 5*g - 22 = u for u.
-2
Let v be (-8)/5*(-70)/4. Suppose 0 = 5*w - 0*w - 3*k - v, w - 9 = 4*k. Suppose -4*x + 40 = -40. Solve -a - a = -10, 5*a = w*g + x for g.
1
Let s = 18 - 12. Suppose 2*c - 2*y = -6, 2*c - s*y + 15 = -y. Solve 0 = -4*x - t - 3*t, -5*x - 4*t - 2 = c for x.
-2
Suppose 0 = -105*i + 110*i - 30. Solve j + 5*x = i + 21, 0 = -5*j - 3*x + 25 for j.
2
Let d be 52/(-14)*(-7 + 0). Solve 0 = -2*z + o, 0 = -3*z - 0*z - 5*o + d for z.
2
Let g be ((-38)/6 - -2)/(2/(-6)). Solve -s + 5*s - g = -3*w, -9 = -s + 5*w for s.
4
Let p be 0 - 0 - 88/(-2). Let a = 51 + -75. Let d = a + p. Solve 4*o = -d, -4*o - 13 - 16 = -3*k for k.
3
Suppose 1 = 5*w + 31. Let m be (-8)/(-5) + w/(-15). Suppose -5*n + 3*h = -32, 0*n + 4*h + 10 = m*n. Solve -q = -3*p + 5*p - n, 5*p = 3*q + 1 for p.
2
Let l be (-4)/(-6) + (-5)/3. Let j be 1 + 3 + l + 11. Suppose 0*d - d = -j. Solve d = -t - 3*m, -3*t - 4*m = -0*t + 27 for t.
-5
Let x(t) be the third derivative of 3*t**6/40 + t**3/6 - t**2. Let v be x(1). Let o(d) = -d + 12. Let w be o(v). Solve h - 3*l = -2*l - 2, l - w = -2*h for h.
0
Suppose -8*y + 4*y = -16. Solve y*n + c = -11, -2*n = 2*n + 2*c + 14 for n.
-2
Let i be (4/8)/(1/2). Let h be (1 + -2 - i) + 2. Solve o = 5*j + 8, h = o - 1 + 3 for j.
-2
Let g = -4 + 4. Let m(c) = -c**3 - c**2 + c + 28. Let l be m(g). Solve 5*z = 2*f - l, -2*f + 0*z = 2*z for f.
4
Let b(g) = -4*g - 53. Let r be b(-14). Solve -4*s = 5*u - 4, s + r*u = 4*s - 3 for s.
1
Let i = -31 - -31. Solve i = 4*j - b - 11, 2*b = -5*j - b + 18 for j.
3
Let c(j) = j**3 + 10*j**2 + 8*j - 3. Let d be c(-9). Let p = -4 - -6. Suppose -p*h = h - d. Solve h*b - 5 = 5*u, -3*b - 1 = u + 17 for b.
-5
Suppose 7*b - 4 - 17 = 0. Solve -b*v = -6, c - 5*v = -0 - 5 for c.
5
Let v = 54 - 52. Solve 5 = 3*m + 3*t + v, m + 5 = 2*t for m.
-1
Suppose -1 = 3*z - 19. Let o = -1 + z. Suppose -18 = -7*p + 5*p. Solve 2*k = -3*c - 18, -o*c + 2*k - p = 5 for c.
-4
Suppose -2*m = -2*g - 6, 0 = -4*g + m - 0 + 3. Solve -p + 5*t + 17 = 0, 4*p - 3*p + g*t = -4 for p.
2
Suppose -2*v = -3*a + 2*a + 12, a - 20 = 4*v. Solve -5*i - 35 = 5*k, k + 3*i + 17 = a for k.
-4
Suppose 5*h + 4 + 1 = 0. Let w = -1 + 2. Let c be 1/w*(1 - h). Solve -c*t = -2*g - 2, 3*t = -t - 5*g + 40 for t.
5
Let k(n) = -n + 4. Let i be k(0). Let t be (-1)/2 + 2*(-2)/(-8). Solve -i*z = -5*f + 2*f - 32, t = -2*z + 4*f + 26 for z.
5
Let n be (-44)/(-7) + 6/(-21). Solve -4*v - 6 = v + 2*w, -2*w = -3*v + n for v.
0
Let o = 9 - 2. Suppose 3*j = 2*k - o, -3*k + 5*j - 3 = -14. Suppose 0 = -2*v + 5*v - 6. Solve -k*n = 4*r - 16, -v*r + 5 + 3 = -2*n for n.
0
Let q = 3 + -7. Let r(h) 