20. Let i(c) = 3*b(c) - 5*v(c). Let f be i(9). Let m be f/10 + (-12)/20. Solve 0 = -m*l - 3*l + 15 for l.
3
Let i(v) = 5*v**2 - 133*v + 261. Let q be i(2). Solve 915*u - q = 910*u for u.
3
Suppose -10*o + 6*o - 11*o = 0. Suppose o = -7*v - 0*v + 35. Solve -20 = v*p - 10*p for p.
4
Suppose -74*m + 78*m = 48. Let t be -2*(1 + m/(-4)). Solve -t*j - 3 = -j for j.
-1
Let m be 8 - -1 - (48 + -39). Solve 0*n + m*n = 4*n for n.
0
Let w = 1025 + -567. Suppose 455*a = w*a - 9. Solve 0 = -3*s - a*s for s.
0
Let h(c) = 10*c**2 + 15*c + 26. Let x be h(-4). Let y = -123 + x. Solve 5*r - 4*r - y = 0 for r.
3
Suppose -3*m + 5*r + 322 = 0, m - 53*r + 58*r - 94 = 0. Solve 68 = 36*u + m for u.
-1
Suppose -2*u + 2*m = -7*u + 16, 3*u = 3*m - 3. Let f be (-18)/(-5 + u) - 5. Solve -f - 4 = p for p.
-5
Let l be (1 + 5/(-3))*(-10 - -1). Suppose -t + 14 + 6 = 4*r, -4*r + 20 = 2*t. Solve t = 2*c - 8*c + l for c.
1
Let l = -70 - -74. Solve 37*w - l = 38*w for w.
-4
Let n(x) be the first derivative of 5*x**3/3 - 15. Let m be n(-1). Suppose -3*q - 7 - m = 0, 4*y - q - 36 = 0. Solve -3*h = h + y for h.
-2
Suppose z + 202 - 270 = 180. Solve -19*h = -210 + z for h.
-2
Let g = -1012 + 1016. Let q be -6 - (-12)/g*11. Solve 3*a = 36 - q for a.
3
Let n(s) = s**2 + 20*s - 45. Let v be n(4). Solve -9*x + v*x = -84 for x.
-2
Let t be 3 - (-5 + 0 + 8). Let x be (8 - 8)/(2 + t). Suppose 7*j - 43 + 22 = x. Solve j*q + 4 = -5 for q.
-3
Suppose 9*m + 5*m - 42 = 0. Suppose -m*x = -3, -6*p = -2*p - x - 47. Solve 16*h = p*h + 12 for h.
3
Suppose -2*r + 2*k + 40 = 0, 0*r - 2*r + 28 = -4*k. Solve -30*c = r*c - 57*c for c.
0
Suppose -388*h - 4*b - 12 = -391*h, 5*h + b = -3. Let j = 27 + 6. Solve 7*l + 4*l + j = h for l.
-3
Let w = -273 + 292. Suppose 7*x - w = 23. Solve 4 = 2*j - x for j.
5
Let c be ((-4)/8)/((-1)/370). Let q = -183 + c. Suppose 4*o - 13 = -5*z, 3*z = 5*o - z - 6. Solve -o - q = g for g.
-4
Let x = 667 - 1171. Let a = -492 - x. Solve 0*m - 3*m = a for m.
-4
Let b be (1/4)/(10/(-20))*-2. Let v be b/(-6) - (-2)/((-108)/(-387)). Solve -v*f = -10*f - 15 for f.
-5
Let h(f) = 3*f - 13. Let u be h(5). Suppose u = -8*y + 202. Solve -l = 4*l + y for l.
-5
Suppose 3*p - 239 = 118. Suppose 0*w - p = -17*w. Solve 4*k + 9 = -w for k.
-4
Let o = -17922 + 17940. Solve o*f - 118 = -28 for f.
5
Let p(h) = h**2 - h + 1. Let t be p(-1). Let z be 2/t*-3 - 522/(-9). Solve -z = u - 61 for u.
5
Let g be 16/(-56) + 544/(-7). Let q = g - -82. Solve -4*h = -3*h + q for h.
-4
Let b be 25*(-5)/10*32/(-10). Suppose -2*c = -2*d - b, 13*c - 8*c + 5*d = 120. Solve -c = -h - 27 for h.
-5
Suppose 2*d + 12 = 8*d. Suppose -4*a + a = 0, -5*a = 3*p - 132. Let x = -42 + p. Solve d = -c - x for c.
-4
Let u = -3 + 3. Let m = 13572 + -13572. Solve u = -m*d - d for d.
0
Suppose 4*o = -b + 2*o + 18, 0 = 5*b - 5*o - 75. Let j = 16 - b. Suppose -4*p = -13*p. Solve j = 3*q + 3 - p for q.
-1
Let j(w) = -536*w - 12314. Let o be j(-23). Solve -o*u = -33 + 19 for u.
1
Let p = -3048 - -3182. Solve 0 = 4*x - p + 110 for x.
6
Let o be (82 + -82)/(-7 + 5). Let j = -11 - -44. Solve o = 3*s + j - 21 for s.
-4
Suppose 3 = -c, -c = 4*k + c - 70. Solve -l - 20 = -k for l.
-1
Let o be (-2 - 11/(-6))/((-1)/6). Let b be ((-80)/32)/(15/(-12) + o). Solve 0 = -3*z - b + 4 for z.
-2
Let f be (-7017)/(-8) - (-1)/(-8). Solve 25 = -f*x + 882*x for x.
5
Let x be (-14)/63 - 2117/(-9). Let p = -231 + x. Solve p*y = -17 + 9 for y.
-2
Let p(u) = u**3 - 17*u**2 + 95*u - 1. Let q be p(9). Solve q*b - 214*b - 8 = 0 for b.
-1
Let b = -283 - -303. Suppose -b*c + 14*c = 0. Let i = -24 + 30. Solve -3*d + i + c = 0 for d.
2
Suppose -p + y = p - 30, -4*y = 4*p - 48. Let i be (-105)/p*(-20)/25. Solve 4 = i*g + 22 for g.
-3
Let s = 343 + -339. Let d = 85 - 73. Let v be 0/(1 - (-2 + 6)). Solve -s*o + 0 - d = v for o.
-3
Let v be -3*1 + 1100/(4 + -14). Let i = 116 + v. Solve -i*l - 4 = -4*l for l.
4
Let v be 8*(848/(-80))/(16/(-30)). Solve -16*t = v - 207 for t.
3
Let z(h) = -h**3 - 11*h**2 - 19*h - 3. Let n be z(-9). Suppose -o + n = f, -19 = -5*f - 2*o + 5. Solve 2*d = 6 - f for d.
1
Let x = 13 - 7. Let b(l) be the first derivative of l**3/3 - 22*l + 45. Let y be b(5). Solve y*i = -0*i - x for i.
-2
Let h be (-1512)/96 + 1/(-8)*2. Let t be 19 + h + 1*2. Solve p = 6*p - t for p.
1
Let t(j) = j**2 + j - 16. Let i be t(-6). Let a = i + -14. Suppose -5*y - 25 = 0, 6*m - 8*m - y + 1 = 0. Solve a = 4*g + 7 - m for g.
-1
Let k be (8/(-14))/(26/(-91)). Suppose -21 = -k*m - 5*m. Suppose -13*y = -12*y - m. Solve -y*p - p = 0 for p.
0
Let s(z) = 2*z**2 + 12*z - 317. Let n be s(-16). Suppose o = 5*o. Solve 2*x - n*x = o for x.
0
Let x be (-6)/(-27) - 313/(-9). Suppose -4*l + x = 4*z - 1, 4*z = 3*l - 27. Solve 0 = -3*g - 0*g + l for g.
3
Let q(p) = 4*p + 1. Let z be q(1). Let x = -68768 - -68768. Solve x = -z*o - 8 - 7 for o.
-3
Let r(m) be the third derivative of -m**5/30 + 25*m**4/24 + 15*m**3/2 - 15*m**2. Let n be r(14). Solve -3*x = -2*x + n for x.
-3
Let y(h) be the third derivative of -h**4/24 + 11*h**3/3 - h**2. Suppose -5*u - 2*d + 86 = 0, 3*d = -5*u - 2*d + 80. Let s be y(u). Solve 2 = s*j - 10 for j.
3
Let m(y) = 212*y + 1096. Let i be m(-5). Solve z - i = -17*z for z.
2
Let n(i) be the first derivative of i**3/3 + 21*i**2 - 25*i - 112. Let c be n(-44). Solve -c*b - 5 = -58*b for b.
-1
Let m be 135/65 + -2 + (-4872)/(-377). Solve -32*b = -m*b + 95 for b.
-5
Let h(p) = p**3 - 12*p**2 - 18*p - 136. Let n be h(14). Suppose 5*a - d - 19 = 0, n*a + 2*d + 17 = 7*a. Solve -a = 5*x + 12 for x.
-3
Let z(q) = 14*q**2 - 18*q + 23 - 27*q**2 + 11*q**2. Let a be z(-10). Solve -3 + 3 = a*u for u.
0
Suppose 2*y = -4*t + 246 + 20, -4*t + 3*y = -301. Solve 10 = 15*k + t for k.
-4
Suppose 566*c = 575*c - 324. Solve 406 = c*m + 154 for m.
7
Let w be 20*(-2)/(-8) - (6 + 59). Let a = 80 + -136. Let o = a - w. Solve o = 3*d - 4*d for d.
-4
Suppose 88 = 360*i - 359*i. Suppose 58*r - 69*r + i = 0. Solve 2 = 2*k - r for k.
5
Let y(f) = -2*f + 21. Let x be y(7). Suppose 3*j - g - x = 4, 4*g = -20. Let b be 3 - 6/(-9)*3. Solve b*c + 8 + j = 0 for c.
-2
Let m = 575 - 575. Let o = -6 - -9. Let g = 7 + -7. Solve o*u + g*u = m for u.
0
Let o = 1065 - 1025. Solve -27*s + 39 = -o*s for s.
-3
Let f(c) = 551*c - 1083. Let u be f(2). Solve -u*j - 10 = -21*j for j.
5
Let j(l) = -2*l**2 - 8 - 2384*l + 2386*l + 3*l**2. Let a be j(2). Solve 2*b - 24 + 26 = a for b.
-1
Let j(g) = -2*g**2 + 43*g - 39. Let b be j(18). Solve -24*i - 5*i + b = 0 for i.
3
Let l = 2195 - 2168. Solve 30*z - l - 3 = 0 for z.
1
Let f(l) be the first derivative of l**4/4 + 8*l**3/3 + 3*l**2 - 6*l + 113. Let z be f(-6). Solve -3*q = -9*q + z for q.
5
Let g be 1/((-32)/(-112)) + (-3)/2. Let d be -3 - -2 - (-3 + -1). Let s be d/6*0/(-1). Solve -g*b + b + 2 = s for b.
2
Suppose 3*f + 65 = n, 25*f - 23*f + 10 = 0. Suppose o - 14*a + 12*a - 14 = 0, n = 5*o - 5*a. Solve -o*j - 6 = -0 for j.
-1
Suppose -2*g + 41 - 9 = 0. Suppose 12*h = 16 - g. Let l be 0/(-17) + (h - -2). Solve l*n = -n + 12 for n.
4
Suppose 40 = 4*a - 5*z, -4*z - 31 = 4*a - 7*a. Let t = 4813 - 4806. Suppose a*y - 2 = -2*g, t*y + 14 = 6*y - 4*g. Solve -y*m - m = -12 for m.
4
Let f = 263 - 261. Let h = -13 + 40. Suppose 2*p - 2*z + 10 = 0, 5*z - h = -f*p - 2. Solve p*v + 4 = -v for v.
-4
Let h(s) = -s**2 + 1371 - 2748 + 1373 - 10*s. Let a = -7 - 2. Let b be h(a). Solve k + 4*k - b = 0 for k.
1
Let d = -1497 - -1539. Solve d*a - 28*a = 56 for a.
4
Let w(m) = -3*m**2 - 10*m + 12. Let j be w(-4). Solve -j*k = -16*k + 12 for k.
1
Suppose 866*u - 66 = 863*u. Solve 7*r + 4*r - u = 0 for r.
2
Let y be 15*(-786)/(-30)*(-4 + 5). Solve -s = y - 401 for s.
8
Suppose 55*k + 119*k - 1057 = 23*k. Solve -9*d - k = 20 for d.
-3
Suppose 5*i = -6*w + w + 1245, 0 = -2*i + 2*w + 514. Let h = i - 248. Solve -5*a + 0*a + h = 0 for a.
1
Suppose 63*m - 12*m = -72*m - 0*m. Solve -80*d + 75*d = m for d.
0
Suppose 3*b = 2*w + 50, 4*b + 5*w - 49 - 10 = 0. Let v be 1/2*-3*b/(-3). Solve 0 = -v*t - 7*t + 11*t for t.
0
Suppose 4*k - 554 + 202 = 0. Let m = k + -84. Suppose -r + 32 = 12. Solve 0 = -9*o + m*o - r for o.
-4
Let u be ((-14)/3 - -2)/(436/(-327)). Solve 20 = 6*d + u for d.
3
Suppose 0 = o + 5*i - 10, -16*i + 19*i = o - 2. Let b(a) = -a**2 + 10*a - 18. Let z be b(7). Solve -2*t - z*t = o*t f