= -5*s - 8. Solve -1 + s = w for w.
4
Let z = 61 - 33. Let k = z + -3. Solve 0*u + k = -5*u for u.
-5
Suppose -2*h + 2 = -2. Suppose -2*c = -5*n - 1, -2*n + 4*c = h*c + 4. Solve i + 0 = n for i.
1
Let t = 36 + -24. Suppose 0 = -n + 4*n - t. Suppose -n*r + 15 = r. Solve 7*m = r*m - 8 for m.
-2
Let z(t) be the third derivative of -t**6/120 + 7*t**5/60 - t**4/4 - 5*t**2. Let h be z(6). Solve h = s - 5*s for s.
0
Let f(x) = 4*x**2 + x. Let n be f(1). Let w(m) = 3*m - 3. Let d be w(3). Solve -n = 5*y - d*y for y.
5
Let w be ((-2)/10)/(1/(-5)). Let s(f) = 3*f - 1. Let d be s(w). Solve 0 = 7*o - d*o + 10 for o.
-2
Let c(d) = 1 + 2*d - 1. Let p be c(-2). Let w(y) = y**3 + 3*y**2 - 4*y + 4. Let j be w(p). Solve -5*r = 11 + j for r.
-3
Let o(y) = 17*y**3 - y**2. Let h = 1 + 0. Let g be o(h). Suppose 0 = -3*j + g - 1. Solve -j*z + 5 = -10 for z.
3
Suppose -v + 0*v + 5 = 0. Suppose 4*w = -h + 9, -h = -0*w - v*w + 18. Solve 4 = -w*r - 2 for r.
-2
Suppose 9*p = 11*p. Solve 1 + p = v for v.
1
Let m(t) = 2*t - 11. Let l be m(8). Let h = -25 - -45. Suppose 0 = -4*a + 7*a. Solve a*k + l*k = -h for k.
-4
Let l(f) = f**2 - 6*f + 2. Let j be l(7). Suppose -3*c + 0*c + 12 = 0, 0 = -2*z - 3*c + 16. Let t = z + -2. Solve t*i + j = 3*i for i.
3
Let i = -2 - 6. Let d(h) = -h**3 - 8*h**2 + 2. Let o be d(i). Solve q = -o*q + 12 for q.
4
Let m be (-2 - (-1 - -2))/((-75)/100). Solve 0 = m*c + 3 - 11 for c.
2
Let i(o) = 3*o**2 - o + 9. Let g(x) = 2*x**2 - 2*x + 8. Let q(n) = -5*g(n) + 4*i(n). Let l be q(-5). Solve -m = 3*m + l for m.
-4
Let y = -8 - -6. Let t be 1/(y/(-3))*8. Suppose -2*h + 5 + 1 = 0. Solve 0 = h*v + v + t for v.
-3
Let k = -14 + 26. Solve 3*p - k = 6*p for p.
-4
Let z(n) be the first derivative of -n**3/3 + 4*n**2 - 2*n - 4. Let m be z(7). Solve m*f = 4*f for f.
0
Suppose 5*j = -2*v - 44, -5*v + v = 3*j + 60. Let x(i) = i**2 + 10*i - 16. Let u be x(v). Let m(r) = r - 2. Let y be m(2). Solve u = 2*n - y for n.
4
Let x(y) = -y**2 - 8*y - 7. Let u be 2/12 - (-258)/(-36). Let q be x(u). Solve d + d + 10 = q for d.
-5
Let j be (-50)/(-3) + 8/(-12). Let p be (j - 11)/((-1)/(-1)). Solve 0 = 2*f - p*f - 9 for f.
-3
Let x be (-6)/8 + 6/8. Suppose x*j + 5*j + 15 = 2*o, -4*o - 12 = 4*j. Suppose 3*t = m + 5, m = 4*m - t - 1. Solve a + m = -o for a.
-1
Let l(j) = -j. Let n(u) = -7*u - 4. Let o = 9 - 3. Let f(w) = o*l(w) - n(w). Let r be f(-4). Solve g = -r*g - 5 for g.
-5
Suppose 15 = -0*x + 3*x. Suppose 0 = -5*b + 5*v - 20, x*v = -0*b - 3*b + 20. Solve c - 1 = -b*c for c.
1
Suppose 0 = -3*b - b + 8. Suppose -1 - 7 = -b*i. Suppose i*p = -v - 2*v + 21, 5*p - 2*v - 9 = 0. Solve -p = 2*s - 3*s for s.
3
Let p be (-10)/(-20)*(2 - 2). Solve p = -2*a + a + 2 for a.
2
Let o be (6/(-7))/((-33)/154). Solve -3*s = -o*s + 3 for s.
3
Let h = -65 - -65. Solve h = 3*o - 0*o for o.
0
Let k(m) = m**2 + 5*m - 3. Let h be k(-8). Let w = -12 + h. Solve w = -2*z + 3 for z.
-3
Let p(t) = -t**3 - 4*t**2 - 3*t. Let g be p(-3). Suppose g = -0*z + z. Solve -3*i = 3 - z for i.
-1
Let r(h) = h**3 + 4*h**2 - 8*h - 15. Let g be r(-5). Solve -5*w - 5 = -g*w for w.
-1
Let x(l) = l**2 + 6*l - 10. Let o be x(-7). Let k = o - -3. Let h be 4 - (1 + k)*0. Solve 0*i = -h*i - 20 for i.
-5
Let i(v) = -v - 4. Let z be i(-6). Let p = z - 0. Suppose m = -p*m. Solve 2*b + 6 + 4 = m for b.
-5
Let w(v) = -v**3 - v**2 + 2. Let h be w(-2). Solve h = -4*t + 14 for t.
2
Let r(h) = h**3 + 7*h**2 - 2*h + 3. Let t be r(-7). Let d = t + -6. Solve 0 = 4*i - 1 - d for i.
3
Let z(w) = 2*w + 4*w**3 + 1 + w**3 - 2*w - w. Let l be z(1). Solve -l*d = -d - 12 for d.
3
Let i be (-3)/((-12)/1) + 1/(-4). Solve 4*s + s + 5 = i for s.
-1
Suppose -5*a + 11 = 2*r, 0 = r + r - 2*a - 18. Solve 0 = 2*s + 2*s - r for s.
2
Suppose 2*c = 5*f + 11, 4*c = c - 2*f + 7. Suppose -h + c = -1. Solve -3*x - x - h = 0 for x.
-1
Let u(m) = -17*m - 1. Let n be u(-1). Let q be 4/(-10) - (-6)/15. Solve q = -4*b + n for b.
4
Let v = 39 - 36. Solve -t = -v*t + 2 for t.
1
Let x = 0 - -4. Suppose -2*r + 2*n + 4 = 3*r, n = -r + 5. Solve r + 10 = x*y for y.
3
Suppose 4*z - 5 = 7. Suppose 3*r - 122 = -2*r + 2*s, -r + 27 = -z*s. Suppose 2*j = 6*j - r. Solve -2*c = -0*c + j for c.
-3
Suppose -4*r + 2*m = 6, m + 1 = 4*r + 2. Let d = r - 1. Suppose d*x - 14 = -2*g - 2*x, 3*g = 5*x - 19. Solve -g*p = -p for p.
0
Let c be 3 - (-3)/((-9)/(-6)). Solve 0 = s - c + 4 for s.
1
Let s = 1 - 4. Let m be (1 - 0 - 0) + -2. Let u = m - s. Solve 0 = o + u - 6 for o.
4
Let w be (-5)/(5/(-3)) + 2. Let q(f) = f**3 - 5*f**2 - f + 7. Let m be q(w). Solve -j = m - 0 for j.
-2
Suppose -4*t - u = -8, -5*t + 2*t - 3*u = 3. Suppose 3*v - 4*v = 2*r - 15, 0 = t*v - 15. Solve r*i + 1 = -4 for i.
-1
Let f = 170 - 170. Solve f = 3*x - 0*x for x.
0
Let x = 2 - -1. Let v = x + 0. Solve v*m = 2*m - 5 for m.
-5
Let y(g) = -g**2 - g + 3. Let z be y(-2). Solve -z - 7 = -4*i for i.
2
Let k(c) = -c + 8. Let t be k(5). Solve -s = -0*s - t for s.
3
Suppose 16 = -5*b - 4, b = -2*c + 2. Suppose 17 = -c*s + 32. Solve 0 = -s*f + f for f.
0
Let o(u) = -u**2 + 11*u - 11. Let n(d) = d**3 + 5*d**2 + d - 3. Let f be n(-4). Let y be o(f). Suppose -2*b = -y*b + 5, -5*l - b = -11. Solve l = -x + 1 for x.
-1
Let c be ((-22)/4 - -1)*(-32)/48. Solve 0 = c*u - u - 6 for u.
3
Suppose o - 3 = 3*r, 54 = 4*o - r - 2. Solve o = c + 2*c for c.
5
Let r be 3/(-6) + (-3)/6. Let x = 5 + r. Let c = -3 + x. Solve c = -5*p - 9 for p.
-2
Let c(m) = m + 4. Let p be c(0). Suppose 3*t - t - p*u + 16 = 0, 2*t - 20 = -5*u. Let y = -7 + 10. Solve t*r + 6 = -y*r for r.
-2
Let k be -10*3/12*-2. Let a(u) = -u**2 + 6*u + 7. Let q be a(k). Solve 0*w + q = -3*w for w.
-4
Suppose -3*g = 3*t - 7*t - 7, 4*g = -2*t + 24. Suppose 0*y = 2*y. Solve y = -t*j - 4 - 2 for j.
-3
Let w(i) = -i**3 - 8*i**2 + 22*i + 27. Let a be w(-10). Suppose 3*n - 2 = -17, -2*n - 20 = -2*z. Solve -3*t = -z - a for t.
4
Let f be 0 - -2 - (-1)/1. Let n = f - 3. Suppose n*j - 9 = -3*j. Solve 2*z + j*z = -25 for z.
-5
Let j = -41 + 66. Suppose -8*u + j = -3*u. Solve 11 + 9 = u*r for r.
4
Suppose -v + 29 - 7 = -4*j, 0 = 2*v + 3*j. Let y = v - 0. Suppose -5*f = -6 - 19. Solve y = f*i - 3*i for i.
3
Suppose -1 + 3 = q. Solve q*k + 8 = -0*k for k.
-4
Let g be (-4)/(-12) + 28/6. Solve 5 = -g*z - 10 for z.
-3
Let f be 3 + (-2 - 1) - -29. Solve 4 = 5*p + f for p.
-5
Let u(h) = -h**3 - 5*h**2 + 6*h + 1. Let p be u(-6). Let y = -20 + 30. Let z be (1/1)/(p/y). Solve -2*o + z - 2 = 0 for o.
4
Let r(q) = -q**3 + 8*q**2 - 7. Let p be r(8). Let i = -4 - p. Solve -4 = o + i*o for o.
-1
Let x = 15 - 6. Let b be 1*(x/3 - -2). Solve 4*d - 3*d = -b for d.
-5
Let x(u) = u**2 - 10*u + 9. Let w be x(9). Let m = 5 - 5. Solve -2*d + m*d - 4 = w for d.
-2
Let p be ((-12)/(-7))/(8/28). Solve -12 = p*g - 2*g for g.
-3
Let j(y) = 4*y**3 + 2*y**2 - y. Let w be j(1). Suppose -o - 5 = 0, 3*o + 23 = 3*d - o. Let x = 6 - d. Solve -w*v = -0 + x for v.
-1
Let c = -29 - -29. Solve 0*o - 3*o + 15 = c for o.
5
Suppose -3*a - 3*t = -36, -17 = -5*t + 8. Solve 4*b = a - 3 for b.
1
Suppose 2*j - 7 = o, -3*j + 5 + 6 = -o. Suppose -2 = j*b - 14. Solve b = 4*a - 1 for a.
1
Let y = 13 - 10. Let x be 323/(-13) - 2/13. Let r = x - -41. Solve o - r = -y*o for o.
4
Suppose 2*p + p = 5*t + 13, 5*p + 5*t = 35. Let o = p - 4. Solve -o + 6 = -2*j for j.
-2
Let g be (2 - 4) + 1/(-1). Let r = 7 + g. Suppose 3*t - 36 = -2*c, -3*t - 4*c - r = -46. Solve 5*s = -0 + t for s.
2
Let k be (-3)/(4/(-8)*-3). Let p(f) = f - 1. Let y(b) = -2*b**2 + b - 6. Let o(j) = 4*p(j) - y(j). Let c be o(k). Solve -c*g - 4 = -2*g for g.
-2
Let z be (-2 + 2)/(-2)*-1. Suppose -2*u + 6 = z, 3*n = -0*n + 2*u + 9. Let f = n - 3. Solve 0 = 2*w + 4 + f for w.
-3
Let u be -3*(-1 - (4 + -3)). Let q = -3 + u. Solve q*s = s + 8 for s.
4
Let r(l) = 6*l - 15 + 6*l - 3*l. Let z(g) = 5*g - 8. Let a(d) = 4*r(d) - 7*z(d). Let f be a(8). Solve 0*p = f*p - 20 for p.
5
Suppose -24 = z + 5*z. Let b = 3 - 3. Let j = b - z. Solve 0 = j*g - 8 + 4 for g.
1
Let b(x) = 2*x**3 + x**2 - 1. Let m be b(1). Let z be ((-8)/6)/(m/(-12)). Suppose -68 + z = -5*n. Solve -3*y + 7*y - n = 0 for y.
3
Let y be 0/((1 - 2)/(-1)). Solve -3 = -3*p - y*p for p.
1
Let g(a) = -a**2 + 7*a - 4. Let l be g(6). Let x = 14 + -11. Solve -1 = x*j + l for j.
-1
Suppose 9 = 7*n - 19. Solve 4*t = -n - 4 for