(2). Let y be (d - -1)*12/(-18). Suppose 20 + 0 = y*l. Solve -3*j - 35 = -5*k - j, 0 = -k + j + l for k.
5
Let g(h) = -2 + 6*h - 2*h - 3*h. Let m be g(2). Solve -5*l - 5*c = m, 2*l + 2*l + 3*c + 3 = 0 for l.
-3
Let k(y) = 1 - y + 0 + 0*y. Let a be k(-11). Solve -3 = -z - 2*z + 3*f, -4*z + 2*f + a = 0 for z.
5
Suppose 3*u + 3 = 0, 3*u = -5*o + u - 52. Let b = -5 - o. Solve -3*p + 2*p - 16 = -4*w, 5*w - 20 = b*p for p.
0
Suppose -6 = -4*u + 10. Solve 4*p = 2*l + u, -2*l - 2 = -l + 4*p for l.
-2
Let q be 7 - 3 - -1 - 1. Solve 0*a - a - 5*n = 23, q*a + 24 = -3*n for a.
-3
Suppose 3*b = 7*b + 4. Let y(n) = 2*n**2 - n - 1. Let i be y(b). Suppose -4*q + 22 = -u + 6*u, 5*q = -u + 17. Solve -4*g = u*a, 5*a + 0*g = -i*g + 16 for a.
4
Let x(r) = -r**2 + 3*r. Let c be x(3). Solve -3 = m - g, -4*m - 2*g = -c + 12 for m.
-3
Let n(b) = b - 1. Let u be n(2). Let i(c) = 5 - u + 0*c + c - 3. Let f be i(1). Solve 2*h + f*v + 4 = -6, 2*h - 5*v = 18 for h.
-1
Suppose 113*t = 109*t + 16. Solve 4*c + 1 = 3*d - t, 4*c + d = -9 for c.
-2
Let n(h) = h**2 - 3*h - 3. Let g be 4 + (-1 - 0) + 1. Let d be n(g). Let r = -1 - -4. Solve -r*j + 4*j - 2 = 2*q, q - j + d = 0 for q.
-1
Suppose -r + 9 = -3*r - i, -3*i = -r - 8. Let b(x) = x**2 + 3*x + 2. Let n be b(r). Suppose 0 = 5*k + 3 - 28. Solve 2 + n = -5*d + 3*m, k*d = 2*m - 11 for d.
-1
Suppose -2*n - 2*n - 4 = 0. Let t be 5/(-15) - n/3. Solve z + t*z + 7 = 3*q, -5 = -q + z for q.
1
Let g(f) = f**3 + 7*f**2 - f - 3. Let z be g(-7). Suppose -5 = z*i + i. Let y be (-1)/(i*(-2)/(-10)). Solve 0 = -w + y*b - 7, -2*b + 10 = 3*b for w.
3
Suppose 3*y - 28 + 13 = 0. Suppose -2*w - 1 = -5. Suppose -5*q + 5*c + 25 = 0, 4*q = -3*c + c + 14. Solve 2*f + q = -w*f, y*z + 4 = f for z.
-1
Let q = 11 - 10. Solve 5*y - 3*k + q = 0, -4*y = -7*y - k + 5 for y.
1
Let m = -13 - -16. Let p = 11 - 7. Solve 0*i - 4*v + 15 = -i, p*i + m = -3*v for i.
-3
Suppose 0 = 3*h + 2*h. Let f be 2 + (h - (-2 + 2)). Let p be (-36)/(-21) - f/(-7). Solve -4*x + p*j + j - 16 = 0, -x - 4 = 2*j for x.
-4
Let o be 3/(-12) + (-27)/(-12). Suppose -z - o = -6. Solve 2*q + k - 5*k = -z, 0 = 5*k - 5 for q.
0
Let w be (-1)/(-2) + 145/10. Let d = w - 15. Solve 2*g + 2 = 0, c - 2*g = 4 - d for c.
2
Let q be 57/4 + 3/(-12). Let y be 8/q*(-21)/(-6). Suppose -y*c + 3*c = 4. Solve 5*a = -c*w - 7, -5*a + 2*a = 3*w + 3 for a.
-3
Let y be (-27)/(-6)*(-6 + 4). Let h be y/(-6)*(-22)/(-3). Let z = h + -5. Solve q + z = -5*i + 3*i, -3*i + 3*q = 9 for i.
-3
Let y be (-55)/(-15)*-1*-3. Solve -i = 4*w + 11, 4*w + 4 = 5*i + y for i.
-3
Suppose 5*x = -4*b - 13, x = -7*b + 2*b + 10. Solve -4*w - 4 = 0, b*k - 3 = -k - w for k.
1
Let p = -21 + 34. Let w = 5 - -3. Let m = w + -5. Solve k - p = -m*t - 2*t, -5*k = -5*t - 5 for t.
2
Let j = 8 + 10. Suppose 4*v = -4*s + 60, -3*s + j = -s - 4*v. Solve 4*h - 12 = -w, 4*w - 2*h + 1 = s for w.
4
Let m = 59 + -14. Let z = m + -29. Let p(f) = -f**3 + 2*f**2 + 7*f - 9. Let x be p(3). Solve -x*s = 5*y + 44 - z, -2*y + 5*s - 5 = 0 for y.
-5
Suppose 0 = -2*m - 3 + 13. Let y be ((-3)/9)/(1/(-9)). Suppose 0 = -y*j + 2*a + 46, 31 = j + j - a. Solve -m = -3*r + 2*u - j, 5*r + 10 = -5*u for r.
-3
Let c(t) = 7 - t - 10 + 0*t. Let q be c(-5). Solve -q = y - 2*y, -3*y = -4*s - 26 for s.
-5
Let k(a) = -5*a + 9. Let t(h) = 14*h - 27. Let p(n) = -11*k(n) - 4*t(n). Let z be p(4). Solve z*o + 30 = 5*q, 3*q + q = -4*o + 8 for o.
-2
Suppose 7*h - 3*h = 8. Solve h*g = -4*w, 5*w - 3*g = -6*g for w.
0
Let t be 10 - ((0 - 2) + 2). Suppose 0 = -5*m + t + 10. Let s(y) = -y**2 + 5*y - 1. Let u be s(m). Solve -5*a = -0*p + p + 16, 4*p = u*a + 5 for a.
-3
Let v = 20 - 18. Solve 5*k + 4*n = 16, -v*k + 6*n = n - 13 for k.
4
Suppose 3*n + 5*f + 26 = -0*n, 4*f = 8. Let x = n + 19. Solve 0 = -m - 4*o + 10, -5*m + o + 1 = -x for m.
2
Suppose -4*s + 0*s + 60 = -4*p, p = -2*s - 15. Let q be (3 + 33/p)*5. Solve 3*u = -3*k + q + 2, 5*k + 2*u - 10 = 0 for k.
2
Let z = 36 + -30. Solve h - 6 + 3 = 3*k, 3*k + z = 0 for h.
-3
Let h = 22 + -19. Suppose -h*n - 1 = -7. Solve -4*g = -n*i - 18, -5*g = i - 11 - 1 for g.
3
Suppose -8*c + 4*c + 8 = 0. Suppose -5*f - 1 + 26 = 0. Let r = f + -1. Solve w + 2*o = c*w + 3, r*w - o = 2 for w.
1
Let c be 5 - (-2 + 1) - 1. Solve 4*y - 3*y + 9 = -z, c*y = 3*z - 5 for z.
-5
Let c(g) = -11 - 6*g + 9 - 2*g**2 + g**2. Let s be c(-5). Solve -j = s, -j = y + 3 + 2 for y.
-2
Suppose 52 = -2*s + 6*s. Suppose -v - n - 7 = 4*n, 3*v = 2*n + s. Solve 5*r - 5 = 5*d, v*d - r = 5*d + 5 for d.
-2
Suppose 5*k = t - 49, 0*k - 41 = -t + k. Let w = t + -19. Solve 0*f = 4*c + 5*f + w, -4*f - 16 = -3*c for c.
0
Let z(w) = w**3 - 7*w**2 + 5*w + 8. Let s be z(6). Solve 2*i + 4*f - 24 = 0, 2*i + s*f + 6 - 22 = 0 for i.
4
Let l(j) = -j + 13. Let h be l(7). Let k be 4/3*h/4. Let y be k - 2 - -1*16. Solve 2*u = u - 3*z + y, 8 = -3*u + 5*z for u.
4
Let s be 2/(-13) - 26/(-169). Solve r = -3*b - 2*r - 9, s = -5*b + 3*r + 17 for b.
1
Let x = -1 - -1. Let t = -1 + 7. Solve x*f - 18 = 2*f + 4*i, -t = 2*i for f.
-3
Let m be (8/12)/((-2)/(-6)). Suppose 4*a - 12 = -2*p, -m*p - 2*a - 1 = -9. Suppose 5*y - 15 = p*y. Solve -y*w - 2 = -2*o - 6, -5*w + 7 = -o for w.
2
Suppose -2*n + 2*t = -t + 2, 5*t - 40 = -4*n. Let k = n + -2. Let d(q) = -6*q. Let p be d(-2). Solve 2*f = -z - k, -p = 5*f - f for z.
3
Suppose 0 = 5*d - 3*w - 8, -2*d - w = -2*w - 4. Solve -4*s = -d*t - 1 - 3, s - 3*t = -1 for s.
2
Suppose 2*s + 7 = 1. Let m(w) be the first derivative of 2*w**3/3 - w - 2. Let l be m(s). Solve 3*p = -5*d + l, d = -p - 0*d + 5 for p.
4
Let c be 2/4 - 42/(-4). Suppose 0 = a - 5*i + i - 12, 14 = -3*a + 2*i. Let w = a + c. Solve w = j + z, 7 = -3*j - 4*z + 16 for j.
3
Let o(b) = -b**3 - 10*b**2 + b + 14. Let t be o(-10). Suppose -45 = -t*u + 35. Solve -2*h - j - 10 = 0, h - 5*h + j - u = 0 for h.
-5
Let g = -20 - -20. Solve -7 - 7 = -4*r + 2*w, r + w - 2 = g for r.
3
Let d(u) = u - 3. Let q(i) = i**2 - 2*i + 4. Let z be q(3). Let r be d(z). Solve -r*t - 8 - 3 = -m, 0 = 2*m - t + 6 for m.
-5
Suppose j = -4*y - 12, 3*j + 2*j + 12 = -4*y. Let n be 3*(2 - (-4)/y). Solve 5*r - n*f - 4 = -23, -5 = 5*r + 5*f for r.
-3
Suppose 6*d - 20 = 2*d. Solve 0 = -r - d*x + 17, -x + 9 = 4*r - 2 for r.
2
Let p = 1 - 3. Let n = p - -7. Solve 3*d + n*b + 9 = 0, -3*d = -5*d - 5*b - 11 for d.
2
Suppose 2*c - 5*s - 60 = 0, -2*c - 56 = -5*c - s. Solve 0 = 5*h + c, -u - 1 = h + 7 for u.
-4
Suppose 4 = -0*j + 4*j + 4*g, 4*g = 4*j - 20. Suppose 0 = -n + 2*n + j*z - 3, 0 = -n - 2*z + 2. Solve -4*v - 2*w - 22 + 2 = 0, w = n for v.
-5
Suppose 4*l + 0*l = 0. Solve -5*i - 4*p - 1 = 25, l = -2*i - p - 8 for i.
-2
Let c(g) = g. Let z(k) = k**2 + k. Let t(s) = -c(s) + z(s). Let v be t(4). Solve 0 = 4*u - 0*b - 2*b - v, 5*u = 3*b + 20 for u.
4
Let n(g) = g - 6. Let x be n(6). Suppose -b = -7 - 12. Suppose l - 19 = -2*r + 1, 4*l + b = r. Solve r = 4*j - q, -2*j - 2*q = -x*j + 2 for j.
2
Let w = -13 - -22. Suppose 2*p + 5 = p + 3*o, 0 = 3*o - w. Solve -i - p*f = f + 10, -2*f - 26 = -4*i for i.
5
Suppose 3*p = 34 - 22. Solve v - 6 = 3*x + 4, 5*x + p*v - 6 = 0 for x.
-2
Suppose -5*a + 20 = 0, 2*c - 60 = -0*c - 4*a. Suppose -c = -4*y - 6. Solve -y*w - 2*s = 20, -5*w - 15 = -2*w + 4*s for w.
-5
Suppose -4*u + 4 = 0, 2*u - 3 = 3*a - 1. Suppose 11 = j - a. Solve 4*w + 20 = 0, -3*p + 4*p = -3*w - j for p.
4
Suppose 0 = -7*l + 4*l + 18. Suppose -6*x + l = -3*x. Solve 2*t + 16 = 5*s, 0*t = 3*s + x*t for s.
2
Suppose 2*x + 7 = 3*p - 9, 0 = -p - 2*x + 8. Suppose n + p = -2*n, 8 = -4*j - 4*n. Solve j*y + 26 = 2*y - 5*k, -k = -3*y + 13 for y.
3
Let n be (-172)/(-36) - (1 + (-22)/18). Solve -b + 5*c - 31 = -5, -5*b = n*c - 20 for b.
-1
Let r be 5/2*(-4 - 8). Let x = -5 - r. Solve -5*j + x = 0, j + 12 = -3*v + 4*j for v.
1
Let o be (-376)/(-40) - (-4)/(-10). Let t be (18/27)/((-1)/o). Let a be 7/3 + 2/t. Solve 0*h + 4*h - 12 = -4*v, 0 = -a*h - 4*v + 6 for h.
3
Let j = 8 + -5. Suppose c - 3*y + 7 = 0, -5*c = -y + j*y - 16. Suppose -c*t = 3*t. Solve 3*p - 3 = -t, g = -3*p + 4 for g.
1
Suppose 4*t - 57 = -9. Suppose 4*x - 7*x = -t. Solve -3*m - 4*v + 6 = 0, -x*v = -3*m - 14 - 4 for m.
-2
Let b be (3/2)/((-2)/(-4)). Solve a = 4*d - 15, b*d - 15 = -5*a + 5*d for a.
5
Let w(j) = 0*j + 3*j - 2*j - 3*j. Let v be w(-1). Solve v - 14 = -2*z + 4*h, 0 = 5*z - 5*h - 10 fo