= 0 for h.
-2
Let s = -4 + 8. Suppose -x + 21 = s*y, -5*x + 28 = y - 1. Solve -3*n + y*n - 5 = -f, -3*f + 2*n + 10 = 0 for f.
4
Suppose 5*w - 5 = -5*c, c + 8 = -3*c. Suppose -3*v = 2*v + 50. Let f be (-254)/v - (-16)/(-40). Solve -4*d + w*d = 2*r + 9, 5*d = -5*r - f for r.
-4
Let b be 4/(-20) - (-104)/20. Solve j - 6*j - k - b = 0, 2*k = 0 for j.
-1
Let d be 24/(-6)*10/(-4). Let k = d + -6. Suppose q + k = 3*q. Solve -4*r + 3*r = -o + q, -4*r - 3*o + 6 = 0 for r.
0
Suppose -3*b + 3*f + 0 = 51, -b = -3*f + 27. Let t be (-243)/b + 1/(-4). Let j be (0 + -1)/((-4)/t). Solve -j*w - 34 = 3*a, 5*w + 0 = -a - 28 for w.
-5
Let m(n) = 4*n - 4. Let c be m(1). Suppose q = 6 + 2. Solve 0 = t + w + q, c = 4*t - 3*t - 4*w - 12 for t.
-4
Suppose -4*v = -26 + 6. Solve 2*q - 3 = 3*z, q + 7*z = 2*z - v for q.
0
Let v = 6 - 4. Solve 0 = -2*y + 3*y - 3*g - 8, 2*y + v*g = 0 for y.
2
Let a be 0*-1*(4 + -3). Suppose -4*z - 16 = 0, 3*n + z + 4*z + 17 = a. Let k = n - 1. Solve -2*p = -4*l - k*p, 0 = -l + 4*p + 7 for l.
-1
Let n be (-6)/(-33) - 6/33. Solve n = 3*c - k - 17, -3*c + 2*k - 7*k = 13 for c.
4
Let v be 6 - 3*(1 - 2). Solve 4*n + 10 = 7*n - 4*d, -v = -2*n + 5*d for n.
2
Let u be (-1 + 2 - 2) + 7. Let p = -13 + u. Let l = -3 - p. Solve 10 = -5*g + 5*o, -6*g + 4*g + 4*o - l = 0 for g.
-2
Let w be (1*(-1 + 1))/(-2). Suppose w*k = -k - 66. Let l = 93 + k. Solve s + 8*b - l = 3*b, -3*b + 11 = -2*s for s.
2
Suppose -b - 4 = 0, -b = 2*v - 6*b - 26. Solve 3 + 9 = 5*j + v*z, -2*j - 3*z = -12 for j.
0
Suppose 3*k = 146 + 4. Suppose -5*a + k = 5*t, a + 5*t = 6*a. Solve u + 2 = 0, -3*m + m + a*u + 10 = 0 for m.
0
Let g = 0 + -1. Let h be -1 - 2 - (g + -4). Suppose -8 = -h*y - 2*y. Solve -v = -k + 2, -1 = 2*k + v + y*v for k.
1
Let m be 60/8*(-8)/12. Let d be (6/10)/((-1)/m). Solve k - 4*s = -3*s + 1, 0 = d*k + s - 3 for k.
1
Let r be (-4)/(-10) + 36/10. Let q be (r - 8)*(-2)/4. Solve -s + q = a - 3*a, -5*s - a = 23 for s.
-4
Suppose 7 - 4 = 2*v - 5*r, 5*r - 25 = 0. Solve -h - v = 4*h + u, -7 = 4*h + 5*u for h.
-3
Let w = -3 - -7. Suppose -3*a + z + 78 = 0, -w*a = 5*z - 122 + 37. Solve -41 = 2*i + 4*g - 13, 0 = 5*i + g + a for i.
-4
Let b be (2/2 - -2) + 1. Suppose -b*v - 4*o = 0, 4*o + 7 - 1 = -v. Let r be 0*(-1)/(-4)*-2. Solve -v*u + r*s = -3*s + 7, -3*s - 1 = -4*u for u.
4
Let t = 18 + -15. Solve -3*k + 8 = -g - t, g - 5*k + 19 = 0 for g.
1
Let m = -7 + -1. Let b be (-13*1)/(-9 - m). Solve 5*q = 2*y - 15, q - b = -3*y - q for y.
5
Let p be (3 - 0)*(-1 - -2). Let w = -6 - -11. Suppose w*y = 4*y. Solve y*g + g + 16 = -p*x, 5*x - 3*g + 22 = 0 for x.
-5
Let o be -4 + (-6)/(-3) - 3. Let q = 10 + o. Solve -q*w + 20 = 0, j = 5*j + 4*w - 16 for j.
0
Let x be 9/6*2 + 1. Solve -4*v = g + x*g + 2, -2*v + 2*g = 10 for v.
-3
Let h be -1*(0 + -2)*3. Suppose 0 = -5*k, h*w - k = 3*w + 6. Solve 5*n + 2*d = -3, 0 = n + 3*d - w - 0 for n.
-1
Let u be -4 + 5 - (-1 + 6). Let j be (0 - -4) + u/4. Solve 0 = -j*v + 4*r - 20, -v + 2*r - 10 = 4*v for v.
0
Suppose -l - 8 = -2*i - 2*l, 0 = -5*i + l + 20. Solve -s - 3 + 1 = -i*g, 4 = 2*g - 2*s for g.
0
Let a = 7 - 8. Let r be (a + (-4)/(-6))*-15. Suppose -4*p = -3*c - 8, 0*p - 5*c + 10 = 5*p. Solve r*w + 2 - 14 = 4*t, 6 = 5*w - p*t for w.
0
Let g(s) = -s. Let b(p) = p**3 + 8*p**2 + p + 6. Let z be b(-8). Let c be g(z). Let q = c - 1. Solve -4*w + l = 16, -4*w + 3 + q = 4*l for w.
-3
Suppose 0 = -5*m - 0*m. Solve m = 2*w - 0*w + 10, -z = w + 1 for z.
4
Let m be (-105)/(-175) - 74/(-10). Solve -16 = 4*b, 2*c - m = 6*c - 2*b for c.
-4
Suppose 0 = -0*u + 2*u - 14. Solve 4*i + u*t - 2*t - 3 = 0, 0 = 5*i - 4*t - 14 for i.
2
Suppose 0 = -f, 0*q - 2*f + 52 = 4*q. Solve -4*u - q = -k, -2*k = 4*u - 4*k + 18 for u.
-2
Suppose -2*r - 185 = -7*r. Suppose r + 103 = 5*s. Let i be (-4)/(-10) + s/5. Solve 5*z - i*u = -2*u + 25, 0 = 5*z + 3*u + 10 for z.
1
Let x be 1 - (-4 + 2 - 0). Suppose p = -x*u + 27, 4*u - 5*p = -p + 52. Solve 5*z - 40 = -4*r, 0 = 2*r - 6*z + z + u for r.
5
Let t(i) = 2*i**2 - 12*i - 12. Let k be t(7). Solve 5*f + 4 = 4*f, -3*x - 23 = k*f for x.
-5
Let k = -5 + 6. Suppose s = -5 + k. Let w = s + 4. Solve w = -2*l + 3*i + 11, l = -2*l + 5*i + 18 for l.
1
Let p = -6 + 11. Suppose -r - r = 0. Solve r = -3*v - 0*k - p*k - 34, 2*k = -10 for v.
-3
Let s be (-2)/8 - (-1)/4. Suppose -d + 11 = -8. Let w = -8 + d. Solve -w = f - 4*c, -4*f + s*c + c = -1 for f.
1
Let o(w) = 2*w - 27. Let r be o(14). Suppose 0 = 2*f + 8, 0*h = -4*h + 4*f + 20. Solve 0 = -x - 2*n - 4, -n = -5*x + r + h for x.
0
Let w = -83 + 88. Solve 4*g = -w*x + 32, -6*g = -g - x - 11 for g.
3
Let r = 157 + -152. Solve 2*j - 12 = -4*v, -5*v + 21 = -4*v + r*j for v.
1
Suppose -3*i = 4*j + 6, 2*j = 4*j + 5*i + 10. Let x be 2*(2 - 4/(-8)). Solve -5*a + 4*n = -27, -x*a + 6 = 3*n - j*n for a.
3
Let y = -5 - -7. Suppose y*o - 10 = 2. Let b be 6/(-9) + 22/o. Solve x - 11 = 3*i - 0*i, 0 = -x - 4*i - b for x.
5
Suppose 5*i - i - 8 = 0. Suppose 2*q - 7 = 3. Solve -q*c + 20 = -5*a, -3*a - i*a - 20 = -4*c for a.
-4
Suppose 0 = 11*q - 16*q + 25. Solve j + g = -3*j - 15, q*g = 2*j + 13 for j.
-4
Suppose -27 = -2*o + 6*o - 5*y, 2*y = 2*o + 12. Let a = o + 10. Let v(n) = 2*n - 10. Let q be v(a). Solve -4*p - d = -8, 4*d + 10 = p + q*p for p.
2
Let u = 3 + 0. Suppose -u = v - 7. Let w = 6 - v. Solve 10 = 7*h - 2*h - 5*z, -w*h - 6 = 3*z for h.
0
Let p(i) = i**2 - 8*i + 4. Let f be p(-6). Suppose -f - 2 = -c. Suppose -6*d + c = -d. Solve 2*q + 3*x - d + 3 = 0, -4*q + 4*x = 0 for q.
3
Suppose 5*i - 11 = 9. Suppose -i*g + 12 = 2*d, -2*d + 4*d = -g. Let m(l) = -l. Let q be m(d). Solve -9 = k - q*k - 4*x, -3*k + 3*x = 18 for k.
-3
Suppose -3*q + 30 + 15 = 0. Suppose -4*k + k + 18 = -3*d, 9 = 5*k + 2*d. Suppose -2*l - k = -17. Solve 5*t - 5*j = -35, q = -t + 4*j - l for t.
-2
Suppose 0 = 5*o - 4*y - 28, 3*o + 4*y - 8 = -o. Let c be -2*15/12*-2. Solve 9 = c*u - o*v + 33, 2*u + 3 = -5*v for u.
-4
Suppose -4*v + 7 = 5*z, -4 = -v - z - z. Let i(a) = a**2 - a - 2. Let m be i(v). Suppose 2*y = 6, 5*y - 18 = -3*f + 3*y. Solve 2*s - t = 4*t, -f*s = -m*t for s.
0
Let p be 0*(2 + -1)*-1. Suppose -g - g + 8 = p. Let s = g + -3. Solve 4*m - 5 = 4*a - s, 5*m - 15 = -5*a for m.
2
Let a = 1 - 0. Suppose 9 = k + 3*d, -2*d = -2*k - a - 5. Let m be 1 + 0 + (-1)/1. Solve -5*v - 5*s - 25 = m, 0 = -3*v - k*v - s - 13 for v.
-4
Suppose 4*j - 4*m - 24 = 0, j = -0*j - 5*m - 6. Solve 4*r + 2*p = -4, j*r - p - 4 = -2 for r.
0
Let y(o) = o**3 + o. Let j be y(0). Let t be 1/(-14)*-8*7. Solve j = -4*l - t*g + 4, -3*l = -l - 4*g - 2 for l.
1
Suppose 5*q - 3*q = -q. Solve -v + 2 = 0, -3*u - 4*v + 0*v + 5 = q for u.
-1
Suppose 0 = -5*h - 3*m + 15, h + 6*m - 3*m = 3. Solve -20 = h*l - 0*l + 5*k, -4*l = -4*k + 16 for l.
-5
Suppose 14 - 4 = 2*c. Suppose -20 = -2*a - 3*a. Solve -c*y = -3*t - 23, -y + 0*y - a*t = 0 for y.
4
Let q(r) = -r**3 - 4*r**2 + 3*r + 6. Let z = 7 - 11. Let u be q(z). Let a = u + 8. Solve 7 = 2*j + n, -a*n - 21 = -5*j - n for j.
4
Let n be (-3 + -72)*(-1)/3. Let x be n*2/(6/3). Solve 4*z - 4*p + 9*p = x, 5*z + 15 = 3*p for z.
0
Suppose -10 = -4*o + 2. Suppose -2*t = t - 3*h, t + o*h = 0. Solve 3*p - 3*g + 7 = -2*g, p - g + 5 = t for p.
-1
Let q(d) = 6*d**2 - d - 1. Let m be q(-1). Let p be (-6)/(-9) + 14/m. Suppose 4*r - 3*r = 0. Solve -j - 5*k + 17 = r, 0*j - 2*j + 6 = p*k for j.
-3
Suppose -u - 56 = -5*u. Solve i - 5*d - u = 0, -2*i = -2*d - 3 - 1 for i.
-1
Let u be (-18)/3*8/3. Let s be 1/(-3) - u/3. Suppose 0 = -w - h, 0*h = s*w - 3*h. Solve w = -5*m - 5*q, m + 5*q - 2*q - 8 = 0 for m.
-4
Let z = -8 - -16. Solve a - 1 = 0, -3*r - r = 4*a + z for r.
-3
Let g = -1 + 4. Let i = -1 + g. Suppose 2*s - i*d - 8 = 0, -s - 5*d - 6 - 14 = 0. Solve -3*m - b - 13 = s, m = 5*b - 0 + 1 for m.
-4
Suppose 5*f = -5*q + 10, -10 = 4*f + 2. Suppose 6*l = l + 20. Solve q*n + 0 = -4*r + 6, -2*r - 3*n = -l for r.
-1
Suppose -6*a = -12*a. Solve 0 = h - 5*y + y + 9, a = -5*h - 4*y - 21 for h.
-5
Let j(v) = 2*v**3 + 3*v**2 - 4*v + 3. Let z be j(2). Let h = 9 - 0. Let x = 1 + 2. Solve -z - 1 = -x*t + 3*w, -h = 3*w for t.
5
Let k be (-4)/(-14) - 78/(-21). Suppose -4 + 16 = -k*p. Let x be -2 - p - -23 - 0. Solve -2*l + 6*c - 2*c = x, -5*c + 25 = 0 for l.
-2
Let r = 52 - 47. Solve -3*s = -r*b - 27, 0*b - b = -4*s + 19 for b.
-3
Let a = 1 - -4. Su