ppose -4*n + m = 177, 5*n + 129 = 2*n + 2*m. Let b = 47 + n. Solve f - 4*i + 3*i = -b, 4*f + 2*i = 16 for f.
2
Let d(q) = -5*q - 86. Suppose -m + 2*m - 38 = 2*b, 2*m = -5*b - 86. Let f be d(b). Solve -2*k = 3*c + 7, c - f*c - 5*k - 4 = 0 for c.
-3
Let w(x) be the first derivative of x**3/3 - 3*x**2 + 9*x + 57. Let f be w(3). Solve f = -5*j + 2*a + 1 - 24, -4*j - 3*a = 0 for j.
-3
Let t(f) = 4*f - 9. Let l be ((-16)/24)/(3/(-9)). Suppose -l*m + 2*g = 0, -5*m + g + 12 = -g. Let s be t(m). Solve 2*q = -10, q = 5*r + s - 27 for r.
3
Let y be 14/4*(-74)/(-37) - 2. Solve -2*x = -4*s + x + y, -x = 2*s - 15 for s.
5
Let t = 8719 + -8715. Solve 0 = -5*i + 5*u + 10, 0 = -2*i - u - t + 8 for i.
2
Let w(x) be the third derivative of 11*x**4/12 + 269*x**3/6 - 194*x**2. Let k be w(-12). Solve 40 = 5*v - k*f, -2*f = -4*v + 14 + 8 for v.
3
Let h be (150/40 + -4)*-8. Solve -2*l + 2 = -y, h*y - 19 = 5*l - 22 for y.
-4
Let u be -7*(-45)/5*(-1)/(-3). Suppose -18*n + 11*n = -u. Let l be (-1)/(n/(-30)) + -4. Solve -f - l = -5*r - 16, 5*r = -10 for f.
0
Let q be ((-4)/(-4) - -4) + (-80)/80. Solve -30*n - q*d + 32 = -27*n, 3*d + 1 = 4*n for n.
4
Let v(u) = -18*u + 13. Let g be v(-4). Suppose -g + 75 = -5*s. Suppose 5*n - 8 - 18 = -3*k, -n = s*k - 8. Solve k*i - y - 10 = 0, 4*i - 6*i = y - 10 for i.
5
Let y(v) = -1 - 1 + v**2 + 5*v**2. Suppose -12122 + 12164 = 42*j. Let l be y(j). Solve -5*t + 3*r = l*r + 15, -4*r + 8 = 3*t for t.
-4
Let r(u) = -16*u**2 + u + 4. Suppose 5 = 5*n - y, -10 = -y - y. Let o be r(n). Let x = o - -61. Solve 4*h = -5*l - 17, -l = x*h - 4*l + 6 for h.
-3
Suppose 4*r - 5*a + 24 = 5*r, 5*r + 4*a = 36. Solve 5*j = r*p - 37 - 8, -30 = 3*j - 3*p for j.
-5
Let r be (-2475)/30*4/(-5). Suppose 0 = -p + 56. Let u = r - p. Solve u = 5*v - g + 2*g, 4*g - 16 = 4*v for v.
1
Let r be ((-3700)/(-592))/(1/4). Solve -27*w - 2*f = -r*w - 2, 2*f + 2 = 0 for w.
2
Let o be (0 - (-1 + 3))*(-20 + 3 - -16). Solve -11 = 3*x + u, 4*x = 3*u + o*u + 17 for x.
-2
Suppose -3*s + 0*s + 7 = -4*c, -3*s + 25 = 5*c. Let g(j) = s*j - 20*j + 13 + 14*j. Let b be g(11). Solve 0 = h + k - 2, -2*h + 6 - b = -3*k for h.
2
Let u = -1 + 1. Let h be ((-1159)/183)/(9/(-27)). Solve -2*q = -r - 2*r + h, u = -r + 3*q + 18 for r.
3
Let y = -23 - -27. Solve -2*j + 14 = -s, -16 = -y*s + 8*s for j.
5
Let s be 135/5 - (-97 + 116). Solve 5*v = 3*p - 26, 0*p = 4*p + 4*v + s for p.
2
Let l = -89 - -134. Solve 0 = -2*r - s + 2*s - 15, -5*r + 4*s - l = 0 for r.
-5
Let p be ((-105)/(-45))/((-8)/6)*-52. Let h = p - 91. Suppose -4*n + 20 = -h*n. Solve -16 = -4*x + 2*y, n*x + 2*y = -0*x + 2 for x.
2
Let z(v) = 12*v**2 - 77*v - 593. Let c be z(11). Solve -10*a - c = 4*k - 14*a, -25 = -5*a for k.
2
Suppose -208 = -7*o + 3*o. Suppose o = -3*g + 7*g. Let l = -8 + g. Solve 2*u + u = -15, l*u = -q - 23 for q.
2
Let y be 0/(-1 - (1 + -1)). Let u(c) = -6*c + 16. Let j be u(-5). Let m be (-7)/(-56) - j/(-16). Solve -k - 12 = -2*l - 0*k, y = l + m*k + 8 for l.
4
Let f(x) = x**3 - 3*x**2 - 2*x + 5. Let y = 23 - 19. Let m be f(y). Suppose -3*k = i + i - m, -4*k + 22 = 5*i. Solve -4*d = 3*n - d + 3, i*d - 3 = -n for n.
-5
Suppose -25*o + 115*o - 575 = -25*o. Solve i - 14 = 4*a - 0*i, 18 = -o*a + i for a.
-4
Let h = 6406 - 6403. Solve 0 = 2*c - 129 + 127, h*c = 2*x + 9 for x.
-3
Suppose -3*u - 26 = 340. Let r = 14 - u. Suppose -144 - r = -10*s. Solve -2*y - 2*y + s = 4*o, 4*y - 16 = 2*o for y.
5
Suppose 58*h - 12 = 52*h. Solve 3*p + h*v - 3*v - 7 = 0, -3*v + 19 = p for p.
4
Suppose -2*z + 5 = -z. Let k(s) = 9*s + 3*s - 6*s - s**2 + 14 + z*s. Let g be k(12). Solve -2*n + 2*l = -3*n - 10, 0 = -g*n + 2*l + 10 for n.
0
Let r = 104 - 134. Let c = r + 45. Suppose 20*v = c*v + 10. Solve -v*m - n + 1 = -2*n, -3*m = -4*n + 11 for m.
3
Let p = -4 + 10. Let a(f) = 20*f**3 + 4*f - 4. Let q be a(2). Suppose -2*g - 158 = -q. Solve 0 = -g*o + p, 2*b + 2*b - 2 = o for b.
1
Let u be ((-4)/(-1))/4*0. Suppose -2*l + 5*l + 6 = u. Let b be ((-4)/l + 1)*12/9. Solve -8 = 2*t + b*m, -3*t - m = 2*m for t.
4
Let j(z) be the first derivative of z**3 - 19*z**2/2 + 11*z - 45. Let r be j(6). Solve 5*c + 1 + 0 = 4*w, 0 = -r*c - 5*w + 35 for c.
3
Let n(j) = 3*j**3 - 37*j**2 + 12*j + 2. Let v be n(12). Solve v*u = 5*x - 26, -22*x = -24*x - 4*u - 4 for x.
4
Let w be (-16)/9*1 + 2/(-9). Let h(v) = v**3 + 2*v**2 + v + 3. Let b be h(w). Let a be (10 - (-6 + 12))/(b*2). Solve -4*c = -4*l - 4, a*c = -l + 2 + 12 for c.
5
Let f be ((-55)/22)/(3/(-6)). Suppose 5*s - 23 = -j, 2*j - f*j + 9 = 0. Solve -5*m - 14 = a, -2 = -3*a + m + s for a.
1
Let w(j) = j + 14. Suppose 2*x - 18 = 2*i, -2*i - 7*x + 3*x + 6 = 0. Let u be w(i). Suppose u*n - 144 = 5*n. Solve -15 = -t + 5*k, n = -4*t - 2*k - 2*k for t.
-5
Suppose 2*k - n + 47 = 0, -4*n + 11 = k + 48. Let y(s) = -4*s**2 - 100*s + 4. Let l be y(k). Solve 3*d + 0 = -l*g + 13, 1 = -d for g.
4
Let b = -151 - -225. Suppose 3*i - 80 + b = 0. Let u be (-1)/(-3) + (-35)/(-21). Solve 0 = 4*k + 6 + 14, u*m + i*k = 0 for m.
5
Let z = 37 - 13. Let v be 1 + (30/(-14) - -1) - (-2680)/2345. Solve -5*l - z = 4*g - v, 3*g + 6 = 0 for l.
-3
Suppose -f = -p + 3, -2*p + 635 = -f + 627. Solve 0 = 4*y + m - 21, 4*y - p*m - 36 = -m for y.
6
Let l be (56 - 57)/(5/30*-2). Solve 5*m - b - 29 = 0, 5*b + 0 - 23 = -l*m for m.
6
Let y be 0/(3/6*-2). Solve y = -g + f + 4, 5*g + 2*f - 4*f - 14 = 0 for g.
2
Suppose -3*u - 364 = -2*j, j - 546 = -2*j + 5*u. Let z = -179 + j. Solve 5*l - z*m + 3 = 0, 2*l + 5*m + 9 = -17 for l.
-3
Let c = 5038 - 5022. Solve 3*p + 15*u = 20*u - 4, 5*p + c = -u for p.
-3
Let t be 3*113/3*2 - 3. Let q = t + -220. Solve -3*y + 21 = -3*v, -y - q*y = v - 3 for y.
2
Let z be ((-332)/(-2))/(11 - 10). Let o = z - 164. Solve b = 2*y + o, -10 = -7*b + 2*b - 2*y for b.
2
Let v be (483/42 + -10)*74/3. Solve 2*z = x - 17, 173*z = -5*x + 177*z + v for x.
1
Suppose -b = 2*y - 17, -2*y = -0*b + 3*b - 27. Let t be ((-5120)/15)/8 - 2/y. Let d = t + 45. Solve -5*c + d*g - 9 = 9, 5*c + g + 6 = 0 for c.
-2
Let o = -541 - -440. Let v = 107 + o. Solve -5*f + v = -2*m - 6, -5*m + 2*f = 9 for m.
-1
Let n(j) = -j**3 - 19*j**2 - 4*j - 55. Let r be n(-19). Solve 5*q = 4*p + r, -p + 5*q - 15 = -6 for p.
-4
Suppose 4*l + 3*y = 3 - 2, -3*y - 3 = 0. Let w(r) = 10*r**3 - 3*r**2 + r. Let j be w(l). Let o = j + 8. Solve -4*i + o = 2*q + 2, -3*i = -3*q - 24 for q.
-3
Let x(u) = -u + 12. Let s be x(10). Let t be (-2 + (-13)/(-3))*(-24)/8. Let l be 1 + 1 + t + 9. Solve -l*r + s*r = -5*i - 27, 2*i = -r - 9 for i.
-5
Suppose m - 3*m - 6 = 0. Let y be m*(-96)/90*(-15)/(-6). Solve -f - 2*p - 3 = 0, -4*f - 3*p + 0*p + y = 0 for f.
5
Let o be 64/36 + 1 - (-36)/162. Let d be (-6)/(-1 - 0) - -2. Suppose 17 - d = o*h. Solve -t + h*q + 5 = -5*t, q = -4*t - 7 for t.
-2
Let a = 27894 + -27892. Solve -a*g = -5*h - 30, 3*g + 647*h - 648*h - 19 = 0 for g.
5
Let r(d) = -3*d**2 - 14*d + 46. Let k be r(-14). Let o = -342 - k. Solve -4*m + 8 = -2*u, -2*u + o*u = 0 for m.
2
Suppose -4*m - 2*z - 3*z = -27, 4*m = -4*z + 24. Solve -2*g + 3*x = -9 + 7, 2 = -m*g + 2*x for g.
-2
Suppose -n + o = -2*o + 45, 0 = 3*o. Let v = n + 49. Suppose 5*u - 1 = 9. Solve -3*w = -v*r + 17, -u*w - 2 = 4 for r.
2
Suppose -x + r + 9 = 6*r, -3 = -x + r. Let d be x/(-8)*-3*(-24)/(-9). Suppose d*v = -4, 2*v - 2 = 2*g - 10. Solve -n + 0*n + 5*f = -19, 5*n - 7 = g*f for n.
-1
Suppose 2*i + 13 = 4*d - 7, -4*d - 2*i = -20. Solve -5*p + 50 = -8*j + 13*j, 3*j = -d*p + 40 for j.
5
Let o = 306 - 284. Suppose 0 = -3*v - p + 5, 2*v + p - 5*p = o. Solve 4*y + 5*w = 29, -v*y + w + 8 = 2*w for y.
1
Suppose 0 = -4*s - 5*i - 8, -4*i + 104 - 108 = 4*s. Solve s*y = -7*j + 4*j - 27, y - 4*j - 11 = 0 for y.
-5
Let l(r) = -752*r + 5268. Let o be l(7). Solve 2*g + 14*q - 5 = 9*q, -29 = o*g - 3*q for g.
-5
Suppose -4*s + 2*s - 13*s = 0. Let o(b) = -4*b**3 - b**2 - 2*b - 1. Let x be o(-1). Solve z + x = 0, -f + 2*z + 0 + 8 = s for f.
0
Let p = -2560 - -2567. Solve 2*i = c - 4, 3*i - 1 = -3*c - p for c.
0
Let c(a) = a**3 - 31*a**2 - 3*a + 95. Let i be c(31). Solve -i*k = 5*p + 56 - 38, k + p = -6 for k.
-4
Let k(i) = i**2 - 29*i - 699. Let r be k(-16). Solve 2*z + 4*l = -z + r, 4*z = -3*l + 21 for z.
3
Let y be 0/(-3 + 4 + 0). Suppose 4*v + p + 3*p = 0, 2*p = y. Solve 4*k = 12, v = -t - 3*t - 4*k + 16 for t.
1
Let f be -7 