Let u = 3 + 1. Suppose 4*z + u*y - 12 = 0, -z + 5y - 1 + 4 = 0. Let m be z(-3 - (-12)/2). Solve -5*x = -m*x for x.

0

Let l = -51 + 54. Solve -l*b - 4 - 5 = 0 for b.

-3

Let u(d) = 1. Let r(w) = -6*w**2 - 2*w + 1. Let n(z) = -r(z) + 2*u(z). Let v be n(-1). Suppose -3*l - 10 = -2*m - l, v*l = 4*m - 20. Solve -m*c = -c for c.

0

Let f(s) = -s - 5. Let a be f(-9). Suppose 3*m + 21 = 3*v, 0 = v + a*v - 4*m - 31. Solve v*p = -p for p.

0

Let q be (3/(-5) - -1)*-10. Let s = -4 - q. Solve s*i = i for i.

0

Suppose 0 = -5*u + 4*t - 4 - 1, -4*u + 4*t - 4 = 0. Let z be 2 + -2 - -14 - u. Suppose -z = -4*f - 3. Solve f*x + 1 + 2 = 0 for x.

-1

Let x = -131 - -138. Solve -x = 5*l - 2 for l.

-1

Let i = 1 + -5. Let n be 2 + i + 3 + -1. Solve y + 4*y + 5 = n for y.

-1

Suppose -5*w - 4 = 2*t, 4*w + 0 = t - 11. Suppose 2*c - 42 = -4*b, -t*b + 3*c = 6*c - 30. Let x = b + -8. Solve -2*o = x + 1 for o.

-2

Suppose 7 = -4*b - 3*f, -4*f + 10 = -4*b + 38. Suppose 0 = -b*n + 4*n. Solve 4 + n = 4*v for v.

1