2). Let h be n - (-1)/(2/4). Suppose 5*o + 4 = 5*c - 1, -h*o = 5*c - 41. Solve c*t + 4 = 4*t for t.
-4
Let a = -18 - -36. Let z = 38 - a. Solve 2*t + 2*t = -z for t.
-5
Let m(d) = d - 2. Let p be m(5). Let l = p + 2. Solve 0 = v - 2*v - l for v.
-5
Let c = 8 - 5. Suppose c*y = -2*y - 15, -2*n + y + 13 = 0. Solve n*l - 6 = 3*l for l.
3
Let r be (6/(-4))/((-4)/88). Suppose r = 3*z + 12. Let u = z - 5. Solve u*y - 10 = 7*y for y.
-2
Suppose 16 - 6 = s. Solve s = -3*a + a for a.
-5
Let a = 110 + -108. Solve -8 = 6*t - a*t for t.
-2
Suppose 5 = -7*b + 47. Solve 3*k - 6 = b for k.
4
Let p be (-1)/(-2 - (-45)/21). Let j = -4 - p. Solve j = t - 2*t for t.
-3
Suppose 4*k - 7 = 5. Let j(i) = i**2 - 3*i - 3. Let t be j(3). Let s = t + k. Solve 4*h = -s*h - 12 for h.
-3
Suppose -3*k - 19 = 4*f, 4*k + 24 = -f - 4*f. Let o = -1 - f. Solve 2*a + 7 + o = 0 for a.
-5
Let k be -1 + 3 + 0/(-1). Solve k*h + 4 + 0 = 0 for h.
-2
Let v = 13 - 18. Let n(k) = k**3 + 6*k**2 + 5 - k + 4*k + 3*k. Let m be n(v). Solve m = 3*w + 1 - 16 for w.
5
Let t be (1/2)/((-3)/12). Let m be ((-2 - 4) + -2)/t. Suppose 5*s - 5 = -3*h + 11, h = -m*s + 10. Solve 0 + 4 = s*w for w.
2
Suppose 0 = -0*d + 4*d - 0*d. Solve -3*w + 5*w + 10 = d for w.
-5
Let r be 14/3 - 16/24. Solve r*j - 5*j + 5 = 0 for j.
5
Suppose 0 = -w - 3*t + 8, -3*w + 2 = 5*t - 14. Suppose -4*x = 5*r, 0 = -w*x + 6*x + 20. Solve -3*n - r = -7*n for n.
1
Let p(i) = -5*i + 3. Let h(f) = 4*f - 3. Suppose 4*j + 34 - 8 = 5*r, -2*j + 14 = 2*r. Let g(x) = r*h(x) + 5*p(x). Let d be g(-4). Solve -7 = -3*b - d for b.
2
Let y = -10 + 5. Let w(p) = p**3 + 5*p**2 - p - 5. Let o be w(y). Solve o = 4*h + h for h.
0
Let v be -4*(0 - (0 + 2)/4). Solve -v*r - 4 = -r for r.
-4
Suppose 0 = -5*k + 11 + 4. Suppose -5 = 2*p - 3*p - 2*c, -5 = -p - k*c. Suppose 0 = -2*b + 3*u - 10, -5*u + 4 = -4*b - 12. Solve -p = -n - b for n.
4
Let c(m) = -m**3 - 7*m**2 - 7*m + 3. Let u(g) = -18*g**2 + 1. Let p be u(-1). Let i be 2/(-6) - p/(-3). Let a be c(i). Solve -2*x + 1 = -a for x.
5
Suppose 0 = -4*q - 2*j + 18, 23*q - 20*q = 2*j + 24. Solve q = 3*r - r for r.
3
Let f(x) = -x**3 + 8*x**2 + 2*x - 6. Let i be f(8). Suppose 0 = -3*h + i + 14. Solve -h = -0*c + 4*c for c.
-2
Let c(y) = -8*y + 34. Let z be c(4). Solve z + 0 = -a for a.
-2
Suppose 4*a - 4*w = -8, -a - w + 5 = -1. Let z be (4/(-3))/(a/(-3)). Suppose -27 = -i + 5*s - 0*s, z*i - 3*s = 19. Solve 4 = i*t + 6 for t.
-1
Let n(v) = -6*v - 2. Let y be n(-2). Let l = -7 + y. Solve -l*q - 10 = -1 for q.
-3
Let g = -5 - -9. Suppose g*b = 16, -5*l - 15 = 6*b - b. Let f be (-3)/(-12) - l/4. Solve -f*u = -0 - 6 for u.
3
Let b = -91 - -93. Solve 0*s + b = -2*s for s.
-1
Let q(b) = -b + 1. Let o(a) = 7*a. Let g(n) = -o(n) - 6*q(n). Let k be g(-11). Suppose 0 = -2*m + 4*l + 22, 5*m - 19 = 2*l + 4. Solve -k = -m*f + 8*f for f.
-1
Let s(y) = -y**3 - 12*y**2 - 10*y + 11. Let u be s(-11). Solve u*n - 10 = -2*n for n.
5
Suppose 4*g - 5*x = 2, 4*x + 4 + 3 = 5*g. Solve -5 = 2*t + g*t for t.
-1
Let o(i) = -i. Let a be (-14)/(-10) + (-4)/10. Let d be 0 - (-2 + 5 + a). Let c be o(d). Solve -4*f - 12 = -c for f.
-2
Let i be 20/16 - (-9)/12. Let w be 0/(i/3*3). Let h = 3 + w. Solve -h*s + 10 = -s for s.
5
Suppose -45 = -5*x + 3*t, 1 = -2*x - 2*t + 3. Let o = -3 + x. Suppose -o*r = -4*r + 3. Solve r*k - k = 0 for k.
0
Let i = 0 + -1. Let m be 308/21*(4 + i). Suppose -2*b + m = 2*b. Solve 3 = -4*n + b for n.
2
Let p(r) = 8*r + 1. Let a be p(2). Let k = a - 5. Solve q = -2*q - k for q.
-4
Suppose -3*n = -1 - 23. Solve -4 = -4*o + n for o.
3
Let x be ((-4)/(-6) + -1)*-15. Suppose -5*c + 2*c - 15 = -x*t, 2*t + 2*c - 6 = 0. Solve v - 20 = -t*v for v.
5
Let b be -2*(5/2 - 3). Solve 0 = 2*h - 3 - b for h.
2
Let j(b) = -4*b**3 + 4*b**2 + 2*b + 23. Let x(c) = -9*c**3 + 9*c**2 + 5*c + 47. Let h(o) = 7*j(o) - 3*x(o). Let m be h(0). Solve 5*w - w = -m for w.
-5
Let u(x) = -4*x + 12. Let o be u(6). Let a be 16/(-2)*6/o. Solve a*h - 5 - 7 = 0 for h.
3
Suppose -l - 5 = 0, y + 3*l = -2*l - 24. Let n be (y/(-1))/(1/(-2)). Suppose 5*c + 2*v = 13, -n*c + 4*v = c - 13. Solve -2*t + 15 = c*t for t.
3
Suppose 13*m = 16*m. Solve -p + 6*p - 5 = m for p.
1
Suppose 0 = -6*y + 25 - 13. Solve -2*n - y = -4*n for n.
1
Let j(d) = d**2 - d + 53. Let v be j(0). Suppose 5*q - v = 47. Solve 0 = 2*x + 2*x + q for x.
-5
Suppose 5*r - 70 = -4*q - 0*r, -4*r = 3*q - 52. Solve -2*i + q = 2*i for i.
5
Suppose 0 = 2*o - 12 - 2. Solve -5*u = -o - 3 for u.
2
Let i(h) = 2*h**3 - 4*h**2 - h. Let k(f) = 2*f - 5. Let p be k(6). Let l(b) = -b + 10. Let n be l(p). Let c be i(n). Solve d = 4*d - c for d.
5
Let q be ((-9)/(-6))/(2/(-8)). Let v = 9 + q. Suppose v*p + 3*x - 25 = x, -p + 2*x = 5. Solve -2*r - 1 = -p for r.
2
Let a = 39 - 27. Solve a = -4*t - 4 for t.
-4
Let h = -17 + 18. Suppose u - 4*q + h = 0, 3*u - 4 = q + 4. Solve 25 = 2*c + u*c for c.
5
Let m(d) = 7*d**2 - 1. Let c be m(1). Solve -3*y + c = 9 for y.
-1
Let a(i) = -3*i**2 + 5 - i + 2*i + i**3 - i**2. Suppose -7 = -3*c + 5*x, -2 = -3*c - 3*x + 13. Let u be a(c). Solve -6 - u = 3*v for v.
-5
Let b be ((-24)/28)/((-2)/14). Let u be (-3)/b*2 - -3. Solve -d + u = -1 for d.
3
Suppose f = -2*s + 9, 3*s = -s - 4*f + 28. Solve s = 2*i - 4*i for i.
-1
Let y(n) = -n**2 + 4*n + 5. Let v be y(5). Suppose 6 = 3*p, -4*p + 2 = 3*k - 21. Suppose 5*l + 21 = 2*x - 3, 2*x + k*l + 16 = v. Solve 0 = 3*b + x + 10 for b.
-4
Let o be 1/(-1 - (-30)/28). Suppose 2*y - 5*t - o = -0*y, 10 = -5*t. Suppose 0*d = -y*d. Solve m + d*m = -3 for m.
-3
Let x = 125 - 122. Solve 15 = -x*z - 0 for z.
-5
Suppose -2*h - 11 = -3*m, 2*h - 3*h - 3*m + 17 = 0. Suppose 0 = 3*i - h*l - 56, 2*i - 2*l + l - 36 = 0. Solve i = -4*y - 0 for y.
-4
Let s be (-8)/6*69*-1. Suppose 2*l - s = 5*o, -2*o + 0*l - 5*l - 31 = 0. Let a be ((-2)/3)/(12/o). Solve c - a = -0*c for c.
1
Suppose 2*b = -33 + 13. Let u be ((-4)/(-4))/((-1)/b). Suppose 4*m - 2*m = v + 5, 0 = -m - 2*v - u. Solve m = -5*h - 0 - 20 for h.
-4
Suppose 3 = -2*t - 4*o + 33, 4*o - 15 = t. Let k be 6/t - 1/5. Let j = -1 + k. Solve -h = -1 - j for h.
1
Let l(i) = -4*i - 2. Let q(s) = -5*s - 2. Let c(h) = 4*l(h) - 3*q(h). Suppose 3*y + 20 = t, -2*y + 1 + 3 = -5*t. Let j be c(y). Solve -x + j = x for x.
3
Suppose 23*i - 14*i - 18 = 0. Solve x = -x - i for x.
-1
Let m = -3 + 5. Let u(b) = 0*b**2 + 5*b**m + 0*b**3 - b**3. Let z be u(4). Solve 4*y + z = -4 for y.
-5
Let p(a) = 3*a**2 + 3*a - 2. Let c be p(1). Let b(f) = -f**3 - 3*f**2 - 1. Let l be b(-2). Let w = -3 - l. Solve 2*x - c = w for x.
3
Suppose -4*u + 136 = 16. Suppose -4*o + o = -u. Solve -2*x + o + 0 = 0 for x.
5
Let q = -3 + 13. Suppose 4*b - q + 2 = 0. Suppose x - 77 = -2*x - 5*j, b*x + 5*j = 58. Solve 4*p = x + 1 for p.
5
Suppose -2*a - 4*c + 36 = 0, -6*a + 79 = -a - c. Let l = 1 - -5. Suppose 0 = f - l*f. Solve -4*w - a = -f*w for w.
-4
Let g = 18 + -16. Solve -2 - 4 = g*y for y.
-3
Let k = 14 - 7. Let h = k - 5. Let w = -18 + 21. Solve w*b - 2 = h*b for b.
2
Suppose 4*o = o - 9, 3*s - 15 = -3*o. Let q = 12 - s. Solve q*r = -r + 10 for r.
2
Let n(y) = -y**2 - 10*y - 4. Let r be n(-9). Solve 2*b - r = b for b.
5
Suppose -5*g = -8 - 7. Let q = g - -9. Let k = q - -4. Solve p + k = -3*p for p.
-4
Let f = -3 - -6. Solve 20 = 8*x - f*x for x.
4
Let d(f) = -f**2 - 7*f - 7. Let u be d(-5). Solve u*q - 2*q - 5 = 0 for q.
5
Suppose -4*k + 2*u = -0*k - 18, -5*k + u + 21 = 0. Suppose 2 = -k*v - 10. Let w(n) = n + 3. Let d be w(v). Solve 5*p + 0 - 20 = d for p.
4
Let c be 3 + (2 + -1 - 2). Let q be (c/(-6))/(5/(-45)). Solve 2*b = q*b for b.
0
Suppose 0 = -4*y - 8. Let d be (-2 - 4/y)/1. Let f be ((-1)/(-3))/((-2)/(-30)). Solve 4*s - f*s - 1 = d for s.
-1
Let s = -2 + 4. Suppose 0*h = 3*h - 2*p - 6, -5*h = -s*p - 14. Solve 8*y = h*y for y.
0
Let y be 0 - ((3 - 9) + 2). Solve j + y = 7 for j.
3
Let o(f) = 0*f**3 + 8*f**2 + f**3 + 3*f + 2*f - 8. Let q be o(-7). Let w = 3 + 3. Solve w = 4*b - q for b.
3
Let u(r) = -r + 15. Let j be u(10). Solve 16 + 4 = j*o for o.
4
Suppose -3*u + 0*u = 4*z + 4, 3*z - 4*u = -28. Let h be (-4 + -1)*z/10. Solve h*y = -3*y + 10 for y.
2
Let x(o) = -o**3 + 5*o**2 - 2*o - 7. Let a be x(3). Solve 19 = -a*q + 4 for q.
-3
Let v be (28/21)/(1/3). Suppose v*s = -0*s + 20. Solve d = s*d for d.
0
Suppose 5*v - 3*i = 22, -2*v + 4 = -5*