20. Let b be v(7). Suppose -2*q = -1 - 3, -a = -q + b. Solve 5*k + 3*u - 13 + 0 = 0, -k = u - a for k.
5
Let n(d) be the first derivative of 3*d**2/2 + 11*d - 15. Let a be n(-3). Solve 15 = -k - 2*k, -4*z - a*k + 2 = 0 for z.
3
Let v(o) = o**2 - 1. Let u be v(-1). Suppose 4*i + 61 = 69. Suppose -j - 3*d - 4 = -i*j, -3*j + 3*d + 12 = u. Solve -5*w - 3*l = -35, 3*l + 5 = j*l for w.
4
Let i(f) = f**2 + 14*f + 49. Let j(n) = n**3 + 6*n**2 - 6*n - 45. Let a be j(-6). Let t be i(a). Solve -3*c - 18 = -5*l, -2*c - l = -t*c - 5 for c.
-1
Let a(k) = -k**2 + 8*k + 49. Let h be a(12). Let t be 1 + (3 - h) + (-6)/(-3). Solve b + o + 2 = 7, 2*o = 3*b - t for b.
3
Suppose l - 37 - 5 = -21*x, 2*x - 3*l = 4. Solve -2*g = -2*k + 3*k - x, -1 = -k - 3*g for k.
4
Let b(t) = -t**2 - 8*t - 10. Let c be b(-2). Suppose c*x = -51 + 59. Solve i - 13 = -4*l, 0*i - i = -x*l + 3 for i.
5
Let d be 8/36 - (-380)/(-114)*5/(-6). Solve -d*a + 13*v = 11*v - 4, 3 = 3*v for a.
2
Suppose -5*t + 115 = -0*t + 5*p, 3*t = -5*p + 79. Suppose 12*r - t = 6. Solve 4*x - 6*x = 3*h - 10, 5*x = -r*h + 14 for x.
2
Suppose 0 = 428*k - 917 - 367. Solve 3*y - 3*w + k = 0, 3*w + 38 - 40 = 4*y for y.
1
Suppose 4*i - 64 = -0*i. Let a(t) = -t**3 + t**2 - 5*t + 45. Let u be a(0). Suppose u*o + 80 = 49*o. Solve 0 = -l + 5*x - o, 3*l + 5*x - i = 4 for l.
0
Suppose 25*b = 35*b - 900. Suppose 6*u - 7*u - 2*g + 21 = 0, 5*g = 5*u - b. Solve -s + u = -4*m, 5*m - s + 24 = -0*s for m.
-5
Suppose -2 = -h + 4*p, -3*h - p - 3*p + 6 = 0. Suppose 0 = h*g - 18 - 2. Let a be (4/g)/(7/70). Solve a*r - 5 = -25, 4*m + 6 = 2*r for m.
-4
Let n be 2/(-5) + (-4)/(-10). Suppose 0*r - 9*r + 387 = n. Let t = -38 + r. Solve -4*i - t*d + 0*d + 36 = 0, -3*i - 4*d + 28 = 0 for i.
4
Let d be (18/(-8))/(135/(-360)). Suppose -u - d = -9. Solve 2*f - 10 = 4*a, 8*a - u*f = 3*a - 11 for a.
-4
Let l = 328 - 325. Suppose -l*a - 20 = -29. Solve -2*t = -i - 9, 25 - 1 = -5*i + a*t for i.
-3
Let n be (-45)/165 + 4920/132. Solve -4*v = 5*k + n, 0 = -5*k - 16 - 9 for v.
-3
Let t be 0 - -4 - 84/(-9 - 3). Let q be 2 - 0 - (2 + -2). Solve 3*r + t = -i, 7*i = q*i + 4*r - 17 for i.
-5
Let x(h) = -6*h**2 - 985*h + 826. Let f be x(-165). Solve 3*r + 3 = -3*l, 4*l + 9 = -2*r - f for l.
-4
Suppose -273 = -114*m - 45. Solve -2*x = -2*g - 4, 0 = m*g - 4*x + 4 + 4 for g.
0
Let g = 216 - 213. Let w = 4 + 1. Suppose -q - 19 = -5*d + 1, w = -q. Solve d*o + 4*p - 11 = -0*p, g*o = 3*p - 3 for o.
1
Let p = -47 - -44. Let n be -6*(2/p)/2. Solve -2*s + 6*b - 6 = 3*b, n = -2*s + 2*b for s.
3
Suppose -k + 2*x - 6 = -5*k, -3*k + 2*x + 22 = 0. Suppose 0 = -12*s + 13*s - k. Solve 5*r = -0*r + s*p - 40, 2*r = -4*p + 12 for r.
-4
Suppose 5*v - 12 = 38. Suppose -6*h + v = -h. Let u = -1583 - -1588. Solve 0*o = -2*a - u*o - 27, -h*a + 3*o = -13 for a.
-1
Let r be (3 - (-23)/(-7))*182/(-13). Suppose 3*u = -4*m + 56, -4*m = -r*u + 2*u - 36. Solve g + m = -4*j - j, 3 = -4*j + 5*g for j.
-2
Let a(u) = u**3 + 17*u**2 + 2*u + 36. Let q be a(-17). Suppose -4*b = -q*o - 0 - 4, -2*o = 4*b - 20. Solve -o*d - 4*v - 24 = 0, 2*d - v = -0*d for d.
-2
Let p(d) = d**2 - 6*d - 454. Let l be p(24). Let w be -128 + (-1)/(-2)*0. Let i be w/l - 6/(-33). Solve 3*u - 8 = -4*f, -i = -4*f + f + u for f.
2
Suppose 348 = 46*a - 296. Solve 47*q = 43*q + 2*t - 4, -2*q + 5*t + a = 0 for q.
-3
Suppose b + 14 = -5*j + 8*j, 0 = -j + 4*b - 10. Suppose -4*f + 3*g + 18 = 5*g, f - j = -2*g. Solve -2*t = w, -w = 2*t - 2*w - f for t.
1
Let k = -2271 + 2274. Solve -4*f - 20 = 0, 0 = 92*b - 94*b - k*f - 7 for b.
4
Let d be 230/40 + -1 - (-4)/16. Solve y - 3*t + 0*t + 15 = 0, -d*t = -2*y - 25 for y.
0
Suppose 0 = -3*m + 6 + 21. Suppose 7*f - 18*f = -m*f. Solve w - 2*k + 3 = 0, 6 = 2*k - f*k for w.
3
Let r be (-10)/((-200)/(-70))*(1 + 27/(-7)). Solve -3*x + 12 = -3*q, 0 = q - 5*x - r + 22 for q.
-2
Suppose 0 = 5*y + 21 - 51. Suppose -72 - y = -13*b. Solve 4*w + 3*g = 0, -4*w + b + 2 = 5*g for w.
-3
Let q be ((-21)/(-5))/1 + 19*(-1)/95. Solve -8*y + 5*y + 2*b = q, 3*b - 25 = -5*y for y.
2
Let b be ((-1)/2)/(20/(-80)). Solve 0 = -g + 3*d - 23 + 7, 0 = -b*g + 4*d - 22 for g.
-1
Suppose -2*l = 3*n - 8, 24*n - 29*n = 0. Suppose -5*x + 5 = -l*v + 6*v, 3*x - 3 = 0. Solve v = -2*w + 4*p - 2, -p - 27 = -0*w + 5*w for w.
-5
Suppose 0 = -348*f + 367*f - 95. Solve 2*y = f*c - 9, -3*c - 12*y + 7*y = 7 for c.
1
Let a(x) = -x**3 + 11*x**2 + 2*x - 19. Let v = 23 - -3. Let h be 22/(-4)*(-52)/v. Let r be a(h). Solve -r*d - 4*l = -5, -d = -5*d - 2*l - 10 for d.
-5
Suppose 2*a - 4 - 2 = 0. Let p be 2 + 4/(-3)*(-6)/4. Suppose -5*m - 4*d + p = 0, 3*m - 4*d - 35 + 7 = 0. Solve 0 = -4*c - 5*x - 4 + 3, -a*c + x = -m for c.
1
Suppose 32*v = 17*v + 60. Suppose 3*m + 12 = 5*t - 10, -4 = v*t + 3*m. Solve 2*r = 4*w + 14, -t*r = w + w + 16 for w.
-5
Let q be 2/4 + (0 - (-2)/(-4)). Let u be 8*-3*1/(-2). Solve -2*j = -5*s - 24, 4*j - u = -q*s + s for s.
-4
Let z = 1778 - 1775. Solve -l = -5*c + 13 + z, -4*c - l + 20 = 0 for c.
4
Let x be (-30)/(150/(-10)) + 0/((-6)/2). Solve -2*f = 75*y - 78*y - 16, -2*f - x*y + 6 = 0 for f.
5
Suppose 63 - 19 = 22*t. Suppose -t*b - 3*b = 5*c - 85, 19 = c - b. Solve 3*p - 4*q + q = c, 0 = -4*p + 3*q + 23 for p.
5
Suppose 0 = -4*a + 4*x - 16, -4*x - 4 = 2*a - 26. Suppose 5*y - 2*p - 12 = a, -p = -2*y + 5. Solve -n + v - 16 = -y*v, -5*v + 33 = 2*n for n.
4
Let b be (0 - (-44)/24)*6. Suppose -12*u + b*u = -4. Solve -9 = 3*n + 6, 0 = -2*y + u*n + 26 for y.
3
Suppose 15 = 17*u - 22*u - 5*m, 0 = u - 4*m - 32. Let z be (3 - 2) + (23 - 0). Solve -3*s + 13 = w, -u*s + z + 8 = 5*w for s.
3
Suppose -6 = 2*z - 4*z. Let k(y) = -8*y - 53. Let i be k(-7). Suppose i*b = 2 + 1. Solve 5*c + b = -0*t - z*t, 2*c = 2*t - 10 for c.
-2
Let h be ((-21)/(-24) - 1)*-38 - (-85)/340. Solve -h*r - x = -19, 3*r + 3*x + 38 = 7*r for r.
5
Suppose 23 = -26*t - 783. Let l = t + 32. Solve -3*w + i = -w - 1, i + l = -4*w for w.
0
Let w be 2/5 + 5/(25/(-2)). Suppose w = -2*g + 4*g + 4*j - 84, -210 = -5*g - j. Let d = g - 36. Solve -d = -2*l - 4*p, 3*l + 2*p - 6*p = -1 for l.
1
Let r(n) = 37*n - 69 + 129 - 14*n - 150. Let a be r(4). Solve 3 = -z - 3*o - 0*o, 0 = -a*z + 5*o + 5 for z.
0
Suppose 5*y - 10*y = -4*i + 7, -2*i - 4*y = -10. Let h(v) = -5*v - 9. Let c be h(-3). Suppose t = 3*t - c. Solve -4*o + 2*l + 3 = -i, 5 = 5*o - t*l for o.
4
Suppose -3*h + w = -12, -5*w = 2*h - 3*w - 16. Let j(i) = 2*i**2 - 11*i + 8. Let x be j(h). Solve 2*v - x*d = -17, -3*v + 5*d - 11 = 16 for v.
-4
Let j(k) = -k**3 + 9*k**2 + 20*k - 215. Let f be j(7). Solve 0 = 2*a - d + 11, -49*a - f = -44*a + 2*d for a.
-5
Let v = -16529 + 16531. Let j = -1 + 10. Solve -6 = -2*l + 4*k, -2*l = l - v*k - j for l.
3
Let v be 40/6 + 1/3. Let f = -492 - 718. Let x = 1213 + f. Solve -5*q = s + s - v, x = s + 2*q for s.
1
Let d be 25/20 - ((-3 - 3) + 210/40). Solve -4*m - 2 = 5*h - 12, 0 = h + d*m - 8 for h.
-2
Let n(r) = r**3 + r**2 - 4*r + 1. Let q be n(2). Suppose 6*h - 7*h + 2*s = -14, 0 = s + q. Solve -8 = 4*k, -h*c - 5*k - 10 = -0*c for c.
0
Suppose 0 = 3*y + 3*z - 21, 0 = -5*y - 2*z - 74 + 91. Solve -31*q + 33*q = -3*m + 17, 0 = -4*q + m - y for q.
1
Suppose 0 = 4*r + 3*q - 24, r - 2*q + 0 = -5. Let i be (r - 4)*-3*(-4)/(-6). Let b be 1/4 - (-8)/(96/45). Solve 4*a - b*t - 26 + 2 = 0, 5*t + 18 = i*a for a.
4
Let a be (-4)/((-4)/(-1))*-31. Let i = a + -33. Let x be (2/6)/(i/(-36)). Solve -5*g - l + x = 0, 0*l = 3*l - 3 for g.
1
Let i = -4903 + 4903. Solve i = 3*j - 9, q + 55 - 48 = 2*j for q.
-1
Let x(o) = -o**2 + 324*o + 2323. Let n be x(-7). Solve 0 = -5*i - 4*a + 3 - 13, 0 = -3*i + 3*a - n for i.
-2
Let b be 660*((-9)/(-2) - (14 + -9)). Let f = 335 + b. Suppose -6*r + 3*r = 0. Solve r = -5*a + f*k - 10, 3*a - 5*k = 5*a + 18 for a.
-4
Let r = 22 - 17. Let c = 810 - 809. Solve -r*z + c = 4*t, 3 = 5*z + 3*t + 6 for z.
-3
Let v be (-12 + 36/(-16))*-8*1. Suppose 0 = -2*p + 120 - v. Suppose -n = 4*n. Solve -6 = a + 3*m, n = -2*a - m - p*m - 6 for a.
3
Suppose 27 = 3*d - 5*s - 9, 0 = 3*d + 5*s - 36. Suppose -f - 3*i = -i - 1, 2*i = f - 5. Solve w + 2*o + f = -2, -3*w - d = 3*o for w.
-3
Suppose -206 = 3*f + m, 3*f + 344 = m + 136. Let a be (2/4)/(4 - f/(-18)). Solve 4*y + a = -3*k - 5, 2*k + 12 = 4*y for y.
1
Let n(y) = 3*y - 75. Suppose 23*k - 175 = 16*k. Let m be n(k). Solve -4*h