Suppose z = 5*c - 30, -c + 5 + 20 = -4*z. Let d(f) = f3 - 5*f2 - f + 5. Let n be d©. Let x be -2*(-1)/2*n. Solve -3*r - 2*r = x for r.
0
Let b be (-1)/(-4) - 11/(-4). Let h(d) = d**2 + 3*d + 2. Let n be h(-2). Suppose n = 3*q - 2*q. Solve q = -v - 4 + b for v.
-1
Let n(s) be the first derivative of -s4⁄4 - s3 - s**2⁄2 - 5*s - 2. Let z be n(-4). Let b = z + -11. Solve 0 = -j + b*j + 15 for j.
-5
Let w(o) be the first derivative of -o4⁄4 - 3*o3 - 5*o**2 - 11*o + 1. Let d be w(-8). Solve -4*j = -d*j + 1 for j.
1
Let l(o) = o - 2. Let c be l(3). Let s = 178 + -174. Solve c - 9 = -s*v for v.
2
Suppose 0 = -0*f + 4*f - j - 44, -11 = -f + 2*j. Let m = -9 + f. Let k be m/(-3) - (-2)/3. Solve 2*c + 6 = -k*c for c.
-3
Let k = 12 + 0. Solve -4*n = -n + k for n.
-4
Suppose -w - 12 = -3*k, 0 = 3*w - 3*k + 12 - 0. Suppose -g + d = -11, w = 5*g + d - 37 + 12. Suppose -l - 2*l + g = 0. Solve 3*s = -l*s for s.
0
Suppose 0 = -v + 4*x - 39, -5*x + 4*x + 138 = -5*v. Let c = -27 - v. Solve c = -0*g + 2*g for g.
0
Let t(u) be the second derivative of u3⁄6 - 9*u2⁄2 + 2*u. Let m be t(13). Suppose 2*f + 1 = -a, 3*a = -f + m*a + 7. Solve -f*l = -l - 1 for l.
1