 -1. Solve s = 3*c + 8, 0 = l*s - 2*c + c + 1 for s.
-1
Suppose -3*u + 4*h - 24 = u, 3*u + 3*h + 6 = 0. Let c be u/(-8) - 27/(-2). Solve -4 = 4*m + 2*l - c, 0 = -4*l + 12 for m.
1
Let i(t) = -t**2 - 13*t - 36. Let k be i(-8). Let o = 5 + -7. Let u = o + k. Solve d + u*z - 6*z = -11, 21 = d + 4*z for d.
5
Let m(s) = 7*s**2 - s. Let c = 18 + -17. Let l be m(c). Suppose 2*y - v + 1 = 0, -3*y + 2*v = l*v - 26. Solve 6*k = n + y*k + 2, -2*k - 2 = -2*n for n.
2
Let f(q) = -q**2 + 7*q - 6. Let m be f(5). Let d = -3 + 2. Let n be ((-2 + -3)/1)/d. Solve -5 = -5*b + n*a, -b - 3 = -m*b - 2*a for b.
1
Suppose 4*m + 18 = -u, -u - 10 = 5*m + 13. Solve -3*f = -u*f + 2*a - 9, -12 = -2*f - 2*a for f.
3
Let a(w) = -6*w + 31*w + 9*w - 2*w - 10. Let s be a(1). Solve -4*d + 5 = -2*t - 15, -3*d = -5*t - s for d.
4
Suppose 3*w = 4*w + 15. Let x be w/6*(-4)/5. Suppose x*z - 7 = -1. Solve -3*i - 5*s = -28, -2*i - z*s - s + 22 = 0 for i.
1
Let r = 15 - 9. Suppose r*y - 8 = 8*y. Let l be 7 + -2 - (y - -7). Solve b + v + 11 = -l*v, 5*b + 4*v = -33 for b.
-5
Let m be (-20)/(-8) - (-40)/(-16). Solve 4*c + 12 = 0, 5*b - 12 = -m*c - c for b.
3
Suppose -5*d + 16 = 11*j - 14*j, 3*j = 2*d - 1. Solve -j*m = 2*m - 5*a - 30, a = -5*m for m.
1
Suppose 4*n - 228 = -3*j, 0 = -j + 5*n + 37 + 58. Suppose -j = -7*t - 52. Solve h + 13 - 1 = 2*r, -3*r = -t*h - 23 for h.
-2
Suppose -34*h + 25*h + 18 = 0. Solve h*b = -2*d + 1 - 5, 0 = b - d - 6 for b.
2
Suppose 7*r - 188 + 153 = 0. Solve r*a - 11 = -3*m, -5*a + 4 = -4*a for m.
-3
Let x(d) = -3*d - 43. Let a be x(-16). Solve -a*z = 3*o - 12 - 3, z = 3*o - 15 for o.
5
Let b be (-15)/(-10) - 56/(-16). Solve -b*v + 2*y = -16, v - 3*y - 11 = -0*y for v.
2
Let x = 1072 + -1069. Solve -4*l + 16 = 3*q, -q = -x*q for l.
4
Suppose -t + 3 = -b, -3 = -5*t + 22. Solve -b = -2*o - 2*r - 0*r, -5*o + r + 17 = 0 for o.
3
Let w(d) = -d**3 + 6*d**2 - 5*d + 3. Let x be w(5). Solve k + 15 = z + 4*z, 0 = -z + x*k - 11 for z.
4
Suppose 10*v + 804 - 34 = 0. Let g = 80 + v. Solve 4*a + 6 = 2*r, 4*r = -g*a + a - 28 for a.
-4
Let n(b) = -2*b**2 + b + 11. Let r be n(9). Let g be 5/15 - r/6. Let h = -34 - -37. Solve 3*p + 4*m = g, 0 = -3*p - h*m + m + 18 for p.
4
Let q = -20 + 24. Suppose 0*u = r - u - 8, 2*r + q*u = 16. Suppose -4*o + 12 = -r. Solve -s - o*x = -6*s + 25, 2*s - 3 = -5*x for s.
4
Let b(g) = 2*g**2 + 4*g - 3. Let o be b(3). Suppose w + 2 = -5*m + o, 4*m = 3*w + 1. Solve -w*t + 35 = l + 12, t = -5*l + 19 for l.
3
Suppose 24 - 209 = -37*g. Solve -2*h - 15 = 4*c - 7, 10 = -5*c - g*h for c.
-2
Suppose 3*o = 2*x - 7, 5*x + 23*o = 22*o + 9. Solve -4*h + 6 = 5*i, -x*i + 0 = 3*h - 1 for i.
2
Let q(t) = t + 10. Let j be q(-6). Let w = -176 - -196. Solve -4*d = w, -3*k + d = -j*k for k.
5
Let x be (-120)/4*35/(-42). Suppose 5*v + 0*v = x. Solve -3*w = -2*h, 15 = v*h - 0 for w.
2
Suppose -348 = 9*x - 375. Solve -4*n + 8 = -4*m, -x*n + 7 = -2*m - 4*n for m.
-3
Let z be (11/(-4) + 4)/((-1)/4). Let k be (-16)/(-28) + z/((-105)/198). Solve -5*c - k = 0, 2*j + 2*c + 7 = -j for j.
-1
Suppose -4*q = 44 + 20. Let j be q/3*(0 + (-6)/4). Solve 0 = 2*a + j, 4*o + 0*o - 5*a - 24 = 0 for o.
1
Suppose -153*i + 16 = -145*i. Solve 3*z + i*m = 5*m, -3*z = -4*m for z.
0
Let b = -5 + 17. Suppose -14 = 6*q + q. Let n = q + b. Solve 0 = s - g - 0*g + 1, -4*s = -2*g + n for s.
-4
Suppose 3*g = 108 - 93. Suppose -3*i = 2*i. Suppose i*q = q - 4. Solve q*n - 10 = -5*m, -3*m - 27 = -g*n + 4 for m.
-2
Let p(l) = -27*l + 1. Let u be p(1). Suppose -3*k - w = -87, k + 3*w + 7 - 28 = 0. Let f be u/195 + 604/k. Solve m + 4*y = 4*m - f, -y - 5 = -4*m for m.
0
Let t(r) be the first derivative of 3*r**2/2 + 6*r + 11. Let y be t(3). Solve 5*g - 4*x = x + y, -2*g + 6 = -5*x for g.
3
Let t(h) = 3*h - 30. Let u be t(11). Solve s - 3*a + 4 = u*s, 4*a = 2*s - 4 for s.
2
Let x be (-31 + -8)/(0 - 1). Let v = x + -36. Solve 8*i + 30 = 3*a + 3*i, -4*a + v*i = -29 for a.
5
Let v = -18 + 16. Let l be -6 - v - -8 - -1. Solve n + 2 + 9 = -3*d, -13 = l*d + 3*n for d.
-5
Suppose -95*a + 72 = -86*a. Solve 20 = -5*m, 2*f = 3*m - 7*m - a for f.
4
Suppose y - 210 = -4*y + 2*o, 4*y = -2*o + 186. Suppose 3*f = -f + y. Solve 0 = -4*c - r + f, c + r - 5 = -c for c.
3
Let s(z) = -2*z**3 + 93*z**2 + 49*z - 90. Let o be s(47). Solve 0*u + o = u, -13 = f - 3*u for f.
-1
Let r(c) be the third derivative of -c**5/60 + 7*c**4/12 - 7*c**3/2 + 11*c**2. Let n be r(12). Solve -2*f + 16 = -7*l + 2*l, -n*f = -2*l - 13 for f.
3
Let w(j) be the second derivative of -j**5/10 - j**4/6 - j**3/2 - 3*j**2/2 - 19*j. Let n be w(-2). Solve -3*h - p - n = 0, 3*p - p = 8 for h.
-5
Suppose -4*x = -2*x + 4. Let v = x - -6. Suppose -v*z - 4*m = m + 8, -3*m - 9 = z. Solve 0 = 4*o + 2*h + 4, z*o = -3*h + 1 - 10 for o.
1
Suppose -10 = -2*v - 2. Suppose c + 11 = 4*h, -2*h + 6*h = 4*c + 20. Let f = 5 - h. Solve -f*n = -n - v*g - 22, 5*n = -g for n.
1
Let d(g) = 2*g**2 + 1. Let q be d(-1). Suppose 5*t - 4*t - 4 = 0. Suppose -t*k = -5*k + 7. Solve -2*v = -4*o - 18, k = q*o + 3*v - 2 for o.
-2
Suppose -x = 10 - 15. Suppose -2*i = 2*i - 96. Suppose -i = -x*l + l. Solve 32 = 4*b + 4*t, 3*t = b + l + 6 for b.
3
Let s = -20 - -25. Suppose 13 = 2*f + s, -5*f = 2*h - 30. Solve -3*r - 1 = i + h, 2*i + r = 3 for i.
3
Suppose 3*q - 1 = 5. Let i be (3 + 0)/(7/56). Suppose -i = -5*g + u, -2*u - 20 = -5*g + 3*u. Solve -q = -4*l + 5*l + a, -l + g*a - 20 = 0 for l.
-5
Let u = -593 + 605. Solve 5*k - 5*h + 2*h + 9 = 0, 4*h - u = -3*k for k.
0
Let w(o) = -o - 2 - 4 - 5 + 5. Let m be w(-9). Solve 5*s = 5*n - 15, 2*s + m*s - 4*n = -16 for s.
-4
Let g be 26/10 - (198/(-45))/11. Solve g*d + 25 = -2*d, -9 = -x + 2*d for x.
-1
Let q(l) = l**3 - 42*l**2 + 43*l - 78. Let h be q(41). Solve -y - 3*v - 12 = 0, -y - h*v - 27 = 4*y for y.
-3
Suppose 0*w - 24 = -4*w. Suppose w = -3*f + 15. Suppose -m + 22 = 5*n - 3, 3*m + 3*n = 51. Solve -5*u = -f*q + 40, 0 = q - 0*q + 4*u + m for q.
5
Let s = 21 + 5. Let r be -1*7 + -96 + 114. Solve 4*n - s = -3*o, o + 4*n - r = 11 for o.
2
Let j(b) = -b**2 + 9*b - 20. Let m be j(5). Solve m*s = -4*s - 3*p - 5, 5*s - 2*p + 35 = 0 for s.
-5
Suppose 0 = s - 4*p - p - 15, 3*p + 6 = 0. Solve 4*j = -h - 6, -s*h = -3*j - j + 6 for j.
-1
Let x(j) = -4*j + 16. Let f be x(-8). Suppose -51*w = -f*w. Solve 0 = 3*r, 7*n - 3*n + 5*r = w for n.
0
Suppose -4*a + 21 = v, 0 = 6*a - 2*a - 2*v - 18. Let w = 3159 + -3155. Solve -a*j + w*u = 1 - 6, -1 = -j + 5*u for j.
1
Let u = 65 + -60. Suppose -3*b - b = -4*r - 4, -u*b = 4*r - 5. Solve x + 4*q = -14, -3*q - b = x + 10 for x.
-2
Suppose -2*c - 5*x + 0 - 73 = 0, -c - 53 = -3*x. Let u = c - -46. Solve 5*p - 7 = 3*z - 2*z, -z = u for p.
1
Let k be (-1 - (-26)/(-10))/(6/20). Let p = k - -15. Solve 0*j = -2*r + 3*j, 3 = -r + p*j for r.
3
Let f(t) = t**3 - 10*t**2 - 21*t + 22. Let r be f(12). Let v = r + -54. Solve -n + 19 = -4*x - v*n, 0 = 3*x + 4*n + 23 for x.
-1
Let p(g) = g**3 + 50*g**2 + 52*g + 152. Let r be p(-49). Let m be 2 + 1 + -3 + 2. Solve -4*b + 2 = -2*a, -m*a - r*b = -b - 6 for a.
1
Suppose 2*h = -2*z + 50, z - 5*h + 53 = 3*z. Let q = 34 - z. Suppose 11 = 5*m - 4*p, -2*m = -7*m + 5*p + q. Solve -l = 3*k + 17, -m*l + 10 = -k + 21 for l.
-5
Let k be ((-21)/(-6) - 2)/((-6)/(-16)). Suppose 4*g = -k*f + 4, 4*g + 3*f + 0*f = 7. Solve 4*d = -v, 3*v + 5 = -d + g*v for d.
-1
Let u = 2 + 3. Suppose -4*w = -2*r - 28, 0 = 3*w + 2*w - 4*r - 35. Suppose -b - 4*f - w = 1, 8 = b - 4*f. Solve -2*n + 2 = b, n + 7 = l - u*l for l.
-2
Suppose -g - 4*g = -5*q, 3*q = 12. Suppose r - 5 = 0, -5*c + 5*r + 11 = -g. Solve 4*b - 5*j = 22, -c = 4*j - 0*j for b.
3
Let y(j) be the second derivative of -j**4/12 - j**3 - 9*j. Let g be y(-6). Solve 2*d + 0*c = -c - 13, g = 4*d + 4*c + 36 for d.
-4
Let g = 31 - 6. Let p = -23 + g. Solve -5*y + 14 = -2*i, -4*y = -i - p*i - 14 for y.
2
Suppose -4*i - 274 = -a, 9*i - 4*i + 5*a + 355 = 0. Let o be i/(-21) - (-8)/(-28). Solve 4*u = -x - 19, -11 = o*u + 5*x - x for u.
-5
Let q be (-5)/20 + 25/4. Solve 3*g - 2*x = 15, 2*g + 4*x + 0*x = -q for g.
3
Let o(s) = -43*s + 44. Let t be o(1). Solve 4*u - 4*w = -20, -w - t = -6 for u.
0
Suppose 0 = -5*g - 2*o - 3*o + 40, -5*g - 4*o + 35 = 0. Let q be ((-333)/6)/(g/(-2)). Solve 5*c = -2*n - 2*n - q, 16 = 3*n - 5*c for n.
-3
Let f be ((-100)/25)/((1 - 2)*2). So