for h.
-2
Let q(b) = -6*b + 15. Let x be q(7). Let v = x - -27. Solve 0*j - 2*j - 4*s - 16 = v, j = 2*s for j.
-4
Let f be (-6)/(-4)*(-86)/3. Let x = f - -46. Solve -3*j + n + x = 2*j, -6 = 5*j + 2*n for j.
0
Suppose -6*x - 2*j = -x - 28, -12 = -3*j. Solve -x*m = -3*i + 14, i + 2*i = 5*m + 16 for i.
2
Suppose 0 = -50*w + 124 + 76. Solve u = -3, 5*u - 4*u = -k - w for k.
-1
Suppose 13 = 9*k + 4*k. Suppose -4*y + y + 36 = 0. Let o be (-15)/y*k*-4. Solve i + o = 0, 6*i = 5*r + i - 15 for r.
-2
Let m be -1*(-4 - -2)/2. Let l be m/((-2)/4) - 2 - -6. Solve 2*h = g - l, 5*h + 4*g - 10 = 11 for h.
1
Let y(m) = -7*m - 255. Let o be y(-38). Solve 3*s = -2*s + 2*x + o, 3*x = -9 for s.
1
Let o(d) = 0*d - 2*d**2 + 1 + 2*d - 2 + 4*d**3. Let t be o(1). Suppose -2*s + 3*s = 2*q - 4, -s + q = -1. Solve -t*p = -a - s, 4*a = 5*a - 5*p + 8 for a.
-3
Suppose -2*h + 6*h = f - 81, -5*f + 85 = -4*h. Let u be (-1)/((7 + -3)/h). Let z(b) = b + 12. Let c be z(-7). Solve n = -k - u, -k - n = -c*n - 10 for k.
-2
Let a(h) = 5*h + 6. Let q be a(13). Let w = -66 + q. Solve -w*c - 1 = 4*b - 6, 0 = 4*c - 5*b - 4 for c.
1
Let c be (1*-5)/(11 + -12). Suppose c*b - 15 = -0. Let s be (-9)/(3/(-30)*b). Solve -4 = w - h, 0 = 5*w - h + 6*h + s for w.
-5
Let m = 26 - -60. Suppose m = 3*t - 5*i, 2*i = -t - 0*i + 14. Solve -2*u + t = 4*q, -26 = -5*q - 3*u + 2*u for q.
5
Let z(c) = -c**2 - 9*c + 4. Let k be z(0). Solve 2*h = -k*j + 5*j - 5, -2*h + 10 = 4*j for h.
-1
Let t(a) = a**2 + 15*a - 10. Let q be t(-12). Let l = -41 - q. Solve 0 = g + 3*p + 1 + l, -g - p = 2 for g.
0
Let d(w) = -w**3 - 13*w**2 - 12*w + 2. Let q be d(-12). Let x be 30/((-10)/(-2)) + 2. Suppose -x*n = -5*n - 9. Solve -n*c + 4 = c + q*u, 4 = 2*c + 2*u for c.
0
Suppose -15*k = 214 - 694. Solve -5*s + 0 = 2*m + 5, -4*m = -4*s - k for s.
-3
Let o(p) = 3*p - p - 3*p - 2 + 2*p. Let c be o(5). Solve 2*q - 11 = -c, -2*q + 14 = 3*x for x.
2
Suppose 103*q = 57*q + 138. Solve q*d + 3 = 0, 2*i - d = 4*d - 5 for i.
-5
Suppose -5*x + 13 + 2 = 7*g, 0 = -5*g - 4*x + 12. Solve 2*i + 4*j - 22 = 0, -2*i = -j - g*j - 2 for i.
3
Suppose d = -4*d. Suppose 4 = 3*x - 11. Let o(n) = n - 1. Let f be o(x). Solve d*l - f*j = -l, 4 = -4*j for l.
-4
Let f be ((-1)/1)/((-13)/65). Suppose v = -f*v + 96. Let c be 18/12*v/6. Solve 0 = 5*y + 2*a + 20, 5 = -y - c*a + 1 for y.
-4
Let c = 9 + -9. Let s be c/2 - 27/(-9). Suppose 0 = -s*p + 8 - 2. Solve -3*j + 6 = 3*b, 3*b + p*j = 4*j - 4 for b.
0
Suppose 0 = -329*f + 334*f - 15. Solve 3*a - 30 = f*q, -3*a + 25 = -2*a - 4*q for a.
5
Let m(h) = -h**3 - 13*h**2 - 41*h. Let a be m(-5). Solve -f = b - 3, 0 = 2*b + b + f - a for b.
1
Let j(z) be the first derivative of z**2/2 + 11*z - 8. Let y be j(-7). Suppose -y*t = -3*v - 24, 20 = 5*t - v + 1. Solve 2*i - 4 = -0*i + 3*a, -t*a = 12 for i.
-4
Let p be 4/3 - (-124)/(-12). Let j be ((-4)/(-6))/(p/(-27)). Suppose -a - j*h = 4 - 9, -5*a + 25 = h. Solve a*w - z = 16, -3*z - 1 = -w - 5*z for w.
3
Let p = -52 + 92. Let u = 43 - p. Solve -4*l - 2*f = 12 - 2, -u*l - 5*f = 18 for l.
-1
Let v be (-3)/3 + (-44)/4. Let a = v + 34. Suppose 0 = -t - 3*f + a, 62 = 5*t + 3*f - 0*f. Solve -m - 7 = -b, -b + t = b for m.
-2
Let a(m) = -9*m. Let i be a(-1). Let c(f) = -f**3 + 2*f**2 - f + 2. Let d be c(2). Let k = i - d. Solve -3*v = 5*y - 3 + k, 5*y = 2*v + 4 for v.
-2
Let d be 4/3*273/182. Solve -2*a - 3*a = -p - 29, 2*a + 3*p = -d for a.
5
Let m(r) = 3*r**3 - 3*r**2 + r - 2. Let n be m(3). Let d = -35 + n. Solve d = 3*p - 4*q, -4*p - q = -13 - 1 for p.
4
Let a(g) = 4*g + 39. Let k be a(-9). Solve 35 = -k*s + 6*f - 2*f, s = -f for s.
-5
Suppose 6 = 5*s - 9. Let z = 7 - s. Let h = -23 - -26. Solve h*b - 31 = 4*u, -z*u - b - 11 = -0*u for u.
-4
Suppose 0 = -4*n - 0*n + 8, f - 4*n = -5. Solve 0 = -3*l - 3*z, 2*l + 4*z + f = l for l.
1
Let o(n) = -33*n - 2. Let v be o(-4). Let j = v - 127. Solve -m + j = 2*a + 2*a, -2*m = -2*a + 14 for a.
2
Suppose -n + 2*j = -1 - 12, 5*n - 5 = -5*j. Let o(y) be the first derivative of -y**2/2 + 5*y - 6. Let p be o(n). Solve 6 = 3*s - 3, p = -3*z - 2*s - 6 for z.
-4
Let t(n) = 8*n + 166. Let f be t(-20). Suppose 3 = -3*r - 3. Let u = r - -7. Solve -u*q - l - 2*l + f = 0, -5*q = -3*l + 6 for q.
0
Suppose 5*k = -6*k + 44. Let t = 6 - 19. Let p = t - -24. Solve 3*a = k*s - 3*s - p, 3*s - 3*a - 21 = 0 for s.
5
Let o(v) = -v**3 - 5*v**2 - 4*v + 5. Let w be o(-4). Suppose 0 = 389*r - 377*r - 48. Solve z - w = -2*j, -z - r = -5 for j.
2
Let w = 801 - 799. Solve -5*z = 2*n - z + 10, w*n + 3*z + 10 = 0 for n.
-5
Suppose 0 = 4*r + 3*c - 404, -4*c + 3*c = 2*r - 200. Let n = r + -65. Solve -v = 2*d - 3*v + 6, -5*d - n = 4*v for d.
-5
Let x = 57 - 61. Let w be 22 + 1*(x + 0). Solve 0 = -o - 5*k + w, -3 = -5*o - 3*k - 1 for o.
-2
Let w(c) = -2*c**3 - 27*c**2 - 20*c - 87. Let f be w(-13). Solve m - 9*j + 13 = -f*j, m + 10 = 4*j for m.
2
Let h(r) = r**2 - 24*r + 4. Let g be h(0). Solve 0*k = -y + 3*k + 10, 0 = g*y + k + 25 for y.
-5
Let l = 11 + -6. Suppose 3*n = 4*t + 4*n, -l*t = 5*n. Solve 9*b - 4*b + 3*h - 30 = 0, -3*b + 5*h - 16 = t for b.
3
Let r = -89 + 93. Solve 13 = -5*x + 3*t, 15 = -r*x - 4*t - 21 for x.
-5
Suppose 8*g = 3*g - 40. Let m be (-39)/g - 4/(-32). Solve -4*s - v = 19, v = 2*s + m - 0 for s.
-4
Let o = -79 + 84. Suppose -a - 2*c = -1 + 3, -4*a = -c - 1. Suppose h + 2*h = a. Solve q = -h*q - 4*i + o, -7 = -3*q - 4*i for q.
1
Let c = -109 - -117. Solve y - 5*p = -3*p + 2, -y = 3*p + c for y.
-2
Let w(q) = 4 + 8 + q + 8*q + q**2. Suppose -3*i - 13 - 14 = 0. Let r be w(i). Solve r = -4*v - 4*z, -v - 4*z - 19 = z for v.
1
Suppose -113*i + 109*i + 80 = 0. Solve 9*r - 4*r = -4*y + 36, -5*y + i = 0 for r.
4
Let h(v) = v**2 - 13*v + 22. Let f be h(12). Suppose 4 - f = -3*j. Solve j*q + 15 = 5*q, -17 = -3*p - 4*q for p.
-1
Let q be (-2)/3 - (-11)/132*44. Solve 0*o - 5*d = -4*o - 2, q*o = 3*d for o.
2
Suppose -10 = -6*z + z. Let n = 173 + -171. Suppose 0 = 7*s - 2*s + z*b - 95, -n*s + 2*b = -24. Solve -3*l + 2*l = f - 5, -4*f = 3*l - s for f.
2
Suppose 3*z = 5*z. Solve 4*w - o = -0*o - 15, z = -w + 3*o - 1 for w.
-4
Let z(c) = 1 + 2 - 3*c + 12. Let w be z(5). Solve 2*f + 2 = -0*d - d, w = -5*d - 2*f - 2 for d.
0
Suppose 2*m = -m. Let f be (-3*25/(-15))/(1/1). Suppose -8 = 4*r - f*r. Solve 3*u = 4*q - q + 12, -u + 3*q + r = m for u.
2
Suppose 0 = 7*c - 3*c - 88. Let l = -20 + c. Solve -l*r - 4*n - 11 = -1, 3*r = -4*n - 5 for r.
5
Let r(v) = v + 3. Let g be r(-3). Let k be g/(-3 + 2) + 5. Suppose 0 = -2*n + 4, -k*s = n - 7 - 5. Solve 0 = -2*w + 3*j - 0*j + 2, 0 = -s*j - 4 for w.
-2
Suppose -i + 37 = 5*w, 14*w - 17*w = 5*i - 31. Solve x = 2*z + w, x - 3*z - 13 = -5 for x.
5
Let h = -1251 - -1256. Solve 3*g = -5*q - 1 + 5, h*q = g - 8 for q.
-1
Let v(w) = -w**2 - 18*w + 1. Let m be v(-17). Suppose -t = -2*z - 0*t + 10, -4*z + t + m = 0. Solve 0 = 2*j - i + 6*i - 18, z*i - 28 = -5*j for j.
4
Let h be (7/(-2))/(24/(-48)). Suppose -2*g - 6*x + 3*x + 11 = 0, -3*g + 5*x = -h. Solve -2*j = 2*b, j + 7 = g*b - 18 for j.
-5
Suppose -3*n - m = -177, 2*m - 71 = -3*n + 103. Suppose 0 = 4*s - n + 44. Solve -3 = s*t + 5, 5*c = 5*t - 5 for c.
-3
Suppose -4*w - 295 = 5*i, 49 = -i + w - 1. Let b = 57 + i. Solve 2*f = -3*a - 21, 3*f - b*a + 3 = 4 for f.
-3
Let y = 14 + -10. Suppose 2*p + d + 32 = 2*d, 0 = -p - y*d - 7. Let h = p - -32. Solve 3*a = -5*o - h, -2*a = o + 5 + 4 for o.
-1
Suppose -9*j + 15*j - 30 = 0. Solve -j*i - 9 = 4*u, 5*i + 7 = -5*u + 3*i for u.
-1
Let w be (-450)/(-125) + ((-16)/10 - -2). Solve -3*r = -3*d + w - 1, d + 8 = 4*r for r.
3
Let p = -153 - -64. Let o = 92 + p. Solve -3*n + 0*y = -o*y - 21, -n - 9 = 3*y for n.
3
Let d be 48/(-18)*(-3)/(-2) - -14. Solve 5*t + 1 = 4*h, -9 - d = -5*t - h for t.
3
Let l be 45/(-18)*4/(-5). Solve l*c - 9 = -2*u + 3*u, -4*u + c - 15 = 0 for u.
-3
Let d(a) = a**3 + a**2 + 2*a + 7. Let i be d(-4). Let v = -44 - i. Suppose -k + 5 + 1 = 0. Solve 4*p - k = 2*f, 4*f + v*p = 3*p + 28 for f.
5
Let y(a) = a**2 - a + 2. Let i be y(2). Suppose -3*u + 2*u = 4*d + 22, -3*d + 179 = -5*u. Let t = 54 + u. Solve -i*c + t = 2*b, 0 = -b + 5*b - 16 for c.
3
Let h(j) = -j**3 - 14*j**2 - 59*j - 47. Let f be h(-6). Let d(v) = v**2 - 3*v - 7. Let g be d(5). Let x = g + -1. Solve -2*m = 3*p + f, 2*m + x = m for p.
-5
Let k = 19 + -10. Suppose