Let i = 24 - 14. Let f = 12 - i. Solve -2*q + f = -8 for q.
5
Let t(z) = z3 - z2 - z - 3. Let a be t(3). Suppose -a = -q - 2*q. Solve -f = 3*f - q for f.
1
Let m be (-6)/4*2/(-3). Solve 0 = -a - m for a.
-1
Let x be 5⁄30 - 41/(-6). Suppose 1 = -s + 6. Solve -x + 2 = s*t for t.
-1
Let i(u) = u**2 + 4*u - 5. Let o be i(-6). Let p = o - -1. Solve -p = 2*a + 2 for a.
-5
Let s be (7/(-3))/(1/(-3)). Let i(g) be the third derivative of -g6⁄120 + 7*g5⁄60 + g4⁄24 - 2*g3⁄3 + 5*g**2. Let b be i(s). Solve b*y + 12 = -y for y.
-3
Let x = -228 + 229. Suppose -y + 6 = -5*p + 4, -5*y + 10 = -2*p. Solve p = 2*f - 3*f - x for f.
-1
Let q = -4 - -17. Let d = 13 - q. Solve 5*n - 10 - 5 = d for n.
3
Suppose -c = 3*v - 12, 3*v = -2*v - 3*c + 20. Solve d + v - 5 = 0 for d.
1
Let c = -61 + 64. Solve 7 = 2*k - c for k.
5