). Let d(n) = 5*n - 3 + 8 - n - 3. Let i be d(x). Solve 3*t - i = -5*a, 2*a + 12 = -2*t + 4*t for a.
-1
Let m = -110 + 114. Let i(p) = p**3 + 5*p**2 - 6*p + 1. Let w be i(-6). Suppose 3*h + 8 = 7*h. Solve -4*n = -m*q, -w = h*q - 3 for n.
1
Let o(m) = 189*m + 5. Let c be o(0). Solve c*i = 2*r + 10, 2*i - 5*i = 0 for r.
-5
Suppose 20 = 4*a - c, 2*a - c + 3*c - 10 = 0. Suppose -3*z + 18 = -4*w, -a*w = 5*z + 3 + 2. Solve 4*d - 2*r - 10 - 8 = 0, z*d - 7 = -r for d.
4
Let t = -37 + 37. Suppose 36 = 4*m + g - 3, t = -4*m + 3*g + 43. Solve 5*y = 15, -4*y - y + m = -5*b for b.
1
Suppose 0*b + 4*w = b - 35, -3*b = 3*w - 30. Suppose 35 = 5*v + b. Let l be 0/3*v/8. Solve -4*p + 9*p - 11 = -h, 4*p + 3*h = l for p.
3
Let u be 21*(-4)/12 + 10. Solve -n = -o - 0*o, 10 = u*o - n for o.
5
Suppose -20*n + 107 + 13 = 0. Solve -2*o + 0*o = -s - 3, 0 = -4*s + 2*o + n for s.
3
Let j(i) = i**3 - 41*i**2 - 44*i + 88. Let q be j(42). Solve -5*a + 6 = 4*c - 2*a, -q*c = -4*a + 8 for c.
0
Let k = -549 + 551. Solve -r + 5 = 0, 4*r - 14 = -c + k*r for c.
4
Let i = 928 + -900. Solve 5*x - h + i = 0, 7*h - 2*h = -3*x for x.
-5
Let o = 717 - 710. Solve 0 = -o*y + 12*y + z - 30, 0 = -4*y + z + 15 for y.
5
Suppose z = -4*n - 8, 3*n - 7*n - 8 = -3*z. Suppose z*f = -3*f + 12. Suppose 22 = -f*w + 58. Solve 4*o + 8 = 0, -4*c + w = -c - 3*o for c.
1
Let l = 0 - -4. Suppose 8*d + 45 = l*m + 3*d, 2*m + 2*d - 36 = 0. Solve y + k - m = 6*y, -4*y = -4*k + 28 for y.
-2
Let a = -13 + 16. Let c be -3 + 7 - (3 + -9). Solve -4*r - 2*g = 28, -4*r + a*g = -2 + c for r.
-5
Let z be 9/12 + (-11)/4. Let v(o) = o**2 - o - 2. Let d be v(z). Let q = 307 - 302. Solve -q*l + 1 = d*n - 4, -3*l - 34 = -5*n for n.
5
Suppose -5*b - 5*t - 15 = 0, 0 = 5*b - 3*t + t - 6. Solve -z - 5*f + 23 = 0, f = -b*z - 2*z + 10 for z.
3
Let t = 23 - 21. Suppose 28 = -t*v - 4*j, -30 = 3*v - j - 9. Let l = v + 10. Solve -5*u - m = 2, 3*m = l*u + 7*m + 8 for u.
0
Let t be 160/(-112)*(-7)/1. Suppose -11*y + t*y + 18 = 0. Let v = 11 + y. Solve -q + 12 = 6*m - 4*m, -2*q - 5*m + v = 0 for q.
2
Let u = -5 + 8. Solve -3*l - 10 = -3*g - 2*g, u*l = -g + 2 for g.
2
Let x = 58 - 52. Solve -2*n + 3*n - 5*j = -x, n + 2*j - 1 = 0 for n.
-1
Suppose 4*d - 10 = -2*n, -d + 5 = 2*n + 10. Solve -d*y + 8 = -2*h - 2*y, y = 3*h + 5 for h.
-1
Let d = 2296 + -2293. Solve 3 = -d*h - m, 0 = -4*h + 8*h + 5*m - 7 for h.
-2
Let n(q) = -7*q**2 - 5*q - 2. Let z be n(2). Let y = z + 40. Solve -4*v = 2*o + 4, -v = -5*o - y*o + 12 for v.
-2
Let x be 108/30 - 16/(-40). Solve 0 = -v + a + 3, -v = x*v - a + 5 for v.
-2
Suppose 3*p - p = 3*r + 10, -2*r + 20 = 4*p. Solve 4*c - 5*j = -21 - 16, p*c + 10 = -j for c.
-3
Let u(o) = -o + 36. Let z be u(33). Solve v = z, 2*x + 9 = -2*x - v for x.
-3
Suppose 0 = -3*d - 0*d + 12. Suppose 18*b + 1088 = 14*b. Let i be (-4)/(-3) + b/(-12). Solve -5*n = -5*g + 35, g + 2*g = d*n + i for n.
-3
Suppose -2*j + 0*f = -5*f + 24, j + 5*f - 3 = 0. Let c(x) = -x**3 - 7*x**2 + 12. Let m be c(j). Solve v + 6 = -2*a, -4*a - m - 6 = -v for v.
2
Let d(f) = 5*f + 132. Let a be d(-25). Solve 4*h - a*h + 15 = 0, 4*s = 4*h - 36 for s.
-4
Suppose 5*w - s - 5 = 0, -4*w - 1 = 3*s + 14. Let i be 3 - w - (4 + 12). Let d = 17 + i. Solve -2*g + r = 19 - 6, -r = d*g + 11 for g.
-4
Suppose -j - 2*m + 2 = -5, 0 = -2*j - m + 5. Let v = j + -1. Suppose 4*p - 14 + 2 = v. Solve l - 2*o - 22 = p*o, -o = 2*l for l.
2
Suppose 0 = 5*p + g - 16, 6*p = 5*p + 3*g. Solve 3*b = -4*z - 19, 2*z + p*z - 3*b + 17 = 0 for z.
-4
Suppose -7*s = -10*s + 15. Suppose 5 = 4*m + s. Solve -k = 3*x + 8, 8 = -m*x - 2*x for k.
4
Suppose -3*c - 5*u - 26 = -7, c - u - 7 = 0. Suppose 0 = -3*j + 4*b - 0*b - 3, 6 = 5*j - 3*b. Suppose 2 = -d + j*d. Solve 5 = c*v - p, v + 5*p + d = -2 for v.
2
Let f = -12 - -24. Suppose 14 = 3*k - 1. Let u(v) = -v**3 - 29*v**2 + 24*v - 174. Let j be u(-30). Solve r = 3*m + f, r - j*r = k*m for m.
-3
Let n be (-2)/(-1) - (-9)/3. Let c be (-10)/(-4)*(-4)/n. Let o(b) = -b**2 - 5*b - 2. Let x be o(c). Solve -j - 13 = x*w, 0 = -w + j + j - 10 for w.
-4
Let j be (2/(-6)*3)/2*0. Suppose 3*c - r + j = 13, 23 = 5*c - 2*r. Solve w - u - 1 = 2*w, 3*u + c = 0 for w.
0
Let j(w) = -w**2 + 12*w - 22. Let v be j(8). Solve 3*c + v = 4*p, -p + 4*p - 20 = -4*c for p.
4
Suppose 0 = -18*y + 12*y - 66. Let h = 14 + y. Solve -10 = -5*d + 3*u, -3*d + 1 = h*u - 5 for d.
2
Let j = -11 + 8. Let s(h) be the first derivative of -h**2/2 - 37. Let n be s(j). Solve -n*r - 5*x + 16 = 0, 4*x - 3*x - 8 = r for r.
-3
Let q(y) = 34*y - 2. Let i(v) = -2*v + 5. Let b be i(2). Let r be q(b). Let o = r - -13. Solve 5*x = -5*k + o, 6*x = -3*k + x + 37 for k.
4
Let f(v) = -3*v + 3. Let p be f(1). Let m be p/((-16)/4 + 3). Solve 5*u - 3*s + 11 + 4 = m, -2*s + 10 = 2*u for u.
0
Let z(w) = 59*w + 181. Let i be z(-3). Solve 0 = -i*o + g - 2*g + 9, -5*o + 9 = 2*g for o.
3
Let m = 1155 - 1144. Solve -4*x - 19 = -6*x - 5*b, -m = -3*x - 4*b for x.
-3
Let o be -12*(25/15 - 2). Solve 0 = -4*d + o*s + 16, -8*d - 2*s = -5*d - 17 for d.
5
Let n = -1026 - -1029. Solve -n*v + 0*v + 14 = y, -3*y + 6 = 0 for v.
4
Let y be 34/(-3)*(-3)/1. Let k = -16 + y. Suppose -2*i + 3*i = k. Solve -r + v = 5, -3*r - i = -2*v - 3 for r.
-5
Let j be (-45 - -55)*2/4. Solve 0 = -j*g + 5*k, -k = 5*g + k + 7 for g.
-1
Let j be (-181)/(-5) + 4/(-20). Suppose 0*n = -4*n - j. Let y be (-114)/(-9) - (-6)/n. Solve -2*c + 3*s + 3 + 12 = 0, -c - 5*s - y = 0 for c.
3
Let h(f) = -17*f + 19. Let b be h(-6). Let c = -111 + b. Solve 8 + 17 = 3*n + 5*g, 2*g - c = -4*n for n.
0
Let q(h) = -6*h - 2. Suppose -3*b - z = -14, 5*b - 22 = -2*z - z. Let w = b - 6. Let t be q(w). Solve -t*y = -5*o - 4, -5*o + o - 16 = 0 for y.
-4
Let w(l) = -l**3 - 12*l**2 - 13*l - 20. Let v be w(-11). Let k be 5 - 6*4/12. Solve -r = -v*n + 6, -k*r + 4*n = 7*n for r.
-2
Suppose -632*w - 42 = -653*w. Solve w*m - 4*z + 16 = 0, 0 = 5*m + 5*z - z - 16 for m.
0
Let b be (0 + 0)*(30 + -31). Solve b = -4*q + 3*q - 4*h - 4, -2*q - 5*h = 2 for q.
4
Suppose -42*c - 192 = -58*c. Let x(f) = 5*f - 1. Let y be x(1). Solve 4 = u + y*u + 3*l, 3*u - 3*l = c for u.
2
Let k(f) = 2*f + 13 - 2*f - 2 - f. Let l be k(5). Solve 2*m = -2*i - i - 9, -3*i - 3*m - l = 0 for i.
-5
Suppose -4*i = 3*u, 5*i + u - 8 = 3. Suppose -120*f = -119*f - 17. Suppose 0 = -13*v + f*v. Solve i*a - m = 6, -3*m = -2*a + 4 - v for a.
2
Suppose 53*w = 56*w - 3. Suppose -y + 7 = x - w, -31 = -5*x - 2*y. Solve 0 = 3*d - 3*n - 27, x*d - 20 = 2*n + 10 for d.
4
Let h(x) = x**3 - 15*x**2 + 34*x + 11. Let o be h(3). Solve -d - 6 = r - 3*d, o*r = 5*d - 10 for r.
2
Let y(o) = -5*o - 10. Let r(z) = 11*z + 21. Let d(b) = -6*r(b) - 13*y(b). Let f = -8 + 3. Let q be d(f). Solve q = -3*a - 2*m, -a - 2*a + 5*m = 9 for a.
-3
Let c(w) = w + 81. Let z be c(-72). Solve -12*s + z = -10*s + b, -s + 4*b - 18 = 0 for s.
2
Let x(m) = -m**2 - 11*m - 14. Let q = -71 + 65. Let i be x(q). Solve -13 = 2*b - p, 2*b - 5*p - i = -49 for b.
-4
Suppose -4*z = -5*l - 5*z + 121, 0 = 5*l + 4*z - 124. Let f = -21 + l. Let h be -2*((-6)/(-4) + -3). Solve i = 2*w - 2 - 0, -f*i - h*w = -21 for i.
4
Let n be 36/(-126) - 23/(-7). Solve -5*v = n*k + 2*k + 35, -7 = 4*k - 3*v for k.
-4
Suppose 0 = -2*p - 4*t - 22, -3*p - 2*p = 4*t + 55. Let b = p + -4. Let w = 19 + b. Solve 4*f - x + 8 = -3*x, -3*f - 11 = w*x for f.
-1
Suppose -2*z + 0*z + 23 = q, -10 = -2*q. Let h be 39/2*126/27. Let x be (-74)/(-14) - 26/h. Solve -x*f = 25, -m + z = -4*m - 3*f for m.
2
Let g(a) = a - 2*a - 10 + 2*a. Let z be g(13). Suppose -z*p = -5*p + 4. Solve 4*j = p*l - 28, 5 = -5*l - 5*j - 0 for l.
4
Let p(f) = -12*f**3 - 1. Let a be p(-1). Let h = -3 + a. Solve 5*m + 4*x = m, 2*x = -4*m + h for m.
4
Suppose 0 = 5*k - v - 61, 3*v + 2 + 1 = 0. Solve 2*y + k = -3*y + 2*i, 5*y + 32 = -3*i for y.
-4
Suppose u - 8 = -23. Let w = u - -17. Suppose -2*l - 4*s = -64, w*l = -2*l + 5*s + 63. Solve -4*n - l = -d, 0 = -d - d + 3*n + 19 for d.
2
Let i = 182 + -180. Solve -3*v = 2*t + 5, -5*t = -3*v + i*v - 30 for t.
5
Let o(a) = a**2 - a - 17. Let j be o(8). Let n = -34 + j. Solve 5*r + 10 = m, -5*m - n*r = 8 + 2 for m.
0
Let w(r) = r**2 + 15*r + 2 + 19*r - 33*r. Let z be w(-2). Solve -3*c = 2*h + 10, 0*c = -z*c - 4*h - 12 for c.
-4
Suppose -10*p + 9*p + 6 = 0. Solve -5*i = 4*w + 17, 0 = 3*w - p*i + 