 for h.
1
Let b be 66/8*7/((-7)/(-4)). Solve 4*r + b = -5*d, -2*d = 2*r + 9 + 5 for r.
-2
Suppose -3*h = 4*i - 20, 5*i - 2*h = h - 2. Solve k - 4*a + 28 = 8, -3*a = i*k - 4 for k.
-4
Let z(u) = u**3 + 7*u**2 - 2*u - 10. Let y be z(-7). Let c = 16 + 4. Suppose -y*o + 0*o = -c. Solve 0 = -o*g - l - 20, -3*l - 2*l = 0 for g.
-4
Let n be (-3 - -2)/((-2)/6). Let r = -5 - -5. Suppose 0 = a + 3*t - r*t, 2*a = t. Solve a*m + m - 6 = 3*s, 0 = -2*m + n*s + 3 for m.
-3
Let h(m) = -2*m - 4. Let k be h(-3). Solve -5*b = 3*c + 15, c = -k*b + 2*c - 6 for b.
-3
Let k(a) = a**2 - 11*a + 13. Let i(h) = -h + 4. Let d be i(-6). Let c be k(d). Solve 0 = 2*t - 4*o + 18, -o = -c*t - 14 - 3 for t.
-5
Let g(l) = l**3 - l - 513. Let f be g(0). Let w be f/(-76) + (-3)/4. Solve 5*m + w - 23 = 3*h, 0 = -5*h - 5*m + 25 for h.
1
Suppose 0 = -g + 5 - 1. Solve -2*p + 7*p + 29 = -u, g*u = 3*p - 1 for u.
-4
Let z = 4 - -1. Let t(r) be the third derivative of -r**5/60 - 7*r**4/24 + 11*r**3/6 + 6*r**2. Let l be t(-8). Solve 3*n + z*p + 0 = -5, -n - l = p for n.
-5
Let i(t) = -t**3 - 8*t**2 + 4. Let y be i(-8). Solve -g - 29 = 5*p, -y*p + 0*p = 20 for g.
-4
Let i = -26 + 43. Suppose i = 4*k - 3. Solve 4*z = 2*z + 3*m - 19, k*z - 2*m = -31 for z.
-5
Let z(j) be the first derivative of 2*j**3/3 - 7*j**2/2 - j - 1. Let q be z(5). Solve 5*w + 22 = -v, 4*w = -0*v - 2*v - q for v.
3
Suppose 0*x + 4*x = 16. Let s be (12/(-9))/(x/(-6)). Solve -3*o - 9 = -3*k, -k - s = -2*k for o.
-1
Suppose 0*b + 2*b - 3*o = 6, -2*b + 6 = -o. Solve -5 = -5*p, -b*p - 17 = 2*t + 3*t for t.
-4
Let m = 24 + -19. Solve 0*x - m*h = -x - 10, -2*x + 2*h = 4 for x.
0
Suppose 10 = -4*c + 46. Let d = -4 + c. Suppose -16 = -2*q - 2*q. Solve q = 4*o, d = -2*j + o - 0 for j.
-2
Let f(n) = 2*n - 6*n + 0*n + 3. Let y(o) = -o**2 + 3*o - 8. Let j be y(0). Let b be f(j). Solve 3*x = 3*s + 27, 0 = -2*x - x + 5*s + b for x.
5
Let s be 39/9 - 4/(-6). Let t(q) = -q + 8. Let d be t(s). Solve m - 4 = d*m - 4*o, -4*o - 16 = 3*m for m.
-4
Let b = -32 - -70. Let q = b + -26. Let k be 0/(-5 - -1) + 2. Solve k*j + 2*u = -q, 5 = 3*j - 5*u - 1 for j.
-3
Let r be (-2)/(-11) - (-152)/11. Let s be r + 3 + -3 + 0. Solve k - 4*k + s = 2*z, 3*k - 6 = 0 for z.
4
Suppose 6 = 5*m - 9. Suppose 0 = -m*b + b. Solve b = 2*s - 2*f - 6, 2*s = s + 4*f + 18 for s.
-2
Suppose -v - 2*v = -60. Suppose 4*g + 5*p - p + 20 = 0, -2*g - 5*p = 25. Suppose g = -0*a - 2*a + 28. Solve -m - 2*m + a = 4*l, -4*l + v = 0 for m.
-2
Suppose f - 3 - 2 = 0. Suppose -2*k + y = 1, -3*y = f*k + 2*y - 35. Solve k*q = 2*o - 10 - 8, -q = o + 1 for q.
-5
Let i = 5 + -13. Let r = i + 11. Solve 2 = -0*a - r*a - 2*v, 0 = a + 5*v + 5 for a.
0
Let z(f) be the third derivative of -f**5/60 - f**4/8 + f**3/6 - 8*f**2. Let h be z(-2). Solve 0 = 3*b + h*y + 6, 4*b - 4*y - 5 = 7*b for b.
-3
Suppose -2*u = -5*a + 38, -2*a + 5*u + 19 = -13. Let d be (-6)/(-21) - (-12)/7. Solve d + 5 = -q + 2*n, 0 = 3*q - n + a for q.
-1
Suppose 4*y + 9 = 29. Solve 5*w + j = 24, 0*w - y*w + 12 = -2*j for w.
4
Let y(x) = -x**3 - 8*x**2. Let k be y(-8). Solve -4*h - h = 4*i + 16, k = h + 4 for i.
1
Let m = 4 + -4. Let w = -11 + 11. Solve 0 = -3*y - m*y - 6, o + 2*y + 7 = w for o.
-3
Let j = -7 + 16. Let x = -7 + j. Solve 2 = v - c - 2, -x*v + 8 = -c for v.
4
Let a(s) = -s**2 + 4*s + 1. Let d be a(5). Let j(x) = x + 6. Let u be j(d). Let m(l) = 3*l + 3. Let c be m(0). Solve -t - u = 2*h, h - 4 = c*t + 5*h for t.
0
Let p be 0 + (1 - -2 - -1). Solve p*u - 10 = m + 7, 5*m + 1 = -u for m.
-1
Suppose 0 = 4*z - 9*z + 10. Solve -4*c = n + 2, n - z = -2*c - 4 for n.
-2
Suppose -14 = -4*t + 3*c - 4*c, -t + 5*c = -14. Let p be 133/95 - (-6)/10. Solve 5*y + p = x, -3*y + y + 10 = -t*x for x.
-3
Suppose 2*t + 2*t = 64. Let x = t + -13. Solve -x*y - 2 + 13 = i, -4*y = 4*i - 4 for y.
5
Suppose -3*u + 1 = v - 12, -v + 1 = -u. Suppose -l = -0*l - u. Solve -4*q - 3 = -l*a - 19, a + 3 = -q for q.
1
Suppose -5*g + 4*w + 16 = 0, 3*w = 2*w + 1. Solve 3*f + f - g = -x, 3*x + 2*f + 8 = 0 for x.
-4
Let s = -2 + 8. Let n = s - 4. Suppose -x + 15 = n*x. Solve 3*m = -6 - 0, 4*v + x*m = -22 for v.
-3
Let x be (4/(-10))/(3/(-15)). Suppose d - 11 = -x*v, -8*d + 3*d + 45 = 5*v. Suppose 8 = 3*o - d. Solve -2*f - 7 = o*q + 8, 0 = -2*f + q + 15 for f.
5
Let a(u) = -u**2 + 6*u + 4. Let l be a(5). Suppose -5*j + 5*p = -130, 0 = 4*j - l*j - p + 100. Solve 5*q = -b + 5*b + j, 4*q - 25 = -5*b for q.
5
Suppose 7*w - 56 = 6*w. Let r be (-18)/(-12)*w/6. Solve -r = -d + 3*x, d = -x + 3 - 5 for d.
2
Let w = -1 + -1. Let f(v) = -3*v - 1. Let q be f(w). Suppose 5*h = 4*b - 3 + 1, -5*h - 3*b = -19. Solve h*d - 19 = 5*i - 0, 0 = -i + d - q for i.
-3
Let a(i) = i + 13. Let f be a(-9). Suppose u = -0*u + 45. Suppose 4*l = -l + u. Solve -3*r = k + 13, -f*k - 7 = -l*k + 3*r for k.
-1
Let j = 24 - 14. Let q = j + -5. Solve 4*u - 4*p = -8, -2 = q*u + p + 14 for u.
-3
Let a = -8 + 13. Suppose 4*q - 3*i = a, 3*q + 5*i = 7*q + 5. Solve -q*r - 4*x = 25, -x = -3*x for r.
-5
Suppose 10*h - 5*h = 4*l - 24, h + 4 = 0. Let k be (2/(-2) - -2) + 4. Let i be k/l*(-1 - -2). Solve -i*d - 4*z - 16 = 0, -d + 5*z - 6*z - 3 = 0 for d.
-4
Let q be (-4)/(-14) + 24/14. Let f(k) = -k**3 + 4*k**2 - 3*k. Let m be f(2). Let v be 2 + m/(-2) - -1. Solve o = -v*l + 4 + 1, 4*o = -2*l + q for l.
3
Let f be 15 + 1 + (2 - 3). Solve 0 = 4*n - 4*c + 16, 0*c - 3*c + f = 0 for n.
1
Suppose -1 - 19 = -5*n. Suppose -n*i + 6 = -2. Solve -f + 1 = -4*y - i*f, -4 = y + f for y.
1
Let p be (-40)/(-25)*5/2. Suppose 4*r = -j + 10 - 3, p*j + 29 = 3*r. Let o(y) = -4*y - 5. Let t be o(j). Solve 0*i - 5*i = t, i + 3 = -n for n.
0
Suppose -4*r = 3*j - 8, 4*r - 2*r = -5*j - 10. Solve 2*x + 2 + 2 = -r*c, 2*c = 3*x + 6 for c.
0
Let k(u) be the third derivative of -u**5/60 + u**4/4 + 5*u**3/3 - 5*u**2. Let r be k(7). Solve 0 = -l - 0*l - r, 2*n - l = -3 for n.
-3
Let t = -3 - 1. Let c = t + 6. Solve c*z + z = 5*n - 14, 3*n - 20 = -4*z for n.
4
Let u be (4/(-2) - -8)*1. Solve -5*i = -4*j - 6, -j = -2*i - 3*i - u for i.
-2
Let q = -4 - -5. Let n be (0 - 5)/(q - 2). Solve 2*o = -3*z - 11, -8 - 16 = n*o + 4*z for o.
-4
Let p be 0*4/(12 + 0). Suppose -2*c - 18 = -4*b, b - 3*c = 5*b + 7. Let n be ((-3)/1)/((-3)/4). Solve 2*a + p*a + n = b*k, -a - k = 6 for a.
-4
Suppose -4*q + 20 = q. Solve -4*d + 0*d = 4*r, 4*r - 8 = q*d for d.
-1
Let x be 4*5/6*45/6. Solve -5*f + 4*y + y = x, 2*f - 20 = -4*y for f.
0
Let v be 20/(-8)*(4 + -8). Solve 2*r = z - 10, 2*z + 2*r = -z - v for z.
0
Let j(k) = 21*k - 1. Let p be j(1). Let w = -3 - -11. Solve -x - 3*g = -w*g + 12, 0 = -5*x + 5*g - p for x.
-2
Let o(u) = -u**3 + 9*u**2 + 2. Let z be o(9). Solve 0*p - x = p + 1, 3*p = z*x - 3 for p.
-1
Suppose -12*z + 15*z = 6. Solve 4*h + 6 = -w - 11, -z*w + 5*h + 5 = 0 for w.
-5
Let x(f) = -f - 6. Let y be x(-3). Let g be y/((-9)/6) + 2. Solve -c + 3*b = -24 + 6, 4*b + 8 = -g*c for c.
3
Suppose 9 = 3*n - 3*k, 4*k - 2 = 2. Let b be 7*(n - 3 - 0). Let p = b - 5. Solve 3*r - l + 9 = 0, 6*r + p*l + 15 = r for r.
-3
Let x(m) = m + 8. Let k be (-5 - -4)*(-11)/(-1). Let i be x(k). Let w(g) = -g**3 - 4*g**2 - 5*g - 3. Let y be w(i). Solve 2*b = -s, 2*s = y*b + 2 + 12 for s.
4
Suppose 5*h - 3 = 12. Let a be 1 - h - (-18)/3. Suppose -a*k + 2 = -3*k. Solve f + 10 = k*f - 3*g, 10 = -2*g for f.
-5
Let x = 4 + -1. Let w be (-3)/(-12) + (-44)/(-16). Solve 0*z + 10 = s - 4*z, x*s - 12 = w*z for s.
2
Let u = -5 - -9. Suppose 3*r - 17 = u. Solve 0 = -2*o + 2, 0*o - r = -2*g + 3*o for g.
5
Let m be (-5 - -6)/(3/6). Solve -m*y = -5*h - y + 6, 5*h = -2*y + 18 for h.
2
Let d(i) = -25*i - 1. Let x be d(-1). Solve -5*p + 35 = -4*c, 5*c + x = 3*p + 2*c for p.
3
Suppose -10*c + 9*c = u - 4, -12 = -3*c - 5*u. Solve -c*b + 21 = -4*i - 3, -2*i - 2*b = 0 for i.
-3
Let u(w) = w**3 + 3*w**2 - 2*w - 1. Let a be 19/(-7) + 2/(-7). Let c be u(a). Let o(m) = -m + 20. Let b be o(6). Solve 4*y - z = b + 2, -5*y = -c*z - 5 for y.
5
Let q be 4/3*(-2 + 5). Suppose -90 + 15 = -15*o. Solve -15 = o*z, -d + q*z = -5*d - 20 for d.
-2
Suppose d + 6 = -r - d, 2*d + 6 = 5*r. Suppose 2*o + 2 - 10 = r. Solve 16 = 4*u - 5*h, u + 4*h - h = o for u.
4
Suppose 0 = 5*i - 1 - 9. Let t = -6 + -3. Let o = 11 + t. Solve -o*v - v = -6, 4*v - i = -3*w for w.
-2
Suppose -5*j = s - 0 - 19, -2*s - 5*j + 23 = 