(2). Let v(d) = d + 9. Let n be v(x). Solve n*m - 35 = 5*k - 0*k, -5*m = -c for k.
-2
Let a be (-3 + 5 + -1)*3. Suppose 2*z = -p + 1, 6*p - a*p - 35 = 2*z. Solve 3*v - 6*v = w - p, 2*w = -4*v + 14 for v.
2
Suppose 0 = 7*c + 52 - 66. Solve c*v = -4, 3*v - 12 = 4*q - v for q.
-5
Let m = 928 + -924. Solve -m*i + 9 = -14*u + 11*u, -i = 2*u + 6 for i.
0
Suppose 0 = -s - 16 + 20. Let x = -11 - -22. Let h be x/(0 + s/8). Solve i + 2 = 4*p + 3*i, -p + 4*i = h for p.
-2
Let f be (-3 + 4)/(3/12). Let d = f - 4. Let l be (-130)/(-5) - 4*(-1)/2. Solve -v - 5*a - 4 + l = 0, 3*v - 2*a - 4 = d for v.
4
Suppose -3*x - 3 = 3*h, 14 - 4 = 2*x - h. Suppose -4*z - 4*t = -12, 2*t = -0 + 2. Solve 4*r + 1 - 22 = -u, 0 = z*u + x*r - 17 for u.
1
Suppose 3*k + 10 = 22. Suppose -v + 17 = -3*d, 5*v - 6 = 7*v + 4*d. Solve q + 7 = -q - v*u, 6 = -2*q - k*u for q.
-1
Let m(w) = 2*w + 21. Let k(b) = -3*b - 22. Let d(a) = 3*k(a) + 4*m(a). Let j be d(16). Solve 2*i + j = -o + 3*o, 2*o + 2 = 0 for i.
-2
Let f be (-4 - -8 - 0) + 4. Let t(q) = q**2 - 9*q + 12. Let r be t(f). Let c(o) = o**2 - 12*o + 13. Let v be c(11). Solve -3*w + 9 = -v*x - r*w, 1 = w for x.
-5
Let s be 6*(-14)/14 + (-1 - -27). Solve 2*a + 4*r + 4 = -3*a, -2*a = -3*r + s for a.
-4
Let t = 52 + -49. Suppose -2*g = 5*n - 61 + t, 4*n - 44 = -4*g. Solve -n = 4*b - 5*l, 3*l = 3*b + 5*l - 14 for b.
2
Let s be 30/195 - (-24)/13. Solve -2*f - 16 = 3*w, 2*f = s*w - w - 8 for w.
-2
Suppose -2*c - c = -30. Let l(a) = -8 - 362*a + a**2 + 1 + 361*a. Let p be l(-3). Solve v - 4*v - 5*g = -c, g = p for v.
-5
Let m(i) = -i + 13. Let l be m(4). Suppose 7*r = l*r - 10. Solve r*w + j - 4 = 8, 0 = w + 3*j - 8 for w.
2
Suppose -3*o + 2 = -2*o. Suppose o*x - 8 = -32. Let i be 16/(-16) + x/(-2). Solve 11 + 0 = -i*l - 2*c, 4*l + 1 = c for l.
-1
Let n be 120/30*(-2)/(-4). Solve -2*x + 18 = 6*k - n*k, 0 = -4*k + 2*x - 2 for k.
2
Let i be 22 - (-4*5/5 - -6). Solve -4*j - 10 = -3*k + 3, i = -4*k - 4*j for k.
-1
Let j be 27/10 - 96/(-320). Solve 0*q + j*q - 5*x - 11 = 0, q = -2*x - 11 for q.
-3
Let l = -41 - -39. Let o(z) = -z**2 - z + 4. Let f be o(l). Let r(h) = h**2 + 4*h + 1. Let q be r(-5). Solve s - f = -m, -q*s + s + 22 = m for m.
-3
Let p = 9 + -7. Let t be (-9)/4*56/(-21). Suppose t*k + 36 - 108 = 0. Solve k + 25 = -3*o + 5*m, -26 = 4*o - p*m for o.
-4
Let d be 1/(((-4)/1)/(-964)). Suppose d + 29 = 9*n. Solve u + 5*q = 3*u, 0 = 4*u + 5*q + n for u.
-5
Let q(f) = 4*f**2 + 22*f + 23. Let m be q(-1). Solve m*p - 4*i = 8 + 14, -2 = 5*p + 4*i for p.
2
Let l be (2/4)/((-1)/(-6)). Solve 0 = l*r - 4*p + 8, 3*p = -2*r + 7*p - 12 for r.
4
Suppose 4*b - a - 9 = 0, -2*b = -3*a - 8 + 1. Solve 0 = l - 2*k + 4 - 2, -b = 2*l - 2*k for l.
0
Let s = -428 + 408. Let v be (-2 - 69/3) + 0. Let w = s - v. Solve 0 = 3*o + 3, 5*t + w = -3*o - 3 for t.
-1
Suppose -8*k = -3*k - 225. Suppose -7*d + k = 2*d. Solve d*a + 17 = -2*o, 0 = 3*a + o + o + 7 for a.
-5
Suppose -g = 76 - 77. Solve -2*k - 1 = -a + g, -k = 0 for a.
2
Let y be -174 + 176 - (-5)/1. Solve p + y = -0*p + n, 32 = -4*p + 5*n for p.
-3
Let d = 24 + -12. Solve 2*o - 4 = 3*b - 14, -2*b = 4*o - d for o.
1
Let z(n) = -3*n + 69. Let t be z(22). Solve 0 = -b - 2*x + 3, 6 = -5*b + 2*x - t for b.
-1
Let g = 33 + -34. Let u be (37 + g)/(3 - 1). Solve -u = -3*y - w - 2*w, -21 = 4*y - 5*w for y.
1
Let a(t) = -t**2 - 13*t - 2. Let o be a(-12). Suppose o = 4*l - 10. Solve -3*x + 5*v = 5, -l*v + 2*v + 12 = 0 for x.
5
Let r(n) = 8*n + 58. Let q be r(-7). Solve -16 = -2*d - q*j, 0*d + j - 16 = -3*d for d.
4
Let n be 1/(1*1/3). Let v(z) = 2*z**2 + z**3 + n*z**2 + 1 + 4*z**2 - 4*z**2. Let k be v(-5). Solve 2*t + 0*t = 5*h + 17, 4*t = 3*h - k for t.
-4
Let k(g) = 2*g**3 - 32*g**2 - 70*g - 34. Let s be k(18). Solve 0 = -3*q - 5*n - 19, -2*q - n - s = -3*n for q.
-3
Let k(a) = -a**3 - a**2 + 4*a - 3. Let l be k(-3). Suppose l*o + 0*o = -0*o. Solve 0 = -4*s + x - 7, 4*s + 3*x = -o*s - 11 for s.
-2
Let c = 0 + 5. Suppose -c*z + x - 4 = 0, 2*x = -5*z - 2*x + 16. Suppose 2*p + 3*p - 15 = z. Solve 4*w - 10 = p*b, -2*w = -6*w - 2*b + 20 for w.
4
Let u be (-7)/21 - (-16)/3. Suppose -u = -4*l - 5. Solve x + l*x + 23 = 5*q, -3*q + 7 = -4*x for x.
2
Suppose -2*g + 4 = -4*u, -15*u = -11*u. Solve -g*p - 3*l - 4 = -l, 2*p + 3*l + 6 = 0 for p.
0
Let g(z) = z**2 - z + 2. Let v be 21/4 + 3/4. Suppose -5*n = i - v, -6 + 0 = -2*n - 4*i. Let q be g(n). Solve -f = 4*s + 7, q*f + 2 - 6 = s for f.
1
Let k(t) = 14*t**2 - 6 - 2*t + 0 - 8 + t**3 + 0*t**3. Let l be k(-14). Solve 3*v - 4*o = 15, -3*v + v + 4*o + l = 0 for v.
1
Suppose 0*m = 2*m - 4. Suppose 13 = 4*l - 7, 4*c + 2*l = 58. Let p be 3/(-1 + 4)*2*c. Solve -p = -5*v - m*z, -3*v = -6*v + 3*z + 6 for v.
4
Suppose 0 = 4*r + 5*b + 2, 5*r = 2*r + 5*b + 16. Suppose -21 = 3*o + h, 5*o - r*h = 4*o - 7. Let d = -6 - o. Solve 0 = 3*n - 2*j - d, -n - j = n - 10 for n.
3
Let h be 3 + (-18)/3*-7. Suppose -4*x - 2*d + 7*d = -h, d - 20 = -5*x. Solve 5*q + 2 - 7 = -x*z, -z + 5*q + 25 = 0 for z.
5
Let w(n) = -n**2 + 6*n - 8. Let t be w(4). Suppose 5*k - 5*b + 10 = t, -5*k - b + 14 = -0*b. Solve -p = -2*j, 3*p = 3*j + k*j + 1 for j.
1
Suppose -l + 5*a = -12 - 16, -4*a = -4*l + 64. Suppose 9*h = l*h - 112. Let w = h + -25. Solve -2*p - 8 = -5*g, w*p + 12 = -4*g + g for g.
0
Let y be ((3 - 5) + (-4)/(-2))/1. Suppose 0*b + 2*b + 4*w = 0, y = 4*b + w. Solve 5*f = -u - 26, 2*u + f + 7 = -b*u for u.
-1
Let h(a) = -5 + 7*a**2 - 2*a**3 + 10*a - 19*a + 5*a + 11*a. Let k be h(4). Solve 0 = s - b + 3, 2*b - k = s - 0*b for s.
1
Let q = -1538 - -1538. Solve 5*w = -2*f - 11 - 1, 2*w - 3*f + 1 = q for w.
-2
Let z be 3/2 + (-1)/(-2). Let y be z/8 - 11/(-4). Suppose -12 = -t - y*t. Solve -o = 5*u - 12, -t*o - 3 = -o + u for o.
-3
Let s(i) = 5*i - 28. Let l be s(14). Let n = l + -33. Let k = n - 9. Solve 3*r - 5*z + 14 = 0, -r + k*z - 3*z = 0 for r.
-3
Let o be (((-105)/6)/7)/((-40)/32). Solve -q = 3*s - 2, -3*s + 4 = -s + o*q for s.
0
Suppose 84*b - 11 = -z + 81*b, -4*b + 2 = -5*z. Solve 2*v - 4*l + 5*l = 6, -5*v = -4*l - z for v.
2
Let i(m) = -6*m - 307. Let n be i(-52). Solve -3*d - 7 = -n*x + 16, -3*x = -2*d - 14 for d.
-1
Let m be 2 + 2 + 1 + -2. Suppose -m*p + p + t + 9 = 0, 3*p - 5*t - 24 = 0. Solve p*x - 1 - 24 = 5*l, -3*x = l - 13 for l.
-2
Suppose -j + 3*o = -4 - 11, 7 = -3*j - 4*o. Suppose 23 - 20 = j*m. Solve 0 = z - 2, -k + 2*z + 0 = -m for k.
5
Suppose 4*f = -6 + 6. Suppose 4*a - 4*w + f = 4, -4*a = 2*w - 22. Solve 0 = -4*l + a*z + 20, 5*l + 0*z + 4*z + 20 = 0 for l.
0
Let t(h) = -3*h**3 + 3*h - 2. Suppose -3*l - 8 = -7*l. Let c be t(l). Let s be (c/(-8))/(15/12). Solve 4*y = 8, -2*z - s*y - 1 = -13 for z.
4
Let k be 10*4/2*1. Suppose -5*t - 13 = -3*j, k = -2*t + 7*t. Let b = -11 + j. Solve -5*l - 16 + 4 = -f, 4*f + 5*l + 2 = b for f.
2
Let v be 3/(((-25)/375)/(3/(-27))). Solve -4*b = -5*l + 8, 0*b + 23 = v*l + b for l.
4
Suppose 18*p - 16*p = 0. Suppose p = -3*u + u + 10. Solve o + 0*o + 10 = 3*l, u*o - 30 = -l for o.
5
Let m be (6 + -6)/((-2)/2). Let t be m - 1*(-12)/3. Let d = t - -1. Solve d*h + 2 = -3*y - 9, 2*h + 8 = -3*y for h.
-1
Let x(w) = w**3 - 2*w**2 + 2*w - 1. Let m be x(2). Suppose m*c = -2 + 2. Let k be 8*((-3)/(-3))/1. Solve -2*j + c*q + 6 = q, k = -4*j + 3*q for j.
1
Let a = -22 + 27. Suppose 0*q = -4*f - 4*q + 16, a*q + 10 = 0. Suppose 3*o = 3*d - 6, -o + 1 = -3*d + 5. Solve -3*b - 4*z - 8 = 0, -b + z = -d + f for b.
-4
Let p be 43 - (-2)/(-1) - -5. Suppose -p = -11*w - 2. Solve -2*c = u + 8, -3*u + 14 = -w*c - 6*u for c.
-5
Let j = -2224 + 2228. Solve -2*h = 5*r + 16, -2*r + j*h = 3*h + 10 for r.
-4
Let i = 7 - 5. Let r be 28/(-7) - -10*1. Let j be r/15 - (-92)/20. Solve i*u - 6*u = s - 1, -j*u = 5*s - 20 for s.
5
Let n(f) = f**2 + 48*f + 254. Let w be n(-6). Solve -3*s = 3, -k + 2 = w*s + 1 for k.
3
Let f = -4 - -4. Suppose j + 4 = -f*j, 2*z + j - 22 = 0. Solve 2*l + 11 + z = 5*y, 26 = -3*l + 5*y for l.
-2
Let l = 115 + -110. Suppose 22 = 2*j + 4*n, 5*j + l = -4*n + 9*n. Solve 14 = -j*t - 2*o, 0 = -7*t + 2*t - o - 14 for t.
-2
Suppose -1220 = -k + 11*k. Let z = k + 127. Solve 2*m - 19 = -z*n - 0*m, -n = 3*m - 9 for n.
3
Suppose -5*u + 34 = -0*h - 3*h, h = -3*u + 26. Solve 2*z - 22 = 5*t - 7, 2*z = -2*t + u for z.
5
Let f = 54 - 52. Let l be 1 - 1*(f - 3)*-1. Solve 3*j + 3 = l, 