s = -s + 4*c - y, 2*s + 2*c = 14 for s.
3
Let p = 9 + -7. Suppose m - 3*m - p*w + 28 = 0, -w = 5*m - 62. Let f = 15 - m. Solve -3*z - f = 0, -2*z = 2*v + 2*v + 2 for v.
0
Let v(h) = -6*h - 316. Let f be v(-53). Solve -2*i - f = 5*m, -2*m - 2 = -5*i - 7 for i.
-1
Let x(v) = 93*v - 552. Let b be x(6). Solve -m = 5*p + b - 2, 3*m + 12 = -p for m.
-4
Suppose -4*o - 1 = 5*y, 5 = 5*y - o - 14. Solve -3*p + y = -5*h, 2*h - 3*h + 4*p + 13 = 0 for h.
-3
Suppose 23*g + 68 = 183. Suppose q = -3*q - 5*l + 70, q - 2*l - 24 = 0. Solve g*x + u = -2*u + q, -5*u + 24 = -x for x.
1
Let m(b) = -b**3 + 3*b**2 + b + 2. Let t be m(4). Let g = t + 14. Let h = -299 - -303. Solve k - 1 = h*k - 2*l, -k + g*l + 3 = 0 for k.
-1
Suppose 2*o - g + 26 = 0, -8*o - 4*g - 78 = -3*o. Let u = 20 + o. Solve -3*i + 8 + 6 = c, 5*c - i - u = 0 for c.
2
Let b(r) = 12*r + 63. Let t be b(-5). Suppose 3*a - 6 = a. Solve -5*q + s = -t*s + 25, -4*q + a*s = 19 for q.
-1
Let n = -19 - -30. Let q = n + 5. Solve -p - k = -4*k + q, 5*p + k = -16 for p.
-4
Suppose 0 = -15*q + 12*q - 45. Let v(a) = a**3 + 16*a**2 + 16*a + 20. Let k be v(q). Solve -3*m + 17 = z, 5*m + 6 = k*z + 21 for m.
5
Suppose 0 = 5*c + 1 - 11. Let k be 165/35 + -1*6/(-21). Solve -c*l = j + 8, k*l + 9 = -2*j + 5*j for l.
-3
Let b be (9 + -7)/(-2)*(-1 - 32). Suppose 2*u + b = 13*u. Solve 0 = -c - 5*l - 15, -5*c + 6*l = u*l - 9 for c.
0
Suppose 5*p - 18 = -w, -2*w = 4*p - 6*w. Suppose 21 = p*n - 6. Let r be -6*((-42)/n)/7. Solve 0 = -r*o - 3*j + 31, -3*o + 3 = 3*j - 24 for o.
4
Suppose 2*h = -5*x + 59, -9 = -2*h + 3*x + 26. Suppose 0 = 25*f - h*f - 6. Solve 2*t = -5*b + 2, b + 2*b = -f*t + 2 for t.
1
Suppose 5*o - 2*j - 15 = 0, o + 6*j - 3 = 2*j. Solve -d + 5*m - 11 = 0, 5*d - o*m - 17 = -2*m for d.
4
Let q(o) = 6 - 3*o - 8 + 13*o**2 - o + 3. Let f be q(1). Solve -5*c + a = 5*a - f, -3*a + 4 = 2*c for c.
2
Let h = 222 - 217. Solve -4*t + 3*s + 31 = 0, -s + 8 = h*t - 7 for t.
4
Let g(b) be the first derivative of b**3/3 - 9*b**2/2 + 21*b - 1. Let p be g(6). Solve 0 = -p*h - o - 8, -h - 4*h = 5*o + 10 for h.
-3
Let b(v) = v**2 - 5*v - 12. Let m be b(7). Let r = -15 - -19. Let h be (3 - (2 - -4))*-1. Solve 11 = h*o - m*k + k, -r*o + 3*k = -18 for o.
3
Let w(d) = 10 - 22 + 17 - 7*d + d**2. Let c be w(7). Suppose -6 = -3*i + i - 2*t, -i - 1 = 3*t. Solve 3*z + 25 = i*a, -3*z - 9 + 4 = c*a for z.
-5
Suppose -4*t + 2*w + 6 = -0*t, -5*t = 2*w - 30. Suppose p + p = -z + 25, -100 = -t*z + 2*p. Solve -5*i + 15 = -u, 5*i - z = -0*u + 3*u for u.
-5
Suppose -4*h + c = -257, 5*c = 5 + 10. Let m = h - 35. Let g be m/6 + (-2)/1. Solve n + g = p, -2*p = -3*n - 0*p - 8 for n.
-2
Suppose 3*k + 4*i = -77 - 215, 0 = k + 3*i + 104. Let j = -88 - k. Solve 0 = j*p - 2*p - w + 7, -p + 4*w = 7 for p.
-3
Let t be (45/(-6))/5*-8. Suppose s = -3*s. Suppose s = t*g - 13*g. Solve g = v + b - 4, 0*v - v - 11 = -2*b for v.
-1
Suppose p = 5*l + 17, -20*p + 17*p = -4*l - 18. Let o = 6 + -6. Let k be o*(-1)/(-3) - -5. Solve n - 2*f + k*f = -8, p*n + 4*f = -12 for n.
-2
Let h = -72 - -35. Let y = h - -41. Let o(k) = k**3 - 10*k**2 - 10*k - 6. Let w be o(11). Solve -7*s + 2*s - 5*z - w = 0, 3*s - y*z - 11 = 0 for s.
1
Let b(x) = 3*x**3 - 17*x**2 - 5*x + 4. Let w be b(6). Solve -k + 14 = 10*o - 14*o, w = 5*k for o.
-3
Suppose -7*d - 3*p + 37 = -5*d, 0 = 5*d - 2*p - 45. Solve m - d = 4*x, 3*x - 8 + 2 = -4*m for m.
3
Let v(y) = 2*y - 2. Let n be v(3). Let i = -11 - -39. Solve 3*s = -n*z + i, -3*z - 1 = s - 17 for s.
4
Suppose -3*m = 3*t - 0*t + 12, -3*t = -12. Let n(v) = -v**3 - 9*v**2 - 8*v + 1. Let b be n(m). Solve -4*l - b = -4*r + r, -l + 4 = -5*r for r.
-1
Let f = 14 - 18. Let n = f - -9. Solve m - 2*v = -3 + n, -12 = 2*m + 4*v for m.
-2
Suppose 4*c = -4*h + 24 + 112, -2*h + 3*c = -93. Let r = h + -24. Solve p = 5*y - 1, 4*p + 5*y - 6 = r for p.
4
Suppose -2 - 8 = -5*h. Let x = -2 + 11. Suppose x = 3*y - 6. Solve -h*c = p - y*p + 26, 10 = -2*c for p.
4
Let w(f) = -f**2 + f - 4. Let t be w(-8). Let o = -71 - t. Solve -3*k + 2 + 0 = -2*g, -o = 5*k + 5*g for k.
0
Let x = -977 - -982. Solve -3*t + 5 = -4*j + 5*j, x*t + 3 = 4*j for t.
1
Suppose -14*s + 10 = -13*s + 5*p, -s - 10 = -5*p. Solve 0 = q - 2*w - 9, -q + s*q = -5*w - 24 for q.
-1
Let y(r) = r + 1. Let a be y(4). Suppose 2*u + 0*u - 60 = 0. Let w = 2582 + -2580. Solve 4*j + u = -3*z - 2*z, w*z - 21 = a*j for j.
-5
Let f be ((-66)/(-66))/((-2)/(-4)). Solve -16*h - f*j = -14*h - 14, -2*h - 5*j = -23 for h.
4
Suppose -2*a - a + 15 = -4*g, 2*a + 4 = -2*g. Let t be g/(-2)*(-1 + 3). Solve 2*n - m = 3*n + 2, t*n = m - 6 for n.
-2
Let i(l) = -9*l + 3. Let x be i(-2). Let m = -18 + x. Solve -n - m*c - 7 = 0, -3*n + 4*c + 0*c + 5 = 0 for n.
-1
Let y be 1/(6/33 + (-30)/286). Let c = y + -10. Solve -4*s + 6 = -c*s + 5*r, 2*s + 5*r = 7 for s.
1
Let c(b) be the third derivative of -b**4/6 - b**3/3 + b**2. Let j be c(-3). Let i = j - 8. Solve 2*k + 14 = -3*k + i*y, k - 3*y + 8 = 0 for k.
-2
Suppose 0 = 2*l + y - 3, 4 = 5*l - 3*y - 9. Let j be (-6 - -10) + (-2 - (2 - l)). Solve v - 4 = -b, j*v + 7 = b - 0*v for b.
5
Suppose -5*k + 26 = 2*i, -4*k - 159 = -167. Solve -6*p - 4 = -4*p - 4*z, -4*p - 2*z - i = 0 for p.
-2
Let v = -1265 + 1285. Solve -5*o = 3*k + 25, 4*o + 2*k = -k - v for o.
-5
Let v be 1/(-4) + (-65)/(-4). Let a = 13 - 48. Let j = -20 - a. Solve z + 3*l - v = 0, 0 = l - 4*l + j for z.
1
Let b = 4 - 6. Let s be (16/24)/(b/(-72)). Let k = s + -7. Solve -5*f - 10 = -0*w + w, -4*w + 3*f = k for w.
-5
Suppose -18*v + 120 = -10*v. Let k = 29 - 44. Let l = v + k. Solve l*w + 2*w - 6 = 4*s, -3 = w for s.
-3
Let k(d) = 2*d + 4. Let i be k(-7). Let r(x) = x**3 + 10*x**2 - 2*x - 18. Let o be r(i). Solve -m - o = 0, -m = -5*l - 5*m - 33 for l.
-5
Suppose 33*u = -4*j + 32*u + 2, -j + 6 = 3*u. Solve -1 = 3*f - q, -4*f - q + 3*q = j for f.
-1
Let x(g) = 2*g**3 + g**2 - 2. Let h be x(2). Let d be 5/(-2)*h/(-15). Solve 5*p + 5 = -d*n - 22, 0 = -5*n + p - 17 for n.
-4
Suppose -3*y - u = -52, 2*y = y - 2*u + 19. Solve p - 2*n = 12, 4*p + n + 4*n = -y for p.
2
Let n(k) = 4*k**3 + 6*k - 8. Let c be n(3). Let z = 123 - c. Solve 3*i - z*r - 25 = 0, -2*i + r + 5 = 2*i for i.
0
Let b = -13 + 46. Suppose -g + 5*q + b = 0, g + q + 0 = 3. Suppose -r - 3 = -g. Solve r*n - 11 = -2*k - 0*k, -5*k - 4*n = -2 for k.
-2
Suppose 3*v + 4*u = 4 + 4, -4*u + 8 = -4*v. Solve -3*o = -v*o - 3*s, 4 = 2*s for o.
2
Let w be (50/6)/((-105)/(-315)). Solve -3*x - 5*m + 12 = 0, w*x - 21*x + 4*m = 8 for x.
-1
Suppose h + 12*h - 39 = 0. Solve -4*t + 1 = 3*f - 2, -t - 18 = -h*f for f.
5
Let o = 545 + -541. Solve -3*l + 2 = -c + 5, -c + o*l = -4 for c.
0
Let k = 61 + -45. Let v = k + -11. Solve 32 = -3*g - 4*y, y - 10 - v = 5*g for g.
-4
Let o(h) = 3*h + 12. Let l be o(-4). Suppose -m - 2 + 4 = l. Let n = -26 + 36. Solve 3*p - 2*r - 19 = 0, m*r = -3*r - n for p.
5
Let m(i) = i**3 + 7*i**2 + i + 5. Let z be m(-6). Let x = z + -28. Suppose k - 5 = x. Solve 0 = -3*s - 3*h + k, 4*s + h = -h + 14 for s.
3
Let d(q) = -16*q + 2. Let w be d(0). Let s(p) = -p**2 - 6*p + 10. Let y be s(-7). Solve u + y - 23 = 5*z, 3*z = -w*u + 1 for u.
5
Let s(r) = r**2 + 2*r + 10. Let i be s(0). Let k = 13 - i. Solve -w + 9 = 4*v, -4*v + w + 14 = k*w for v.
1
Let d = -31 + 36. Suppose -u = -q + 1, 4*u - d*q + 9 = 3*u. Solve 3*i + u = -5*w, -2*w - 3*w - 4*i = 3 for w.
1
Let s be (-150)/15 + 10 + 3/1. Solve 4*d - 3*w - 9 = 0, 0 + 11 = s*d + 2*w for d.
3
Suppose -3*q - 15 = -2*f, f + 3*f - 3*q = 15. Suppose 0 = 4*m - c - 83, -6 = 2*c - f*c. Solve 0 = 5*d + 5*x - m, -4*x - x + 17 = 4*d for d.
3
Let p(q) = 5*q**2 - 6*q - 15. Let j be p(-4). Let n = 97 - j. Let y = -1 + 6. Solve -4*f + 3 = 5*l, -n = y*f + 2*l + 1 for f.
-3
Let i be (7/2)/(-1)*-2. Suppose 228 = i*d + 46. Solve 2*c + 2 = 4*a - d, 2*c + 8 = 0 for a.
5
Let m be (2/(-4))/(22/(-308)). Suppose -4*h = -m*h + 5*f, -4*f = -h. Solve -3*q + p - 4 = h, 4*p + 1 + 7 = 4*q for q.
-3
Let c = -203 - -228. Let g(s) = -s**3 - 3*s**2 + s + 3. Let v be g(-4). Solve 2*o = -3*o + z - c, 3*z - v = 3*o for o.
-5
Suppose 4*a = 13*a + 27. Let l(g) = -g + 1. Let z be l(a). Solve -5*n - z*q = -6, -n - 5*q = -3*q for n.
2
Let k(i) = -8*i. Let g(t) = 17*t - 1. Let m(c) = 6*g(c) + 13*k(c). Suppose 3*f + 24 = -6. Let p be m(f). Solve 5*a + 3*z = p - 1, -3*a + z 