= -2*s - 12 for b.
-2
Suppose 0 = -r - 0*r - 3*f + 4, -r = -5*f - 20. Suppose 3*p + 4 = -2*h + 7*h, 2*h = -3*p + r. Solve 5*b - 17 = -3*n, p*b - 3*n - 13 + 2 = 0 for b.
4
Suppose 3*v + 5*s = 17, -2*s + 1 = 2*v - 9. Let h = 574 + -327. Let z be 9/(-15) + h/95. Solve -b + 3*n = -v, -2*b + 6*b - z*n = 6 for b.
1
Let j be 14/(-231) + 4/66 - -12. Solve 2*d - 2*a + j = 0, -12 = -2*d - 5*a - 3 for d.
-3
Let d be 7*-2 + (-40 - -85) - -1. Solve 4*q - 4*n - d = 0, 0 = -5*q + n + 34 + 2 for q.
7
Let y be (-1 + 2)/(0 + 1). Suppose -20*l - 5*a = -25*l - 20, 4*a = -l + 26. Suppose l*f - y = 5. Solve -4*m - 4 = -2*u, 2 = u - 3*m - f for u.
-4
Let l = 18056 - 18051. Solve -2*s + 3*r + l = 0, 227*r + 6 = 3*s + 224*r for s.
1
Suppose 232 = 13*q + 45*q. Suppose -2*a - 3*u = q - 27, -2*a = -u - 19. Let r = 2 + 3. Solve r*n = -0*n + 2*j, -5*n - a = -4*j for n.
2
Let w = 147 - 150. Let l(k) = -16*k - 44. Let p be l(w). Solve 0 = -4*q - 4*n - 40, 14 = 2*q - 4*n + p for q.
-5
Suppose -659*x = -829*x + 850. Solve -5*l - x*d = 30, 3*d - 227 = -239 for l.
-2
Suppose -263*d + 516*d = 263*d - 20. Let b be (20/6)/(4/6). Solve b*r = -d*s, 3*s + r = 4*r for s.
0
Suppose 0 = 5*j - 0*j - 10. Suppose -145 = 5*y + 5*o, 0 = -o + 2 + 1. Let w = 37 + y. Solve -3*b + w*a = 0, -5*b - 4*a = -j*b for b.
0
Suppose -3*c + 2 = -g - 7, 4*g - 5*c + 8 = 0. Solve -l + w - 2 = g*l, w + 6 = -4*l for l.
-1
Let s be (4 + 48)*(-28)/(-112). Let t(r) = 6*r + r**2 - 10 + 4*r - 5*r. Let v be t(-7). Solve -3*u + v*n = u - 4, -3*u = 2*n - s for u.
3
Let g(p) = -p**2 + 16*p + 104. Let j be g(21). Let l be j/(-8) + (-1488)/(-384). Solve f + v - l = 0, 0 = v + v - 10 for f.
-1
Let s = 25 + -20. Suppose -46 = s*p + 89. Let i be ((-4)/6)/(p/405). Solve -2*u + 0*b + 3*b + 1 = 0, 5*b - i = u for u.
5
Let r(k) = k**3 - 9*k**2 + 27*k + 27. Let n be r(7). Let d = n - 113. Solve -b + d = 3*o - 9, -3*b = -3*o + 6 for o.
4
Suppose 3*c + 51 = 6*c. Suppose 16*i + 12 = c*i. Solve -2 = 3*x + a - i, -2 = -3*x + a for x.
2
Suppose 2 = -g - 8. Let v = -1772 - -1762. Let x = g - v. Solve 3*i - 2*j = x, -i - 2*j = 7 + 1 for i.
-2
Let g(r) = 295*r + 889. Let u be g(-3). Solve 0 = -l + u*x - 8, l + 3*x + 51 - 57 = 0 for l.
0
Let k(s) be the second derivative of -s**3/3 + 15*s**2/2 - 8*s. Let w be k(0). Suppose -12*r = -7*r - w. Solve 4*d - 4*z + 2 = d, r*d - 3*z = 0 for d.
2
Let y(c) = -2*c**2 - 62*c - 116. Let t be y(-29). Solve -2*g - 4*s - 14 = t, -5*g + 4*s = -0*s + 35 for g.
-7
Let x(k) = 9*k**3 + 25*k**2 + 12. Let d(f) = -5*f**3 - 13*f**2 - 7. Let j(w) = -11*d(w) - 6*x(w). Let l be j(7). Solve m - l = -4*r - 2, 2*r = -3*m - 1 for m.
-1
Suppose 4*m + 11 = -5*o, m + 1 - 5 = o. Let d be 3/(-1) - m/((-4)/20). Let l be ((-6)/(-4))/(17/170). Solve 5*i + l = 5*b - 3*b, -10 = d*b for i.
-5
Let s(p) be the second derivative of 7*p**3/6 - 60*p**2 + 58*p. Let o be s(18). Solve -o*l = -2*l + 2*a + 12, 12 = -3*a for l.
-1
Let a = -286 - -290. Let f be a - (2/(-11) + (-54)/66). Let j be (-74)/(-14) + 4/(-14). Solve f*o - j = -5*c, 5 + 0 = 5*o + 3*c for o.
1
Let w be (-26)/(2/(-3) + (-108)/(-144)). Let l be (-48)/w - 89/(-13). Solve -5 = 4*i + 5*v, -2*i + 3*v = -l*i - 16 for i.
-5
Suppose -25 = 5*l - 50. Suppose n + l*d + 28 = 5*n, -3*n + 2*d = -14. Suppose n*r = -2*z + 6, 3*r - 5*z + 0*z = -15. Solve 4*t = 12, -3*t = -r*o + o - 8 for o.
-1
Let g(c) = 2*c**3 + 14*c**2 + 2*c + 1. Let f be g(-7). Let q(y) = y**2 + 8*y - 61. Let u be q(f). Solve -5*x + 35 = 2*o - 4*o, u*x - 40 = 4*o for o.
-5
Let x = -286 + 155. Let z = x - -133. Let y be ((-9)/15)/((-2)/10). Solve 3*v + y = a, 0 = 4*a - v + z*v + 14 for a.
-3
Suppose 3*z = -f + 5, 2*f - 5*f + 11 = 5*z. Suppose z = -2*o + 7. Suppose o*r = -r + 32. Solve -t - 2*s - r = 0, -5*t - 2*s - s = 19 for t.
-2
Suppose 24 - 14 = 5*p. Solve -15 = 4*j + 5*o, 3*j - 2*o = -p*j + 6 for j.
0
Suppose -2*y - 4*a = -2*a + 8, -3*a = 15. Let m be (-1*y*(18 - 24))/2. Solve 5*k - 13 = -2*w, -m*w + 3 = 5*k - 3*k for k.
3
Let r(x) = -5*x + 3. Let d be r(-2). Let t = 16 - d. Let m(q) = 5*q + 5. Let i be m(0). Solve i*o + 2*l + 25 = 0, o + 3*o = 3*l + t for o.
-3
Let z = -73 - -125. Let d = 31 - z. Let j = -18 - d. Solve 5*x - y + 6 = 0, -2*x + y = -j*x - 6 for x.
-2
Suppose -6 = 9*i - 10*i. Let n = i - -9. Suppose n = 38*r - 33*r. Solve -3 = 5*x + r*c, c - 4 = -0 for x.
-3
Suppose -y + 2*c = -3, 5*y + 15*c = 16*c + 15. Solve y*f + 13*b - 11*b = -10, 2*f - 5*b + 13 = 0 for f.
-4
Let p(j) = j**2 + 9*j - 49. Let v be p(-15). Suppose 0 = 7*x - v + 20. Solve 2*r = 7*r + f + 5, x*r - 2*f = -16 for r.
-2
Let z = 4100 - 4045. Solve -49 = 3*c - 3*f - z, -3 = -3*f for c.
3
Let f(z) = 3*z**3 + 5*z**2 + 2*z - 8. Let h be f(1). Solve 2*i + 3 = h*s + 3*i, -2*s - 5*i = 9 for s.
3
Suppose 0 = 292*k + 270*k - 12364. Solve -4*d + y + 23 - k = 0, -3 = -2*d + y for d.
-1
Let c(x) = -167*x + 670. Let s be c(4). Solve -f + s = -75*b + 73*b, b = 2*f - 1 for b.
-1
Let g(c) = -c**2 - 3*c + 4. Let z be g(-3). Let y be 9/33*8 - z/22. Suppose -4*i + 6 = -7*i + 5*w, 3*i - y*w = 3. Solve t = 2*m + 6*t - i, 4*t + 4 = 0 for m.
4
Suppose -12 = -17*d + 14*d + t, 16 = 4*d + 10*t. Suppose 7*z = 5*z + 16. Solve -d*u = -i - 10, 2*i + u = -1 + z for i.
2
Let a(k) = 13*k + 2 + k**3 + 11*k + 184*k**2 - 195*k**2. Let z be a(8). Suppose -30 = -0*w - 3*w. Solve -5*h = -5*x - 1 - 4, 4*h - w = -z*x for x.
1
Let d = 55 + -55. Suppose d = 4*r + g + 13, -g + 8 = -r - 2*r. Let a be 4 + r/(-3) + 0. Solve -4*k - a*p = -0*k - 9, 3*k = -4*p + 7 for k.
1
Let c = -88 - -91. Let x be 10/2 + 3 - c. Let l = -1 + 6. Solve l*b = x*u + 5, 0 = -3*b + 6*b - 12 for u.
3
Let k(j) = -10*j - 10. Let h be k(-2). Solve -5*a + 3*m - 1 = h, -2*m = -2*a - 6 for a.
-1
Let w = 794 - 782. Solve 20 = -4*j - 5*x, -5*j - 13 = 5*x + w for j.
-5
Let w(z) = 3*z + 5. Let n be w(-5). Let b = n - -19. Let f(h) = 184*h - 1101. Let i be f(6). Solve -2*m - b = -i*m - 3*q, -32 = 4*m - 5*q for m.
-3
Suppose -852 - 1003 = -431*f - 562. Solve 2*t = -4*j - 20, 4*t + 1 = 4*j - f for j.
-3
Suppose -128*k + 3*r = -133*k + 147, -4*k = 2*r - 114. Solve -4 = -5*l + 2*f, -k*f = -4*l - 29*f - 10 for l.
0
Suppose 178*z - 72 = 284. Solve 2*p - z*h = -13 + 19, 4*p = -h + 17 for p.
4
Let a(w) = -4*w - 25. Let p be a(-7). Let t be (p/(-2))/((-3)/4). Suppose -t*l + l = 4*d - 24, -d + 1 = -l. Solve 8 = -3*z - 2*u, -5*z + 2*u = l*u + 16 for z.
-4
Let o(q) = q**3 - 5*q**2 - 11*q - 17. Let b be o(7). Let i(h) = -4*h**2 + 21*h - 16. Let p be i(b). Solve -w + 4 = -a, -p*w - 3*a + 19 = -8*a for w.
1
Let l(a) = -50*a + 753. Let h be l(15). Let g(i) = i**2 + i**2 + i + 4*i**2. Let s be g(-1). Solve -5*y + x + 3 = 0, -y - s*x - 12 = h for y.
0
Let i(w) = 8*w + 38. Let t be i(20). Let s be 0 + 35/(-11) + 36/t. Let u be (-47)/s - (-22)/(-33). Solve 5*g - 20 = -4*c + g, -3*c + 3*g - u = 0 for c.
0
Suppose -3*w = -5*p - 83, -7*p + 45 = -10*p - 3*w. Let k be (20/(-7))/(p/56). Solve -10 = -z + 3*l, 2*l - 2 = -k for z.
-2
Suppose 0 = -g + 17*g - 80. Suppose t + 0 - 1 = -d, g*d - 4*t - 23 = 0. Solve 0 = -0*q - q + 2*x - 10, 17 = -2*q + d*x for q.
-4
Suppose -7*d - 50*d + 27*d + 330 = 0. Let b = -2 - -7. Let x = b + d. Solve 2 = s + 2*s + 4*p, 4*p = 4*s + x for s.
-2
Suppose 0 = -2*g + 4*p + 50, p = 5*g - 4*p - 125. Let c be (-183)/18 - 2/(-12)*1. Let u = c + g. Solve -s = 4*l - u, -l = -3*s + 9 - 3 for s.
3
Let j be ((-10)/6*24/(-20))/(7 + -6). Solve 5*x = -y - j, 3*y = 3*x - 0*x - 6 for y.
-2
Let f be ((-186)/248)/((-1)/(-4)*-1). Solve -4*d = -4*c + 3 + 9, 5*c = -f*d + 15 for c.
3
Let h be 40/12*(-3)/1. Let o be 411/(-27) + 9*(-18)/(-729). Let x be (-4)/h + (-69)/o. Solve -2*d - 5*s = -9, x*d - 6*s + 27 = -2*s for d.
-3
Let a(n) = -n**2 + 20*n - 68. Let c be a(11). Suppose -c*w - 720 = -61*w. Let x = 0 + 3. Solve -2*f - x*t + 8*t = -17, -4*t - w = f for f.
-4
Let f = 3361 + -3357. Solve f*r + 2*l - 6 = 0, -5*r + 0*l + 5 = 3*l for r.
4
Let d = 95 - 97. Let l be d + (4 + 1 - 2). Let h be l - -4 - (12 + -10). Solve 15 = -h*u + g, -9 = -5*g + 2*g for u.
-4
Let n(q) = 2*q**2 - 16*q + 121. Let b be n(9). Let j = b + -136. Solve -j*f = -3*a - 3, 0 = 3*a + f + 2 - 3 for a.
0
Let d(m) = 422*m - 2950. Let a be d(7). Solve 2*t - 3*r - 2 = -7, -a*t = 3*r + 19 for t.
-4
Let l be 17 - (-20 - (-19 - 16)). Solve 2*v = 2*h, 17*h = l*v + 18*h - 15 f