+ l - 1 = 0 for h.
-1
Let i(b) = 4*b**2 + b + 0*b**2 + 1 - 3*b**3 + 2*b**3 - 5. Let r be i(4). Solve 0*x = 2*s + 3*x - 3, r = -x + 3 for s.
-3
Suppose 2*y - 2*y = y. Let h = 23 + -5. Solve -2*r = 4*s - h, 10 = 3*s - y*s - 2*r for s.
4
Let j = -7 - -6. Let d = 3 + j. Solve 12 = 3*p + d*z + 3*z, -p - 4 = -z for p.
-1
Suppose -11 + 1 = -2*l. Suppose g - l*c + 4 = 0, 3*g - 2 - 4 = -3*c. Solve 2*y - w = 3*y, 2*w = -3*y - g for y.
-1
Let m = 7 + -4. Let o be -1*(-7)/(1 + 0). Let k = o - m. Solve -v + 6*v = -k*s - 4, 2*v = 5*s - 28 for s.
4
Let v be (2/6)/((-5)/(-30)). Solve 4*t - v*t - 16 = 5*k, 8 = -2*k for t.
-2
Suppose 3*r - 25 = -2*r - 5*y, -4*y + 18 = 3*r. Suppose 3*b = 1 + r. Solve 0 = m + 3*k - b - 5, 3*k = 4*m + 6 for m.
0
Suppose -y = -2*y + 3. Let d = 1 + 1. Solve -2*m = y*b - 20, -m = d*m + 4*b - 28 for m.
4
Suppose a - 17 + 11 = 0. Solve -a = -2*b, -4*b + 3*b = -s - 2 for s.
1
Let h(z) = 2*z**2 + 3*z. Suppose 1 = 2*a - j, 18 = -5*j - 7. Let n be h(a). Solve 10 = p - 2*p - 2*y, 5*p = n*y + 10 for p.
0
Suppose 5*h = 4*n, 0 = 5*h - 0*n + n. Suppose 0 = 5*p + 2*r - 5*r - 21, h = -3*p + 4*r + 17. Solve 3*b + p*u = -24, 0 = b - 6*b + 3*u for b.
-3
Suppose -3*t + 5 = 2*y, 2 = -2*y - 5*t + 5. Solve -5*g - 2*j = -4*j - 6, 0 = 3*g - j - y for g.
2
Suppose 5*s = -3*n + 28 + 49, 7 = n - 3*s. Solve -17 = -i - 4*j, -2*j = 2*i - 5*i - n for i.
-3
Let g(j) = j**3 + 3*j**2 - j - 1. Let c = 6 + -9. Let u be g(c). Solve u*f = 3*f - 4*o + 11, 4*f - 5*o + 22 = 0 for f.
-3
Suppose 314 = 5*u + 2*t, -t - 98 = 4*u - 351. Suppose 0 = -5*i + u + 1. Solve -s = -c - 4 + 7, -i = -5*s - 2*c for s.
1
Let u(r) = -2*r**2 - 14*r. Let d be u(-6). Solve 5*s - 14 = 3*a - 6*a, 2*s - 2*a - d = 0 for s.
4
Let k(s) = -5*s - 1. Let t be k(-5). Suppose -2*p + t = -p. Let h be (2/6)/(2/p). Solve j - r = 2, 0 = j + j + h*r + 2 for j.
1
Let t(p) = -p**3 + p**2 - p + 13. Let j be t(0). Suppose -3*x = -8 + 2. Solve 2*k - j = l - 5, x*k = -2*l + 8 for k.
4
Let w be (9/(-4))/(2/(-8)). Let z = 2 + w. Let n = 0 - -1. Solve -2*r = 0, -n = -3*b - 3*r + z for b.
4
Let a be (-18)/8 + (-6)/(-24). Let r be (6/(-15))/(a/10). Suppose 0 = 3*y + r - 17. Solve y*g + 6 = -o, 0*g - 9 = 5*g + 4*o for g.
-1
Let c(h) = -h**2 - 6*h - 5. Suppose 0 + 4 = -k. Let y be c(k). Solve 3*v = -3*b + 27, -y*v + 3*b + b - 1 = 0 for v.
5
Let c = -4 + 9. Suppose c*k + 61 = 4*q, -30 = -2*q - 3*k - 5. Solve u - 5*g + 16 = 0, 4 = u - 3*g + q for u.
-1
Suppose h + 20 = f, -2*h + 145 = 5*f + 2*h. Suppose f = 5*t - 0*t. Solve 17 = t*z - 2*z - 5*w, 0 = 4*z + 4*w - 12 for z.
4
Suppose -2*k - 6*w + w = -9, 0 = 5*k + 2*w - 12. Solve k*o - 4 = 0, -2*z + 0*z + 3*o - 8 = 0 for z.
-1
Suppose 0 = -13*m + 10*m + 6. Let l be m*1 - (6 + -7). Solve -40 = -5*p - 5*y, p + l*y - 4*y = 2 for p.
5
Let m = -6 - -5. Let i(d) be the third derivative of -d**4/6 + d**3/6 + d**2. Let f be i(m). Solve -5*c + 5*w + 10 = -0*w, 0 = -4*c - f*w + 8 for c.
2
Let c = 11 + -11. Solve c = -3*n - 2*y - y - 6, -n - 8 = -5*y for n.
-3
Suppose -4*p + 12 = 4*y, -3*y = p + 4*p - 3. Suppose 4*u = 2*o, -2*u = -y*o + 2*o. Solve 2*n + h - 6 = -n, u = -4*h for n.
2
Let h be -1 + (-3)/2*-2. Suppose 0 = a + 5 - 8. Suppose 4 = -g + a*g. Solve -5*m + h = f, -1 = g*f + 4*m + m for f.
-3
Let j be (-1 - (-4)/(-12))*-3. Solve -12 = -3*h, 4*k - j*h + 20 = h for k.
0
Let f(t) be the second derivative of -t**3 - t**2/2 + 4*t. Let o be f(-1). Solve c = -4*m + 12, -m + 28 = o*c + 3*m for c.
4
Let j(a) = -a**2 + 6*a + 9. Let b be j(6). Let v be -7 - -1*2/(-2). Let o be (-74)/(-14) + v/28. Solve -o*z + 2*n = 6*n - 13, -3*z - 3*n + b = 0 for z.
1
Suppose -29 = -5*x - 9. Let l = -5 + x. Let k be (0 - l)*(25 - 8). Solve -12 = -2*h - 2*h, 0 = 4*j - 3*h + k for j.
-2
Let g = 2 + 1. Suppose -4*s = -g*i - 17, -3*i - 24 = -5*s - 2*i. Let c = s - 2. Solve 4*n = -4*j + 32, 0 = 2*j + c*j - 3*n - 8 for j.
4
Let l be (-3 - 26/(-6))*-6. Let g(f) = f**3 + 8*f**2 - 2*f + 2. Let a be g(l). Solve 2*t - 17 = -5*s + 5*t, -2*s + a = -4*t for s.
1
Suppose -t = 5*h - 3*t - 28, -h - 8 = 3*t. Solve 2*p + f = h*p, -p - 5 = -3*f for p.
1
Suppose -a + 0*a - 9 = -z, z = -5*a - 39. Let r = -3 - a. Solve 3 = -5*p + 3*l, 0 = -p + 2*l - 0 + r for p.
-3
Let x = -26 - -13. Let t = -8 - x. Solve -3*k - 5*q = 11, t*k + 4*q = -q - 15 for k.
-2
Let d = -196 - -200. Solve 2*n + 2*t = 12, n + d*t + 2 = 5*t for n.
2
Let q = 88 + -86. Solve 2*b = -0*z - 2*z + 20, 3*z = q*b + 5 for z.
5
Suppose 4*u = 7*u - 15. Suppose -3*g - u*o - 16 = -g, 0 = -g + o + 6. Solve 0 = -h - 4*n + 11, h + n - g = -0*h for h.
-1
Suppose -3*a = -m - m - 17, 0 = 4*a - 2*m - 26. Solve 3*j + 4*o = 18, -j - 2*j = -5*o + a for j.
2
Suppose -5*y + 8 = -y. Suppose -5*s + 8 + 3 = -y*j, -5*j - 3*s = -19. Suppose 0 = -5*o + 15 - 0. Solve -2*a - j*a = -u, -o*u + 2*a = 0 for u.
0
Suppose 0 = c - 4*p - 15, -c - 2*p - 6 = p. Solve 4*j - 4 = 3*r - 2*r, -4*r + 10 = -c*j for j.
2
Let g = 35 - 10. Suppose -2*v = -7*v + g. Suppose 3 - 7 = -2*q. Solve 2*x - 4*x - 4 = q*c, 3*x = -v*c - 16 for x.
3
Suppose -x + 3*s = -s - 5, 3*x - 15 = -4*s. Let b(i) = i**2 - 5*i + 4. Let f be b(x). Suppose v - f*v = 0. Solve v = -r + 4*z - 12, -5*r - 3*z = -4 - 5 for r.
0
Let u = 80 + -31. Suppose -3*k - 6*f = -2*f - u, -k + 11 = 4*f. Solve 5*r - k = -5*g + 4*r, 2*g - 3*r = -6 for g.
3
Suppose -2*s + 41 - 13 = 0. Let m = -14 + s. Solve -2*k + 1 = a, m = -k + a - 2 - 5 for k.
-2
Let a = -3 - -4. Let n be -3 + 3 + a + 2. Solve -5*l + 18 = n*b, 0*l = -4*b + 3*l - 5 for b.
1
Let j = -65 + 77. Solve -5*v - j = -4*i, -v - v = 8 for i.
-2
Suppose n = 2*j + 2, -5*j - 4 = 2*n + 1. Let w(d) = -2*d - 11. Let l be w(-8). Let p = l - n. Solve -p*s + 4 = 4*x - 4*s, 0 = -3*x - 4*s + 3 for x.
1
Let a = 4 - 5. Let s(p) = 11*p**2 - 2*p - 1. Let n be s(a). Let w be (2 - 0)/(6/n). Solve g + 5 - 2 = 4*h, -4*h = -w for g.
1
Suppose -r - 3*r - 8 = 0. Let g(f) = f**3 + 9*f**2 + 3*f + 21. Let c be g(-9). Let w be (-5)/(5/c) + r. Solve -4*m = -8, -3*j - w*m = m - 16 for j.
2
Let k be ((-16)/(-20))/((-1)/(-5)). Let p = -33 + 37. Let r be 1/p + 23/k. Solve 3*h + j + 2*j + r = 0, -h = -3*j - 2 for h.
-1
Suppose 0 = -0*z + 3*z - 6. Let o be z*-3*(-10)/12. Solve 0 = 4*q - 3*n + o, -2*n + 3 + 7 = -4*q for q.
-5
Let z(x) = -2 - 5 + 2*x + 5. Let i be z(6). Suppose -5*h = -0*h - i. Solve -h*o + 14 = 3*m, -o + 2*o + m = 5 for o.
1
Let v be (-2)/6 - 5/(-15). Suppose 3*w + v*w = 48. Solve 4*k = -5*h - w, 6 = 5*k - 5*h - 19 for k.
1
Let z be (-8)/(32/(-20)) - 0. Solve -12 = -2*p + z*c, -5*p = -2*p - 5*c - 8 for p.
-4
Let o(q) = q**2 + 1. Let y be o(1). Let f(b) = b + b**2 - 3 - b**y + b**2. Let n be f(-3). Solve -5*m = -m + 12, -18 = 3*v + n*m for v.
-3
Let m(s) = -s**2 + 6*s - 7. Let l be m(3). Solve -2*t + 5*j = -24, -j = 3*t - 2*t + l for t.
2
Let s = 8 + -5. Suppose -w - 3*w - 4*t + 56 = 0, 2*w = 3*t + 3. Let b = 15 - w. Solve -s*m + b = 0, -6*m + 18 = 4*f - m for f.
2
Let l(f) = f**3 + 4*f**2 - 4*f + 2. Let g = 3 + -1. Let n be l(g). Let p be 2/(-9) + 76/n. Solve 3*v - 1 = 2, -p*k = v + 3 for k.
-1
Let v = 28 + -5. Suppose -5*r + 0 = -4*o + 11, -3*r + v = 5*o. Suppose -9 = -p + o. Solve -x + p = -0*w + 4*w, w + 3*x - 17 = 0 for w.
2
Let u(g) = -6*g + 3. Let k be u(-1). Let n(d) = d**3 - 5*d**2 + d + 3. Let i be n(4). Let x = i + k. Solve 4*v + x - 16 = 4*y, -20 = 4*y for v.
-1
Let f = 1 - 7. Let q(t) = -t - 2. Let k be q(f). Let b be (4/8)/((-5)/(-40)). Solve k*j = -m + 23, -3*m = -0*m - j - b for m.
3
Let n be 3 - (11 + -1) - -1. Let h = n - -11. Solve q - r - 3 = 0, h*q + 3*r = 25 - 2 for q.
4
Let n = 25 + -22. Solve 0*p + n*p + 5*j + 10 = 0, -j = 5*p - 20 for p.
5
Suppose u + 7 = -4*b - 7, -3*b = 12. Solve -4*i = 4*d - 24, -2*d - u*i + 6 = -3*i for d.
4
Let o be -3 + 4 + 1 - -23. Solve 4*u = 3*z - 5 + 2, 2*z - o = -5*u for u.
3
Let o = 8 + -5. Let r be ((2 - 3) + 0)/1. Let d = o + r. Solve -3*k - 4*z = -5*k - 2, -13 = 5*k - d*z for k.
-3
Suppose 0*u - 4*u = 4*x - 24, -4*x + 2*u + 12 = 0. Solve -x*z + 4*f = -16, 4*z - 2*f + 0 = 10 for z.
1
Let a(z) = -3 + 0*z - 4 - 1 + 2*z. Let u be a(6). Solve -4*i + 9*i - 16 = r, -u*r - 4 = 0 for i.
3
Let d = 61 - 57. Solve 3*p = 7*p - x + 24, -d*p + 2*x = 28 for p.
-5
Let s = -1 - -2. Let o = s + 0. Let y be 0/(-3) + 2 + o. Solve y*f = 4*g + 15, -13 + 0 = 2*f + 5*g for f.
1
Supp