 Solve 5*h - 3*h = -x for h.
-4
Let t(l) = 3*l**2 + 9*l - 10. Let d be t(-5). Suppose d = -4*n, n = -3*k - n - 4. Solve -k*f - 4 = 2 for f.
-3
Suppose 3*f = 22 + 71. Solve f*a = 29*a + 4 for a.
2
Let v(p) = -2*p + 16*p**2 - 7*p - 13*p**2 + 1 + 5*p**2 + p**3. Let s be v(-9). Solve 2*z = 5 + s for z.
3
Let z(b) = 2*b**2 - 2*b + 3. Let i(u) = u**2 - u + 1. Let w(f) = -7*i(f) + 3*z(f). Let l be w(2). Solve -2*q - 11 + 3 = l for q.
-4
Let t be (0 - -4) + (13 - 13). Suppose 0 = t*j + 6 - 18. Solve 0 = j*n + 2*n + 10 for n.
-2
Suppose 0 = -7*o + 6*o. Suppose -4*f + o = -3*w - 1, f - 4 = 0. Solve -w*r - 9 - 11 = 0 for r.
-4
Let u be 1 - (4 + -6) - 379. Suppose 212 + 364 = -8*a. Let m be u/a + 2/(-9). Solve m = -d + 1 for d.
-4
Suppose 4*j + 3*r + 0*r = 50, -3*j + 48 = -3*r. Let n(b) = b - 5. Let f be n(j). Solve 0 = -d + 4*d + f for d.
-3
Suppose 0 = -26*s + 29*s + 2*j - 10, -2*j - 26 = -3*s. Solve -s*k = -12*k + 18 for k.
3
Let t be 2/21 + (-691)/(-21). Solve -29*j = -t*j - 8 for j.
-2
Let w(t) = 8*t**2 + 2*t + 1. Let f be (3 - 4)*(0 - -1). Let s be w(f). Suppose -3*b - 8 = -s*b. Solve a + b = -2 for a.
-4
Let a(l) be the first derivative of -l**4/4 - 2*l**3 - 10. Let u be a(-6). Let c = -49 + 71. Solve 4*s - c + 6 = u for s.
4
Let s = -13 - -13. Suppose 5*q + 4*o - 16 = 0, -4*q + 3*o = -s*q + 12. Solve q = -x + 1 - 3 for x.
-2
Let h be 1/((-2)/(-4)) + -2. Suppose -52*l + 121 = -189 + 206. Solve h = 2*x - 0 + l for x.
-1
Suppose -3*l + 11 = -16. Solve -r - 40 = -l*r for r.
5
Suppose 0*a + 8 = -4*a. Let c = 8 + a. Solve 0 = c*x - x - 5 for x.
1
Let l be -4 + (-3)/((-5)/(40/6)). Let h be 1/(2/(5 + -1)). Suppose 0 = h*w - 5*w + 48. Solve 3*x + w - 4 = l for x.
-4
Let y(t) = -4 + 2*t + 11 + 11 - 3*t. Let w be y(18). Solve -r - 2*r = w for r.
0
Let q be (20/(-80))/(3/(-24)). Solve -4*m = q*m + 12 for m.
-2
Suppose 0 = -2*i - 10, 4*c - 2*i = -7*i - 33. Let y be (-6 - -8) + (-4)/c. Solve 4*w + 16 = y for w.
-3
Suppose 2*d + 2*r - 183 = -r, -3*d - 3*r + 273 = 0. Suppose 8*j = 2*j + d. Suppose 5 = 5*t - j. Solve -2*x - t = 2*x for x.
-1
Let t be (8 + (-9 - 0))*(-3 + -2). Suppose 4*u + 4*l = 65 + 27, -4*u - 5*l + 95 = 0. Suppose -4*k = 3*m + u, -5*m + 20 = -t*k + k. Solve a - 7 + 2 = m for a.
5
Let x = 40 + -38. Suppose 2*y - 5*d + 0*d + 3 = 0, x*d = 4*y - 2. Solve -2*a = 7 + y for a.
-4
Let d(f) = f + 6. Let t be d(-5). Suppose 0 = 2*n + t - 7. Suppose 117 = 15*y + 24*y. Solve -n*o = -4*o - y for o.
-3
Suppose 2*l + 80 = -3*b, -3*l + 7 - 1 = 0. Let m = -25 - b. Suppose 3*q = m*h + 39, 0 = 5*q + h + 2*h - 41. Solve -j = -6*j + q for j.
2
Let z(a) = -3*a**2 - 74*a + 31. Let x be ((-2)/(-4))/((88/400)/(-11)). Let u be z(x). Suppose 2*m = -4*n - m + 83, n + 4*m - 24 = 0. Solve -n = p - u*p for p.
4
Suppose -1 = -5*g - 16, 2*g - 6 = -2*c. Let k = 2 - 1. Solve x = k - c for x.
-5
Suppose 0*m - 5*m = -20. Suppose -m*z = -2*z. Solve -4*p - 2 - 14 = z for p.
-4
Suppose l - o - 20 + 8 = 0, 0 = -4*l + 2*o + 40. Let z = -2 + -7. Let d(b) = -b - 6. Let f be d(z). Solve f*x + x - l = 0 for x.
2
Let w(v) = -v**3 - 5*v**2 - 7*v - 8. Let x be w(-4). Suppose 0 = -m - 3*m - x*j, 3*m = 3*j + 30. Solve 7*q = 2*q + m for q.
1
Let u = -2298 - -2298. Solve u*m + 2*m = m for m.
0
Let c(f) = 2*f**3 - 2*f**2 - 2*f. Let s be c(2). Suppose s*h = -h + 6*h. Solve h*b = b + 4 for b.
-4
Suppose 4*q - 3*q = -4. Let r(f) = f**3 + 3*f**2 - 6*f - 6. Let l be r(q). Solve l = -3*m - 1 for m.
-1
Let u = -59 - -29. Let q be (-108)/(-26) - u/(-195). Solve 2*d = q + 4 for d.
4
Let c be 42/70 - (-54)/10. Let k be 4*(c/4 - 1). Solve 0 = k*h - 4*h + 10 for h.
5
Let p(u) = -6*u**3 - u**2 + u + 1. Let t be p(-1). Let n(d) = -d**2 - 11*d - 7. Let h be n(-11). Let l be (-6)/(h - -4) - -14. Solve -t*w + w = l for w.
-4
Let i = -326 - -352. Solve -2*o + 20 = i for o.
-3
Let q = -303 - -346. Solve 46 - q = 3*r for r.
1
Let p(n) = 13*n + 10. Let v be p(3). Solve 0 = -v*t + 54*t for t.
0
Let z = -78 - -80. Let d be 1 + (-116)/(-8) + z/(-4). Solve -2*s = s - d for s.
5
Let a = -5 - -6. Suppose -s + 35 = 6*s. Suppose -3*o = -5*o. Solve o = 3*u + a + s for u.
-2
Let g be 261/63 + 9/((-378)/48). Let m be 16/3 + (-1)/3. Let j be 4/m*(-10)/(-4). Solve j*k + g*k = 25 for k.
5
Let a be 4/22 - 172/(-22). Let x = 24 - 17. Let f = a - x. Solve 2 = r + f for r.
1
Suppose 0 = -4*o - 3*b + 88, -44 = -2*o - b + 3*b. Let h = -44 + o. Let t = h - -24. Solve -s - t = -3*s for s.
1
Suppose 0 = -t + 3*f - 5, -2*f + 6*f = -4*t + 12. Let a be (10 - 0)*(-57)/6. Let o = a - -97. Solve l - o = -t for l.
1
Let x(b) = b**3 + 7*b**2 - 7*b - 5. Let n(h) = -h**3 - 6*h**2 + 6*h + 4. Let w(o) = 5*n(o) + 4*x(o). Let l be w(-3). Solve -4*k + l = -5 for k.
2
Let n be (-19)/(-2) + (-4)/8. Let t be ((-4)/n)/((-16)/72). Suppose 5*v - 27 = -t*k, -5*k + 30 = 5*v - 0*k. Solve v*g = 3*g - 2 for g.
-1
Suppose -4*k - 12 = 4*g, -3*g - 4*k = 2*g + 19. Let t(v) = v**3 + 7*v**2 + v + 7. Let a be t(g). Suppose -53 = -13*d + 12. Solve a*b - d = -b for b.
5
Suppose 0 = 3*f - f - 3*i - 15, 3*f = i + 19. Let t = -2 - -11. Let n = -5 + t. Solve 0 = n*c - 2 + f for c.
-1
Let w(j) = 5*j**3 - 2*j + 1. Let k be w(1). Let g(x) = 4*x - 10. Let l be g(k). Let n be (4/l)/(6/27). Solve -n*r = 10 - 1 for r.
-3
Suppose 7*a - 3*a - 12 = 0. Suppose 4*t - a*t = -t. Solve -2*o - 3*o = t for o.
0
Let p(h) = -h**2 - 11*h - 25. Let y be 130/(-30) + (-6)/9. Let g be p(y). Solve 2*m = g*m + 15 for m.
-5
Suppose 0 = -f, 3*k - 7*k + 52 = -4*f. Solve 12 = k*q - 9*q for q.
3
Suppose a - 34 = 3*c, -36*c = 2*a - 38*c - 52. Solve -a*v = -0*v + 88 for v.
-4
Suppose 3*v = 4*v + 2*j - 6, -4*j + 20 = 0. Let d be (-30)/v*(-40)/30. Let y be (-2)/(-3) - d/(-15). Solve -5*r + 5 + 5 = y for r.
2
Suppose -27*v + 32*v - 10 = 0. Let j = 22 - 9. Solve -j + 3 = v*c for c.
-5
Suppose -23*j = -26*j - 6. Let u(d) = 6*d**2 - d - 5*d**2 - 2 + 0. Let r be u(j). Solve -b - 10 = r*b for b.
-2
Suppose 5 = 2*w - 4*d - 15, -5*d - 40 = -4*w. Solve h = w*h - 36 for h.
4
Let t = 111 - 93. Solve 0 = -9*k + t - 63 for k.
-5
Let j = -29 + 58. Suppose 30 = 4*r + k - 18, -3*r = -k - j. Suppose r = -9*b + 29. Solve b*n = 3*n for n.
0
Let m(g) = g**3 - 7*g**2 - 17*g - 12. Let i be m(9). Let x be (-4)/i - 11/(-3). Suppose -4 = -4*a + 8. Solve p = -x + a for p.
-2
Suppose -3*k = -5*k + 4. Suppose 2*y - 2 = k, 4*y = -2*s + 14. Solve -2*c - s*c = 0 for c.
0
Let q be (-24)/(-6) + (16/(-4))/2. Suppose -8*c = -7*c - 2. Solve -q - 8 = -c*r for r.
5
Let n = -57 - -98. Let l = n - 38. Suppose -k + 10 = 2*j, k = -j - l*k + 12. Solve j*z - 3*z + 4 = 0 for z.
-4
Suppose 0 - 5 = 5*g, 0 = 3*m + 4*g - 83. Solve -25*w + m*w = 0 for w.
0
Let j = 5496 + -5493. Suppose 2*u + z - 20 = -2*z, -z = -5*u + 50. Solve v - u = j*v for v.
-5
Suppose -6*z - 12 = -9*z. Suppose z*s = s - 2*s. Solve -2*y - y = s for y.
0
Let c(n) = -n + 1. Let l be 30/50 + (-66)/10. Let r be c(l). Solve 3 = -2*o - r for o.
-5
Suppose -2*l + 0 + 4 = 0. Let a be (-15)/(-9) + l/(-3). Solve 0 = -0*p + p + a for p.
-1
Suppose -2*x + 5*a + 5 = 0, -x + 20 = -3*a + 17. Solve 18*l - 5 + 59 = x for l.
-3
Let v be ((-152)/16 + 8)/((-6)/16). Solve 0 = v*z - 7 - 9 for z.
4
Let d be (1540/(-90) - -6)/(4/(-18)). Solve 15 = d*g - 53*g for g.
-5
Let o(h) = h**3 - 2*h**2 - 8*h + 3. Let v be o(4). Solve 4 = v*j - 11 for j.
5
Let s(l) be the first derivative of 1/3*l**3 - 1 - 5*l**2 + l. Let i be s(10). Solve -3 = -u + i for u.
4
Let k(s) = -s**2 - 3*s - 2. Let a be k(-3). Let g = a + 2. Let t be (-23)/(-5) - 2/(-5). Solve -t*v + 11 + 9 = g for v.
4
Let d(v) = -3*v**2 - 11*v - 25. Let z(m) = 2*m**2 + 7*m + 17. Let c(t) = 5*d(t) + 7*z(t). Let k be c(-2). Solve -3*u = -k*u for u.
0
Let d be ((-4)/(-2))/(-2 - -4). Let q = d - 0. Solve -q = h + 2 for h.
-3
Suppose -3*p + 18 = -24. Let w = p + -11. Solve 0 = 2*t - w*t - 5 for t.
-5
Suppose 21*f + 24 = 66. Let c be (6/(-4))/((-3)/28). Solve -c = f*x - 6 for x.
-4
Let p(z) = z**2 + 4*z. Let y be p(-2). Let w be 32/14 + y/14 + 2. Let m = 4 - 2. Solve 10 = -m*j + w*j for j.
5
Suppose 4*n - x = 73, -2*n + 5*n + x = 53. Let h = 35 + -17. Let j = h - n. Solve j = 2*i + 4 - 8 for i.
2
Let d(q) be the second derivative of -q**5/20 + q**4/2 + 4*q**3/3 - q**2 - 7*q. Let a be d(7). Solve -l = -a*l + 4 for l.
1
Let z(p) = 2*p**2 - p + 14. Let h be z(0). Supp