= -5*b - 15, 0 = -5*b - 4*y - x - 2 for b.
-5
Let v(z) = z**3 - 5*z**2. Suppose -3*s + 5*r = 0, 3 + 0 = r. Let i be v(s). Solve -m - 4*g + i + 1 = 0, 4*g - 2 = -2*m for m.
1
Let g(n) = -n**3 + 5*n**2 - 5*n + 4. Let y be g(4). Let q = 4904 + -4902. Solve 0 = q*s, y*s + s = t - 1 for t.
1
Let s be (-9)/(-27)*3*15. Solve 2*z + j = s, 3*z + j - 40 = -21 for z.
4
Let b(r) = r**3 + 11*r**2 + 12*r - 93. Let c be b(-8). Solve -c = -3*x - j + 4, 3*j + 23 = 2*x for x.
4
Suppose 0 = -2*o - 5*v + 15, -37*v + 40*v + 22 = 5*o. Solve -y + 7 = -8*a + 3*a, o*a + 22 = -4*y for y.
-3
Suppose -262*z = -249*z - 52. Let b(k) = -k + 1. Let n be b(-2). Solve -2*d + 0*x = 4*x + 8, 0 = z*d - n*x - 17 for d.
2
Let v = -153 + 154. Suppose j + 2 = -2*m - j, m - 2*j = 14. Suppose -3*x + 4*q + 16 = x, 2*x = m*q + 8. Solve x = -4*f - 3*t, -t - v = 3 for f.
2
Let b(s) = 4*s - 28. Let p be b(7). Let i = 8 - 6. Suppose -i*z - 2 + 12 = 0. Solve p = -4*g + v - 19, -4*g + z*v - 31 = -0*v for g.
-4
Suppose -180*y + 167 = -373. Solve 3*g = -0*g - 15, y*v - 27 = 3*g for v.
4
Suppose -2*z - 3*z + 38 = s, -5*s - 6 = -3*z. Let c(i) = -2*i + 29. Let q be c(z). Solve 2*v = 2*k + 12, -q = -5*v - k + 3 for v.
4
Suppose -6*y + 200 = -22. Suppose y = -10*h + 67. Solve -h*c - 2 = 2*i + 2, 0 = 3*i - 4*c + 23 for i.
-5
Suppose 8*g = -3*j + 6*g + 29, 4*j + 2*g - 36 = 0. Let a be (1/3)/(6/198). Let y = -9 + a. Solve 3*k - q = -2*q - 4, y*q = -5*k - j for k.
-1
Let p = -3584 + 3589. Solve -p*x + 8 = -5*l + 3, 4*l + 20 = -4*x for l.
-3
Let b(a) = -a**2 - 16*a + 38. Let r = -112 - -94. Let c be b(r). Solve 4*f + 14 = -c*j, -4*j - 2 = -5*f - 0*f for j.
-3
Let m = 5665 + -5646. Solve 3*c + 77*s - m = 75*s, -5*c = -4*s + 5 for c.
3
Let i(w) = -55 + 4*w + 54 + w - 3*w. Let v be i(6). Let n = 11 - v. Solve -5*k = m - 20, 0 = -4*m - n*m for k.
4
Suppose -3*i = -2*c + 183 + 127, 0 = i - 3*c + 94. Let n be 117 - (-7 + 5 - 3). Let q = i + n. Solve g + q = 4*f + f, 0 = 4*f - 4*g for f.
4
Let k = -86 - -86. Suppose k = b + 4*j - 26, b + 0*j = -j + 11. Let a be (3 + (-38)/10)*(-15)/b. Solve -q - 3*q = a*y + 18, 0 = -4*y - 3*q - 26 for y.
-5
Let u(y) = -2*y**3 - 40*y**2 + 47*y + 110. Let q be u(-21). Suppose 5*j + 2*h = 17, 5*h + 40 = -15*j + 19*j. Solve q = -j*l - 5, 3*l - 3 = -3*w for w.
3
Let u be ((-1)/(-1))/((-2)/(-4)). Suppose 0 = -28*q + 25*q + c + 10, -8 = 4*q + 4*c. Let h = 43 + -39. Solve -2*d + d + u*x = -2, -h = -q*d - 4*x for d.
2
Suppose 268*g = 253*g + 135. Suppose 2*i + 5*n + g - 51 = 0, 0 = -2*i + 3*n + 26. Solve -2 - 2 = -p, o = -4*p + i for o.
0
Let r = 70 + -66. Solve -4*w + 25 = 3*o, r*o = 6*o + 2*w - 14 for o.
3
Let q be (5/(-3) + 1)*(-45)/6. Suppose g - 2*g + 25 = 5*a, g = -a + q. Solve 2*n + 0*n = 3*t - 9, g = 5*t - 2*n - 11 for t.
1
Suppose 10*d = 3*d. Suppose d = -4*h + 8 - 0. Suppose 0 = h*b + 3*x - 19, b + x = -3*b + 23. Solve -2*f - 22 = -4*p, 3*p + b*f + 19 = 3 for p.
3
Suppose -7*c + 296 + 3211 = 0. Let m = c + -501. Solve m*f - 2*f - l + 2 = 0, l = -5*f + 2 for f.
0
Let n(g) = -27*g - 18. Let l be n(-8). Suppose 33 - l = -5*f. Suppose -5*y - p = -f, -3*y - 18 = -8*y + 4*p. Solve 4*a = -3*i + 6, i - y = -2*a - 2 for i.
-2
Let m(h) = h**3 + 2*h - 4. Let c be m(0). Let z be (-3 + -19)*(-2 + (-6)/c). Let t(b) = 4*b - 24. Let x be t(z). Solve n + w + 0*w - 4 = 0, 5*w - x = n for n.
0
Let m = -49 - -57. Suppose 0 = -23*g + 25*g - m. Suppose -10*n = -11*n + g. Solve i = f + 4, 2*i - 2*f + n*f = 0 for i.
2
Suppose 3*i = 3*v - 36, 0 = -0*v - 2*v - i + 33. Solve -o = 3*y - 28 + v, 3*y = 3*o - 3 for o.
4
Let c(q) = 15*q**2 - 44*q + 6. Let z be c(4). Let w = z + -67. Solve 0 = -4*r + w*j - 9, 0*r + 3*r + 5*j - 15 = 0 for r.
0
Let j(g) = -g + 2. Let c be j(2). Let a = -168526 - -168530. Solve c*k - 16 = -5*k + 3*i, -2 = 2*k - a*i for k.
5
Suppose 6*a - 20 - 4 = 0. Suppose 0 = 2*v + 4*f - 26, -v + 16 = -a*v + 5*f. Solve -v*h = l - 0*h + 13, -2*h - 4 = 3*l for l.
2
Let l be -2 + (-24)/(-10) + 786/(-15). Let v be l/16 + 2/8 - -51. Let i = v + -37. Solve -f + n = -6 + 1, 2*f = -5*n - i for f.
2
Let t(v) = -3*v**3 - 39*v**2 + 24*v + 25. Let z be t(-15). Solve 0 = -5*p + 5*a - 5, -a - z = 5*p - 1034 for p.
3
Let m = -208 + -179. Let r = m + 392. Solve 0 = 3*y - 4*w - 1, -r = 4*y - 4*w - 1 for y.
-5
Let p be 1/4 + (-570)/(-120). Let b(w) = w**3 + 5*w**2 - 12*w - 15. Let x be b(-6). Solve 0 = p*h + 2*a - 18, x = 4*h + 5*a - 7 for h.
2
Let a(i) = i**3 + 11*i**2 - 17*i - 55. Let l be a(-12). Suppose 6 = t - l*o, 3*t + 1 = 34*o - 38*o. Solve -3*u + 40 = 2*u - 4*z, -u - z - t = 0 for u.
4
Let k(v) = -2*v**2 + 28*v - 91. Let i be k(6). Solve 3*c = 2*n - 17, -14*n + 10*n + 1 = i*c for c.
-3
Let y = -188 + 285. Suppose 52 = -3*m + y. Solve w + m = 3*h, -5*w + 5*h - 31 = h for w.
-3
Suppose -5*o + 5*m + 8*m = -8, -2*o - 3*m = -36. Solve 2*g + 3*t = -6, -4*t + o = 2*g - 6*g for g.
-3
Let u be ((-732)/(-1647))/((-2)/(-18)). Solve 3*w + f = -6, -u*f - 9 = -6*w + 3*w for w.
-1
Let j be 10/25 + (-91)/(-35). Let g(m) = m + 2. Let a be g(-2). Suppose 5*z - 21 = -k, -3*z - k + 13 = -a*k. Solve 2*c - j*v = z, -v + 29 = 5*c + v for c.
5
Let a(l) be the second derivative of 0 + 3/4*l**4 + 1/20*l**5 + 2/3*l**3 - 8*l - 17/2*l**2. Let j be a(-8). Solve 0 = -2*n - d - 10, n - 3*d - j = 2*n for n.
-3
Suppose 5*a - 46 = -3*c, -39*c + 38*c + 3*a - 22 = 0. Solve -129*g + 127*g = c*b - 16, -11 = -b - 2*g for b.
5
Suppose 5*j - 3*c - 19 = 0, j - 2*c - 13 = -5. Suppose -4*n - 7 = -9*n + j*i, -4*i + 1 = -5*n. Solve w - n*k = 17, 3*w - 2*k + 0*k = 16 for w.
2
Let o(p) = -94*p - 9870. Let h be o(-105). Solve -5*q + k + 21 = h, -2*q + 5*k = 1 + 9 for q.
5
Let h be 2 - 1 - (-3 + 17). Let q(w) = -4*w - 24. Let g(r) = 7*r + 45. Let p(x) = 3*g(x) + 5*q(x). Let k be p(h). Solve 3*n + 2 = f, 3 = k*n + 4*f + 9 for n.
-1
Let l = 3136 - 3055. Solve t = -2*p - 8, -83*t + 4*p + 16 = -l*t for t.
0
Suppose 5*i - 4*i - 13 = 5*n, i - 2*n - 16 = 0. Suppose 6*d - 73 = -19. Suppose -5*h = 5*j, -h + 0*j = 4*j + d. Solve 15 - h = a - 5*p, 0 = -a - 5*p - i for a.
-3
Suppose 4*o + 5*h = 1571, -5*h - 37 = 2*o - 810. Solve 0 = -398*i + o*i - 4*x + 15, 3*i = 3*x - 18 for i.
-3
Let z be -2 + (-392)/(-18) - 71/(25560/(-80)). Suppose -2*b + r = -5*b - 3, r = -3. Solve b = 3*y - 4*g + z, -27 = -3*y - 5*g - 2 for y.
0
Suppose 171*n - 166*n - 930 = 0. Let t = n - 183. Solve -t*m - 2*j = 6, -4*m - j = j + 6 for m.
0
Suppose -4*m + 26 = 2*v, 50 = 5*v + 5*m - 0*m. Suppose 1 = -d - 0*d. Let u be d - -3 - 1 - -1. Solve -2*l = 3*s + 18, l + 4*l - u*s = -v for l.
-3
Suppose 142 = -12*y + 202. Solve 9*c + 25 = -y*u + 13*c, -4*u + c = 20 for u.
-5
Let v(b) = b**2 - 49*b - 448. Let p be v(-8). Solve 2*l - 7 = -5*i, 2*i - 6 = 4*l - p for i.
1
Let q be ((-76)/285*9)/(8/(-10)). Solve q*m - 2*v = v - 3, -4*v = -5*m - 5 for m.
-1
Let z = -184 + 191. Suppose -3*y - 4*p + 15 = z, -5*y + 10 = 5*p. Solve -2*l - 14 = -2*i - y*i, 2*i - 3*l = 18 for i.
3
Suppose -65 = -3*p + 11*k, 13*p - 17*p - 2*k = -20. Solve -p*j = -8*j - 5*w - 25, 15 = -j - 3*w for j.
0
Let u(x) = x**3 - 9*x**2 - 8*x - 12. Let s be u(10). Suppose s*b = 6*b + 6. Solve 2*i + 5*w + 19 = 0, 20 = -4*i - b*w + 3 for i.
-2
Suppose -5 = b - 2*r, b - 2*r - 15 = -4*r. Let m be 7 + -4 + -4 + b. Suppose 45*f + m = 46*f. Solve 5*w - 6 = j, -5*j + f*w = -3 + 12 for j.
-1
Suppose 6*m - 41 + 19 = 32. Solve 0*b + 3 = 5*b + 4*c, -2*c + m = 5*b for b.
3
Let p(f) = 3*f**2 - 142*f - 2331. Let h be p(-13). Solve 4*j - j = -2*o - 16, h = -3*o - 4*j for o.
-2
Let y = 16178 + -16172. Solve -2*z - 4*n - 26 = 0, -18*n - y = 2*z - 19*n for z.
-5
Let i(v) be the first derivative of -5*v**2 - 2/3*v**3 - 11*v + 12. Let a be i(-3). Solve -2*c = w + a, -4*c = 4*w - 0*c - 4 for w.
3
Suppose -6 = -2*b + 4. Suppose 22*l = 19*l - 3, 0 = -g - 4*l + 17. Solve -n = -b*f + 24, -g = -n - 4*f - 9 for n.
-4
Let o(x) be the second derivative of -x**4/12 - 3*x**3/2 + 12*x**2 - 41*x. Let l be o(-11). Let y = -4 + 4. Solve h - 2 = -4*j - h, 2*j - l*h + 14 = y for j.
-2
Suppose -2*b = g - 14, 5*g - b = 3*b. Let z = 129 - 115. Solve -l - t = -3*l, -l + g*t + z = 0 for l.
-2
Suppose 918 = 26*f - 17*f. Suppose -9*n = f - 129. Solve 5*z + 0*z - 16 = p, -4*p = n*z - 28 for p.
4
Let u(k) = -3*k**2 + 39*k + 2. Let c be u(13). Let x be 52/78*(-69)/(-2). Let p = -18 + 