5, 2*b - 14 = -0*k + 4*k for b.
-3
Suppose -12*z - 105 = 87. Let o(l) = -l**3 - 17*l**2 - 19*l - 30. Let v be o(z). Solve 4*p + 5*s = 4 + v, p - 9 = -3*s for p.
3
Let o = -2535 - -2537. Solve 3*q = -k + 4, 0 = -5*q + 3*q - o*k for q.
2
Let a(i) = i**3 + 55*i**2 - 367*i + 30. Let t be a(6). Suppose b = 4*b - 2*d - 17, 0 = b - 3*d - 8. Solve t = -4*p + 6*p + b*g, 12 = 3*g for p.
2
Let z(o) = -o**2 - 60*o + 192. Let b be z(-63). Suppose -2*v = 7*v - 27. Solve -4*l - 2 - b = k, -k = 2*l + v for k.
-1
Let h = 17 - -23. Let x = h + -35. Suppose 0 = -5*y + x*z + 10, 8 = 5*z - 7. Solve y*u + 0*k + 14 = k, -u - 3*k - 6 = 0 for u.
-3
Let o(r) = r**2 + 10*r + 9. Let b be o(-9). Suppose b*j - j + 2 = 0. Let i(q) = q + 6. Let w be i(-6). Solve -j*g = 6, 4*a + 2*g + w = 2 for a.
2
Let k = -8 + 12. Let j be (k/6)/(40/1260). Let y be 750/20 + -1 - 2/4. Solve f - 5*l = -13 + y, -3*f - j = 3*l for f.
-2
Let i = -101 + 65. Let c be (-4)/18 - (-5 - 64/i). Let v(h) = h**3 - h**2 - 3*h - 5. Let n be v(c). Solve 2*l + 4*s = -4, -l - n*s = -4*l + 4 for l.
0
Let p be (-7 + -7)*(22/4 - 1). Let x = 67 + p. Suppose -4*y - 1 = 3*j + 2, -3*y = x*j - 3. Solve -j*i - 2*s - 11 = -2*i, -20 = -5*i + 5*s for i.
-1
Let i = 461 + -452. Solve d + 19*m = 18*m + i, -2*d = 3*m - 23 for d.
4
Let r = 1004 + -1000. Solve -3*i - h - r = -i, 0 = i + h for i.
-4
Let n(j) = j**2 - 11*j + 20. Suppose 4*k + 12 - 147 = -5*u, -4*u + 108 = -2*k. Suppose 4*a - a - u = 0. Let l be n(a). Solve 0 = w, l*t + 0*w - 6 = w for t.
3
Suppose -k + 3*h - 4 = 0, -5*k + 24 = -0*h - 4*h. Suppose -11*f = -k*f - 15. Let g = -2 - -2. Solve -f*v = g, 0 = 3*j - 0*j - 2*v - 12 for j.
4
Suppose -7*j + 12 = -11*j. Let v be 0/(j + (4 - 2)). Suppose v = 4*r - z - 4, 2*z + 5 = -3. Solve r + 5 = 3*a - 2*g, g + 3 = a for a.
-1
Let q(y) = -y**2 - 12*y - 26. Let x be q(-3). Suppose 2 = -2*k, -4*v + 3*v - 5*k = x. Solve -v*r + d = -d + 22, -10 = -2*d for r.
-3
Let l = 4 + -16. Let k(b) = -b**3 - 13*b**2 - 14*b - 11. Let d be k(l). Suppose -4195*f + 22 + 42 = -4131*f. Solve -f = -x + a, x + 3*a - d = -2*a for x.
3
Suppose 2*o = -3*o - 10. Let f be 832/56 + o/(-14). Let p be (-1 + (-85)/f)*-3. Solve 0 = -3*a - 2*t - p, 5*t = 2*t - 12 for a.
-4
Suppose -4*t = -m + 129 - 340, -2*t + m = -107. Suppose 0 = t*a - 56*a + 12. Solve 7 = -a*w + 2*h, -6*w - 2*h = -2*w - 14 for w.
1
Let v = -2044 - -2046. Solve -5*g - 12 = -v*c, -3*c + 4 - 9 = 4*g for g.
-2
Let d(z) = z**3 + 8*z**2 + 24*z + 27. Let f be d(-2). Solve 0 = 3*g, 5*l - f*g - 9 = 2*l for l.
3
Let o(p) be the third derivative of p**5/60 + p**4/24 - 8*p**3/3 - p**2 - 68*p. Let h be o(-5). Solve -l + h*k + 11 = 0, 6*k - 3*k + 11 = -2*l for l.
-1
Suppose 9 = 14*m - 11*m, -5*m = 4*f - 35. Solve 0 = 4*w + 5*y + 73 - 48, f*y = 4*w + 15 for w.
-5
Suppose 0 = -187*r + 159*r + 420. Solve r*s = -4*k + 19*s - 4, -8 = 4*k - 5*s for k.
3
Let o = 11088 + -11079. Solve 0 = n - 3*v - 20, 2*n - 6*v + o*v = -5 for n.
5
Suppose 2*n = 3*n - 8. Suppose -q + 3*o = -0*q - n, 3*q = -o + 4. Solve 4*r = -7*u + 2*u + 30, -3*u + 16 = q*r for u.
2
Suppose -12 = 5*j + j. Let z be (-2)/(-30)*939 - j/5. Suppose 2*a = 11*a - z. Solve 0 = -3*o - 6, -s + 4*o - a*o - 4 = 0 for s.
2
Let r(g) = -4*g - 6. Let u be r(-5). Let k be 22 - (4/(-4))/((-4)/72). Solve 2*w - 4*f - 4 = u, -k*w = -3*f - 26 for w.
5
Suppose 236 - 1391 = -105*n. Solve 7*t - k = n*t, -6*t + 5*k = 0 for t.
0
Let z(r) = r + 4. Let f be z(-4). Suppose b + 2*b - 9 = f. Suppose 2*g = -229 + 273. Solve -x + 6 = 2*w, -b*x = -w - 3*w + g for x.
-2
Let p = -12 + 13. Let h = p + -13. Let y be (3/h)/(1/(-12)). Solve -y*c = -2*z + 16, 5*c - 3*z + 18 = -4*z for c.
-4
Let y be (3/1)/((-267)/(-445)). Solve 2*t + 5*w + 8 = 0, -325*t + 320*t - y*w - 20 = 0 for t.
-4
Let u be (-432)/(-48) + 14/(-2). Solve 5*l + 23 = 2*k, -5 = -l + u*k - 4*k for l.
-3
Let t(b) = -3*b**3 - 94*b**2 - 31*b + 8. Let p be t(-31). Solve -5*z = 2*c + 1, -20*z = -18*z + 5*c - p for z.
-1
Suppose 5*a = 5*j + 143 + 92, 3*a - 2*j - 138 = 0. Solve -5*r = 4*o - a, -11 - 1 = -3*r for o.
6
Let d be ((-22)/(-8))/(1*2/8). Let z(w) = -22 + 33*w - d - 38*w + 10. Let c be z(-5). Solve -6 = -c*v - h, v + 3 = 2*v - 2*h for v.
3
Suppose -76 = -49*g + 267. Solve x - 5*y = -6, 5*x + 4*y + 8 = g*y for x.
-1
Suppose -282*t + 270*t = -48. Suppose t*v - 19 = 1. Solve 2*x + 11 = 5*d, -d + v*x + 8 = -8 for d.
1
Let l(x) = x**3 - x - 17. Let v be l(4). Suppose 0*m - m + v = 2*k, 0 = 2*m + 2. Solve 3*h = -0*h + 4*r - 20, -3*h + 5*r = k for h.
-4
Let l be (-3)/1 + 8 + -3 + 39. Let g(y) = 36 - 5*y**2 - l - 5*y + y**3 + 15*y. Let a be g(2). Solve 2*c - 3*f - a = 4*c, 3*c = -5*f - 5 for c.
0
Let p = -206 - -211. Suppose -3*q + 60 = 8*t - p*t, 0 = -t - 5. Solve -4*b + 5*z + 37 = 0, q = -6*z + z for b.
3
Let j be (19 - 590/30)/((-6)/9). Let p be (-68)/5 + (-4)/10. Let r be 5/(35/p) - (j + -8). Solve -5*i + 2*b = 17, 8*b - 5*b - 18 = r*i for i.
-3
Let a = 31 + -27. Solve -2*m = -a*v + 8, -3*m - 11*v + 15*v = 6 for m.
2
Suppose 20*y = 22*y + 4*n - 46, -4*y + 2*n + 82 = 0. Solve -r - y + 22 = j, 23 = -2*r + 3*j for r.
-4
Let v(k) = -454*k - 92. Let t be v(-3). Suppose -t + 1240 = -6*a. Solve b + 0*i + i + 5 = 0, a*b - 5*i = -25 for b.
-5
Let n be -5 - (-2 + 4)*-1. Let h be (-7 + n + 20)*(1 - 0). Solve 3*i + 22 = -5*x, -3*x + h = -4*x - 2*i for x.
-2
Let a(d) = 2*d + 5. Let s(w) = w**3 - 6*w**2 - 2*w + 12. Let t be s(6). Let m be a(t). Suppose m*n - 16 = 9. Solve -5*j = 5*y + 30, n*j - 6 - 4 = 5*y for y.
-4
Let w(v) = -5*v**2 - 52*v - 4. Let y be w(-10). Suppose 0*j = -y*j + 16. Solve -4*i - 3*g + 0*g - 10 = 0, j = i - g for i.
-1
Suppose -3*x + 45 = -28*n + 23*n, 5*x = -5*n - 45. Solve 5*v + 4*b + 0*b - 30 = x, 15 = 3*b for v.
2
Suppose -340*j + 343*j = -5*s + 44, -j + 17 = 2*s. Solve w + 3 = 2*y, j*w - 11 - 1 = -y for w.
3
Let n = -192 + 198. Suppose 4*g - f - 9 = 0, g + f = n*f + 7. Solve 2*q - g*i - 4 = 0, i + 4 = -q - i for q.
0
Let l be 1/(-14*(-4)/224). Solve -5*q + 3*d = -12 - 13, -3*q + l*d = -26 for q.
2
Let t = 27 + -27. Suppose -4*c + t*w = -3*w - 69, -3*c = w - 55. Solve 15 = 5*m, -z - 4*m + c = 5 for z.
1
Suppose -11*g = -10*g - 16. Let r(f) = 3*f - g - 4*f**3 - 6*f**2 - 3*f**3 + 8*f**3. Let x be r(6). Solve -5*h + 5*y = y, -x*y = -4*h for h.
0
Suppose 154*l - 599 - 59 = -175*l. Solve 8 = l*n + 7*x, -n - 2*x = 6 - 10 for n.
4
Suppose -6 = -2*k + 4*p, k = -3*p + 5 + 13. Suppose k*m + 15 = 12*m. Solve 5*z + m = -5*r, -2*r = z - 3*z - 18 for r.
4
Let g(t) = t**2 - 4*t + 5. Let p be g(4). Let o be 2/(1/(-10)*(-88)/22). Solve 6*c = c - 5*l + 20, -o*c + 10 = -p*l for c.
3
Let m(f) be the first derivative of -f**4/4 + f**3/3 + f**2/2 + 17*f + 62. Let b be m(0). Solve 0*c + 3*q = -5*c - b, -1 = -c - 5*q for c.
-4
Let h(y) = -2*y - 9*y**2 + 6*y**2 - 56*y**2 - y**3 - 71 + 21*y**2. Let l be h(-38). Solve 0 = 4*c - 3*c - 5*g - l, 0 = 4*c + 4*g + 4 for c.
0
Let j = 184 - 152. Let t = j + -27. Solve -2*q + 1 = -5, 0 = t*x + 2*q - 31 for x.
5
Let w(f) = -f - 5. Suppose 4*h + 4 = -4*o, 5*h + 23 = -0*o + 4*o. Let y be h/(-6)*(2 + -20). Let a be w(y). Solve 2*x + 2*t = 6*t + a, 4*x = 5*t + 8 for x.
2
Let s = 40 - 40. Suppose s*h - 6*h - 36 = 0. Let j be (-1)/1 + h/(-2). Solve -j*f - 4*c = -2*c + 12, 4*c + 12 = 0 for f.
-3
Suppose 0 = 5*k + 5*j - 10, 2*k - 6*j = -11*j - 5. Let m = -41 - -44. Solve -g - m*g = -4*b, -k*g + 4*b + 1 = 0 for g.
1
Suppose -7*r + 194 + 23 = 0. Suppose -h - 13 = 4*a - 0*a, r = 5*h - 4*a. Let i be (-2 + -1)*(-1 + 0). Solve i*q + h*l + 3 + 6 = 0, -24 = 5*q - 4*l for q.
-4
Let o be 10/(-6 - 85/(-10)). Suppose -13*q = -7*q - 18. Solve 3 = 4*d + 15, -q*r - o*d = 0 for r.
4
Let u be (-2)/(-13) - (-72)/39. Let t(s) = 17 + u*s + 7 - 36. Let i be t(7). Solve i*w = -4*a, 3*w - 5 = a + 2 for w.
2
Let o(u) = 4*u. Let p be o(4). Suppose -2*k + 6*k - p = 0. Let r be (-7 - k/(-2))/(-1). Solve 8*c - 3*c = 5*g - 5, g = 4*c - r for g.
3
Suppose -12 = -2*b - 2*k, 3*b - 3 = 4*k - 2*k. Solve -b + 19 = 3*f - 4*u, 3*u = -12 for f.
0
Let f = -494 + 499. Let t(v) = 3*v - 3. Let k be t(5). Let n be (-1)/((-1)/k*3). Solve -4 = -n*c + f*z - 3*z, 0 = -2*z - 4 for c.
0
Let t(x) = -x**2 - 68*x + 140. Let c be t(2). Solve -14*y + 9*y = -3*r + 20, c = y - 4*r + 4 for y.
-4
Suppose -15*y + 88 = -11*y. Suppose -4*p = y*p - 130. Solve 