 = 0 for h.
-3
Let b(d) = 2*d**2 - 6*d - 8. Let v be b(4). Solve 0 = -z - f - v*f - 2, -2*f - 16 = -2*z for z.
3
Let j = -21 - -79. Let o = 62 - j. Solve -o*h + 3*z = -19, -2*h - 3*z + 6 = -z for h.
4
Let d = 6 - 3. Let m = -1820 - -1823. Solve -25 = 5*i, -m*u + d*i + 13 = -u for u.
-1
Let d be (44 - 29) + 3/1*-1. Suppose -40*w - d = -43*w. Solve -3*i = f - 0*i + 20, 5*f - w*i + 5 = 0 for f.
-5
Suppose -3*n + 3 = 4*j, -3*n + 9 = -6*n. Let i = j - -8. Solve i = 3*l + 4*f, f = -5*l - 3*f + 13 for l.
1
Let s(m) = m**3 - 10*m**2 + 8*m + 13. Suppose 33*u = 34*u - 9. Let l be s(u). Solve -3*w + 6*w = l*i - 6, -i + 2*w = 1 for i.
3
Let n be -1*5*(-1 - 0). Let h be ((-4)/7)/((-352)/8624). Solve 5*f + h = 4*d, f = -3*f + n*d - 13 for f.
-2
Let m(w) = -w**3 + 5*w**2 + 6*w - 1. Let d be m(6). Let v be 2 + 4 + d*6. Solve v = 4*l + 16, -2*x - 2*l = 3*x + 18 for x.
-2
Let m = 35 - 31. Suppose 2*u - m = -5*y + 6*u, -2*y - 4*u + 24 = 0. Solve -2*d + y*k = -14, 4*d - 4*k = 3 + 13 for d.
1
Let l = 564 + -560. Solve -i = 4*c - 2, 3*c = 4*c + l*i + 7 for c.
1
Let d = -69 + -1. Let w = d + 73. Suppose -5*z = -2*z - 27. Solve w*x + z + 8 = 4*q, q = 5*x for q.
5
Let k(x) = -x**2 + 22*x + 30. Let l be k(23). Solve 2*f + l*h = 2*h + 15, 0 = -f - 3*h + 10 for f.
-5
Suppose -3*l = 4*x - 8, 2*l + 2 = -3*x + 4*x. Suppose l = 26*n - 21*n - 20. Solve -5*r + 4*i + 3 = -2*r, -r - 15 = n*i for r.
-3
Let v(s) = 6*s - 20. Let f be v(8). Suppose j + 3 + 7 = 3*c, -8 = -2*c + 2*j. Solve 3 = 5*w + c*i + f, 2*w = -2*i - 14 for w.
-2
Suppose 3*s - 9 = -0. Let b(z) = 0*z - 2*z**2 - 2*z + z**3 - 1 + 0*z**2. Let i be b(s). Solve -5 = -2*g - i*l + 3, -l = -g + 4 for g.
4
Let x be (-3 + 0)*2/(-3). Let p be 4/(9*(-20)/(-225)). Solve 5*n + 3*a - 16 = 0, p*n + 3*a - x*a - 22 = 0 for n.
5
Let p(t) = -2*t**2 - 23*t - 23. Let x be p(-10). Solve 5*j - 13 = -3*c, -2*j + 5*j = -c + x for j.
2
Let u = -38 + 41. Suppose -6*p + p + 10 = -5*v, -20 = -5*p. Suppose 92 = 3*z + n + n, z - 36 = -v*n. Solve 3*f + f - 4*w = -z, -27 = u*f - 5*w for f.
-4
Suppose -4 = -5*n + 11. Solve -3*q + 12 = 0, 0 = 4*l - n*q - 8 - 0 for l.
5
Let x(z) = -z**3 - 3*z**2 + z - 17. Let r(a) = -3*a - 23. Let f be r(-6). Let l be x(f). Solve -6*c + 4*c - 2 = -4*d, -5*c = d - l for d.
3
Let g be (0 + 3 + -3)*-1. Suppose -4*k + 0*k + 8 = g. Suppose 3*r + 2*y + 1 = 0, 3*r - 4*r - y = k. Solve 9 = r*c, -s + c = s + 3 for s.
0
Let p = -63 + 32. Let q = p - -33. Solve -5*l = 5, -y + 3*l + q = -1 for y.
0
Let y = 2240 - 2237. Solve 0 = -w - 4*v + 18, w - 16 = -w - y*v for w.
2
Let v = 175 + -178. Let y(k) = 3*k - 3. Let j be y(2). Let l = j + v. Solve -2 = -4*u - 3*p, 2*p - 5*p + 6 = l for u.
-1
Let d(n) = -n + 13. Let p be d(11). Let v be (5 - p)/(6/(-1000)). Let a be v/(-35) + (-4)/14. Solve 5*y + 9 = 2*g - 0, -4*y - a = -5*g for g.
2
Let p be -6*28/21 - -20. Solve -2*d = -5*n - 8, 2*n + 4*d + p = -2*n for n.
-2
Let h = 42 - 39. Solve 0*m = -3*m - h*d - 9, 2*d = 0 for m.
-3
Let z(x) = x**3 + 4*x**2 + 3*x + 2. Let s(b) = b - 1. Let w(n) = -3*s(n) + z(n). Let h be w(-5). Let u = 23 + h. Solve -p - 2 = 2*p + j, 6 = -3*p - u*j for p.
0
Let g = -969 + 974. Solve 0 = 2*l + 3*q - 16, -g*l + 4*l + 3*q = 1 for l.
5
Let p be 0 - 3/(3 + 0). Let v(g) = 58*g - 2. Let l be v(p). Let x be ((-3)/(-2))/((-18)/l). Solve -4*a = 5*b - 11, 4*a - 3*b = x*a - 8 for a.
-1
Let u = -46 + 60. Suppose 2*r + u = 4*r + 4*k, r + 3 = 3*k. Solve 0 + 4 = 4*o + 2*g, 5*o - r*g = -17 for o.
-1
Suppose -5*c - 5*s = -s + 392, 4*s = 4*c + 328. Let q = c + 84. Solve -3*b = q*w + 27, 8*b - 3*b = -25 for w.
-3
Suppose -a = -3*i - 15 - 2, -4*a = -2*i - 28. Solve 4*u - 20 = 0, -u - a - 10 = 5*r for r.
-4
Let q = 1396 + -1392. Solve 4*h + 0 - 6 = -2*w, -5*h + 9 = q*w for w.
1
Suppose -2*k + 2 = -6. Solve -y - 4*v + 17 = -k, -5*y = 2*v - 33 for y.
5
Suppose 7*p - 11 = 108. Let y be 2/(4 - 5) + p. Let f = -1 + 5. Solve b + 2*k - y = -0*k, -f*b + 15 = -k for b.
5
Let n(l) = -l**3 + 56*l**2 + 241*l - 55. Let z be n(60). Solve 5*p - 2*x - 35 = 0, 2*p = -0*x - 3*x - z for p.
5
Suppose 4*s - 4*l = 0, -s = 5*l + 3 - 27. Solve -2*i + 2 = s*o - 8, -4*o + 13 = 5*i for i.
1
Suppose -200 = 217*u - 257*u. Solve 0 = -u*b + 3*d - 26, 6*d = 3*b + d + 22 for b.
-4
Let m be 1/(-3) + 76/12. Solve 3*n - 2*n - 3 = 2*h, 2*n + 2*h + m = 0 for n.
-1
Suppose -4*v + 77 = -d, -4*d + 23 + 9 = v. Let n be v/(-4*4/(-32)). Suppose 0 = -2*o + n + 6. Solve 0 = -3*x + 4*a + 7, 5*x - o = 3*a - 2*a for x.
5
Let g be (66/2)/3 + -5. Let h = 7 - 5. Suppose 3*q - 2*x - 56 = -x, 0 = 5*q - h*x - 94. Solve -4*k + g = -k, 5*m = -4*k + q for m.
2
Let m(v) = -v**2 + 8*v - 14. Suppose 3*q - 20 = -2*t - 2*t, -2*t = 4*q - 20. Let l be m(q). Solve 2*i + 6 = y + l*y, 0 = -4*i - 5*y + 32 for i.
3
Let c = 14 + -16. Let s be c/(-9) + 12/(-54). Solve 3*g = w + 2*g, s = 3*w + g + 20 for w.
-5
Suppose y + 5*h = -44 - 21, 0 = -2*y + 5*h - 115. Let j = -39 - y. Suppose -4*b + j = -3. Solve 2*w + 2 = -3*v - 0*v, 0 = -2*w - 4*v - b for w.
5
Suppose -9*r + 8 = -10. Solve 3*b + r = -2*g, g + 3*b - 26 = 6*g for g.
-4
Suppose -3*q - 3*l + 252 = 0, 0*l = 5*l + 10. Suppose 4*y - q - 18 = 0. Let x be (-3)/2 - y/(-4). Solve 4*w - x*d = -4, 5*w = w - 4*d + 32 for w.
4
Suppose -2*j = 4*v - 54, -25 = 4*v - j - 70. Solve -4*f - 4*q = 8, -5*f + 3*q + 34 = v for f.
2
Suppose 0 = -i - 30 + 1. Let n = i - -33. Solve n*v + 11 = -5*j, 0 = -0*j - 2*j + v + 6 for j.
1
Let z(p) = -2*p**2 - 34*p + 38. Let c be z(-18). Solve -3 = -c*b + 4*m + 7, m = -5*b - 30 for b.
-5
Let k(n) = -2*n**3 - 2*n**2 + 2*n + 1. Let q be k(-2). Solve -4*w + 5*o = -2*w + 19, -q*o = 4*w - 37 for w.
3
Let o be 7 - 5 - (-2 + 0). Suppose b + 19 = 6*z - 2*z, 2*z = -o*b - 4. Solve -z*m - 4*s - 12 = s, -4*m = -4*s - 24 for m.
2
Let s(v) = -v**3 - v**2 + 2*v + 3. Let j be s(0). Suppose 0 = 2*l + j*k + 3, l = 2*l + 2*k + 2. Solve 2*f - r - 8 = -l*r, f = r + 4 for f.
4
Suppose -194*a = -213*a. Solve 5*y = 28 - 8, a = -3*n - y + 7 for n.
1
Let f = 155 + -147. Suppose -b = 2*z - f, -4*z = 2*b - 3*b + 8. Suppose -h - 2 = 2*a - 20, -5*h - 3*a = -62. Solve 5*y = 3*c - b*c + 25, -h = -2*c + y for c.
5
Let g = 4 + 6. Suppose w - 4*z = -z + 8, -5*z + g = 3*w. Let b = -2 + 6. Solve 6 = -2*m + b*h, -w*m + 3*h - 1 = -0 for m.
1
Let f = 125 - 122. Let w(t) = 3*t**2. Suppose g - 2*h = -3*g - 14, -5*h = -25. Let r be w(g). Solve -2*d + 13 = f*c, -2*c + 7 = r*d - 0 for d.
-1
Suppose 3*l = 4*l. Let p(j) = j**2 + 2. Let y be p(l). Solve u + z = -4, y*z + 4 = -0*z for u.
-2
Let r(y) = -3*y + 89. Let m be r(27). Let b be (-15)/20*m/(-3). Let h(z) = z**2 - z. Let c be h(4). Solve x = -b*n + c, 3*x = n - 4*n + 21 for n.
5
Suppose v - 2*n - 12 = 0, 2*v + 3*n + 28 = 6*v. Solve -2*k = 3*m + 1, 5*k = v*m + 6*k + 3 for m.
-1
Let l(v) = -8*v**3 + 2*v**2 - 36*v - 38. Let j be l(-1). Solve -3*y + y + j = -4*w, 0 = 2*y - 4 for w.
-1
Suppose -3*o = -28 - 41. Let w = o - 23. Solve w = 2*n - 1 - 1, -4*d = -2*n + 18 for d.
-4
Suppose -3*q + 5*d + 18 = 0, -4*q - q = -2*d - 30. Let g(o) = o + 14. Let n be g(q). Solve 3*j + j = h + 20, -3*h = 4*j - n for h.
0
Let m be (29 + -12)*(2 + -1). Let w = -250 + 254. Solve 0 = 2*b - 3*p + 9, b + 0*b + m = w*p for b.
3
Suppose 8 = 2*g - 6. Suppose 2*t = 5 + g. Let v = -19 + 21. Solve -o = 3*l - 14, -v*o + t = -l + 3*o for l.
4
Let w(k) = -35*k - 30. Let p be w(-1). Solve -p = -5*y + 5*o, -1 = 4*y - 2*y - 5*o for y.
2
Suppose 19*l - 50*l = -62. Solve -5*t = 3*z + 13, 5*t + l*z + 2*z = -14 for t.
-2
Let h(z) = 2*z**2 - 3*z. Let k be h(2). Let v be (24/14)/k*7. Suppose -s + v = 2*s. Solve -s*d = -7*d + q + 30, -5 = q for d.
5
Let d(z) = -z**3 - 9*z**2 - 3*z - 27. Let j be d(-9). Solve -2*l + 5*p - 4 = j, -5 = 2*l + 5*p - 1 for l.
-2
Let z(t) = t**2 + 10*t + 16. Let h be z(-8). Suppose w + r = -3*w + 12, h = -w - 5*r - 16. Solve -w*b + f = 4, 4*b + 5*f + 26 = b for b.
-2
Let z(o) be the first derivative of -o**3/3 - 3*o**2/2 + 2*o - 9. Let i be z(-3). Solve 2*k - 8 = l, 0 = -3*k + i*k - 5*l + 15 for k.
5
Let v(y) = 2*y - 13. Let b be v(9). Let z(s) = s**3 - 9*s**2 - 13*s + 12. Let h be z(10). Let j = -13 - h. Solve -2*m = 5*k + 3*m - j, -2*k + b*m = 26 for k.
-3
Let t(p) = p + 42. Let o be t(18). Suppose 4*g - n = -9 + o, -15 = 5*n. Solve -4*a - g = -5*c, -4*a - 4*c + 24 = -0*c for a.
2
Let