Suppose -5*j + 5 = -2*k, 3*j - 14 = -2*k + k. Solve 2 + 1 = -j*x for x.
-1
Suppose -3*f - 29 + 38 = 0. Solve 2*o = o - f for o.
-3
Let x = 127 + -127. Solve 15 = -3*f - x for f.
-5
Let u = 18 - 18. Let j(z) = -z + 3. Let d be j(3). Let k be 2/(-3)*(-3 - d). Solve -10 = k*s - u*s for s.
-5
Suppose -8 = -3*b - b. Suppose 0 = -4*y - 3*n + 28, -2*y = -b*n - n - 14. Solve -y*f + 3*f = -16 for f.
4
Let r(z) = -z2 + 8*z + 9. Let m be r(9). Let x(u) = -u2 - 8*u + 9. Suppose 2*v + 30 = 12. Let q be x(v). Solve m = -f - q*f for f.
0
Suppose -4*a = -2 - 14. Solve a*k = -4 + 12 for k.
2
Let p(v) = v**2 + 9*v - 10. Let a be p(-10). Solve 2*m - 5*m + 6 = a for m.
2
Let v = -1 + 3. Suppose 0 = c - v*c. Solve 0 = z - 4 - c for z.
4
Suppose s = -3*g + 4*g + 9, -3*g = 12. Suppose s*h - 52 = -12. Let d(a) = -a**2 + 3*a. Let b be d(3). Solve b*c = -4*c + h for c.
2