 (1/s + 1)/(-1). Solve t*q = q - 5 for q.
5
Let k(q) = q + 2. Let a(m) = -2*m - 3. Let n(d) = -6*a(d) - 11*k(d). Let v be n(6). Suppose 4*r + 2*h + h + 6 = 0, -10 = -2*r + 5*h. Solve -v*c = -r*c for c.
0
Let z be -1 - (10/2 - 1). Let f(k) be the third derivative of k**5/60 + 5*k**4/24 + k**2. Let h be f(z). Solve 3*n - 2*n + 2 = h for n.
-2
Let f be (7 + -6)*(8 - -1). Suppose 4*t = 5*h - 3*h + 24, -h - t - 9 = 0. Let y = 14 + h. Solve f*b - y*b = 0 for b.
0
Let x(s) = -s**2 + 11*s + 14. Let k be x(12). Solve 0 = -u + k*u + 4 for u.
-4
Let r(s) = 2*s - 4. Let i be r(7). Let q(f) = f**2 - 7*f + 2. Let k be q(7). Solve k*p + i = -3*p for p.
-2
Let b = 15 + -8. Suppose 4*n = -b*g + 4*g + 16, -3 = 5*n - 2*g. Solve m + 1 = -n for m.
-2
Let s = -111 - -116. Solve -s*m + 3 = 23 for m.
-4
Let j be 4*7 - (-9)/(-3). Solve 0 = o + 4*o + j for o.
-5
Suppose -18 = 3*m - 51. Solve 2*j = -3 + m for j.
4
Suppose 4*k = 14 - 2. Suppose -b - 2*q + 12 = 0, -3*b + 2*q - 8 = -k*q. Solve n = -b*n + 10 for n.
2
Suppose 2*v - 7 = 9. Solve -i - 3*i = v for i.
-2
Suppose 0 = 2*z + 2 - 50. Suppose -4*w + 0*w + 4*l = -z, -5*l = -2*w + 18. Solve 0 = -w*y + 8 for y.
2
Suppose j - q = -4*q - 6, 4*j = -5*q - 45. Let i be ((-20)/j)/((-2)/(-6)). Suppose 0*a = 5*b + 5*a - 30, -i*a = 12. Solve -5*n = -8*n + b for n.
3
Let j = 4 + -3. Let r be (0 + 1)*1*3. Solve 0 = 4*v - r - j for v.
1
Suppose -20 = -2*q - 2*q. Let h = -5 + q. Suppose -o - 4*o = h. Solve 3*u + o*u = -9 for u.
-3
Suppose -18 + 8 = -4*q - 5*f, -2*q + f - 2 = 0. Solve q*g = -g - 5 for g.
-5
Let u be (6/(-9))/(1/(-6)). Suppose -4*w - 7 = -23, 5*h - w = 6. Suppose v - 6*v - 2*i = -40, 3*v - 24 = -h*i. Solve -v*m = -4*m + u for m.
-1
Let t be 2 - (6 + 0 + 2). Let m be (-27)/(-2) - 12/8. Let k = t + m. Solve -4*l - 6 - k = 0 for l.
-3
Let s = 8 - 4. Solve 2*a - s = -0*a for a.
2
Suppose 0 = -6*l + 8*l. Suppose 0 = -3*c - 0*c + m + 5, l = -c - 2*m - 10. Solve 2*r + 9 - 1 = c for r.
-4
Suppose -3*p - 15 = 2*p + 5*y, 5*p - 5*y - 35 = 0. Solve p*m - 3*m = 1 for m.
-1
Let d = 18 + -10. Solve 2*s = d + 2 for s.
5
Let c(g) = g**2 + g - 4. Let f be c(-3). Solve 3*l = -f + 5 for l.
1
Let f(k) = k**2 - 4*k. Let j be f(5). Let o(s) = j - s - 11 - s. Let p be o(-4). Solve 0 = i - 7 + p for i.
5
Let p be 4/(-14) - (-64)/28. Let v(i) = -i**2 - 2*i - 1. Let h be v(-1). Solve h = -3*k - p*k for k.
0
Suppose -n + 2 = -2. Let v = 11 - 5. Suppose -v = -n*q + 2*q. Solve q*d = -d for d.
0
Let j be ((-4)/3)/(6/(-27)). Let a be ((-8)/j)/(2/(-6)). Suppose -a*x + 1 = -11. Solve 4*c = -x - 17 for c.
-5
Suppose 2 = 2*x - 0*x. Solve 0*y = -y - x for y.
-1
Suppose 2*l - 10 = 4*m, -2*l - 2*l + 9 = 3*m. Suppose -l*r + g = -32, -5*r = -g + 3*g - 68. Suppose -r - 8 = -2*d. Solve 0 = 4*y + d - 2 for y.
-2
Suppose f - 5 = -0. Suppose d = 5*i + 5, 0*d + d - 4*i - 4 = 0. Solve q - f = -d for q.
5
Suppose 0 = -10*t + 3*t + 21. Let z(h) = -h**3 + 8*h**2 - 5*h. Let c be z(5). Let s be c/4 - (-3)/(-6). Solve -t*b - b - s = 0 for b.
-3
Let a = 43 - 35. Solve b + b + a = 0 for b.
-4
Let u be 17/7 + ((-9)/21 - 0). Solve 2*t = 6 + u for t.
4
Suppose v - 2 = -2*o + 3*v, -3*o = -5*v - 1. Solve 12 = o*t + t for t.
4
Let a(q) = -q**2 + q + 4. Let v(m) = 2*m - 9. Let s be v(6). Let j be a(s). Let l be 3*(j - (-30)/9). Solve 0 = b + 5 - l for b.
-1
Let a be 0/(0 + 3 + -2). Let q be 4/18 + (-25)/(-9). Solve q*l = -a*l for l.
0
Let u = 9 - 4. Suppose 0 = 4*o + p + 10, -o - u*p = -3*p + 6. Let y(h) = -4*h - 2. Let m be y(o). Solve -m*x = -3*x for x.
0
Let h = 37 - 37. Solve 5*t + 24 - 4 = h for t.
-4
Let o be (30/(-4))/((-6)/8). Let m be (-5)/o - (-11)/2. Suppose -m*q + 8 + 6 = -z, 0 = -3*q + 4*z + 5. Solve -q + 9 = -3*l for l.
-2
Let g be (-3*9)/((-6)/4). Suppose k - g = 2. Suppose 0*i - k = i - 5*o, -3*o + 12 = 3*i. Solve 2*y + y - 3 = i for y.
1
Let g = -10 + 15. Suppose l + g*c - 10 = 0, 0 = 5*l - 6*c + 2*c - 108. Solve -q + 5*q - l = 0 for q.
5
Let b(o) = 6*o**2 - 1. Let s be b(-1). Suppose -3*p + s*p - 6 = 0. Solve p = -5*m - 2 for m.
-1
Suppose -4*k = -4*d - k + 36, -3*d + 5*k = -38. Solve d = 2*v - 0*v for v.
3
Let q = 28 + -20. Let g = q + -8. Solve -5*o - 25 = -g*o for o.
-5
Let z(j) = -j**2 + 5*j + 15. Let u be z(7). Solve 2*o = o + u for o.
1
Let v(x) = x. Let w be (-5 + 4)/((-2)/20). Let j be v(w). Solve 3*m = m + j for m.
5
Let l(x) = 2*x - 1. Let m be l(1). Let i = m - -7. Suppose 12 = -0*o + 4*o. Solve -10 = i*b - o*b for b.
-2
Let d = -40 - -20. Let j be 174/(1 - -2)*(-3)/(-6). Let z = j + d. Solve -3*n + z + 6 = 0 for n.
5
Let s(b) = b**2 + 5*b. Let r be s(-5). Suppose r*h = -h + 3. Solve 0 = -0*u - u - h for u.
-3
Suppose 0 = 4*z - 5 - 23. Suppose 0*g + 5*g - 10 = q, -2*g + z = -q. Solve 3 = f + g for f.
2
Suppose 0 = -3*a + 2*g + 1, -a = 3*g + 7 - 22. Let i = 43 - 20. Solve -i + a = 5*c for c.
-4
Let u(p) = p**3 - 7*p**2 - 7*p - 5. Let c be u(8). Suppose -4*v - 3*i + 10 = 0, i = -3*i + 8. Let m be 0/(v - 0 - 3). Solve -12 = -m*t - c*t for t.
4
Let m(c) = -8*c**3 - 2*c**2 - 2*c - 1. Let j be m(-1). Suppose j*q = 3*q + 8. Solve 0*y + q*y = 0 for y.
0
Let j(y) be the third derivative of y**4/24 + y**3/3 - y**2. Let k(q) = -q**3 + q**2 + 2*q - 1. Let x be k(-2). Let z be j(x). Solve z = -b + 4*b for b.
3
Let c be 2*(-1)/(4 + -6). Let h(l) = l - 11. Let a be h(5). Let g(o) = -o - 4. Let u be g(a). Solve -u*y = 7 - c for y.
-3
Let n(l) = l**2 + 8*l. Let a be 1/(3/(6/2)). Let i(z) = z + 1. Let y(k) = a*n(k) - 2*i(k). Let d be y(-7). Solve 3 - d = p for p.
-2
Let l be ((-2)/5)/((-2)/20). Solve -l*m = -7*m for m.
0
Let d = -6 - -9. Suppose -6*j + 3*j + 6 = 0. Suppose 3*z = -r, z + 2*r + d + j = 0. Solve 2*a - z = a for a.
1
Let h(t) = -2*t**2 - 5*t - 2. Let u be h(-3). Let j be ((-8)/10)/((-1)/u). Let z(q) = -q**2 - 5*q - 4. Let c be z(j). Solve -b + 3*b + 10 = c for b.
-5
Let d(c) be the third derivative of c**6/120 - c**5/10 + c**4/4 - c**3/6 + c**2. Let p be d(4). Let k be (-15)/p*3 + 0. Solve 0 = k*m + 5 for m.
-1
Let s be 9/2*(-2)/(-3). Suppose 0*v - x = -2*v - 31, v + 3*x = -19. Let r = -12 - v. Solve -r*b = -s*b + 5 for b.
-5
Let b(n) = n**3 + 8*n**2 + 6*n + 10. Let s be b(-7). Suppose -2*c - 9 = -s. Solve 12 = -0*l - c*l for l.
-3
Let r = 28 - 23. Solve 2*j = r + 3 for j.
4
Let m be (6/(-8))/(8/(-160)). Solve 3*r + 0 = -m for r.
-5
Suppose 5*p - 24 = 2*p. Let s = p + -6. Solve s*k = -2*k + 20 for k.
5
Suppose -3*k = 4*b - 23, 2*k = 7 + 3. Suppose 0 = -l + b. Suppose 3*z = 7 + 2. Solve l*p - z = 5*p for p.
-1
Suppose 4*l + 2 = 5*l. Let x(m) = m**3 - 4*m**2. Let n be x(4). Suppose -r - r = n. Solve l*q + 10 = -r*q for q.
-5
Suppose -2*o = 3*o. Let d(h) = -h**2 - 4*h + 12. Let m be d(-6). Let f be (1 - 3) + 28/2. Solve -4*w + m + f = o for w.
3
Let l = -2 + 9. Suppose 2*a = 6 + 4. Solve -2 = a*w - l for w.
1
Let n be -2 + 2 + 4/1. Suppose -3*a + 4*a + 3 = 0, n*a = 4*f - 16. Suppose 5*d = -0*d + 20. Solve -f + d = -3*z for z.
-1
Let c = 24 + -21. Suppose -2*y = -0*q - q + 3, 4*y - 19 = -c*q. Solve 0 = -q*o - 3 + 18 for o.
3
Let k be 3 + (1 - 0 - -2). Let v be (2/k)/(3/9). Suppose x = 3*r + 4 + 9, -3*r = -4*x + 25. Solve 0 = h - v - x for h.
5
Suppose -10*v = -6*v - 8. Solve -6 = 4*a + v for a.
-2
Suppose -f + 6 = -3*a, -7*a + 3*a = -3*f + 13. Suppose f*g = 5*s + 5*g + 28, -8 = s + g. Let k be (-6)/10*20/s. Solve x = -7 + k for x.
-4
Let l = -2 + 4. Let r(p) = -7*p**l + 6*p**3 - 2*p**3 + 6 - 3*p**3. Let b be r(7). Solve -b = -3*a + a for a.
3
Let h be -2*(-1 - (-9)/(-6)). Suppose -11 + 1 = -2*m. Solve h*x + 15 = m for x.
-2
Suppose -2*g - 4*g + 48 = 0. Solve 5*t - 17 = g for t.
5
Let n(y) be the first derivative of y**4/4 + y**3/3 - 2. Suppose -j + 5*b + 26 = 0, b + 6 = 2*j - 1. Let h be n(j). Solve s = h*s - 2 for s.
2
Let g = -8 - -15. Let v be ((-4)/10)/(8/(-40)). Solve -v = i - g for i.
5
Let k = 8 + -13. Let p = k - -12. Solve 2*u - p*u + 20 = 0 for u.
4
Let m(b) = -b**2 - 7*b + 8. Let j(p) = 2*p**3 + p**2 - p + 2. Let r be j(-2). Let n be m(r). Solve -3*a - 8 - 1 = n for a.
-3
Let t be (0 - (-1)/4)*(5 + 7). Solve r = -t*r for r.
0
Suppose 12 = 3*h + d - 0*d, 0 = 4*h + 2*d - 14. Solve -h*j = 10 + 5 for j.
-3
Let a = 10 - 8. Suppose 0*g = -a*g - 2*p + 8, g = p. Solve -2 = g*d - 4 for d.
1
Let j be ((-2)/(-6))/(1/15). Suppose j*h - 23 = -0*k + k, -3*k 