Let z = 2 + -7. Let k be z*(-1)/((-15)/(-6)). Let l = 12 - 4. Solve -2*x = l - k for x.

-3

Suppose -2*v = -3*y + 4, -8 = y + 2*v + 2*v. Solve y = 3*z - 6 + 3 for z.

1

Let x = 0 - -4. Suppose -4*p - 3*t = -16, 2*t - 3*t = p - 4. Suppose -p*v - 6 = -3*n, 3*n - 7 = -1. Solve -x = -j - v*j for j.

4

Let v = -137 - -140. Solve k + v*k = 0 for k.

0

Let k = -4 - -12. Let l = 11 - k. Solve -s - l = 1 for s.

-4

Let w = 25 + -17. Suppose -w = -5*u + 2. Suppose -2*t = -2 - u. Solve 2*m = -t - 4 for m.

-3

Let g be 216 + 478. Solve g*f = f for f.

0

Suppose -f = -12 + 14. Suppose 5*v - m = 91, 3*v + 5*m - 23 - 26 = 0. Let l be 12/v - f/(-3). Solve l = 6*p - 3*p for p.

0

Let h be (-20)/(-6) + 6/(-18). Suppose -2*o + 2 = -i, -8 = -o - h*o. Solve -i = -k + 1 for k.

3

Suppose m - 10 = -4*m. Suppose -78 = -5*q + m. Solve -7*u = -3*u - q for u.

4