Let b(s) be the third derivative of s4⁄12 - 2*s3⁄3 + s2. Let y be b(3). Let v(w) = w3 + 2*w**2 - 2*w + 5. Let t be v(-3). Solve -t*l + 8 = -y for l.
5
Let d = 14 + -33. Let i = d - -28. Solve -2*m - i = 1 for m.
-5
Let k be -3*(2 + -1 - -2). Let d = -21 + 16. Let w = d - k. Solve -w*s = -2*s - 10 for s.
5
Let k = -6 - -10. Let d(z) = z - 1. Let o be d(k). Solve o*q + 2*q - 10 = 0 for q.
2
Suppose 2*i = 5*i - 3. Solve -a = -0*a + i for a.
-1
Suppose 2*x - 2 - 10 = 0. Solve 0 = 4*m - x*m - 2 for m.
-1
Suppose 3*x - 6*x = 8*x. Solve x = -4*u - 0*u - 8 for u.
-2
Suppose 0 = 3m + 3 - 12. Let h be 5⁄10(-2 - -6). Solve h = m*s - 2*s for s.
2
Let w(l) = -2*l2 + 9*l + 2. Let h be w(5). Let m(v) = -5*v3 + v**2 + v. Let j be m(-1). Let n = h + j. Solve 3*d = n*d for d.
0
Let q(o) = o3 + 3*o2 - 2*o - 2. Let t be q(-3). Solve 12 = t*x + 4 for x.
2