4*s for b.
1
Let z be 2 + 1 - (0 - -1). Let b(j) = j**2 + 4*j - 2. Let u be b(-5). Suppose -u*c = -c - 4. Solve -11 = -a - 5*m + 7, -z*m + 12 = -c*a for a.
-2
Suppose -17 = -3*v - 4*g + 9, 0 = 3*v - 2*g - 14. Suppose -3*b + b = 4*a - 18, 2*b = 4*a - v. Suppose z = -b*z. Solve -5*q = z, -2*q = -2*y + 2*q - 2 for y.
-1
Let m be -11 + 9 + (8 - 1) - 3. Solve 5*f = -4*g - 16, m + 6 = 4*g - f for g.
1
Let m = 19 + -35. Let t = m - -19. Solve 1 = 5*d - r, -2*d + 3*d - 3*r - t = 0 for d.
0
Let n = -1 - -5. Let q be n/(-6) + 8/12. Solve q = b + j + 8, -7 = 6*b - 2*b - j for b.
-3
Let l be (-30)/(-8) + 1/4. Solve -2 = 3*z + 2*w, 5*z + 3*w - 1 = -l for z.
0
Let y(i) = -i + 9. Let a be y(6). Let w = 3 + a. Solve 0 + 2 = -4*n + q, -3*q + w = -2*n for n.
0
Suppose 0 = -t + 2*t. Suppose -y = -2*k + 3*y + 2, 3*k + 4*y - 53 = t. Solve -j - 4*p + 0*p - k = 0, 2*p = -4 for j.
-3
Let l(m) = -m**2 - 7*m - 6. Let c be l(-6). Suppose w + 3*w + 5*j - 20 = 0, c = w - 3*j - 5. Solve -u + 5*v = -12, u = 2*v - 2 + w for u.
-3
Let p be ((-18)/(-7))/(8/56). Solve q + 12 = 3*q - 2*j, q - 4*j = p for q.
2
Let k(c) be the second derivative of -c**5/20 + c**4/12 + c**3/6 + 9*c**2 + 3*c. Let i be k(0). Let l = -1 + i. Solve -3*f + 5*q + l = 3, 0 = -2*q - 2 for f.
3
Let p(l) be the second derivative of 0 + l + 3/2*l**2 + 1/6*l**3. Let f be p(7). Solve -4*i - 6 - f = -4*g, 4*g - 17 = 3*i for i.
1
Suppose -16 = 6*k + 8. Let x = k - -8. Solve x*o = 5*m + 12, -3*m = -o + 4*o + 18 for m.
-4
Let s be (0/1 + 2)*(-2)/(-4). Solve 2*v = 3*p - s + 2, -2*p = 5*v - 12 for v.
2
Let h be (-13)/(-4) + (-2)/8. Suppose w = -h + 6. Solve 3*v - 9 = -3*b, 2*v + 23 = 5*b + w*v for b.
5
Let f be 4/14 + (-2)/7. Suppose 3*l - 2*l = f. Solve l = -5*b + 4*v + 3, -b - 3*v - 7 + 19 = 0 for b.
3
Let u be -1*(-21 - (-3 + 0)). Solve u = -3*b + 3*g, -g - 8 = 3*b - 2 for b.
-3
Let b be (-1 + 1)/(1 - 3). Suppose 2*k = -0*k + 4. Let s = 9 - -18. Solve b = -k*x - 3*x - r - s, 3*x - 2*r = -11 for x.
-5
Suppose 0 = i - o + 11, -2*o = 5*i - 0*o + 83. Let y = -13 - i. Solve -5*h + u + 29 = 0, -7*u + 5 = 5*h - y*u for h.
5
Suppose n + 4 = -0. Let k = n + 7. Suppose 0 = k*f - 23 + 8. Solve -2*d + 5*u = -6*d + 4, 3*d - 8 = -f*u for d.
-4
Suppose 0*c - c = -4*r - 18, 2*c - 24 = 5*r. Let q be (16/10)/((-8)/(-20)). Let h be 2 - (2 + -2 + 0). Solve -h = -w + q*k - 3*k, -5*w = -c*k - 13 for w.
3
Let q(j) = 6*j + 5. Let r(s) = -s**2 + 5*s - 2. Let b = 6 + -3. Let d be r(b). Let v be q(d). Solve -2*t - 6 + v = 3*i, 5*i = -5*t + 45 for i.
5
Let a be 0*2/(-6) - -2. Solve -w - y + 3 = 0, y = -2*w + a*y + 12 for w.
5
Suppose -4*s + 3*s = 3. Let z(w) = 2*w**2 + 2*w. Let t be z(s). Solve d = -4*r - t, d + 4*d - 24 = r for r.
-4
Let q(f) = 3*f + 7. Let n(i) = 20*i + 50. Let p(m) = -2*n(m) + 15*q(m). Let w be p(5). Let z = -10 + w. Solve -4*a = -4*k - 24, 4*k = 2*a - 0*a - z for k.
-4
Let t be -2 + 60/3 + -2. Suppose 2*r = 2*u - u + t, 4*r = -5*u + 46. Solve 4*s = -5*m - r + 34, -5*m - 3*s + 20 = 0 for m.
1
Suppose -1 = -2*g + g. Let v be (g/(-2))/((-2)/8). Let t = 51 - 44. Solve 0 = 4*w + 5*i + 45, v*i = t*i + 25 for w.
-5
Let z(o) = o**2 - 2*o - 3. Let d be z(-3). Let i = d + -7. Let x be (-50)/15*(-6)/4. Solve 5*r - 1 = -i*v - 6, v = -3*r - x for v.
1
Let h be (35/(-21))/((-1)/3). Suppose -h*p = 2*z - 31, -2*z + 2*p = 2*z - 2. Solve j = z*n + 5 + 8, -2*n - 22 = -4*j for n.
-3
Let r be 1 - 4/((-12)/9). Let h be 1 - -4 - (r + -3). Solve 2*d + 3*d = -h*k, -k = 2*d + 3 for k.
5
Let d be -2*2/(-22) - 168/(-44). Solve 2*l - 3 = 2*w - 1, 0 = d*l - 3*w - 5 for l.
2
Suppose -w = 3*w. Let l be (-2)/(-1 - (0 - w)). Suppose k = -k + z + 11, -2 = k + l*z. Solve 2*m = k*j + 24, 3*m + 2*j + 8 = -3*j for m.
4
Let k be 6 + -8 + 4/1. Solve -t + 9 = k*t, 19 = -5*y - 2*t for y.
-5
Suppose 0 = -5*w + 22 + 3. Suppose 5*f - w*v + 8 = -3*v, -4*v + 16 = -2*f. Let h be 33/4 - (-12)/16. Solve 4*n + 3*a - h = f, -n - 5*a + 4 = 2*n for n.
3
Let n(r) = 4*r - 2. Let x be n(1). Solve 4*q + 37 = 3*l - q, -2*q + x = 3*l for l.
4
Let g(k) = k**2 + 8*k - 1. Let o be g(-8). Let c be (0 + o - 2) + -1. Let b be 2 - 0*2/c. Solve 5*d = j + 16, -b*j = 4*d - j - 11 for d.
3
Suppose 4*t + 3*w = -3 + 17, 2*w - 2 = t. Solve x + r = 3*x - t, 0 = x - r for x.
2
Suppose 5*i - 16 = i. Solve 0 = -3*t + 5*v - 8 - 6, -7 = t - i*v for t.
-3
Let i(u) = -u**2 + 4*u - 5. Let s be i(3). Let n(y) = y**2 + y + 1. Let c be n(s). Solve c = -x, 5 + 20 = -4*a - 3*x for a.
-4
Let a = -2 - -7. Let l(x) = -x**3 - 10*x**2. Let m be l(-10). Suppose 3*b + 10 - 85 = m. Solve -a*r - b = w, 6*r + 25 = r for w.
0
Let n be 6*2 - (0 + 3). Suppose -4*v + 20 = -3*s, n + 6 = -s + 3*v. Suppose z - 13 = -5*k, s = z + k - 5 - 0. Solve 12 = -3*h + z*a, 4*h - h = 2*a - 9 for h.
-1
Suppose -t = 2*t. Let q be t/(0/(-1) - -2). Solve q = 4*h - 5*g + 1, h + 2*h + 2*g - 5 = 0 for h.
1
Let d(q) = -10 - 4 + 5 + q. Let g be d(12). Solve 2*w = -4*t + 2, -t - 4*w - g = -0 for t.
1
Let c(v) = v**2 + 5*v - 2. Let r be c(-6). Suppose -b = -4*f + 9, -3*f + 11 = 2*b - r. Solve -2*m = -3*x + m + f, -4*m - 5 = -3*x for x.
-1
Suppose -r + 5 = -0. Suppose r*t - 9 = q, 3*t + 2*q = 11 - 3. Solve -l + x - 5*x = 1, -l + 1 = t*x for l.
3
Let n be (15/18)/(1 + (-5)/6). Solve 3*k = -n*o - 5, 4*k - 2*o = -7*o - 10 for k.
-5
Let i(q) = q**3 + 3*q**2 - 2*q + 3. Let k be i(-3). Let p = k - 7. Suppose 0 = p*r + r. Solve -l = -3*z - 7 - 3, 2*l - 2*z - 8 = r for l.
1
Suppose x = 4*r - 0*x + 51, 4*r = -x - 61. Let m = r + 14. Solve m = v - 2, -j - 2*v = 2*v - 10 for j.
2
Suppose 0 = -3*g - 5*x + 24, 5*x = -5*g + 3*g + 21. Solve 10 = -5*a - 5*m, 0 = 3*a + g*m - 4*m + 10 for a.
-3
Let b be (5 + -8)/(0 + -1). Solve b*w - 12 = -t, -3*w = 2*t + 2*t - 3 for t.
-3
Suppose g - 2 = 1. Suppose 3 = g*s, 0*c + 2*s = -3*c + 8. Solve -3*n + 0*n = 4*u - 22, 3*n - u = c for n.
2
Let o be (-140)/(-49) - 2/(-14). Solve -4*p = -o*m + 10, -4*m + 1 + 2 = 5*p for m.
2
Let j be 23/3 + 2/(-3). Let i(c) = 3*c - 2. Let b be i(-2). Let s = -5 - b. Solve 0 = 3*l - 2*z - 17, 3*z = s*l - 11 - j for l.
5
Let k be 3/(75/(-10)) - (-44)/10. Solve v + 3*g = -5, -2*g + 0 - k = v for v.
-2
Let g(m) be the second derivative of m**3/6 + 15*m**2/2 - 3*m. Let x be g(-10). Let j = x - 3. Solve 0 = -j*i + 4, 0 = y - 4*y + 5*i + 2 for y.
4
Let t(v) = -v**3 + 3*v**2 + v + 1. Let o be t(3). Suppose 217 = 14*g - 35. Solve 4*l + 3*m = -4 - 17, -2*l - g = o*m for l.
-3
Suppose -3*k + 3 + 25 = 4*s, 0 = -2*k - 2*s + 16. Solve k*g - 2*g + 2*w = -4, -10 = -3*g + w for g.
2
Let i be -1 + 1 + (-15 - -5). Suppose 0 = 4*b - 29 - 35. Let l = b + i. Solve 4*r = -3*y + 13, -l*y + 5*y + 3*r - 13 = 0 for y.
-1
Let j be (54/10 - (-6)/(-15)) + 3. Solve -2*l = -o - j, o + 2*o = 2*l - 12 for l.
3
Suppose -m = -2*m + 1. Solve 4*t - 5*h + 8 = m, 0 = -2*h - 2 for t.
-3
Suppose 5*f - 3*s - 65 = 0, 6 = 3*f + 2*s - 14. Suppose -2*x + f = 3*x. Solve 0 = -3*d + 4*d + 3, x*r = d + 7 for r.
2
Suppose -5*l - 4 = -6*l. Solve -5*n + 2*k = -19, 2 = -3*k - l for n.
3
Let l(d) = 2*d**2 - 8*d**2 + 7 + d**3 + 6*d - 2*d. Let k be l(5). Suppose -u = -2*u + k. Solve -u*b + 0*b = 3*x - 5, -2*x = b - 2 for x.
-1
Suppose 83*r + 8 = 85*r. Solve -q - r*p + 3 = -1, -4 = -q - 5*p for q.
4
Suppose 4*r + 2*w + 120 = -w, -2*r - 2*w = 60. Let v be (-4)/3*r/4. Solve 3*x + 23 = -4*f, 5 = -5*x - 2*f - v for x.
-1
Let l(d) = d + 16 - 16. Let b be l(0). Solve b = 3*s + 4*r - 6, 0 = -4*s + 3*r + 9 - 26 for s.
-2
Let c(o) = -15*o**3 - o**2 + o. Let i be c(1). Let q be (-26)/6 + 10/i. Let w = 9 + q. Solve -b - 24 = 5*v, -3*b + v + w*v = -28 for b.
1
Let n be (-2)/((-10)/15) - -8. Solve -3*r - 4*g - n = 0, 5*r - 20 = -0*r + g for r.
3
Let w(a) = -a. Let u be w(-2). Suppose 0*v = u*v - 6. Let l be (-1)/(-2)*(55 - -3). Solve 4*f = n + 4*n - l, v = n + 2*f for n.
5
Suppose 3*n - 4*s = 49, 4*s + 2 = 22. Solve 4*y = 3*f + n, 2 = f - 3*f for y.
5
Let w = -1 - -3. Suppose -p + 6 = w*p. Solve 3*v + 0*v + 4*d = -26, 18 = -4*v - p*d for v.
-2
Let s be -3*(0/4 + -2). Let m = -9 + 19. Solve -2*v - s*u - 2 = -2*u, 4*v + 5*u + m = 0 for v.
-5
Suppose -m = m - 16. Let p be (-2)/m + (-18)/(-8). Let u be (-1*(4 + 2))/(-2). Solve p*n + 5*v = 3*n - 2, -18 = 5*n + u*v for n.
-3
Let f(i) = i + 14 - 2*i - 5. Let r be f(9). Suppose -x + 2*v - 2 = r, 0*x - 2*x = -5*v + 5. S