Let x = -3 + 16. Suppose w = -4*t - 0*t - x, 0 = t - 3*w - 13. Let a be (-4)/((-4 - t)*1). Solve a*b = -b for b.
0
Suppose 0*j = j. Suppose -4*p = d - 8, -2*p = 3*p + d - 9. Let b be (-1 - -1)/(p - 2). Solve j = -b*f - f - 3 for f.
-3
Suppose -2*t + 2 = 4*q, t = -t + 5*q + 11. Suppose 4*h = 2*b, t*b = h + 2*h. Solve 0 = 5*d - h*d - 15 for d.
3
Suppose 5*h = -15, -4*g + 2*h - 23 = 7*h. Let v be ((-5)/(-2) - 3)*g. Suppose 0 = 3*n - 2*u - 2, -12 = -4*n - 3*u + 2. Solve v + n = -r for r.
-3
Let c(v) = v3 - 11*v2 + 9*v + 10. Let i be c(10). Suppose -2*b + b + 3 = i. Suppose 0 = -0*t - t. Solve t + b = -d for d.
-3
Let i(w) = -w**2 - 8*w - 1. Let z be i(-5). Let k = 16 - z. Solve 11 = k*p + 1 for p.
5
Let w(h) be the third derivative of -h6⁄120 + h5⁄12 + h3⁄3 - 3*h2. Let b be w(5). Suppose b*q - 2 = q. Solve -5*m + 4*m - q = 0 for m.
-2
Let l = -10 - -18. Let k(y) = y**2 - 5*y - 2. Let j be k(6). Solve -j*p = -0 + l for p.
-2
Let l = -13 + 17. Solve 17 = l*c - 3 for c.
5
Let v® = r3 - r2 + r + 2. Let c be v(2). Solve 5*a - 2 = c for a.
2