. Let s = -8 - m. Suppose 0 = 2*c + s*u - 0*u - 2, 0 = 4*c - 4*u - 16. Solve -5*t - 20 = -2*o + o, -4*o + c*t + 29 = 0 for o.
5
Suppose -3*y + 2*k - 3*k - 5 = 0, 4*y - 4 = 4*k. Let w be (-5 - -2) + (-8)/y. Solve 3*p + w*r = 16, 4*r = -p - 3*p + 16 for p.
2
Suppose -2*o + 6*o = 12. Let k(m) = 15 + 3*m + m - o*m. Let d be k(-10). Solve n = b, -d*n = -4*n - 3*b + 6 for n.
3
Let d be (1 - 10)/3*-1. Solve 0 = 2*s - 5*t + d, -2*s + 3*t + t = 4 for s.
-4
Let n(c) = -c - 4. Let y be n(-6). Suppose 2*i + 4 = 0, i - 3 = -3*p - y*i. Solve 2*j = 3*m - j - 6, -2 = m + p*j for m.
1
Let g(v) = 2*v - 5. Let y be g(5). Suppose -4*s + 3 - 4 = -3*l, 3*s = 5*l - 9. Solve -l*c - 10 = i, -y*c - 6*i - 5 = -2*i for c.
-5
Let u be 3*1*(-44)/(-66). Solve -u = 4*h - 3*z - 0, -7 = -5*h - z for h.
1
Let f(i) = -i**3 + 4*i**2 + i - 4. Let g be f(4). Let w(k) = g*k - 5*k + 3*k. Let l be w(-1). Solve -2*u = -j + 2*u - 4, -4*u + 16 = l*j for j.
4
Let r(p) = 2*p - 5. Let o be r(4). Let v(h) = h**2 - h - 2. Let u be v(o). Solve -u*c + 9 = 5*z, -3*c + 18 = -5*c + 2*z for c.
-4
Suppose -2*o = -3*o + 4*t - 12, t = 4*o - 12. Solve o*m = -d + 9 + 2, 2 = 4*m - 2*d for m.
2
Let c(o) = -o + 25. Let s be c(13). Solve 4*j = j + 3*r - 18, 3*r - s = -3*j for j.
-1
Suppose 0 = 4*g - 8 - 8. Suppose g*l + j = -13, -2*l - 3*l - 5*j = 20. Let d = l - -6. Solve m + 7 + 0 = -q, d*q - 7 = 4*m for q.
-3
Suppose 3*g + 0 - 9 = 0. Suppose o = -3*o + 8. Solve 2*w - 3*m + 1 = 0, -g*m + 6*m + o = 5*w for w.
1
Let d be 6/4*16/12. Suppose 2*c + 4 = -2*c. Let r = d - c. Solve 2*q = r*p + 6*q - 3, 4*q + 4 = 4*p for p.
1
Suppose -3 = -s + 18. Solve q - 4*k = s, 5*q + 0*k = -k for q.
1
Suppose -3*m = 2*z + 6, -2*z - 2*m - 2 = -0*z. Solve 2*i + z*c + 3 + 3 = 0, 2*i - 4*c - 22 = 0 for i.
3
Suppose 2*x + 13 = h, 0 = h - 3*h - 2*x + 14. Let q = h - 5. Solve -3*r + q = -4*t, -t + 22 = -3*r + 8*r for t.
2
Suppose -5*j + 14 = -3*j. Let p = -5 + j. Solve -24 = 4*r - p*a, 5*a - 16 - 8 = r for r.
-4
Suppose c - 4 = -2*v + 3*v, 4*v - c + 1 = 0. Let s(q) = 36*q. Let j be s(v). Solve 4*m - j = -5*d, 3*d - 8*d + 40 = 5*m for m.
4
Let j be ((-2)/(-4) + -2)*-2. Suppose -7*r + 15 = -3*r - v, -j*r - v + 13 = 0. Let w be (2/r)/(3/12). Solve 4*z = -20, 2*z + w + 8 = -y for y.
0
Suppose 0 = -y + 4*s - s + 5, 3*s = 0. Solve 5*u = 4*z + 27 - 6, u + 19 = -y*z for u.
1
Let t(y) = y**2 + 7*y + 1. Let l be t(-7). Suppose 2*n + 10 = 5*n - 5*a, -n + l = -4*a. Solve -5*g = -3*m - 6 - 1, 4*m + n*g + 21 = 0 for m.
-4
Let s(p) = p + 8. Let x be s(-6). Solve 5*n + 10 = -4*t - 0*t, 3*t - 4 = x*n for t.
0
Let g = -34 - -51. Solve 3*l + m = g, -21 = -3*l - 4*m + m for l.
5
Let b(c) = 2*c**2 + 4*c + 2. Let f be b(-2). Solve 0 = q - a, -4*q + 5*q - 2 = f*a for q.
-2
Let c = -1 + 1. Suppose 4*m - 3*r = 1, -m = 2*m - r - 7. Solve -3*u + 20 = m*k, 4*k = -c*u - u + 12 for u.
4
Suppose -4*f + 2*p + 6 + 4 = 0, -p = -f + 5. Suppose 3*z - 1 - 5 = f. Solve -5*q - 16 = 2*b, -4*q = -2*b - z*b - 4 for q.
-2
Suppose -1 = -2*t + 1. Let o be t + 1 + -4 + 5. Let c = -13 - -18. Solve c*v - 15 = z, v - 5*z = o*v - 33 for v.
4
Let b be 1/(-2) + 4/8. Suppose b = g - 8 + 3. Let h = 14 + -4. Solve 0 = -i - g*v + h, 6*i = i - 2*v - 19 for i.
-5
Suppose 2*z = 26 - 16. Solve z*a - v + 0*v = 16, -5*a - v = -14 for a.
3
Suppose 0 = 4*m + 14 + 6. Let h be 3 - (m + 3)/1. Solve -2*f + h + 0 = 3*v, 4*v - 9 = -5*f for f.
1
Suppose -5*d + 6 = -4*g - 14, -5*g = -5*d + 25. Let f = g - -7. Solve f*v + 2*a + 18 = 0, 2*a + 14 = -v - 0*v for v.
-4
Let z(m) = 5*m**2 + m - 1. Let a(q) = q**2 - 2*q - 1. Let n be a(3). Let f be z(n). Solve 5*v + f = -3*b, -2*b - 4 = -6*b + 4*v for b.
-2
Suppose u - 96 = -4*v, 2*u + 2*u = -2*v + 48. Let p = v - 16. Suppose 0 - p = -2*y. Solve k + m + 6 = -0*m, -2*k + y*m = -6 for k.
-3
Let j be (-2)/6*-2*3. Let g(p) be the first derivative of -7*p**4 - p**2/2 - p - 3. Let n be g(-1). Solve -x = 3*v - j*x + 2, -4*v - 5*x = n for v.
-2
Let a(n) = -n**2 + 9*n + 27. Let i be a(11). Solve j - i = 2*j, 18 = w - 4*j for w.
-2
Let l = -3 + 5. Suppose u = 3*a + 13, l*a - 6 = -u + 2. Solve 4*m = 2*m - 2*s - u, 11 = m - 3*s for m.
-1
Let a(d) = 6*d - 1. Let z be a(1). Suppose -v = 4*j - 8, -5*v + j + 8 = z*j. Solve 4*t - 14 = 3*o, v = 4*o + t + 3 - 16 for o.
2
Let n = -10 - -6. Let p = 8 + n. Let y = -10 - -10. Solve 4*o + 2*r - p = 0, -o + y*r - 8 = -4*r for o.
0
Let v = 143 - 143. Solve -j - 20 = -3*m, -m + 2*j = -v*m - 15 for m.
5
Suppose 0 = -3*o + 7*o - 40. Suppose -o = -3*z + 5. Let t = 10 + -6. Solve 0 = z*s + t*w + 8, -s + 2*s - w = 2 for s.
0
Suppose -16 = -j - 3*j. Let c(y) = -y**2 + 9*y - 10. Suppose 8 = l + 1. Let p be c(l). Solve -f = -b - p, j*b = 5*f + b - 20 for f.
4
Let x(k) = -k**2 + 6 - 1 - 3*k**3 - 4. Let g be x(-1). Solve -2*l = -g*y + 7, -5*l - 6 = -4*y + 8*y for l.
-2
Suppose 2*z + 2 - 42 = 0. Solve h + 15 = -0*h - 4*w, 0 = 4*h - 4*w - z for h.
1
Suppose 3*w - 4*c + 3 = 0, 0 = 3*w - 4*c + c. Suppose 0 = -w*t + 2 + 4. Solve x + 8 + 4 = t*n, -4*x + n - 13 = 0 for x.
-2
Let c(x) = x. Let j be c(-1). Let t = j + 1. Solve 0 = z - f - 4, -3*z = -t*f + 4*f - 12 for z.
4
Let a = 0 + 2. Let g = -11 - -17. Suppose -d = d - g. Solve -w + 3 + a = m, 3*w - d = 0 for m.
4
Suppose -7*b - 8 = -5*b. Let n be ((-2)/(-4))/(b/(-16)). Suppose 10 = 2*f - 2*i, 3*f - n*i - 19 = -0*i. Solve -4*z + 5*z - f = -2*y, 0 = y - 2*z - 7 for y.
5
Let l = 61 - 47. Suppose -4*b - 40 = -6*b. Solve -2*d - b = -4*y, -2*d = 2*y + 3*d + l for y.
3
Let r be 8/10*(-10)/(-4). Let u be 38/10 + r/10. Solve u*v + 0*n - 3*n + 8 = 0, -v - 15 = -4*n for v.
1
Suppose -12*z + 50 = -2*z. Solve -g + l - 1 = 0, 3*g + l - 2*l = z for g.
3
Suppose 1 = a - 4. Solve 6*t - t = a*s - 5, s + 3*t + 19 = 0 for s.
-4
Let u = -1 - -7. Let o be 6/u + 2/2. Suppose 52 = o*w + 4*v + 10, -3*w - 5*v + 59 = 0. Solve 0 = -3*p - c + w, 4*p = 4*c - 5*c + 17 for p.
4
Let y = 9 + -5. Let m be (-20)/6*(-6)/y. Solve -m*b - 21 = -2*v + 14, 2*b = -4*v + 10 for b.
-5
Let x(i) = i. Let b = 2 + 2. Suppose b*s = -s. Let a be x(s). Solve 8 = p - 3*p - 2*r, -3*p + 3*r = a for p.
-2
Suppose 5*o - 2*r = -0*r + 18, 4*o - 2*r = 14. Let h be (2 + (-14)/5)*-5. Solve -h*y - 17 = -5*w, -o*w + y - 5*y = 8 for w.
1
Let h(k) = -2*k - 1. Let p be h(-2). Suppose 2*u - p*x = 8, -u = -0*u - x - 4. Solve -4*w + 4 = u*v, -5 = 3*v + w + 4*w for v.
5
Suppose 3*g + 3*b = 30, -4*g + 4*b = 3*b - 15. Solve r = 2*r + g*d + 29, 0 = -2*r - 3*d - 23 for r.
-4
Suppose 5*k = 9 + 6. Suppose k*w = w. Let z be 0*2/(-6) + w. Solve 2*x - 4*n = x - 1, -n = z for x.
-1
Let s = 1 - 7. Let p be ((-10)/s)/((-1)/(-3)). Solve -2*i + 2 = -4*k, -1 = -k - 3*i - p for k.
-1
Let j be -6*(2 + (-5)/2). Let b be (0*3/6)/(-2). Suppose h + 0*h + 3*o - 18 = 0, b = -3*h + 2*o - 1. Solve 0*z - 3 = h*r + 2*z, j*z = 3*r + 18 for r.
-3
Suppose q - 6 = 7. Solve -6*y + 5*w - q = -3*y, -2*w = 5*y + 1 for y.
-1
Suppose -3*f + f = -6. Solve 4*s + 2*p + 18 = 0, 3*s = p - 4 + f for s.
-2
Suppose -11*m = -51 - 114. Solve l = z, l = 2*z + 4*l + m for z.
-3
Let x be ((-6)/(-4))/(6/160). Suppose g - 6*g = -x. Solve 5*r - 30 = -5*u, -r = -0*r + 2*u - g for r.
4
Let m(q) = q**2 + 7*q + 14. Let j be m(-4). Solve d - 4 = -y, 3*y + j*d - 5*d = 0 for y.
2
Suppose 3*m = 4*n + 6, -10 = -5*m - 0*m + n. Let y be -2 + (-6)/(-2) + m. Let r(x) = -x + 5. Let j be r(3). Solve 4*o = 5*t - 12, -y*t = -j*o - 2*t for o.
2
Let f(w) = -11*w - 41. Let d be f(-4). Solve 0 = -d*b + 4*p + 4, -b + p + 16 = -4*b for b.
-4
Let z be 4/(-6) - (-102)/18. Suppose z*s = 12 + 8. Solve -s*q - 2*d - 13 = 3, -3*d = -q + 10 for q.
-2
Let g = 31 + -15. Suppose g - 4 = 3*b. Solve -5*h = -o - 18, 0 = -4*o - 3*h + 4*h + b for o.
2
Suppose -2*q = -4*g + 15 + 5, -2*g + 10 = -5*q. Suppose 0*v = -g*v + 25. Solve v*l = 5*j - 35, -2*j - l = -0*l + 1 for j.
2
Suppose 0 = 4*b + 3*r - 35, -2*b = r - 3*r. Suppose -5*c + 2*m = 4*m - 24, -3*c + 22 = b*m. Suppose l = -3*l + 8. Solve -c*k - 13 = h, k + h - 7 = l*k for k.
-4
Let p be 9/15 + (-6)/(-15). Solve 4*w = -v + p, 3*v = 7*v - 4*w + 16 for v.
-3
Suppose 0 = -0*z - 6*z + 12. Solve -2*v + 10 = -0, 0 = -3*l + z*v + 2 for l.
4
Let y(z) = z**3 - z**2 - z + 5. Let l be y(0). Solve -l*q = -3*q, 3*r - 2*q + 3 = 0 for r.
-1
Let k be ((-1)/3)/((-12)/(-36))*-25. Solve g - 10 = -2*t, 0*g = -4*g - 3*t + k 