Let n(g) = g - 5. Let s be n(7). Solve 3*q = 2*h - 1, 0 = -h + s*q - 2 + u for h.
-1
Suppose 9 = -4*g + g - i, 0 = 3*i + 9. Let w be (g*2 - -1) + 8. Solve 5*k - 8 = -3*x, 5*x = -w*k + 3*x + 7 for k.
1
Let z(h) = h**2 + 3*h - 12. Let j be z(-7). Solve -j = 4*n + x, x + 1 + 0 = n for n.
-3
Let v = 7 + -5. Suppose 0 = -3*g - v*g - 2*r + 48, 3*g + r = 28. Solve 2*b + g = 5*j, -3*j + 5*b - b = -2 for j.
2
Suppose 2*a + 0*a - 4 = 0. Suppose 4*j = 8 + 4. Solve -2*q + a*k - 9 = -k, j*k - 12 = 3*q for q.
-3
Let w(k) = -k**2 - 6*k - 3. Let y be w(-4). Suppose 1 - 6 = -y*l. Solve -2*g = 2*t, -4*g + 5*t - l = 35 for g.
-4
Let i = 16 + -9. Let n = -12 + i. Let u = -3 - n. Solve -u*b - 2 = -2*a, 2*a - 3*b - 11 = 2*b for a.
-2
Let g be 4 - (0 - (0 - 2)). Let m be ((-6)/(-5))/((-42)/(-140)). Solve 5*l - g*i = -m, 3*i + 17 = -7*l + 3*l for l.
-2
Let q(d) be the first derivative of d**4/4 - d**3 + d**2/2 + 2. Let t be q(2). Let m = t - -6. Solve 0*z = -s + m*z + 1, s - 2*z = -1 for s.
-3
Let w be 4*(-4)/104 - (-15)/13. Suppose c - 2 = -0. Solve -f + c*f - w = q, 3*f = 5*q - 1 for q.
2
Let h(w) = w**3 + 2*w**2 + w. Let m be h(-1). Suppose -10 = -4*z + 2, 3*r + 4*z - 30 = 0. Let u be 4/r - 4/6. Solve q - 3 = u, m*k - k = -q + 3 for k.
0
Let b(m) = m + 3. Let n be b(0). Let l = -1 + n. Solve 5*z = 5*i + 35, 2*i + 3*i + 14 = -l*z for z.
3
Let l(f) = 2*f**2 - f - 6. Let t be l(-2). Solve 11 = -2*w - 3*r, -3*w + r = t*r + 9 for w.
2
Suppose -2*w - w = -5*u - 48, -w = 2*u - 16. Let i = -990 + 994. Solve -2*s + 2 = -2*q, -2*q + 0*q - i*s = -w for q.
2
Suppose -5*x = -4*z - 12, 16 = 5*x - 2*z - 0*z. Suppose -x*c = -7*c. Let j be (-3)/(-1) + 1 + 0. Solve 5*g - 2*g + j*h + 11 = c, -3*h = -3 for g.
-5
Let a(z) = -z**3 - 5*z**2 - 6*z - 5. Let v be a(-4). Solve 4*n = -4*m + 4, -v*m - 1 = 5 for n.
3
Suppose 0 = t - 4, -5*w - 3*t + 28 = -t. Solve m + 23 = 4*g, 4*m + 17 = -w*g + 5*g for m.
-3
Let z(m) = 4*m + 19. Let g be z(-4). Solve 3*d + d = -4*k, 5*k + 4*d - g = 0 for k.
3
Let x = -91 + 99. Let p = -3 - -5. Suppose 4*g = 20, -p*h = h - 4*g + 11. Solve 0 = 2*m, -x = -h*t + t - 5*m for t.
4
Let h(w) = w + 6. Let j be h(5). Let d be (-2)/j + (-123)/(-11). Solve s + 2*r = 2*s - d, 3*r = 5*s - 34 for s.
5
Let f(m) = -m**2 - 7*m - 5. Let i be f(-6). Let q be (1 - 1)/(-1*i). Let s = 3 - 1. Solve q = 4*v - 5*l, -2 = -s*v + 3*l - 0 for v.
-5
Suppose 2*t + 6 = 12. Let n = -1 - -6. Solve -q = 4*y - n*y, -2 = t*y - 2*q for y.
-2
Let a be (15/4)/((-9)/24). Let o be a/(-20)*(1 + 3). Solve p + f = -3, -5*p - 2*f = o + 1 for p.
1
Let h = 25 + -15. Suppose 5 + h = 5*l. Solve -j = j - z - 1, -2*z - 2 = -l*j for j.
0
Suppose -5*d + 7 = -3, -5*r - 2*d + 44 = 0. Solve b + 4*s - r = 5*b, 5*b = s - 22 for b.
-5
Let b be 2/(-4) + 35/(-14). Let y be (-3)/(2/4*b). Solve y*d = -5*l + 21, -25 = l - 6*l for d.
-2
Let g = 112 - 108. Solve -y + g = 2*q + 17, y = q - 1 for y.
-5
Suppose -4*d - k + 50 = k, -5*d + k + 52 = 0. Let c(q) = -q**3 + 10*q**2 + 13*q - 4. Let y be c(d). Solve -3*x = -u, 2*x + y = 5*x + 5*u for x.
1
Let q be (-3)/4 + 54/8. Solve -4*y = 3*b - 2 - 1, 2*b = -q for y.
3
Let n(c) = -4*c**2 + 2*c - 1. Let v be n(1). Let r be (-3 - -2)*(-8 - v). Let f = 10 - r. Solve 5*z + 5*b = 10, 5*b - 5 - f = -2*z for z.
0
Suppose -7*c + 2*c - 10 = 0. Let g = 7 + c. Solve -2*d + 10 = -0*u + 4*u, -2*d + g = -u for d.
3
Let o = -18 + 0. Let v be ((-2)/(-6))/((-3)/o). Let n(i) = 4*i + 1. Let u be n(1). Solve u + 3 = -v*b + 2*l, 4*b = -3*l + 19 for b.
1
Let p = 1 - 2. Let l be (21/14)/(p/(-2)). Solve 0 = -l*y - 2*w + 11, 4*y - 1 = 5*w - 17 for y.
1
Let f be (-4)/(-1) - (-10)/(-5). Suppose -f = d - 13. Solve -15 = 5*w, -2*w - 5 = 2*r + d for r.
-5
Let h(w) = -w + 17. Let z be h(3). Suppose 13 = d + 4*g, -6*d - 2*g = -d - 47. Solve -3*n + n + z = -4*a, 2*n = -a + d for n.
5
Let k = -41 - -49. Solve -5*o + 5*s - 24 + 4 = 0, -3*o - s - k = 0 for o.
-3
Suppose k = 2, 4*k - 4 = 4*m - 0. Suppose -m = 3*l - 13. Solve 2*y - 2*o + l = 0, -o = -3*y - 4*o + 18 for y.
2
Suppose 9*r - 10 = 4*r. Solve -r = -3*q + 4*a + 30, 0 = -q + a + 9 for q.
4
Let w = 3 - 1. Let x = 0 + w. Solve -4*l = -16, -2*c + 3*l + x - 6 = 0 for c.
4
Let n(i) = i + 13. Let l be n(-11). Let u be (-6 - -5)/(l/(-8)). Solve a = 2*d + 2*d - 19, -4*d + u*a + 28 = 0 for d.
4
Let w(l) = 4*l + 1. Let o(n) = n + 1. Let i(p) = 2*o(p) - w(p). Let r be i(-1). Solve 0 = 3*d - 4*d - 4, -r*m = d + 7 for m.
-1
Let d = -7 - -3. Let h = 1 - d. Let r(x) = -x - 3. Let p be r(-6). Solve -2*y + 0*y + p*i + 7 = 0, h*i + 16 = -y for y.
-1
Suppose 4*a = -3*q, -q - 7 = -5*a + 12. Solve 2*u + 26 = 4*y, -10 = -5*y + u - a*u for y.
4
Let s(y) = -y + 16. Let c be (-39 - -6)*1/(-3). Let k be s(c). Let g be -3*(-1 - (-8)/(-6)). Solve 4*w = -5*d + 14, 4*d - 3*d = -k*w + g for w.
1
Let m(a) = -2*a + 10. Suppose 2*t - 30 = -4*t. Let l be m(t). Solve -3*p + 0*p + u + 6 = l, -p + 6 = u for p.
3
Let n(p) = p + 10. Let s(r) = 5*r + 1. Let f be s(-1). Let v = f + -2. Let k be n(v). Solve y + 1 = 3*h - 4, 2*h + k*y - 22 = 0 for h.
3
Let u(i) = -3*i - 6. Let s be u(-5). Solve 3*w - s = -z, 2 = -4*w + 2*z + 24 for w.
4
Let i(w) = w**3 + 11*w**2 - 11*w + 14. Let g be i(-12). Solve 2*s = 3*a - 12 + 4, -2*s - 6 = -g*a for s.
-1
Let m(k) = -k**3 + 5*k**2 + 2*k - 5. Suppose 0 = z - 2*z + q + 8, -3*z - 2*q + 9 = 0. Let g be m(z). Solve n - 4*n - 8 = g*s, -4*s = 3*n + 7 for n.
-1
Let s(t) = -7*t - 2. Let p be s(-1). Solve 2*i + p - 3 = 4*o, 4*o - i - 7 = 0 for o.
3
Let a(n) = -2*n + 7. Let r(y) = -y + 1. Let i(w) = -a(w) + r(w). Let v be i(5). Let m = v - -2. Solve -2 = 5*t + h, t - 15 + m = -5*h for t.
-1
Suppose 21 = -3*p - 9. Let w(a) = a**2 + 9*a - 5. Let x be w(p). Suppose 0*z - 2*z + x = 5*y, 4*y - 4 = 4*z. Solve 2*i = -c - 5, 3*i + z = 3*c + 6 for c.
-3
Let g = -115 - -118. Suppose -6 = -0*o - 3*o. Suppose 0 = o*z + 5*q, 2*q - q = -4*z. Solve -g*l + z = -3*w - 9, 4*l - 4 = 0 for w.
-2
Let o = -33 + 46. Solve m = -3*m - n - 7, 0 = 5*m - 3*n + o for m.
-2
Suppose -2*y + 3 = -1. Solve -2*h - y*o = 2*o + 4, 0 = -4*h - o - 1 for h.
0
Let q(w) = 29*w - 4. Let b be q(1). Solve 3*g + b = -2*f, 2*f + 30 = -7*g + 3*g for f.
-5
Let x be (-4 - 2)/(6/(-4)). Suppose x*q - 3*q - 12 = 0. Suppose -q = -2*j - j. Solve -5*m + 6 = r, r = -0*r - j for m.
2
Let z = 6 + -4. Suppose 5*o - 4*o - z = 0. Solve 0 = o*t + 3*d, 4*d = t - d - 13 for t.
3
Let l(n) = 3*n - 9. Let z be l(4). Solve -a + 11 = z*m + a, -4*m + a = 0 for m.
1
Suppose 2*j - 9 = 1. Let y = 8 - j. Let u be (1/(-1))/(y/(-6)). Solve 4*t - u*h = -24, -h + 0 - 4 = 2*t for t.
-4
Let s(i) = -i**2 - 9*i - 10. Let b = 0 - 7. Let j be s(b). Solve 6 = 3*z - 3*h, j*h = 2*z + 3*z - 10 for z.
2
Suppose 3*i = 6*i - 15. Suppose -4 + 0 = -d. Solve -12 = -4*f - d*j, 19 - 44 = -i*j for f.
-2
Suppose 0*v - 4*v + 12 = 0. Suppose 22 = 3*m + 4*g, -5*m + 22 + 38 = 2*g. Suppose -m = -v*k - 5. Solve -k*b = -0*s + 2*s, -5*s + 17 = -b for s.
3
Let p(k) = k**3 + 4*k**2 - 2*k + 18. Let n be p(-5). Solve -2*x - 5 = -3*b, b + 15 = 4*b + n*x for b.
3
Let h(v) = v**2 - 4*v - 3. Let d be h(5). Solve d*y = -a, 0 = -4*y - a - 2*a for y.
0
Let x be 2*(-2 - (-3)/1). Suppose 0 = 3*f + h - 10, 0 = f + h - 4. Solve -4*m = f*z + 2, x*z = -0*z + 3*m - 7 for z.
-2
Suppose -k = -3*k - 2, -4*i = 2*k + 2. Suppose i = -4*v + 8*v. Solve m - 17 = -4*u - v*u, -m = 3*u - 12 for u.
5
Let a(o) = 2*o**3 - o + 1. Let d be a(1). Suppose -3*m = d*m - 40. Suppose 3*b = -b + m. Solve -b*g - 1 = -y - 3*g, -g + 17 = 5*y for y.
4
Let t(f) = f**3 + 2*f**2 - 6*f + 4. Let v be t(-4). Suppose -y - 3*m = -6 - 3, 4*y = 4*m + 36. Let c = y + v. Solve -10 = 2*q - 2*u, 3*q - 7 = -c*u + 10 for q.
-1
Let g(f) = -12*f + 65. Let m be g(5). Suppose 2*p + 7 = 3*c - 0, -3*p = -c. Solve -c*t - m*b = -0*t - 2, -3*b + 7 = -4*t for t.
-1
Suppose -3*y + 468 = 3*t - y, -3*y = 3*t - 468. Let m be t/6 + -2 + 1. Solve 5*l - 2*x + m = -6*x, 2*l + x = -7 for l.
-1
Let m = 108 - 106. Solve -4*x - 5*z = -20, z - 20 = -4*x - m*z for x.
5
Let t = 1 - -14. Suppose -4*v = v - t. Solve -q = -3*x + 11, -4*q + v*x - 26 = -0*x for q.
-5
Suppose -j + 9 = 2*j. Solve -j*w = s + 14, 2*s - 18 = 4*s + 4*w for s.
1
Suppose -3 = 3*h - 6. Solve -4*y - n = h, y - 1 = -3*y + n for y.
0
Suppose 5*z = -3*c + 19, 2*c = 6*c + 5*z - 17. Let o be -2 - (c - 