. Let u be s(-4). Let f be u/15 - 17/(-3). Let k = -178 - -178. Solve 2*t + 2*p + 16 = -k*t, -2*t + f*p = -5 for t.
-5
Let u be (-14 - -14)/(0 + 2). Suppose k - 4*k + 12 = u. Suppose 2*y - 10 = 5*o, y - 2*o = -4 + 9. Solve 5*x + 5 = 0, 0 = 4*z + x + k*x + y for z.
0
Let k be 0 + (0 - (-5 + 0)). Let n be 12/(-16) - 3/12. Let u(i) = -2*i**3 + i**2 - i - 1. Let p be u(n). Solve 2*x + k*o - p = 4, -3*x - 3*o + 6 = 0 for x.
1
Suppose 4*q = -3*d - 37, -5*q - 2 = -2*d - q. Let t(n) = n**2 + 2*n - 23. Let v be t(d). Solve -4*x = 2*u + v, -2*u + 17 = -5*u - 5*x for u.
-4
Suppose -3*h + 38 = 4*y - 5*h, -h = -5. Solve 16 = -s + 4*j, -5*j + 13 = -y for s.
4
Let j(n) = -n + 7. Let u be j(9). Let l be (-1)/(-2)*u - -11. Suppose -5*o + l = -10. Solve -4*i = o, -7 = -4*z + i - 2 for z.
1
Let o be (2 + 12)*36/42. Suppose -2 = -i + x, -4*x = 4*i - o - 12. Solve 3*m = 4*q + 4 - 13, i*q + 6 = -2*m for m.
-3
Let w be (-1 + 2 + -2)/(94/(-282)). Solve 2*d - 5*y + 2*y - 4 = 0, 0 = w*y for d.
2
Let j(a) = a**3 - 5*a**2 + 3*a + 8. Let d be 0 - 8/(-5 + 3). Let t be j(d). Solve -24 = 5*l + k, l - 2*k = t*l + 13 for l.
-5
Let r = -311 - -340. Solve 5*n = j + j - r, -n - 5 = 0 for j.
2
Let i be ((-12)/10 - (-5)/25) + 4. Solve -i*z + 6*z = 2*a - 10, 0 = 3*a - 15 for z.
0
Suppose 0*j + 2*y + 2 = 4*j, -4*y = 5*j + 4. Suppose 3*k = -j*k - 78. Let i be k/117 + 40/18. Solve -5*r + 3*h = 12, -3*h + 2*h = -i*r - 5 for r.
-3
Suppose 83*c = 80*c + 12. Solve -4*x + 7*m - 45 = 2*m, 4*m = -c*x for x.
-5
Let t = -373 + 403. Solve 0 = -d + 6*d - 25, -3*d = -5*f - t for f.
-3
Let v be 2/2 - (0 + -1). Let k be (20/12)/(-5) + 32/6. Suppose 65 = k*u + 50. Solve -u*a = 0, 5*g + v*a = -11 - 4 for g.
-3
Let p be 10*(21 + 738/(-36)). Suppose -3*k + 8 = -k. Solve -7 = -2*j + 2*l - p*l, 0 = -j - k*l + 6 for j.
2
Let q(u) = u**3 + 10*u**2 + 15*u + 7. Let g be q(-8). Solve 37 = 5*w + 3*a, -w + 3*a = -2*a + g for w.
5
Let k(f) = 3*f + 17. Let v be k(-2). Solve -2*a - 5*n - v = -6, -3*a - 19 = -4*n for a.
-5
Let w(f) = f - 5 + 8*f + 1 + f. Let j be w(4). Suppose -1 = x - j. Solve 3*y - 2*d - 22 = 0, 5*y + 0*d = 3*d + x for y.
4
Let x(t) = -t**2 - t + 6. Let k be x(4). Let v(d) = d + 18. Let r be v(k). Solve -2*p - 3*p - r*c - 29 = 0, p = 5*c for p.
-5
Let g(f) = f**2 - 4*f. Let t be g(4). Let x be (262/16 - 42/112)*(-3)/(-12). Solve 5*u + x*b + 20 = t, -b + 4 = u + 9 for u.
0
Suppose d + 4*a = 44, -4*d = -36*a + 34*a - 104. Solve -3*n - 5 = 4*z + 6, -n + d = -5*z for n.
3
Let t = -128 + 137. Solve 0 = -2*f + 4*f - 4*w + 16, 0 = -3*f + 3*w - t for f.
2
Let b(d) = 16*d - 32. Let i(m) = -4*m + 8. Let p(s) = -2*b(s) - 9*i(s). Let u be p(4). Solve u = -2*r + y, 0 = -2*r + 3*y - 0*y - 8 for r.
-4
Let a be (-18)/(-4)*160/15. Let q = a - 42. Solve n + 4 = 3*i - 0*i, q = 4*i - 2*n for i.
1
Let z(r) = -r**2 + 11*r - 10. Let y be z(10). Let c(g) = -g**3 + 3*g**2 + g + 1. Let l be c(y). Solve -3*k + 3 = -4*t, t + 4*k - 3 - l = 0 for t.
0
Let z(c) = c**2 + c + 2. Let n = 41 + -70. Let i = n - -27. Let a be z(i). Solve r - y + a = -3*r, 0 = 2*r + 5*y + 2 for r.
-1
Suppose 9 + 3 = -n. Let q = n + 14. Let p be -15*q*(-3)/9. Solve 8 = -3*t + 2*o, 3*o = p + 2 for t.
0
Suppose 5*n + 4*d + 1 = 29, 24 = 4*n + 4*d. Let p = n - 11. Let i = 15 + p. Solve -a = -5*b + i, 5*b + 4*a - 20 = -2 for b.
2
Suppose 8 = 3*x + l - 4, -3*l = -3*x. Solve -2*z - 8 = 3*r, x*z - 4 - 3 = 5*r for r.
-2
Let r = 166 + -164. Suppose 3*p - 5 = r*g - 2, 4*g - p - 9 = 0. Suppose 2*j + v = -3 + 10, -4*v - 27 = -3*j. Solve -j*o + g*o + 11 = c, 5*o - 35 = -5*c for c.
3
Let x be 3*((0 - -1) + 0). Suppose x*y + y = 3*h + 9, 4*y - 4*h = 8. Solve -y*q = -12, 2*t + 3*q - 16 = -2*q for t.
-2
Let z be (-2)/(-6) + 10/15 + 2. Solve 4*a = z*w - 22, 5*w - 5*a + 6 = 36 for w.
2
Let w(l) = -l. Let v be (-5 + 3 + 2)/(-1). Let y be w(v). Suppose 5*q = -y*q + 25. Solve -q*c = -5*g - 15, -5*g + 3*c - 21 = 4*c for g.
-4
Let h be 1/(7/((-154)/(-11))). Let m be -2 + (1 - -1*3). Solve -v + 5 = -2*s - h, m = -s + 2*v for s.
-4
Let r(a) = 3*a - 36. Let x be (-2)/(15/17 + -1). Let o be r(x). Solve f - 5*l = 6*f + o, -2*f = l + 5 for f.
-2
Let v be 1644/(-137)*-2*(-10)/(-16). Solve v = 2*m + 3*u - 3, 3*m = -2*u + 17 for m.
3
Let j(g) = -6*g + 93. Let i be j(11). Solve -m = 5*t + 15, -i + 6 = 3*m + 3*t for m.
-5
Let w be (-31 - -25) + -4 + -1. Let i(q) = -q**2 - 12*q - 6. Let z be i(w). Solve 3*a = -c + 14, -z*a - 3 = -4*c + 2 for a.
3
Let d be (64/8)/(5 + -3). Solve 31 = 4*r + 3*f, 5 = -3*f + d*f for r.
4
Suppose d - 1 = -w, -4*d + 8*d + 5 = -w. Suppose -w*a + 31 + 23 = 0. Solve -q = 4*q + 4*c + 11, 2*q + a = -5*c for q.
1
Suppose -5*t + 13 = 5*n - 7, -4*t + 16 = -n. Solve 3*c + 3 = 0, n = -3*r - r + c - 7 for r.
-2
Suppose 8*t = -t + 18. Solve -t*g + 4*h - 3*h = 1, -14 = 3*g - 4*h for g.
2
Let i(k) = -17*k. Let z be i(0). Solve -2*v + 4*v + 3*x + 14 = z, 5*x = -5*v - 30 for v.
-4
Suppose 46*h - 51 = 43*h. Solve 4*k = -2*w - 16, -5*k + 2*k - h = -w for k.
-5
Let f = -549 - -552. Solve 3 = f*o - 6*o, 0 = -2*i - o - 7 for i.
-3
Suppose -2 = -1776*s + 1775*s. Solve p - 20 = -2*x - 3*x, -5*x + 20 = -s*p for p.
0
Suppose 5*v = -7*v + 36. Solve 5*s - 5 = -2*x, 13 + 2 = -v*x for s.
3
Let u be 2/7 + 19/7. Let d(b) = 8*b + 0 + 8 + 6 - 15. Let w be d(u). Solve 0 = -3*k - 5*j - 37, 0*k + 2*k + 3*j = -w for k.
-4
Suppose 2*o + 6 = 2. Let p = o + 5. Solve p*x = l - 14 + 2, l - 15 = 4*x for l.
3
Suppose -2*r + 40 = 3*q, -4*q - 3*r = r - 60. Solve -3*t = -a + 2, a - 2*t + q = -5*t for a.
-4
Suppose -46 = 17*x - 148. Solve 0 = -4*y - 4*a - 28, x*y = y + a - 17 for y.
-4
Let d(v) = -v - 5. Let b be d(-8). Let u(p) = -p + 5. Let s be u(3). Solve 8 + 3 = n + s*m, -b*n + m = -5 for n.
3
Suppose -4 + 76 = -8*c. Let q(v) = -v**3 + 9*v**2 - 7*v + 3. Let n be q(8). Let r = n + c. Solve 0*f + 1 = -f, 12 = 5*t - r*f for t.
2
Let g(n) = -n**2 - 3*n + 9. Let w = -14 - -10. Let t be g(w). Solve 5*q + 15 = -t*u, 4*u - q + 1 = u for u.
-1
Let x(q) = q**2 + 12*q + 29. Let l be x(-3). Solve -6 = -2*c - 2*c + 5*f, -c + 3*f = l for c.
4
Let s(q) = q**3 + q**2 - q + 32. Let r be s(0). Let b = -175 - -147. Let t = b + r. Solve 20 = t*h, -3*h = j - 6 - 5 for j.
-4
Let l(a) = a - 33. Let u be l(0). Let x(s) = -s**2 - 13*s - 3. Let g be x(-15). Let r = g - u. Solve 3*z + 3 = -j - 1, r = -5*j + 25 for z.
-3
Let p = 0 - -2. Let c = p + 2. Suppose 0*z = -c*z. Solve z = 3*t + 5*n - 2*n - 3, -3*t + 3*n = -21 for t.
4
Suppose -5*j + c = -3*j - 19, -3*c + 53 = 4*j. Suppose -5*v = -p + 7, -5*p + 0 = -2*v + j. Let l = 5 + v. Solve 5*d - 5*a = l*d + 15, 12 = 4*d - 4*a for d.
0
Let o(l) = l**3 - 18*l**2 + l - 16. Let w be o(18). Solve -2*p + 5*f = 1 - 10, -1 = w*p + 5*f for p.
2
Suppose 3 = -4*m + 7. Solve 5*h + 2*n = 11, n - m + 9 = 2*h for h.
3
Suppose 4*p + 16 = 4*h + 4, -4*h - 2*p - 18 = 0. Let b be (-2)/(h/8 - 18/24). Solve 0*c = -b*d + 5*c - 25, -3*c = 5*d - 15 for d.
0
Let g be (3 + 301/(-91))*13/(-2). Solve 17 = 5*m - g*l, -l = -6*m + 7*m - 9 for m.
5
Let d be 10 + (-765)/136 + 6/(-16). Suppose -z - 1 = -6. Solve -41 = z*m - 4*c - 0*c, c = d for m.
-5
Let d(a) = 12*a**2 - 10*a + 1. Let j be d(1). Solve -3*y - 1 = -j*r + 8, 5*y + 10 = 4*r for r.
5
Let c = 5 - 0. Suppose 0 = 3*d + c*h - 7, 0*d + d + 2*h - 2 = 0. Solve 19 = -2*u + v + d*v, -2*u - 14 = -4*v for u.
3
Let v = 385 + -382. Solve -2*c + 5*i + 8 = 0, v*c + 2*c - 1 = 3*i for c.
-1
Let k = 755 + -496. Let x be k/91 - 4/(-26). Let y be 16/x + 2/(-6). Solve y*p = -2*r + 3, -2*p + 7*r - 22 = 2*r for p.
-1
Suppose 2*p + 3*v - 32 + 9 = 0, -2*v + 10 = 0. Suppose 2*w = 3*w - b - 4, -p*w + 14 = -3*b. Solve -5*m + w*q - 1 = -q, 0 = -2*m + q - 1 for m.
-2
Let r(c) be the second derivative of c**4/12 + 11*c**3/3 + 25*c**2/2 - 27*c. Let n be r(-21). Solve -6*p = -3*x - p - 13, -28 = -2*x - n*p for x.
4
Let k = -49 + 102. Suppose 49*c = k*c - 12. Solve -i - 4 = -c*x + 1, 0 = 3*i - 3 for x.
2
Let m(a) = 4*a. Let u be m(-8). Let p = -80 - -85. Let o be 40/u*(1 - p). Solve n - 1 = -k - 0*n, o*n - 3 = -4*k for k.
2
Suppose 26 - 106 = 4*h. Let d = -15 - h. Let q = 6 + -6. Solve q*t + t = 2*k + 1, 0 = 2*k - d*t + 13 for k.
1
Let v(w) = w**2 + 5*w - 5. Let q be v(-8). Let r = 20 - q. Solve -u + r = -3*x, 3 = -2*u - 4*x - 5 for u.
-2
Suppose -170*i - 60 = -180*i. Solve -t + 3*d +