for h.
3
Let x(c) = c**3 - 14*c**2 + 12*c - 33. Let b be x(14). Solve 120 - b = 3*l for l.
-5
Suppose -6 = 2*r - 4*h, 5*r - 5*h = -0*r + 5. Suppose -45 = 4*x - 0*x + r*a, 3*a = 3*x. Let n = 7 + x. Solve -n*c + 5*c - 6 = 0 for c.
2
Suppose -60 = x - 5*n, -4*n + 0*n - 24 = x. Let f be -15*(-3 - x/15). Suppose -f*i = -20, -4*i = -3*l - i. Solve l*c - 2 = 2 for c.
1
Let w(u) = 3*u - 19. Let i be w(7). Suppose -i*o - 38 = -46. Suppose 0 = -5*k + 4*k + 4. Solve 2*q - o = k*q for q.
-2
Let v be (3 + 20/(-8))/(11/110). Solve -v*w + 6*w = -1 for w.
-1
Let z = -43 - -61. Let v be -2 + 3 + 2 + 0. Let p = 7 - v. Solve -z - 2 = p*a for a.
-5
Let b(l) = -l**3 - l**2 + 6*l + 9. Let m be b(0). Suppose 0 = 2*o - 4, -5*n = 2*o - 11 - 8. Suppose -4*h + n + m = 0. Solve -i + 8 = -h*i for i.
-4
Let t(p) = -p**3 - 8*p**2 + 9*p + 5. Let q be t(-9). Solve -10*v = -11*v - q for v.
-5
Let u = 61 - 57. Let o(t) = -3*t + 14. Let x be o(u). Solve -5*r + x*r = 12 for r.
-4
Suppose 19*h + 38 = 20*h. Solve 2*d + h = 32 for d.
-3
Let f be ((-64)/112)/(2/(-14)). Solve -10 = -j - f*j for j.
2
Let r(c) = -c**3 - 6*c**2 - 6*c - 1. Let t be r(-5). Solve t*k + 4 = 20 for k.
4
Let v(j) be the third derivative of -j**6/120 + j**5/30 + j**4/12 - j**3/3 - 40*j**2. Let y be v(2). Solve -5*h + 13 = -y for h.
3
Let j = 381 - 377. Solve 2*o - j = -0*o for o.
2
Suppose a - 2*q - 1 = -4*q, -q = 1. Suppose 6 = a*j - j. Let y = 6 - j. Solve c + 0 = y for c.
3
Let i(j) = 5*j**2 + 8*j + 8. Let a(t) = -t**2. Let k(h) = -4*a(h) - i(h). Let y be k(-6). Suppose 1 = 2*p - p - y*g, -3*p - 4*g = -19. Solve 0*z + p = z for z.
5
Let d = -32 - -42. Suppose 2*g - s = d, 0 = 3*g - s - 13 - 2. Solve -g*r + 6 = -14 for r.
4
Let m(v) = 2*v - 92. Let d be m(50). Solve 5*j + d = -7 for j.
-3
Let b = -6 - -10. Suppose -x = -3*x - y + 21, b*x - 43 = -3*y. Solve x = -5*r - 0 for r.
-2
Suppose -i - 14 = -17. Suppose -7*l + i*l = 16, 5*h + 3*l + 12 = 0. Solve h = -5*c - 23 + 3 for c.
-4
Suppose 10*n + 6 - 56 = 0. Solve -14*r = -15*r + n for r.
5
Suppose 55*i - 58*i = -141. Solve 15 = -42*f + i*f for f.
3
Suppose -4*s - 2*x - 2*x - 56 = 0, 0 = -2*s + 4*x - 46. Let a = 19 + s. Let p = a + 7. Solve 3*f = -0*f + p for f.
3
Let q = -83 - -83. Suppose q = -2*r + j + 8, -2 - 14 = -4*r - 4*j. Solve 3*o + r = o for o.
-2
Let u = 1315 - 1298. Solve -u*k + 6 = 91 for k.
-5
Suppose 0 = 9*a - 21 - 42. Solve 0 = -0*j + a*j for j.
0
Suppose -3*x + 4 = -5*g, x + g = 2*x - 2. Solve 0*z = x*z + 15 for z.
-5
Let i(l) = -7*l - 42. Let o be i(-7). Suppose o*h - 4*h = 0. Solve 12 = -h*j - 4*j for j.
-3
Suppose -6 = 104*b - 106*b. Let l be b - (-5 - (1 - -1)). Solve -l = g + g for g.
-5
Let q(p) = 2*p**3 - 37*p**2 - 77*p - 30. Let v(t) = 3*t**3 - 56*t**2 - 116*t - 45. Let k(b) = -8*q(b) + 5*v(b). Let r be k(18). Solve -r = -a - 20 for a.
-5
Suppose 415 - 419 = -y. Solve 0 = n + y - 2 for n.
-2
Let h(g) = -g**2 + 6*g - 6. Suppose 0 = -2*y + 6 + 4. Let a be h(y). Let t be 5 - (-1)/a*3. Solve -t = -4*x + 2 for x.
1
Let q be (-2)/(-6)*(6 - 0). Solve -q*y = y - 9 for y.
3
Let r(d) = 4*d - 5. Let n be r(-12). Let p = -29 - n. Suppose 3*w - 3*j = p, 0*j + 16 = -w - 5*j. Solve -w*i + 5 = 17 for i.
-3
Suppose -39*a = -0*a - 663. Solve -a*t = -22*t - 5 for t.
-1
Let m(x) = x - 16 + 3 + 1. Let g be m(14). Let d be ((-12)/48)/((-2)/40). Solve -3*u + g*u = -d for u.
5
Let b = 113 + -105. Solve b*o - 5 = 7*o for o.
5
Let i be 12/36*(0 - -6). Solve -i - 16 = -9*h for h.
2
Let y be (2 + 3)/(1 + 0). Suppose 0 = -4*u + 16, -y*m - 5 - 5 = -5*u. Suppose -t - 5*x - 6 = 7, -t = -4*x - 14. Solve -t - m = -4*o for o.
1
Let a(s) = -2*s**2 - 19*s - 39. Let l be a(-6). Solve 0 = -l*y + 7*y - 4 for y.
1
Let j be (-15)/(-10)*4/3. Suppose j*k + 3*k = 95. Suppose -4*x = -31 + k. Solve -2 = x*r + 4 for r.
-2
Let y = 20 + -72. Let r be (-4)/18 + y/9. Let g be ((-4)/r)/(2/6). Solve 0*m = m + g for m.
-2
Suppose -39 = 2*b + 5*u + 19, -3*u - 87 = 3*b. Let h = b - -38. Solve -4*t - 5 = -h*t for t.
1
Let n be 13/6 + (-1)/6. Suppose -3*j + 5*f + 25 = -n*j, 0 = -2*j - 5*f - 25. Suppose 4*b - 2 - 14 = 0. Solve b*o - 5*o = j for o.
0
Let b(s) = 5*s**2 + 7*s + 9. Let n be b(-2). Solve -10 = -n*m + 20*m for m.
-2
Suppose 0 = -4*b + 10 - 30. Let y(i) = -2*i**3 + 6*i**3 - 3*i**3 + 5*i**2 + 3. Let q be y(b). Solve q = 5*n - 12 for n.
3
Let q(h) = -h**3 + 7*h**2 - 2*h + 24. Let k be q(7). Solve -7*i + k = -12*i for i.
-2
Suppose -131*m - 214 = -214. Let d = -5 + 8. Solve m*b - b = d for b.
-3
Let g(d) = 3*d + 3 - 24*d**2 + 25*d**2 + d - 1. Let h be g(-4). Solve -h*c + 3 + 3 = 0 for c.
3
Suppose 5*t - d - 324 = d, -3*t - 3*d + 207 = 0. Let k be 4 + t/(-12) + 14/4. Solve 4*a = k*a for a.
0
Suppose -l = 2 - 5. Suppose 0 = -1556*j + 1562*j - 6. Solve -t = -j + l for t.
-2
Let v = 30 + -28. Let n be (96/9)/4*3. Let l(i) = -i**3 + 7*i**2 + 8*i. Let t be l(n). Solve -v*f - 6 = -t for f.
-3
Let r(k) = k**3 - k**2 + 3*k - 1. Let q be r(2). Suppose 3*t + 0 = 3*p - q, -3*p + 15 = 0. Suppose 2*o + 2 = 10. Solve -t*l = o - 0 for l.
-2
Let j(a) = a**3 - 5*a**2 - 10*a - 23. Let m be j(7). Solve -37*w = -32*w + m for w.
-1
Let l be 11*(108/(-44) - -3). Solve -10*o - 16 = -l*o for o.
-4
Let k = -8 - -12. Solve -4*a + 3*a + k = 0 for a.
4
Let m(s) = s**2 - s. Let f = -10 + 6. Let o = f + 4. Let k be m(o). Solve -5*a - 25 = -k for a.
-5
Let x = -17 + 8. Let b(l) = l**3 + l**2 + l + 12. Let n be b(0). Let c = x + n. Solve 2*o + 1 = c for o.
1
Let f = 13 + -13. Suppose 5*l - 5*p - 20 = f, -l = 2*l + p. Solve 2*u = u + l for u.
1
Let g = -121 + 128. Suppose -r - g = -3*i, -5*i + 40 = 2*r + 2*r. Solve 0 = -2*s - 0*s - i for s.
-2
Let p = -112 + 114. Solve 4*g + p = 10 for g.
2
Suppose u = -4*u - 3*o + 13, -2*o = -2. Solve -8 + 10 = u*l for l.
1
Suppose 3*n + 4*r = -r + 75, 0 = 2*r + 6. Let o = 31 - n. Solve 2*q + 3 = o for q.
-1
Suppose 0 = k + 5*b + 14, 0 = -31*k + 30*k - 4*b - 10. Solve 5*p = -k*p - 55 for p.
-5
Let f(o) = o**3 - 6*o**2 - 5*o - 2. Let p be f(7). Suppose 16 = 5*j - j. Suppose 0 = -j*a + 8 + p. Solve -3*q - 4 = a for q.
-3
Suppose -3*n = -4*d - 34, -45 = -5*n - 0*d - 5*d. Suppose 3*k = 2*z + n, 0*k + 2*z + 10 = -3*k. Solve k = p - 3 for p.
3
Suppose 84 = -r + 87. Suppose 3*p - 5 = -2*k - 0*k, 3*p = -r*k. Solve p - 2 = -3*q for q.
-1
Let c(i) be the third derivative of i**5/60 + i**4/3 - 31*i**3/6 + 27*i**2. Let v be c(-11). Solve v*u - 15 = -3*u for u.
3
Suppose j + n = -j + 59, 5*j + 4*n - 143 = 0. Suppose 4*m - 9 = -3*q + j, 3*q - 28 = -m. Let v = q + -8. Solve v = -2*u - 8 for u.
-4
Let f = -585 + 591. Solve -f*m - 3 = 15 for m.
-3
Let k(i) = i**3 + 9*i**2 - 8*i + 22. Let w be k(-10). Suppose 1 = -c + 4*l, -4*c - 10 + 24 = w*l. Solve 2*r - r - c = 0 for r.
3
Let o = -145 + 150. Solve 0*l = o*l - 25 for l.
5
Let y(d) be the third derivative of d**6/120 - d**5/12 + d**4/8 - 5*d**3/6 + d**2. Let o be y(4). Let b = o + 12. Solve 0 + 9 = -b*x for x.
-3
Suppose 4*n - 2*i - 124 = -5*i, -2*n + 48 = -2*i. Solve 0 = -4*w + n - 12 for w.
4
Suppose -p - 5*l + 120 = 4*p, 12 = 3*l. Suppose 0 = 5*n - 0*n - p. Solve -n*v = v for v.
0
Let c = -6 - -8. Suppose 5*q = 4*m + 5, -c*q - 3 = -5*q + 5*m. Let l be q + -2*(-2)/4. Solve -l*r = -15 + 5 for r.
5
Let v = -1643 - -1709. Solve v*j = 67*j for j.
0
Let v = 6 + -4. Let m(s) = -s + 7. Let c be m(4). Suppose c*b - 1 = 2*b. Solve -v*n + b = -3*n for n.
-1
Suppose -o - 50 - 42 = 0. Let y be (-6)/(-69) + 8/o. Solve y - 4 = 4*v for v.
-1
Let g(h) = h**2 - 6*h + 6. Let d be g(4). Let n be d/(-5 - -9)*-4. Solve -n*u = 2*u + 12 for u.
-3
Let r be (0 - -21) + (-5)/(-5). Suppose 0 = 3*z - 5*f + 8, 2*f - 4*f = 3*z + r. Let j be (z/10)/((-9)/90). Solve -j*l + l = -5 for l.
1
Suppose -5*f = 3*o - 130, 2*f - 59 - 4 = o. Let u(c) = -c**3 + 11*c**2 - 8*c + 12. Let j be u(10). Let m = -27 + j. Solve -m*n - f = -9 for n.
-4
Let r(t) = -2*t**2 - 14*t - 17. Let q be r(-10). Let l = q + 80. Solve l = -4*c + 3*c for c.
-3
Let a = -122 + 128. Suppose -4 = -w - g, -4*g + a = 4*w - 5*g. Solve -w*f + 3 = 1 for f.
1
Let n = -79 + 77. Let m = 22 + n. Solve -9*t + m = -4*t for t.
4
Let y(j) = -j**2 - 11*j - 10. Let z be y(-8). Let m = 25 + -22. Suppose z + 1 = 3*i, -5*w + m*i + 5 = 0. Solve n = -w*n + 15 for n.
3
Let y = -55 - -59. Solve l = 5*l - y for l.
1
Let a(n) = 3*n**3 - 7*n*