Let c(y) be the second derivative of y4⁄3 - y3⁄6 - y**2⁄2 - y. Let w be c(-1). Suppose 2*u - 12 = -2*u. Solve -u*r + w + 8 = 0 for r.
4
Let s(p) = 6*p**2 + p - 2. Let i be s(2). Let z be i/10 + (-10)/25. Solve z*o + 16 = 6 for o.
-5
Let g(f) = -f + 5. Let d be g(3). Suppose z - 2*r - 1 = 1, -d*z - 2*r + 4 = 0. Suppose -1 = -z*a + 5. Solve 9 = -0*l + a*l for l.
3
Let v(p) = p3 + 8*p2 + 7*p + 3. Let t be v(-7). Solve -b = -t*b for b.
0
Let j(f) = f3 - 2*f2 + 4*f - 3. Let o be j(2). Suppose 0 = -0*b + b - o. Solve -17 + 2 = -b*y for y.
3
Suppose l - 2*l = 0. Let j = l + 3. Suppose -3 = -i - f - 0, 3*i + f = j. Solve i = -4*v + 8 + 4 for v.
3
Let f = 0 + 9. Solve -3*a - f + 0 = 0 for a.
-3
Let v(k) = 3*k - 10. Let j be v(4). Solve z = -j*z - 15 for z.
-5
Let q = 0 - -2. Suppose 4*v = 3*p + 1, -5*p - 2*v = -18 - 15. Suppose 0 = -l + p - q. Solve -l*r - 1 = 8 for r.
-3
Suppose 5 = -w - 5*o - 7, 0 = -5*w - 2*o + 32. Let x = -15 + w. Let u = 10 + x. Solve -u*m + 6 = -3 for m.
3