0 for h.
0
Let i(c) = -c**2 - 8*c - 15. Let f be i(-5). Let w = 16 + f. Solve -3*g = -z + 1 + w, -4*g = z + 11 for z.
5
Let k be (-2)/(-1 + 0/(-2)). Let t(y) = -y**3 - 6*y**2 + 8*y + 4. Let s be t(-7). Let o be -18*s/(2 - -4). Solve -23 = 3*v - k*d - 7, -3*d = 3*v - o for v.
-2
Suppose -4*w = 0, -2*w = 2*z + 3*w - 6. Let x(q) = -q**2 + 22*q - 15. Let y be x(12). Let a = y - 75. Solve z*t - d = 10, 3*t + 2*t = -d + a for t.
5
Suppose -2*h + 4*p = 2, 4*h = 3*p + 13 - 12. Solve -3*v + 2*g - h = 4*g, -4*g = -2*v - 22 for v.
-3
Suppose 5 = 2*f - 3. Suppose 8 = 3*i - f. Suppose -i*s + 16 = -0*s. Solve 2*l = s*l - 10, -5*d = -4*l + 35 for d.
-3
Suppose -20*h + 266 = 18*h. Solve -h = -3*d + 5, -d = 5*q - 19 for q.
3
Let u(j) = -2*j**2 - 20*j + 24. Let p be u(-11). Suppose m - 5*a + 4 = 28, -m = -p*a - 12. Solve -m*r + 4 = -4*g - 8, 0 = r + 5*g + 9 for r.
1
Let q(j) = 7*j - 4. Let x be q(2). Let p(s) = s**3 - 5*s**2 - 6*s - 8. Let b be p(6). Let o = b + x. Solve -l - 12 = 4*u, 3*u - 1 = -o*l - 5 for l.
4
Let n = -372 + 392. Solve -6*q - 16 = -2*i - 2*q, 0 = -i - 5*q - n for i.
0
Let a(d) = 3*d**2 - 18*d + 47. Let t be a(5). Solve -5*y = 2*b + 25, 0 = 4*b + 7*y - 3*y + t for b.
-5
Let n = 123 - 123. Solve -5*p + 2*p - 4*t - 7 = n, 8 = -5*p - 3*t for p.
-1
Let y = 82 + -59. Suppose -y = 2*m + 7. Let p = m - -18. Solve p*d + 0*g - 4*g = -24, -2*g + 14 = -2*d for d.
-4
Let c(r) = 4*r - 8. Let f be c(4). Suppose 2*m + 5*h = -16, 18 = 2*m + 3*m - 2*h. Solve -m = d, y + 4*d = -0*y - f for y.
0
Suppose -4*x - 2*v = v - 9, 2*x + 2*v = 4. Solve -2 = u + m - 3, 0 = -x*u - 2*m for u.
-2
Let r(m) = m**2 + 16*m + 31. Let k be r(-14). Solve -k*a + 20 = 2*a, -3*j = 5*a - 5 for j.
-5
Let k = 7 - 1. Suppose 2*p + 2 = -t, p + 8 = 5*t + 2*p. Let g = 5 - 4. Solve g = -m - t*f, 3*m - k*m + 21 = -2*f for m.
5
Suppose -l = -39 - 18. Let u be (2 + l/(-21))*-7. Let v = u + 15. Solve 4*n + 2*y - 3*y - v = 0, 2*n + 4*y + 8 = 0 for n.
4
Let j be (-2)/(-6)*((-12)/2)/(-1). Let i be 0 - -7 - 2/1. Solve -3*y - 4*m + 3 = -1, 0 = -i*y + j*m - 2 for y.
0
Suppose -4*g + 3 = 4*u + 7, 4*u - 3*g + 32 = 0. Let k = -10 - u. Let a = -1 - k. Solve 0 = -h + 5*z - 18, -a*z + 26 = 4*h + h for h.
2
Suppose 0 = 5*o - 3*x - 11, -2*o = x + x - 14. Let i be 7/35 - 48/(-10). Suppose 0 = 2*f - t - o, 2*t + i = 3*f. Solve 5*w + f*y = w + 14, 3*y = -w + 8 for w.
2
Let v = -11 + 26. Suppose j = -5*l + 12, 0 = -5*l - 0*j - 3*j + 16. Suppose -v = -w - l*w. Solve -w*n + 2*y - 1 = -0*y, y = -2 for n.
-1
Let k = 464 - 461. Solve 0 = -5*v - 25, k*s + 3*v + 7 = 4*v for s.
-4
Let v(c) = c**3 + 4*c**2 - 4*c + 3. Let z be v(2). Let i be (-689)/(-78) - 3 - (-3)/18. Solve -26 = -2*j - 5*m, -i*j + z = -j + m for j.
3
Let s(y) = y**3 + y**2 - 12*y + 5. Let w be s(3). Solve -w*f + b = -b - 14, -f - 2*b = 2 for f.
2
Let l be 15*(25/(-15) + 2). Solve -4 = 3*t + l*i + 1, 2*i + 2 = 0 for t.
0
Let g be 12/(-2) - (-3 + 1). Let a be 2/g*(-40)/2. Let u = 957 + -927. Solve -a = 3*w + i, 4*i - u = 4*w + 10 for w.
-5
Let n(f) = f**3 - 4*f**2 - 2*f - 10. Let p be n(5). Let j = -11 - -15. Solve -2*s + 15 = p*b, j*s + 0*s + 12 = 4*b for s.
0
Let s(g) = 11*g - 213. Let z be s(20). Solve 2*v + z = l, -3*v + 1 = -2*v - 2*l for v.
-5
Suppose -29 = -4*v - 9. Solve -x = -2*p + 7, -5*p + 3*p + v*x = -3 for p.
4
Let f be (1 - (-1)/(-1)) + 84/4. Let j = -16 + f. Solve -8*b = -3*b - c, -5*c = -j*b + 20 for b.
-1
Suppose q = -2 + 4. Suppose -3*b = q*b + 30. Let z = 11 + b. Solve -p + 11 = -z*o, -2*o - 4 = 5*p - 5 for o.
-2
Suppose -q = 2*p - 14, 0 = -4*q + p + 4 + 7. Suppose -3*s = s - 116. Let b = s - q. Solve 0*k = -k - 3, -5*k - b = -2*l for l.
5
Let h(p) = -p - 6. Let z = 1 + -10. Let i be h(z). Solve -a = -i*y + 9, 4*y + a = 4 + 1 for y.
2
Let r be 4/(-18) - (0 - (-40)/(-18)). Let u be r*4*6/16. Solve 2*s + 4 = 2*a, 3*s - u*a + 5 = -s for s.
1
Let v be (14/4)/((-11)/(-44)). Let j be ((-21)/v)/((-10)/(-8) - 2). Solve j*z = u - 6, 2*z + 2*u - u - 2 = 0 for z.
-1
Let d be 4 + (-27)/12 + 3/12. Solve 2*h = -4, -t - 1 - d = -h for t.
-5
Let t(h) = -h**2 + 5*h - 4. Let d be t(4). Suppose 3*w + 5*z + 1 = -d*z, 5*w - 13 = -z. Solve 5*c = -w*j - 14, -2*j - 10 = -j + 3*c for j.
2
Suppose -4*h + 9 = -7. Suppose 4*m = -3*u + 35 - h, 5*m = u + 15. Solve -14 = -4*o + 2*c + m, 5*o = -c + 19 for o.
4
Let f = 11 + -15. Let h be 5/(13/2 + f). Solve -5*i - h*o - 3*o - 5 = 0, 4*i = -o + 5 for i.
2
Suppose 37*d - 89 - 59 = 0. Solve 0 = n + d*k - 12, -k + 7 + 1 = -n for n.
-4
Suppose -4*w - w = 20. Let a be ((-7)/w)/((-2)/8). Let n be 15/(-35) - 38/a. Solve n*t - 9 = 4*s, 0*s - 2*t = -4*s - 6 for s.
-1
Let y(i) = 2*i**2 - 45*i + 66. Let c be y(21). Suppose 2*f = -2*f + 16. Solve -5*a + 35 = -5*j, -c*j - a + 11 = f*a for j.
-3
Suppose -8*r + 3*r = 0. Suppose 0 = 5*j - 2*h - 4, r = -4*j - 5*h + 21 + 2. Solve 2*m + 0 = -4, -j*w + m = -6 for w.
2
Let a(r) = -r**2 + 5*r + 10. Let h = 1 - -5. Let b be a(h). Solve 4*i + 30 = -2*t, 4*t + 45 = -b*i - t for i.
-5
Let c be -2 + 2/4*0. Let r = 2 + c. Solve 5*y + r*o - 6 = o, -7 = -3*y + 4*o for y.
1
Suppose 0 = -5*a + 4*i + 17, 44 = 4*a + 3*i + 18. Suppose 10 = t - 2*c, -6*c + 28 = 4*t - 11*c. Solve -2*m - 4 = t*m + 5*j, -j = -a*m + 24 for m.
4
Let q be -2 + 1 - -3 - 1. Let w(p) = 4*p**2 - p + 1. Let i be w(1). Suppose q = i*a - 23. Solve t = 2*r - 2 + a, 12 = -3*t for r.
-4
Suppose 5*u = 5*a + 10, -4*u - u + 3*a = -14. Suppose 3*y = 7*k - 2*k + 92, u*y + 5*k - 146 = 0. Solve -5*q + 20 = 5*n - 20, -5*n = 3*q - y for n.
5
Suppose -r + 2*p - 4 = r, -4*r - 8 = -2*p. Let j be (-2)/r + -2 - -18. Solve 0 = o - v + 7, 5*o + v + j = -3*v for o.
-5
Let l be (24 + -36)/((-3)/(-2)*-1). Solve 4*c - 19 = -3*d, 4*d + 5*c - 32 = -l for d.
1
Let p = -1765 + 1768. Solve -p*v + 9 = -5*d - 5, d = -4 for v.
-2
Suppose -3*f + l - 4 = -29, 30 = 4*f - 2*l. Solve v + 4 = 2*i, -3*v = -v - 5*i + f for v.
0
Suppose 0 = 4*x - 3 - 21. Suppose -x*p - 12 = -150. Solve 4*z = k + 3, 2*k = -4*z - k + p for z.
2
Let z(s) = -s - 3. Let k be z(-3). Let h be k/(1 - (-2 - -5)). Suppose -2*u + h*u = 0. Solve u*g - 8 = p - 4*g, 0 = -2*p - 5*g + 23 for p.
4
Let y(u) = -u**3 - 4*u**2 - 3*u + 8. Let q be y(-4). Solve 4*b = 3*k - 20, 2*b = 5*k - k - q for k.
4
Let b be -1 + ((-27)/(-3) - 2)*1. Solve i = 0, 2*w - b*w = -i - 20 for w.
5
Suppose 8*a = 6*a. Suppose 4*x - 3*l = 29, -x - 2*l - 1 = -a. Suppose 2*f - 5*i = 5, 3*i + 5 = x*f - 2*i. Solve -4*t - 5*q + 2*q + 11 = f, 2*t + q = 5 for t.
2
Let t = 67 + -50. Let i = t + -14. Solve -4*r - 25 = -5*u, -i = r - u + 3 for r.
-5
Let d = -5 - -5. Suppose d*y = -y. Suppose -5*a + 19 = 2*l, y = -4*l - l - a + 13. Solve -2*v + m = 6, -v + 5*m = -l*v + 19 for v.
-1
Let b(p) be the third derivative of -p**4/24 + p**3 - 2*p**2. Suppose 0 = -8*h - 7*h + 7*h. Let i be b(h). Solve 2*o = -3*r - 9, 4*o + 0 = 2*r + i for r.
-3
Let x(o) = 25*o**2 - 174*o - 4. Let j be x(7). Solve 2*a + 27 = 6*a - 3*s, -a + 18 = -j*s for a.
3
Let v = 523 - 523. Solve 2*b + v + 3 = -3*u, -2*b + 3 = u for b.
3
Let v be (30/(-3))/((-16)/4)*2. Solve 33 = -v*y + 2*q, -4*q = 5*y + 3 + 6 for y.
-5
Let r = 28 + -39. Let d be 1/((3/10)/3). Let n = d - r. Solve -u + n = -2*h - 6*u, -4*h + 23 = -3*u for h.
2
Let v be 3 + 1/2*-8 + 5. Solve f = -q + 2, 0*q = -v*q + 4*f for q.
1
Let d = -76 + 78. Suppose -d*i - 5 = -15. Solve -3*t + t = 2*u + 2, u + 13 = i*t for t.
2
Let s = 1207 - 1203. Solve f - s*q + 2*q = 9, 19 = 5*f + 3*q for f.
5
Let r = -85 - -92. Suppose r = 2*x - 1. Solve 0 = x*v - i - 11, -i + 2 = 1 for v.
3
Suppose 4*j + j = 10. Let w(u) = 3*u - 21. Let n be w(8). Solve j*a + 10 = 0, -2*a - 19 = -n*m - 0*m for m.
3
Let n(j) = -42*j + 4. Let y be n(0). Solve 5*t + p = 8, y*t = -2*p + 5 + 5 for t.
1
Suppose -42*x = -44*x + 2. Let d = 0 + x. Solve -2*g - d + 0 = -b, 3 = 4*g - b for g.
2
Let w be (-95)/(-4) - (-2)/8. Suppose -a + 0*a = -3. Suppose 2 - 17 = -a*s. Solve 3*l + 6*t + w = 3*t, s*l = 5*t for l.
-4
Suppose 4*h = -0*z + 5*z - 2, 3*h + 2 = 4*z. Let q be (90/105)/(h/28). Solve 0 = 5*a + 5*v - 10, -3*v + q = 4*a + 2*v for a.
-2
Suppose 60*i - 188 = 13*i. Solve 5*t = a - 10, -i*t - 5*a - 34 = -t for t.
-3
Let g(h) = 2*h**2 - 5*h - 3. Let j be g(3). Solve j = 3*k + 6, -5*k = 2*b - 0*b + 18 for b.
-4
Let k(f) = -f**2 + 11*f - 4. Suppose 3*z - 55 = -5*y - 0