uppose 5*z - 25 = 0, 0 = -2*x + z - 1 - 6. Let n be x*2*2/2. Let b = n - -3. Solve 6 = 2*c, 2*s - 2*c = 7*s - b for s.
-1
Suppose 0*k - 4*k + 16 = 0. Let d(v) = -v**3 - 7*v**2 - v - 1. Let i be d(-7). Suppose 0 = i*w - 2*w - 16. Solve -3*g = -w*h + h + 9, -k*h = g + 8 for h.
-1
Suppose s - 20 = -3*s. Solve -s*c + 16 = 4*r, 0 = -3*c + 2*r - 7 - 1 for c.
0
Let j = 7 - -1. Suppose 3*t - j = 10. Solve p = 3*q - 1 + t, 4*p + 13 = q for p.
-4
Suppose -4*s + 22 = 6. Solve k = 3*l + 5, s = 2*k - l - 3*l for k.
-4
Let i(t) = -7*t + 2 + 8*t + 8*t - 3. Let p be i(1). Solve 4*n - 3 - p = -3*r, 2*r + n = 9 for r.
5
Suppose 4*c + 12 = 5*j, -4*j + 3 = -3*c - 5. Let u be (-183)/(-6) + 4/c. Solve 0 = 5*w + 20, 4*w + w = -5*s - u for s.
-2
Let a = -8 - -12. Solve l = t + 2, 0 = a*t - t - 5*l for t.
-5
Let h = -2 - 8. Let r = h - -16. Solve 4*s + z - 16 = r*z, -10 = 2*s + 2*z for s.
-1
Suppose 0 = -3*o - 2*o + 15. Solve o*a = -3*i + 6, a - 3*i + 5 = 3*a for a.
1
Suppose 4*s - n - 20 = -0, -20 = 5*n. Suppose 3*a = 3*t + 6, 2*a + s*t - 4 = t. Solve 4*d = 2*i + 10, 4*i - a = 2*i for d.
3
Suppose -6*p - 62 = -86. Solve 2 + 2 = 4*r - 2*h, 2*r + p = -2*h for r.
0
Let z(a) = a**2 - 3*a - 6. Let r be z(5). Suppose -f - 1 = -r. Solve 3*c + 4 = -j - f*j, -2 = -j for c.
-4
Let j = -107 - -74. Let n = j - -48. Solve -2*k = 5*s - 0 + 6, -n = 5*k for s.
0
Suppose 0 = 7*y - 5*y. Solve -2*r - 4*l = -30, 3*r + y = -3*l + 30 for r.
5
Let f(i) = 0 + 9*i - 1 - 9*i**2 + 8*i**2 + 4. Let v be f(9). Solve 3*h - 2*j = -7, 5*h + 0*h = -v*j - 37 for h.
-5
Let q(n) = n + 3. Let i be q(-5). Let h = i + 7. Let o(w) = -w - 9. Let u be o(-9). Solve u = 5*j + h, s + 3 = -4*j - 5 for s.
-4
Let l(a) = a**3 + 10*a**2 + 7*a - 16. Let q be l(-9). Solve -3*g + 3 = 3*d - q*d, 3*g - 3 = 4*d for g.
1
Let d(y) = y + 3. Let v be d(1). Solve v*j - 2*j = 2*t, 20 = -4*t for j.
-5
Suppose -4*g = 6 - 14. Solve 19 = 3*q - 4*h, 0 = 3*q - h - g*h - 18 for q.
5
Suppose 4*b + 7 = 27. Suppose -5*p + 32 = m, b*p + 3*m = 2*p + 24. Solve -z + p*z - 22 = -3*q, 2*z - 8 = -q for q.
4
Suppose 5*k = 12*k - 21. Solve 5*m + 28 = k*f, f + 4*m + 16 = -3 for f.
1
Let f(u) = u - 6*u**2 + u**2 - 3*u + 2*u**2 - 4*u**3. Let v be f(-2). Solve 5*t = 2*d + t - 6, v = -4*d - t for d.
-5
Suppose -6*g + g + 20 = 0. Solve -g*v + 3*r = 2*r + 2, 5*v = 4*r - 8 for v.
0
Let k = 1 + -13. Let l(y) = -2*y + 3. Let f be l(-7). Let j = f + k. Solve 4*n + 6 = -j*b - 0*n, 0 = -2*b - n for b.
2
Let m(g) = 5*g - 2. Let k be m(1). Let r be 2/2*29*1. Let n = r + -18. Solve -7*u - v = -k*u - 6, u + 5*v = n for u.
1
Suppose 2*h - 100 = 4*p, 158 + 116 = 5*h + 2*p. Suppose 2*u + u = h. Solve -k + 4*r - 4 - 11 = 0, -2*k - 4*r = -u for k.
1
Let m be 6/(-4)*(-12)/9. Let d = 12 + 1. Solve -5*f - 2 = d, -m*t + 16 = -4*f for t.
2
Suppose -7*w + 28 = -0. Solve -w*y = q - 1, y = -4*q + 2*y + 4 for q.
1
Suppose 0 = 4*s - 46 - 22. Solve -4*c = 5*i + 40, -c - 4*c + 2*i - s = 0 for c.
-5
Suppose 5*c + 20 = -6*f + f, 0 = f + 3*c + 14. Solve 4*k = 2*s - f - 11, -5*s = 5*k - 15 for s.
4
Let q be (2/(-4))/((-1)/14). Suppose q*w - 9 = 4*w. Solve -s - w*p = 2*s - 21, 7 = -4*s + 3*p for s.
2
Suppose -2*y = -6*y - 5*o - 48, 2*y = 2*o - 6. Let k(i) = i**3 + 7*i**2 - 2*i - 1. Let u be k(y). Solve -2*g - 2 = -4*t, -4*t + u + 4 = g for t.
3
Suppose a = -2*a. Suppose a = 2*d - 8 + 4. Solve -3*w + w = 3*u - d, -10 = 4*w - u for w.
-2
Let x = 13 + -9. Suppose 4*f = -4*l + 32, 0 = f + x*f - 5*l. Solve -2*u = f*i + 2 + 10, 2 = -3*u - 2*i for u.
2
Suppose -h + 2*s - s = 0, s = -3*h + 16. Let q = 6 - h. Solve 0*b = 4*b - q*f - 4, 3*b + 15 = -3*f for b.
-1
Let g(p) = -2*p - 11. Let j be g(-8). Solve -6*n = 2*s - 2*n + 12, j*n = -10 for s.
-2
Let t(b) = 8*b + 56. Let g be t(-7). Solve -2*q - 5 = u, g = u - 0*u + 3 for q.
-1
Let u be 1*2*(-9)/(-6). Suppose 6 = -p + u*p. Let v = 4 + 0. Solve 0 = v*i + l - 5*l, -p*l + 12 = 0 for i.
4
Let u(c) = c**3 + 14*c**2 - 14*c + 17. Let f be u(-15). Suppose -2*p + 2*h + 0 = -6, f*p = -5*h + 6. Solve -r = 5, -2*r = 2*q - p*q + 9 for q.
-1
Let q be (9 - (-5 + 10)) + -2. Solve j = -5*y - 6, -4*j - 4*y + 6 = -q for j.
4
Let b = 20 - -9. Solve -3*c + 2*u - 7 = 0, -c - u - b = 4*c for c.
-5
Let r = 8 + -5. Suppose -102*l = -109*l + 35. Solve -r*d + 5*m + 2 = -0*m, 2*d + l*m = 18 for d.
4
Let v(j) = -j - 6. Let o(i) = -i - 6. Let p(r) = 5*o(r) - 6*v(r). Let d = 14 - 17. Let w be p(d). Solve 3 = k, -3*s + 5*k + w = 2*k for s.
4
Suppose -3*u - 2*y + 16 = 0, -4*u + 1 - 3 = -2*y. Solve -v + 3 = -u*z - 9, v + 8 = -2*z for z.
-5
Let f = -4 - 0. Let p be f/(-10) - 66/(-10). Suppose -r = 4*q + 16, q = 2*r - p*r + 15. Solve 14 = 3*g + 2*a, -r*g + 2*a - 8 = -2*a for g.
2
Let q be (2 + -1)*8/2. Let x be (-15)/(-6) - 2/4. Solve x*u + 2 = -v - q, -4*v - 15 = 5*u for u.
-3
Let f be 2 + 2 - 15/5 - -12. Solve -f = n - 3*n + 3*d, -2*d = 10 for n.
-1
Let r = -10 + 15. Solve 0*w - i - r = -4*w, -2*w = i + 5 for w.
0
Let l be (1 - -2)/(3/2). Suppose k + l*k - 6 = 0. Suppose s - 2*n = -k*s + 19, -1 = -s - 2*n. Solve 5*b - 10 = b + 5*u, -s*u = 5*b + 10 for b.
0
Let r(j) be the first derivative of -j**3/3 + 11*j**2/2 - 7*j - 1. Let m be r(10). Suppose -17 = -4*h - 5. Solve -h*u + v = -2*u - 8, 0 = 3*u + m*v for u.
4
Let u = 24 - 3. Suppose 2*a + u = -a. Let s(p) = p**3 + 8*p**2 + 2*p - 10. Let h be s(a). Solve 0*t = c - 3*t + 11, t - h = -5*c for c.
4
Let u(v) = 2*v - 4. Let j be u(3). Let t = 2 + -1. Let a(f) = 21*f**3 - 1. Let o be a(t). Solve 2*d - o = 4*l, -j*l = d + l + 15 for d.
0
Suppose -4*c + 10 = -50. Suppose 3*r - c = -3. Solve -3*h - 18 = -d, d - 17 = r*h + 6 for h.
-5
Suppose 5*t - 6*t + 3 = 0. Suppose t*q = -q + 12. Solve -5*k + j + 17 = 0, -q*k + 12 = -k - 3*j for k.
3
Suppose 2*v = -6*h + h - 13, 4*v - 2*h = 10. Let c be (-4)/(-8)*v*-2. Let b = -1 - c. Solve -5 = -2*l - x, -l - 2*x = -b*x - 4 for l.
2
Let o = 5 - 2. Let f be (o - 5)*5/(-2). Solve 1 = f*s - 2*a - 10, -2*s + 2*a = -8 for s.
1
Let v = -4 + 4. Solve 4*l - k + 8 = v, 2 = -2*l + 2*k + 4 for l.
-3
Suppose -6*s + 3*s + 12 = 0. Suppose -s*z = -7*z + a + 50, a = -2. Suppose 6 = v + 2*v. Solve 4*f + 3*h = z, 2*f + 4*h = 5*h - v for f.
1
Let q(i) = -i**2 - 7*i - 3. Let p be 2/10 - (-11)/(-5). Let s be q(p). Solve 3*f + 0 = 2*w - s, -3*f = -w + 11 for w.
-4
Suppose -4*h - 4*y = -40, -4*h - 3*y = -2*h - 20. Let z = -8 + h. Let k = -1 + 1. Solve 5*q + n + 25 = 0, -z*n - 14 = q - k*n for q.
-4
Let k = -4 + 8. Solve 4*x - 12 = k*v, 2*x - 1 = 5*v + 5 for x.
3
Let k(x) = x**3 - 7*x**2 - 9*x + 10. Let s be k(8). Suppose -v = s*v - 105. Let n be (-3)/7 + 540/v. Solve -3*g - h = -2*h - n, -4*g - 5*h + 20 = 0 for g.
5
Let c = -86 - -90. Solve 0 = -c*x + 3*w - w + 4, 4*w = 4*x + 4 for x.
3
Suppose 0*s - 2*w - 17 = -s, -20 = 5*w. Let l = 44 - 42. Solve l*n = -0*n + 8, n - s = 5*p for p.
-1
Suppose -t - 18 = -5*n, -3*n = -2*t - 5 - 3. Suppose n*z = 24 + 4. Solve z = -3*l + 6*l - 2*p, 0 = -5*l + 4*p + 15 for l.
-1
Let s(j) = j**2 - 12*j - 8. Let b be s(13). Let x = -1 - -3. Solve n = 2, -3*y - x = b*n - 6 for y.
-2
Suppose 5*x = c - 6*c + 10, 0 = 2*x. Solve i - 6 = 2*j, -3*j - j - c*i = 20 for j.
-4
Let f(d) = -2*d**3 - d - 2. Let k be f(3). Let p = -36 - k. Let m(j) = j + 18. Let y be m(-15). Solve -3*i - p = 4*b, 11 - y = -4*b for i.
-5
Suppose 0 = 3*a, 5*a + 6 = 2*q - 4. Suppose -5*x - 2*k = 6, 2 = 4*x + k + q. Solve 2*m = -x*m - 2, -5*m = 3*h + 17 for h.
-4
Let b be 7*(-2 - (-1 + 0)). Let r = b - -1. Let u = r + 10. Solve 0 = 2*a - 3*l - 1 - 7, 16 = u*a - 5*l for a.
4
Let s be (-18)/(-12) - (-1)/2. Solve -28 = -4*g + 5*x, x + s*x = 5*g - 22 for g.
2
Let t be 45/10 + -5 + 2/4. Solve -x - l - 4 + 0 = t, l = x + 2 for x.
-3
Let n(u) = -5*u + 8. Let g(i) = -i**2 + i - 1. Let k(p) = g(p) + n(p). Let d be k(-5). Solve -d*h + 5*h + 2*l + 22 = 0, 4*h = -2*l - 26 for h.
-4
Suppose -3*t + 2 + 1 = 0. Suppose 9 = 3*n - 2*d, 5*d = -3*n + t + 8. Solve m = -2*r - 3, n*m - 5*r - 2 = -0*r for m.
-1
Suppose -5*d + 65 = -3*c, -c = 4*d - 73 + 4. Solve 0 = s - 3*w - d, 0*s + 3*s = -4*w - 4 for s.
4
Let t be ((-22)/3)/(6/27). Let u be (-4)/(-16) + t/(-12). Solve u*a - n = 3*n - 24, n - 23 = 5*a for a.
-4
Let f be ((-1)/(0 + -2))/((-8)/(-48)). Suppose 0 = 4*k - 8 - 4. Let w(m) = 3*m**2 - 1. Let t be w(-2). Solve 3 + f = -2*n, -o + t = -k*n f