Let i(w) = w - 4. Let d be i(5). Suppose 3*q = -u + d + 1, -8 = 2*u. Let v be (q + 0)/2*0. Solve v = -4*o + 4 + 16 for o.
5
Let f(g) = g + g - 4*g - 2. Let a be f(-2). Suppose 8 + a = 5*l. Solve -o + l*o = -1 for o.
-1
Let p(j) = j**2 - 2*j. Suppose 3*h = 13 + 2. Suppose -3*q - h*k + 0 = -9, 0 = -4*k. Let u be p(q). Solve -7*b = -u*b + 20 for b.
-5
Suppose 3*j - 10 = u - 0*j, 5*u - 14 = -j. Solve 2*w - u = 4 for w.
3
Let n(x) be the third derivative of x6⁄120 + x5⁄20 - x4⁄24 - 2*x2. Let c be n(-3). Suppose -5*f = -5*j + 5, 6*f = 2*f + c*j. Solve 5*b - 2 = f*b for b.
1
Let o = -134 + 137. Solve 6 = 3*r - o for r.
3
Let s be (-4)/(-6 + 2) + -13. Let q = s - -15. Solve -q*v = -4 - 5 for v.
3
Suppose 3*m = -4*a + 2*m + 13, -3*m - 13 = -a. Suppose -3 - 13 = -a*w. Suppose 0 = -w*z - 0*z. Solve 4*k + 4 = -z for k.
-1
Let s = -12 + 18. Let q = s + -2. Solve q*w - 9 = 3 for w.
3
Suppose 4*i - 2*z - 24 = 2*z, -2*i = 2*z - 20. Let j = 2 + -9. Let h = j + 7. Solve h*v - 2*v = i for v.
-4