for b.
-5
Let a(y) = -2*y**2 - 13*y. Let h be a(-6). Suppose 0*n = -3*n + h. Solve -1 = 4*d - 2*d - 3*w, -n*w + 6 = 4*d for d.
1
Suppose y = 5*f - 18, -4*f + 26 = 3*y + 4. Suppose -u + 6 = y. Solve 0 = s - u*i + 7, -3*s + 15 - 3 = -i for s.
5
Let s(k) = -3*k**2 - 193*k - 249. Let r be s(-63). Solve -8 = -r*o + 4*o + 4*g, -o - 4 = 2*g for o.
0
Suppose 5*n = -3*c, -2*n - n = -3*c. Let h be (0/((-4)/2))/(-2). Suppose p = 5*f - 2, h*p - 4*p = 5*f - 17. Solve n*i + 23 = q + 4*i, -3*q + 2*i = f for q.
3
Let w be (3/(-6) + 1)*26. Suppose 0 = 17*v - w*v - 12. Solve 0*g = l + 3*g + v, -3*l = 2*g + 9 for l.
-3
Let f(i) = i**3 + 6*i**2 - 10*i - 15. Let o be f(-7). Suppose 0 = -o*v + 3*v + 9. Solve v*m - 22 = -2*d + 6*d, -5*d - 18 = m for d.
-4
Let z(w) = -w**3 + w**2 + 25. Let o be (-5)/(-10)*(-1 + 1). Let m be z(o). Solve -m = 5*y, 4*h - y = -2 + 7 for h.
0
Let l(k) = -22*k - 14 + 15*k + 16*k. Let v(h) = 6*h - 9. Let j(r) = -5*l(r) + 8*v(r). Let m be j(2). Solve -5*a - 13 = -3*y + 5*y, y + m*a + 8 = 0 for y.
-4
Suppose 14 = 11*f - 4*f. Suppose 5*l = -5*n - 10 + 25, 4*n + f*l - 22 = 0. Solve 2*t - c - n = 0, -7*t + 2*t = -5*c - 20 for t.
4
Suppose -1 = 2*m - 7*w + 10*w, 2*m + 7 = -5*w. Solve -3*l + 3*o = -15, -4*l + m = -o - 4 for l.
1
Let t be ((-4)/3)/((-3)/(-9)). Let j be (t - -3)/((-4)/20). Suppose -q = -4*o + j, 10 = -q - q. Solve o = -2*c - 4*h + 20, -3*c - 3*h = -0*h - 15 for c.
0
Suppose 12*s = -5*s + 85. Solve 0 = -s*k + 5*c, c - 2*c = 5*k + 18 for k.
-3
Let g be (-216)/(-22) + (-14)/(-77). Let h be (12/g)/((-2)/(-5)). Let q(u) = u**2 - 4*u + 6. Let o be q(h). Solve -c = -3*c + 4*w - 6, o*c + 2*w = -9 for c.
-3
Let w = -449 + 453. Solve -y = -5*n - 2, 7*n = w*n for y.
2
Let g(m) = -m - 12. Let x be g(-6). Let u(k) = -1 + 1 + k + 8. Let r be u(x). Solve -d + 1 = z - 2*z, 0 = 4*z + r*d + 10 for z.
-2
Let a(k) = -k**3 - 54*k**2 + 171*k + 2. Let o be a(-57). Solve 24 = -z - 5*x, -x = o*z + 2*z + 20 for z.
-4
Let x be -2 - (23*-2)/(-2). Let l be ((-10)/x)/(1/5). Let q(f) = 6*f - 2. Let i be q(l). Solve -6*y - i = -2*o - y, -5*o - 29 = y for o.
-5
Let x = -39 - -52. Let c = x - 9. Solve -5*t = c*i + 4, -t + 5*t + 8 = -2*i for i.
4
Suppose m - 3*m + 7 = u, -2*u + 10 = 3*m. Suppose 3*h = 11 + m. Solve h*x = -p + 20, 2*p + p + 4*x - 16 = 0 for p.
0
Let l(w) = -w**2 - 16*w + 5. Let o be l(-15). Suppose -2*v = 8, -i - 4*v - o = -5*i. Solve r = -2*h + 6, 3 = -h + 2*r + i for h.
2
Let z(i) = i**3 + 14*i**2 + 30*i + 76. Let y be z(-12). Solve 5*t - 2*t - y*j - 2 = 0, 4*j - 6 = -t for t.
2
Suppose -5*n + 15 = 2*k, 7*k + 5*n = 6*k + 10. Solve -4*m - 4*t + 6 = -2*m, k*t - 3 = -4*m for m.
-3
Let d(c) = 2*c**2 + 9*c. Let f be d(-5). Suppose -r = 5*p - 11 - 9, -f*p - 5*r = -40. Solve 0 + 3 = -3*i - p*g, 17 = -5*i + g for i.
-3
Let s be (-1 - (-2 + 2))*-2. Suppose o + 18 = 4*o. Let t = 8 - o. Solve -4*u = -t*h + 2, -3*h + 14 = s*h - u for h.
3
Let u(b) = -b**2 - 11*b - 16. Let f be u(-8). Suppose 0 = r + f - 12. Solve -3*d - 17 = -r*i, -5*d - 12 - 11 = -4*i for i.
2
Let j be (0 + -2)*(-25)/10. Solve -4*x - j*k - 31 = 0, 2*k - 3*k = -5*x - 17 for x.
-4
Let n(j) = 10 - 3*j + 1 + 1. Let b be n(4). Suppose -4*d + 5*d = 21. Solve b = 3*c + h + 2, -2*c - d = 2*c + 5*h for c.
1
Let b be 3/(-3)*5 + -2 + 10. Let u(l) be the second derivative of 2*l**3/3 - 3*l**2/2 + l. Let v be u(b). Solve -2*w = k + 5 - 2, -w = 4*k - v for k.
3
Let l(s) = -20*s + 2. Let t be l(0). Solve 7 = -t*d - j, -5*d + 0*d = 5*j + 15 for d.
-4
Let p(x) = -x**2 + 2*x. Let u be p(2). Suppose u = -5*n - 5*c + 25, -2*c + 13 = n + 3*c. Let m be 0 + (-2)/n*-33. Solve -q + 8*f - m = 3*f, 25 = 5*f for q.
3
Let d(x) = -x**2 + 10*x + 2. Let g(v) = v**3 - 4*v**2 - v - 10. Let w be g(5). Let q be d(w). Solve 5*t = -7*z + q*z + 5, 5*t = 5*z - 15 for z.
2
Let u = -1 + 38. Suppose u = 7*y + 2. Solve -5*s - 4 = 3*j, 0 = y*j - j - 8 for s.
-2
Suppose -j + 2 = -p - 3*j, -3*p - 3*j = 0. Suppose n - 2*f - p*f = 20, -5*f = -3*n + 60. Solve -4*u = u + x + n, -x - 14 = 3*u for u.
-3
Let v(y) = -4*y + 12. Let h be v(-7). Suppose -19 = -2*g + r, -4*r - h = -3*g - 4. Let q = 8 - g. Solve 14 = -5*m - 4*o, 3*o + q*o + 5 = -m for m.
-2
Suppose 7*i - 28 = 42. Let u(p) = p**2 - 11*p + 15. Let t be u(i). Solve 2*r + 3*o + o = 22, -r - t*o = -26 for r.
1
Let f(d) = d - 3. Let l be f(5). Suppose 17 = 4*c + 3*y, -2*c - 2*y + l + 8 = 0. Solve -c + 1 = 2*n - 3*o, 0 = -4*n - 5*o - 35 for n.
-5
Suppose 0 = -k - 4*k. Suppose -5*z + 5 = -k. Let v = z + 6. Solve -a = 3*i - v - 12, -2*a = 3*i - 23 for a.
4
Let p = 1488 + -1484. Solve -2*w - 22 = -p*i, 5*w + 4 = -4*i + 5 for w.
-3
Suppose -2*i + o = 39, -121 = 5*i - o - 19. Let v = i + 22. Solve 7*c - 3*c = -2*h + 4, 0 = -h - 5*c - v for h.
4
Let c(l) = 33*l - 231. Let n be c(7). Solve -d = -5*p - n + 20, 3*d + 9 = -2*p for p.
3
Let q be (-42)/(-12) + 15/10. Solve 2*w = -y - 0*y + 2, -5*y + q = 5*w for w.
1
Let v(l) = l**3 + 20*l**2 - 23*l - 39. Let k be v(-21). Solve -x - 13 = 4*h, -x - x + k*h = 4 for x.
-5
Suppose 0*f - 10 = -2*f. Let r be 8 - 1 - (-3 + 0 - -3). Let b = -171 - -175. Solve -2*s + r = 3*t, 4 = s - b*t - f for s.
5
Suppose 20 = 4*w + w. Let i be (0/13)/((-5)/((-5)/2)). Suppose w*o - 37 - 7 = i. Solve -j - 3*y = -3*j - o, 20 = -5*j + 5*y for j.
-1
Suppose 50 = 9*q + 16*q. Solve -h - h = -2*m + q, -4*h + 11 = m for m.
3
Let x(z) = z**2 + 11*z + 21. Suppose -2*i - 4*f = -2, -2*i + i + f - 14 = 0. Let q be x(i). Solve 0 = -3*c + 3*u + 5 + 1, -q*c - u - 6 = 0 for c.
-1
Suppose 48 = -11*k + 7*k. Let b = 22 + k. Let p be ((-26)/(-10))/(2/b). Solve 5*v = 2*w + p, -3*v = w + 2*w + 9 for w.
-4
Let p be ((-36)/(-2) - 7) + -6. Solve -4*s - 1 = c - 2*c, -1 = p*s - c for s.
0
Suppose 22*x = 35*x. Solve 4*y + x*y + 8 = 2*a, -y - 5*a = 24 for y.
-4
Let n = -666 + 668. Solve -6 = c + n*s + 1, -3*c = -4*s + 1 for c.
-3
Let d be ((-1)/3)/(((-21)/(-90))/(-7)). Suppose -d = -3*o - 2*o. Solve 3*w - o*c = 3*c + 17, 3*w + c - 11 = 0 for w.
4
Suppose 0 = -136*c + 138*c - 4. Solve 5*p + 5*u - 3 = -28, 4*p + 14 = -c*u for p.
-2
Let x be 33/16 - (-34)/(-544). Solve a - x*y + 6 = 0, -2*a = 4*y - 3 - 9 for a.
0
Suppose -26*p = -56*p + 150. Solve 3*k = -p*i + 17, -2*i + 4 + 5 = -k for k.
-1
Let h be (-2 - -2) + 0 + 2. Suppose -2*w - 4 = -5*f, 5*w = f + 9*w + 8. Solve -12 = -2*n + 4*x - f, 4*x = -h*n - 4 for n.
2
Let z = 3 + 1. Suppose 0 = -0*g - z*g + 44. Let k = -36 - -43. Solve 3*t + y = 5*y + g, 0 = -t + 2*y + k for t.
-3
Let p = -766 - -768. Solve 23 = 5*t - p*f, -f = -t + 2*f + 15 for t.
3
Suppose -4*u + 123 + 8 = l, 0 = -2*u - 3*l + 63. Suppose 0 = 7*t + 4*t - u. Solve -t*y + 5 = -4*d, 3*d - 2*y + 1 = -3 for d.
-2
Let s be (-4)/(-6) + 150/18. Let y be 58/12 + (-2)/(-12). Let k(d) = -d**2 + 6*d + 1. Let n be k(y). Solve -4*w + s = -5*w - 5*q, -4*q = 2*w + n for w.
1
Let c = 3035 - 3030. Solve 4*y + p = -4, 17 = -5*y + 3*p - c for y.
-2
Let i = -2046 + 2049. Solve 1 = -i*d + 4*j, d - j = -0*j + 1 for d.
5
Let i = 156 - 127. Suppose 10*r + 9 - i = 0. Solve -40 = 4*a + 4*s, r*a - 3*s - 6 = -1 for a.
-5
Suppose -z + w = 6, 5*z - z + 2*w = 0. Let v be 6 - (1 - -1)/z. Let s = -168 - -205. Solve -3*j - 5*k - s = 0, 2*j = -k - 6 - v for j.
-4
Suppose -64*y = -65*y. Let b(x) = -2*x + 2. Let d be b(y). Solve d*v - 11 = v - 5*w, -4*v = -2*w for v.
1
Suppose 0 = -3*b, -4*g - g + 35 = -5*b. Suppose -g*p + 6 = -4*p. Suppose -7*r = -p*r. Solve 3*i - f = -i - 1, r = -4*i - 3*f - 13 for i.
-1
Suppose -4*h = -2*h - 8. Suppose 5*l + 5 - 34 = a, 0 = h*l + 5*a. Solve -4*o = -2*i + 12, 5*i + 30 = -0*o - l*o for i.
-2
Let s = -2033 + 2037. Solve -6*x + 2 = -t - s*x, 3*x = 3*t + 6 for t.
-2
Let c = 39 + -31. Suppose c*o - o - 14 = 0. Solve o*i - 2*x = -0*x, -3*x - 6 = 0 for i.
-2
Let x(t) = -61*t. Let c be x(0). Solve c = 2*q + 5*j + 4, -4*j + 6 = -3*q for q.
-2
Let g(t) = t**3 + 9*t**2 + 3. Let x be g(-9). Let v = 7 + -5. Suppose 6*y = 3*y + 12. Solve 0 = y*w, -x*z + v*w = w - 15 for z.
5
Let s(k) be the first derivative of k**3/3 - 3*k**2 + 4*k + 1. Let h be 3 + (4 - (-1)/(-1)). Let m be s(h). Solve 3*t + 2*w - 3*w - 12 = 0, 4*t - 8 = m*w for t.
5
Let w(z) = z**2 + 5*z - 4. Let s be w(-6). Let u be s - (-3)/3 - -1. Suppose u*t - 8 = g, -6 = -3*t - 3*g - g. Solve m = 3*j + t, 1 = 4*j + m + 13 for j.
-2
Let f = -31 - -59. 