b. Solve -5 = -a*s - 4*l, -5*s + 2*l + 2*l = -5 for s.
1
Let u = -103 - -127. Solve -3*w - 3*x + u = 2*w, -4*w = -3*x - 3 for w.
3
Let o(v) be the first derivative of -v**4/4 - 4*v**3 + 2*v + 35. Let u be o(-12). Solve h = -3*t - 3*h + 13, -13 = -5*t + u*h for t.
3
Suppose -40 = -5*s + 2*a, -s - 4*a + 6 + 2 = 0. Suppose -4*h + p + 8 = 0, -p + s = 4*h - 0*p. Solve -2*q - h*q + 2*n = 0, 4*q + 4*n = 12 for q.
1
Suppose 6*c - 26*c + 160 = 0. Solve n = -3*s - c, -3*n - 4*s - 18 = -s for n.
-5
Suppose -5*g - 4*m + 232 = -0*m, -3*g - 5*m + 134 = 0. Suppose 0*s + 3*s = g. Let y = 27 - s. Solve 2*c - 23 = -5*r, r + r - y = c for c.
-1
Let t = -143 + 143. Solve -d = -w + 8, -2*w + t*d = -d - 11 for w.
3
Suppose -k + 0*k = -4. Suppose k*v + 4*f = 12, 4*f - f - 5 = -v. Solve -2*y - v = -5*t + 4, 2*t + 6 = -2*y for t.
0
Suppose -9 = -6*l + 3. Solve 0 = -r - l*h - 0 + 10, r = -4*h + 20 for r.
0
Let h be (11/(-2))/(220/(-80)). Solve 0 = -3*f - n + h*n + 2, 2*f + 4 = -2*n for f.
0
Let t be 0 - 3 - (-5)/1. Solve -2*l - t = -4*k + 14, k = -5*l + 4 for l.
0
Suppose -4*d - 4*v = -2*v - 8, -4*d - 3*v + 12 = 0. Suppose -2*m + 48 - 2 = d. Solve -5*x = -2*g + 4*g + m, 4*g - 5*x = -1 for g.
-4
Suppose 0 = -2*c + 15 - 3. Let g = -269 + 274. Let j be (-1)/4 - (-36)/16. Solve -j*b - c = s, 5*s = -g*b - 17 - 3 for b.
-2
Suppose 3*b - 3*u - 9 = -3, 3*u = -b + 10. Let s(l) = -2*l. Let m be s(4). Let j be (12 + -16)*10/m. Solve -j*t = -b*o, -3*o = 2*o + 25 for t.
-4
Let j(t) be the second derivative of -t**5/10 - t**4/6 + t**3/6 - t**2 + 32*t. Let o be j(-2). Solve w - 3 = -2*n + n, 2*n - o*w = 0 for n.
2
Suppose 0 = -6*j + 400 - 292. Suppose 8*s - 3*s = 10. Solve 0 = 3*g - 3*z - 0*z, 4*z = -s*g + j for g.
3
Let p(u) = -u**2 + 16*u + 143. Let k be p(-6). Solve 3*q - k = 2*j, -q + 0*q + 8 = -5*j for j.
-1
Let l(j) = j**3 + 19*j**2 + 33*j - 17. Let x be l(-17). Solve x*i + 5*i - 19 = 4*b, 2*i = 3*b + 9 for i.
3
Suppose -5*i + 5*w - 440 = 0, 3*w = 5*i + 218 + 212. Let z = -82 - i. Solve 0 = -5*m + a + 16, 5*m - 4*a - z - 3 = 0 for m.
4
Suppose -2*r + 268 = 2*r. Let g = r - -66. Let m be g/7*(0 + 1). Solve m = 5*l - 2*f, -f - 1 = 2*l - 14 for l.
5
Suppose -27*o + 166 + 293 = 0. Solve -v + 5*v = 5*i - 11, -4*v - i = o for v.
-4
Let i = 7 + 12. Suppose -5*w = -i - 1. Suppose 4*c + 49 = 5*z, 0*z = -z - 5*c + w. Solve b + 13 = 2*y, 5*b + 3*y + z = -y for b.
-5
Let j be (48/(-80) - 12/(-20)) + 3/1. Suppose f = -2 + 4, f = 3*b - 13. Solve -7 = -3*g - 5*u, -b*g = -j*g + u for g.
-1
Suppose -15*a = -23*a + 32. Solve a*b - 3 = -2*y + 7, -b + 4 = -y for b.
3
Suppose -2*k = k. Suppose -40*n - 5*n + 90 = 0. Solve k = 2*p - n*v - v + 1, p + 5*v = 6 for p.
1
Let b(s) = s**3 - s**2 + s. Let o(a) = -a**2 + 3. Let y(h) = b(h) - o(h). Let g be y(0). Let f = g + 7. Solve l - 2 + 1 = -5*n, 4*l + f*n = -12 for l.
-4
Let z(c) = c - 10. Let b = -2 + 6. Suppose -31 - 29 = -b*t. Let o be z(t). Solve o*f - f - 12 = 4*u, u + 15 = -5*f for u.
-5
Let n be (4 + -20 + 17)*2. Let o be (9/6)/((-2)/(-4)). Suppose -o*f = -8*f + 15. Solve -2*l + 3 = 3*z, 0 = f*l - n*l - 4*z - 7 for l.
3
Let w(l) = 2*l**3 + l**2 + 2*l - 2. Let v(n) = n**3 - n - 1. Let y(t) = 4*v(t) - w(t). Let z be y(3). Solve 4*p + f + 10 = 0, 2*p - 5*f = -3*p - z for p.
-3
Let f be (5 + -4)/((-2)/(-50)). Let y = 17 - f. Let l be (y/5 - -1)*-5. Solve 4*m + l + 1 = 0, 5*x - 4*m = 19 for x.
3
Let q be -9*(196/(-60) - 10/25 - -3). Suppose -4*n = -43 + 7. Suppose 3*f - n - 3 = 0. Solve -3*c - 4*y + q = 0, -f*y + 3 = 4*c - 5 for c.
2
Let d(t) = 3*t**2 - 6*t - 3. Let f be d(3). Let s be (-4 + 54/12)*f. Solve -s = 2*i - 6*g + 3*g, -2*g = 2 for i.
-3
Suppose v + 3*v = 2*i - 18, 4*i + 3 = -5*v. Solve -5*u + i*u = -3*x + 20, 0 = 4*x - 16 for u.
-4
Let j(x) = x**3 + 7*x**2 + 2*x + 16. Let h(d) = d**2 - 4*d - 4. Let a be h(3). Let l be j(a). Solve o = l*p + 7, p + 3*p - o = -13 for p.
-3
Let q = -203 + 363. Let n be (-1)/3 + q/30. Solve -p + n*p + 14 = b, -p - 2*b = -1 for p.
-3
Suppose 20 = 8*c - 3*c. Let k be 10*(14/c - 3). Let s(t) = 2*t**3 - 2*t + 3. Let p be s(2). Solve 50 = 5*d - k*n, 0 = 3*n + p - 0 for d.
5
Let q = -2353 - -2383. Solve -2*l + 4*l = 2*s - 2, 5*l = -2*s + q for s.
5
Suppose 5 = 8*f + 4*z - 7, 0 = -2*f + 3*z + 15. Solve f*x = -l + 5, 2*l + 3*x - 6*x = 1 for l.
2
Suppose -3*v + 19*v = 80. Solve v = 3*o + o - a, 1 = 5*o + 4*a for o.
1
Suppose -8*t = 6*t - 294. Let o be t - 7/((-14)/(-6)). Let s be -1*0/(-2 - -1). Solve w + 3*d + 12 = s, 3*d - 6 + o = -4*w for w.
0
Suppose 19*b = -17 + 55. Solve -2*r - b*u + 8 = u, -r = u - 3 for r.
1
Suppose 3*p - 27 = -3*b, 30 = 2*p + 5*b - 0. Suppose t - r = -2*r + p, 3*t - 2*r = 0. Let s = 0 + 4. Solve -4*h + 7 = j, 2*h + s = t*j - 0 for j.
3
Let n = 1457 + -1445. Solve 0 = s - 3*s + 4, n = 3*h + 3*s for h.
2
Let s = 455 + -439. Let p be (-14)/(1 + 0) - -2. Let t = p + s. Solve 3*y = t*z + 23, -z - 5 = -3*y + 12 for y.
5
Suppose -17 = -v - 11. Suppose 0 = b + v - 11. Solve b*p = 4*n - 23 + 2, -4*n - 2*p + 14 = 0 for n.
4
Let h be 32/48 + (15/(-9) - -1). Solve 2*y - 4*p - 16 = 5*y, h = 2*p + 8 for y.
0
Let d be 6/(-21) - (-88)/14. Let q be 2 - 0/(d/(-3)). Suppose 0 = 3*u + 4*h - 37, -u = -4*h - 9 + 18. Solve 0*x - u = 2*p + x, 0 = -q*p - 2*x - 10 for p.
-2
Let k be (-4)/(-14) + (-1898)/(-511). Solve -k*n = 5*s + 19 - 5, 2*s = -5*n - 9 for s.
-2
Let l(n) = -n**2 - 3*n + 2. Let q be l(-3). Suppose -3*r = -12, -w + r = -9 + 4. Solve 4*t = -m + w, 0 = t + q*t - 5*m - 24 for t.
3
Suppose -3*c + l = 2*c - 1595, 1595 = 5*c + 2*l. Let t be ((-1)/1)/((-11)/c). Solve -a = 5*d - 10*d - t, -3*a - 5*d - 13 = 0 for a.
4
Let k = -507 + 520. Solve 5*p - k = -d - 4, -5*p = 3*d - 17 for d.
4
Suppose 5*h - 3*p - 385 = 2*p, -3*p = 3. Suppose 28 = 4*y + h. Let n = 16 + y. Solve -3*f + 2*o - 1 = 0, -4*o = -n*f + 3*f + 13 for f.
-3
Suppose 0 = 2*w - 19 + 87. Let u = w + 37. Solve -2*v = -0*v + 2, 0 = -u*n + v - 2 for n.
-1
Let u(a) = -2*a - 4. Let t be u(-2). Let l(k) = 2*k - 1. Let i be l(t). Let p be (11 - 10)/(i/(-5)). Solve p*n - 2*d = -30, 3*d - 29 = 5*n + 6 for n.
-4
Let d(u) = u**3 - 8*u**2 - 9*u - 3. Let v be d(9). Let x be (v + 2)*-1*0. Let p = 52 - 50. Solve -n + 5 = -x*n, j + n = p for j.
-3
Let y = 45 - 37. Let i(m) = 6*m - 38. Let r be i(y). Solve 3*x - 23 = 4*v, -3*x + r = -x for v.
-2
Suppose 0 = -3*g - 19 - 65. Let f = 32 + g. Solve 5*w + 6 = -3*h, -1 = 3*w + f*h - 4 for w.
-3
Let y(u) = -2*u**3 + 4*u + 1 + 2*u**3 - 5*u**2 + u**3 + 2. Let d be y(4). Solve 3*q - d*c - 33 = -12, -c - 4 = 0 for q.
3
Let q = 341 - 338. Solve 3*t = 5*s - 24, 0 = -4*s + q*t + 14 + 7 for s.
3
Let g(u) = -u**2 + 7. Let a be g(0). Suppose x = -4 + a. Suppose 12 = x*w - w. Solve w = 2*r, 3*f = -5*r + 11 + 13 for f.
3
Suppose -4*n - 2*a = -6*a + 4, 0 = n - 5*a + 17. Solve -4*z + 4*l + 16 = 0, n*z - 3*l + 2*l - 4 = 0 for z.
0
Let g be (1 - 5/(-10))*62. Let a = g + -89. Solve -3*k - 4 = k - q, -a*q + 16 = -k for k.
0
Let m = 17 - 12. Let x(u) = u**3 - 7*u**2 + 54*u - 643. Let a be x(9). Solve -s + m = -a*k + 17, s = -k for s.
-2
Let l = 22 - 16. Let w = -33 + 35. Suppose q + w*q = l. Solve n = -4*s - 0 + 3, -5*n = 3*s + q for n.
-1
Let z be ((-3)/(-9))/((-3)/(-27)). Let c be 48/(-18)*(18/(-8))/z. Solve 3*f = -5*m + m - 5, 6 = -c*f for m.
1
Let n(v) = 8*v**2 + 24*v + 4. Let s be n(-3). Solve 2*b - 2 + 10 = -2*k, -4*k = -s*b - 16 for b.
-4
Let k(h) = 10*h + 1. Let s be k(-1). Let a be (11 + s)*(-4)/(-2). Solve -5*f - t = -22, a*f = -3*t + 4*t + 14 for f.
4
Let h = -476 - -481. Solve d + 4*x = 2, 0 = -d - x - 6 + h for d.
-2
Let h be -3 + 2 + -3 - 3. Let v be (1 + h)*10/(-15). Let t = -2 + 5. Solve 0*z = -t*c + 5*z - 29, v*z = 3*c + 25 for c.
-3
Let v = -16 + 16. Suppose 0*c + 3*c - 6 = v. Let n = 7 - c. Solve n*d = 4*d + 5*s - 12, 3*d = s - 8 for d.
-2
Suppose 2*p + 2*p - 4*v - 8 = 0, -13 = -2*p - v. Solve -4*t - 9 = p*l - 7*t, -15 = -l - 5*t for l.
0
Let m(l) = -3*l**2 + 188*l + 65. Let f be m(63). Solve -2*k + 2 = -f*g, 4*g + 2 = 5*k + 2*g for k.
0
Suppose -8 - 4 = -2*k. Suppose 0 = 2*f - k*f + 8. Suppose -3 = -f*h + 4*l + 35, -3*h = -2*l - 49. Solve -3*j = h, -3*u = 2*j - 3*j - 14 for u.
3
Let t be (12/6)/(-8 + 9). Solve -t*w + 2 + 14 = -4*s, -5*s = -3*w + 21 for s.
-3
Suppose -1 - 5 = -3*f. Suppose 0 = 8*i - 23 - 9. Suppose -11 = i*a