e w*l - 6 = 2 for l.
4
Let i(w) = -w**3 + 7*w**2 - 5*w + 3. Let p be i(6). Suppose -2*q = -163 + p. Let z = q + -44. Solve 0 = 5*v + 8 - z for v.
5
Let r be (3 - (3 - 1))*2. Let n be (-15)/10 + 63/r. Solve -n = -5*f - 10 for f.
4
Let z = 5 - -1. Solve -2*h = -0 + z for h.
-3
Let a be 16 - (0 + (1 - 0)). Suppose 0 = 4*w - 9*w + 3*n + a, -2*w - 3*n = -6. Suppose 7*c = w*c + 12. Solve -c*t + 5*t = 8 for t.
4
Suppose -8*q = -3*q - 60. Suppose -2*l + q = l. Solve -l*j - 10 = -2*j for j.
-5
Suppose 0 = 2*u - u - 11. Suppose -4*i = -2*g + 3 + u, g = -3*i + 2. Solve -3*y - g = -2*y for y.
-5
Let j be 3/2 + -1 - (-115)/10. Solve 3*v = -v + j for v.
3
Suppose -5*f = -2*m - 9, -2*m - 2*f + 0*f = -12. Solve -m*n = -7*n - 12 for n.
-3
Let w = 3 + 0. Suppose -y - 7 = 5*o + w*y, -y = -4*o + 7. Solve o = 5*j - 4 for j.
1
Let s(m) = -2*m**3 + m**2 + 2*m + 2. Suppose -z + 0*z = 1. Let h be s(z). Solve -h*j - 4 = 2 for j.
-2
Let r(t) = t**3 + 5*t**2 - t - 2. Let l be r(-5). Solve 3*o + l = 4*o for o.
3
Suppose 3 = -s + 6. Solve -s*v = 2*v for v.
0
Let i(c) = -c**2 - c + 1. Let v(r) = 5*r**2 + 3*r - 8. Let o(w) = 4*i(w) + v(w). Let h be (-7)/35 + 28/(-10). Let a be o(h). Solve -k - a = k for k.
-4
Let u be (-3 - -2)/((-1)/(-3)). Let b be (-1)/(((-4)/u)/(-4)). Solve -k + 2*k = -b for k.
-3
Let b(u) = u + 1. Suppose 4*q = 2*v - 14, -2 + 1 = v + 2*q. Let l be b(v). Solve -l*a = a for a.
0
Let i = -14 - -14. Solve -3*h = 3 - i for h.
-1
Let k be (1 + -2 + 1)/2. Suppose 0 = -z + 4*a - 5, a + 97 = -5*z + 30. Let l = z - -21. Solve -3*f - 2 + l = k for f.
2
Suppose f + 3*f - 28 = -5*i, 4*f - i - 52 = 0. Suppose -v = 3*v - f. Suppose -d - v - 3 = -2*g, 0 = 4*d. Solve -5*t = -g*t - 2 for t.
1
Let q be 135/60 + 6/8. Solve 5*n + 17 = -q for n.
-4
Let h = 22 - 20. Solve 0 = h*o - 0*o + 6 for o.
-3
Let s(q) = -q**3 - 5*q**2 + 11*q + 6. Let n be s(-7). Let w = -25 + n. Solve 2*g + 0 = w for g.
1
Let t be ((-1)/2)/((-2)/32). Let j = 3 - 7. Let r = t + j. Solve 10 = r*x - 9*x for x.
-2
Let v(l) be the second derivative of l**4/12 - 11*l**3/6 + 3*l**2/2 - 4*l. Let r be v(11). Solve r = 5*z - 22 for z.
5
Let g = 26 + -18. Solve -g = -0*k - 4*k for k.
2
Let p be (-2 + -2)/8*-6. Solve -3*u - p = -0*u for u.
-1
Let y be (-1)/3*-3 - -4. Let d = -19 - -37. Solve y*n - 3 = -d for n.
-3
Let f(u) = -u**3 - 3*u**2 - 6*u - 6. Let a be f(-2). Solve 0 = s + s - a for s.
1
Suppose 0 = -4*l - 4*c - 4, 0 = -l - 4*c + c - 7. Solve -4 + 14 = -l*x for x.
-5
Let i(y) = y**2 - y - 1. Let u be i(-2). Let g be 32/(-176) + 46/11. Solve g*d - 3 = u*d for d.
-3
Let p be (-6 + 6)/(-1*1/(-1)). Let i be (-6)/(-4)*8/6. Solve -i = -p*u + u for u.
-2
Suppose 0*a - a + 4 = 0. Solve 0 = -4*b - 0 - a for b.
-1
Let n be (-4)/(-6) - 80/(-6). Let z be 4/n + (-4)/14. Solve z = 2*l + 2*l - 12 for l.
3
Let v = -13 - -17. Solve -v*l - l = -5 for l.
1
Suppose 2*o + 4*c = 16, 0 = -4*o + o - 2*c + 8. Solve o*w - w - 5 = 0 for w.
-5
Let f be ((-8)/(-16))/(1/4). Solve -f*l - 3 + 5 = 0 for l.
1
Let i be (2*1)/(14/21). Suppose -2 = g - 2*t - 0*t, g - i*t = -6. Suppose 4*u = g*x - 5*x + 81, -3*u - 2*x = -69. Solve 6 = 3*j + u for j.
-5
Let r = 1 + 1. Let g = 31 - 28. Suppose -20 + 15 = -n. Solve -r*f + n = g*f for f.
1
Suppose 2*y + 2 - 20 = 0. Let i(l) = -2*l**3 + 2*l**3 + 9 + 9*l**2 - l**3. Let w be i(y). Solve 4*p - w = p for p.
3
Let p(w) = w - 1. Let u be p(3). Let s(h) = -2*h**3 + 4*h**2 - 2*h - 1. Let j be s(u). Let i be (1 + 0)*(7 + j). Solve i*q - 3 = -11 for q.
-4
Suppose 8 = -j + 5*j. Suppose j*z - z = 2. Solve y = -y - z for y.
-1
Suppose 5*m = 4*x - 16, -x + 0*x = 3*m - 4. Let h be 0 - (0 + 1 + -5). Solve m*f + f + h = 0 for f.
-4
Suppose -4*r + 10 = r. Suppose -3*f + 5 = 5*j, -1 - 2 = -3*f - 3*j. Solve r*l = -2 - f for l.
-1
Suppose 5*t - 1 = 4*t. Solve -t = 2*j - 7 for j.
3
Let o = 5 - 2. Let p(c) = c**3 - c**2 - c + 6. Let y be p(0). Solve o*s = y*s for s.
0
Suppose 4*x - 13 = 7. Suppose 4*b - 27 = x*f, 4 - 1 = 2*b + f. Solve -b*w + 3 = -6 for w.
3
Suppose 0*c = 5*c - 15. Let d be 12/3 - (0 + 2). Suppose c = t - d. Solve -y + t = 4*y for y.
1
Suppose 0*g + g = 0. Let l = 5 - g. Suppose -2*f - 4*b = 6, 0 = -l*f + 4*f - 3*b - 6. Solve -3 = -2*k + f*k for k.
-3
Suppose 6 = d + 2*d. Suppose a - 18 = 2*m, -5*m + m = d*a + 4. Solve -20 = 4*q - a*q for q.
5
Suppose -3*j + 5*j - 5*c = -5, -3*j + 4 = 4*c. Solve j*x + 4*x = -12 for x.
-3
Let i = 5 + 2. Solve i*b = 3*b for b.
0
Let h(v) = 2*v - 4 - 2*v**2 + 5*v + 0*v**2 + v**2. Let x be h(3). Solve -x = -3*w + 7*w for w.
-2
Suppose -k = o, -5*k + 5*o = -36 + 6. Let l = 3 + k. Solve l*w - 15 = w for w.
3
Let o(k) = 7*k - 56. Let p be o(8). Solve 3*z + p = -3 for z.
-1
Let u(f) = f**3 - 4*f**2 - 3*f - 4. Let p be u(5). Solve -p = z + z for z.
-3
Let l = 27 + -24. Suppose -5*n + 3*i + 102 = 0, 34 = 3*n + l*i + 2*i. Solve -3 + n = -3*f for f.
-5
Suppose 5*s = -4*k - k + 35, 3*s = -4*k + 24. Let o be (-1 - -1)/(3/3). Suppose -2*j - d - 2 = 0, 2*j + o*j - k*d = 6. Solve j = -v - 0*v - 3 for v.
-3
Let c(t) = t + 11. Suppose -24 - 10 = 5*f + z, f - 10 = 4*z. Let x be c(f). Let k be (-80)/(-12)*6/x. Solve l + l = k for l.
4
Let r = 4 - -4. Suppose -3*w = -r*w. Solve w = -m - 0*m + 5 for m.
5
Suppose 0*v + 2*v = 7*v. Solve 16 = -4*q - v for q.
-4
Suppose 3*g + 2*r + 15 = 5*r, -5*r + 25 = g. Solve j - 2*j + 2 = g for j.
2
Suppose -2*k + k - 3*m + 8 = 0, m = k + 4. Let r(h) = -h + 1. Let s be r(k). Suppose 4 = -o + s*o. Solve 0*a - 4 = o*a for a.
-1
Let q(m) = -m + 6. Let i be q(6). Let p be 6 + 1 + (-8)/4. Suppose -5*s + 3*s = -50. Solve -p*l - s = -i*l for l.
-5
Suppose -5*z = -0 + 25. Let c = -5 - z. Solve c = l - 2*l + 4 for l.
4
Suppose 3*k + 6 + 18 = 0. Let b = 14 + k. Suppose -2*s - 12 = -b*s. Solve -s*x + 8*x = -25 for x.
-5
Let d = -7 + 5. Let l be (-1)/(((-4)/(-6))/d). Suppose -2*r + 6 = 0, -5*n + 23 = l*r - 2*r. Solve -j + n*j = 0 for j.
0
Let r(m) = m**2 + 4*m - 8. Let j be r(-6). Suppose -s = 5*x + j*s - 10, -4*s = -4*x + 40. Let l be (x/(-9))/(1/(-12)). Solve l*n - 4*n = 16 for n.
4
Let h(c) = c**2 + 12*c + 15. Let v be h(-11). Solve -2 = 2*b + v for b.
-3
Suppose -3*u = -26 + 14. Solve -5*j - u = -24 for j.
4
Let c = -1 - -4. Suppose z + c*z - 12 = 0. Suppose -2*p = z*o - 4, -4*p + 6 + 2 = 2*o. Solve 3 = p*x - x for x.
3
Let i(l) = l**3 + 26*l**2 - 4*l - 100. Let t be i(-26). Suppose 2*a - 5*a + 4*f = -32, 0 = -5*a - 4*f. Solve -4 = -a*v + t for v.
2
Suppose -4*m - 4*y + 46 = m, -4*y - 2 = -3*m. Solve -3 + m = u for u.
3
Let u be 6/(((-24)/9)/(-4)). Suppose 0 = -2*t + 3*t. Suppose -u*m + 7*m = t. Solve 2*w - 3*w - 4 = m for w.
-4
Let u(d) = -d**3 + 2. Suppose 0 = -h + 2*h. Let p be u(h). Suppose 1 = p*n - 1. Solve n = -2*f + 3*f for f.
1
Suppose 12 + 4 = -4*p. Let q(k) = -k - 2. Let j be q(p). Solve -3*i - j*i - 15 = 0 for i.
-3
Let w(g) be the second derivative of 7*g**4/24 - g**3/3 + g**2 - g. Let y(l) be the first derivative of w(l). Let u be y(2). Solve 3*i = -0 + u for i.
4
Let s = -23 - -23. Solve s = u + u + 6 for u.
-3
Let s(y) = 2*y**3 - 4*y**2 + y + 3. Let j be s(2). Solve 1 = -j*o + 4*o for o.
-1
Let j = 1 - -3. Let h = j - 4. Solve h*k - 2 = k for k.
-2
Let q = -3 + 7. Suppose -q*i - x = -4*x - 45, 4*i = 5*x + 51. Solve s = -2*s + i for s.
3
Suppose 3*x - x = 22. Let v = x - 17. Let c(k) = k + 8. Let y be c(v). Solve -2 = -d + y for d.
4
Suppose -f = 2*p, -2*f + 2*p = -6*f. Solve 0 = -f*y - 5*y - 5 for y.
-1
Let j = -3 + 1. Let x be (2 - 8/j) + -2. Solve 30 - 10 = x*i for i.
5
Let x be 33/(-72)*-4 - (-1)/6. Solve 3 = -5*b - x for b.
-1
Let v(h) = h**2 + 6*h + 8. Let f be v(-2). Solve f = 2*x + 2 + 2 for x.
-2
Suppose -2*t + 2 = o, 0*o + 4*o - 8 = -2*t. Suppose -3*x - 5*n - 22 = 0, -4*n - 23 = x - 4*x. Let r be (-1)/x*-1 + 2. Solve t*z = z + r for z.
-3
Suppose 3*v + 3*j = 9, -4*v + 4*j + 33 = j. Solve 2*k = v*k for k.
0
Let z(h) = h - 1. Let u be z(-1). Let x be u*(-3)/(-6)*-2. Suppose g = -2*r - 2, 0 = 3*r - 0 + 3. Solve 0 = n - g - x for n.
2
Let z be (1 - -1) + (-14)/(-7). Suppose -z*l + 4 + 12 = 0. Solve 1 = -l*c + 3*c for c.
-1
Suppose 3*k + 3*k = 0. Solve -u + k*u + 4 = 0 for u.
4
Let q be -1*(1 - (-1)/1). Let w be q/((4/(-6))/1). Let n(s) = s**3 + 6*s**2 + 2*s - 12. Let t be n(-5). Solve w*g + t = -6 for g.
-3
Let g be (-25)/(-10) + 2/(-4). Let s 