8 for h.
5
Let t = 21 + -13. Let y = t - 10. Let f be 54/(-4)*4/y. Solve -17 = -5*s + 2*b + 4, f = 5*s - 4*b for s.
3
Let h be (-1)/(-2)*-2 - -2. Suppose -2 = q - h. Let i be (-1 - q)/(-3) + 4. Solve 0 = 2*w + 2*f - 18, 2*w + 0*w = i*f - 6 for w.
5
Suppose 5*m + u = 23, 3*m - 5*u + 1 = -2. Solve -3*t + m - 1 = 2*g, -5*g + 14 = t for g.
3
Suppose 2 = -d + 4. Solve t - 1 = -o - 0, -3*t = d*o + 2 for o.
5
Suppose j = -5*x - 27, -3*x + 5*x = j - 15. Let p be (-2)/(-6) + (-22)/x. Solve -2*n + 26 = -p*f, 2*n - f - 11 = -0*n for n.
3
Let u(n) = 3*n**3 - n**2. Let z be u(1). Suppose -z*l + 6 = -0. Solve 2 = 4*q + 2*h - 2, 2*q = l*h - 14 for q.
-1
Let g(p) = p**3 - p**2 - 1. Let i be g(2). Solve -b + 9 = 3*j - 4*b, j + i*b - 7 = 0 for j.
4
Let l(v) = v**3 - 7*v**2 + 4*v + 16. Let w be l(6). Solve 0 = w*b + 12, 0*c + 3*c - 4*b - 15 = 0 for c.
1
Suppose v - 5*v + 16 = 0. Solve -3*u = 3*n - 15, u - 4 - 1 = v*n for u.
5
Suppose 0 = -0*u + 4*u + 16, 0 = -x - 5*u - 15. Suppose -d + 5 = -k + 2*d, 3*d - 25 = -k. Solve x*y + 15 = -s, -5*y + 4*s + k = -0*y for y.
-2
Let h be 2/(-7) - 60/(-14). Suppose -1 = 3*a - 7. Let t = a + 0. Solve b + 5 - h = -t*y, -5*y - 22 = -4*b for y.
-2
Suppose -n + 20 + 9 = 3*i, -3*i + 5*n = -35. Let c(g) = g - 10. Let q be c(i). Solve 3*y + 10 = t, q = -4*y + 5*t - 43 + 15 for y.
-2
Suppose -32 = -3*x - f, -4*x + f + 23 + 15 = 0. Suppose -z + 2 = 0, -4*w + x = -3*z + 2*z. Solve 3*t + t + 3*l = -16, w*t = 3*l + 9 for t.
-1
Suppose m - 13 = -s, 0 = 2*m - s - 13 - 1. Suppose -c = 2*c + m. Let q = 5 + c. Solve -5*n + q*z = 30, -n = n + 3*z - 7 for n.
-4
Let t = -61 - -64. Solve -t*i - a = 4*a + 5, -3*a + 8 = 4*i for i.
5
Let t = -4 - -20. Solve 3*v = -v - 3*y + 4, t = 4*y for v.
-2
Suppose -2*i + 0 - 32 = 0. Let t be i*(1 + (-9)/6). Let m be (-3)/15 + 21/5. Solve 4*c - h = 2*h - t, -h = -m*c for c.
1
Let m = -45 + 49. Solve 5*n + m*v = -21, 2*v = -3*n - 2*v - 19 for n.
-1
Suppose 0 = 2*i - 6*i + 8. Suppose -y = -3*b + 20, -3*y - 10 = 3*b + i*y. Solve 4*v - 2*v = -6, -4*f - 15 = b*v for f.
0
Let b be (-9)/(45/(-20))*1. Solve -3*j - 1 = -4*t, 6 = -j - b*t - 5 for j.
-3
Suppose 4*j - 129 = 79. Suppose b - j + 21 = 0. Suppose 50 = 3*n - b. Solve 0 = 3*y + 3*r + n, -3*y - 4*r - 13 = 19 for y.
-4
Let s = -39 - -42. Solve -s*q - 6 = -2*g - 0*g, 0 = 3*q for g.
3
Suppose -t - 4*w = -15, 16 = 4*w + 4. Solve -5*b + 2*v = -t*v + 25, 0 = 3*v - 6 for b.
-3
Suppose 4*h + 5*y = 41, -3*h - 2*y = -5*h - 2. Solve h = o + o, -12 = a - 5*o for a.
-2
Let k(j) = j**2 - 10*j - 9. Let z be k(11). Solve -t + 7 = -0*x + z*x, 2*t = -x + 8 for t.
3
Suppose 3*y - 2*d = -5*d, 3 = 3*y + 2*d. Solve -25 = -5*j - 4*s, y*j - 6*s = -3*s - 12 for j.
1
Suppose 4*w - 5*a = -25, -2*w + a - 4 - 1 = 0. Solve -5*g + 4*p + 23 = w, g + 3*g - 5*p = 22 for g.
3
Let l(z) = z**3 + 9*z**2 - 7*z + 9. Let y be l(-10). Let j be (y/(-6))/(2/4). Solve -u + 18 = -5*a + u, -a - j = 3*u for a.
-4
Let j = -9 - -2. Let l(t) = t**2 + 7*t + 4. Let o be l(j). Solve -g + 0*m - o*m - 19 = 0, -3*m - 17 = -2*g for g.
1
Suppose 0*y - y = 10. Let s = y + 17. Solve 0 = -l - r - s, -l - 5*r - 15 = -2*r for l.
-3
Suppose 0 = c - 2*c + 3*q + 12, 6 = 5*c + 3*q. Solve b - c*b = -i + 12, 3*i - 11 = b for b.
-5
Let q be (-4 - -5)/((-1)/(-2)). Solve 0 = q*n - 2*f - 3*f - 9, 2*f + 12 = 5*n for n.
2
Let y(b) = 2*b - 1. Let z be y(2). Let n = 3 - 3. Suppose 0*a - a + 3 = n. Solve 5*x - 5*u + a*u + 20 = 0, -z*x + 9 = 3*u for x.
-2
Let n = -3 - -5. Let p = 4 - n. Suppose -2*o + 2*x - 12 = -4*o, -x - 4 = -o. Solve -4*u + 3*m = -3*u - o, -p*m = -5*u + 12 for u.
2
Suppose 23 = 3*w + j, -2*w - j = -5*j + 8. Let z = w - 1. Solve t - 6*t - z*p + 15 = 0, 9 = -2*t + 3*p for t.
0
Suppose -3*c + 2*s = -25, -5*c - 3*s - 10 = -4*c. Solve 4*i + c*p + 2 = 17, 3 = -2*i + p for i.
0
Let l = 8 + -3. Solve 9 = b + 3*u, -3*b + 7 + 4 = l*u for b.
-3
Let z be (2 + -5)*(-2 + 1). Let y = -3 + z. Solve -r - a - 8 = y, -2*a = 5*r - 0*a + 28 for r.
-4
Let w(l) = 6 - 2*l**2 - 4 - 2*l**3 - 4*l**2 + 3*l**3. Let h be w(6). Solve 0*v - 6 = 2*f - h*v, 0 = -4*f + 3*v - 14 for f.
-5
Suppose t - 4*m = 6, -4*m + 108 = 4*t + m. Solve -f - t = 5*p, 0 = -5*f + 2*p - 4*p + 5 for f.
3
Let u(x) = -x**2 - 9*x - 6. Let h be u(-8). Suppose h*t - t = 1. Suppose 5*f = -t + 16. Solve -2 = n - f*b, 0 = -2*n - 4*b + 12 + 4 for n.
4
Let u(h) = -2*h. Let y be u(2). Let a = 6 + y. Let o = a - -2. Solve -o*v - 3*x + 6*x = -7, 0 = v + 3*x + 17 for v.
-2
Let q(m) = 2*m**3 + 13*m**2 - 14*m - 44. Let o be q(-7). Solve -2*r - 15 = 5*z + r, r = -z - o for z.
0
Suppose -s = 4*p - 25, 5*s - 7 = p + 13. Solve -2*h + 2 = 3*x, -3*h = -p*x + 2*x + 12 for h.
-2
Let r be (1 - -1)/2*25. Let y = r + -15. Solve -2*c = 3*h - 5, 0 = 4*h - 0*c + 2*c - y for h.
5
Suppose -x = -6*x - 5, x + 46 = 3*n. Solve 5*p - 3*c - n = 2*c, 0 = p - 4*c - 18 for p.
-2
Let b(d) = -d + 3. Let m be b(-3). Let z be m - -2*9/(-6). Suppose 0 = z*u + 5 - 17. Solve 0 = 2*l + 2*o - 3 - 7, u*l - o - 20 = 0 for l.
5
Let d(z) = z**2 - 2. Let b be d(-3). Let v be (7/(b/10))/1. Suppose 2*n - 19 - 1 = -3*w, 0 = -n + w. Solve -s = -2*o - v, -n*s + 3*s = 0 for o.
-5
Let q = 13 - 11. Let y be (0/2)/(q + -3). Solve 3*t + 13 = 5*x, -4*t + 0*x - 4*x + 36 = y for t.
4
Let u = -26 - -28. Solve -4*n = 4*m, u*n - 8 = -0*n - 4*m for n.
-4
Let t = 5 - 4. Suppose 3*h + 5*f + t = -6, 4*h + 2*f = 0. Solve -z - 3*u - h = -2, -3*z + 5*u + 17 = 0 for z.
4
Let d be (-2)/((-10)/(-375)*-5). Solve 0*c + 3*c + 25 = 5*p, -3*p = c - d for c.
0
Let r(v) = v**2 - 8*v - 7. Let i be r(9). Solve 0 = -2*g - 4*m, 3*m = -i*g + m - 2 for g.
-2
Let k = 6 + -9. Let y be ((-438)/(-4))/(k/(-4)). Suppose -4*f = -y - 190. Solve 0 = 2*r - 10, 5*a - 34 + f = 5*r for a.
-5
Let n = 9 - 7. Let m = 2 - n. Solve 3*a - 4 - 8 = m, -2*a = -o - 10 for o.
-2
Let y = 76 + -25. Let j = 3 + y. Let v = j + -31. Solve -2*g - 2*a + 0 = -2, 4*a + v = 5*g for g.
3
Let w be -2 - -2*20/8. Solve w*a + 35 = -2*a + 2*h, -5*h + 25 = 0 for a.
-5
Let y(b) = -b + 9. Let z be y(0). Suppose -5*c + 6 = -z. Suppose 5*s - 19 = -x, -5*s + c*x + 6 - 3 = 0. Solve -2*p - s*g + 2 = 0, -3*p - 2*p = 4*g - 5 for p.
1
Let m(c) = 20*c**2 + c + 1. Let j be m(-1). Solve -5*d + j = q, q - 3*d + 0*d = -12 for q.
0
Let o = 8 + -6. Let a be 2/13 - 24/(-13). Let n = 55 - 43. Solve -6*l + o*l - 12 = 3*h, -4*l + a*h - n = 0 for l.
-3
Let z be ((-6)/(-4))/((-2)/(-4)). Let j = -8 + 18. Suppose z*i = i + j. Solve -5*c - 25 = 5*m, 3*m + 22 = -i*c + 1 for c.
-3
Let s be 30/8 + (-3)/(-12). Suppose 0 = -w + 2 - s, 5*p - 98 = -w. Solve 3*r - 2 = -v, -5*r = -3*r - 4*v - p for r.
2
Let l be 15/(-10)*8/(-6). Let m be 8 - -1 - -1*1. Let i = m - l. Solve -5*d - 3*h - 12 = 0, -4*d - 7*h + 3*h = i for d.
-3
Let q be 3/((-9)/(-12)) - 2. Let z be -2 + 5 + (3 - 4). Solve -v + z = 2*a - 4, q*v + 12 = 2*a for a.
4
Let v = -1 + 3. Suppose -13 + 5 = -v*k. Let q = -1 + k. Solve -y + 2 = 4*h, -2*y + 8*h - 9 = q*h for y.
-2
Suppose -7*n = -2*n - 75. Let u be (2/5)/((-3)/(-15)). Suppose 0 = u*y + y - n. Solve 3*h = 4 + y, -4*l + 5*h - 31 = 0 for l.
-4
Let n = -145 - -161. Solve 4*o - 1 = m, 0 = 2*m - 6*m + 4*o - n for m.
-5
Let d(k) = 2*k - 1. Let c be d(4). Solve -4*r - 4*s + 0*s = -16, 2*r - 3*s = -c for r.
1
Let g = -6 + 11. Solve 0 = -2*i + 5*z + 1, z = 2*i - 4*i - g for i.
-2
Let b = 9 - 6. Suppose -j - 2 = a, 5*a - 2 - 2 = 2*j. Solve 5*c = -g + 14, a = 3*g - 4*g + b*c - 2 for g.
4
Suppose 0 = 2*n - 0*n + 4. Let v be (-2)/(-4) + n/4. Solve u + 4 = 5*d - 4*d, v = 3*d + 5*u + 12 for d.
1
Let j be (-15)/30 + 5/2. Solve -4*u + 3*x + 14 = -6, -2*x + j = 5*u for u.
2
Let n be 1 - 3 - (6 + 4). Let t = -9 - n. Solve 4*y - 19 + t = 0, 11 = -3*a - y for a.
-5
Let h(z) = z**3 + 2*z**2 + 2*z. Let b be h(0). Let w be -22*1/(-2) - -1. Solve b = -4*o, o = 2*c - 4 + w for c.
-4
Let m(x) = x**2 - 6*x - 11. Let k be m(8). Let a = 18 + -16. Solve c + 14 - k = -a*b, 0 = b + 5*c for b.
-5
Let z = -7 - -7. Suppose 1 - 2 = -i, z = -4*y + 2*i + 26. Solve -1 = -q, y*q + 1 = -b + 4*q for b.
-4
Suppose z + 3*d = -3*z + 6, 3*z = -3*d + 3. Let b be (-5)/4*(-5 - z). Solve -9 = t + 4*u, -5*u - b = 2*t - t for t.
-5
Suppose 0*n = -3*n + 9. Let h(l) = -l**3 + 3*l**2 + l - 3. Let i be h(n). Suppose -w + 13 + 4 = 3*b, i = 2*b - 10. Solve 3*j + a = -1, w = -a + 4 fo