+ l for n.
-4
Let j be (-6)/(3*3/(-6)). Let n = j - 7. Let o = n + 4. Solve -o = -i + 2 for i.
3
Let h(j) = -j**3 - 8*j**2 - 8*j - 4. Suppose 0 = 2*c - 5*g + 9, -4*c - 3*g + 0*g = 31. Let n be h(c). Suppose -2*u + 2 = -0. Solve -n*y + u = -2 for y.
1
Let c(g) = 3*g**3 - 9*g**2 + 8*g + 2. Let u(s) = s**3 - s**2 + s + 1. Let m(q) = c(q) - 2*u(q). Let l be m(6). Solve l = -2*w - 3*w for w.
0
Let m = -82 - -91. Solve -15*z - m = -12*z for z.
-3
Let j be (-3)/1 - -2 - 9. Let v(u) = u**2 + 10*u + 1. Let h be v(j). Solve i - h - 1 = 0 for i.
2
Let x = -83 + 182. Suppose -2*y + 3*h = -66, 3*h + h = 3*y - x. Let b be 489/y - 2/(-11). Solve 0 = 5*v - b for v.
3
Let s be 5*((-16)/20 - -2). Solve -g = -s*g + 5 for g.
1
Suppose 0 = -5*k + v + 2, -k - k - 3*v - 6 = 0. Let y be (-2)/(-8) + (-105)/(-28). Solve k = g - 0 - y for g.
4
Let o = 4 + -5. Let n be -1 + o + 1*6. Suppose 4*c + 4*r = -0*c, 0 = -5*c - 2*r + 15. Solve -6 = c*v + n for v.
-2
Suppose 3*v - 2*v + q = -9, -5*q = -v + 3. Let s = 7 + v. Solve s = -2*f - 0*f for f.
0
Suppose 3*c - 1 = 11. Let t be c/(-2) + (-4)/(-1). Let q(r) = -r**3 - 9*r**2 - 10*r - 10. Let v be q(-8). Solve 5*l - t*l = -v for l.
-2
Suppose 5*b - 35 = -5. Suppose b*v = 3*v - 108. Let s = -19 - v. Solve 5*w - 8 = s for w.
5
Let d(i) be the second derivative of -i**5/20 - 5*i**4/12 + 2*i**3/3 - 4*i**2 + 3*i. Let s be d(-6). Solve s*g = g for g.
0
Let g(b) be the second derivative of -b**4/12 - b**3/2 + 3*b. Let s be g(-3). Suppose 3*k + 2*t = -7, s*k + 4*t + 22 = 2*k. Solve 4*w = -k - 11 for w.
-3
Let k(l) = l**2 - 6*l - 8. Let n be k(8). Let y = 23 - n. Solve -y = c + 2*c for c.
-5
Let w(h) = h**2 + 4*h - 1. Let i be (3/2)/(4/(-16)). Let f be w(i). Solve f + 4 = -3*y for y.
-5
Suppose 0 = 3*y - 3. Suppose 4*h - 6 = -3*x, y = h + x - 0. Let i be 3/9 + (-1)/h. Solve i = -3*a + 1 + 2 for a.
1
Let p be (3/2)/((-1)/26). Let x be (0 + 0)*(-13)/p. Solve -v - 4 = -x*v for v.
-4
Let i(r) = -2*r - 1. Let v be i(-2). Let f = 2 + v. Solve 2*s - f = -3*s for s.
1
Let j(l) = -3*l**3 - l**2 - 2*l. Let k be j(-1). Solve k = -0*q + q for q.
4
Suppose -2*m = 5*o + 8, 0*o - 3*o + 3*m + 12 = 0. Solve 0*v + v + 5 = o for v.
-5
Suppose 2*w + w + 42 = 0. Let o be (-4)/w - (-61)/7. Solve 5*f + o = -16 for f.
-5
Let t = -3 - -6. Solve t*q - 5 = 1 for q.
2
Let c be 2/(-9) - (-1547)/117. Solve c = -3*q + 4 for q.
-3
Let g be 3 + -2 - 30/1. Let n be ((-9)/3)/(-3) - g. Suppose c = -4*c + n. Solve 4 = 2*r - c for r.
5
Suppose 7 + 3 = 5*h. Suppose 2*y + 12 = -4*d, -h*d = -4*y + 3*y + 6. Suppose y*p = -3*p. Solve -w + 0*w = p for w.
0
Suppose 5*a = -4*l + 48, 6*a + 36 = 3*l + 2*a. Let x(d) = d**2 - d + 1. Let r be x(2). Let m be 0*(-1)/(-2) - 0. Solve -l = -m*p - r*p for p.
4
Let u(z) be the first derivative of -4*z**3 + 2 + 5*z**3 - 3. Let m be u(1). Solve -m*o + 4*o = -2 for o.
-2
Let l = -35 - -55. Solve -2*u = 3*u - l for u.
4
Let i(u) = u**3 + 5*u**2 + 4*u + 3. Let d be i(-4). Suppose 0 = -y - d*y + 20, -3*z - 5*y + 49 = 0. Solve 5*q - z = -33 for q.
-5
Suppose 4*b - 2*n - n = 27, 0 = -4*b + 2*n + 26. Solve 3 = -5*x + b*x for x.
3
Let l(v) = -v**3 + 11*v**2 + 5. Let y be l(11). Suppose 0 = 5*n - 2*w - 2, -n + 4*w = -2*n + 18. Let b be n/(-6) - 210/(-9). Solve y*s + b = -2 for s.
-5
Let x(i) be the first derivative of -i**3/3 - i**2/2 + 2*i - 4. Let j be x(-2). Solve j = 2*t - 5*t + 6 for t.
2
Let l(k) = -k**3 - 4*k**2 + 3. Let s be l(-3). Let y(i) = -i**3 - 7*i**2 - 7*i - 2. Let n be y(s). Solve -n*w = w for w.
0
Suppose -3*c + 0*c = -6. Suppose 5*d = c*d + 6. Let u = -3 - -6. Solve -d*n + 3*n = -u for n.
-3
Let k(h) be the first derivative of -1/2*h**2 + 14*h + 3. Let t be k(11). Solve -t*z = -6*z - 15 for z.
-5
Suppose -4*k + 2*l = -l - 20, 5*k - 25 = 3*l. Let p = 12 - 6. Suppose 0 = -n + 2*z, -p*z + z = -n. Solve n*r = k*r - 10 for r.
2
Let l = -47 - -54. Solve 0 = 2*u - l*u for u.
0
Let u(s) = -s**3 - 7*s**2 - 9*s + 9. Let p be u(-5). Solve y = 2*y + p for y.
-4
Let l = 21 - 14. Let x = 10 + -7. Solve f - x + l = 0 for f.
-4
Suppose -16 = -3*z - 2*z + 4*g, -3*g - 12 = -3*z. Suppose -2*t + 10 = 2*m, z = -3*t - 2*m + 7 + 8. Solve t*i + 18 + 7 = 0 for i.
-5
Let n be 3 - 4/(-3)*9/(-6). Solve 0 = 5*x + n - 11 for x.
2
Let d be 50/(-15)*(-9)/6. Let g be 4 - -2*1/2. Suppose 0*q + g*q + n = 22, 0 = 5*q - 5*n - 40. Solve q + 5 = -d*c for c.
-2
Let a = 14 + -9. Let z be (6/4)/(21/448). Suppose -3*h + l = -3*l - z, -2*l = 10. Solve -4 = -h*s + a*s for s.
-4
Let h(u) = u**2 - 4*u - 10. Let p be h(6). Solve p*d = -3 + 1 for d.
-1
Let w(b) = -4*b - 11*b - 13*b - 4. Let j(g) = -9*g - 1. Let p(y) = 7*j(y) - 2*w(y). Let r be p(-2). Solve -q = -6*q - r for q.
-3
Let f(o) = -o**2 + 5*o - 3. Suppose 3*t = 7*t - 8. Let s be f(t). Solve -8*h = -s*h for h.
0
Suppose 12*x = 10*x + 6. Solve b = -x*b + 4 for b.
1
Suppose -4*l + v - 2 = 2*v, -2*l + 5*v + 10 = 0. Solve -5*t + 24 - 9 = l for t.
3
Suppose -4 = -5*s + s. Solve 0 - s = t for t.
-1
Let v be 3 + 1 + 528/12. Suppose -2*z - v = -6*z + p, z - p = 15. Let h be ((-1)/(-2))/((-1)/(-18)). Solve -4*u = h + z for u.
-5
Let n(w) = w**2 - 12*w - 11. Let h be n(13). Solve -2*p + h = 4 for p.
-1
Suppose 4*k - 5 = 3*k. Let q be 5/(-2)*(-8)/5. Suppose q*h - 10 = -k*b + 27, -25 = -5*h - 2*b. Solve 5 = -h*v + 14 for v.
3
Suppose 4*j - 3*j = 0. Let k(x) = 3*x - 21. Let f be k(9). Solve -f = -j*l + 3*l for l.
-2
Let j = 5 - -2. Let q(c) = -c + 13. Let i be q(j). Solve i = 3*g - g for g.
3
Let f = 29 + -18. Let i = f - 10. Solve s = -0*s + i for s.
1
Suppose 0 = 5*k - k - 8. Solve -c - k*c = 3 for c.
-1
Let d be -1 - 5/((-20)/12). Solve -d*i = -3*i for i.
0
Suppose 0 = -7*q + 10*q - 6. Solve 3*y = q*y for y.
0
Let c(d) = 3*d**2 + 3*d - 3. Let s be c(-3). Solve -3*p + 8*p + s = 0 for p.
-3
Suppose -3*h + 9 = -7*h - 3*k, -2*h - k - 3 = 0. Let f(c) be the first derivative of c**2 + 5*c + 2. Let s be f(7). Solve h = -4*x - 7 + s for x.
3
Let z(g) = -8*g - 3. Let l be z(-2). Let q = l + -7. Solve 0 = -3*n + q - 3 for n.
1
Let v(m) = -m**3 + 9*m**2 - m + 10. Let x be v(9). Solve t + x = -0 for t.
-1
Suppose -3*c = -0*c + 3*d - 6, 12 = -4*d. Let a = 15 + c. Solve -p - a = -6*p for p.
4
Let c(x) = -x**3 + x + 2. Let b be c(-2). Let k be -1 - 2*(0 - -1). Let g = -1 - k. Solve -g*i + 4 - b = 0 for i.
-2
Suppose 4*h - 1 - 3 = 0. Solve 0*q + q + h = 0 for q.
-1
Suppose -50 = -0*x - 2*x. Suppose b + k + x = 5*b, -2*k + 15 = 5*b. Suppose -20 = -y - b*l, 5*y - 12 = y - 3*l. Solve -m + 3*m + 4 = y for m.
-2
Let i(y) = -y + 8. Let m(a) = -a + 8. Let x(q) = -6*i(q) + 7*m(q). Let v be x(7). Suppose 5*f + 4*r - 3 = -0, 0 = -f + 4*r + 15. Solve f*p = -7 + v for p.
-2
Let j = 7 - -8. Let s = 0 + j. Solve 0 = -5*o - 0*o - s for o.
-3
Let p(s) = s**2 + s + 6. Let h be p(5). Let k be h/(-27)*3/(-2). Solve a = k*a for a.
0
Suppose 6*p - 4*p = 3*h + 33, 4*h - 12 = -2*p. Let b be p/(-8)*(-4)/3. Solve b*a = a for a.
0
Suppose -17 = -5*c - 7. Suppose w + 5*y + 6 = 0, 3*w + c*y + 0*y = 21. Suppose w = 2*a - 1. Solve 0 = -a*l - 0*l + 5 for l.
1
Let c = -11 - -11. Solve -2*u + 10 = -c for u.
5
Let o(k) = k**3 - 5*k**2 + 4*k. Let g be o(4). Suppose 2*t + g*t - 6 = 0. Suppose t*u + 2*u - 15 = 0, 4*b - 3*u = 3. Solve -3*y - b = -6 for y.
1
Let m be (-5)/1*8/(-20). Suppose -b = -c - 1, -2*c - c - 8 = -4*b. Suppose -c*z = -4, m*z = w - 2 - 0. Solve -3*n + w = -n for n.
2
Let z(g) be the first derivative of -g**3/3 - 5*g**2/2 + 2*g + 2. Let q be z(-5). Suppose -q = -4*y + 2. Solve -x - y = 1 for x.
-2
Let y = 13 - 9. Suppose 35 = y*c + c. Solve -5*z + c + 3 = 0 for z.
2
Let v(x) = x + 16. Let n be v(-10). Solve 3*w = 3 + n for w.
3
Let d = 49 + -48. Solve -g = -4 - d for g.
5
Let u be (-6)/(-18) + 1/(-3). Suppose u = 5*t + 1 - 16. Solve -3*z = -3 - t for z.
2
Let j(g) = -g**2 - 4*g + 4. Let r be j(-5). Let o be 4/(r*4/(-6)). Solve -5*l + 31 = o for l.
5
Let u(d) = 2*d**2 - 15*d + 7. Let g be u(7). Solve -4*k + 0 - 8 = g for k.
-2
Let v be (-30 - -9)*(-1)/3. Solve v = 4*p - 1 for p.
2
Let t(h) = -2*h - 10. Let i be t(-7). Suppose -n = i - 6. Solve -n*f = -6*f for f.
0
Let f = -36 - -63. Let v = f + -25. Solve v*r = -r - 12 for r.
-4
Let y be (-4)/24 + 385/6. Suppose 3*b - y = -4. Solve 2*l - b = -2*l for l.
5
Let b(g) = -g - 9. Let w be b(-5). Let k be 2*2*(-6)/(-4). Le