 Let u be ((-2)/(-10))/(31/1550). Solve t*w = -5*q + 6*w + u, -q - w = -2 for q.
2
Let w(y) = 2 - 27*y + 28*y + 2. Let u be 51/68 + (-1)/(-4). Let p be w(u). Solve p*x - 3*h = 35, -2*h + 0*h = x + 6 for x.
4
Suppose 10*f + 11*f - 105 = 0. Solve -2*u + 7 + 3 = -f*v, 0 = -5*v + 4*u for v.
-4
Let g = -36 + 38. Suppose -2*o - 3*r = -0*r - 6, g*o = -4*r + 6. Solve -3*q - 18 = -o*t, 2*q + 5 + 3 = -2*t for t.
1
Let s(c) = -c**3 - 11*c**2 + c + 11. Let j be s(-11). Let g(a) = -10*a + 52. Let u be g(5). Solve u = -4*q - x - j, 4*x + 8 = 0 for q.
0
Let u = 147 + -134. Let z = 33 + -22. Let m = u - z. Solve t - 3*x = -2, -3*t + 3*x - m = -8 for t.
4
Let v(x) = 0 + 0 - 8*x**2 + 15*x**2 - 1 + 4*x + 2*x**3. Let s be v(-2). Solve 5*y - 25 = 0, 3*q + 0*q + s*y = 15 for q.
0
Let j = 1723 - 1719. Solve -4*h - 17 - 16 = 5*m, -5*h = -j*m - 10 for m.
-5
Suppose -12 = m - 4*h - 2, 5*m - 22 = 2*h. Let t be 6/3 + 1/1. Let c(v) = v**2 + 10*v + 23. Let u be c(-3). Solve t*i - 2 = -a + 1, -u*a = -i - m for a.
3
Suppose 93 = 3*j - 27. Let m be j/(-70) + 144/7. Solve -3*b = -4*a - m, -10 = -6*b + 4*b + a for b.
4
Let g(l) = l**3 - 5*l**2 - 3*l - 14. Let u be g(6). Suppose -u*h = -1 - 19. Solve 2*y - 33 = 5*o, o + h = -0 for y.
4
Let k = -30 + 34. Solve -4*q + 5*q - 1 = -k*w, -2*w - 2 = -2*q for w.
0
Suppose -24*n + 336 = -0*n. Solve -4*z = -z + h - n, -5*z + 30 = -5*h for z.
5
Let z = 165 + -165. Solve z*m = 5*m + 5*k + 10, -2*m + 3*k = -21 for m.
3
Let o(v) = 2*v + 3. Suppose -5*w - 2*q + 8 = 0, 0 + 16 = 3*w + 4*q. Let d be o(w). Solve -d*s - f - 31 = 3*f, 5*s + 41 = -4*f for s.
-5
Suppose -1 = 27*r - 1. Solve 0 = f - 5*y - 27, 4*f = -r*f + y + 13 for f.
2
Suppose 0 = -2*o - 10*z + 7*z + 13, 5*z = 15. Solve -4*x + 8 = -o*v, 7 = -v + 5*x - 9 for v.
4
Let p(s) be the third derivative of s**4/24 - 2*s**2. Let w be p(-1). Let q(o) = 2*o**2 + 1. Let r be q(w). Solve -8 = -5*c + 5*f - 3, r*c + 3*f = 21 for c.
4
Suppose 0 = -4*r + 8*r - y - 22, 0 = 4*y + 8. Suppose -2*a + r*s = -20, -s + 4*s + 12 = 0. Solve o + 0*o + 3 = a, 3 = -3*w + o for w.
-2
Let t = 12 - 11. Suppose -3*q - t = -2*q. Let k be (q + -12)/(1/(-1)). Solve -4*b + 10 = -g, 2*b + 2*g - k = -b for b.
3
Suppose -9 = v + 3*h, -8*v + 28 = -12*v - 4*h. Let q be 26/22 - -3 - v/(-33). Solve q*d - 4*j = -8, -5*j = d + 1 + 19 for d.
-5
Let f be -2 + 0 - 291/(-3). Let z = f + -93. Solve r - 4*r + 9 = 0, -4 = -z*q - 2*r for q.
-1
Suppose 5*j = 142 - 37. Solve 3*p = w + 13, 2*w - 7*p + j = -2*p for w.
2
Suppose 8*r = 7*r - r. Solve 0 = d + j - 2, -d + j - 6 + 14 = r for d.
5
Let i(b) = -b**2 + 9*b + 4. Let z be i(9). Solve -4*g + g + 2*o = 0, 4 = -4*g + z*o for g.
2
Suppose 0 = i - 2*j - 11, 5*j = -2*i + 2*j + 1. Solve i*o + 19 = -6*a + 4*a, -2*a - 2*o - 4 = 0 for a.
3
Let m(x) = -x**3 + 13*x**2 + 16*x - 14. Let d be m(14). Let p = d - 9. Solve -5*y - 5*o - 10 = 0, -o - 4 = -p for y.
-3
Let z(x) = 14*x - 91. Let n be z(9). Solve -15 = 3*u, -2*u = -8*i + 3*i + n for i.
5
Suppose 5*p = -5*t - 17 + 77, 0 = 4*t - 5*p - 12. Solve q = 4, -2*q + t = 2*x - q for x.
2
Let p = 118 + -111. Let x(b) = -b**3 + 5*b**2 - b + 7. Suppose 10 = 3*l - 5. Let i be x(l). Solve 0 = 4*a + i*u + p + 15, a + 4*u + 23 = 0 for a.
-3
Let h(p) = 2*p**2 - 2*p - 1. Suppose -4*z + 2 = -2*a - a, -3*z + 8 = a. Let v be h(z). Let f = -72 - -75. Solve 5*q + 16 = v*s - s, -f*q - 20 = 4*s for q.
-4
Let l = 836 + -832. Suppose 0 = -d + 2 - 0. Solve -l = d*n, -6*u - 2 = -3*u - 5*n for u.
-4
Let m = -363 - -367. Solve 4*t + 7*j - m*j = -4, 0 = -2*j for t.
-1
Let y = 1 - -2. Suppose s - y = 4*g - 4, 2*g + 2*s = -2. Solve 2*j + 4 = 0, g*d - 5*j = d + 6 for d.
4
Suppose -5*j = -46 + 21. Solve 5*p - 2*p = -j*m - 9, 2*p + 6 = 2*m for p.
-3
Let c(l) = -l**2 - 8*l + 16. Let o be c(-13). Let x = o + 53. Solve -4*y + 11 = -n, x*n + y = 3*n + 9 for n.
5
Let k = -14 + 22. Let b be ((-27)/36)/((-2)/k). Solve -11 = 5*n - 10*n - 3*f, -15 = -b*n + f for n.
4
Suppose 2*s + 68 = 2*h - 34, 3*s = 5*h - 265. Suppose -16 = 4*p, -4*l - 4*p + h = -3*p. Solve 5*j = -l, -j = 5*y + 4*j + 10 for y.
1
Let k = -3 + 3. Let w be -1 - -1 - (k + -2). Let o be ((-26)/104)/(2/(-24)). Solve -2*s = -b - 1, -o = -s - b + w*b for s.
-2
Let t(n) = 27*n - 185. Let l be t(7). Solve l*o - 3*d - d = -12, -3*d = o - 1 for o.
-2
Let o(l) = 3*l - 2. Let s be o(-4). Let k(t) = -t**2 + 10*t + 24. Let m be k(10). Let n = m + s. Solve p + 0*p = z - 5, 4*p = 2*z - n for p.
0
Suppose 0 = 3*f + 3*k + 12, -24 = f - 2*k - 32. Suppose 2*d = 5*w + 40 + 8, 3*d = -2*w - 23. Let c = -6 - w. Solve 5*n + l - 2 = f, -n + c*l = -6*n - 7 for n.
1
Let g = 20 + -13. Let t be ((-76)/6)/(g/(-21)). Suppose 3*v + 3*h = 5*v, 0 = 3*v + 5*h - t. Solve 4*u - v = 3*y - 2, -2*y - 5 = -5*u for y.
0
Suppose -132*a + 16 = -128*a. Solve 1 = -3*j + 4*i, -a*i = -2*j - i - 2 for j.
5
Let b = 685 + -682. Solve 3*l - 9 = -3*v, 0*v - v - b*l = -3 for v.
3
Let b(k) = -9*k + 69. Let v be b(7). Solve -s + 1 = 0, w + v*s - 1 = 2*s for w.
-3
Let v = -4 + 1. Let x = 1 - v. Suppose 31 - 75 = -22*l. Solve 2*a + 16 = l*d, 5*a + 16 + 19 = x*d for a.
-3
Suppose -5*d = 2*t - 55, 2*d - 3*d = 3*t - 11. Let y = -7 + d. Solve -y*k = -2*k + i + 2, -k + i - 1 = 0 for k.
-1
Let x(a) = -a**3 + 3*a**2 + 4*a + 4. Let b(s) = s**2 - 26*s + 29. Let q be b(25). Let l be x(q). Solve 4*n = 2*y + 2*y - l, -2*y + 12 = -4*n for n.
-5
Let u be 14/385*5 - (-6)/(-33). Solve 5 = -3*j - 2*q, 8*j - 6*j + 4*q + 6 = u for j.
-1
Let h(a) = 2*a - 12. Let t = -1 - -8. Let i be h(t). Solve 0 = -5*r - i*f + 3, 5*f + 2 = -3 for r.
1
Let w be (-8)/(-3)*339/452. Solve 0 = -w*a + 5*a - 2*r - 8, 0 = 3*a + r + 4 for a.
0
Let i(q) = -q**3 + 2*q - 7. Let o be i(0). Let y(t) = -18*t - 10. Let p be y(o). Let f = p - 80. Solve 0 = 4*b + 3*d + f - 8, 5*b + 5*d + 40 = 0 for b.
-4
Suppose 2*a + 4*i = 6*i, 3*a = 4*i - 3. Solve -4*h + 16 + 2 = 2*t, -3*t + a*h = 0 for t.
3
Let g = 1518 + -1516. Solve 2 + g = -2*o, 3*o - 3 = 3*s for s.
-3
Suppose 0 = 2*q + 18 - 58. Solve t - 5 = -2*b, 4*t - b + q = b for t.
-3
Suppose -t - 2*c = -6, 3*t - 12 = -5*c + 10. Let j(b) = -b + 19. Let x be j(t). Solve -x*k = f - 12, -f + 6*f = k + 8 for k.
2
Let r(c) = c**2 - 10*c - 21. Let n(p) = p**3 - p**2 - 2*p + 12. Let j be n(0). Let m be r(j). Solve m*g = 2*d + 9, -d - 4*g + 1 = -0*d for d.
-3
Let o be (-8 - 1)/(6/4). Let q be (o/(-5))/(28/(-70)). Let k be ((-2)/q)/(4/30). Solve 0 = 5*w + t, -2*t - k = -3*t for w.
-1
Let a(w) be the third derivative of w**5/20 - w**4/24 + 17*w**2. Let z be a(-1). Solve -2*c + 15 = -4*c + 5*x, -6 = -z*c - 2*x for c.
0
Let m be 5 + (-3 + 3 - (-3)/1). Solve 3*y = -j - 7, 4*j + 6 + m = -5*y for y.
-2
Let m(c) = -36*c + 1. Let a be m(3). Let j = a + 111. Solve -3*d + 0*l = 2*l - 10, -j = -3*d + l for d.
2
Let p be (-1 + 19 - 3) + 2/2. Solve 0*g + g - 4 = i, 3*g = -i + p for i.
1
Let m(f) = f**3 - 5*f**2 + 5. Let k be m(5). Let r(p) = -p**3 + p**2 - 3*p + 3. Let w = -51 - -51. Let c be r(w). Solve -k*t - h + 2 = -13, t - 2*h = c for t.
3
Let o(b) = 2 - 4 + 2 - 7*b. Let x be o(-3). Solve 3 = -3*r - 3*y + 21, 5*r - x = 4*y for r.
5
Let r(x) = -x**2 + 5*x + 4. Let h = -38 + 63. Let u = h - 20. Let q be r(u). Solve 4*t + 10 = -3*g, -q*t + 2*g = g + 2 for t.
-1
Let w = -2519 - -2524. Solve -5*v = -j - 17, -2 + 27 = -w*j + 5*v for j.
-2
Suppose 3*p + a + 27 = 8*p, 5*p - 2*a = 29. Solve n - 4*g + 16 = -0*g, -5*g - p = 5*n for n.
-4
Suppose 7*y - 52 - 18 = 0. Suppose 5*k - y = -0*k. Solve 0 = -5*s - k*n - 19, 2*s = 4*n + 2 - 24 for s.
-5
Let z(k) = 2*k**2 - 27*k - 18. Let r(w) = w**2 - w. Let q(u) = -3*r(u) + z(u). Let c be q(-23). Solve -c*h = -3*s + 18, 3*s + h = s - 1 for s.
1
Suppose 1 = -2*p + 3*n, 0 = -3*p - 3*n - 229 + 250. Solve p*o = -4*y + 8, 3*o - 7 - 5 = 0 for y.
-2
Let f(k) = 31*k + 57. Let v(y) = 21*y + 38. Let p(q) = -5*f(q) + 7*v(q). Let c be p(-3). Solve s - 14 = 4*l, s + 4*s = c*l + 25 for s.
2
Let r be 8/(-6)*468/(-208). Let g be (-11)/(2/(-4)*2). Solve -2*b + 12 = -2*o, -2*o - 2*b + g = -r*o for o.
-1
Let a(o) = -o**3 - 3*o**2 + 2*o - 2. Let m be a(-3). Let y = 10 + m. Suppose 6*v = 7*v - y. Solve 4*p + v*s = 2 - 8, 0 = -5*p + 5*s for p.
-1
Let x = 5 - 0. Suppose 4*p = 3*p + x. Solve -8 - 2 = -p*r, 0 = -5*n - 5*r + 5 for n.
-1
Let l(f) = -f**3 + 16*f**2 + 6*f + 192. Let m be l(17). Solv