Let a = -12 - -14. Solve -o - 1 = -a*o for o.

1

Suppose 0 = -0*z - z - 2. Let f = z - -6. Solve n = -f*n for n.

0

Let r(n) = -6*n**2. Let c be r(1). Let d = -3 - c. Solve -y - d*y + 20 = 0 for y.

5

Let l© = -2*c - 10. Let g be l(-7). Let n = 5 - g. Suppose 9*i = 4*i. Solve i*z = z - n for z.

1

Suppose n = -n - 12. Let j = n + 6. Solve j*q + q = 4 for q.

4

Suppose -3 = z - 7. Suppose -4*q = -z - 4. Solve 0 = -3*c - q*c - 25 for c.

-5

Suppose -x = 5*a - 8, -2*x = a - 2*a - 5. Suppose 0 = x*v - 18. Suppose 0 = -4*d + 18 - v. Solve -d = -3*t - 0 for t.

1

Suppose 3 - 9 = -3*r. Suppose 0*k + 3*k = 5*d + r, -2*k + 8 = 0. Solve -d*m - 1 - 1 = 0 for m.

-1

Suppose 0 = -5*b - 10. Let d be ((-2)/b)/(2⁄8). Solve -c = c + d for c.

-2

Let k = 11 + -3. Suppose 0 = 3*y - k*y. Suppose 2*w = w + 4. Solve w + y = -4*d for d.

-1