 h.
-1
Let l be ((2 + -2)/1)/2. Suppose 36 = -56*f + 68*f. Solve u = -w - f, l = -3*w + 4*w for u.
-3
Let l(s) be the second derivative of -s**5/20 - s**3/6 - s. Let p be l(-1). Solve p*i + 6 = -f, 0*f - 3*i = f + 10 for f.
2
Suppose -4*o = -12 - 4. Let l be o - (-6)/(-2) - -3. Solve -5*h = l*n - 0*h - 16, 0 = 2*h for n.
4
Let d be ((-24)/(-16))/((-1)/(-6)). Let u = d - -8. Solve 0 = 5*o + 3*m, 4*o + u = -0*m + m for o.
-3
Let u = -11 - -16. Suppose -36 = -u*h - 2*q - 15, h = 5*q + 15. Solve -10 = -2*i, -h*k = 5*i - 0*i for k.
-5
Let v = 31 + -20. Suppose -5*h + v = -4*h. Solve -h = -3*t - d + 4, -3*d = 0 for t.
5
Suppose u = -u. Solve 0 = -3*l - 2*o + 10 + 8, u = o - 3 for l.
4
Let d = 1 - 1. Let h(b) = 1 + 6*b + 4*b**2 - 2 + d - b**3. Let w be h(5). Solve -w*g = 3*o - 2*g - 4, 5*o = 4*g + 14 for o.
2
Let z(a) = -a**2 - 4*a + 0*a**2 + 0*a. Let y be z(-3). Solve 2*p + s = 5*s - 2, 4*p + y*s = -4 for p.
-1
Suppose 0 = -3*h + 3 + 6. Solve -5*j - h = 2*y, -j - 7 = 3*y + 4 for y.
-4
Suppose m + 5*w + 15 = 0, 0 = 3*m + 5*w - 1 + 16. Suppose -2*q - 1 + 7 = m. Suppose -4*s = -7*s + 51. Solve -12 = -q*r + 5*y, -4*r - 5*y = -2*r + s for r.
-1
Let v(x) = x**2. Let l be v(-5). Suppose 0 = 2*z - 2*g - g - l, -50 = -5*z + 5*g. Let o = -2 + z. Solve 3*k - 4*w = -o*w + 11, 5*k = -2*w + 11 for k.
3
Let y(l) = -l**3 + 5*l**2 - 2*l - 3. Suppose -12 = -x - 2*x. Let q be y(x). Solve -5*j - 10 = -q*h, -3*j + 8*j + 5 = 0 for h.
1
Suppose 0 = 5*y - 4*v - 16, y - 3*v - 12 = -y. Let a(w) = 0*w**3 + 0 + w**3 + w + 6. Let k be a(y). Solve 3*m + 28 = -4*q, 3*q - k*q + 5*m = -8 for q.
-4
Let i = -7 + 13. Let m = -36 + 35. Let d = m + i. Solve -d*p + 0*p = 0, -12 = -4*j + p for j.
3
Suppose 4*c - 3 = 17. Suppose c*s = 3*s. Let z = 11 + -10. Solve -4*d - 4*m = s, 9 = 3*d + m + z for d.
4
Suppose 0 = -22*o + 19*o. Solve -4*c + 5*w = -17, o*c = -c - 3*w for c.
3
Let t = -24 - -43. Solve 3*u + 3*a + 2*a + t = 0, 0 = -5*a - 25 for u.
2
Suppose 4*s = -5*b + 38, 8*b - 34 = 3*b - 2*s. Let h be (52/b)/(3/(-9)). Let f = h + 38. Solve -4*o - 3*n = -7*n - f, 4*o - 14 = 3*n for o.
5
Suppose -5*z + z = 2*i - 10, 5*i = -15. Solve z*o - 2*p = p + 21, 0 = -o + p + 6 for o.
3
Let j be (-1)/2 + (-77)/(-14). Let c = 11 + -9. Let a = c + -2. Solve -3*t + 7 = 5*x, j*x + 5*t - 2 - 3 = a for x.
2
Suppose 2*c = 3*c - 7. Suppose -4*k + 4*r - c*r = -30, 19 = 3*k + 4*r. Solve k = 2*h + 3*v, -4*v + 3*v = -4*h - 3 for h.
0
Suppose 3*a + 5*n = -a + 38, 3*n + 29 = 5*a. Solve 2*i = -3*t + a, -2*t - 4*i = i - 23 for t.
-1
Let n be -3*(-1 - 34/6). Let r = 11 + -7. Let f(s) = s**2 + 18*s + 20. Let u be f(-17). Solve n = -r*v, -3*h + u*v + 5 = -13 for h.
1
Suppose 2*q + q - 15 = 0. Suppose 2*f - 47 = 9. Let l be 6/(-21) - (-148)/f. Solve l*j + q*z + 81 = 31, 3*j + 40 = -5*z for j.
-5
Let c(x) = -x**2 + 3*x + 10. Let f be c(4). Solve -5 = -5*y - b + f*b, -4*b + 4 = -2*y for y.
4
Suppose -2*q = 3*s, 3*q + 4*s + 22 = 4*q. Suppose o - q*o + 75 = 0. Suppose m - o = -2*m. Solve 0 = m*l - 15, -5 - 4 = -3*g - 2*l for g.
1
Let g = 97 + -60. Let d = -10 - -14. Solve 3*t = 3*f - 3, -d*f - f + g = 3*t for f.
5
Suppose 0*q + 4*t = q, 0 = 4*t. Solve -5*h + h = 5*w + 22, -w + 3*h + 7 = q for w.
-2
Let y(d) = 0*d + 0*d**2 + d**2 + d. Let f be (-8)/6 + 8/(-12). Let s be y(f). Solve 12 = -2*i - 5*n, 0 = i - 2*n - s*n - 7 for i.
-1
Suppose 6 - 21 = 5*t. Let k = t - -3. Solve 3*w = -0*w + 9, k = -3*x - 5*w + 30 for x.
5
Suppose 0*n - 2*n + 5*t - 21 = 0, 0 = 5*n + 4*t - 30. Solve 0 = 5*v + 15, n*r - 3 + 19 = -4*v for r.
-2
Suppose 0 = 4*m - 5*f + 17, -3*m = -5*m + f - 1. Solve m*t + 13 = -3*l, l + 5*t = -3*l - 22 for l.
-3
Suppose -4*n + 28 = 8. Suppose n*q - 1 = -3*h, -h - 2*q - 11 = -6*q. Let u(c) = -2*c - 2. Let v be u(h). Solve -v*s = 3*b - 18, 2*s + 0*s - 4 = b for s.
3
Let m = 5 + -5. Let y be -1 - -4*(m - -1). Solve -y*p = 5*s + 29, p + p - 6 = 3*s for s.
-4
Let m be (-18)/(-4)*(-16)/12. Let x be ((-1)/(-3))/((-1)/m). Solve 3*j = 4*g - 18, g + 2 = x*j + 9 for g.
3
Let n be (-16 + 1 + 1)/(-2). Let o = n + -4. Solve -w + 3 = o*k + 2*w, 5*k + w = -3 for k.
-1
Let f(z) = 3*z - 22. Let q be f(9). Solve -q*d = 4*k + 20, 4 = -k - 1 for d.
0
Suppose -3*x - 3 = -4*t, -4*t - 4 = 4*x - 0. Suppose -m + 2*m + 8 = t. Let g be (m + 2)*(-1)/2. Solve -4*v - g*p - 8 = -1, -v + p - 7 = 0 for v.
-4
Let j be 3 - (-4)/8*-2. Suppose j*s = 5*s - 12, -4*o + s + 12 = 0. Solve 0 = -0*l - 2*l + q + o, 40 = 5*l + 5*q for l.
4
Let k = 27 + -22. Solve k*o + 10 = 3*i - 2, 5*i + 4*o = 20 for i.
4
Suppose -2*l + 4*l + 42 = 5*h, 5*h - 58 = -2*l. Suppose -20 = -5*p - 0. Suppose p*g = o + 3*o, -3*o = g - 16. Solve o*a - 16 = 2*a - 3*y, -5*y + h = 0 for a.
5
Let y be 26/10 - (-12)/30. Suppose 0 = 2*r + y*r - 10. Solve -r*w = -5*d + 2*d + 19, -5*w + 3*d - 25 = 0 for w.
-2
Suppose -v + 90 = 4*v. Suppose 0 = 2*j + 3*z - v, -j - z = 4*z - 23. Solve -5*s + 5*h = -15, -3*s + j = h + 6 for s.
0
Let y(s) = -8*s + 5. Let g(k) = -7*k + 4. Let h(a) = 6*g(a) - 5*y(a). Let t be h(-3). Solve t*v = -q + 5, 0*q + q + 2*v - 5 = 0 for q.
5
Let w = 0 - 0. Let c(s) = s**2 + s. Let b be c(-2). Solve w = m - 2*t + 7, 1 = 2*m + b*t + 9 for m.
-5
Suppose n - 152 = -5*w, -4*n - 4*w = -2*w - 662. Suppose 0*x - t = -3*x + 101, 5*x = 2*t + n. Solve x + 0 = -5*c + 5*o, -5 = 3*c + o for c.
-3
Let k(t) = -t**2 + t + 19. Let n be k(-3). Let a = -2 - -12. Solve -3*y - 2*z = -4*z + n, -3*y - a = z for y.
-3
Suppose -27 = -3*s - 6. Suppose 0 = 4*f + 4*i + i + 7, 10 = -f - 4*i. Solve -4*u + 5*q = -11, -q - s = -f*u - 0*u for u.
4
Let u(n) = n - 1. Let l be u(4). Solve -5*h + 20 = 0, -x + 5*h = -l*x + 10 for x.
-5
Let h(m) = m**2 + 11*m + 20. Let p be h(-9). Solve -5*f - p*r = r - 26, 2 = r for f.
4
Let w = 5 - 0. Suppose -9 = -3*m - 3*u, 5*m + 4*u - 10 = 5. Suppose 7*s - 35 = 224. Solve 0 = -m*d - w*g + 34, 0*d + 4*d + 5*g = s for d.
3
Suppose -8 = 2*d - 12. Solve 4*t = 4*z + 20, d*t - 20 = -2*t + 2*z for t.
5
Let v be (-1*11)/(-1) + 0. Let m be 4/((-12)/(-3))*3. Solve 0 = 4*k + m*j + v, j + 5 = -k + 2 for k.
-2
Suppose -x - 11 = -4*f, -f + 10 = f + 4*x. Solve 2*w - 4 = -3*w + 4*z, f*w + 5*z = -5 for w.
0
Let i(p) = p**2 + p + 7. Suppose 0*q = -2*k - 2*q + 6, 3*q = 9. Let n be i(k). Suppose -3*t + 8 + n = 0. Solve 0*s - 5*s = -2*z + 19, s = t*z - 13 for s.
-3
Let v(b) = 22*b**2 + 0*b - 2 - 23*b**2 + 0*b + b**3. Let i(o) = -o**3 + 2*o**2 + o. Let z be i(2). Let n be v(z). Solve n*f - 4*f + t = -1, 4*t = 3*f - 9 for f.
-1
Let w be 18*1*6/9. Suppose -5*h + 2*h = -w. Suppose -2*t = t. Solve h*x + 0*v + 2*v - 18 = 0, -5*x + 3*v - 5 = t for x.
2
Let l be -1*(-4 + 0 + 1). Suppose 17 = 5*a + 7. Suppose 0 = 4*h - a*z - z - 20, 0 = 2*h - 3*z - 10. Solve 2*k + 6 = -l*q - 3, -h*q + 5*k + 10 = 0 for q.
-1
Let i = 29 - 23. Solve -5*y - 10 = -5*k, 3*k = 3*y + 2*y + i for y.
0
Let r = 67 + -51. Solve 3*c + 3*z = c + r, 5*z = 4*c - 10 for c.
5
Let d = 8 + -6. Suppose -d*s + 6*s = 2*f - 66, s = 3*f - 19. Let b = s - -26. Solve 0 = -4*q - l - 2*l - b, q = 5*l - 14 for q.
-4
Let z = -40 - -49. Solve -4*y + 0 = -i - 19, 3*i = -z for y.
4
Let x(i) = -i**3 - 5*i**2 - 7*i + 1. Let f be x(-4). Suppose 3*r = 5*r. Solve -3*h - 2*h + a - 10 = r, h = -2*a - f for h.
-3
Let q(t) = t + 7. Let h(c) = c + 14. Let m be h(-9). Let j be q(m). Suppose 0 = n + 3*n - j. Solve -3*z = n*o - 24, -z + 18 = 6*o - 3*o for o.
5
Let v be 4 + 2 + 0/(-1). Solve -2*t + v = -2*b, -3*b + 3*t = -b + 4 for b.
-5
Suppose -11*j = -37 - 51. Solve -5*i + 3*s + j = 0, -4*i = i - 5*s for i.
4
Let t = -59 - -59. Solve -4*g - 5 = i - t*i, 5*g = -2*i - 10 for g.
0
Let n be (-299)/(-78) + (-2)/(-12). Solve -20 = -4*r, 0*t + 2*r - n = 2*t for t.
3
Let u(q) = q**3 - 5*q**2 + 4. Let g be u(5). Suppose -g*o = o - 10. Let j = -5 - -9. Solve 5*y - j*y + 3*n = 0, 0 = -3*y + o*n for y.
0
Suppose -8 - 7 = -3*u. Let w = -1 + u. Solve 3*j = -2*y + 1, -w = -j - 3*j for y.
-1
Suppose -3*b + 5*q - 2 = -4, -3*q + 14 = 2*b. Solve -5*p = 2*o - 28, -2*p + b = 5*o - 24 for p.
4
Suppose -1 = -4*i + 3. Solve 0 = m + h + i, -3*m + 0*h - 11 = -h for m.
-3
Let l be 0 - (-12 - -4 - -3). Solve -l*t - 5*k - 3 = -3*t, 2 = 5*t + 3*k for t.
1
Let s = -27 - -32. Solve -3*y - 9 = -s*f, 0*y + 4*y = -2*f - 12 for y.
-3
Suppose 3*p + 72 = 4*c - c, 25 = -5*p. Solve -2*j + 4*t = -j - 13, -