Let r = -14 + 16. Solve -r*t + 2 - 4 = 0 for t.

-1

Suppose 5*v - 51 = -3*b, 0 = -0*v + 4*v + 2*b - 42. Suppose -r + 2*s + 8 = 0, r - 2*s - v = 2*s. Solve 2 = 3*f - r for f.

2

Let u = -4 + 4. Suppose u = b - 2 - 2. Let g(v) = -v**2 - 5*v - 4. Let r be g(-4). Solve r = b*y - 0*y for y.

0

Suppose 4*o + 8 = 2*s + o, -4*s = -3*o - 16. Solve -2*v + s = 2*v for v.

1

Suppose 6*p - 10 = p. Suppose -5*c - 5*u + 70 = 0, u - 2 = p*c - 30. Let j = -10 + c. Solve 0 = -2*t - 6 + j for t.

-1

Suppose r + r - 4 = 0. Let o = -1 - -1. Suppose o = -k - 3*k. Solve r*n = -k*n + 4 for n.

2

Let f = 16 - 11. Solve -f*r + 16 = -r for r.

4

Let p(h) = -h**2 + 4*h. Let g be p(3). Suppose 0 = -3*c + u + 2, 2*c - 3*u = g*c - 14. Solve c*k = -3 + 5 for k.

1

Let j = 3 + 2. Solve 0 = 2*h + 3 + j for h.

-4

Let j = -7 - -7. Suppose -3*r + 10 - 4 = j. Solve -2*d + r = -4*d for d.

-1