+ q, 0 = -5*p + 2*l - 4 for p.
-2
Let j(i) be the first derivative of -i**4/4 + i**3/3 + 3*i**2/2 + i + 116. Let k be j(2). Solve 0 = -2*m - 3*p - 7, k*m = -0*m - p for m.
1
Suppose -4*k = 4*b - 228, 2*k - 15 = 4*b + 81. Suppose 0 = -42*u - 1776 - 156. Let a = u + k. Solve 2*p - 5*n + a = 0, 7 = p - 4*p + 5*n for p.
1
Let l(m) = -3*m**2 + 27*m + 156. Let k be l(13). Solve -q - 14 + 25 = -2*g, 3*g + 5*q - 16 = k for g.
-3
Let p(s) = -s**3 - 3*s**2 - 4*s + 6. Let d be p(3). Let u be (-7)/(-14)*d/(-6). Solve 3*l + l = -4*t + 4, u*l = 3*t + 21 for l.
3
Suppose 2164*h = 2212*h - 240. Let t be (2 + (-6)/3)*1. Suppose 0*w - 5*w + 80 = t. Solve -c = -h*c - 2*r + 2, -3*c - w = 5*r for c.
3
Let q(v) = -v - 1. Let s be q(-1). Suppose 5*j - 3*t + 17 = 36, -8 = -4*t. Suppose s = j*u - 20 - 135. Solve 4*a + 3*l + u = -a, -7 = a + l for a.
-5
Let v = -8055 - -8057. Solve v*i = 4*c + 16, -7*c - 2*i = -9*c - 6 for c.
-5
Let g be (33/(-12))/(3/48). Let j = 46 + g. Let l be -5 + 0 + 3 + j. Solve 3*s + 0*y = 3*y, l = -5*s - 2*y + 7 for s.
1
Let h be (-2)/(-9) - ((-68)/(-18))/(-1). Suppose 6*m - h*m = 12. Solve 0 = -2*v + 4*s - 7*s - 1, 5*v - s = m for v.
1
Suppose 6*i + 4*j - 50 = -18, -3*j = -2*i + 15. Solve -5*b = 4*y - 40, 1 - i = 3*y - 5*b for y.
5
Let d(l) = 13*l**3 - l**2 - 2. Let m be (-1)/((-6)/10 - 60/150). Let t be d(m). Solve 4*w + 3*r + 8 = 0, 0*r - r = -5*w - t for w.
-2
Let m be -1 + 1/((-1)/(-3)). Let k be (-4 + 19/4)*8. Let j(o) = -7*o + 42. Let a be j(k). Solve 0 = w - 2, -m*q + 2*w - 12 = a for q.
-4
Suppose -4*j + 106 - 78 = -2*j. Solve a - j - 2 = 4*h, -14 = -2*h - 5*a for h.
-3
Let y be 0/(9*1/3). Suppose o - 19 + 8 = y. Let z = o - 7. Solve z*j + 2*t = 10, -3*t = 5*j - 15 + 5 for j.
5
Suppose 0 = -z - 2*k - 206 + 368, -k + 167 = z. Solve w = -4*j + 11, -3*w + 3*j + z = 169 for w.
3
Suppose 10 = 3*z + 2*a - 24, -3*a = 3*z - 48. Let y = 30 + -21. Suppose 4*f = y + 19. Solve -f = -c + 4*b, -b = -z*c + b + 2 for c.
-1
Let n(f) = -f**2 - 47*f - 86. Let k be n(-47). Let w be 2 + -3 + 1 + 88. Let u = k + w. Solve -h + 10 = 2*c, u*c = -4*h - 2*c + 24 for h.
2
Suppose -3*i - 9 = 0, -5*n + 2*i = 5*i - 1. Solve 8*z - 7*z = -a + n, 5*a + 3*z = 12 for a.
3
Let y = -57 + 59. Suppose y*a + 5*p = 0, -a = a - 2*p. Suppose -2*c = 5*s - a*s + 23, 3*c - 23 = 4*s. Solve 4*n + 8 = 4*g, -5*g = -4*n - 9 - c for g.
2
Let a be 15 + (102/(-6) - -13). Solve 10 = q + 3*g, 3*q - 5*g - a = -9 for q.
4
Let u(y) = -3*y**3 - 4*y**2 - 7*y - 6. Let v(w) = w**3 + w - 1. Let h(c) = -u(c) - 4*v(c). Let t be h(5). Solve 2*s = -t*d - 2*d, 5*s + 20 = 0 for d.
4
Suppose 0 = -62*h + 1814 + 232. Suppose 2*o + h - 39 = 0. Let s(r) = -r. Let q be s(-5). Solve 0*g - q*g - l + 27 = 0, -g = -o*l + 1 for g.
5
Suppose d + 6 = 8. Let g(c) = 67 + c**3 - c - 5*c**d - 46 - 46. Let t be g(6). Solve 2*s - 3 - 21 = 4*w, -2*w = t*s for s.
2
Let p = 105 + -101. Suppose -p*y = -10*y + 18. Let o(s) = -s**3 + 23*s**2 + 2*s - 25. Let w be o(23). Solve -5*i = 4*g - w, 0*g + y*i + 1 = g for g.
4
Suppose 0 = 88*w - 112 - 64. Solve 4 = -w*x, 8 = -k - x - x for k.
-4
Let u(p) = -207*p - 4335. Let f be u(-21). Solve -7 = -3*s - 4*i, 0 = 31*s - 29*s - i - f for s.
5
Suppose -5*a + 18 = -7. Suppose -3*z + 58 = -i, z - a - 9 = -i. Suppose 2*v - w = z, -2*w + 4*w - 44 = -4*v. Solve q = -4*s - 2, 3*q - 4*s - v = -0 for q.
2
Let f = -25 + 17. Let r(g) = 3*g + 29. Let i be r(f). Let p(c) = -3*c - 4. Let n be p(-7). Solve -4*v + 0*b = -5*b + n, i*v = -b + 15 for v.
2
Let k be (-2 + 11)*(161/276)/((-4)/32). Suppose 5*t - 2*i + 305 = 3*i, 2*i - 185 = 3*t. Let v = k - t. Solve -3*o + v = 5*s, 5*o + s + 3*s = 22 for o.
2
Let k = 2391 - 2386. Solve -2 = -3*x - 4*b + k*b, 0 = 5*x - 3*b - 10 for x.
-1
Let s = 71 - 68. Suppose 3*j + 11 = 4*a, 0*a - 5*j + s = 4*a. Suppose a*n = n. Solve n = 3*o - 4*o - 4*p + 6, 0 = -o - p for o.
-2
Let q(k) = k**3 + 8*k**2 + 15*k + 18. Let z be q(-6). Suppose z = -145*o + 154*o. Solve o = -5*c + 3*r - 9, 2*c - 5*r = -0*r - 15 for c.
0
Let j be (-3)/(-9)*(-6)/(-4)*-2. Let c be (-4 + j)*18/(-45). Solve 4 = c*v - 5*d, 0*v - 2*v - 4 = -d for v.
-3
Let v be (24 - 11)*(-4)/(-26). Solve v*n - 2 = 4*s, -7*n + 4*n + 9 = -4*s for s.
3
Let i = -1 - -3. Let a(d) = -9*d**2 - 12*d - 11. Let z be a(-1). Let o be z/14 + (-270)/(-105). Solve 3*g - 5 = -o*b, -i*b - 11 = -5*b - g for b.
4
Let a = -9997 - -10001. Solve 4 = -f + a*c - 3, -2*f = -2*c - 4 for f.
5
Let c(v) = -v**2 + 12. Let x be c(-3). Suppose -123 = -d + 3*t, -5*t = x*d - d - 301. Suppose d*n = 137*n + 5. Solve -i = -2*q, -3*i + q = n*q for i.
0
Suppose 478 = 4*c + 30. Let d = -107 + c. Solve 0*y - d*h = -3*y + 11, y = 3*h + 5 for y.
2
Let d(q) = -q**2 - 8*q + 29. Let n be d(-12). Let z = 26 + n. Solve -4*v - z - 3 = -5*r, -r = 2 for v.
-5
Let n(r) = -r**3 + 5*r**2 - 7*r + 39. Let o be n(5). Suppose 4*h - 5*v + 9 = 24, h = v + o. Solve -4*m = -h*w + 41, 6*w + 2*m = 2*w + 12 for w.
5
Suppose -f - 30 = -4*f. Suppose -22*g + 24*g = -5*w - 16, -4*g - w = -4. Solve -4*l = -g*l, 0 = 2*r + 4*l - f for r.
5
Suppose -3*i + 5*a = 2, -5*i - 4*a = -7*i. Let w be (i/(-3))/((-30)/(-45)). Solve w*o - 16 = 4*u, 2*o - 6 = -0*o - u for o.
4
Suppose 0 = 2*g + 288 - 66. Let o = g - -130. Let v(j) = -j + 22. Let w be v(o). Solve w*p = 9, -7*q + 2*q - 3*p + 4 = 0 for q.
-1
Suppose 22*t - 64 = -80 + 126. Solve 3*b + 2 = 2*b - 2*s, 5*s + t = 0 for b.
0
Let h be 60/4 + (-8 + 0 - -8). Suppose 0*k = 3*k - k. Solve x + i - h = -2*x, -x + i + 5 = k for x.
5
Suppose -12 = -r - 4*n, 0 = 2*r - 6*r - n + 3. Suppose -j + 6 - 4 = r. Solve -2*y - 5*f + 2 - 7 = 0, -2*y = j*f + 2 for y.
0
Let o(j) = -2*j - 20. Let k be o(-12). Let m be ((-25)/(-5) - 3) + k + 2. Suppose m = -4*v + 20. Solve 0*n + 3*n + 4*b + 21 = 0, 0 = -2*n + v*b + 3 for n.
-3
Let m be 16/(-64)*-244*1. Let d = m + -54. Suppose 2*p - 18 = -d*p. Solve i + 6 = -p*z, -3*z = 3*i + 1 + 5 for i.
2
Let a = 8 - 3. Let k be (-7 - a)*8/(-12). Suppose -3*q - 5*z = -k + 9, z + 14 = 4*q. Solve -q*l + 2*y = 10, -2 = l + 5*y - 10 for l.
-2
Let c(l) = 744*l + 3730. Let r be c(-5). Solve 4*s - r = 2*i, -3*i + 24*s - 15 = 20*s for i.
-5
Let g be -4 + -2 - 1 - (-2 - 7). Suppose 0 = 3*q - 3*k - 51, -k = q - 0*q - 27. Solve 3*d = i + i + g, -q = 5*i + d for i.
-4
Let w = -5878 - -5880. Solve 5*c = -3*t - 12, -8 = -w*c + 14*t - 12*t for c.
0
Let i = 839 + -835. Solve -2*u + 4*s - 8 = 0, -u - 8*s + 6*s - i = 0 for u.
-4
Let q = 2256 + -2256. Solve 0 = -11*z + 14*z - 4*d + 27, q = -z + d - 8 for z.
-5
Suppose 118*k = 116*k - 2*a + 30, 3*a = -4*k + 64. Solve s = 1, -48*q + 4*s - k = -43*q for q.
-3
Let b = -122 - -126. Suppose 0 = -b*f + 5 + 63. Solve u = -4*o + f, -3*u + 4 = 5*o - 12 for o.
5
Suppose -6*d + 11*d + 2*u - 39 = 0, u = 2*d - 30. Solve -4*h + q + d = 0, 39*h = 41*h - q - 3 for h.
4
Let x(z) = 68*z + 4629. Let r be x(-68). Solve 0 = s + 3*c, 8*s + c = r*s + 8 for s.
3
Suppose -12*k - 57*k - 520 + 1154 - 289 = 0. Let q(y) = 4*y - y**2 + 2*y**3 - 4*y**2 + 0*y. Let u be q(3). Solve 2*d + 5 = -3*p - 10, 0 = 2*p + k*d + u for p.
-3
Let m be (2/(-26) - (-72828)/3744) + (-6)/16. Solve -x = -4*t - 46 + 45, 4*x - m = t for x.
5
Suppose 0 = -260*l + 262*l + 176. Let m be (l/(-16) - 5)/(2/8). Solve -a + 2*a + m*p - 5 = 0, -4 = -4*a - 4*p for a.
-3
Suppose 0 = -35*k + 12*k - 69. Let n(j) = j**3 + 5*j**2 + 7*j + 8. Let b be n(k). Solve -q + 6 = b*l, 5*q + l - 6 = -0*q for q.
1
Suppose 3*q + 54 = 5*z, 5*q = -0*z + z - 24. Let h be 90/(-855) + (-858)/(-209). Solve h*f + 11 + z = -5*t, 2*t - 2*f = 10 for t.
0
Let h(b) = -280*b + 608. Let p be h(2). Solve 0 = -3*c - g - 19, -p = 5*c - 4*g - 5 for c.
-7
Let f = 15 - 99. Let a be f/(-24)*(1/(-7) - -1). Suppose -d + 5*d - b - 23 = 0, 12 = a*d + b. Solve 3*w + 12 = -3*i - 3, 4*i - 16 = d*w for w.
-4
Let b be (-3)/(-20 + 2) + 164*(-5)/(-120). Solve 3*v - 8 = b*t - 2*t, 3*t = 5*v + 8 for t.
-4
Suppose -77*t + 74*t = -180. Suppose -8*v + 2*s + 84 = -3*v, 4*v + 2*s = t. Solve -3*z + z = 4, -3*z - v = 2*j for j.
-5
Let u(r) = 3*r - 9. Let y = -52 + 49. Let i be u(y). Let w be ((-2)/(-3))/((-40)/i + -2). Solve -5*v = -4*l - 13, 0 = w*l + 4*v - 11 - 18 for l.
3
Let a(w) = 14*w - 274. Let x be a(21). Suppose -82 - 138 = -x*s. Solve 5*b + k = 2, 4*k + s = 4*b - 5*b for b.
1
Suppose 6*q + 105 = 11*q. Let d be