 - o = -y for y.
-3
Let k(j) = 5*j**3 - 5*j**2 - 7*j - 1. Let f(g) = 6*g**3 - 6*g**2 - 8*g. Let b(p) = 6*f(p) - 7*k(p). Let w be b(0). Let c = w + -4. Solve s = c*s for s.
0
Let n(j) = j**2 - 4*j - 2. Let i be n(5). Suppose -5*x - 20 = -30. Solve -s - i = x*s for s.
-1
Let d be 2/3*(4 + -1). Solve -d*o - 4 = 2*o for o.
-1
Suppose 0 = -2*a + 38 - 8. Suppose -2*l + a = 5*t, 2*l - t - 9 = -4*t. Solve l = 4*z + 5 + 3 for z.
-2
Let a be (-3 - -6) + -2 + 5. Let h be (a/(-1))/2*1. Let c = h - -5. Solve 3*j - 13 = c for j.
5
Let z = 21 - 18. Solve -2 = z*m - 11 for m.
3
Let p(t) be the first derivative of -t**4/12 - 5*t**3/6 + 2*t**2 + 3. Let m(z) be the second derivative of p(z). Let g be m(-4). Solve -2 - 7 = g*d for d.
-3
Let o = 3 + -1. Let u be 3/(3/o)*4. Let w = -208 - -208. Solve w = -u*s + 3*s for s.
0
Let h = 17 + -30. Let x = 13 + h. Solve -5*s + x = 10 for s.
-2
Let p = 17 - 12. Suppose -3*w + d + 7 = -d, 0 = -d + 4. Solve 0 - w = -p*i for i.
1
Let f(q) = q - 1. Let w(t) = -t**3 - 11*t**2 - 10*t + 3. Let a be w(-10). Let v be f(a). Solve 7*y = v*y for y.
0
Suppose u - 1 = 2*j - 5, 10 = -3*u + 5*j. Suppose 3*c + 7 = -4*o + 4, u = 4*o + 5*c + 5. Solve 0 = -3*r - o*r + 9 for r.
3
Suppose -5*q - 8 + 33 = 0. Let r = -10 - -11. Suppose b = -0*b - 1, 0 = -q*y - b - r. Solve y = -2*n - 2 for n.
-1
Let w(s) = 3*s - 15. Let f be w(6). Let q be (1*-2)/(f/(-6)). Solve 0 = q*n - 0*n - 16 for n.
4
Let f(m) = 3*m + 1. Let o be f(1). Suppose -2 = -2*c + o*d - 0, -c - 3*d = -1. Solve -3*s + c = -8 for s.
3
Let q be 0 - 5/(10/(-6)). Suppose 9 = z + 2*z. Solve -z*c + 9 + q = 0 for c.
4
Let v = -4 - -4. Let g be 0 - (0 - v)/3. Solve 0*o - 4*o = g for o.
0
Let v = -7 + 37. Let s = v + -28. Solve 3 = -s*h - 1 for h.
-2
Let o(d) = 3*d**2 + d - 3. Let r be o(-2). Suppose 2*a - 2*l - 6 = r*a, -4*l = 4*a + 12. Solve 2*c = -a*c - 2 for c.
-1
Let m = -15 - -17. Solve -m*k + 2 = 4 for k.
-1
Let b(w) be the third derivative of w**5/60 - 2*w**3/3 - 4*w**2. Let k be b(2). Solve 3*t - t = k for t.
0
Suppose 2*i + 2*i - n = 33, -30 = -4*i - 2*n. Solve -3*v + 7*v = i for v.
2
Suppose u = -3*v - 8, -4*u + 24 = 2*v - 4*v. Suppose -36 = -4*z + u. Solve -4*k = -9*k + z for k.
2
Let y(n) be the third derivative of n**6/120 + n**5/12 - 5*n**4/24 + 2*n**3/3 + 2*n**2. Let l be y(-6). Let h be (-4)/(-16) + l/8. Solve s + h*s = 2 for s.
2
Let u = -80 + 123. Suppose -n - 2*x = 4 + 1, 0 = 5*x + 25. Suppose 4*q = n*o - 38, -4*q - u = -4*o - 5*q. Solve -r - o = -5 for r.
-5
Let t be (-505)/(-25) - (-1)/(-5). Let h be (-3)/(2/(-4)*3). Suppose -3*f + f - 4*a = -8, 2*a = -h*f + 6. Solve f*c = 7*c - t for c.
4
Let n = -51 - -33. Let p = -16 - n. Solve 0 = -p*a + 6 - 2 for a.
2
Suppose s = -0*s + 8. Let w = s + -2. Solve -w = 3*k - k for k.
-3
Suppose 5*l + 69 = -4*y, -3*l - 49 = l - 3*y. Let d(u) = u**2 + 5*u + 9. Let z be d(-7). Let x = l + z. Solve g - x = 3*g for g.
-5
Let b = 63 + -43. Let f be -1 + -1 + (4 - -3). Solve -r = -f*r - b for r.
-5
Let w be 0 - 0 - (-1 + 4). Let r = 5 + w. Solve -z = -2*z + r for z.
2
Let k(s) = s + 1. Let j be k(1). Suppose -4*u + 6 = -j*u. Solve 2*b - u*b = -5 for b.
5
Let d(h) = -h + 5. Let j be d(4). Let u(x) = -3 + 2 + 3*x + 12*x**3 - 2*x**2 - x. Let s be u(j). Solve -31 = -4*y - s for y.
5
Let z(h) = h**2 + h - 5. Let i be z(4). Solve -3*l - i = -8*l for l.
3
Let q(a) = a - 6. Let u be q(8). Solve y - u*y = -5 for y.
5
Suppose 0 = -a - 5, -5*u = -0*u - 5*a - 45. Solve 8 = -u*l - 0*l for l.
-2
Let d = 4 - 4. Let v be d - (2 + -1 - 1). Solve -5*c - 1 - 19 = v for c.
-4
Let a = 4 - 5. Let p be 7 + a + (2 - 4). Suppose p*c + 5*l - 12 = 2*l, 4 = -3*c + l. Solve 5*t - 21 + 1 = c for t.
4
Let y = -13 + 7. Let b be (-9)/y*8/6. Solve -5*i - 12 = -b for i.
-2
Suppose c - 2*c + 13 = f, 3*f = -c + 11. Suppose 0 = -j - 2*q + 3 + 9, 3*j + 3*q = 21. Let t be j/4 - (-21)/c. Solve t*s + s = -9 for s.
-3
Let u = 3 - -7. Let i be ((-8)/10)/((-2)/u). Solve 0 = i*z - 2*z - 8 for z.
4
Let k(h) = h + 9. Let b be k(-5). Solve -p = -0*p - b for p.
4
Let l = 16 - 15. Let v(j) = j + 5. Let h be v(-3). Solve o = h*o - l for o.
1
Suppose 2*c + 1 = -35. Let m be (-3)/c*4*9. Suppose d - m = -d. Solve k - d + 1 = 0 for k.
2
Let k = -14 - -10. Suppose -2*t + 6*g = 2*g - 4, 0 = -5*t - 5*g - 20. Let w = t - k. Solve -w*p = 3*p - 20 for p.
4
Let o(y) = y - 5. Let k be o(5). Suppose 58 = 2*b - 4*v, k = 5*b + v + 2*v - 119. Solve m = 6*m + b for m.
-5
Suppose 0 = 2*f - 4 - 6. Let c = -3 + f. Solve c*n = n - 2 for n.
-2
Let y be (3 + -1)*11 + 2. Let p be 78/y + 1/(-4). Solve 2*c = p*c for c.
0
Let i = 10 + -6. Suppose 2*z - 18 = -i*q - 0*q, 0 = 2*z - 4*q + 6. Solve -j = z*j for j.
0
Let q(h) = h**3 + 8*h**2 - 2*h - 12. Let d be q(-8). Solve d*p - 2*p = -2 for p.
-1
Suppose 23 = 4*t + 2*p + 5, 17 = 3*t - 2*p. Suppose -t*l + 0 = -q + 20, -2*l - 4*q + 14 = 0. Let r = 4 + l. Solve 5*f - r = -11 for f.
-2
Suppose 3*s = 7 + 5. Solve 0 = 5*p - s*p + 3 for p.
-3
Let m(s) = -s**2 - 6*s - 2. Suppose -r + 0 = 4. Let w be m(r). Solve 0 = w*t - t - 5 for t.
1
Suppose 1 - 3 = -k. Solve 5*c = -k - 3 for c.
-1
Let d be 2/5 - (-36)/10. Suppose 0 = -n - 3 + d. Let a = 11 + -8. Solve -a = -2*p + n for p.
2
Let m be ((-3)/2)/(1/(-6)). Let n = m - 6. Solve p = -n*p + 20 for p.
5
Let p(g) = -g + 12. Let d be p(-5). Solve d - 5 = -4*u for u.
-3
Let c(v) = v**3 + 10*v**2 + 4*v - 3. Let d be c(-5). Suppose 0 = 5*k + 2*a - 104, 5*k - d = -a - 0*a. Let l = 9 + -4. Solve 0*p - k = l*p for p.
-4
Let t = 10 - 5. Solve t - 1 = 2*u for u.
2
Let h(p) = -p**3 - 4*p**2 + 2*p - 5. Let r be h(-5). Solve 0*f + 5*f = -r for f.
-2
Suppose 3*x = m + m + 4, -4*x - m + 20 = 0. Suppose c + 3 = 3*y, x*c - 3 = -2*y - 1. Suppose -4*u + 36 = -4*v, c = v + 3 - 1. Solve -3*g - 16 = -u for g.
-3
Let k = -45 - -48. Solve -w = -0*w + k for w.
-3
Suppose -n = -3*k + 16, -5*k + 0*k = -2*n - 26. Suppose -3*d + d + 4 = 0. Solve -k = -4*y + d for y.
2
Let v be (-2)/(-1)*2/4. Suppose 3*j = -15, -s + 2*j - v = 4*j. Solve 3*y + 0 = -s for y.
-3
Let h be (1 - 0) + 1 + 3. Let m be (12/10)/((-6)/(-20)). Suppose -f + h = m. Solve f = q - 0 for q.
1
Suppose -7*s = -2*s. Solve s*n + n = 0 for n.
0
Let q(l) = 2*l - 10. Let b = -1 - -8. Let w be q(b). Solve -x = -w*x for x.
0
Let z = -2 + 3. Let h = 1 + z. Suppose -d + 2*d = 0. Solve -h*s = -d*s + 10 for s.
-5
Suppose -2*u = -1 + 7. Let k be 5/(-1 + 0/u). Let m(n) = -n - 4. Let p be m(k). Solve 3 + p = 2*b for b.
2
Let j be -6*6*(-2)/(-8). Let s = j - -14. Solve 3*f + s + 1 = 0 for f.
-2
Let o(w) = w**2 + 5*w + 2. Let y be o(-5). Let t = 0 + y. Let n be ((-5)/2)/((-1)/t). Solve -n*h + 1 + 19 = 0 for h.
4
Let d be (2/(-3))/((-3)/9). Suppose 2 = 3*i - 2*i. Suppose i*x - 1 - 5 = 0. Solve -x - 5 = -d*p for p.
4
Let l be (0 - 32/(-6)) + (-8)/24. Solve -3 = l*s + 2 for s.
-1
Let c(l) = -l - 1. Let w be c(-1). Suppose 5 = -4*z + h - 0*h, z + 5 = 4*h. Let s be z - (-4 - w) - -1. Solve -2 = 2*q - s*q for q.
1
Let h(i) = -i + 1. Let j be h(-8). Let f(v) = v**2 - 10*v + 9. Let o be f(j). Solve o = -0*w + 3*w + 9 for w.
-3
Let i = 26 + -15. Let c = i - 9. Solve -15 = b + c*b for b.
-5
Let k(o) = -o**2 - o + 4. Let d be k(0). Suppose a = -d*a + 25. Solve 16 = -v + a*v for v.
4
Suppose 3*u - 12 = 5*u - 4*z, 0 = u + z - 3. Solve -2*k - k - 15 = u for k.
-5
Let k = 26 + -23. Suppose -k*v + 2*n + 22 = 4*n, n = -4. Solve 7*t - 2*t = v for t.
2
Let o(b) be the first derivative of -b**3/3 + 2*b**2 + 4*b - 2. Let a be o(5). Let i be a + 8 - (7 + -4). Solve -3*f + 10 = i for f.
2
Suppose 0 = -4*d + d - 12. Let b = -36 + 33. Let g = b - d. Solve 3*a - g = 2 for a.
1
Let h = 38 + -35. Solve c - 4 = h*c for c.
-2
Let b(d) = d**3 + 5 - 3*d**2 + 0*d**3 + d - 8. Let u be b(3). Solve -4*y = -u*y for y.
0
Suppose 2*c - 4*a - a - 33 = 0, -5*c = -5*a - 45. Solve c*o - 12 = -0*o for o.
3
Let r = 3 - -1. Suppose 2*z = f + 13, 27 = 3*z + f - r*f. Solve -z*t - 23 = -3 for t.
-5
Let x(s) = s**2 + 5*s - 2. Let j be x(-5). Let d be 10*j*(-3)/12. Suppose 3*g - 4*g = -3, -o + d*g - 13 = 0. Solve -o*l + 0 - 8 = 0 for l.
-4
Let o = -24 + 16. Let c be (-1 - -6)/((-4)/o). Solve -v + c = -6*v for v.
-2
Let m(s) = s**2 + s - 1. Let k be m(2). Solve 0*y = k*y for y.
0
Let v(c) = c**2 + 4*c + 3. Let k be v(-3). Suppose -j = -k*j - 3. Solve j*d - 3 - 6 =