Let a = -12 - -7. Let s = a + 8. Solve -12 + 0 = -s*z for z.

4

Suppose -6*i - 7*i = -i. Let d(v) = -3*v. Let j be d(-3). Solve 5*y - 2*y - j = i for y.

3

Suppose 3*u + 2*u - 25 = 0. Let o(i) = -i**2 - 17*i - 16. Let q(v) = 5*v + 4. Let z be q(-4). Let r be o(z). Solve r = -2*k - 3 - u for k.

-4

Let m = -32 - -23. Suppose 3*t - 39 - 9 = 4*g, 5*t = 20. Let x = m - g. Solve -3*y - 16 + 7 = x for y.

-3

Suppose -30*t - 3 = -31*t. Suppose 2*n = 2 + 6. Solve 0 = t*u - 5 - n for u.

3

Let q = 11 - 7. Solve -q*l = -l + 12 for l.

-4

Let s be 2 + (-6)/9*-3. Suppose 7*f - s*f - 9 = 0. Solve 0 = 2*t + f*t for t.

0

Let a(f) = -f3 - 3*f2 + 2*f. Let h be a(-3). Let c be -2 + (-2 - h) + -2. Let t(q) = -q3 + 4*q2 + q. Let x be t(4). Solve c*o + x = -o for o.

-4

Suppose 4*q = 14*q - 80. Solve -q*c + 10 = -3*c for c.

2

Suppose 3*o = -3*n + 18, -4*n + 25 = -4*o - 7. Solve 5 = -3*d - n for d.

-4