Suppose 0 = 3*x + 12. Let i = 9 + x. Suppose 0 = z - 5*z + 20. Solve -z*w = 15 + i for w.
-4
Suppose 0*n + 5*n - 2*x - 16 = 0, -2*n - 5*x = 11. Let d = n + -2. Solve d = -z + 4 - 3 for z.
1
Let g = 7 + -7. Let k be ((-1)/(-4)*g)/3. Solve -o + k*o = 5 for o.
-5
Let b(o) = -o**2 + 4*o - 3. Let h be b(2). Let t = -4 - h. Let y = -1 - t. Solve 3*g - 2 - y = 0 for g.
2
Let w(a) = 11 - 3*a + a + 3*a. Let m be w(-9). Solve -6*b + m*b - 8 = 0 for b.
-2
Let q(a) = 0 + a + 2 - 3. Let u be q(3). Suppose -u*z = -0*z. Solve -4*b = -z*b - 8 for b.
2
Let t(m) = m3 - 3*m2 + 2*m. Let v be t(2). Solve -5*s + 10 = -v*s for s.
2
Let m = -63 + 73. Suppose 3*p + 2*p = 0. Solve -z + 5 - m = p for z.
-5
Let i(f) = -f3 - 7*f2 - 7*f - 3. Let j be i(-6). Solve 4 = -k - j*k for k.
-1
Suppose -x + 3 = -5. Let r = x - 8. Solve r*j = j for j.
0