 = 0 for h.
0
Let j(i) = -5*i - 10. Let l be j(-3). Solve -3 = -l*x - 13 for x.
-2
Let f(y) = -y**2 + 2*y - 9. Let m(b) = -b**2 + 3*b - 13. Let u(q) = -7*f(q) + 5*m(q). Let k be (-4)/(-3)*(-3)/2. Let o be u(k). Solve -o*z - 5 - 11 = 0 for z.
-4
Let z = 21 + -26. Let j be (-2)/(1 - z/(-3)). Suppose 0 = -9*l + j*l. Solve k = -l*k for k.
0
Suppose 0 = 5*z - 23 - 72. Let w = -16 + z. Solve -c - 7 = -w for c.
-4
Let r be 2*(-6)/(0 - 1). Suppose -i - 2*j = -3*j, 14 = 3*i + 4*j. Suppose 2 = d - x - 0, 0 = d + 2*x - i. Solve 0 = d*u + u + r for u.
-4
Let k = -80 + 115. Let g = -34 + k. Let b be (-26)/(-10) - 6/(-15). Solve -b*l - 2 = g for l.
-1
Let s(u) = -u**3 - 10*u**2 + 12*u + 11. Let b be s(-11). Suppose -g + 2*v - 3 = -v, -3*g - 5*v = -19. Solve b = -r - g + 1 for r.
-2
Let y = 783 + -769. Solve y*p - 15*p = -4 for p.
4
Suppose 4*r = -5*p + 1043, -507 = -2*r + p + 32. Solve b = r - 263 for b.
4
Let c = -10 - -3. Let v be (c + 14)*(0 - -1). Solve -27 = 4*g - v for g.
-5
Let g be (2 - 20/(-8)) + 3/6. Suppose g*c - 4*x = 4, -2*c - 3*x + x + 16 = 0. Solve -y = c*y - 20 for y.
4
Suppose -3*r + 18 = -0. Let v = r - 3. Suppose -k - 5*c - 40 = -4*k, v*k = c + 20. Solve -5*f = -4*f + k for f.
-5
Suppose -3*k = y - 4, -2*y + k = -3 + 2. Let s(o) = -o**2 - 8*o + 9. Let i be s(-9). Let v be -5*(-2 - (i - y)). Solve 3 = v*m + 8 for m.
-1
Suppose -b + 4*n + 18 = 9*n, 2*n + 6 = 4*b. Suppose 0*a - 37 = -b*d + 5*a, a = -4*d + 80. Solve 0 = -4*q - d - 1 for q.
-5
Suppose -13 + 0 = 4*l + j, 2*l = 3*j + 11. Let p be 0/(l + 1) + 4. Let m be -3 - (2 - (1 + p)). Solve -3*v + 0*v - 15 = m for v.
-5
Let o(a) = -a**3 - 15*a**2 + 13. Let d be o(-15). Suppose -d*v = -14*v + 5. Solve v*w = -0 - 5 for w.
-1
Let a(k) = -3*k - 6. Let f be a(-3). Suppose -24 = -f*j - j. Solve j = -6*o + 3*o for o.
-2
Let g = -242 - -242. Solve -t + g = 2 for t.
-2
Suppose 2*q - 19 = 31. Suppose 0 = 2*s - 3*s. Solve s*o = 5*o - q for o.
5
Suppose 4*v + 40 = 2*v. Let n = -13 - v. Solve 8 = -5*b - n for b.
-3
Let q be (-39)/130*4*(-10)/6. Solve 3*j + 11 = q for j.
-3
Suppose -2*r + 0*r - 6 = -3*l, -l - 5*r = -19. Suppose 0 = -o + 5*t - 15, l*o + 4*t - 30 = 6*t. Suppose -j + o = j. Solve -10 = -j*d - 0*d for d.
2
Suppose -y - 2*y + 11 = -2*g, 4*y + 3*g = 9. Solve -5 = -y*f + 1 for f.
2
Suppose -k = -4*v + 2*k + 15, 5*v = -3*k - 15. Let p be (-2)/(-4) - (-92)/8. Let w = p + -7. Solve -i + w*i - 8 = v for i.
2
Let y(h) = -h + 19 + 7 - 13. Let c be y(10). Solve c*t + 4 = t for t.
-2
Suppose 306 = 35*g - 6*g + 73*g. Let d(f) = f**2 - f + 4. Let z be d(0). Solve -5*t = -z*t + g for t.
-3
Let c be 4 + 6/(-10 - -4). Solve c*f + 3*f = 24 for f.
4
Let v(o) = o**3 + 6*o**2 - 6*o + 13. Let p be v(-7). Solve r = -7 + p for r.
-1
Suppose 5*j = 5*p + 33 - 8, -4*j = 2*p - 20. Suppose -2 = 2*g + 3*c - 6, -4*g + 8 = -4*c. Let m = -2 + 4. Solve -g*q - m*q + 8 = p for q.
2
Let o = 157 + -155. Solve 10 + o = 4*w for w.
3
Suppose 2*z + 4*y = -68, 38 = 2*z - 4*z + 2*y. Let a = 35 + z. Solve -m + 6 = a for m.
-5
Let a be 0*(-3)/((-3)/1). Let y be a + 1 - (-3 - -4). Solve y = -4*j + 2*j for j.
0
Suppose -2 = -5*m + 43. Let u be m/((-27)/(-12)) - -1. Solve 0 = 6*k - k + u for k.
-1
Let w be 210/(-9) + (-1)/(9/6). Let p be 2/w*-15*8. Solve 0 = 5*n - 10*n - p for n.
-2
Let h = 180 - 175. Solve h = -0*q + q for q.
5
Let g(b) = -b**2 - 4*b. Let n be g(-3). Suppose -233 = 24*d - 122*d - 135*d. Solve 0 = -4*h - n - d for h.
-1
Let x = -12 - -17. Suppose -h - h - 6 = 4*u, 0 = -h + x*u + 18. Suppose 1 = h*n - 5. Solve n = 2*m + 4 for m.
-1
Let j be 10*(1/2)/(1 + 0). Suppose -q = 4*w - 0 - 3, -j = q. Solve -w*p - 16 = 2*p for p.
-4
Suppose q + 41 = -z, 44 - 223 = 4*q - z. Let l = 44 + q. Solve l*b = 4*b + 12 for b.
-3
Let c be ((-31)/93)/(1/(-21)) + 8. Solve s = 19 - c for s.
4
Suppose -23*g = -21*g - 4. Let v be -4 + g + 2 + 2 + 1. Let k(l) = -l**3 - 6*l**2 + 5*l - 8. Let r be k(-7). Solve v*i = r*i + 9 for i.
-3
Suppose -2*l - 4*o - o = 4, 2*l - 4*o - 14 = 0. Let r(a) = 2*a + 3. Let s(c) = -c. Let v(p) = -r(p) - s(p). Let z be v(-5). Solve -z*i = -l*i - 2 for i.
-2
Let v = 29 - 30. Suppose 4*b - 14 = 2*t + 12, 4*b - 3*t - 27 = 0. Let g be (v*2)/(b/(-6)). Solve q + q - g = 0 for q.
1
Let m(s) = -s**2 - 22*s - 8. Let r be m(-22). Let z(j) = -j**3 - 8*j**2 + j + 11. Let v be z(r). Solve 0 = v*k + 2 + 1 for k.
-1
Suppose -12*l = 14*l - 1768. Solve -l*q + 30 = -74*q for q.
-5
Suppose -3*z = -4*p - 131 + 61, z - p = 25. Solve -5*f = f + z for f.
-5
Let k(c) = -8*c - 14. Let n(b) = b + 1. Let l(v) = k(v) + 12*n(v). Let y be l(2). Solve -o - o = y for o.
-3
Let r = -69 + 41. Let n = r - -28. Suppose o = 15 - n. Solve o = 4*l - 1 for l.
4
Let z(g) be the second derivative of -g**5/20 - 7*g**4/12 - g**3/6 - 3*g**2 - 3*g. Let a be 2/(-5) - (-99)/(-15). Let d be z(a). Solve -f - d = 1 for f.
-2
Let w(u) = u**3 - 2*u**2 - 10*u - 7. Let z be w(-1). Solve -24 = -z*i + 6*i for i.
-4
Let u be 9 - (7 - (1 + 3)). Let j be ((-2)/u)/1*-6. Solve 3*h + 13 = -j for h.
-5
Suppose p - 24 = -84. Let u = p - -65. Solve -u*k - 7 = -2 for k.
-1
Suppose 120 - 325 = -41*m. Solve m + 20 = 5*u for u.
5
Let b = -151 + 154. Solve -3 + 3 = b*f for f.
0
Suppose 3*p - 5*d - 53 = 0, -2*p + p - 9 = 5*d. Let c(l) = -l**3 + 2*l**2 + 12*l - 13. Let q be c(4). Suppose 0 = -q*w + 7*w - 16. Solve -w*b - p = 5 for b.
-4
Suppose 0 = 34*w - 15*w - 1634. Solve 88*u = w*u - 6 for u.
-3
Let u(k) = -11*k + 143. Let p be u(13). Solve p = 5*s - 15 - 10 for s.
5
Let q be 7 - 0/((4 - 10)/(-3)). Solve 25 = -q*f + 4 for f.
-3
Suppose 0 = -2*t - 3*j - 40, -2*j - 62 = 5*t - 4*j. Let o = t + 18. Solve -o - 8 = 3*a for a.
-4
Let t(v) be the third derivative of -v**6/120 + v**5/60 - v**3/6 + 2*v**2. Let g be t(-2). Suppose g*r - 8 = 7*r. Solve -r*z - 2*z = 4 for z.
-1
Let f(w) = w**2 - 2*w - 12. Let v be f(0). Let t be (-3)/(v/32*-4). Let r(y) = y**3 + 4*y**2 + 2*y - 2. Let x be r(t). Solve -x*z = z for z.
0
Suppose -c - 4 = -q, -3*c + 12 = -0*q + 3*q. Suppose -4*o - 2*v = c, -5*o = -0*o - 5*v - 15. Let z be 5/((o - -1)/2). Solve -z*w + 0*w - 15 = 0 for w.
-3
Let x = -1 + 1. Suppose -6*a + 4 + 2 = x. Let k be 1/a + -4 - -9. Solve 0 = 5*j - 9 - k for j.
3
Let x = -27 + 46. Solve 0 = -x*v + 7*v - 36 for v.
-3
Suppose -3*u - 5*g + 0*g = 0, 4*u - 5*g = 0. Solve z + 2*z + 15 = u for z.
-5
Let q be (-8)/4 + (4 - 2). Let g be 27 + (1 - 3) - q. Suppose -g = -5*r - 0*r. Solve r = -0*y + y for y.
5
Let i be (-100)/(-8) + -1 + (-1)/(-2). Solve -7*q - i = -10*q for q.
4
Let m be (10 - -26) + -1 + -10. Solve -18*g = -m*g - 28 for g.
-4
Let m(r) = -5*r**2 - 18*r + 8. Let o be m(-4). Solve 2*l - 4*l - 4 = o for l.
-2
Suppose -70 + 25 = -3*k. Suppose 3*t + 0*t = k. Solve -1 = -t*x - 16 for x.
-3
Suppose 5*l + 1 - 21 = 0. Let f = 589 + -589. Solve f = -m + l for m.
4
Let t(g) = 3*g - 43. Let v be t(20). Solve -4*a + v = 37 for a.
-5
Let p(u) be the first derivative of -u**6/360 + u**5/120 - 10*u**3/3 + 4. Let x(z) be the third derivative of p(z). Let j be x(0). Solve 5*c + j = 5 for c.
1
Let c(w) = -w**3 - 4*w**2 - 9*w - 34. Let v be c(-4). Let a = -14 - -19. Let z = -6 + 10. Solve a*i - v = z*i for i.
2
Suppose 2*o - 2*v = 44, -2*v = -2*o - 4*v + 36. Let c be 4 - ((-4)/(-10) + (-28)/o). Solve -c + 21 = -4*y for y.
-4
Let d(h) = -h**3 - 7*h**2 - 6*h + 5. Let w be d(-6). Suppose -w*t = x + x + 5, -9 = t + 2*x. Let n be (-4)/12*-3*t. Solve -y + 1 + n = 0 for y.
2
Suppose -5*t + 4*t = 36. Let d = t - -38. Solve 6*y = d*y - 12 for y.
-3
Suppose 4*w = 46 - 10. Let o = w - 4. Suppose -a - 1 = n - o*n, n - 1 = 0. Solve -2*i + 1 = -a*i for i.
-1
Suppose 3*j + 9 = 9. Solve j = 5*p - 57 + 72 for p.
-3
Let u(i) = -i**3 - 3*i**2 - 1. Let o = 10 - 15. Let w be u(o). Suppose -4*j + 51 = -w. Solve 3*s + 2*s - j = 0 for s.
5
Let d = 5 + 6. Let f(h) be the third derivative of -h**6/120 + h**4/8 + h**3/6 + 2*h**2. Let q be f(-2). Solve 2*l = q - d for l.
-4
Let x = 22 - -36. Suppose 3*p - 75 = -2*j - 19, -x = -3*p - j. Solve -6*s + s = p for s.
-4
Let n = 45 + -40. Suppose 0 = -6*r + r. Let d = r - -3. Solve -d*i + n = -1 for i.
2
Suppose 0 = 8*x - 39 - 89. Let d be -2*1*(-10)/4. Solve l = d*l - x for l.
4
Let r = -28 + 31. Let s be -2*-3*r/18. Solve 0 = -5*v + s + 24 for v.
5
Let a(p) = p**2 + 5*p + 12. Let t be (-3)/2*(-