, -i*h - 5*n + 7 - 24 = 0 for h.
1
Let f be 208/7 - (-4)/14. Suppose 0 = -7*c + 2*c + f. Suppose -2*d = 2 - c. Solve 0 = d*j - l + 12, 4*l - 7 = j + 6 for j.
-5
Let y(l) = -l**3 - 3*l**2 - 3*l + 2. Let j be y(-3). Solve -j = b - 3*w - w, 0 = -4*b - 3*w + 13 for b.
1
Suppose 2*w + 22 = 3*h, -2*w - 17 = -4*h + 9. Let u = 21 - 18. Solve 5*j + 2*i + 15 = 0, i = u*j - h*j - 3 for j.
-3
Let y be (-1)/(-2)*0/(-8). Let q be y - ((-4)/(-4) + -5). Solve 4*o - 2*i = 12, -o + q*i = 1 - 4 for o.
3
Let j = -3 + 0. Let a(y) = y**3 + 4*y**2 + y - 1. Let d be a(j). Suppose h + 12 = d*h. Solve 0*s - t - 9 = 4*s, -h*t - 1 = -s for s.
-2
Let s(u) = -u + 18. Let x be s(14). Suppose 0 = 3*f + 2*f. Suppose f = n - 0*n. Solve -4*t = -3*a + 23, n = 5*a - x*a + t - 3 for a.
5
Let p(i) = i**2 + 4*i + 5. Let m be p(-4). Solve 0*u + 15 = -m*u + 4*h, 0 = 4*h for u.
-3
Let l = 19 + -5. Suppose -2 = 3*g - l. Solve 0 = q + 5*w + 6, -5*q - g*w + 10 = w for q.
4
Suppose -2*h + 13 = -2*c - h, -5*h = -5. Let a = c + 6. Solve n - 11 = -a*n - 3*v, 0 = -2*n - 2*v + 6 for n.
-1
Suppose 0 = 4*l - 16, 2*i + 2*l = -0*l + 18. Let d be (45/27)/((-2)/(-84)). Let b be (d/(-49))/(2/(-7)). Solve j - w = 5, -43 = -b*j - i*w - 18 for j.
5
Suppose -6*g + g + 10 = 0. Suppose -6*j + g*j + 44 = 0. Solve -3*n - u - j = -3*u, 4*n + 2*u = -24 for n.
-5
Let m(n) = -5*n. Let k be m(-1). Suppose -4*b = -2*b + k*y - 9, -4*y + 6 = b. Solve -3*v + 2*v - b*w = -3, 2*v = -w for v.
-1
Let t = -74 + 79. Let r be (1/4)/(2/8). Let c be (1 + r + -1)*7. Solve -t*z + c*u - 10 = 2*u, -4*z + 5*u - 11 = 0 for z.
1
Suppose 18*o - 19*o + 2 = 0. Solve 0 = o*f - 6, s + f - 15 = -4*f for s.
0
Let o = 209 + -209. Let a be 2/6 + (-22)/(-6). Solve o = a*t - 4*b + 4, -t = b + 1 + 8 for t.
-5
Let d = -1 - 4. Suppose -3*n - 37 - 31 = -5*w, 2*w = -n - 8. Let q = d - n. Solve -3 = -o + y - q, -2*y - 4 = 3*o for o.
-4
Let n be 0 + 1 + 9/1. Let l = 37 - 17. Let f = l - 5. Solve -3*y = 3*r + f, -3*y + 5*r + 15 + n = 0 for y.
0
Suppose 2*t = -1 + 5. Let i(y) = 2*y - 5*y + t*y + 5. Let l be i(3). Solve -3*c + b = -l*b + 12, -5*b = 5*c for c.
-2
Let r(w) = 3*w**2 - w + 2. Let o be r(1). Solve b - o*g = 16, -3*b = -g + 9 - 24 for b.
4
Let n(t) be the first derivative of -t**4/4 + 5*t**3/3 + 3*t**2 + 2*t + 1. Let g be n(6). Solve -4*q + k = g*k + 16, 2*k = 4*q + 28 for q.
-5
Suppose -4*p + 3*p = 8. Let c(y) = y**2 + 8*y + 4. Let o be c(p). Solve 0 = -4*d - o*i, 2*i + i + 5 = -4*d for d.
-5
Let b be 2/9 + (-43)/(-9). Solve -5*m - 2*o + 0*o = -19, 2*m - b*o = -4 for m.
3
Let q(g) = 2*g**2 - 11*g + 15. Let j be q(6). Let p be (-6)/(-4) + j/14. Solve f = 3*f - 2*n + 6, -p*f + n - 7 = 0 for f.
-2
Let a be (20/(-6))/((-2)/3). Let j be (4/6)/(4/30). Solve a*o = 4*s - 10, -5*s = j*o + 12 - 2 for s.
0
Let t(h) = h**3 - 11*h**2 + 9*h + 14. Let j be t(10). Solve 0*u + 13 = 5*u - 3*m, u - j*m = -11 for u.
5
Suppose -k = b - 4*k - 20, 5*b = -5*k. Suppose -b*g - 7 = q + q, -g = 5*q - 40. Suppose 11 = 4*l - q. Solve u + 0 = -5*o + 9, -3*u + 7 = -l*o for o.
1
Suppose 4*j - 10 + 27 = 3*h, -j = 5*h + 10. Let z be h/(0 + (-2)/12). Solve 4*o - 3*d = -0*d + 3, 3*o - 3*d = z for o.
-3
Let o(a) = -4*a**3 - a**2 + a + 1. Let w be o(-1). Solve -v + 4*v - 9 = 0, 6 = y + w*v for y.
-3
Suppose 0 = 5*q - 5*k - 10, -3 - 11 = -q - 5*k. Solve y + 0*h + 2*h = 1, -4 = -q*y + 4*h for y.
1
Let k(u) = u**2 - 3*u - 3. Let r be k(4). Let q(v) = -2*v**3 - v**2 + v - 1. Let a be q(-2). Solve 2*d + 6 + r = 3*h, 2*d = h - a for d.
-5
Let n = -21 - -31. Suppose -15 = -5*t + n. Solve q = 2*q + f, -q = t*f for q.
0
Let t = 19 - 17. Suppose -t*n = -6*n + 8. Solve n*b - 5*z - 10 = 5, 5*z = -5*b - 15 for b.
0
Let m(f) = f + 6. Let l be m(-8). Let t be 1/(l/(-4) + 0). Let p(d) = 2*d**3 + 2*d**2 - d. Let s be p(1). Solve s*u - 2*w + 5 + 4 = 0, 0 = 3*u + t*w - 3 for u.
-1
Suppose 4*n = 30 + 6. Suppose 4*a + 2*b = -8 + 20, 2*b + n = 3*a. Suppose -3 = -3*h, -a*l + 0 = 5*h - 65. Solve -4*z + 2*z + l = -4*w, 5*z - 5*w = 35 for z.
4
Let q be 1 + -2 + -1 + 5 + -1. Solve q*x - 15 = -3*n - x, 0 = 3*x for n.
5
Suppose -3*b + b = -j + 5, 4*j + 2*b - 10 = 0. Solve 5*h = 15, -8*y + 3*y + j*h = -11 for y.
4
Let f(c) = -c**2 - 9*c - 7. Let m be f(-8). Let o be 0/2 - (-9 - -7). Solve -t + 10 = -2*l - o*l, 3*l = 5*t + m for l.
-3
Suppose 4*r = 3*a + 16, -4*a = 5*r - 3*a - 1. Solve 5*x + r = 2*y, 0*y + 5*y = -4*x - 14 for y.
-2
Let n = 2 + -2. Solve n*s + s = 4*z + 1, 7 = -4*z - s for z.
-1
Let k = -10 - -14. Let n be (5*1)/(-3 + k). Suppose -n*d + 9 + 6 = 0. Solve -d*q + 1 - 2 = -2*z, 2*q - 4*z - 10 = 0 for q.
-3
Let d(r) = -2*r**2 + 18*r - 33. Let j be d(6). Solve -p = -2*q + 7, 23 = -2*p - j*p - 2*q for p.
-5
Let m be -4 + 6 - -1*5. Suppose 0 = -5*c + m + 23. Solve c = q + 4*v - 1, -3*q = 4*v + 3 for q.
-5
Suppose -3 + 9 = 3*v. Solve -2*q = v*u, -4*q + 2 + 2 = 3*u for q.
4
Suppose 5*y = y + 60. Let t be ((-6)/(-2))/((-5)/y). Let i = t + 17. Solve -2*l - 5*a - 28 = 0, 2*l - 5*a + a = i for l.
-4
Suppose 0*x = -3*x + 15. Suppose -12 = 2*i + 4*g, -4*i = -5*g + 3*g - 16. Solve x*p = -i*b + 31, -b + 18 = 5*p - 10 for p.
5
Suppose 4*y = y. Suppose 0 = 2*g - k - 0 - 4, -5*g + k + 13 = y. Solve -r + 5*p = -0*r + 16, -g*r = -3*p for r.
4
Let t(i) = -2*i**2 + 9*i - 4. Let v be t(4). Solve 4*z = -5*n - 22, n + 4*z = -v*n - 14 for n.
-2
Let h be 111/5 + 3/(-15). Suppose -4*b - 9 = -j - 53, -2*b - 5*j = -44. Let p = h - b. Solve -2*x + p = -4*t, -4*x - 5*t + 1 - 7 = 0 for x.
1
Let t(m) = m**2 - m + 3. Let i(y) = -y**3 - 2*y**2 - y - 2. Let j be i(-2). Let l be t(j). Solve l*g = -a + 6, a = 2*g + 2*g - 15 for g.
3
Let k = 0 - 0. Let j(a) = a - 4. Let g be j(7). Solve 0 = -v - b + 6*b + 10, k = g*v - 4*b - 8 for v.
0
Let y(x) = -x - 16. Let w be y(-16). Solve -2*f + 2 + 11 = -3*p, -p - 5 = w for f.
-1
Let g = -7 - -9. Suppose 64 = 4*b + 2*n - 6*n, 0 = g*b + 5*n - 25. Solve f + 5 = 2*f, -5*s = 3*f - b for s.
0
Let d(s) = -1 + 0 + 2*s**2 + 0*s**2 + 5*s**3. Let p be d(1). Suppose -5*v - p = -31, -b + v = 1. Solve n = -b*y - y + 24, -2*y - 3*n = -20 for y.
4
Suppose -4*b = -3*b - 8. Let a be (b/3)/((-2)/(-3)). Solve 3*t + 3 = 3*m, a*t - 14 = -2*m - 0*t for m.
3
Suppose -h = 2*h. Solve -4*f = h, 2*g - 6 = f - 0 for g.
3
Suppose 3*g + 4*b - 25 = -67, b = -4*g - 43. Let s = g - -10. Solve 2*x + 6 = s, -4*x - x - 16 = -n for n.
1
Suppose 5*l - 12 = 3*v, -4 = 5*l - v - 18. Suppose s - 7 = -l*d, -s + 5*d = -2*s + 9. Solve r - 1 = 3*g, -5*r - 7 = 5*g - s*r for g.
-1
Let k = 6 + -1. Solve 3*z + 8 = -4*d, -k*d = -4*z + 7 + 34 for z.
4
Let r(a) = a - 1. Let y be r(1). Suppose 3*k - w = -33, w = 5*k - 2*w + 51. Let h = 15 + k. Solve 5*d - 2*u = -3*u + 25, y = 4*d + h*u - 20 for d.
5
Suppose 23 = i + 2*w, 3*w + 22 = 2*i - w. Solve v + 2*v = 6, -i = 3*p - v for p.
-5
Let t = -3 - -6. Let k be (2 - 0)*t/6. Solve 9 = 4*z - 3*z + 5*o, o = k for z.
4
Let r be (8 - 3)*-1 + 2. Let o be r/(3 - 36/10). Solve 5*c + 6 = -4*i, c + o*i + 2 = 5 for c.
-2
Suppose 3*d - 5 - 4 = -2*p, 2*p - 2*d - 4 = 0. Solve 2*k = p*b - 3, 0*k + k + 2 = 2*b for b.
1
Let n(y) = -y**2 - 8*y + 14. Let j be n(-9). Solve -3*l + 1 = w - 5, 5*w = -j*l for l.
3
Let i(f) = -f**2 - 15*f + 3*f + 7 - 13. Let o be i(-11). Solve 2*y + o*c = y + 16, 2*y - 5*c + 13 = 0 for y.
1
Suppose -3*r = r + 3*p - 21, 2*p = 3*r - 3. Suppose 0 = -r*x + 6. Solve 5*y = 4*m - 25, 5*m - 17 = 2*y + x*m for y.
-1
Let c = -5 + 11. Let k be (c/9)/(2/9). Solve k*j + 12 = 0, 4*h + 2*j + 2*j = -8 for h.
2
Suppose -4*u - 3*g - 2*g + 55 = 0, 3*u = 3*g + 48. Solve -u = 3*q - 5*n, 1 = q + 3*n + 6 for q.
-5
Let d(g) = -g - 5. Let x be d(-8). Solve -c + 17 = -x*r, 2*c + 0*r + 2*r - 2 = 0 for c.
5
Let j(i) = i**2 + 2*i - 5. Suppose 5 = -3*x + 4*g - 3, 0 = g + 1. Let u be j(x). Solve -u = l, 2*l + 2*l + 7 = 5*t for t.
-1
Let q(t) = t - 4. Let y = 7 - 6. Let b be (-68)/(-10) - y/(-5). Let n be q(b). Solve n*c + u = -7, c + c + u + 3 = 0 for c.
-4
Let k(h) = h**2 + 7*h + 3. Let s be k(-7). Solve s*z - 1 + 4 = 4*p, -p = -2*z - 7 for z.
-5
Suppose -5*b = -5 + 5. Solve b = 2*g - j + 8, 0 = j + j for g.
-4
Let y be (-72)/(-27)*9/6. Solve -2*c + y*c = -4*w + 4, 0 = c + 3*w - 3 for c.
0
Let w(j) = -j**3 - 5*j**2 + 8*j + 8. Let o be w(-6). Let v = 7 + o. Solve v*p + 12 = -2*n - n, 0 = -p - 5 for n.
1
Let l = 47 - 23. 