Let s(v) be the first derivative of -v3⁄3 - 5*v2⁄2 - 5. Let d be s(-4). Solve -d*a = -a + 3 for a.
-1
Let h(s) be the second derivative of -s5⁄20 + 2*s4⁄3 + s3⁄2 - 6*s2 + 4*s. Let q be h(8). Solve 0 = -d + 4*d + q for d.
-4
Let m = 5 + -2. Suppose 0 = 2*w - 1 - m. Suppose -3*z = -3*b + 27, 3*z + 1 = 2*b - 16. Solve -w*l = -7*l + b for l.
2
Let w be (1/(-2))/((-5)/20). Suppose -32 = 3*g - 7*g - 4*h, 3*h = w*g - 1. Suppose -5*n + g = -5. Solve n*t + 0 = 4 for t.
2
Let g = 6 - 2. Solve 13 + 7 = g*r for r.
5
Let h(u) = u**2 - 11*u + 2. Let w be h(9). Let x = w + 16. Solve 4*m - 3*m + 2 = x for m.
-2
Let s be (-7)/(-2) - 3/(-6). Suppose -s*r + 2 = -2. Solve 4*q + 3 = -r for q.
-1
Suppose q - 4*r + 14 = 0, 3*q + 6 = 3*r - 0. Suppose 0 = q*g - g. Solve g = -4*k - 0 + 4 for k.
1
Let m(w) = 2*w**2 - 8*w + 11. Let v be m(3). Solve 9*f - 4*f = v for f.
1
Let f = -125 - -135. Solve 8*w = 3*w + f for w.
2