(2). Suppose 3*y + 2*d + d - 3 = 0, -y = -3*d - b. Suppose q + y*q = 0. Solve 0 = 2*a - q + 10 for a.
-5
Suppose 271 = 5*b - 3*t, 5*b - 2*t = 2*t + 268. Suppose -b = -4*q + 4*p, 0 = 4*q + 3*p + 2*p - 20. Suppose -2*g + g + q = 0. Solve z = -z - g for z.
-5
Let j be 1/1*(-9 + 12). Solve 0 = -2*z + j + 5 for z.
4
Suppose -2*t - 5*s = 17, 4*s = -5*t - 0*s. Suppose 0 = -4*n + 3 + 17. Solve 11 = t*c - n for c.
4
Suppose -5*n = -p + 4*p + 12, 0 = -2*n - p - 4. Solve 4*y + n - 4 = 0 for y.
1
Suppose -5*z + 20 = -4*s + 3*s, -5*s - 4 = -z. Let o(b) = -b**2 + 8. Let a be o(s). Let x = -4 + 8. Solve x*k = 4 + a for k.
3
Let c be (3/6)/(1/6). Let k(v) = -v**2 - 8*v + 4. Let t be k(-8). Suppose 0 = t*o - c - 1. Solve 3*j = 2*j + o for j.
1
Let o(r) = -r**2 + 7*r + 3. Let p = -16 - -23. Let g be o(p). Solve 0*w + g*w = -6 for w.
-2
Let m = -13 + 14. Solve w - 3 = -m for w.
2
Suppose 4*c - 27 - 21 = 0. Solve c = -k + 5*k for k.
3
Suppose -t + 10 - 2 = 0. Let q be 4/t*(0 + 2). Let w be 1/(-2*(-2)/12). Solve -w*m + q = -8 for m.
3
Let t(s) = 2*s + 2. Let n be t(2). Suppose -f + n = 2*g + f, 5*g = 4*f + 60. Solve g = -0*x - 2*x for x.
-4
Suppose 0 = 2*q - q - 2. Let s be (-6)/(-6) + 5*-2. Let h be (-1)/(-2) - s/6. Solve q = -0*k - h*k for k.
-1
Suppose -2*g + 0*g = 3*p - 8, g = -2*p + 5. Solve -7 = 2*l - g for l.
-3
Let b = -26 - -27. Solve q - b = -4 for q.
-3
Let f be 3/((-12)/(-4)) - -11. Solve t = 5*t + f for t.
-3
Let r be 4/12 + (-28)/3. Let l = r - 0. Let d = -6 - l. Solve b = d - 8 for b.
-5
Let d = 14 + -10. Let s = 6 + -4. Suppose 0*h - s*p + 17 = 3*h, d = p. Solve -7*u + h*u = 0 for u.
0
Let v = 31 - 28. Solve 0 = -2*a - v*a + 5 for a.
1
Let c be 10/(-4)*(-4 + 2). Suppose -4*k + 8 = c*f, k + 0*f - 2 = -f. Solve 2*t - 8 = -k*t for t.
2
Let c = 2 + -2. Suppose -4*u + 4 = -c*u. Let m(h) = h - 6. Let j be m(10). Solve j*x + u - 5 = 0 for x.
1
Suppose 3*b - 6 = 3. Let l = 39 - 25. Solve b*d - 2 = -l for d.
-4
Suppose 0 = -i - 0*i. Let k = 2 - -2. Let g be (-1)/(-1 - 1/(-2)). Solve v - k + g = i for v.
2
Let r be (2 + -2)/(-7 - -10). Let n = -4 + 6. Solve r = -n*o + o + 2 for o.
2
Let o = 37 + -19. Let x = o - 13. Let t = -1 + x. Solve 2*a - 2 = -t for a.
-1
Suppose -3*p + 12 = p. Suppose -4 - 5 = -p*b. Solve -4*v + b = 19 for v.
-4
Suppose 20 = 11*m + 9. Solve -m = -4*y + 3*y for y.
1
Let m(z) = -5*z. Let i be m(1). Let v = -13 - -11. Let k be ((-6)/i)/(v/(-5)). Solve 8 = k*r + r for r.
2
Suppose 3*g - 5 = -2. Solve g - 5 = 4*b for b.
-1
Suppose 1 = 4*n - l, -n + 5*l = 4*l + 2. Solve 0*q = q - n for q.
1
Suppose 14 = -v + 2*v + 4*r, 2*r = -6. Let u be 1/(1 - v/27). Let o be 1/1 + u/3. Solve -5 = 5*z + o for z.
-3
Let u be 0 + (-2 - -5) - (5 + -7). Let y be (9/6)/(3/(-4)). Let v = y + 3. Solve 3*a - u = v for a.
2
Suppose -5 = -5*q + 10. Suppose -4*i + q + 9 = 0. Solve h - i + 4 = 0 for h.
-1
Suppose 0 = -3*o + 104 + 4. Let m be (o/15 + -2)*15. Let t = -4 + m. Solve t*d = -3*d - 25 for d.
-5
Let v(j) = 9*j**2 + 19*j - 11. Let p(h) = 5*h**2 + 10*h - 6. Let i(r) = -11*p(r) + 6*v(r). Let a be i(2). Let x = 9 + 2. Solve a = -3*n - x for n.
-5
Suppose -f - f = -14. Solve s - f + 3 = 0 for s.
4
Let b(o) = 3*o - 6. Let g be b(4). Suppose -g = 4*h - 10. Suppose 0 = 3*f - 14 - h. Solve -m + f - 8 = 0 for m.
-3
Suppose 0 = -3*f - 4*c + 40, 5*f - 3*c - c = 24. Solve -3*y = 4 + f for y.
-4
Let y = 10 - 6. Let r be 22 - (3 - (3 + 2)). Suppose -3*h + 3*l + r = 0, 10 = -5*h - 5*l - 0. Solve h*i - i = -y for i.
-2
Let c = 5 - -9. Suppose -2*m + 3 + 2 = s, -m = -3. Let g = s + 1. Solve g = 5*k + c - 34 for k.
4
Let g(f) = 2*f + 2. Let u be g(-4). Let v be (-4)/u + 2/(-3). Let y = v + 0. Solve -2*w + 6 = -y*w for w.
3
Let q(f) = -3*f**3 - 1. Let k be q(-1). Suppose -k*a = -a - 4. Solve -3*t + 8 = -a for t.
4
Let z = -14 + 19. Solve z*a - 11 = 14 for a.
5
Let c be 1/2*(-5)/20*0. Solve v = -c*v + 1 for v.
1
Suppose h = -2*y - 2, -2*h + 1 = -4*y - 3. Solve h*g = -3*g + 12 for g.
4
Let i be (-6)/4 + (-26)/(-4). Suppose -4*z + 15 + 3 = -3*b, -i*b = z + 7. Let u(o) = -o + 10. Let f be u(8). Solve d + f = z*d for d.
1
Let j(t) = -t**3 + 12*t**2 - 11*t + 2. Let f be j(11). Solve -f*l - 4 = -0 for l.
-2
Let a = -9 + 16. Suppose 2*h - a*h = -15. Suppose 4*p + 31 = 5*u, -9 = 4*u - h*u + 3*p. Solve -u*z = 3 + 12 for z.
-5
Let u be -4*15/(-20) - 0. Solve -u - 1 = -4*h for h.
1
Suppose -3*h + 6*a + 4 = 2*a, 0 = -5*h + 2*a + 2. Solve h*f + 4 = -2*f for f.
-2
Suppose 6*m - 16*m = 0. Solve m = -2*z - 0*z for z.
0
Let p = 16 - 10. Let a(l) be the first derivative of -l**2/2 + 9*l - 3. Let o be a(p). Solve y + 1 = -o for y.
-4
Let z be (-1)/(-1) - (-1 - -14). Let v be ((-4)/(-6))/((-2)/z). Suppose 0 = -m - v*m. Solve w - 5*w - 4 = m for w.
-1
Let f be (-5)/((-15)/6) - -3. Solve -24 = f*k - 4 for k.
-4
Suppose 5*x - 4*h + 3 - 15 = 0, -h = 5*x + 3. Solve -15 = 3*y - x*y for y.
-5
Suppose 23*c = 18*c + 50. Solve -3*h - c - 2 = 0 for h.
-4
Let d be (0 - 1)*(8 + -8). Let h(o) = o**2 + o + 1. Let g be h(d). Solve -3*m + g = -5 for m.
2
Let o(k) = k**2 - 1. Let q be o(-1). Suppose g + 16 = 2*j, 3*j - g + 18 = 44. Let s = j - 5. Solve -h + q*h = s for h.
-5
Let b(m) be the third derivative of m**6/120 + m**5/30 - m**4/6 + 3*m**2. Let n be b(-3). Suppose n*s = -2*s. Solve s = 3*d - 5*d + 8 for d.
4
Let m = 0 + -3. Let h be m*-1*(-1 - -2). Let p(i) = -i**2 + 7*i + 4. Let g be p(6). Solve w - g = h*w for w.
-5
Suppose 9 = x + 3. Solve s - x = 4*s for s.
-2
Let j be (-84)/(-16) + (-6)/(-8). Let r = -6 + j. Solve r*t + 12 = -4*t for t.
-3
Let d be (4/5)/(1/5). Suppose -3 = y - 5. Suppose y*p - 1 = 3. Solve d*a + 22 = p for a.
-5
Let y(d) = d**3 - 13*d**2 + d - 8. Let u be y(13). Solve 0 = -2*m - u + 3 for m.
-1
Suppose 5*m - 15 = 2*f, 5*m - 2 = 13. Suppose c = 3*k + 14, f = c + k + k + 1. Solve -c - 15 = 4*j for j.
-5
Suppose 2 = 2*t - 2. Let f(s) = s**3 - s**2. Let v be f(t). Suppose 2*j + k + 0 - 2 = 0, -k + 2 = j. Solve -5*a - 9 + v = j for a.
-1
Let h(k) = k**3 - 3*k**2 - 2*k + 4. Let u be h(4). Solve 6*o = 3*o - u for o.
-4
Suppose 3*c = -0*c + 5*o, 5*c - 5*o = 0. Suppose 2*u - 6*u + 8 = c. Solve u = -0*q - 2*q for q.
-1
Suppose -2*b + 0*b = -8, -4*t = -5*b. Suppose 2*i - 15 = -y + t*i, 0 = -4*y - i + 8. Solve 12 = -y*z - 3 for z.
-5
Suppose 2*k - 15 = -9. Solve -3*b - k = 3 for b.
-2
Suppose -3*o + 20 - 11 = 0. Solve o*c + 10 = c for c.
-5
Suppose 12 = -0*m + 2*m. Solve m = 2*s - 0 for s.
3
Let r = -3 + 15. Solve 2*j + r = 5*j for j.
4
Let q be -1 + 5/(10/8). Suppose q*s = s. Solve 2*d - 7*d = s for d.
0
Let l = -7 + 7. Let o = l + 3. Let c = 0 + o. Solve c*u - u = -2 for u.
-1
Suppose -2*n = 3*i - 0*i - 27, 4*n = 2*i - 2. Let b = i - 1. Solve 0 = -b*q + 4*q + 2 for q.
1
Let t(p) = p**3 - 3*p**2 - 3*p - 1. Let r be t(4). Suppose -31 = -r*x + 2. Suppose 2 - x = -3*a. Solve 0 = -0*n + a*n - 12 for n.
4
Suppose 5*t - 4*b = -77, -3*b = -4*t - 85 + 23. Let s = -17 - t. Solve -x - 4*x + 5 = s for x.
1
Let f = 70 - 42. Suppose -2*w + 0*w = -f. Solve -5*q + 1 = -w for q.
3
Let q(l) = 2 - 11*l - 5 + 13 + 4*l - l**2. Let y be q(-7). Solve -y = -j - j for j.
5
Suppose -4*d - 2*r - 12 = -7*r, -10 = -d - 2*r. Solve 3*y = -1 - d for y.
-1
Let m(h) = -h**3 + 6*h**2 - h + 6. Let k be m(6). Solve k*i = -5*i for i.
0
Let a(w) = -w**2 - 7*w + 5. Let k be a(-4). Solve -3*q + k = 5 for q.
4
Let i(q) = q**2 - 15*q + 9. Let v(f) = -f + 1. Let r = -2 - -1. Let u(w) = r*i(w) + 4*v(w). Let l be u(10). Solve 5 = 2*b - l for b.
5
Let v be ((-8)/(-14))/((-2)/(-7)). Let w be 4 - 0 - (-4 - -4). Solve -v*o = 2*o - w for o.
1
Let s = 6 + -3. Suppose 3*c - 40 = -0*c + 2*y, -s*y = 6. Solve -2*b = b + c for b.
-4
Suppose 2*l = -3*l + 25. Suppose -l*u = -25, -3*z + 0*z = 3*u - 15. Solve 2*q = -z*q + 10 for q.
5
Suppose -4*g - 22 = -p - 0*g, 4*p = 5*g + 33. Suppose 6 = -0*o + p*o. Solve o*t = 2*t + 5 for t.
5
Let t be (-1)/3 - (-80)/24. Solve -2*o - o = t for o.
-1
Let x be -1 + (-5)/(-4) - 3/12. Solve -4*d + 8 = -x*d for d.
2
Let y = -54 + 54. Solve 7*l - 3*l = y for l.
0
Let k = 51 - 51. Solve 3*o + k*o + 9 = 0 for o.
-3
Let o be (-911)/(-3) + (-1)/(-3). Let f be 8/(-20) + o/10. Suppose 2*d + 4*y - f = 0, 0*y = 3*d - y - 24. Solve 2*z = -z - d for z.
-3
Suppose 2*s = 4*y - 18, 9 = -3*s - 0*s. Solve -y*r + 4*r = 4 for r.
4
Let x b