2). Let o = 16 - 11. Suppose -70 - s = -o*c. Solve -5*p = c, -5*m + m - 11 = -p for m.
-4
Let l be ((-48)/20)/(3/(-60)). Let k be 3*(l/(-9))/(-2). Solve -p = 4*r - 3 - 1, -2*p + k = 4*r for p.
4
Suppose 4 = -d + 2*d. Suppose -d*v = -v - 27. Solve -2*b + w = -v, -b = -5*w - 0 - 9 for b.
4
Let g = 16 + -10. Suppose 0*c - g = -2*c. Solve -3*i = -5*v - 24, i - 4*v - 6 = -c*v for i.
3
Suppose 0 = -0*m - 3*m + 12. Solve v - 2*z + 4 = -5*z, -2*z = m for v.
2
Let f = 2 + -1. Suppose -y + 3*l + 3 = 7, 3*y + l = 8. Suppose n = y + f. Solve -2*z - 16 = 4*o, -o + 0 + 1 = n*z for z.
2
Let p(i) = -i + 8. Suppose 2*w + 8 - 24 = 0. Let z be p(w). Solve 4*c + m + z = -19, -4*m = c + 1 for c.
-5
Let z(a) = 2*a. Let y be z(6). Suppose 28 - y = 4*d. Solve 3*c - 5*b + 18 = 4*c, -b + 12 = -d*c for c.
-2
Let g(k) = k**3 + 4*k**2 - 5*k - 5. Suppose -8 = -3*s + 4*n, -2*n = -2*s + 7*s + 30. Let i be g(s). Solve o + 5 = 2*f - 0, 0 = -3*f + 4*o + i for f.
1
Suppose 5*f + 10 = -x, -f = -3*x + 2*f + 6. Let q be (x + 2 + -3)*0. Solve 5*n + 4*d + 0*d + 3 = q, 0 = -2*n - 3*d + 3 for n.
-3
Let y(r) = -r**2 + 5*r + 14. Let b be y(7). Solve b = i - 3*h - h + 2, 5*h = -2*i + 9 for i.
2
Let s = -8 - -12. Solve -4*j = -3*q - s, -18 = -0*j + j + 4*q for j.
-2
Let q = 37 - 25. Solve 3*a + q = 3*v, -2*a + 5*v - 22 = a for a.
1
Let a(n) = -n**3 + 8*n**2 + n - 5. Let m be a(8). Let k(p) = 9*p + 93. Let z be k(-10). Solve 0 = -m*t - 3*g - 6, t = 4*g - z - 9 for t.
-4
Let r(l) = -l - 12. Let h be r(-10). Let b be 2 + h + 0 + 3. Solve -4*v + b*v - 15 = 2*j, 4*j = 4*v for j.
-5
Suppose 3*u = -0*u - 6. Let f be 9*(u + (-12)/(-9)). Let c(t) = -t**2 - 5*t + 6. Let q be c(f). Solve 5*g = 4*j + 8, q*g = 5*g for j.
-2
Let i be (2 - -1)*2/3. Suppose -2*x + w - 4*w = 8, -2*x = -5*w - 8. Let z(a) = -3*a**3 - 1. Let g be z(x). Solve -i*o + 8 - 23 = -5*t, -2*t + 12 = -g*o for t.
1
Let t(c) = c**2 + c - 1. Let q be t(0). Let l be (1/q)/(3/(-6)). Solve 0 = 8*b - 4*b + k, b = -l*k + 7 for b.
-1
Let i = 2 - 0. Suppose -5*v + 25 = -0. Let w = v - i. Solve 2*k = -k + 4*c + 8, -4*k = -w*c - 6 for k.
0
Let l(q) = -q**3 + 3*q**2 + 2*q - 4. Let r be l(3). Solve -3*x - 13 = -5*h, x - 24 = -2*h - r*h for h.
5
Let d = -9 - -11. Suppose -4 = d*h - 10. Solve -w - 4*w = -25, -h*w = -3*q for q.
5
Let x(b) be the second derivative of -b**5/20 + b**4/2 + b**3/3 + b**2/2 - 4*b. Let w be x(6). Solve u - 17 = 3*i - 3*u, -i = -5*u + w for i.
-3
Suppose n - a = 6*n - 5, -3*n - 3*a - 9 = 0. Solve -n*c = 4*x + 3*c - 12, 4*c = -5*x + 6 for x.
-2
Let r(q) = q**3 + 10*q**2. Let t be r(-10). Solve -5*w - 5 = t, w - 5*w = -u + 4 for u.
0
Suppose -5*t = t - 42. Solve t*m = 2*m - k, 5*m + 30 = 5*k for m.
-1
Suppose -4*l = -2*q - 18, 0*l - q = -5*l + 24. Solve 6 = l*z - 9, -3*x - 3 = 2*z for x.
-3
Suppose -15*t + 18*t = 15. Solve -4*r - 4*q = -2 - 2, -q + 19 = -t*r for r.
-3
Let k be (1 - 0)*(0 + 11). Suppose 2*j = -3*j - p - 26, 0 = -4*j - p - 20. Let t = k + j. Solve 0 = s - 4*y, -t*s = 2*y - 5 - 17 for s.
4
Let v = 0 - -9. Let j = -5 + v. Suppose -k + 11 = -j. Solve 0 = -5*p + 5*c - k, p - 3*c - 16 = 3*p for p.
-5
Suppose -22*f + 18*f + 8 = 0. Solve 4*z + f*w = -w + 12, 0 = 2*z - 3*w + 12 for z.
0
Suppose -18 = -2*w + 8. Solve -w = -5*y + 2, -4*t = 5*y - 3 for t.
-3
Suppose 3*d + 1 = -233. Let k be (d/9)/2*-3. Solve 3 = 2*q + k, p = q + 1 for p.
-4
Let w(m) = 7*m - 40. Let p be w(7). Solve -4*h + 4*t = -16, 0*h - p = 4*h + t for h.
-1
Let s be (-16)/56 + 2/7. Solve s = 3*y - 4*q + 19, q - 4*q = -3 for y.
-5
Suppose v - 4 = -1. Solve -3 = -v*p - 3*y, 4*p = p + y + 3 for p.
1
Let f(q) = q + 6. Let m be f(6). Let j be 8/(-28) - (-6)/21. Solve -5*i + k - m = -j*k, -4*k - 6 = -2*i for i.
-3
Let n(d) = d**3 - 3. Let k be n(0). Let y = -3 - k. Let w(m) = m**2 - m + 4. Let c be w(y). Solve -4*q - q - 26 = 4*r, 3*r = 4*q - c for q.
-2
Suppose -5*d = -29 - 41. Solve s + s + d = -2*x, -3*x + 3*s = 3 for x.
-4
Suppose 8*m = 12*m - 24. Solve 5*a + 16 = d, -3*d + a = 4*a + m for d.
1
Suppose 0 = 5*y - 11 - 4. Solve 0 = -s - s + 3*q + 22, -4*s - y*q + 8 = 0 for s.
5
Suppose -y + j + 41 = 2, 4*y - 3*j - 152 = 0. Suppose 4*c + 32 = k + 10, -5*k + y = -5*c. Solve -k*f = 4, -3*u - 2*f - 5 = 2 for u.
-1
Suppose -5*g + 62 = 2*n, 0 = -2*g - 3*n + 6*n + 40. Solve -3*j - 2*m = -g, j + 2 = -4*j + 3*m for j.
2
Let s be 438/27 + (-4)/18. Suppose 4 = q + r, 5*q = -0*q - 3*r + s. Solve 0 = 4*m + z + 13, -q*m = 3*z + z + 10 for m.
-3
Let p(y) = -5*y - 4. Suppose 6 = n - 2*w, 3*n = 5*n + 4*w + 12. Let x be n/1 + (-14)/7. Let t be p(x). Solve 5*m = -4*s + 15, 0 = 2*m - 2*s - 0 - t for m.
3
Let l(z) = z**3 + 4*z**2 - 6*z - 3. Let h be l(-5). Solve -h*k = -4*b + 16, -b + k - 18 = 6*k for b.
2
Let b(r) be the third derivative of r**4/24 + 17*r**3/6 - 8*r**2. Suppose 0 = -3*n - 2*n. Let z be b(n). Solve 4*u - 20 = -3*j - j, u - z = -5*j for u.
2
Suppose 3*v + v - 69 = -3*s, 93 = 4*s + 5*v. Let u be (4 - 2 - -2) + 1. Solve -3*j = 4*r, s = -2*j + 5*j - u*r for j.
4
Let h = -355 + 357. Let x = 0 + 6. Suppose 4*u - u - x = 0. Solve -a = 1 - u, -3 = -h*m + 5*a for m.
4
Let b(a) = -a. Let t be b(-7). Let d be t + -3 - 1*2. Suppose -g = d*g - 6. Solve 3*x = 5*f - 2, g*x - 4*f = -0*f for x.
-4
Let i(p) = p**2 - 2*p - 3. Suppose -2*t = -0*t - 8. Let r be i(t). Let x = -6 - -10. Solve -z + 1 + 10 = 4*g, x*z = -r*g for g.
4
Let l(v) = 2*v - 8. Let b(r) = 3*r**2 - 4*r + 2. Let a be b(2). Let u be l(a). Solve q = -4*t + u, 5 = -5*q + t + 4*t for q.
0
Suppose 4*w = -2*u + 32 - 8, -w - 4 = -2*u. Solve -g = -f - 0*g + 3, w*f + 3*g - 5 = 0 for f.
2
Let h be ((-1)/1)/(2/(-8)). Suppose 3*l - 6 = 0, -h*a + 30 = 4*l - 14. Suppose 3*s - 24 = -s. Solve -3*y + 12 + s = 3*u, 2*u = y + a for u.
5
Suppose -d - 2*d - 2*h = -8, 16 = d + 4*h. Suppose 4*j - 4*m + 8 = d, -2*j = 2*j + m - 17. Let z = j + -1. Solve 3*v + 0 + 8 = z*x, -4*x = 4*v + 4 for x.
1
Let o(h) = 3*h + h**2 + 5*h + 2 + 7. Let m be ((-7)/(-14))/(1/(-14)). Let a be o(m). Solve a*g + d + 10 = 0, -4 - 1 = g - 4*d for g.
-5
Let i = 8 - 5. Suppose -8 = -i*y - 2. Solve -1 = m + 3*w, y*w = m + 3*w - 3 for m.
5
Let a = 5 + -1. Suppose -68 = -a*i + 12. Solve -3*n + i = -n - 4*m, 0 = -m - 5 for n.
0
Let r be (5*4/(-30))/(2/(-48)). Solve 4*n - r = -4*a, 4*a - 2*n = 7*a - 13 for a.
5
Suppose -2*s + 3*l = -8, 0 = -4*s + l + 17 - 1. Solve s*v - 12 = 4*w, 4*w + v + 7 = 4*v for w.
2
Let j = 66 + -35. Let u = j + -24. Solve -u = -a + 4*t, 6 + 4 = -4*a - 3*t for a.
-1
Suppose 0*l = 5*z + 2*l, 4*l + 20 = 0. Let w = -17 + 19. Let y = 5 - w. Solve -y*d - z*r = r, d = -3*r for d.
0
Let x be 3/(-4) + 56/32. Let y be (-2 - 3)*4/(-10). Solve -2*j + y*f - 22 = 2*j, 2*j + f = -x for j.
-3
Suppose 0 = -5*w + 2*w. Let v(j) = -j - 4. Let c be v(-6). Solve -p = q - w*p, -12 = -q + c*p for q.
4
Let z = -15 - -11. Let f be (-2)/z*(3 + 13). Let y(u) = -u**2 + 2*u + 3. Let w be y(3). Solve 4*t - c - 2*c = -f, -t + 3*c - 11 = w for t.
1
Suppose -5*z = -3*a - 19, -3*a + 22 = -2*a + 4*z. Solve -2*x - x - 2*p = -19, 0 = -4*x + 2*p + a for x.
3
Suppose -5*a = m + 2*m - 26, a = -4*m + 12. Let s be 12/4 + 0 + -3. Solve t + 9 = 4*p, -3*p - a*t + 16 + 5 = s for p.
3
Let b(n) = 2*n**3 + n**2 + n. Let q be b(2). Solve t - 3*u - 7 = 11, 4*t - 2*u = q for t.
3
Let n = 21 - 9. Solve -6*x + x + 2*q - n = 0, -3*q + 3 = 0 for x.
-2
Let c = 2 - -1. Solve 0 = -4*r + p + 3, -c*r = p - 4 for r.
1
Let y be (6/6 - 0)/(0 - -1). Solve 4*d = c + 3*c - 4, 3*c - y = 4*d for c.
3
Suppose 4*z - 5 = -w, 3*z + 2*z - 3*w + 15 = 0. Suppose -2*u + 9 - 1 = z. Solve 3*s + k = -4, 0 = -5*s + u*k - 41 + 6 for s.
-3
Let l be (-3)/(-7) + (-88)/(-56). Solve -5*h = -3*k + 11, -l*k - 14 = -0*h + 2*h for k.
-3
Let m(y) = y**3 + 5*y**2 - y + 3. Let z be m(-5). Suppose -z = -4*a + 12. Solve 0 = 3*b - a*p + 24, 2*b - 2*p = -3*b - 21 for b.
-3
Let z(u) = -u**3 - 6*u**2 + 6*u + 13. Let h be z(-7). Solve -4*c = -2*j - h, 2*c + 6 = 2*j + 18 for c.
4
Let n(z) = -z**3 + 9*z**2 + 11*z - 7. Let x(j) = 4*j - 2. Let w be x(3). Let r be n(w). Let i = 7 - r. Solve 3*s = 3*f + 15, 1 = -f - 2*f - i*s for f.
-3
Suppose 21 = -2*a + 25. Solve 2*f = -o - 7, -a*o + 6*o = 4 for f.
-4
Let d(b) = -b**3 - 3*b**2 - 2*b + 2. Let c be d(-2). Let g = 0 + 5. Suppose 5*p - 5 = 4*p. Solve -c*l = -3*q + l + 3, -g = -p*q + l for q.
1
Let