 20. Let j = r + -18. Solve -5*w + 12 = -k, 14 = 4*w + w - j*k for w.
2
Let k(m) = 4*m**2 + 2*m + 3. Let t be k(-1). Suppose -4*p - 12 = 3*r, t*r + 10 = -4*p - 2. Solve 5*j + 25 = -5*o, r*o + 3 = -3*o for j.
-4
Let t(n) = 26*n + 158. Let b be t(-6). Solve -2*p - 6 = 0, m = 2*p - b + 12 for m.
4
Let m(v) = -v**2 + 3*v + 2. Let g be m(2). Solve 3*i = g*o + o - 8, 4*o + 4*i = 0 for o.
1
Let y = 19 + -13. Let m = -5 + 15. Suppose 3*j + j = 2*q, 3*j - m = -q. Solve k + c + 10 = y*k, -k = -5*c - j for k.
2
Let v = 827 - 823. Solve -3*z - 8 + 2 = -3*i, -20 = v*z for i.
-3
Let j be 1/(18/9 - (-423)/(-211)). Let v = j - -213. Suppose 0 = -4*r - 1 + 5. Solve a - 2*o - 15 + r = 0, 4*a - 6 = -v*o for a.
4
Suppose 0 = 2*i - 2*z - 3*z - 4, 3*i - 6 = -2*z. Let d be (22 - 23)/((-2)/18). Solve i*x = -10, d = 3*g - 5*x - 31 for g.
5
Suppose 0 = -z + 3*u + 17, 4*u + 15 + 1 = 0. Suppose 0 = -2*n + 3 + z. Solve 5 = -n*c - r, -3*c - r - 2 = 1 for c.
-2
Let g = -32 + 36. Let v be (-6)/(-24) + 3/g. Solve -3*z = -i - 6, 3*i - 5*z = v - 15 for i.
-3
Let g(s) = -2*s**3 - 5*s**2 - 5*s - 8. Let i be g(-4). Let h be (10/(-25))/(2/i). Let a = h - -12. Solve -5*f = -o - 2*o + 9, -3*f = a for o.
3
Suppose 0 = 2*o - 3*i - 12, -4*o + 7*o - 5 = -2*i. Solve o*n + 2 = 2*u, -2*u - 27 = u + 3*n for u.
-5
Let k = 11 - 7. Let x be 2/k*-5*-2. Solve 2*i - 7 = -5*p - 0*p, -19 = i - x*p for i.
-4
Let k(a) = a + 1. Let z be k(1). Suppose -2*n + 8*n - 78 = 0. Suppose -w - 1 + n = 0. Solve 4*s = -2*v + 2*s + w, 5*v - z*s = -5 for v.
1
Suppose 109 = s + 107. Solve -5*r = -2*n + 5*n - 2, 3*n + s = -r for n.
-1
Let r = -28 - -28. Let s = r - 0. Suppose 4*n - 2*n - 4 = s. Solve -3*g - 16 = 5*x - 4, -3*x = n*g + 7 for x.
-3
Suppose -4*t + 12 = -3*x, -32*x + 30*x = -5*t + 8. Solve 2*l = -0*l - 2, t = -3*i + l + 1 for i.
0
Let f = 1410 - 1410. Solve -24 = 3*a + 3*x, f = -10*x + 9*x - 5 for a.
-3
Let j(n) = -3*n**3 + n - 1. Let o be j(1). Let q be (136/(-6))/(-2) - o/(-9). Solve 2*a - 4*x + 18 = 0, 6*a + 3*x - q = 5*a for a.
-1
Let a(s) = 11*s - 7. Let y(q) = q**2 - 5*q + 5. Let z be y(4). Let p be a(z). Solve 4*x = -0*l - l - 9, 0 = -4*l + p*x - 16 for l.
-5
Let w be (1 - -2 - 6) + 3. Suppose w = -m + 4. Solve m*l - 9 = l, 15 = -4*j + 5*l for j.
0
Let x = 36 + -41. Let y = x - -8. Suppose -3*r - 3*c = 0, -4*c - 42 = -4*r - 2. Solve -3*j - y*i = 15, 0 = 5*j - r*i - 6 + 1 for j.
-2
Let y(k) = k**2 + k + 13. Let w be y(-5). Suppose 0 = -v + 4*v - 51. Suppose j - w = v. Solve -15 = -2*q - 5*c - 0*c, -j = 5*q - 5*c for q.
-5
Let k(w) = -4*w. Let v be k(1). Let d be (10/v)/((-1)/2). Let b = -2 + 7. Solve 5*m + d*h - 10 = 0, -b*m + 0*h - h = 6 for m.
-2
Suppose 0*a - 8 = -2*a. Suppose -m + 1 = -4, -3*m = -a*c - 15. Suppose 5 = -5*d - 5*v, c = -d - 2*d + 2*v + 12. Solve -4*l + h = 0, 2*l = d*h - 5 - 1 for l.
1
Suppose 0 = -2*c - c - 3*z - 51, -z = 4. Let w be c/(-5) + 4/10. Solve 0 = -w*y + 2*s - 10 - 0, -3*s = -15 for y.
0
Let b(l) = -6*l + 13. Let d be b(3). Let p = -15 - -23. Let v = p + d. Solve 0 = -3*m - 3*y + y - 5, -m = -v*y + 9 for m.
-3
Suppose 0 = -6*k + 3 + 69. Solve -5*h + k = -3*m, -3*h = h for m.
-4
Suppose 27 = 5*s + 3*t - 4, 0 = -2*s - 2*t + 10. Solve 3*q + 22 = -0*c - 2*c, -4*c + 3*q = s for c.
-5
Suppose -8 = 3*i + 2*m, -2*m + 20 = -i - 3*i. Let s be (-2 + -18)/i + -3. Solve -4*w = -s*f - 6, -f - w - 1 = 2 for f.
-3
Suppose 8*h = 3*h - 25, 4*z - 5*h = 41. Suppose z*u = 15 + 5. Suppose i + u = 2*i. Solve -i*a - 37 = 3*b, 3*a - 2*a + b + 9 = 0 for a.
-5
Let t = -542 - -542. Solve -g + 2*a = -t + 11, -5*g + 5 = 5*a for g.
-3
Let d be (2/6)/((-18)/(-270)). Suppose 0 = -7*t + 4*t - d*z, 2*t + z - 7 = 0. Solve 5*x = -2*w - 0*x + t, 5*w + 5*x = 5 for w.
0
Let w be (-2 + 1 + 4)/((-27)/(-18)). Solve -w*o + 1 = -s, -2*o - 2*s + 16 = -0*s for o.
3
Let u = 9 + -7. Suppose -y - u + 4 = 0. Let o be 96/10 + 16/40. Solve w + 7 = -3*p - 0*w, -y*w = -o for p.
-4
Suppose j = 2*j + 4*k - 102, k - 117 = -j. Let a = j - 84. Suppose 4*h - 34 = a. Solve -4*f - 2*u = u - h, -f + 9 = 3*u for f.
3
Let a(l) = 19*l**2 + 190*l + 9. Let z be a(-10). Solve 3*t + 4*s + 1 = -z, t = -2*s - 4 for t.
-2
Let f = 943 - 940. Solve -2*o + 3*o - 3*q = -7, 10 = -4*o + f*q for o.
-1
Suppose 0 = 2*t, -2*y - 5*t = -6*t - 8. Solve 0 = f + 5*a - 2, -y*f + 0*f + 2*a = 14 for f.
-3
Suppose 5*i - 6*i + 3*t = 5, -4*t = -16. Let m = i + -4. Let o be (-112)/(-24) - (-1)/m. Solve 2*g + 0*g = x - 2, 5*x + o*g = -20 for x.
-2
Suppose 193 = 4*g - 3*g. Suppose 0*j + 5*j + g = -f, f = 2. Let s be (-26)/(-6) + (-26)/j. Solve 5*z + 3*p + 2 = 0, 0 = 3*z - 2*z - 4*p + s for z.
-1
Let n = 32 - 18. Solve 0 = -h + 3*d - n, 3*h + 20 = -2*h + 5*d for h.
1
Suppose a + 0 = 2. Suppose -10 = 3*p - 55. Let h = -13 + p. Solve a*x - 3*x + 21 = -4*k, -h*k + 5*x - 15 = 0 for k.
-5
Let g(x) = 2*x + 15. Let w be g(8). Let k = -193 - -211. Solve -c - w = -4*c - 5*i, -c + 4*i = k for c.
2
Suppose 15*x - 12*x = 4*s - 65, 115 = 5*s + 3*x. Solve 5*w + 2*q + 27 = 0, 0*w - 3*w - s = 5*q for w.
-5
Let p = 24 - 19. Let g(c) = c**2 - 7*c + 7. Let m be g(6). Suppose -4*j + 7*k + 72 = 4*k, -k = 3*j - 41. Solve p*z = j, n - 4*z = -m - 15 for n.
-4
Suppose -3 = -4*t + 29. Let d be 8 + t/(-4) - 3. Solve 2*h - d*w = -w - 16, -32 = 5*h - 3*w for h.
-4
Let b(j) be the first derivative of 4*j - 4 - 1/3*j**3 - j**2. Let w be b(0). Solve w*l = m - 2, -1 = -3*m + 2*m + 3*l for m.
-2
Let r = 145 + -134. Let t = -2 + 5. Suppose t*o + z = -z + r, o + z = 3. Solve 5*n = 4*n + 5*k + 9, -o*n = 4*k - 16 for n.
4
Suppose -5*i + 6 + 4 = 0. Let f be (3/i)/((-2)/(-4)). Suppose 0 = -5*g + f*g + 6. Solve m + 2*m - 20 = -2*n, -4*m + g*n = -4 for m.
4
Let b be 4 + -2 - (-3 + 3). Suppose -4*x = 4*k - 7 - 29, 5*k = 3*x + 5. Solve -10 = g - k*j + 2*j, -b*g - 2*j + 10 = 0 for g.
0
Let y = 377 + -367. Solve -5*z - 2*l + y = -13, 0 = -2*z - 2*l + 14 for z.
3
Let u = -20 - 16. Let p = -20 - u. Let v = -14 + p. Solve -a = -2, -t - a = -v*t for t.
2
Suppose -j + 8 = -3*j. Let l be (-228)/(-14) - j/(-14). Let c = 41 - 39. Solve -5 = 3*n - c*x, 2*x + 2*x = l for n.
1
Let s(o) = o**3 - 7*o**2 - 6*o - 9. Let h be s(8). Suppose -8*g + h*g - 5*p - 15 = 0, -4*p = 3*g + 1. Solve -2*k = -g*t - 14, 8*t = 4*t - 3*k - 25 for t.
-4
Let m = -65 - -91. Let y = 26 - m. Solve y = k + 2*t + 7, k + t - 23 = 5*t for k.
3
Suppose u - 7 = 8*a - 4*a, u + 5*a + 2 = 0. Let k be 1 + (-7 - (u + -4)). Let l be (7 + -2)/((-5)/k). Solve -4*n - 20 = b, 0 = n + 3*n - l*b - 4 for n.
-4
Suppose 1 = -2*z + 5. Solve -z*t = -4*h + 16, 0 = h - 4*t - 4 - 0 for h.
4
Let v be 416/(-10) + 4/(-10). Let p = v + 47. Solve -4*f + 21 = p*k, -k + f - 24 = -6*k for k.
5
Let m be (7 - 12/3) + -3. Suppose -5*u + m*r = 4*r - 27, 2*u - 3*r + 3 = 0. Solve 0 = 5*i - 4*g - 41, -2*g - 5 = u for i.
5
Let k be (54/6 - 9)*-1. Solve -i + 25 = 4*a, -4*a + 15 = -k*i - i for a.
5
Let y(f) = -f**2 + 7*f + 3. Let q be y(7). Solve -q*p = 2*r - 7 - 12, 0 = -p + 2*r + 1 for p.
5
Suppose 74*h - 69*h = 0. Solve 4*k - 2*n + 10 = h, -4*k + 3*n = -2*k + 15 for k.
0
Suppose 4*u = -5*n - 16, -4*n - u + 0*u = 15. Let c be 1 - -26 - (4 + n). Let v = c + -17. Solve 20 = w + 3*b, -5*w + 5*b = 2*b - v for w.
5
Let o(z) = 2*z + 12. Let p be o(-6). Solve -3 + 2 = -j, 5*l - 4*j + 24 = p for l.
-4
Let m(c) = 13*c + 65. Let i be m(-4). Solve 5*r + s = -s - 4, 2*r - 3*s + i = 0 for r.
-2
Let f(j) = -j**2 - 5*j + 3. Let g(k) = -k**2 + 3*k + 1. Let c be g(4). Let p be f(c). Suppose -2*a + p = -11. Solve -z = q - 3, 0 = -3*z - 3*q + q + a for z.
4
Let w be (3 - -3)*(-8)/12. Let k be ((-60)/18)/(w/6). Solve 3*o - 2*o + 5 = k*y, 0 = y + 5*o - 1 for y.
1
Suppose -6*p + 128 + 142 = 0. Solve 3*l - 40 = -5*v, 2*l + 3*l - p = -4*v for v.
5
Suppose -i + 0*i + 9 = 0. Suppose i*p = 11*p - 4. Let j be 7*((-36)/(-14) - p). Solve x - 7 = j*x - 4*u, -2*u = -x - 1 for x.
-5
Let l be (2 - 12/5)*(-35)/(-1). Let n = -9 - l. Solve -2*y - y = 4*q + 11, 13 = -n*q - 3*y for q.
-2
Suppose -2*z = 3*a - a - 12, 4*z + 5*a = 28. Solve -3*l = q - 6, 2*q - 4*l - 4 = -z for q.
3
Suppose -b - 4*c + 21 = 0, -b + 16 = 17*c - 14*c. Solve 2*q - 3*i + 6 = 0, -2 = q - 5*i + b for q.
-3
Let o be 1/1 - (0 - 43). Suppose 3*p - 2*d - o = 0, p - 12 = 2*d - 0. Let l be (-18)/(-8) + (-4)/p. Solve -2*t = 4*j + 2, -3*j = -l*t - 0*t + 12 fo