2). Suppose b + 3*b - 20 = 0, h - v*b + 17 = 0. Solve 0 = w + h*w + 8 for w.
-2
Suppose -14 = -2*c - 6. Solve -17 + 1 = c*u for u.
-4
Let p = 16 + -4. Suppose 4*y = -g + 13, -3*g - 4 = -7*g. Let k = 20 + -20. Solve p = -k*u + y*u for u.
4
Suppose h + 3*b = -3*h - 31, -3 = 3*b. Let u be 4/(-14) - 37/h. Suppose u*d + 5 = 20. Solve 0 = d*l - 2*l for l.
0
Suppose 2 = -m + 6. Suppose m*z + 9 = l + z, -2*l + 3 = -z. Solve l*d = -3*d + 15 for d.
5
Let a = -38 - -38. Solve a = -2*u + u - 3 for u.
-3
Let w be ((-1)/2)/(2/(-24)). Suppose -w = -2*a + 24. Solve 2*s = 7*s + a for s.
-3
Suppose -4*u - 20 = -0*u. Let i(g) = 4*g - 3. Let d be i(u). Let v be (-1)/(-4) - d/4. Solve -s = -v*s for s.
0
Let a = -14 - -7. Let l = a - -7. Solve l = -3*x - 0*x for x.
0
Let y(r) = r - 14. Let x be y(16). Suppose -10 = 5*a - 2*w, 3*w + 7 - 22 = -3*a. Solve a = 3*b - 2*b - x for b.
2
Let d be (7/(35/6))/((-2)/(-5)). Solve 0 = -d*u - u - 8 for u.
-2
Suppose -3*p + 1 = -11. Solve -x - 3*x = -p for x.
1
Let q(m) = -m**3 + 3*m**2 + 2*m. Let r be q(3). Solve r = 3*v - 9 for v.
5
Let d(s) = s**3 + 4*s**2 + s - 3. Let a be d(-4). Let q = -3 - a. Solve h = q - 0 for h.
4
Suppose -3*d + 0*i = -3*i, 3*d + 3*i = 0. Suppose 61 = -d*l + 4*l + t, -3*l + 33 = 5*t. Solve 6*n + l = 2*n for n.
-4
Suppose 3*r - 5 = 2*r. Let w be (1/2)/((-3)/(-168)). Suppose -r*q = 3*m - 5*m + w, -m - 3*q = 8. Solve -4*t + m = 12 for t.
-2
Let p = -7 - -11. Let d = p + 1. Suppose 5*n = -3*c - 9 - 5, 16 = -2*c - d*n. Solve 0 = c*a - 5*a - 3 for a.
-1
Suppose -l = -s + 3*l - 12, 9 = -2*s + 3*l. Solve d + 3 + 2 = s for d.
-5
Suppose -c + 3 = -12. Solve b = -4*b + c for b.
3
Suppose 4*c = 2*v + 26, 0 = 5*c + 5*v - v - 13. Suppose 48 = c*k - 2*k. Let f = 31 - k. Solve 2*h - f + 5 = 0 for h.
5
Suppose -33 = -3*n - 3*d, -4*n + 3*d + 76 = -3. Let o = -5 + 9. Solve -n + 0 = o*h for h.
-4
Suppose 4*g + 2*t = 3*t + 12, -2*g + t + 4 = 0. Solve -2*o - 4 = g for o.
-4
Suppose -4*x = -q + 53, 3*x + 0*q = 3*q - 51. Let d(t) = -2*t - 9. Let l be d(x). Solve 0 = -0*c - 5*c - l for c.
-3
Suppose 0 = v + 1 - 3. Suppose -4*u = -v*u - 6. Solve -u*q + 5*q - 6 = 0 for q.
3
Suppose -2 = -k, 5*a + k + 27 = 89. Solve l = 5*l - a for l.
3
Let p(f) = f + 8. Let i be p(-4). Suppose 5*k - 20 = k - 5*g, 5*g - 20 = 0. Suppose 0 = -n + 5*t + 7 + 3, k = 5*n - 3*t - 116. Solve -a - i*a + n = 0 for a.
5
Let g = 4 + -2. Suppose 44 = g*a + 2*f, -a + 26 = -0*f + 3*f. Solve 0 = -0*c - 4*c + a for c.
5
Let c = 60 - 56. Solve x - 20 = -c*x for x.
4
Suppose -m + 4*d = 5, -4*m - 33 = -7*m - 4*d. Suppose b + 2*a - m + 1 = 0, 5*a = b + 1. Solve -3*u = -5 - b for u.
3
Suppose p - 2*p = 0. Suppose p = 2*h - s - 1, 0 = 5*h - 2*h - 5*s + 16. Solve -v - 2 = -h*v for v.
1
Let a(x) = x**2 + 3*x. Let k be a(-3). Suppose 5*v - 2*v - 6 = k. Solve -v*t = -t for t.
0
Let s = -6 - -6. Solve 8 = -s*j + 2*j for j.
4
Let j(u) = u**2 + 2*u - 3. Let q be j(-4). Let c = q - 3. Solve 0 = -k + 3 - c for k.
1
Let g = -2 + 8. Let w = g + -6. Solve -25 = -5*r - w*r for r.
5
Let l = 1 + -1. Let y = 3 - 1. Suppose -4*d - 4*j = -28, -d + 0*d = -y*j + 5. Solve l*f - 6 = d*f for f.
-2
Let d be (-1)/((2 + 1)/9). Let h = 9 + d. Solve -h = g - 2 for g.
-4
Let r(z) = -z**3 + 8*z**2 - z + 10. Let k be r(8). Suppose 3*w + k = 5. Let l be (1 + w)/((-1)/(-2)). Solve l = -y - y for y.
-2
Suppose -5 = -4*j - 3*f - 1, 2*j + f = 0. Let w = j - -7. Solve -w*n - 2 + 12 = 0 for n.
2
Let i be 0 + -34*(-3)/6. Let n = i + -9. Suppose 0 = -4*p - j - 0*j, 0 = 3*p + 5*j. Solve p = -3*m + n + 1 for m.
3
Let s be 20/16 - 3/(-4). Solve s*i = 3*i for i.
0
Let h be (-1)/1 + -1 + 3. Suppose 3*o - 3 = -0. Let g be (-5 + o)/(4/(-2)). Solve -g*j + 7 = h for j.
3
Suppose -2*x + 3*j + 1 = 0, 0 = 4*x + 6*j - j - 13. Suppose -1 = -2*g - g - x*k, 0 = g + 5*k - 9. Let n be 2 + -1 + g + 5. Solve 12 = -n*o - 13 for o.
-5
Let v be 1/(-6) - (-139)/6. Solve -5*j = 3 - v for j.
4
Let u = -5 - -5. Suppose 0 = -u*n + 2*n - 8. Solve -3*l = -l + n for l.
-2
Suppose 3*d - 6 = 9. Suppose 4*m - 35 = 5*b, 3*m - 4 = -b + 8. Suppose -m*r + 26 = 1. Solve -d*o = -0*o + r for o.
-1
Let q be (-56)/3*21/14. Let m be (-2)/(-7) - (-8)/q. Suppose -23 = -3*r + 2*k, -r = -0*k - 4*k - 21. Solve m = -r*w - 22 + 2 for w.
-4
Let c(y) = 3*y**2 - 2*y. Let v be c(-2). Let b = v + -10. Solve -b = w + 2*w for w.
-2
Let m(p) = 7*p**3 - 2*p - 1. Let a be m(-1). Let i(k) = k**2 + 6*k. Let c be i(a). Solve -3*b + b = c for b.
0
Let m be (4*2)/2 + -2. Let i(p) = -12*p**2 + p. Let t be i(-1). Let w = 17 + t. Solve 0*l = -m*l - w for l.
-2
Suppose 2*b - 1 = 1. Let g be 2 + b + (1 - 3). Let m = -4 + 7. Solve -m = t - g for t.
-2
Let r(t) = t**2 + 10*t - 21. Let d be r(-12). Solve -d*m - 2*m + 5 = 0 for m.
1
Let h(q) = 2*q - 11. Let g be h(8). Suppose 2*p - 5*j + 6 = 0, 8*p - 4*p - g*j = -2. Let n = 3 + p. Solve 5 = -n*i + 20 for i.
3
Suppose 0*u + k + 13 = 5*u, -5*u + 16 = -2*k. Solve u*l + 5 = -5 for l.
-5
Let w(q) = -q**2 + 6*q + 4. Let t be w(6). Solve 6 - 26 = -t*n for n.
5
Let g = -11 + 0. Let z = g - -17. Solve -3*l = -6*l - z for l.
-2
Let x be (-10)/9*(-36)/(-6)*-3. Solve -9*v + 4*v + x = 0 for v.
4
Suppose 0 + 12 = 2*q. Suppose -q*j = -j. Solve 0 = -2*a - j*a - 8 for a.
-4
Suppose 13 = -4*d + 33. Suppose -z + d*z - 12 = 0. Solve -4*y + z = -3*y for y.
3
Suppose 3*q - 6 + 0 = 0. Suppose -2*u = -q*o - 7 - 7, 0 = -5*u + 2*o + 26. Solve -u*s = -s + 6 for s.
-2
Suppose 22 = 5*u + 2*y - 22, -2*u + 2*y = -12. Solve u*l - 3*l - 5 = 0 for l.
1
Let t be 296/6 + 6/9. Suppose -5*r + t = -0*r. Let l = -33 + 33. Solve 2*z + l = r for z.
5
Let d(z) = -2*z**2 - z + 4. Let v be d(0). Solve -3 = -v*u + 3*u for u.
3
Let t(n) = 7 + n**2 + n**2 - 2*n**2 - 6*n - n**2. Let v be t(-7). Solve 0 = -v*o + 3*o + 3 for o.
-1
Suppose 0 = -5*j - 5*n + 31 + 4, -4*j + 5*n = -1. Suppose -7 = -j*u - 5*v, -6 = -4*v + 6. Let f be (-9)/u - 2/4. Solve -q = -1 - f for q.
5
Let o be 7/(147/6)*14/2. Suppose -3*n - 4 = 2. Let x = n - -4. Solve 4*j + x = -o for j.
-1
Let c be (-106)/(-14) + 12/28. Solve -4 + c = -f for f.
-4
Let a(t) = -t**2 - 4*t + 8. Let j be a(-4). Solve -v + 3*v + j = 0 for v.
-4
Let x(n) be the first derivative of n**3/3 + n**2 - 4*n + 2. Let y be x(-4). Solve -3 = g - y*g for g.
1
Let x(s) = -s + 5. Let h be x(0). Let q = 84 - 60. Suppose q = h*y + 4*z, -z + 4*z + 17 = 5*y. Solve 5*c + 14 - y = 0 for c.
-2
Suppose 0 = -8*x + 6*x + 4. Solve j = 2*j - x for j.
2
Suppose 0 = 2*p - p + 5*d - 21, 10 = -2*p + 3*d. Let g = p + 1. Let b be (-2 + 1)/(-1) + 3. Solve -g*n + b = -n for n.
4
Suppose o - 3*q = 4*o - 9, 0 = 5*q. Solve o*r + 0 = -12 for r.
-4
Suppose 0 = p - 1 - 3. Let x be (3 - 1)/(2/p). Solve 4*m = 4 + x for m.
2
Let u(l) = -l**3 + 5*l**2 + 6*l + 2. Let v be u(6). Suppose -2*r + 12 = v*r. Let j be 5/3 - (-1)/r. Solve p = -j*p for p.
0
Suppose -5*t + t + 3 = -h, -h = 3*t - 11. Suppose 4*x - 6*x + 2 = 4*q, 34 = 3*q - h*x. Solve -y = q*y - 4 for y.
1
Let n be (88/20)/(4/10). Solve 3*c + n + 1 = 0 for c.
-4
Suppose -2*f - 5 = -5*h, -4*h = 2*f - 0*f - 40. Solve 4 = 3*i + f for i.
-2
Let v(b) be the third derivative of b**5/30 + b**4/12 - b**3/6 - 2*b**2. Let q be v(1). Solve 3*g - q = 4*g for g.
-3
Let o be (1/(6/(-10)))/(2/(-6)). Solve -11 = o*k + 9 for k.
-4
Let x(a) = a**3 + 4*a**2 + a - 2. Let n be x(-2). Let h(w) = -w - n + 3*w - w. Let g be h(4). Solve -4*j + 5*j + 1 = g for j.
-1
Let s be -1*0*1/(-2). Let y = 10 + -7. Suppose s = -m - 0*m + y. Solve 0 = m*f + 12 - 3 for f.
-3
Let d = -5 - -16. Let u(j) = j - 3. Let l be u(11). Let x = d - l. Solve -x*w = 1 + 5 for w.
-2
Suppose w - 7 + 0 = 0. Solve -w*u + 2*u = 5 for u.
-1
Suppose 4 = -n - v - 3*v, 37 = 2*n - v. Suppose 0 = 2*o + 2*o - n. Let t be ((-1)/3)/(1/(-6)). Solve t = s + o for s.
-2
Suppose 0 = 3*h - 4*x, 7*h - 3*x = 2*h + 11. Let r be (-108)/(-8) + (-6)/h. Let p be (-2)/(-9) + 16/9. Solve -p*y = y - r for y.
4
Let n be ((-28)/8 - -4)/1*0. Let k be (-1)/1 + 1 + -3. Let t(c) = -c**3 - 3*c**2 - 2*c - 2. Let b be t(k). Solve -b*p + 14 + 2 = n for p.
4
Suppose -4*p = p. Suppose -4*t + 2*t + 24 = p. Solve t = 4*d + 28 for d.
-4
Let n be (-20)/(-6) - ((-22)/6 + 3). Solve -1 = -3*z - n for z.
-1
Suppose -u = -3*u. Let j be 10*2/(-20)*-4. Suppose u = -0*a - j*a + 16. Solve 3*n = -n - a for n.
-1
Suppose -y - 