Let n be -1 - 1 - 30/(-3). Suppose 0 = n*v - 4*v - 12. Suppose 16 = -3*o + 5*o. Solve -5*b - v = -o for b.
1
Let h be ((-28)/(-8) + -3)*12. Solve -4*c + 2*c - h = 0 for c.
-3
Let q(i) = i**2 + 6*i - 5. Let h be q(-7). Solve -v + h*v = -4 for v.
-4
Suppose 10 = 3*a + 67. Let s = -7 - a. Solve -2*z + 5*z - s = 0 for z.
4
Let q be (-4)/(-10) + 12/(-5). Let d(k) = -2*k - 2. Let s be d(q). Solve s*a = -0*a - 6 for a.
-3
Suppose 0 = s - 6*s. Solve s = -2*l - 2 for l.
-1
Let n(k) = k**2 + 6*k + 6. Let z be n(-6). Let f(m) = -m + 6. Let i be f(z). Solve -3*c - 2*c = i for c.
0
Suppose -6*o + o - 25 = 0. Let p be 5 + o/1 + 3. Solve 4 = -p*h - 8 for h.
-4
Let f = 2 + 9. Let k = 6 + -15. Let n = k + f. Solve l = -n*l for l.
0
Suppose x - 4 = 1. Solve -2*v - 3 = x for v.
-4