Let o(w) = -w3 - 6*w2 - w + 5. Let m be o(-5). Let n = -11 - m. Solve -n*v + 20 = v for v.
4
Let m(x) = x + 4. Let b be m(-10). Let o be (-16)/b + 4/(-6). Solve 0 = -o*s - 4 + 12 for s.
4
Let b = -29 + 29. Solve b = 2*s - 7*s + 5 for s.
1
Let w = -12 + 24. Let m = -11 + w. Suppose 3*d - 11 = -2. Solve -2*i - m = -d for i.
1
Suppose 2*n + 13 + 9 = 0. Let j = 15 + n. Solve 3*r = 2*r - j for r.
-4
Let m be 18⁄15*5⁄2. Suppose 7 = -4*u - 5*n, 5*n + 25 = 4*u + u. Solve m*w - u*w = -5 for w.
-5
Suppose 8 = -t - t. Let j = t - -5. Solve -2*r - j - 3 = 0 for r.
-2
Suppose -o - o = -6. Suppose 5 + 10 = o*w. Suppose 0*h - w*h + 60 = 0. Solve -2*b - h = 2*b for b.
-3
Let r(b) be the first derivative of -b**2⁄2 - 4*b + 1. Let k be r(-4). Solve 3*l - 12 - 3 = k for l.
5
Let l(y) = y3 - 9*y2 - 6*y - 4. Let k(j) = -j3 + 8*j2 + 5*j + 3. Let h(m) = 5*k(m) + 4*l(m). Let b = 8 - 4. Let t be h(b). Solve -t*i = -0*i for i.
0