Let r = 9 - 11. Let a = 3 + r. Solve a + 3 = -o for o.
-4
Let p(w) = -w3 - 4*w2 - 5*w - 4. Let b be p(-3). Let u = 6 - b. Solve 4*k + 0 = u for k.
1
Suppose -7 = v - q - 2*q, -3*q + 17 = v. Solve v*w - 2 + 17 = 0 for w.
-3
Let d be (-1 + 0)/(-2)*6. Suppose 5 = -d*z + 17. Solve p = -z*p - 5 for p.
-1
Let z(v) = 2*v*2. Let a be z(-1). Let c be (-10(3 - a))/(-2). Solve 6*b = c*b + 2 for b.
2
Let x = 0 - -3. Suppose -x*v - c + 8 = 0, 5*v - 6*c + 2*c = 2. Suppose -r - 6 = -v*r. Solve r*a = a + 5 for a.
1
Let q = -17 - -19. Solve 2 = q*f - f for f.
2
Let c be 0 + 6 + (-4)/2. Let q = c + -3. Let a(h) = h + 1. Let k be a(q). Solve 2 = -2*n - k for n.
-2
Let l(k) = -k3 - 2*k2 - 3*k - 2. Let f be l(-2). Suppose i = f - 2. Suppose 5 - 1 = i*j. Solve 5*w - 22 = -j for w.
4
Let j be 7/((-21)/12)*-1. Suppose b = j + 12. Solve g + 3*g + b = 0 for g.
-4