Let a(y) = 6*y2 - 8*y - 4. Let s(f) = 5*f2 - 7*f - 4. Let x(b) = -4*a(b) + 5*s(b). Let l be x(4). Solve -v - 2*v = l for v.

0

Let c(i) = -i**2 + 4. Let q be c(4). Let n be (-2)/6 - 52/q. Suppose -4 = n*b, -b + 11 = v + 2*v. Solve -4*l = -v - 0 for l.

1

Let b be (1 + -1)/(-3) - -2. Suppose 0 = -b*s + 21 - 5. Suppose 1 = y - 2*o - 7, -5*y = -2*o - s. Solve 3*t - 4 - 2 = y for t.

2

Let p = 78 + -78. Solve 0*m + 5*m + 10 = p for m.

-2

Let n be 1/(-2)*24/(-4). Suppose 5*r = 0, -2*u - r - n = -1. Let l = u + 3. Solve 3*c = l*c for c.

0

Let x(w) = -2 - 1 - 5*w - 5*w2 + 0 - 1 + w3. Let c be x(6). Solve 0 = -c*o - 3 + 13 for o.

5

Let t(p) = p**2 - 2*p - 1. Let o(v) = -3*v + 1. Let i be o(2). Let u = i - -4. Let z be t(u). Solve -k + 3*k = -z for k.

-1

Suppose 6 = -17*z + 20*z. Solve 5*r + z = -13 for r.

-3

Suppose 4c = 6 + 42. Let j be 1/(((-4)/(-6))/(-2)). Let v be j(-6)/9 - 2. Solve 3*b + b + c = v for b.

-3

Let k® = -r3 - 7*r2 - 2*r - 10. Let v be k(-7). Suppose -v*q = -2 - 6. Suppose -5*j + 17 = -2*t, -4*j + 16 = -q*t + t. Solve t*c - 8 = 2*c for c.

4