= -3*l - 18. Let y(c) = -c**3 + 6*c**2. Let w be y(l). Suppose 0 = -2*m + 11 - 1. Solve 0*f - m*f = w for f.
0
Suppose -2*v + 3 - 1 = -j, 3*j + 5*v - 27 = 0. Suppose -6*c + j = -2*c. Let t(y) = y**2 - 2*y + 1. Let z be t(c). Solve z*k - 3*k - 3 = 0 for k.
-1
Suppose 0 = 6*p - p - 15. Suppose z = -0*z + 9. Solve 0 = 4*s + p + z for s.
-3
Let i(n) = n**2 - 10*n - 4. Let s be i(8). Let k = 23 + s. Solve 3*r + k = 6 for r.
1
Let k(x) = x**2 - 11*x - 7. Let r be k(12). Let n(y) = y**2 - 6*y + 3. Let s be n(6). Solve 10 + r = s*b for b.
5
Suppose -5*h = 2*h. Suppose -4*g = 3*d - 61, 5*g - 2*g = 2*d + 50. Suppose 0 = 4*b - 0*b - g. Solve h*f = -b*f + 12 for f.
3
Suppose 0 = 3*b - 6*b. Let g = -20 - -20. Solve b = 5*p - 15 - g for p.
3
Suppose -6*w - 2 = -7*w. Solve 5*r - w*r + 3 = 0 for r.
-1
Let w = -155 - -158. Solve 9 = w*b - 0 for b.
3
Suppose x = 2 + 1. Solve 0 = -x*r - r - 20 for r.
-5
Let d(o) = -o + 2. Let m be d(0). Let r = m + 2. Solve r*y - 5 = -17 for y.
-3
Let y be 0/(-1*(-2 + 3)). Solve y = 2*g - 3 - 7 for g.
5
Let r(t) = t**2 + 2*t - 3. Let u be r(-4). Let d be (-28)/(-5) - 3/u. Solve z = d*z for z.
0
Let r = 0 + -1. Let z = -6 + r. Let a = z - -11. Solve 3*y + a = -y for y.
-1
Suppose 0 = 2*x + 5*f + 37, 0*f - f = -3*x - 13. Let s = x + 13. Solve 8 + s = -5*w for w.
-3
Suppose -8*r = -3*r - 15. Solve 0 = -r*b + 1 + 14 for b.
5
Let w = 10 + -7. Solve -i = w*i for i.
0
Let q(l) = -l**3 + 2*l**2 + 3. Let u be q(2). Solve -4*t + 1 = -u for t.
1
Suppose 0 = s + 3*s - 20. Solve 9*u = 4*u + s for u.
1
Suppose 0 = x + 2*x - 6. Solve -x*k + 6 + 4 = 0 for k.
5
Suppose 3*y - 15 + 0 = 0. Let u(d) = 16*d**2 - 2*d - 2. Let a be u(-1). Solve -y*i - a = -i for i.
-4
Suppose 0*j = -5*j. Let l be j/(-1)*(-2)/4. Solve l = -0*k + k - 2 for k.
2
Suppose 0 = 6*b - 3*b. Solve 3 = m - b for m.
3
Let i be (-5 + 1)/(8/(-20)). Let k be -1*i*(-2)/4. Solve k = -m + 1 for m.
-4
Let f(h) = -4*h - 14. Let n be f(-4). Solve n = g - 1 for g.
3
Let i(a) = a**3 - 12*a**2 - 14*a + 18. Let u be i(13). Suppose 13 = -7*y + 3*y + u*z, z = -4*y + 17. Solve -y = h - 0 for h.
-3
Let b be (-18)/(1/(-3)*-3). Let q = b + 34. Solve 0 = -5*m + m + q for m.
4
Suppose -2*q = 3*d - 2, 8 = q - 3*d + 8*d. Let s be 5 + -3 - (-1 + q). Solve -s*y - 1 = 4 for y.
-1
Let q(m) = -m. Let j be q(-12). Suppose -j = -i - 7. Solve d - i + 0 = 0 for d.
5
Let z = 0 + 1. Suppose 3*o + 6 = 2*o + 3*q, 0 = -4*q + 16. Let u be o/3 + 1/z. Solve -s - u*s = -12 for s.
3
Suppose -5*g = -16 + 1. Solve 2*b = -g*b - 10 for b.
-2
Let a be (-12)/18*(-12)/2. Let w(l) = -l**3 + 5*l**2 - 5*l + 4. Let y be w(a). Suppose -p + y*p + 4 = 0. Solve -p*m - m + 10 = 0 for m.
2
Let o(b) be the first derivative of b**3/3 + 1. Let u be o(-2). Suppose 0 = l + u*l. Solve 0*d + 2*d = l for d.
0
Let i = 97 - 88. Solve -7 = 4*s + i for s.
-4
Let p = 31 - 21. Let s be 6/(-1 + p/4). Suppose 0 = -s*j - 0*j + 8. Solve 3*b = -1 - j for b.
-1
Let a be 1/(-3)*29*-3. Suppose a = 2*v + 5. Solve -o + 5*o + v = 0 for o.
-3
Suppose 3*g + 4 = 2*g. Let j(k) = -k - 2. Let a be j(g). Suppose -3*s + 24 = -s. Solve -2*i - s = a*i for i.
-3
Let c(b) = b + 8. Let g be c(-6). Solve 4*f + 2 + g = 0 for f.
-1
Let x(k) = k**2 - 9*k - 7. Let y be x(10). Suppose -v = -0*v - y. Solve -3*t = 9 - v for t.
-2
Suppose 5*r + 4*m = 47, -12 = -7*r + 4*r + 3*m. Suppose 8 = 5*y - r. Solve y*p = 8*p for p.
0
Suppose -6*d + d + 10 = 0. Suppose d - 4 = -p. Solve v = -v + p for v.
1
Let q = -21 + 25. Solve -s + q = -5*s for s.
-1
Suppose 0 = 2*y + 2*b - 0 + 2, 9 = -3*b. Solve -y*k - k = -9 for k.
3
Suppose 4*o + 4 = 12. Suppose -2*m - x + 2*x + 5 = 0, -2*m + 6 = -o*x. Let q(d) = 2*d. Let u be q(m). Solve -i + 3*i + u = 0 for i.
-2
Let t be (120/(-35))/(1/(-14)). Let s be 3*(1 - (-20)/(-6)). Let b be 1/(((-14)/t)/s). Solve 3*o + b = 9 for o.
-5
Let z(o) = o**2 - o - 1. Let c be (2/(-3))/(2/6). Let q be z(c). Suppose -p = -q*p. Solve p = -10*b + 5*b + 15 for b.
3
Let c = 51 - 48. Solve 2*i = i - c for i.
-3
Let m = -11 + 8. Let s = m - -2. Let l = s + 3. Solve -d - 5 = -l*d for d.
5
Suppose 5*w - 2*r - 31 = 0, -3*w + 2*w + r + 8 = 0. Suppose 0 = 3*x + g + 8 - 40, -35 = -w*x + 2*g. Suppose -2*k = k - x. Solve 18 = -k*s + 3 for s.
-5
Let u be 0 + -2 + 5 + -3 + 6. Solve -3*k + u*k = -15 for k.
-5
Suppose -n - 1 = -6. Solve -16 = n*d + 4 for d.
-4
Let h(v) = v**3 - 10*v**2 + v - 6. Let o = -11 - -21. Let l be h(o). Suppose -4*p + 2*p + l = 0. Solve -f = -p*f for f.
0
Let u be 8/5 - (-2)/5. Let w(d) = -d**2 + 4*d - 1. Let q be w(4). Let m be 0/((3 - u)/q). Solve -3*p - 3 + m = 0 for p.
-1
Suppose -4*w = -3*j - 1, 4*j + 6*w = 2*w - 20. Let z = 6 + j. Solve b = z*b + 2 for b.
-1
Let h = 9 - 5. Suppose -10 = -2*t - 4*d, -h*t = -3*t + 4*d - 11. Let s(u) = -3*u + 1. Let w be s(t). Solve w = -3*c - 5 for c.
-3
Let p be 6*-1*5/(-10). Solve y = -p*y for y.
0
Let c = 3 - -3. Let u be (0 - (-3)/c)*0. Let z = u - -3. Solve -l + 0 + z = 0 for l.
3
Suppose p + p - 6 = 0. Let m be 0*(-2 + 1) + 7 + -7. Solve -2*v + p - 7 = m for v.
-2
Let c = 8 + -5. Let d be 6 - (-1 - (c - 2)). Suppose 3*m - 125 = -2*m. Solve 0 = 3*x - d*x + m for x.
5
Let q be (0 + 1)*(2 + -1). Let m be ((-6)/(-4))/(q/2). Solve 14 + 1 = m*r for r.
5
Let n(k) = k**2 + 8*k - 7. Let d be n(-9). Let v(x) = 2*x**2 - 4*x + 2. Let j be v(d). Suppose 3 = j*m - m. Solve r + m*r = -4 for r.
-1
Let t = -3 - -6. Solve 0*y - 9 = -t*y for y.
3
Let y(x) = 2*x - 2. Let r be y(7). Suppose r = b + 3*b. Suppose 2*g = -6, -b = 2*u + 3*u + g. Solve -q + 1 + 2 = u for q.
3
Let r(b) be the first derivative of b**3/3 + 2*b**2 + 3*b + 5. Let v be r(-5). Solve -v*s = -4*s - 8 for s.
2
Let m = -3 + 5. Suppose -3*h - 4*b = 7, -h - h + 2*b = 0. Let n be 18 - (4 + h) - 3. Solve m*j = 5*j - n for j.
4
Let n be -1 - -2 - 10/(-10). Solve n*o = -0*o for o.
0
Let r = 24 + -12. Suppose 0 = g - r - 0. Solve 0 = -2*m - g + 4 for m.
-4
Let x(b) = b**2 - 5. Let r be x(-3). Solve -r*a + 2*a = -10 for a.
5
Suppose -17 = a + 4*k, -k + 41 = -5*a + k. Let g be 4/(12/a)*-2. Solve 2*c - g = -0 for c.
3
Let z(k) = -k**2 - 9*k + 10. Let x be z(-10). Suppose 10 = 5*i - x*i. Solve i*w = -w - 9 for w.
-3
Let r(b) = 2*b**2 + 2*b + 2. Let i be r(-2). Suppose -2*p = -3*p + i. Suppose -5*s = -p*s + 5. Solve s*g = g for g.
0
Let g be 0 + 1 - 4/(-6)*6. Suppose 4*x = 2*x. Solve g*c - 18 - 7 = x for c.
5
Let y be (4/3)/1*-3. Let x be -1*y/(-16)*-8. Solve 0 = -0*u - x*u for u.
0
Suppose -2 - 2 = -w. Let t = -1 + w. Let i(p) = -p - 5. Let m be i(-8). Solve -t*a + m = -3 for a.
2
Let s = 9 - 9. Solve -4*a + 5 - 1 = s for a.
1
Let b = 22 - 12. Let v = 30 + -16. Let a = v - b. Solve 0 = 2*t - 4*t + a for t.
2
Let f(o) = -2*o + 7. Let b be f(2). Solve -4*g - 11 + b = 0 for g.
-2
Suppose 5*g + 1 - 36 = -2*m, 0 = -2*m. Solve 3*c - g*c - 8 = 0 for c.
-2
Suppose 5 = -4*n - 19. Let o(w) = -2*w + 4. Let f be o(8). Let h = n - f. Solve 16 = 2*z - h*z for z.
-4
Suppose -5*l = l + l. Solve -4 + l = n for n.
-4
Let u be (49/21)/((-1)/(-3)). Solve u*i - 6*i = 0 for i.
0
Suppose -2*n = 5*k - 0*n - 10, n - 4 = -2*k. Suppose -k*m = 2*m. Suppose 5*c = 19*c - 28. Solve 2*a + m - c = 0 for a.
1
Let y(d) = -d**3 + 8*d**2 + 10*d - 9. Let q be y(9). Solve q = -v - 3*v + 16 for v.
4
Let g = 39 - 37. Solve 2*p = -g*p + 20 for p.
5
Suppose -r + 5 = 4. Solve r = 4*t + 13 for t.
-3
Let f be (90/12)/(6/8). Let n = 12 - f. Solve 4*m = n*m - 2 for m.
-1
Let d be 0*(6/(-4) - -1). Let m(s) = s**3 + 8*s**2 - s - 55. Let r be m(-7). Solve -2*l + l - r = d for l.
-1
Let p be ((-3)/(-18) - (-2)/(-3))*-4. Solve p*y - y = -1 for y.
-1
Let b(m) be the second derivative of m**6/180 - m**5/120 + m**3/2 + m. Let j(c) be the second derivative of b(c). Let o be j(-1). Solve -p = -o*p for p.
0
Let g(u) = u**2 + 5*u + 9. Let n be g(-6). Solve j + 2*j = -n for j.
-5
Let j(u) = 3*u**3 - 4 - 4*u**3 - u + 4*u**2 - u. Let h be j(3). Let p be -2 + 2 + h + 4. Solve 0*q = -p*q - 9 for q.
-3
Let v(t) = t**3 - 2*t**2 - 5*t + 6. Let a be v(4). Solve 0 = -5*y - 2 - a for y.
-4
Suppose -3 = -j + q, -j - 2*q + 1 - 7 = 0. Let f = j - 0. Let l(n) = 3*n**2 - 4*n. Let y be l(2). Solve y*r + r = f for r.
0
Let u = 54 + -38. Let h = -25 + 25. Solve h = 4*z + u - 4 for z.
-3
Let l be 2/8 + (-30)/(-8). Let c(s) be the third derivative of s**4/12 - 2*