 + 11*w**3/6 - 2*w**2. Let l be a(9). Suppose -3 - 1 = -l*m. Solve -5*d + m = 17 for d.
-3
Let z = 1 - -11. Solve 2*f = -f + z for f.
4
Let n = 39 - 39. Solve 2*x + 2*x - 16 = n for x.
4
Suppose 3*n = n + 10, 5*a - 2*n = 0. Solve 2*o + 8 = -a*o for o.
-2
Let s = -141 - -149. Solve -6*a + 2*a = s for a.
-2
Suppose 0 = 2*l + 3*l - 10. Let g = 6 + -4. Suppose -3*i + 8 = -2*s, l*i = -0*s - g*s - 8. Solve -4*t + 0*t - 8 = i for t.
-2
Let g = 70 - 67. Solve -w - g*w = 8 for w.
-2
Suppose 4*q + 31 = -j, -3*q + 8*q = -4*j - 80. Let b be (-55)/j + (-2)/3. Suppose -5*c = -b*c. Solve c*r + 3*r = 12 for r.
4
Let u be (2/(-6))/(2/(-12)). Suppose -u = -y + 11. Suppose 3*v - 3 = -0*v. Solve -4*n - v = -y for n.
3
Suppose 0*v + 5*v = -4*a + 14, 0 = -5*v - 3*a + 13. Suppose -12 = -5*f + 13. Suppose 48 = 5*s - 3*j, 0*j - 5 = f*j. Solve -r = v*r - s for r.
3
Let b be 3/3*0/(-6). Solve b = -4*v - 3 + 23 for v.
5
Let m(q) = q**2 + 4*q - 2. Let u be 7/(21/72)*1. Suppose c + u = -3*c. Let r be m(c). Solve r = 4*x + x for x.
2
Let h(b) be the third derivative of b**6/120 - b**5/10 - b**4/24 + b**3 - 2*b**2. Let n be h(6). Solve -3*c - 1 - 2 = n for c.
-1
Let z = -4 - -4. Let s = z - -1. Let d = 6 - s. Solve 0 = -d*v + 4*v for v.
0
Let k = 7 + 14. Suppose k - 8 = a. Solve -5*j - a + 3 = 0 for j.
-2
Suppose 0 = 3*u - 12 + 9. Suppose n - 1 - u = 0. Solve -n*r = r for r.
0
Let v = 18 + -13. Suppose v*i + 9 = -0*d + 4*d, 3*d - 5*i = 8. Solve -r = -d - 2 for r.
3
Let j be ((-4)/1 - -4)/(-3). Solve j = -m + 3 + 2 for m.
5
Suppose -9 + 5 = 4*p. Let k be -6*(-2)/(-6)*p. Solve -l = l - k for l.
1
Let n(s) = -3*s**3 - 4*s**2 + s + 3*s + 3*s**3 + s**3. Let q be n(3). Solve q*d = 5*d for d.
0
Suppose k = -4*q - 11 - 7, -4*k + 4*q = -28. Solve 0 = -2*w + k for w.
1
Let o(u) = -u**3 + u**2 + 5*u - 2. Let x be o(3). Let h = x + 8. Solve 2*r = h*r for r.
0
Let l(a) = a**2 + 8*a - 9. Let m be l(-9). Let c be m*(2 + 21/(-9)). Solve 5*d - 5 + c = 0 for d.
1
Suppose 5*p = -4*f, -f + 4*p = 2*f. Solve 4*z + 1 + 15 = f for z.
-4
Let t be -1 - (-1 - (-1 + 1)). Let n = 3 + -5. Let v be (-1 - t)*(n - 1). Solve v*l - 4 = 11 for l.
5
Let a(f) = -f - 4. Let x be a(-7). Suppose 3*q + 2*q + 6 = -x*l, 10 = 3*q - 5*l. Solve -2*j - 3*j - 25 = q for j.
-5
Let g(l) = -l**2 - 8*l - 4. Let t(p) = 2*p**2 + 16*p + 7. Let q(s) = -5*g(s) - 3*t(s). Let w be q(-7). Solve 3*d - w*d + 3 = 0 for d.
1
Suppose 0 = -4*x + 14 - 2. Solve -4 = -x*y + 11 for y.
5
Let w = 2 - -2. Suppose 0 = u - p + 2, 4*p + 16 = 8*p. Solve -w*a = -u*a for a.
0
Suppose 0 = -4*p - 2*m - 8, -2*p = -6*p + 2*m + 8. Solve -2*b = -p*b for b.
0
Let b = 66 - 64. Solve -8 = b*r - 0*r for r.
-4
Let a(p) = p + 7. Let x be a(-5). Suppose x*n = 5*n + 3*i - 21, -2*n - 4*i = -24. Suppose 5*s = -n*o, 5*o - 2*s - 21 = -4*s. Solve -2*w + o = 3*w for w.
1
Suppose 3 = 2*q - q. Suppose -2*c - q*f + 6*f = 0, 2*f + 11 = 5*c. Solve c*m - 4 - 5 = 0 for m.
3
Let i(l) = l + 2. Let c(o) = o + 3. Let a(u) = -3*c(u) + 4*i(u). Let v be a(4). Solve -12 - 3 = -v*x for x.
5
Let n(j) = j**2 + 6*j + 1. Let x be n(-5). Let u = x + 8. Solve a + u = -a for a.
-2
Suppose -7 = 10*i - 47. Solve -i*p + 4 = -4 for p.
2
Let x(y) = y - 1. Let s be x(6). Suppose 3*a - 5*j = 15, -3*j - 6 = s*a - j. Solve -n + 0*n = a for n.
0
Let f be 4/20 + (-4)/(-5). Solve -3*d + f = -2*d for d.
1
Suppose -2*c + 6*c - 80 = 0. Let y be ((-30)/(-25))/(6/c). Solve y*z + 19 = 3 for z.
-4
Let g be (-80)/140 + (-50)/(-14). Solve -g + 13 = 5*q for q.
2
Let z be 3/(3/2) + 8. Suppose 3*b - 5*b + z = -w, 5*b = -2*w + 7. Solve 0*t - b*t = 9 for t.
-3
Let m be (1 + -1)/((-7)/(-7)). Suppose 4*a = -0*a. Solve 2*x + a + 2 = m for x.
-1
Suppose 2*q + 16 = 8. Let o(d) = d + 9. Let p be o(q). Solve 2*t - p - 3 = 0 for t.
4
Let u(v) = -2*v - 16. Let t be u(-12). Solve -a + 3*a = t for a.
4
Let n = -2 + 3. Let d = n + 0. Suppose 5*r - 17 = -4*k, -6*k + 13 = -2*k + r. Solve -k*q - d = -2*q for q.
-1
Let k be (-2)/(-5) + (-6)/(-10). Solve 3*i + 13 = k for i.
-4
Let p(d) = -3*d. Let y be p(-3). Suppose 0*r - y = -3*r, -3*c = r - 12. Solve -g - c + 2 = 0 for g.
-1
Suppose 5*a + 4 - 2 = m, 2 = 5*a + m. Let p = 3 + a. Solve -p*d + d = 8 for d.
-4
Let g be 2/(0 - 2)*(0 + -1). Solve -g + 6 = -q for q.
-5
Suppose 30*m = 29*m - 1. Let h be (-4)/8*(1 + m). Let f = 11 + -2. Solve h*q + f = 3*q for q.
3
Let q = -15 + 26. Let o(a) = -a**2 + 12*a - 7. Let n be o(q). Solve n = 2*c - 3*c for c.
-4
Let r(h) = 0*h**2 - 2*h**2 + h**3 - 4*h**2 + 3*h - 5 + 3*h. Let f(t) = t**2 + t - 1. Let x be f(-3). Let i be r(x). Solve -2*c - 10 = -i*c for c.
-5
Suppose w = 4*w - 27. Suppose 0 = 3*k - k + 4*x, k - 3*x - 5 = 0. Solve -w + 1 = -k*d for d.
4
Let x be (-2)/(-6)*-2*-12. Suppose 3*d + 15 = x*d. Solve d*s = -12 - 0 for s.
-4
Suppose -2*y + 5*p - 10 = 0, -2*y - p = y - 19. Let g = y - 3. Suppose 0 = -g*j + 5*j. Solve 3*s = -j*s + 15 for s.
5
Let i = -99 + 101. Solve 25 = -7*y + i*y for y.
-5
Let w(o) = o**3 + 8*o**2 + 7*o + 15. Let z be w(-7). Solve -3*j + 0 = -z for j.
5
Let f(v) = -v. Let z be f(-6). Solve -g + z = -3*g for g.
-3
Let q(v) = -v**3 - 4*v**2 - v - 2. Let n be q(-2). Let d(k) = -k**3 - 7*k**2 + 9*k + 12. Let b be d(n). Let a be -1 - -3 - (-4)/b. Solve 5*p - a = -8 for p.
-1
Suppose -2*g + 14 = n + 2*n, 2*n + 2*g - 12 = 0. Solve 5*u + 3 = n*u for u.
-1
Let h = 6 - -15. Let q = h - 10. Solve 5*m + q = -4 for m.
-3
Let m be (1 - 0)*(5 + -1). Solve -g = m*g + 10 for g.
-2
Let w(u) = 5*u**2 - 2*u + 1. Suppose 0*x + 3*x - 15 = 0. Let h = -4 + x. Let d be w(h). Solve d*j - 12 = -0*j for j.
3
Suppose -5*d - 4*l - 76 = 0, -d + l + 0 = 17. Let c be (d/(-40))/(1/5). Solve w - c*w = 5 for w.
-5
Let h be 1 + 1 - -8*1. Suppose -h = 3*u + 44. Let l = u - -25. Solve l*i - 2*i = 25 for i.
5
Suppose 5*n + 2 = -2*z, z - 3*z = 4*n + 2. Solve n = f - 0*f + 5 for f.
-5
Let q be (8/6)/((-2)/6). Let n = q + 7. Suppose 0 = n*b - b - 4. Solve -k = -b + 1 for k.
1
Let m = -56 - -59. Let t(n) = n**2 - 2. Let l be t(0). Let w be 0*l*2/(-8). Solve -m*k = -w*k - 12 for k.
4
Suppose -6 = 2*l - 2. Let q be 5/(l/4*-1). Solve q = d + d for d.
5
Suppose -2*j = -5*l - 0*j - 4, -4*l + 4 = 2*j. Solve l = -p + 5*p + 12 for p.
-3
Let v = 23 - 23. Solve v = f - 6 + 4 for f.
2
Let h = 2 - 0. Suppose 2*q - 2*k = k - 6, -k = -h. Solve q = r + 2 for r.
-2
Let r be (-3)/18 - (-1)/6. Solve r = 5*f - 4 - 6 for f.
2
Suppose o = 2*o. Let n = 1 + o. Solve j - n = -0 for j.
1
Suppose -z + 3*s + 0 = -17, 5*z + 10 = -4*s. Suppose 4*d + 2*c - z = -c, 3*d - 2*c = 10. Suppose -2 = -d*a + 4. Solve -15 = -a*r - 3 for r.
4
Suppose 24 = -4*g + g. Let r(h) = -h**2 - 9*h - 3. Let c be r(g). Solve c*v - 4 - 6 = 0 for v.
2
Let x = 14 + -14. Solve 3*b - 1 - 8 = x for b.
3
Let j = -31 - -21. Let c be (-38)/(-10) - 2/j. Suppose 0*y = -y + 5*o - 19, 4*y = 5*o - 16. Solve c*g - 5*g = y for g.
-1
Let t(z) = z**2 - 3*z - 4. Let q be t(5). Suppose -5*i = -2*h + 10, -i - q = 3*h + 2*i. Solve h = -5*w - 0 + 20 for w.
4
Suppose -4*m - 2 = 5*l + 3, 4*m + 3 = -3*l. Solve m = -4*z + 5*z + 4 for z.
-4
Let r(q) = 5*q**2 - q - 1. Let f be r(-1). Suppose 5*j = -5*v + 20 + 25, -v + f*j - 15 = 0. Suppose -k - 3 = -v. Solve -k = y + y for y.
-1
Suppose -u + 20 = 4*u - 3*d, 24 = 4*u - 4*d. Solve 2*r = 1 + u for r.
1
Let v = -3 + 15. Solve 3*u = -v + 3 for u.
-3
Let i be (-8 + 8)/(-1 + 3). Solve i = -4*q + 1 + 15 for q.
4
Let m be 1 - (-2 - -1) - 2. Suppose 0 = -m*u + u - 21. Suppose 3 = -a, 2*g - 6 = a + u. Solve 0 = s - 4*s - g for s.
-4
Let k = 136 + -135. Solve -j + 0 - k = 0 for j.
-1
Suppose 4*g + 2 = 2*m + 6, 5*m - 2 = 4*g. Suppose i - 7 = -m*a, -3*a + 6 = 2*i - 3. Suppose -v - c = -7, -5*v = -0*v - a*c + 15. Solve 0 = 4*j - v*j + 6 for j.
-3
Let m = 1 - -1. Let n be 18/4 - 1/m. Suppose 0 = -n*y - 4, -4*y - 6 = -2*l + l. Solve v = l*v - 3 for v.
3
Let p(s) = -s + 6. Let a be p(-5). Solve a = -3*n - 1 for n.
-4
Suppose -2*j + 13 = 5*v, 2*v + 19 = 5*j + v. Suppose -n - 1 = -j. Suppose -i - 3 = -n*f + 4, 3*i + 2*f - 12 = 0. Solve 3*a + i*a + 10 = 0 for a.
-2
Let w = 13 - 13. Let j be (0/(-8))/(1 + 1). Solve w = -2*z - j*z + 4 for z.
2
Let a = -17 + 22. Let o be 18/3 - (-2 - -1). Solve a*k - o = -22 for k.
-3
Suppose -3*b + 4*b - 10 = 0. Solve -9*v + b*v = 0 for v.
0
Let d be (3/(-2) + 2)*0. Solve 0 = -d*f - 4*