j - 8 for h.
-2
Let s(l) = l**3 + 4*l**2 + 2*l - 2. Let p be s(-2). Let y = -11 - -16. Solve -2 = 2*q + p*u - y*u, q = 5*u - 8 for q.
2
Let o = -77 - -83. Solve o*d = 2*d - 3*u + 24, 8 = 2*u for d.
3
Let f(r) = r**3 - 7*r**2 - 6*r - 11. Let w be f(8). Suppose w = n - 2. Solve 3*d + p = 3*p - 18, p - n = d for d.
-4
Suppose -2*n = 5*t - 24, 10 = 2*t + n - 0. Suppose -t*l + 11 = 3. Solve 25 = l*d + 5*x, -4*d - 5 = -2*d - x for d.
0
Let w be 0/1 - -1*3. Let v(r) = -r**3 - 5*r**2 + 6*r - 2. Let n be v(-6). Let y be (5 + n)/(7/21). Solve -d + 17 = -5*d - w*s, -4*s + y = -d for d.
-5
Let c(s) = -s + 10. Let x be c(10). Suppose x = 3*i - 9 - 24. Solve -4*o + 3*d + i = 0, -d + 13 = 2*o - 0*d for o.
5
Suppose -84 + 66 = -3*g. Solve 4*z - g = 3*x, -3*x = -3*z - 1 + 4 for z.
3
Let d = -19 - -23. Let b be ((-9)/(-6))/((-3)/(-8)). Solve -a - d*a = 4*o, -4*a = -b*o - 36 for a.
4
Suppose 12 = 3*i - 3. Solve i*y + o + 4*o + 5 = 0, -y - 3 = -o for y.
-2
Suppose 2*a - a - 18 = -5*y, a - 3*y = -14. Let p = a + 4. Solve 0 = -2*m + 3*o + 10, 3*o - 5 = -p*m + 5 for m.
5
Suppose 0 = 5*i + 4*q - 12, -4*i - 8 = -4*q + 4. Suppose 4*o + 2*p = 49 + 61, i = -3*p + 9. Solve -z - r = 7, -2*r = 2*z + 3*z + o for z.
-4
Suppose -p + 8 = -2*f - 0*f, -4*f = 12. Let g(q) = 3*q**3 - 2*q. Let c be g(p). Solve 6*o = -d + 2*o + 5, 4*d = -o + c for d.
5
Let w(u) = -u - 1. Let f be w(-3). Suppose 4*k + f = 2*k. Let m be (15/3)/(0 - k). Solve 4*c + 5*i = -6, 2*c = c + m*i + 11 for c.
1
Let u(i) = -i + 6. Let g be u(-10). Suppose -4 + 14 = 5*f. Suppose -3*y + 3*n = y - 17, f*n = 2. Solve 3*c + g = -m, 0 = y*c + 5*m + 9 + 31 for c.
-4
Suppose 0 = -5*v + 39 + 6. Suppose -4*h + v*h - 20 = 0. Solve -5*j + h*j = -x - 1, 0 = 3*x for j.
1
Let f be (-3 + -12)*6/(-10). Solve 5*s - 2*x = -8, 0 = -2*s + 7*s - x + f for s.
-2
Suppose v + 3*r + 2 = -5, 28 = 4*v - 2*r. Solve -4*t = -q + 11, v*t + q = -18 + 2 for t.
-3
Suppose -11*s = -10*s - 3. Solve 0*b + 9 = -2*b + 3*g, 9 = 3*b + s*g for b.
0
Let y be 2/(-3 + 2) - 2. Let c = y - -9. Solve -5*b - 21 = -2*q, c = b - 4*q - q for b.
-5
Let w be 0 + 5 - 2 - -1. Let p = 21 + -16. Let h = -10 - -18. Solve p*o - 2*o + 23 = 4*a, w*a = h for o.
-5
Let g(c) = 5*c**2 - 1. Suppose 3*y = -0*y + 3. Let r be g(y). Solve 3*b + 3*l + 0*l = 3, r*l = 4*b - 12 for b.
2
Let c = -50 + 55. Suppose 0*w + 6 = 3*w. Let t be -2 + 1 - w*-2. Solve 2*i + 18 = c*x, -x - t*i - 5 - 5 = 0 for x.
2
Let p be (-6)/(-3) + (2 - -2). Let t be (4/7)/(p/21). Solve 0 = -5*f - 2*c - 9, t*c = -7 + 3 for f.
-1
Let o(a) = -a**3 + 6*a**2 + 7*a + 5. Let g be o(7). Let r be ((-2)/(-4))/((-1)/(-10)). Solve r*l + 3 = -t, l + g*t + 12 = -3 for l.
0
Suppose 2*z = 8 - 0. Suppose -3*n = -5*n + z. Solve n*v = -4, -2*o - 3*o + 15 = 5*v for o.
5
Let t(g) = g + 12. Let s be t(0). Suppose 0 = 2*h + h + 3*b - s, 4*h - 17 = -5*b. Solve -l = 5*d - h*l + 14, 13 = -d - 3*l for d.
-4
Let j(q) = -q**2 + 14*q - 11. Let h be j(13). Let m = 49 - 23. Solve -h*b + m = 5*y + 2*b, 2*b - 4 = 2*y for y.
2
Let k(l) = -l**2 - 10*l + 3. Let u be k(-10). Solve -u*m + 4*n + 4 = m, 0 = 2*m + n - 14 for m.
5
Let h(m) = m**2 - 2*m + 1. Suppose 3*s = s + 6. Let g be h(s). Let b = g + -2. Solve -b*q = 5*p - 7, 3*p = 5*q - 6 + 4 for p.
1
Let u be ((-12)/15)/((-2)/10). Solve u*b - 22 = 4*r - 2, -r = 0 for b.
5
Let r(t) = t**3 - 3*t**2 - 5*t + 6. Let z be r(4). Let x = -2 - -2. Suppose x = j + 2*j - 36. Solve j = 2*n - 2*d, z = -5*n - 4*d - 4 for n.
2
Let h(w) = -w**3 + 11*w**2 + 2. Let l be h(11). Solve -3*g + 19 = 6*q - l*q, 24 = 4*q + 4*g for q.
1
Suppose 0 = m + 2 - 3. Suppose -k + m = -4. Solve -x - 2*x = -3*w + 15, -k*w = 0 for x.
-5
Let p = 22 + -14. Let n(h) = -h + 4. Let w be n(9). Let s = p + w. Solve 9*v - 4*v - 2*q + 7 = 0, s*q + 12 = 0 for v.
-3
Let d = 5 + -1. Solve -a = 4*l + 15, d*l - 3*l = -4*a + 15 for a.
5
Suppose 0 = -5*p + 15 - 0. Solve 4*m = p*m + 5*w - 3, 3*m + 5*w = -9 for m.
-3
Let c be 16 + 1 - (-10 - -6). Solve -16 = 4*w, -d + 4*w + c = -6*d for d.
-1
Let v be (-1 + 0)/((-5)/155). Suppose -2*t + 2*q = -q - 19, -3*t + 5*q = -v. Solve u - t = -5*w + 3*u, -5*w + 4*u - 6 = 0 for w.
2
Suppose 7*y - 2*y = 45. Suppose -3*o + 0*o = -y. Solve 0 = -3*n + 3*c - 18, 4*n + o*c = 2*n - 7 for n.
-5
Let g = 1 + 5. Let l(c) = 3*c - g*c - c - 4. Let h be l(-3). Solve -4*f = 5*i - i - h, i + 3*f - 2 = 0 for i.
2
Let b be (-7 - -11)*(-1)/(-2)*1. Solve 0 = 3*s - 4*n + 7, -b*n = -4*s - n + 8 for s.
3
Let w be (-4)/7*(-9 + 2). Solve -w*p = -2*o + 6, -8*p = -3*p - 4*o + 6 for p.
-2
Let r be -3*(-2 - 2 - -3). Solve -r = 3*j + 4*c, -3*j - 2*c - 2 = -j for j.
-1
Suppose 0 = -3*w - 5*o + 37, w - 41 = -3*w - 5*o. Suppose 0 = r - 5, n - 6*n + w*r = -165. Solve -2*b - 3*b - 2*h = 19, 5*b - 4*h = -n for b.
-5
Let s(b) = -b**3 - 7*b**2. Let p be s(-7). Suppose p = y - 0 - 3. Suppose -1 = -2*f - y*q - 0*q, 3*q + 9 = 0. Solve 4*o - 2*r = -r - 13, -2*o + r - f = 0 for o.
-4
Let z = -14 - -12. Let l be (-5)/((2/1)/z). Solve 10 = l*w + 2*b - 4*b, 2*w = -4*b - 20 for w.
0
Suppose 3*y + 14 = -5*o + 1, 3*y - 2*o = 22. Solve -2*m = 5*t - 0*t + 4, -5*m = -y*t + 10 for t.
0
Let u be 0 - 1/(-2)*-18. Let w = -3 - u. Solve 16 = -4*d, 2*p + d - w*d = 10 for p.
-5
Suppose -5*n + 0*n = 3*y - 40, -y = 4*n - 11. Suppose g - y = -4*g. Let f(b) = -b - 2. Let p be f(-2). Solve 3*r + 17 = -l, g*r - r + 5*l + 20 = p for r.
-5
Let u = 15 - 13. Solve -u*d - o - 10 = 0, -4*o - 14 = -2*d + o for d.
-3
Suppose 4*j - 5*z + 15 = 0, z + 12 = 5*z. Solve 3*y - c + 14 = j, -2*c - 8 = 3*y - 0*c for y.
-4
Suppose 4*z + 0*l - 14 = -2*l, -3*z + 5*l - 22 = 0. Suppose 5*n - 21 = -z. Let d be (n + -6)*2*-1. Solve -3*g - 5*f = -0*f - 28, 19 = -g + d*f for g.
1
Suppose 0 = 4*d + 2*l + 2, -5*d - 4*l = -6*l + 25. Suppose 0 = -6*z + 4 - 34. Let c = d - z. Solve -c*g - 2*g = j + 6, 0 = -g + 2*j - 6 for g.
-2
Suppose -2*g + 5*q + 10 = 0, -3*q = -3*g + 16 - 1. Solve -4*w + 3*s = -0*w - 2, 5*w - 5*s = g for w.
-1
Let x(b) be the second derivative of b + 0 - 1/12*b**4 + 2*b**2 + 4/3*b**3. Let u be x(8). Solve 2*h - u*h = -2*f - 18, 2*h - 6 = -f for h.
5
Suppose 5*f + 3*v = 33, -5*f + 2*v + 7 = -21. Solve -f = 3*z + 5*q, -8 = 4*z - 0*q + 3*q for z.
-2
Let s = 11 - 3. Suppose s*z = 3*z + 165. Solve 5*u = 4*i - z, -i = u + 1 + 2 for i.
2
Suppose 0 = -6*o + 3*o + 12. Solve 10 = -5*m, o*z - 3*m = -4*m + 2 for z.
1
Let j(b) = 6*b + 2. Let r be j(2). Let k = -10 + r. Let n(s) = s + 9. Let g be n(-6). Solve 3*x = k*t - g, 4*t + x + 1 = -0*t for t.
0
Suppose 5*h - h = 36. Suppose 0*a - 3*a + h = 0. Solve a = c - 2*x, -3*x = -c - 2*x for c.
-3
Let a(b) = -b**2 - 1 - 1 - 8*b + 2*b - b. Let m be a(-6). Solve -5*z - 19 = -f, 4*f + m*z - 2*z + 12 = 0 for f.
-1
Let w = 122 - 117. Solve -5*v - w = 0, -3*h + 2*h = 5*v + 4 for h.
1
Let v = 52 + -50. Let j be ((-15)/2)/3*-2. Solve -j*n - 4*u = 2 + 29, 5*u = v*n - 14 for n.
-3
Let l(n) = -n**3 - 2*n**2 + 3*n + 4. Let d(t) = t**3 - 4*t**2 - 7*t + 7. Let a be d(5). Let h be l(a). Solve -h*s = o + 15, -4*o + 2*s + 16 = -s for o.
1
Let k = -7 + 11. Let b = 12 + -5. Let n = b + -2. Solve -2*h + 3*h = -k, -4*f = n*h for f.
5
Suppose -w - w = 0. Suppose 2*a + w*a = 44. Let j = -2 + 8. Solve t - 2*p = -9, -j*t - 4*p + a = -4*t for t.
1
Let s(n) = -2*n**3 - 4*n**2 + 2 + n**3 + 2*n**2 - 2*n. Let r be s(-2). Suppose 2*b - 3*b = -r. Solve -5*j = 2*i + 13, 2*i - b = -i + j for i.
1
Suppose 5*v = 2*v. Suppose 12 = -0*j + 3*j + 5*k, v = k. Solve r - 2*t + 3 = 6*r, 0 = -4*t - j for r.
1
Suppose t - 5 = -5*o - 0*t, -5*o = 2*t - 10. Solve o = 4*b - 2*f + 20, 0*b - b + 2*f = 11 for b.
-3
Let k = 14 - 11. Let q be k/(0 - 6/(-10)). Solve -q*t + 11 = -4*r, -21 = 5*t + 6*r - 2*r for t.
-1
Let k(a) = -a - 11. Let x be k(-16). Solve -3*d = -x*i - 54 + 20, 3*i + 3*d = -6 for i.
-5
Suppose -4*d + 31 = -25. Suppose 3*i - 2*i - d = 0. Suppose y + 5*s - i = 2*y, -s = -4. Solve 4*u - 2*u - 4*o = y, 5*o = 0 for u.
3
Suppose -2*f = -4*f + 4. Solve -w - f*o = -5, 3*w - o + 3 = -3 for w.
-1
Let j(t) = 4*t - 53. Let v be j(15). Solve -1 = -3*r - 4*s, -3*s - 3 = -r - v*s for r.
-1
Let u = 1 + 1. Let s(y) = -y**2 + 4*y + 12. Let p be s(5). Solve 2*n + u*n + 4 = -4*i, i = 2*n - p for i.
-3
Suppose q - 1 = 3. Let g be (-4)/(q/3*-1). Solve 4*j + j - 2 = 4*c, -g*c = -3*j + 3 for j.
-2
Let z(s) = -s**2