Let g = 25 + -23. Solve -4 = -g*u - 12 for u.
-4
Let q = 1 + 3. Solve q*g - 7*g - 9 = 0 for g.
-3
Let b = -8 + 8. Suppose b = -r - 3*r + 24. Solve -6 - r = -4*q for q.
3
Let c be -2*(-2 - -4) + 4. Solve -2*a + c = 10 for a.
-5
Let a© = -c3 + 3*c2 + 2*c - 3. Let k be a(2). Let o(b) = -27*b - 5. Let p be o(-7). Let y be p/32 - (-2)/8. Solve -16 = -k*q - y for q.
2
Suppose n + 2 = -6. Let p = n + 11. Suppose 3*k - 10 = 2. Solve 7*l = k*l + p for l.
1
Let p = 4 + -4. Suppose p = -v - 2*v + 15. Solve 14 = v*z - 11 for z.
5
Suppose 30 = 3*o + 9. Suppose v - o = -c - 2, 3*v - 15 = -2*c. Solve -15 = 3*k - c*k for k.
-5
Suppose -2*f + 4 = -3*j - 9, -5*j = 5*f + 5. Let d be 3 + 6*f/(-4). Solve -5*b = -d*b for b.
0
Suppose 3*t + t = 0. Solve q - 2 - 3 = t for q.
5