Let k(y) = y3 - 7*y2 - 7*y. Let b be k(8). Solve -5*v + b = -2 for v.
2
Let j be -1 + (-21)/(-4) + (-8)/32. Solve -4 = j*v + 4 for v.
-2
Let z = 8 + -3. Suppose 3*s - 18 = -3*j, -38 = -5*s + z*j + 12. Let q = 11 - s. Solve -q*u + 3 = -6 for u.
3
Let z(y) be the second derivative of y**5⁄20 + 4*y. Let x be z(0). Solve 0 = -x*b - b + 2 for b.
2
Suppose -2 - 3 = -o. Suppose -o = 6*g - g. Let l be (1 - g)*1⁄2. Solve -l = -2*n + 3 for n.
2
Let s be 2 - ((-3 - -1) + 2). Suppose -5*k = -s*w - 17, -4*k = w + w - 28. Solve 0 = -2*d - 1 - k for d.
-3
Suppose -48*c + 8 = -47*c. Solve -4*p - c = -2*p for p.
-4
Suppose 0 = 3*v - 5*h - 7, -2*v = -6*v + 4*h + 20. Suppose -3 + v = 2*m. Suppose -15 = -m*x + 3. Solve -2*d + 4*d = x for d.
3
Let p be (6/(-4)*2)/(-1). Solve 0*m + p = -3*m for m.
-1
Let n = 1 - 1. Suppose -r = -2 - 3. Suppose 3*v + 13 = 8*v + 2*o, n = -r*v + 5*o + 20. Solve -2 = -v*b + 1 for b.
1