Let t = -4 + 9. Solve -t*n + 2 = -3 for n.

1

Let c be ((-16)/(-4) - 3)*(-2 - -2). Solve w = 1 - c for w.

1

Let w = -8 - -28. Solve w = -5*a - 0*a for a.

-4

Let t = -5 - -6. Let c = 1 + -1. Let z = t + c. Solve -z = -m + 2*m for m.

-1

Suppose 0 = 2*w + 6, -5*p + 15 + 15 = -5*w. Suppose 0 = 3*i + 5 + 10, 0 = -p*q - 4*i - 17. Let u be -4 + 1 + q - -11. Solve -5*t - u = 1 for t.

-2

Let z be 1/(-1)*-2 + 8. Let d = -7 + z. Solve 3*u - d = 2*u for u.

3

Let r(m) = -m**2 - 12*m - 15. Let x be r(-10). Solve -i + 2*i = -x for i.

-5

Let f(z) = 5*z3 - z2 + 2*z - 1. Let x be f(1). Suppose -x*v + 12 + 3 = 0. Suppose -8 = -h - v*h. Solve s + h*s = -9 for s.

-3

Suppose -t + 3*d = 0, -5*d - 4 - 56 = 5*t. Let j = t + 10. Solve -2*m + j = -m for m.

1

Let h(x) = 3*x + 2. Let f be h(0). Suppose f*n = -2*p - 2*p, 0 = -4*p. Solve n = -5*i - 2 + 17 for i.

3