 20 for h.
0
Let a be (1 - 5)/(-2)*(-3)/2. Let p be 965/35 + 4 - a/7. Solve p = -3*d + 5*n, 4*d = 5*d - 4*n + 20 for d.
-4
Let c be (2 - 1)/((-14)/56). Let a(q) = -9*q - 34. Let b be a(c). Solve 2 = x - 3, b*p - 19 = -3*x for p.
2
Let b(r) be the third derivative of r**6/60 - 4*r**5/15 - 5*r**4/6 + 19*r**3/6 + 4*r**2 + 32. Let h be b(9). Solve -15 = 5*n, -2*n - 13 = 2*g + h for g.
-4
Suppose -27*u - 88 = -35*u. Suppose -4*p - w = 3, p = 10*w - u*w - 3. Solve z - 2*b + 5 = p, -6 = z + 2*z - 3*b for z.
1
Let x(d) = 26*d + 6. Let m = 42 - 40. Let c be x(m). Suppose -5*b + c - 43 = 0. Solve b*i + 9 = 0, 0*i - i = 5*g - 17 for g.
4
Let z(n) = -636*n + 314*n + 317*n + 21. Let q(y) = -26*y + 106. Let c(k) = 4*q(k) - 22*z(k). Let o be c(7). Solve m = 5*v + 12, 2*m = -5*v - o - 17 for m.
-3
Let x be ((-70)/15)/(-7)*(-1 + 4). Let u be ((-210)/(-28))/(3/x). Solve 3*r - 11 = v, u*v - 3 + 28 = 5*r for r.
3
Let x(p) = -p**3 + 2*p**2 + 24*p. Let b be 29/(-7) + (-1)/(-7). Let i be x(b). Solve -5*v + 4*o + 9 = i, 3*v - o + 0*o = 11 for v.
5
Let m be ((-18)/4)/(9/(-24)). Suppose a - 4*a = -m. Suppose 3*w + 4 = a*w. Solve 0*d = -w*d + 2*x + 8, -5*d + 3 = x for d.
1
Suppose -14*r - 21 = -18*r + 5*f, -13 = -4*r - 3*f. Solve -g + 2*g - r*h = -2, -g + 5*h = 3 for g.
2
Let s(b) = -b**2 - 73*b. Let l be s(0). Solve -2*h = w - l*w + 2, 0 = -w + 5*h + 5 for w.
0
Suppose 2 = 2*r, 5*z - r = -3*r + 22. Suppose 20 = 4*l + z. Suppose -l*u - 7 + 19 = 0. Solve 5*q - u*q - 2*y = -2, -2*y - 1 = -q for q.
-3
Let a(w) = 10*w**2 - 14*w - 78. Let m be a(4). Solve -3*d - 5*f + 40 = -7*d, -2*d - m = -4*f for d.
-5
Let j = 3 - 0. Suppose 18*i + 76 = 23*i + 3*v, 0 = 5*v - 10. Suppose i*b + 24 = 80. Solve 0 = j*t + 5*f - 1 + 11, 4*f = b*t - 8 for t.
0
Let o = -606 + 609. Solve 5*x - o*i = 35, -2*x - 9 = 2*x + 5*i for x.
4
Suppose 0 = 2*p - 4*j + 274, j + 39 + 591 = -5*p. Let x = 129 + p. Solve -2*s = -6, 0*b - 3*s = x*b - 9 for b.
0
Suppose 0 = -8*w - 8570 + 8594. Solve 0 = -5*b + w*y - 4, -4 = 3*b - 5*y - 8 for b.
-2
Let x(w) = w**3 + 14*w**2 + 3*w - 2. Let h be x(-13). Let n = 133 - h. Solve n*r - m = -23, -27 - 4 = 5*r + 3*m for r.
-5
Let u(o) = 2*o**2 - 32*o - 5. Let x be u(16). Let v be -1*x/40*0. Solve v = 3*r + 15, 2 = 4*n + 3*r + 33 for n.
-4
Let w be 24/12 - (2 + 1). Let l be (w + -1)/(10 - 11). Solve l*i - z = 0, -i + 3 = z - 3 for i.
2
Let b(o) = -o**3 - 7*o**2 + o + 4. Let c be b(-8). Let w be (24/(-15))/((-18)/45). Suppose -11*j + c = w*j. Solve -j*m = 4*p - 2*p + 16, 3*p = -m - 4 for p.
0
Let x be (8/(-6))/4 + 136/12. Suppose -5*u = b + 11, 5*b - 3*u = 18 + x. Solve -4*n = n + 2*i + 16, b*n + 14 = -i for n.
-4
Let r = 160 + -145. Suppose 4*z - 4*x = -20, 4*x - r = 5. Suppose 12*f = -z*f. Solve 0 = 4*c - 3*b + 11, f = -4*c + 2*b - 0*b - 10 for c.
-2
Suppose -4*t + 5*b = -33, -t = 5*b - 11 + 34. Let a be (t/3)/((-24)/(-1152)). Let v = a - 30. Solve 4*r - 8 = -2*c, 2*c + v*c + r = -5 for c.
-2
Suppose -74*q = -33*q - 123. Solve 0 = -q*j - 6 - 3, -3*m - 2*j + 9 = 0 for m.
5
Let m be (15/10)/(12/(-40)). Let l be (m/(-2))/((-536)/96 + 6). Solve 5*a + 5*v = -40, -v + 28 = -a - l*v for a.
-3
Let u = 30 - 35. Let b be (-2 - (-6)/(-2))*u. Suppose 4*a = -3*m + 99, 3*m - 2*a = b + 74. Solve 5*t - 14 = -3*y + t, -5*t + m = -4*y for y.
-2
Let m = -76 - -104. Suppose 27 = 11*b - m. Solve -5*r - 4*n - 25 = 0, -b*n + 4 = -r - 1 for r.
-5
Let h(l) = -2*l**3 + 36*l**2 + 38*l + 3. Let d be h(19). Suppose -5*s = -7 - d, -x + s + 33 = 0. Solve 0*n - 4*n + o - 25 = 0, -3*n = -4*o + x for n.
-5
Let c(m) = 341*m - 1350. Let w be c(4). Solve -5*u - 11 = -3*n, 11*n + 7 = -u + w*n for u.
-1
Let f(z) = -z**2 - 11*z - 12. Let j be f(-9). Suppose -3*w - 4 = -2*i - j, 12 = 4*i - 2*w. Solve 7 = 5*q + 3*v - 6*v, 2*v = i*q - 3 for q.
-1
Suppose 102 = 28*i - 11*i. Solve y + 0*u + 2*u = i, -5*y + 9 = 3*u for y.
0
Suppose 445*w - 15 = 459*w - 85. Solve -21 = 2*g + w*f - 8, g - f = 4 for g.
1
Suppose -4*n = -9*n + 20. Suppose 77 = 2*u + 73. Let w be (-2)/((6 - u) + 22/(-5)). Solve 0 = f + w, 0 = -2*h - n*f + 3*f - 7 for h.
-1
Let h be 2/(-5) + (-14)/(-10). Suppose 0 = -4*m + 13 - h. Let b be ((-2)/(-15))/(773/3865) + 26/6. Solve -b*a - 14 = -u, -m*a - 15 = 2*a for u.
-1
Suppose 5*c = 2*g + 13, -c = -5*g + 18 + 7. Solve -v - 5 = -c*x, 4*v = 6*x - 7*x - 20 for x.
0
Let p(l) = -l**2 - 54*l + 84. Let o be p(-34). Suppose -o*s + 12 = -760*s. Solve 4*d = -20, s*d - d = -5*q + 15 for q.
5
Let t = 143 - 140. Suppose 70 = 4*p - 3*j, 17*j = -t*p + 16*j + 59. Solve 2*d - p = 5*u, 9*d = 4*d + 10 for u.
-3
Let l(b) = 153*b + 1075. Let j be l(-7). Solve 0 = -2*r - 2*t - j, 8*r + t - 10 = 3*r for r.
3
Suppose 3*f + 45 = -2*f. Let g be 7/(-21) - (30/f + 1). Let r be (-3)/g - 65/(-10). Solve 2*c + 3 = 5*w - 4, r*w + 5*c - 35 = 0 for w.
3
Suppose 48*j - 6 = 42*j. Let t be (-1)/(-1)*(1 + (4 - j)). Let h = 3 - -1. Solve -h*n - 2*q = q - 28, -2*n - t*q = -24 for n.
4
Let y(j) = -j**3 - j**2 - 12. Let k be y(-3). Suppose 0 = -k*a - 591 + 615. Solve -5*g + 13 = h, a*h - 4*g = 3*h - 5 for h.
3
Let q = -21 + 21. Suppose 11 = x - l, -x + 32 - 16 = -2*l. Solve x*s + 8 = 4*s + 2*v, 3*s - v + 14 = q for s.
-5
Let m = -19523 - -19523. Solve -3*z + 7 + 1 = 4*p, 2*z - 2*p + 4 = m for z.
0
Let u = -6 + 11. Let l(s) = -8*s - 13. Let o(m) = 9*m + 14. Let w(v) = u*l(v) + 4*o(v). Let x be w(-5). Solve 3*r + 5*t + 19 = t, x = 5*r - 4*t for r.
-1
Let v be (2 - 2)/(55/11 + -2 + -4). Solve 4*n + v*w = -3*w + 32, -5*n = w - 29 for n.
5
Let y(x) = 10*x**2 + 12*x + 8. Let c be y(6). Let i be ((c + 5)/5)/(3 + -2). Let g = i + -70. Solve -4*v - 4 + g = 3*s, -3*v - s + 10 = 0 for v.
3
Let l(u) = 7*u**2 - 24*u - 3. Let r(s) = s**2 - 2*s. Let z(c) = -l(c) + 5*r(c). Let x be z(7). Solve 1 = -3*a - v + 14, 3*v = 3*a + x for a.
3
Let m(l) = 25*l + 605. Let a be m(-24). Solve -5*b = -a*r - 22 + 7, 0 = -5*r - 5*b + 15 for r.
0
Suppose 61 = 2*f + 4108*u - 4109*u, 5*f = -4*u + 146. Solve p - n = 1, 28 = p - 2*n + f for p.
4
Let r(i) = -i**3 - 7*i**2 + 39*i + 252. Let x be r(-8). Solve 0 = 2*o + w, 0 = -2*o - 6*w + 4*w + x for o.
-2
Let r be 72/(-8)*(-5)/45*3. Solve -5*x + 4*i = -13, -r*i - 6 = 2*x - 2 for x.
1
Let b = 51 - 68. Let x = b - -19. Solve -3*n = 3*i + 3, 5*i = -3*n + 1 + x for i.
3
Let i be -40*8/32 + (26 - 1). Solve 4*g - 2 = -2*j, -5*g + 2*j = -i + 8 for g.
1
Suppose 412 + 37 - 25 = 106*r. Solve -4*z = -r, 5*k + 2*z - 10 = 17 for k.
5
Let w be -1*(-2)/(6/(-3)) + -1. Let i(o) = -2*o**3 - 5*o**2 - 5*o - 4. Let f be i(w). Solve -3*v - 2*y + 15 = 3*y, v - 5 = f*y for v.
5
Let q = -27467 - -27470. Solve 5*s = 9*t - 4*t - 10, 0 = -q*t - 4*s + 13 for t.
3
Suppose 2*k + 36*k - 3990 = 0. Suppose -k - 129 = -39*i. Solve -2*w - 5*b + 9 = 0, i = 3*w + 2*b - 2 for w.
2
Let w be 6/(((-18)/(-72))/((-1)/(-8))). Solve 2*a = -w*i - 16, 0 = -5*i - 11*a + 8*a - 26 for i.
-4
Suppose -4*h = -61 - 19. Let k be (-13)/((-195)/(-140))*21. Let j = k - -199. Solve -j*q + 3*u = -0*u - 30, -u + h = 5*q for q.
5
Let h be 1/(-5) + 2 + (-18)/(-15). Let t(c) = -h - 4*c + 8*c + 0*c - 3*c. Let a be t(5). Solve 3*q - 1 = 5, -a*q = -o for o.
4
Let m = 14 - -38. Let x be 1568/m - 4/26. Let y = -28 + x. Solve 0*s + 29 = 3*o + 5*s, -y*o = -s - 2 for o.
3
Let w = 3 + -1. Let s be (30/60)/((-2)/(-132)). Suppose w*j = s + 1. Solve a + 3*b + 7 - j = 0, 4*a + 15 = -b for a.
-5
Let n = -433 - -956. Let i = -521 + n. Solve 0 = 3*v - i*c - 15, 6 = 2*v + 5*c - 4 for v.
5
Let d = 23 - 12. Suppose -2*i - 3 = -3*g, -2*i + 113*g - 114*g + 1 = 0. Solve l - 5*n - 6 = 0, i = -5*l - n - 33 + d for l.
-4
Let k = 47 + -37. Suppose -2*i = -3*v - k, 4*v + 13 - 3 = 2*i. Suppose v = -m - 3*m + 48. Solve 7*f - 3*f + 10 = 5*w, 2*f = -w - m for f.
-5
Let m(v) = -186*v + 60. Let x be m(3). Let f = -494 - x. Solve -16 = 2*s + 5*d, -4*d - 12 = f*s - 2*s for s.
2
Let b be (-8 + 26)/(-6) - (-3)/1. Let q = -12 - -15. Let m = 75 - 75. Solve q*v + b*r = r + 4, m = 4*v - 4*r for v.
2
Let s(a) be the first derivative of -3/2*a**2 + 2*a**3 + 16 + 2*a. Let h be s(1). Solve 0*t - t + 5*o = -19, h*t = 2*o + 26 for t.
4
Let l(t) = t**2 + 2*t - 55. Let u be l(-9). Solve 4*z = -12, 0 = g + 4*z - 6*z - u for g.
2
Let j = 15 - 13. Let p(v) = -v**2 + 4*v + 3. Let o(c) = 7*c - 49. Let k be o(7). Let l be p(k). Solve -4*t + 3*t + 2 = n,