Let b(k) = -k - 2. Let y be b(-2). Solve -m + 3*m + 8 = y for m.
-4
Suppose 3*u - d = 13, 3*d = 2*u - 13 - 5. Solve -2*z = 1 - u for z.
1
Let t(f) = -f3 - 4*f2 + 11*f - 3. Let k be t(-6). Solve i = 2 - k for i.
-1
Let w = 5 - 3. Solve 5*q - w + 17 = 0 for q.
-3
Suppose 0 = 2*y - 3*m - 17, 4*m + 0*m + 17 = -3*y. Let o be 1 + y/((-1)/(-23)). Suppose -3*n = n - o. Solve -h - n = h for h.
-3
Let u(f) = -f**2 + 6*f - 5. Let z be u(7). Let d = 17 + z. Suppose d*b - 2 = 3. Solve k - 4 + b = 0 for k.
3
Let a(t) be the second derivative of t4⁄12 + t3⁄2 + 2*t**2 + 2*t. Let f be a(-3). Suppose 28 = 4*w + 4*q, 3*w - w + f*q = 24. Solve -1 = 3*g + w for g.
-1
Let f be 0 + 4 + 14 + -15. Solve -8*x + f*x = 0 for x.
0
Suppose 0 = 3c - 1 + 7. Let x be (c - (-6)/4)-80. Suppose -x = -3*g - 16. Solve g = 3*s - 5*s for s.
-4
Let t be 2*(-1)/(2/(-4)). Solve 5*a = a + t for a.
1