Let l(w) = -2*w3 - 2*w2 + 8*w + 4. Let t be l(-3). Suppose -4*j = -j - 5*m - t, 2*j + 3*m = 36. Solve 0 = -4*u + j - 0 for u.
3
Let f = 13 - 17. Let n be (-16)/(-6)*(4 - 7). Let q = f - n. Solve -1 + q = -3*u for u.
-1
Let n = 11 + -8. Solve -n = 5*z + 2 for z.
-1
Let i = 1 + 1. Let h = 8 + -8. Solve -i*o + 4*o + 10 = h for o.
-5
Let q(l) be the first derivative of l**2⁄2 + l + 4. Let o be q(4). Suppose 2*c = b - 3, -b - 2*b + 16 = c. Solve o*j + b = -0*j for j.
-1
Suppose -5 + 1 = -4*v. Let t(b) = b**2 - b + 4. Let f be t(0). Solve -3*m + v = -f*m for m.
-1
Suppose -6 = -11*p + 9*p. Solve w - 10 = p*w for w.
-5
Suppose -2*g - 2 + 8 = z, 2*z - 11 = -3*g. Suppose -z*b = -0*b - 144. Suppose 3*y + b = 7*y. Solve y*k - 4*k = 25 for k.
5
Let d(l) = l + 19. Let x be d(-14). Let k = -1 - -1. Solve 2*b - 3 + x = k for b.
-1
Let a be 4/(-2) - (0 + -1). Let k be 2*(-1 - (-3 - a)). Let v(m) = 2*m. Let f be v(k). Solve f*t = t for t.
0