3*s, 0 = 4*h + 4*s + u for h.
0
Suppose -2*g + 131 = 2*w - 7*g, -g = -2*w + 111. Suppose -2*n + 53 = w. Suppose -3*k + 10 + 2 = n. Solve -2*i + 3*v = -0*v - 10, 0 = -i - k*v - 6 for i.
2
Let z = 33873 - 33864. Solve z*l + a = 5*l - 8, 0 = -2*l + a + 2 for l.
-1
Suppose -2*f - f - 54 = -p, f - 152 = -3*p. Let n = 54 - p. Let w be 8/(-3)*99/(-44). Solve -s + 5 = -2*r, 2*s - n*r - w = -0*s for s.
-3
Suppose -3*f = -6*f + 4*h - 1, f + 4*h = 21. Suppose -s + f*a - 2 = a, -9 = -2*s - 5*a. Solve -l = 5*c - 4 - 0, -4*l - 6 = -s*c for c.
1
Suppose 6*y - 7*y - 11 = 0. Let j = 1 + y. Let t be -2 + 7 + j/(-10). Solve d - p = -t - 3, 2*d - 12 = -4*p for d.
-4
Suppose 91 = 29*s + 932. Let b = s + 33. Let t be (1 - -9)*(-4)/(-10). Solve 5*n = -2*z + 9 + 3, b*n = -3*z + t for z.
-4
Suppose 27*o - 273 - 132 = 0. Solve 0 = -g - 3*t + 4, 0 = -o*t + 14*t for g.
4
Let n be (4 + 2 + -2)*(-7 - -8). Suppose -2*t + 3 = 7. Let a be -2*7/(-7) - (-4)/t. Solve a = -n*r - 5*f + 5, -5*f + 2*f = -3 for r.
0
Suppose -v = -15*v + 42. Suppose -v*y + a + 12 = 5*a, y + 5*a - 4 = 0. Solve y*o = q + 5 - 1, -4*q - 5 = -5*o for o.
1
Suppose -938 + 2019 = 23*t. Let q be (-78)/2 + -1 + 1. Let h = t + q. Solve 5*c - c - 4*d - h = 0, 5*c - 16 = -d for c.
3
Suppose -a - 5 + 1 = -3*s, 0 = 2*s + a - 11. Suppose -1477 - 122 - 1320 = -1184*h - 551. Solve -2*f + s*n = 0, f + 2*f + h*n = 13 for f.
3
Let a(t) = -91*t**2 + 15*t + 1. Let c(y) = 30*y**2 - 5*y. Let x(r) = -6*a(r) - 17*c(r). Let d be x(-1). Solve 4*i = 2*m - 12, 5*m + i + d = -2*i for m.
-4
Let d be 10/(-3)*(-48)/32. Suppose 12*q = 12*q + d*q. Solve 3*t + 4*x + x + 4 = q, -3*t = -3*x + 12 for t.
-3
Let v = 1285 - 1282. Solve v*j - 1 + 13 = p, -12 = -5*p - j for p.
3
Let b be ((-2)/4)/(1/(-6)). Suppose -4*s - 16 = 0, 3*s = b*a - 4*a + 16. Let t be (-8)/36 - (-77)/63. Solve -5*h = -d + a, 4*d + 14 - t = -5*h for d.
3
Let q = 75 - -118. Let x = q - 175. Solve -c + 4*k = x, -k + 3*k = 2*c + 6 for c.
2
Let l = 4984 - 4981. Solve 11 = 13*s - 15*s - 5*h, -h = 3*s - l for s.
2
Let b(f) = 14*f - 110. Let x = 395 + -387. Let g be b(x). Solve -j + g*j = -4*i + 14, 5*i - 10 = -5*j for j.
-2
Let n = -42 - -55. Suppose -19*f = -n*f. Suppose 6*g - 11*g + 20 = f. Solve 5*q = g*h + 32, 3*h - 3*q + 8 = -13 for h.
-3
Let w = 2496 + -2490. Solve -3*c - w = -2*q, -5*q - 16*c - 4 = -14*c for q.
0
Let d = -13 + 12. Let c = 19 + d. Let v be (-1)/4 + c/72. Solve v = -2*q - 5*l - 4, 0*q = q - 3*l + 2 for q.
-2
Let l be -2 - (-4*2)/1. Let j be 25/(-15) + 0 - (-154)/33. Suppose 2*f - 6 = -2*g + f, j*g + 3*f = l. Solve 1 = -5*t + 5*r - g, -2*r = t + 4 for t.
-2
Let c = 227 + -542. Let h be 180/c - (-4)/7. Solve 0 = 3*w - 5*w - 2*x + 6, h = 5*x - 20 for w.
-1
Let w(h) = -5*h**3 + 375*h**2 - h + 79. Let v be w(75). Solve 4*y - 1 = -3*r - v, 0 = -5*r + 3*y + 24 for r.
3
Let u(r) = -r**3 - 14*r**2 - 13*r - 47. Let n be u(-13). Let t = n + 52. Solve -1 = -f - t*z, 3*z - 34 = 4*f - 15 for f.
-4
Let d(r) = -2*r - 8. Let v be d(-3). Let b be 1/((-30)/(-12)) + v/5. Let q(y) = -2*y**2 + 24*y + 2. Let t be q(12). Solve 4*h - 12 = t*o, b = h + 4*o - 3 for h.
3
Let q be 198/54*3 + 7. Solve -5*z + q - 37 = 2*s, -z - 8 = -s for z.
-5
Let z = 17404 - 17330. Solve 5*h + 10 = 5*k, 4*k - z = -5*h - 102 for k.
-2
Let h = 3262 + -3257. Solve 3*i = 5*k - 17, 0 = -2*k + h*k - i - 7 for k.
1
Let q = 224 - 218. Let u be (q/(-5))/(49/70 + -1). Solve 0*t - u = t, 0 = -4*f + 2*t - 8 for f.
-4
Let g be (-2 + (-28)/(-12))*-3 + 18. Suppose -3 = -g*n + 48. Solve 25 = n*t - 8*t, 20 = -2*w - 4*t for w.
0
Let u(p) = -5*p**3 - p**2 + 6*p + 5. Let l be u(-1). Solve -5*a - 23*q = -25*q + 1, l*q + 7 = -a for a.
-1
Let i = -3874 - -3874. Let r(b) = -b**2 - 12*b - 12. Let h be -10 - (9/3)/(-3). Let z be r(h). Solve -3*m = i, 5*n + z = 2*n + 2*m for n.
-5
Let y = 40125 + -40107. Solve 5*x - 20 = 0, 17*x - 6 = 2*k + y*x for k.
-5
Let j(b) = 40*b - 2000. Let h be j(50). Solve 0 = -4*q + 12, h = 5*l - 8*q + 11*q - 19 for l.
2
Let s = -32 + 22. Let t(x) = -14*x + 48. Let l(c) = 5*c - 16. Let h(i) = 17*l(i) + 6*t(i). Let a be h(s). Solve 0*o = y - 2*o - a, 3*y = o - 2 for y.
-2
Let i = -632 + 632. Let n(w) = w**3 + 11*w**2 + 8. Let l be n(i). Solve l = -2*h, -5*b - h = 6 - 22 for b.
4
Let l be (-45)/(-225) - (0/(-3) - 29/5). Solve 3*w - 71 = -3*r - 89, -4*w - l = -5*r for w.
-4
Suppose 0 = -20*w + 785 - 765. Solve 3*h + 10 - w = 0, 3*g + 2*h = -21 for g.
-5
Let d = -6751 + 6753. Suppose r = 5*r - 8. Solve -d*l - 1 = -c - 5, 5*c - 12 = r*l for l.
4
Let u(o) = 2*o**3 - 154*o**2 - o + 80. Let y be u(77). Solve 0 = 5*t + 3*v + 2*v + 10, -v = y*t for t.
1
Let d be (-52)/(-3)*(11 + -8). Let c(t) = t**3 - 9*t**2 + 7*t. Let p be c(7). Let i = p + d. Solve 3*f - 2*u = -4, -4*u = -i*f - 1 - 7 for f.
0
Let f be 4/14 + (308/(-49) - -8). Solve 3*b - 3*m + 18 = 0, -6*b + 9*b + f*m + 8 = 0 for b.
-4
Suppose 3*m = -20*m - 5*m. Let p be -14*(1/3)/((-28)/24). Solve 0 = -2*w - 4*n + 14, m = -p*w + 5*w + n - 2 for w.
-3
Let u be -4 + 1 + (38 - 0). Suppose -5*k + 3*h = -235, -k + 2*h + u = -h. Suppose -6*r + k = -r. Solve -4*j - j + 19 = -f, -3*j + 2*f + r = 0 for j.
4
Suppose -6 + 14 = 30*t - 52. Solve -2*n + 10 = 25*h - 26*h, t = -2*n - h for n.
2
Let p = -8 - -18. Suppose -4 = 9*r - p*r. Suppose 17*k - r*k - 91 = 0. Solve 6 = -s - 2*j + 1, -4*s + j = -k for s.
1
Suppose 2*w = -5*x - 535, -50*x + 52*x = -4*w - 214. Let q = x - -112. Solve 0 = -q*j + 4*j + 4*h, h = -4*j for j.
0
Let b be (-7)/1 - ((-5 - 7) + -7). Solve -6 = 3*j - 5*m, 5*m - 6*m - b = -5*j for j.
3
Suppose 225 = 57*g - 75 + 72. Solve 0 = -2*u - 5*v - 14, -12*v + 11*v = u + g for u.
-2
Suppose -2*o + 3*r = -16, -5*o - 3*r = 5 - 3. Suppose -5*u = -0*u + 15. Let p be ((2 - -2) + u)*o. Solve 4*m + 10 = -p*s, 0 = -m - 3*s + 5 for m.
-4
Let d(u) be the second derivative of u**4/12 - 5*u**3/6 - 61*u**2/2 - 2*u - 88. Let c be d(-6). Solve w - 1 = -0*w, c*x + 3*w = 18 for x.
3
Let d be (-45)/(-24) - (3/20)/(96/(-80)). Solve -4*l + 6 - 3 = h, -d*l = -h + 3 for l.
0
Let u(b) = 3*b**2 + 9*b - 8. Let t be u(-5). Suppose t*j = 16*j + 18. Suppose p = -0 + j. Solve -p*n + 0*n = 0, -3 = -s - n for s.
3
Let c(r) = -r**3 - 6*r**2 + 6*r - 3. Let q be c(-6). Let x = 156 - 116. Let i = x + q. Solve 0 = -4*l - 12, 2*v + 4*l + 19 = i for v.
-3
Suppose -120*n - 508 + 748 = 0. Solve -2*r + n = 2*s, r + r - 2*s + 6 = 0 for r.
-1
Let s(p) = -p**3 - 44*p**2 - 220*p + 56. Let o be s(-6). Solve o = -2*n - n - 4*f, n = -4*f - 16 for n.
4
Let g be (-2)/(((-130)/39)/5). Solve -3*j - 21 = 4*o, g = 9*j - 10*j for o.
-3
Let m(d) = 99*d - 2372. Let o be m(24). Solve -o*q - 24 = 3*w, 10*w - 5*w + 23 = -q for q.
-3
Suppose -2 + 14 = -2*f, -15 = -3*s + 2*f. Solve u + 8 = -3*j + s, -5*u - 15 = -5*j for u.
-4
Let r(a) = -a**3 - 33*a**2 + 7*a - 58. Let b be r(-33). Let y = -289 - b. Solve y = -c + t, -2*c - 24 + 4 = 2*t for c.
-5
Let f be (-16)/152 + -4 + (-308)/(-38). Solve 17*p - n - f = 13*p, 4*n - 8 = 4*p for p.
2
Suppose -2*q = y - 5, 0 = y - 3*y - q + 13. Suppose -18 = -2*d - y*d. Solve 22 = 2*c + 5*r, -3*c - 3*r - d*r + 23 = 0 for c.
1
Suppose -3*a - 12 = -7*a. Suppose 0 = d + 2*r - a*r, -3*r = -9. Let z be 12*(124/(-12) + 11)*(-2)/(-8). Solve -m = 4*h, -2*m - d*h + 3 = -z for m.
4
Let h(j) = 107*j - 31*j - 39*j - 35 - 32*j. Let g be h(7). Solve -3*k + 3*i - 9 = g, 3*i = -3*k + 2*i + 11 for k.
2
Let y be -6 + (22 - 2) - 4. Suppose 106*w = 108*w - y. Solve 4*f - 31 = w*l, 4*l - 2*f + f = -16 for l.
-3
Let m(y) = -y**3 + 28*y**2 - 160*y + 5. Let v be m(20). Solve v*q + 3*a + 3 = 13, -9*q + 2*a = 19 for q.
-1
Suppose -87*j + 91*j - 64 = 0. Suppose 0 = 3*y + 2*i - 14, 5*i - j = -y - 7. Solve 5*k = r, -y*k + r = -r for k.
0
Let r = -29 + 33. Suppose -186 = r*n - 266. Solve -n = 5*h - 2*c, 2*h - c = h - 7 for h.
-2
Let a(q) = 26*q**3 + 599*q**2 + 17*q - 133. Let l be a(-23). Solve 0 = 3*w - 2*w + 3*k - 15, 0 = -5*w + k - l for w.
0
Let r(t) = 7*t - 2. Suppose 3*l = 3*u - 11 + 2, 4 = -4*l + 2*u. Let x be r(l). Suppose 0*a = x*a - 35. Solve -4*i = -a*i - v + 16, -4 = -v for i.
4
Suppose -17 = -5*b + 3*y, 129*b = 134*b + 3*y - 23. Solve 4*j - 5 = 5*j + 2*t, 0 = -3*j + b*t + 25 for j.
3
Suppose -176*t + 377 = -309 - 194. Solve 0 = 5*n - 4*s - 10, -t*n + 4*s - 3*s = -10 for n.
2
Let p(d) = -7*d - 25. Let