Let x(f) = -f**2 + 5*f - 2. Suppose 3*c + 5*d + 13 = 0, 0 = 2*c + 4*d + 13 - 1. Let m be x©. Let t be ((-2)/5)/(5/(-25)). Solve 0*a + m = -t*a for a.

-1

Suppose -5 + 0 = 3*t + 4*p, 5*t + 5*p = 0. Suppose 0 = 8*z - 2 - 134. Solve -2 + z = t*a for a.

3

Let t be 12/(-10)*(-10)/(-4). Let z be 2/(-6)*t*5. Suppose 5*l - 5 = z. Solve 12 = l*x + 2*x for x.

3

Let n(h) = -h - 6. Let z(p) = -2*p - 13. Let b(u) = 7*n(u) - 3*z(u). Let j be b(-4). Let d be 1 + (-1)/j + 12. Solve 4*q + d + 8 = 0 for q.

-5

Let b(u) = u - 2. Suppose 5*v = 4*v + 6. Let j be b(v). Solve -j - 2 = 2*p for p.

-3

Let f be 0 + 2 - 1/(-1). Let v(o) = o3 + 5*o2 + 5*o + 3. Let a be v(-3). Solve 0 = -a*h + f*h for h.

0

Let x(q) = -q + 9. Let d be x(4). Let s = d - 4. Suppose -3 + s = -z. Solve -z*y + y = -3 for y.

3

Let p(m) = -2*m - 5. Let i be p(-5). Solve 5*w + 0 = i for w.

1

Let m = -3 + 5. Suppose 0 = -2*q + 8 - m. Solve -2*r + q = -r for r.

3

Let k = -12 - -14. Solve b = k + 1 for b.

3