- m*l - z = 0 for l.
-5
Let l(x) = 2*x**3 + 2*x**2 - 11*x + 9. Let t be l(2). Let u(p) = p + 11. Let q be u(9). Solve 6*d - t*d = q for d.
-4
Let k be -2 - (-1 - -2)*-2. Suppose k = -2*u - 3*u + 45. Suppose -2*s + u = -15. Solve 3*f - 7*f - s = 0 for f.
-3
Let q(g) = -2*g**2 + 8*g + 18. Let j(y) = y**2 - 4*y - 9. Let f(l) = 11*j(l) + 6*q(l). Let b be f(5). Solve 2*n = b + 6 for n.
5
Let k be ((-3)/(-1))/(20 + -19). Solve 35 - k = -8*o for o.
-4
Let g(n) = -n + 1 + 7*n - 2*n. Let i be g(3). Suppose -8*l = -i*l + 20. Solve 2*o = l*o - 8 for o.
4
Suppose -4*j - 42 = 4*x - 2*j, 2*x + 25 = -5*j. Let d be -4 + (-66)/(-15) - 196/x. Solve a + d = -3*a for a.
-5
Let p = -176 + 296. Solve 0 = -3*s + 108 - p for s.
-4
Let n = -148 - -147. Let h be -3*10/(-2) + n. Solve 0 = 3*s + h - 5 for s.
-3
Let m be (-1)/2 + 2/4. Suppose -4*a = -m*a. Solve -i + 5*i - 12 = a for i.
3
Let s(o) = o - 5. Let y be s(5). Suppose -t = -y*t. Suppose -4*g + t*a + a + 26 = 0, g - 14 = 4*a. Solve -z - g = -2 for z.
-4
Suppose 2592*z - 2596*z = -32. Solve 11 = -z*j + 43 for j.
4
Let j(c) = c**2 + 4*c - 3. Let v be j(-5). Let g(b) = 17 + b**3 + 13*b**v - 9 - 4*b**2 - 9*b + 3. Let i be g(-10). Solve -5*y - i = -16 for y.
3
Let x be 18/45 + 344/40. Solve -x*s = -5*s - 20 for s.
5
Let s(q) = -q**2 - 3*q + 1. Let v(r) = -r**2 + r + 3. Suppose 4*w + 2*g - 32 = -2*g, -w = -4*g + 17. Let x be v(w). Let o be s(x). Solve l = 4 - o for l.
3
Let a(r) = -r**3 + 4*r**2 - 3*r + 3. Let z be a(2). Let w be (6/7)/(z/280). Let t be ((-2)/4)/((-8)/w). Solve 0 = s - t*s - 6 for s.
-3
Suppose 39 = -2*i + 3*z - 1, -3*i - 67 = -z. Let v = i + 21. Let x = v + 4. Solve 0 = -x*p + 5*p - 6 for p.
2
Let o(i) = 3*i + 72. Let w be o(-23). Solve 3*h = -0*h + w for h.
1
Suppose 5*d = -5*c - 10, 3*c + 4*d + 12 - 4 = 0. Let a be (4 - c)*(-140)/(-40). Solve 4*o - 2 = -a for o.
-3
Suppose 6*f + 27 - 81 = 0. Let o = 35 - 29. Solve f*b - o*b - 6 = 0 for b.
2
Let q be (-61 - -49)*6/(-4). Solve 0 = -6*v - 12 - q for v.
-5
Let z be -6*(4 - 20/4). Suppose d - 3*p - z = 0, -p + 5 = d + d. Solve -r + 1 = -d for r.
4
Suppose -527 = -31*x - 0*x. Solve -x + 13 = -k for k.
4
Suppose -3*u + 3 = k - u, -5*u - 10 = 0. Let z be (-107)/3 - (-4)/36*-3. Let m be (z/(-30))/(4/10). Solve k = m*h + 22 for h.
-5
Let z(b) = -b**2 + 10*b - 9. Let a be z(8). Let f(k) = 4*k - 22. Let v be f(a). Solve v = -x + 3*x for x.
3
Let u(l) = l**3 + 2*l + 4. Let x be u(0). Suppose -2*h = -4*d - 30, h + 5*d + 24 - x = 0. Solve -11 = h*i - 36 for i.
5
Let f be (-18)/3*(-188)/6. Suppose -185*j = -f*j. Solve 7*a - 6*a + 5 = j for a.
-5
Let b = 108 + -114. Let m(u) = 3*u + 21. Let x be m(b). Solve -2*y - 1 + x = 0 for y.
1
Let m = -22 - -35. Let j = 13 - m. Suppose j = -4*u - 0*u - a + 10, 5*u + 3*a - 9 = 0. Solve u = 2*o - o for o.
3
Suppose -2*b - 2*b - 3*u + 47 = 0, 0 = b + 2*u - 18. Solve -3*p - 1 = b for p.
-3
Suppose -26 = -17*t + 110. Solve 7*u - 43 = -t for u.
5
Let l(f) = f - 14. Let s be l(0). Let t = s + 12. Let x be -3 - (-4 - -1) - t. Solve 0 = -m + x*m for m.
0
Suppose -4*o + 4 = -2*a, 0 = 5*a - 4*o - 0*o - 2. Let y be (-2)/(-5) - 91/(-35). Suppose 0 = 8*w - y*w - 30. Solve -w = k + a*k for k.
-2
Let v(h) = h - 4. Let m be v(6). Let f(t) be the second derivative of -t**3/3 + 12*t. Let x be f(0). Solve x = m*p - 4*p - 2 for p.
-1
Let d(a) = a**3 + 26*a**2 + 27*a + 10. Let c be d(-25). Let y be 3 + -1 + c/(-5). Solve 3*g + y = -2*g for g.
-2
Let h(i) be the second derivative of i**4/12 + i**3 + i**2 + 22*i. Let d(r) = -r**3 + 2*r**2 - 3*r. Let k be d(2). Let z be h(k). Solve -z - 2 = q for q.
-4
Suppose -6*o = -4*o - 10. Let p = 7 + -1. Let a(n) = n**2 - 7*n + 6. Let v be a(p). Solve o*f = -v*f - 5 for f.
-1
Suppose -4*b + 7*r - 3*r - 48 = 0, -r = -2*b - 24. Let k be (24/18)/(-4)*-3. Let m be k/(-4) - 27/b. Solve 3*q = -m*q - 20 for q.
-4
Let r(z) = -8*z - 28. Let y be r(-9). Suppose 5*f = 119 - y. Solve -3*i = -f + 6 for i.
3
Let q be 1*((-1)/(-1) - -7). Let j be 11 - q - 6/2. Suppose r + j*r - 20 = 0. Solve 6*d = d + r for d.
4
Let u = -48 - -73. Suppose 5*h - 3*v = 21, 0 = -2*h - 0*h + v + 8. Solve h*f + 2*f = -u for f.
-5
Let i = -2 - -6. Let a = -15 - -20. Suppose -k = 3*t - 18, -k + a*k = -2*t + 22. Solve t*z = 21 + i for z.
5
Let h(p) = p**2 - 3*p + 6. Let t be h(0). Suppose t*z + 8 = 8*z. Solve 0 = 2*r - z for r.
2
Suppose -70 = -5*p + 2*l, -19 = -4*p + 4*l + 37. Solve 5*m - p = 1 for m.
3
Let b(f) = -f**3 - 6*f**2 - 7*f + 12. Let n be b(-4). Solve 0 = -18*g + 20*g + n for g.
-4
Suppose 0 = 2*n + 2*n - 64. Let z be (n/10)/((-4)/(-20)). Suppose 3*l + 3 = 4*q - 6, 15 = 3*q - 5*l. Solve q*c = -2*c + z for c.
4
Suppose 89*t + 6 = 90*t. Solve 4 = -10*p - t for p.
-1
Let f = -40 + 0. Let h be (-8)/f + (-412)/10. Let t = -37 - h. Solve -c - t*c = -15 for c.
3
Suppose 4*o = -c - 20, 3*c - 6*c - 2*o - 10 = 0. Let u = -55 + 39. Let l = u + 36. Solve 5*k + c*k + l = 0 for k.
-4
Let l = -3 + 5. Let p = l - 0. Let z = -243 - -248. Solve z*s - 3 = p for s.
1
Suppose -6*z + 3*z + 12 = 0. Let i(b) = 5*b + 19. Let t(w) = -6*w - 20. Let u(g) = z*i(g) + 3*t(g). Let x be u(-7). Solve x = 5*q - 3*q for q.
1
Let b(j) = j**3 - 5*j**2 - j + 7. Let f(n) = n**3 - 6*n**2 - n + 8. Let o(d) = 6*b(d) - 5*f(d). Let w = 1 + -1. Let s be o(w). Solve 0 = 5*g - s*g for g.
0
Let w = 4 + -13. Let y = 10 + w. Suppose 2*i = -4, 2*i + 16 = 5*t - i. Solve -3*a = -t - y for a.
1
Suppose 0 = 4*k + 13 - 65. Let o = 15 - k. Solve -o*s + 12 = 2 for s.
5
Suppose -101 = -3*d + 103. Let j be (-2)/8 + d/16. Solve -15 = j*x + x for x.
-3
Suppose -c + 26 = -3*y + 10, 5*c = -y + 80. Solve 29*f - c = 33*f for f.
-4
Suppose -l = 5*f - 32, -2*f + 2 + 18 = 4*l. Solve -f*w + 4*w = 0 for w.
0
Suppose -5 = 4*z - 21. Let g be -1 - (3 - z)*4. Suppose 7*s = 2*s. Solve x = -g - s for x.
-3
Let r(m) = -m**2 + 22*m - 69. Let u be r(4). Solve z + u*z + 12 = 0 for z.
-3
Let i = -11 + 5. Let o(g) = -g**2 + 68 - 55 - 8*g - 22. Let y be o(i). Solve -y*x + 5 + 1 = 0 for x.
2
Let b(x) = -x**3 - 12*x**2 - 2*x - 14. Let z be b(-12). Suppose 18 = 5*i - w - 3*w, i - 4*w = z. Suppose f - 36 = -i*f. Solve 3 = 3*h + f for h.
-3
Let n(s) = 4*s**3 - 3*s**3 + s**3 + 2*s**2 + s + s**3. Let c be n(-1). Let b be (-2)/(-1) + c/(-2). Solve -b*k = -8*k + 15 for k.
3
Let s = 28 + 4. Suppose s = -o + 3*o. Solve o = -7*i + 3*i for i.
-4
Suppose 38*o = 6*o + 128. Solve -o = -3*d - 19 for d.
-5
Let l(n) = -12*n + 5. Let b be l(4). Let y = -39 - b. Solve y*x - 5*x = -1 for x.
1
Let v(g) = -21*g - 151. Let l be v(-9). Solve 34*w - 16 = l*w for w.
-4
Suppose 3*b - 5*v = -0*v - 1, 13 = 5*b - v. Let c be 3/(2/(20/b)). Solve -2*g + c = 4 for g.
3
Let o(c) = -c**3 + 7*c**2 - 10. Let h be o(4). Solve 2*z - 42 + h = 0 for z.
2
Let m(h) be the second derivative of -h**3/2 - 17*h**2 + 28*h. Let j be m(-17). Solve -4*b + j - 1 = 0 for b.
4
Suppose d + 20 = -5*q, 2*q - 4 = -3*d + 1. Let r be (-8 + d)/((-3)/(-4)). Let b be (11/(-4) - -2)*r. Solve 2*v + 4 = b*v for v.
4
Let p = -386 + 391. Solve -28 = 2*h + p*h for h.
-4
Suppose -14*j + 5*j + 72 = 0. Solve -14 = -j*y + 26 for y.
5
Let h be (-16)/(-1) - (5 - 3). Let p = h + -14. Solve p*v + 6 = -2*v for v.
-3
Let v be ((-3)/4)/((-2)/(-8)). Suppose -10*r - 73 = -13. Let s be ((-2)/v)/((-2)/r). Solve s*m - 3*m + 5 = 0 for m.
5
Let j = 32 - 38. Let c be j/(-48) - 2/16. Solve c = -2*l - 2*l - 12 for l.
-3
Let p be -1 + (7/(-7))/(2/(-2)). Solve p = 7*u - 3*u - 4 for u.
1
Suppose 105 - 75 = -5*z. Let m(a) = a**3 + 4*a**2 - 13*a - 4. Let b be m(z). Solve -b = -3*d - 11 for d.
-3
Suppose 28*h = 30*h - 12. Solve h*l = 8*l - 10 for l.
5
Let y be (-8 - -22)/(1 + (-2)/(-2)). Solve 7*v - y = 7 for v.
2
Let i(p) = p**2 - 2*p - 4. Let o be i(4). Let r be 2/(-3) - 140/(-30). Solve -5*c = -r*c - o for c.
4
Let x = 98 + -86. Solve y = 7*y - x for y.
2
Suppose 0 = 4*q + 16, q - 6*q = -4*j + 28. Let u(k) = k**2 - 2*k - 7. Let a(b) = -3*b - 4. Let i be a(-3). Let t be u(i). Solve j*d - t = -2*d for d.
2
Let y = -312 - -218. Let x be y/(-2) + (-48)/(-12). Let t = x - 36. Solve -4*g = g + t for g.
-3
Let h = 68 + -58. Suppose 0 = -h*m + 5*m - 5*m. Solve -o + m*o = 2 for o.
-2
Let p(y) = y**2 - 19*y + 33. Let w be p(18). Let q(g) = 5*g**2 - 9*g. Let s be q(2). Solve 0 = v + s*v - w for v.
5
Let h(x) be the first 