*h + d*h = -3 for h.
1
Let o(m) be the third derivative of m**6/120 + m**5/20 - m**4/24 - m**3/2 + 42*m**2. Let z be o(-2). Solve 5*r - z = 7 for r.
2
Let u be 3/(-2) + 15/6. Let i be (u + 1)/((-1)/(-1)). Suppose c + 1 = 2*x, 5*x - c - i*c = 0. Solve 0 = -x*a + 11 + 4 for a.
5
Let z = -11 - -28. Suppose 13 + z = -5*v. Let u be -1 + (2 - 3 - v). Solve l + u*l + 20 = 0 for l.
-4
Suppose 5*k - 2*w = -10 - 8, -4*k - 5*w = 21. Let o = k + 23. Solve -4 + o = 5*z for z.
3
Suppose 12 = 2*k + 8. Solve k = -4*b - 2 for b.
-1
Let p be (-5*48/20)/(-6). Let r = 23 + -13. Solve 2*b - r = -p for b.
4
Let b = 31 - 28. Suppose 0 = b*c + 4*z + z - 86, -2*z - 68 = -2*c. Let o = c + -29. Solve -o*t - 15 = 2*t for t.
-3
Suppose -2*v - 30 = -4*a, 5*a - 3*v + 4*v - 48 = 0. Let n be (6/18)/(3/a). Solve 6 - n = m for m.
5
Suppose 0 = -4*k - k + 75. Let y = 15 - k. Solve 3*h + 0*h = y for h.
0
Let b(x) = 10*x + 0*x - 6*x + 53. Let m be b(-10). Solve 0 = 4*n - 3 - m for n.
4
Suppose 4*b + 5*y + 15 + 0 = 0, 0 = -2*b + y + 3. Solve -p = 3 - b for p.
-3
Let y = 16 + -11. Suppose -3*s - 5*b + 51 = 11, 0 = -5*s + y*b + 40. Suppose s*o - 20 = 5*o. Solve -f + o + 1 = 0 for f.
5
Let o(c) = 34*c + 215. Let d be o(-6). Solve -7*j = -d*j - 12 for j.
-3
Let u(s) = s**3 + 6*s**2 + s + 14. Let y be u(-6). Let h = 12 - y. Solve h = 3*b + 10 for b.
-2
Suppose 0 = -4*j + u + 2 + 1, -3*j = 5*u - 31. Let o be ((-520)/(-36))/5 + 1/9. Solve s - o = -j for s.
1
Let c = 172 - 181. Let q(s) = s**3 - 5*s**2 - 5*s + 6. Let n be q(6). Let p = c + n. Solve -3*t = -0 - p for t.
1
Suppose 3*a = -4*b - 34, -a = -5*b + 31 - 83. Let n be (-2)/b - (-6)/(-30). Solve 0*c + 4*c - 16 = n for c.
4
Let a(b) = -b + 3. Let v be a(7). Let w be 2/v*0 + -2. Let g = w + 2. Solve g*o - 5 = -5*o for o.
1
Let u = 111 + -111. Let y be -2*(u + -1) - (42 - 41). Solve 16 = 3*q + y for q.
5
Let m = -10 - -25. Let v be 4/((1/(-1))/(-1)). Solve v*q = -q + m for q.
3
Let m(h) = -h - 4. Let i(d) = d**2 + 4*d + 12. Let z(p) = 4*i(p) + 14*m(p). Let b be z(2). Solve b = -3*j - j for j.
-3
Suppose 5*w + 4*s - 3 = 0, 2*w + 7 - 19 = 2*s. Suppose 0 = -2*f - w*o - 2, 9 - 3 = 4*f + o. Solve -g = f - 5 for g.
3
Let y(q) = 24*q - 4. Let s be y(4). Let h = 93 - s. Solve 2 + h = -x for x.
-3
Let s be -4 + (6 + 5 - 3). Suppose 3*l - 14 = 1. Solve -s*i + l = -3 for i.
2
Let h be (-66)/(-15)*(-60)/(-24). Solve 0 = h*w - 16*w for w.
0
Let a = 603 + -579. Solve 12 = 3*s + a for s.
-4
Let i be -4 + (-10)/(-2) + -1. Solve -3*w + 32 - 26 = i for w.
2
Let q(a) = -3*a**2. Let x(f) = -3*f**2 - f + 1. Let z(l) = -3*q(l) + 2*x(l). Let n be z(1). Solve 4*j + 17 = -n for j.
-5
Let t be -8 - (14 + -10)*(-3)/4. Let j(w) = -9*w - 40. Let i be j(t). Solve -16 = i*p + 4 for p.
-4
Let u be (-2)/(-9) + (-176)/(-99). Suppose -34 = -2*q + 22. Let a be q/6 + 4/(-6). Solve -u*b = -b + a for b.
-4
Let j(k) = 20*k**2 + 2*k + 2. Let f be j(-1). Let s be ((-3)/(-6))/1*4. Suppose z = s*z. Solve z = -2*g - 2*g - f for g.
-5
Let j(l) = 2*l + 21. Let r be j(-9). Suppose c + 3*h = 4, 2*c - r*h = 4*c - 8. Solve -2*u - c = -0*u for u.
-2
Suppose x + 18 = 2. Suppose k + 27*k + 420 = 0. Let d = k - x. Solve r + d = 3 for r.
2
Let v(n) = -n**3 - 14*n**2 + 3. Let f be (-48)/(-36)*((-126)/4)/3. Let b be v(f). Suppose -46 = -3*p - 16. Solve b*u + p = u for u.
-5
Let h = 21 - 18. Let a be 0/((-9)/h - -4). Let r = 0 - 0. Solve a*j - j + 5 = r for j.
5
Let k be (-4)/(-10)*10115/238. Solve 6*l + k*l = 69 for l.
3
Suppose -3*x + 4 = -11. Let f = 365 + -355. Solve 0 = -5*y - x + f for y.
1
Suppose 4*s + 0*s + 93 = -5*k, 4*k = 4*s + 84. Let d = s + 24. Solve y = d*y for y.
0
Let m(v) = -v**2 + 7*v - 7. Let p be m(6). Let z be 0/(p + 9 - 4). Solve -5*g - 26 + 1 = z for g.
-5
Suppose 4*q - 5*q = -20. Suppose -m - 26 = -2*s + 3*m, 0 = -4*m - q. Solve 2*f - s + 9 = 0 for f.
-3
Suppose 2*m - 5*g = -2*g + 65, g = 4*m - 125. Suppose 20 = -2*l + t, l - m = 4*l - 2*t. Let p = l + 11. Solve p*u = u - 2 for u.
-2
Let c(m) = 3*m - 19. Let w be c(8). Suppose 4*k = 3 + w. Solve -k*f = -3*f - 2 for f.
-2
Let f = 223 - 220. Suppose 0 = -0*u - 2*u - 2*y + 16, u = y + 4. Solve -f*t + u = 15 for t.
-3
Suppose -37*d + 35 + 39 = 0. Solve 8 = d*k + 4 for k.
2
Let g = -1081 - -1107. Solve g*v = 13*v - 65 for v.
-5
Suppose 3*t = -h - 6, 4*t + 50 = 3*h + 3. Suppose -4*j = -h*j. Solve 0 = -3*i - j*i for i.
0
Suppose 0 = -4*p - p + 20. Suppose -3*n = -2*w - w - 12, n = -w + p. Solve 6 + w = 2*f for f.
3
Let x be ((-48)/(-20))/((-3)/(-10)). Suppose 6 = -0*u + 2*u. Suppose 0 = u*d - 2 - 4. Solve -d = -3*y - x for y.
-2
Suppose 0 = -8*o + 4*o + 312. Suppose o = -t + 79. Solve -4*y = -5*y - t for y.
-1
Let p = 11 + -8. Let g = 16 - 16. Let j = p - g. Solve 0*u = u + j for u.
-3
Let v be (1 + -6)*(1 + (-51)/15). Suppose -v = -18*g + 15*g. Solve g*u - 11 = 5 for u.
4
Suppose -5*f + 3 = 4*l + 10, 0 = -2*l + 3*f - 31. Let t be (-54)/l - 33/44. Let s(u) = -2*u**3. Let k be s(-1). Solve 12 = -k*m + t*m for m.
3
Let u be (12 - 12/(-4))/(2 - -1). Solve 4*w + 1 = u for w.
1
Let f(i) = -i**2 - 3*i + 3. Let y(h) = -2*h**2 - 6*h + 7. Let d(w) = -5*f(w) + 3*y(w). Let m be (-70)/(-21)*(-12)/10. Let q be d(m). Solve c + 1 = q*c for c.
1
Let u be (-26)/5 + (-8)/10 + 17. Solve -u*a + 7*a + 8 = 0 for a.
2
Suppose -2*u + 1 = -k, 3*u + 20*k - 16*k = 29. Solve 2 = -z + u for z.
1
Let y(u) = u**3 + 2*u**2 - u - 2. Suppose 2*i - 9 = 3*r - 3*i, -r + 3*i = 7. Let d be y(r). Suppose -3*c = c - d. Solve 5*b = 4*b - c for b.
-3
Let g = 387 - 380. Solve -g = 4*y - 19 for y.
3
Suppose 2*w + 4*g = 10, -4*w + 3*g = 7*g - 28. Solve w*b - 21*b - 48 = 0 for b.
-4
Suppose 2*b - 32 = -16. Suppose -g = x - b, -1 = 3*g - 3*x + 5. Solve 8*t = g*t - 20 for t.
-4
Suppose 137*w - 114*w = 759. Solve -23*a - 59 - w = 0 for a.
-4
Let z(o) = -3*o**2 + 53*o - 226. Let i be z(10). Solve i*c + 21 = 37 for c.
4
Let r(v) = -5*v**3 - 89*v**2 - 11*v - 16. Let h(w) = w**3 + 18*w**2 + 2*w + 3. Let n(z) = 11*h(z) + 2*r(z). Let i be n(-20). Solve k - i = 1 for k.
2
Suppose -z + 11 = g - 5*z, 4*g = 2*z + 16. Suppose 0 = g*o + 4*d + 26 - 91, -d - 10 = -o. Solve -3*n = -8*n - o for n.
-3
Let x(v) = -v**3 + 5*v**2 + 9*v - 3. Let y be x(6). Suppose 0 = 5*p + 2*l - 25, -2*p + 5*p - y = 4*l. Solve p*c - c = 0 for c.
0
Let u(l) = -l**2 - 5*l - 2. Let n(r) = -r**2 - 10*r - 13. Let m be n(-9). Let c be 3 - -2*14/m. Let f be u(c). Solve 0 = 2*z + f*z for z.
0
Let i(j) = -4*j + 61. Let x(l) = 10*l - 152. Let f(w) = 12*i(w) + 5*x(w). Let a be f(15). Suppose -5*b = 5*z, 2*b - 5*z = 5*b. Solve b*k + a = k for k.
2
Let c = -1201 - -1226. Solve c*r = 6*r - 19 for r.
-1
Let o be 595/(-42) + (-2)/(-12). Let r be o - -11 - 2*5/(-2). Solve 9 = -r*b + 3 for b.
-3
Let u = 107 + -106. Solve 9 + u = 2*l for l.
5
Let n = -277 + 292. Solve 4*r = -n - 5 for r.
-5
Let b(v) = 2*v + 12. Let y(z) = z + 12. Let q(m) = -2*b(m) + 3*y(m). Suppose -3*l + 36 = l + 2*r, l + 4*r = 9. Let f be q(l). Solve 2*p + f = 1 for p.
-1
Let j(n) = -n**2 + 11*n + 6. Let f be j(11). Suppose -f*b + 20 = -2*b. Suppose 8*m - b = 3. Solve -5 + m = -4*u for u.
1
Let g(t) = -7*t**3 - t**2 + t + 1. Let i be g(-1). Suppose 3*s + i = -9, -2*r - 3*s = 5. Solve 3 = r*o - 7 for o.
2
Let m(f) = 3*f**2 - 12*f + 13. Let c be m(1). Solve c*j - 2 = -22 for j.
-5
Suppose 45 = 5*d - 3*x, -d = 5*x + 49 - 30. Solve j - 15 = d*j for j.
-3
Let r(d) = 7*d - 35. Let w be r(13). Solve -2*z + 48 = w for z.
-4
Suppose 6*s - 6 = 3*s. Suppose -20 = -s*q - u, -5*q + u + 37 = -3*u. Let o be 21/q + (-6)/(-9). Solve -13 = 2*i - o for i.
-5
Suppose -3*q + q = -6. Let h(b) be the first derivative of b**4/2 - 5*b**3 - 4*b**2 + b + 10. Let y be h(8). Solve -7 = q*v - y for v.
-2
Suppose -20 = 5*p + 3*o - 411, 4*p - 314 = -2*o. Let x = -50 + p. Solve 0 = -4*j + 10 - x for j.
-5
Suppose 2*a + 14 = -l, -29 = l + a - 4*a. Let c = -8 - l. Suppose x + 0*q = -q + 4, -5*x + 3*q + c = 0. Solve -6 = j - x*j for j.
3
Suppose 5*k = -4*h - 7, -4*h = -k - 1 - 10. Suppose -2*c = -x - 4 + 2, -3*c = h*x - 3. Solve -m - 4 - c = 0 for m.
-5
Suppose -4*w = 4*y - 16, 4*w - 13 = -5*y + 4. Let l be 0 + 1 + y - 2. Solve l = -m - 2*m + 12 for m.
4
Let c(l) = -2 + 0*l**2 + 11*l**2 + l**3 - l - 12*l - 10. Let t be c(-12). Let a be (28/(-8))/(1/(-2)). Solve t = 2*p - a*p - 25 for p.
-5
L