l**3 + 4*l**2 + 3. Let n be m(d). Suppose 2*w + n*b = 4*b + 13, -2*b = 10. Solve w = -2*j + 12 for j.
4
Let d = 15 - 10. Solve -d*j - 5 - 15 = 0 for j.
-4
Let i = 34 - 28. Solve -i = 3*f - 5*f for f.
3
Suppose 0 = -a - 1, -n - a + 0 = -2. Suppose 5*t - n*t - 6 = 0. Solve 0*k - t = -k for k.
3
Let i(x) = 2*x**2 + 5*x**2 + 2 - 1. Let d be i(-1). Solve -2*y = 2*y - d for y.
2
Let g(v) = -v**2 - 21*v + 106. Let w be g(-25). Solve 2*x - 5*x = w for x.
-2
Let j(k) be the second derivative of k**5/20 + 5*k**4/12 + k. Let n be j(-5). Solve -3*l - 2*l - 25 = n for l.
-5
Suppose 2 = d - 3. Suppose 4*h = 16, -4*h - 3 = 2*w - 21. Let x be 0 - -25 - (1 - w). Solve x = d*q - 0 for q.
5
Suppose -3*t = 7 + 17. Let k = t + 8. Suppose 5*u = 2 + 13. Solve -u*g + 3 = -k for g.
1
Let m = -6 + 11. Suppose 2*t + 26 = m*u, 4*u - 3*t = 2*u + 6. Suppose n = 5, 16 = -3*a + u*n - n. Solve -a*i + 2 = -4 for i.
2
Let l(t) = -t**2 - 13*t - 10. Let a be l(-12). Solve a*c + 9 = -c for c.
-3
Let z(j) = 2*j + 14. Let q be z(-7). Suppose n = -q*n. Solve 8 = 2*a - n*a for a.
4
Let l = -16 + 18. Suppose 3*b - 14 = 5*a, -a + 4 - l = b. Solve 0 = 3*f + 3 + b for f.
-2
Suppose 3*l = -0*l + 6. Solve l*d = -2 + 8 for d.
3
Let m(d) = d**3 + 10*d**2 + 10*d + 9. Let j be m(-9). Solve j = -4*a - 13 - 3 for a.
-4
Let c be 14*((-56)/(-16) + (1 - 4)). Solve -5*f + c = -13 for f.
4
Let l = 3 - 2. Let n be l + (4 - 2)*1. Let g = n - 1. Solve -g = a - 3*a for a.
1
Let m(w) = w**3 + 8*w**2 - 12*w - 20. Let u be m(-9). Solve 8*v - u*v + 4 = 0 for v.
-4
Suppose 3*n - 5*n - 22 = 0. Let w = n + 5. Let u(h) = -h**2 - 7*h - 1. Let j be u(w). Solve 1 = -j*s - 4 for s.
-1
Let y = 8 - 7. Let p be (2 + -2 + y)*1. Suppose q = 5*q - 8. Solve 9 = -q*m - p for m.
-5
Suppose -2*u = -5*a - 50, 5*a + 14 + 56 = 3*u. Solve -5*h + 0*h + u = 0 for h.
4
Let k = -14 + 7. Let t(x) = x**3 + 8*x**2 + 6*x - 5. Let f be t(k). Suppose 2*c - 8 = c - u, -c - f*u = -7. Solve o = -2*o - c for o.
-3
Let o(z) = 4*z**2 + z + 1. Let y be o(-1). Solve y = 2*d - 0 for d.
2
Let f(a) = 4*a. Let s(d) = 1. Let j(r) = f(r) - 2*s(r). Let u be j(2). Solve -4*z - u - 2 = 0 for z.
-2
Let y be -1*1/(-1)*-1. Let m(h) = -h**2 - h + 2. Let q be m(-2). Let l be q + (y - 0)*-2. Solve 0 = l*r + 2*r + 12 for r.
-3
Let v(o) = o**3 - 10*o**2 + 2. Suppose -t - 2*k = -0*k - 14, 0 = 4*t + 2*k - 44. Let f be v(t). Solve 0 = b - 0 - f for b.
2
Let b be (-3 + (11 - 3))*2. Solve 5 + b = 3*j for j.
5
Suppose -j + 3 = -2. Let h(d) = -3 + 0*d + 7 - d + 0. Let q be h(4). Solve -5*l + q = j for l.
-1
Let j(z) = -z**3 + 5*z**2 + 3. Let w be j(5). Let n = 3 - w. Solve n = -4*q - 8 for q.
-2
Let h(k) = k + 2. Let z be h(5). Let i(a) = -a + 9. Let f be i(z). Solve 0 = l + f*l - 3 for l.
1
Let h = 19 - -3. Let c be (-4)/(-22) - (-40)/h. Solve 0*z = -2*z + c for z.
1
Let w(d) = 3*d + 2. Let j be w(4). Let p(f) = -f + 20. Let v be p(j). Solve 2*q + v = -0*q for q.
-3
Suppose 0 = -2*t - t. Let g be ((-5)/1)/(-1 - 0). Let v(m) = m - 2. Let f be v(g). Solve 6 = -t*u + f*u for u.
2
Suppose 0 = 5*z - 2*z - 9. Suppose m = 2*o - 5 - 7, 0 = -z*o + 3*m + 12. Solve -i - i = o for i.
-4
Suppose t - 2*v = -6, -4*t + 2*t + v = 3. Suppose z = 2*z. Solve -2*s + t + 8 = z for s.
4
Suppose 2*f - 2 = 8. Solve 0 = 2*w + 15 - f for w.
-5
Suppose 0 = 108*p - 109*p + 13. Solve -14*j + p*j = -2 for j.
2
Let h be (7 - 8)/((-2)/86). Let p be 12/90 + h/15. Solve p*m - m - 8 = 0 for m.
4
Let n be ((-2)/2)/(3/(-9)). Let s be n - -6*(-2)/4. Suppose -t = -3 - s. Solve -4*o + t = -1 for o.
1
Let a be 1*(-1 + 0 + 1). Solve -5*x - 8 - 7 = a for x.
-3
Suppose 2*z + z + 4*v - 24 = 0, 0 = -z - 4*v. Suppose -3*a - 5*c - 2 = -13, 0 = 3*a + 4*c - 10. Solve -z = -t - a*t for t.
4
Suppose -4*m - 8 = -2*j - 86, -4*j + 4 = 0. Solve 5*o - 5 = m for o.
5
Let i = -3 + 5. Suppose 5*f - 55 = -4*j, 2*j + 3*f = -2*f + 35. Let g = -10 + j. Solve i*z - 8 = -g for z.
4
Let w(y) = -2*y**2 + 15*y - 4. Let d be w(7). Suppose 4*n + 5*t = -12, 2*n + t = -0*n. Solve -d*a = n*a - 25 for a.
5
Suppose 5*v = 13 + 2. Let b(z) = 3*z - 4. Let d be b(v). Suppose 3*w - 19 = 2. Solve 3 + w = -d*o for o.
-2
Suppose 2*b = 4*u + 30 - 10, 4*b - 5*u = 28. Suppose -b*z + 21 - 3 = 0. Suppose -5*g + z = -2*s, -2*s + 0*s + 6 = 0. Solve g = -h - 1 for h.
-4
Let m(p) = -p**3 + p**2 + 3*p + 3. Let s be m(0). Solve -5*g - 12 = s for g.
-3
Let p(s) = s**2 + 13*s - 44. Let o be p(-16). Solve 3*d + 2 = o*d for d.
2
Let z be 5 + (5 - -1) + -5. Solve 11*d = 8*d + z for d.
2
Suppose 0 = 4*z + 3*m + 2, 3*z + z - m + 10 = 0. Let d be 0/(-2)*(-3 - z). Suppose 6*a - a - 5*o - 20 = d, 3*a + 3*o - 12 = 0. Solve -4*q + 8*q = -a for q.
-1
Let m = -12 - -9. Let v(b) = b**3 + 2*b**2 - 5*b - 3. Let c be v(m). Solve -c*x = -9 + 24 for x.
-5
Let a = -14 + 24. Suppose -d + a = -w + 4*w, 2*w + 3*d = 9. Let b = w - 2. Solve -11 = 2*j - b for j.
-5
Let h be 14/12 + 1/(-6). Solve 3*z - h = -10 for z.
-3
Let v = 48 + -32. Let q(f) = -f + 13. Let i be q(11). Solve -v = -2*y - i*y for y.
4
Suppose -5*f - 6 = -2*d, -5*f - d + 0*d + 3 = 0. Solve -t + f*t - 1 = 0 for t.
-1
Let a(c) = -c**2 - 6*c - 3. Let n be a(-5). Solve 0 = 5*l - 8 - n for l.
2
Let i(s) = -s**2 + 6*s + 3. Let o be i(5). Let k(g) = -g - 1. Let y be k(-4). Solve -y*x = -x + o for x.
-4
Let c be (0 + 1)/(3/6). Suppose -c*j + 3 = -3. Solve -y = j*y + 8 for y.
-2
Let t = 4 - -4. Let l be 7 - (6/2 + -1). Let u(c) = c + 9. Let n be u(-6). Solve -l*o - t = -n*o for o.
-4
Let r be (16/10)/(18/45). Suppose -111 = 4*x - 35. Let t be x/(-5) - r/(-20). Solve 0 = -h - t*h for h.
0
Suppose 0 = q - 6*q. Solve q = -3*o - 2*o + 25 for o.
5
Let d be (((-4)/(-10))/(2/(-40)))/(-2). Solve -9 + d = h for h.
-5
Let i = 7 - 2. Solve 8 = i*a - 7 for a.
3
Suppose 8*p - 3*p = -2*q - 1, 15 = -3*p. Let v = -5 + 8. Suppose -4*d + 31 - v = 0. Solve 3*o = d*o - q for o.
3
Suppose 0 = 5*j - 8*i + 4*i - 17, -5*j + 2*i = -21. Suppose 5 = -j*u - 0, -3*q = -u - 55. Let z = -6 + q. Solve z = 6*x - 2*x for x.
3
Let u(i) = i**3 + 11*i**2 + 11*i + 14. Let q be u(-10). Solve -q = -l - 1 for l.
3
Let v = 62 + -62. Solve 0*s - s + 2 = v for s.
2
Suppose 0 = -4*w - 4*w + 48. Solve -w = -5*m - 26 for m.
-4
Let u = 10 - 7. Suppose 2 = -2*g - 3*i - 7, -4*g - 3*i - u = 0. Let x = -1 + 2. Solve 0 = -m - g + x for m.
-2
Suppose 0*h + 10*h = 50. Solve 1 = -h*l - 14 for l.
-3
Suppose -3*m + 0*m + u + 7 = 0, m + 6 = 2*u. Solve -16 = -m*s - 0*s for s.
4
Let t(s) = 7*s**3 + 3*s**2 + s - 1. Let m(r) = -13*r**3 - 7*r**2 - 3*r + 2. Let c(a) = 2*m(a) + 5*t(a). Let i be c(1). Solve 0 + i = 2*n for n.
4
Let b(h) = h**3 + h**2 - 11*h + 6. Let x be b(-4). Solve -12 = d + x*d for d.
-4
Let w be (-25)/(1/(-4 - -3)). Suppose -4*f - f = -w. Solve -4 = 3*m + f for m.
-3
Let l = -8 + 14. Suppose 0 = -2*v + l, p - 5*v + 17 = 2. Solve p*u = -5*u for u.
0
Let g(x) = x + 2. Let o be g(-2). Let f(l) = -5 + 0*l + o*l + l. Let m be f(10). Solve -m*h + 17 = -3 for h.
4
Let t(x) = -x - 6. Let g be t(-10). Let i = g + -5. Let r(c) = -19*c**3 - 2*c - 1. Let w be r(i). Solve 4*p + w = -0*p for p.
-5
Suppose -c + 4 = c. Suppose c*k - 4*j = -12, -3*j + 20 - 2 = 3*k. Solve k*f - 5*f = 6 for f.
-2
Let f(k) = 10*k + 1. Let l(o) = 19*o + 2. Let n(h) = 11*f(h) - 6*l(h). Let s be n(-1). Solve -5 = -4*i + s for i.
2
Let z(j) be the third derivative of -j**6/40 - j**5/60 + j**3/6 - 3*j**2. Let o be z(-1). Suppose 7 = x - 5*c, -x - 6*c + c = o. Solve -x*t - t - 12 = 0 for t.
-4
Suppose -5*t + 3 = -7. Suppose -2*a - t = y, 5*y + 3 + 7 = -5*a. Solve 4*i + 12 + a = 0 for i.
-3
Suppose 105 = 4*q + q. Suppose -4*p + 30 = 4*u + u, 3*u = -3*p + q. Solve p + 3 = 2*v for v.
4
Suppose 2*i - 2*g = -5 - 3, 2*i - 3*g = -12. Suppose -t - 6 = -2*f + 5*f, i = -3*f - 12. Suppose -24 - t = -5*d. Solve -d*c + 2*c = 20 for c.
-5
Let i(l) = l**2 - 6*l + 6. Let w(f) = -2*f**2 + 11*f - 12. Let o(p) = 5*i(p) + 2*w(p). Let r be o(8). Solve r = 3*k - k for k.
3
Suppose 0 = 5*w - 11*w. Solve -3*q + 7 - 16 = w for q.
-3
Suppose 3*k + 2*k + 70 = 0. Let y = 20 + k. Solve -2*h - y = 4 for h.
-5
Let z = 21 - 19. Solve f - z = 1 for f.
3
Let r = -57 + 64. Solve 1 = -3*w + r for w.
2
Let i be (10/4)/(2/(-12)). Let q = 18 + i. Let x be (0 - (-26)/(-2))*-1. Solve -4*s + q = -x for s.
4
Suppose -6*w + 4*w = -40. Solve -5*s = -s - w for 