Let x = 4 + -6. Let z = x - -6. Solve -z - 5 = 3*b for b.

-3

Suppose -r = 2*l - 4, r - 5*l + 26 = -l. Let b = r - -11. Solve -5*h + b = 10 for h.

-1

Let j be 9535 - 4/(-14). Suppose h = 5 - 3. Solve h*r + r = j for r.

1

Let a(q) = -q + 4. Let b be a(4). Suppose b = -o - 0*n + 4*n + 8, 0 = -o - 5*n + 26. Suppose 0 = 2*v + w, -w - 4*w - o = 2*v. Solve 2*x = -v*x + 4 for x.

1

Let v = 18 - 17. Solve -2*n + 3*n = v for n.

1

Let u = -11 - -12. Solve 6 = -h + u for h.

-5

Let v be (-16)/(-6) + 13. Let j = -8 - -14. Suppose 0*m = 4*m + 3*y - 17, y = -3*m + 14. Solve m*z - v*z = -j for z.

-3

Let v be 192 - (-1)/2. Let w(t) = t**2 - t + 3. Let m be w(0). Suppose m*d + v = 4*d - 2*o, -4*d = 2*o. Solve -d*c = -c for c.

0

Let m© = c - 1. Let k be (-2 - 1)*(-4)/6. Suppose 3*r + 3*n + 10 = k*r, -5*r = 5*n. Let j be m®. Solve 6 = -j*f + 18 for f.

3

Let c = 129 + -127. Solve 3*o = c*o - 3 for o.

-3