*h - 2*o + 39. Solve -3*k + 0 - h = 0 for k.
-5
Let m = 0 - 15. Let y be 2 - ((1 - 0) + 1) - m. Solve -w + 6*w + y = 0 for w.
-3
Let t be (-2 + -4)*(-27)/18. Suppose -t = -5*m + 1. Solve -3 = o + m*o for o.
-1
Suppose i - 12*k = -17*k - 10, -5*k - 10 = 2*i. Solve i = -7*r + 10*r - 9 for r.
3
Let a be 2*(105/6 - 3)/(-1). Let l = a + 29. Solve 3*u - 9 = -l*u for u.
3
Let z be 22/33 + (-32)/(-6). Solve -2*l = -4*l + z for l.
3
Let h(d) = d**2 - 15*d + 3. Let n be h(0). Solve n*p + 2 = -4 for p.
-2
Suppose -76*k = -29*k - 235. Solve -5 = k*m - 10*m for m.
1
Let b(y) = 16*y**2 + y - 10. Let z be b(-3). Suppose -11 = 10*c - z. Solve -14*m + c*m - 4 = 0 for m.
-2
Suppose 84 = -0*d + 42*d. Solve 7*n - 5 = d for n.
1
Let q(f) = -19 - 32 - 3*f + 11 + 14*f. Let w be q(7). Solve 12 - w = 5*c for c.
-5
Suppose -6*s + s - 15 = 0. Suppose 0 = -21*b - 85 - 20. Let c = s - b. Solve 0 = -c*l + 4*l - 8 for l.
4
Let d = 7 - 4. Let a be 21 + -18 + 7 + -6. Solve a*q - 9 = d for q.
3
Let w be 0 + (6 - 2) + -1. Suppose 5*n + 5*c = 75, -4*n + w*c - 5*c = -50. Solve -5*i = n + 5 for i.
-3
Let m be (5 + -6 + 19)*(-1)/(-2). Solve -12*j + m*j = -15 for j.
5
Let b = -34 + 44. Let i = -8 + b. Solve 0 = -i*c - c + 12 for c.
4
Let i = -12 - -12. Suppose i = -5*y - 3*y. Solve y = -l + 5 - 2 for l.
3
Suppose c - 4*c + 4*r + 53 = 0, -c = 3*r - 35. Let n = 26 - c. Solve -3*f + n = -6 for f.
3
Let w be (-20)/15*(-9)/6. Let t be w/5 - (-14)/(-35). Suppose 28 = 4*x - 3*n + n, -x + 5*n = -25. Solve -x*z = 10 - t for z.
-2
Suppose 4*h = 0, -3*k + 7 = -2*k - 5*h. Suppose k*i + 5*i = 4*i. Solve -p - 4*p - 10 = i for p.
-2
Suppose -12 = 8*t - 12*t. Suppose -31 = -2*d + 5*n, t*d - 5*d = n - 1. Let c(u) = -u**2 + 2*u + 1. Let l be c(2). Solve -d*g = -2 - l for g.
1
Let a(f) = 38*f**2 - 5*f - 7. Let g be a(-1). Solve -2*x - 10*x + g = 0 for x.
3
Suppose -3*p = 33 - 63. Solve -6*s - 16 = -p*s for s.
4
Let d(j) = j - 11. Let p = 48 + -33. Let f be d(p). Solve l - 1 - f = 0 for l.
5
Let l(i) = 2*i**2 + 2*i - 12. Let b be l(-4). Solve -b*j + 7*j + 20 = 0 for j.
4
Let q(y) = y - 3. Let x be q(-6). Let c = -1 - x. Suppose 0 = -10*d + c*d + 8. Solve 3*o = o - d for o.
-2
Suppose 0 = -5*x + v + 20, 3*x + 0*v - 30 = -3*v. Suppose -13 + 4 = -5*f + c, 3*f - x*c = 1. Solve 2*m - 6 = f for m.
4
Let c(w) = -w + 5. Let j be c(4). Let s(g) = -j + g + 3 + 0 - 1. Let k be s(-1). Solve 2 + k = 2*o for o.
1
Let r(p) = -p**3 + 8*p**2 - 4*p. Let z be r(7). Let t be 90/z - 4/14. Suppose -t - 5 = -c. Solve -c + 0 = 3*b for b.
-3
Suppose 31 - 16 = 5*f. Suppose 4*a = -4*r + 36, -3*a + 5*r - 2*r + f = 0. Solve 12 = a*j - 8 for j.
4
Let z = -3 + 3. Suppose z = -2*h + 2 - 4. Let q be (9/(-15))/(h/10). Solve 0 = -2*v - 0 + q for v.
3
Suppose 4*o = v + 3*o - 7, 0 = -4*v + 2*o + 24. Let i(y) = y**3 + 6*y**2 + y + 6. Let w = -14 + 8. Let c be i(w). Solve v*j - j = c for j.
0
Let r(z) = -z**2 - 15*z + 19. Let h be r(-16). Suppose 5*s - 3*k = -19, -s + 13 = -h*k + 8*k. Let f be s + 0 - -8 - 3. Solve 0 = l - 5 + f for l.
2
Suppose -3*h = -12 - 18. Suppose -3*u - 5 = 2*d + 5, -4*u + 2*d + h = 0. Solve 5*k + 4 + 21 = u for k.
-5
Suppose 2*m = 4*d - 2*m - 8, -5*d + 4*m = -8. Suppose -4*i = -20 - d. Solve 0 + 5 = -i*w for w.
-1
Let y = -30 - -56. Let j(w) = -25*w - 6. Let o be j(-1). Suppose -3*x + o + y = 0. Solve -2*s = s - x for s.
5
Let r be 1*0*6/18. Suppose -2*z + 0*t + 5*t = -20, 5*z - 2*t = 29. Solve r - z = 5*o for o.
-1
Let g(l) = -6*l**2 + l - 4. Let a be g(2). Let w be (-812)/(-377) - (-4)/a. Solve -w*j = -0*j for j.
0
Let c(l) be the third derivative of -l**5/60 + 7*l**4/6 + 2*l**3/3 + 3*l**2. Let u be c(28). Solve -u*r + 3*r = 0 for r.
0
Let t(y) = -35*y + 24. Let q be t(0). Solve 0 = 6*i - 0*i + q for i.
-4
Let h(n) = -n**3 - 8*n**2 - n - 6. Let u(j) = 2*j + 6. Let p be u(-7). Let m be h(p). Let a = 7 - m. Solve x = 6*x + a for x.
-1
Suppose 58 + 34 = -4*a. Let y = a - -37. Solve -6 = 4*m + y for m.
-5
Let n = -11 - -7. Let c be 1/((n + 5)/3). Let v be 8/c - (-3)/9. Solve -v*b = b for b.
0
Suppose -v + 23 = 4*b, 4*v = -4*b - 8 + 40. Suppose 4*f - v*q = 105, 25 = f - 4*q + 3*q. Solve -f = 5*c - 10 for c.
-4
Suppose 0 = -2*z - 2*b + 7*b + 26, -z + 3*b = -15. Suppose 2*r - z = -13. Let g = r + 8. Solve g*k - 8*k = 5 for k.
-1
Let f = -200 + 228. Solve 24*x = f*x - 12 for x.
3
Let v = -1098 - -1098. Solve 2*x - 6*x - 4 = v for x.
-1
Let w be (-2)/((-8)/12)*15/3. Solve -20 = 19*i - w*i for i.
-5
Let h(q) = -q**3 - 55*q**2 + 2*q + 120. Let b be h(-55). Solve 22 = -12*f + b for f.
-1
Let m(a) be the first derivative of a**4/4 + 2*a**3 - a**2/2 - 4*a + 5. Let l be m(-6). Suppose -l*u = -v + 3*u, -4*u = 3*v. Solve 5*f + v = 5 for f.
1
Let g(t) = t**3 - 14*t**2 + 3*t - 181. Let h be g(15). Solve 85 = a + h for a.
-4
Suppose -3*s = -3*r + 33, 5*r = 3*s + 4*r + 23. Let u be (-21)/s - 3/2. Solve 20 = -u*o - 2*o for o.
-5
Let i(k) = k**2 + 19*k + 75. Let y be i(-15). Solve -6*l - y = -9*l for l.
5
Let h = -3 - -12. Suppose 0 = -h*o + 5*o + 16. Let y(z) = -z**3 + 13*z**2 - 12*z + 5. Let m be y(12). Solve -m*q = -q - o for q.
1
Let n(m) = -m**3 - 10*m**2 - 6*m + 14. Let k be n(-6). Let o = 94 + k. Solve o = -0*q + 5*q + 5 for q.
-1
Let s(a) = a**3 - 6*a**2 + 4*a + 5. Let t be s(5). Let z(l) = -l**2 - 11*l + 17. Let v be z(-12). Solve g + v = -t for g.
-5
Let w = 8 + -3. Let g(k) = k**3 - 5*k**2 + 7. Let a be g(w). Suppose 8 = 5*z - a. Solve 0 = -z*i - i for i.
0
Let f = 2235 + -2235. Solve f = -6*b + 5 + 7 for b.
2
Suppose -14*s + 60 = -10*s. Suppose 2*d - 4*z = -d + 28, -3*z = -s. Solve -d = -o + 5*o for o.
-4
Suppose b + 8*b = -20*b. Let m(h) = h**3 - h - 2. Suppose 2*p + p = 6. Let j be m(p). Solve -2*y + j = -b*y for y.
2
Let h(v) = -3*v**2 + 5*v**2 - v**2 + 4*v + 4. Let t be h(-4). Let q be 5/4 + -1 + 375/100. Solve -q = -6*a + t*a for a.
2
Suppose 3*t - 2*l - 31 = 0, 2*l - 57 = -5*t + 4*l. Solve t*z - 3 = 12*z for z.
3
Let r = 119 - 116. Solve -r*m - 16 = m for m.
-4
Let y(h) = h**2 + 12*h + 23. Let z be y(-10). Suppose -8 = -d + l + l, -4*d - z*l + 10 = 0. Solve d*k + 6 = -2 for k.
-2
Let j = -6 + -8. Let p = -11 - j. Suppose -p*s + 3 = -5*k, 2*s + 2*k - 6 = 4*k. Solve 0 = -s*y + 2*y for y.
0
Let a(f) = -5*f - 40. Let i be a(-9). Suppose -2*u + 5*x + 25 = 0, 5*u = 9*u + 2*x + 10. Solve u = i*q - 1 - 9 for q.
2
Suppose -13*r + 12*r = -13. Let w = 22 - r. Solve 5*a - w = 6 for a.
3
Let u(v) be the third derivative of v**4/8 - v**3/2 + 11*v**2. Let c be u(1). Solve c*l = l - 3 for l.
3
Let w = -13 - -6. Let f(j) = -j - 3. Let k be f(w). Let g be (4/(-6))/(k/(-12)). Solve -5*y + g*y = 6 for y.
-2
Let g be ((-26)/(-52))/(-2 + (-53)/(-26)). Solve -6*k = 7*k + g for k.
-1
Let w be (12/10)/(6/20). Suppose -24*k + 19*k = 0. Suppose k*v - w = -v. Solve 0 = -m - 0 - v for m.
-4
Suppose 2*u - 4*g - 50 = -0*u, -5*u = g - 70. Let f be u/(-10)*(-2)/(-3). Let o = f + 5. Solve -2 - 2 = o*s for s.
-1
Let k = -414 - -416. Solve 8 + k = 5*q for q.
2
Suppose 119*t = 124*t + 760. Let y = t + 160. Solve 7*c = 3*c - y for c.
-2
Suppose -2 = -2*k - f, -k = -f + 4*f - 1. Suppose -2*v - 4 = -2, -4*v - 19 = 5*c. Let w = 3 + c. Solve -a + w - k = 0 for a.
-1
Let n(s) = 30*s**2 + s. Let x be n(1). Let g = x - 46. Let w = g - -27. Solve -u - w = 3*u for u.
-3
Let h(b) = -38*b - 188. Let a be h(-5). Suppose -4*u + 4*x + 1 = 9, 0 = -2*u + 4*x - 14. Solve t - u = a for t.
5
Let y = -119 + 117. Let n be (-6)/4*y/1. Solve n*d = 15 - 0 for d.
5
Suppose -50 - 69 = -17*i. Solve 0 = 5*j + i + 3 for j.
-2
Suppose -v + 2*c - 10 = -c, 4*v - 4*c = -8. Let g(j) = j**2 + 6*j - 14. Let p be g(v). Solve -w + p = -0 for w.
2
Suppose 20 = 4*n, -5*p - 12*n + 8*n + 400 = 0. Suppose 0 = 3*d - 2*v - p, -3*v + 8*v - 110 = -5*d. Solve -5*b - 1 - d = 0 for b.
-5
Suppose 4 = -5*t + 14. Suppose -4*b = -t*b + 5*s - 14, -2*b - 4*s = -12. Let o(x) = 16*x + 85. Let w be o(-5). Solve w = b*m - 1 for m.
3
Let a(q) = -q**3 - 2*q**2 + 19*q + 20. Let c be a(-5). Solve c = 4*m - 95 + 83 for m.
3
Let k = 20 - 0. Suppose 4*o - 17 = q, 2*q + 3*q - k = -o. Solve 2*b - 5 = -q*b for b.
1
Let i(h) = -h**3 + 14*h**2 + 26*h - 157. Let k be i(15). Solve -k*m - 21 = 19 for m.
-5
Suppose -4*k = -s + 15, -3*s + 15 = -2*s + 3*k. Solve 20*u - s*u + 25 = 0 for u.
-5
Let m be (-88)/(-24) - 4/6. Suppose 