2/(-8) - -1)*4. Suppose 3*k - 3*s = -0*s, -2*k - j = -3*s. Suppose g + 2*c - 11 = 0, -c = 1 - k. Solve 2*h = u - g, -4*u + 7 = -5*h - 6 for h.
-5
Let n be (2/6)/(4/(-36)). Let v be 14*n/(-6) - 3. Solve -4*k + v*m = 8, 5*k - 26 = -0*k - 4*m for k.
2
Suppose -t - 3*t = -20. Let w(s) = s - 7. Let u be w(5). Let f(o) = -o + 1. Let x be f(u). Solve 5*h + 0*r + 9 = -x*r, 0 = -2*h - t*r - 15 for h.
0
Suppose -2 - 2 = -4*b, -3*c + b = -8. Suppose 3 = -c*n + 12. Let w = n - 0. Solve -w*d - 2*d = -a - 16, 2*a + 11 = 3*d for d.
3
Let t(v) = -v + 1. Let l be t(1). Let u(f) = f + 26. Let s be u(l). Solve -3*k + 3*d - 6 = 0, -4*k - d - d = s for k.
-5
Let n be (-21)/(-4) + 2/(-8). Suppose -q - 16 = -n*q. Solve q*j = l - 3, -3*l + 0*l = -3*j for j.
-1
Let q(g) = -3*g - 1 - g + 4*g + g**2. Let f be q(2). Solve 3*n - 6 = 3*z, -3*n + z = f*z - 21 for n.
5
Let b = -10 + 13. Solve -b*a + 11 = -q, 2*a - 4 = -2*q - 2 for a.
3
Let w be 2 + (-1)/((-2)/4). Solve -w*z - 3 = 5*m, m - 1 = -4 for z.
3
Suppose 2*m + 2*t = -m + 67, -m - 3*t + 34 = 0. Let s = 30 - m. Suppose 0 = 2*d - 11 - s. Solve -3*a + 2*l = -12, -3*a + 1 + d = -3*l for a.
4
Let l be (0 + 6)*3/2. Suppose l = 3*q + 3*y, q - 2*y = -0*y. Suppose 4*r + 3 - 1 = 5*v, 3*v + 2 = 4*r. Solve -3*g + 5*f + 6 = 1, -v*g + 6 = -q*f for g.
5
Let a = -18 + 20. Solve 0 = -k + 4*v + 11, 6 = -a*k - v + 1 for k.
-1
Let x be (-12)/(-30) + 14/(-10). Suppose -2*c - 6 = -0*z - z, 4*z = 0. Let v be 6/(3 + x) + c. Solve -5 = 5*y + 4*h + h, h + 5 = v for y.
4
Suppose -3 = 5*k + 7, -s + k + 5 = 0. Suppose 6*j - s*j - 40 = 5*v, 4*v + 11 = j. Solve l = 4*y - 18, 2*y + 5*l - j = y for y.
5
Suppose -4 = -9*l + 7*l. Solve 0 = -g, -4*t - 5*g - 4 = -l*t for t.
-2
Let o(c) = 1 - c - 10 - c. Let a be o(-7). Solve -5*w + 21 = -3*l + a, -4*w + 12 = -2*l for l.
-2
Let d = 3 - 1. Solve -4*a = -d*p - 20, -5*a = 2*p - 8 + 1 for p.
-4
Let t(o) = 5*o**2 + o + 1. Let s be t(-1). Suppose 5*m = -25, -c - 3*m + 12 = -s*m. Solve 0 = 4*b + 16, -b + c*b = -g - 1 for g.
3
Let v(x) = 4*x - 14. Suppose -5*n + 5*c = -13 - 7, 5*n - c = 20. Let z be v(n). Solve w = -4*r + z*r - 8, -4*w = 2*r + 2 for r.
-5
Suppose d = 2*d + 2. Let f(s) = -8*s**2 - 1. Let h be f(-1). Let z be (3/d)/(h/12). Solve 26 = -2*p + 4*o, -p + 2*o + z = 3*o for p.
-3
Let l = -6 - 36. Let a = l + 62. Solve -5*u + a = 3*k, 4 = -2*k + 3*u - 2*u for k.
0
Let j(c) = -2*c**2 + c + 2. Let o be j(-2). Let z = o - -10. Solve 5*q + 3*a = 4*a + 1, -z*q - 4 = 4*a for q.
0
Let j(b) = 4*b**3 + 6*b. Let p(w) = -3*w**3 + w**2 - 5*w. Let t(s) = 4*j(s) + 5*p(s). Let q be t(-5). Solve 5*y - 28 = 3*h, 5*y - y - 15 = -q*h for y.
5
Let u(x) = 4*x + 21. Let o be u(-4). Solve -2*d + 12 = 4*s + d, o*s - 15 = d for s.
3
Let n = 7 + 3. Suppose -6*f + f + n = 0. Suppose 0 = o - 3*p - 12, -5*p = -2*o - f*o + 27. Solve -o*v = -4*z, -5*z = -0*z - 3*v - 3 for z.
3
Let r(w) = 2*w - 8. Let p be r(6). Solve 7 = t - p*x + 14, 16 = -5*t + x for t.
-3
Let a = 9 - 3. Let j = -5 + 5. Let o be 2/1 - j/(-2). Solve -g + 4*h = -0*g - 12, 0 = -4*g - o*h - a for g.
0
Let l = 89 + -86. Solve 3*w = -l*g + 18, -26 = w - 5*w - 5*g for w.
4
Let i be 7/(21/(-15)) + 8. Solve -5*t = -4*v - 9, -4*v = -3*v - 2*t + i for v.
-1
Suppose 2*m - 5 = 15. Suppose m*c - 30 = 7*c. Solve -h - 8 = 3*h + 2*w, -5*w - c = 5*h for h.
-2
Let t(n) = n**2 - 2*n. Let x = -2 + 3. Let u be 1/(x - 4/6). Let r be t(u). Solve -2*g + 3*f + 14 = 4, 3*g + r*f - 15 = 0 for g.
5
Let f be 2/3 + (-2)/3. Let g(h) = -4*h. Let r be g(-2). Solve -2*s - 8 = -3*z, f = 2*s - 0*s + 5*z - r for s.
-1
Let w be (0*6/18)/1. Solve 5*b - 15 = p, 4*p = -w*p - 4*b + 36 for p.
5
Let b = -21 - -6. Let a = b + 25. Solve 5*k - 10 = 5*j - a*j, 3*j - 10 = -4*k for j.
-2
Let d = 4 + 6. Suppose -d = -2*z - 0*z. Solve 2*g + 5 = 5*h, g = -5*h + 4*g + z for h.
1
Let b = 106 + -44. Let t = 52 + -14. Suppose 4*i - 2*v - b - t = 0, 5*v - 101 = -3*i. Solve -4*m + 0*m - 11 = -3*a, -3*m = 4*a + i for m.
-5
Let o(s) = -75*s - 370. Let j be o(-5). Let x(z) = z + 4. Let p be x(0). Solve -p*y - 5*g + 37 = 0, 15 = 2*g + j for y.
3
Let k = 3 + 2. Solve k*y = -2*x + 8, -3*y - 4 = -x - 0 for x.
4
Suppose 18 = 5*n - 7, q - 5*n + 23 = 0. Solve -5*r + 0*r - q*p + 21 = 0, 0 = -r + 3*p + 11 for r.
5
Suppose 2*v - v + 5 = k, -3*k = -v - 11. Let h(a) = -5*a - 2. Let p be h(-1). Solve 24 = -p*g - k*o, 25 = -o - 4*o for g.
-3
Let k(v) = v**2 + 10*v + 13. Let r be k(-9). Suppose 7 = -3*l + r*l. Solve 13 + l = -4*j + 5*i, -5*j + 2*i - 8 = 0 for j.
0
Suppose 3 = 3*j - 12. Solve -5*u + 2*c = -0*u - 14, 0 = -2*u + j*c - 7 for u.
4
Let n(u) = -u**3 + 4*u**2 + 3*u - 10. Let l be n(4). Solve 10 = 2*c, -5*c + 4*c + 3 = -l*k for k.
1
Let a = 19 - 7. Suppose a = -z + 4*z. Let q be z - 0/2 - 0. Solve q*k = f - 3, -4*f + 7*k = 3*k for f.
-1
Let s(q) = -q**2 + 10*q - 16. Let n be s(8). Let u be (1 - -7) + 2 + n. Solve 4*g - 26 = 5*j + g, -g = 3*j + u for j.
-4
Suppose 0 = -3*m + 2 + 4. Suppose -a = -0 - m. Let u(t) = -4*t**3 + t + 1. Let b be u(-1). Solve -3*y - v - 8 = -a*v, 4 = b*y - 5*v for y.
-4
Let b = 4 - 8. Let n(g) = -g**3 - 3*g**2 + 3*g. Let d be n(b). Let o be (7/d)/((-2)/(-16)). Solve -5 + o = 3*c, -y = -5*c + 12 for y.
3
Let q = -183 + 192. Solve -3*a - q = 3*h + 6, 3*h + 5 = -a for a.
-5
Suppose a = -5*s - 6 - 4, s + 4*a + 21 = 0. Let v = 5 + s. Solve -19 = -o - v*g, -12 = -2*g - 2 for o.
-1
Let d be (1 - 2)*-2*2. Suppose -2*o + 5 + 5 = 0. Let b = -5 + o. Solve 0 = 4*n + y + 9, 2*y = d*n - b*n - 6 for n.
-1
Suppose 3*n + 0*n - 78 = 0. Suppose 6 + n = 2*g. Solve -d + 5*p - g = 0, 0*d + 5*p - 24 = -d for d.
4
Let k(i) be the third derivative of -i**6/120 + i**5/10 + i**4/3 - i**3/3 - 6*i**2. Let q be k(7). Solve -17 = 5*z + 5*v + 3, -3*z - 14 = q*v for z.
-3
Suppose 19 + 3 = r. Solve 4*c - 3 = 3*n + 4, 4*c + 2*n = r for c.
4
Let k(b) = 2*b**2 - 15. Let z be k(-3). Solve 3*r + 12 = 5*n, -5*n + 8 = -z*n - 2*r for n.
0
Let a = -10 + 12. Solve 3*l + 9 = a*i - 5*i, l - 3*i = 13 for l.
1
Let b(h) be the first derivative of h**3/3 + 5*h**2/2 - 7*h - 1. Let i be b(-7). Solve -18 = 3*o - 6*o + 3*j, 2*j + i = o for o.
5
Suppose -8 = 5*n - 38. Solve 5 = 2*h + n*b - b, 0 = 3*h + 3*b + 6 for h.
-5
Let v = 2 - 1. Let m be (-2)/(-2) - 2/v. Let l = 17 - m. Solve 3*b = -0*c + 3*c + l, 0 = 4*c + 4 for b.
5
Suppose -12*y = -2*y - 160. Solve 4*m = 3*n - 20, 0 = 2*m - 0*n - 3*n + y for m.
-2
Suppose 11*t - 12*t = -2. Let z(h) = -h - 3. Let y be z(-7). Let n be ((-8)/(-6))/(y/12). Solve 4*i = -4*c - 4 - n, -t*c - i = -1 for c.
3
Suppose 53 = -u + 11. Let g be (-11)/(-6) + (-7)/u. Solve -2*w - 3 = -5*z - g, z - 5*w + 9 = 0 for z.
1
Let k be 14/(-2)*(-16)/56. Let q be (-6)/1*(-1)/k. Suppose -z + 24 = -5*f, -3*z - 2*f + 25 + 30 = 0. Solve c = 5*p - z, 5 = -2*p + q*p + c for p.
4
Let a = 13 + -14. Let p = a + 4. Solve p = q + 1, -q - 3 = y for y.
-5
Suppose 2*l + 80 = 6*l. Suppose 0 = 13*a - 4*a - 36. Solve -a*j - 4*t = 24, 5*j - t - 4*t + l = 0 for j.
-5
Let r = -89 + 129. Suppose 5*a + u - 22 = -0*u, r = 5*a - 5*u. Suppose 17 = a*n + 2. Solve -2*w + 9 = -t, n*t - 6 = -4*w + 7 for w.
4
Let v(j) = 2*j**2 + 2*j + 2. Let i be v(-2). Let b = 11 - i. Solve 3*y + 2*m + 14 = 0, 5*m + 1 = b*y + 16 for y.
-4
Suppose -4*n - v = -2*v - 26, 32 = 5*n - v. Suppose 5*i = -p + 2 - 0, 0 = -3*p + 3*i + n. Solve -5*t - 30 = p*k, -5*t + k - 5 = -2*k for t.
-4
Let a = 23 + -21. Solve -2*f + 4*l + 6 = 0, a*f + 2*l = 6*f + 12 for f.
-5
Suppose 12 = 3*i, l = -0*l - 4*i + 22. Let b be (-1 - -10)*4/l. Solve 4*n - b = 6*n + 2*x, 8 = 4*x for n.
-5
Let g = -19 + 22. Solve 5*z - 2*z = -g*m - 18, -5*m - 4*z - 25 = 0 for m.
-1
Suppose -s = 6 - 18. Suppose 0 = n + n - 4. Let q = n - 2. Solve -4*t - 2*a + q = 12, -4*a - s = -4*t for t.
-1
Suppose 5*g = -3*h + 7 + 3, h = 5*g + 10. Suppose 4*i - f - 20 = -5*f, -h*f + 23 = 4*i. Solve -4*m + i = -3*x, -m + 1 = -0*x - x for x.
-2
Suppose -4*n + 6 + 6 = 0. Suppose -3*i = -4 - 2. Let j be (3 - 0) + 7 + i. Solve 2*u + 4 = 4*y - u, n*u - j = 0 for y.
4
Let t(q) = -q**2 - 6*q + 8. Let h be t(-7). Suppose -4*w = -9 + h. Solve 0 = -3*x - 4*o - 4, -w*x + 2*o - 5*o = 2 for x.
-4
Suppose -2*q + 3 - 27 = 0. Let v be (8/q)/((-2)/6). Solve 0 = c - v*s - 7, 2*s + 10 = -c - 3 for c.
-3
Let y be 7/(-3) + 2/6. Let n = y - -5. Suppose 7*m - n*m - 64 = 0. 