Let a(t) = -7 + 3*t3 + 5*t2 - 4*t3 + 2*t3 - 4*t + 0. Let d be a(-5). Suppose 0 = k + 5*s - 31, -2*s = 4*k - d - 21. Solve 0 = 3*x - k for x.

2

Suppose 2*h - 5*i - 44 = 0, 0 = -i - 2. Solve -h - 3 = -5*k for k.

4

Let f(m) = -6*m + 6 + 7*m + 4. Let k be f(-7). Solve k = -3*b - 3 for b.

-2

Let b© = c - 4. Let z be b(9). Suppose z*d = 2*h - 14, 2*h + 2*d - 32 = -2*d. Solve 0 = -5*o + o - h for o.

-3

Suppose 0 = 13*z - 20 - 19. Let a be 34 - (-2)/8. Solve -4*o - z = a for o.

-1

Suppose 0 = r - 5*w - 30, 0 = -2*r - 4*w - 1 + 5. Suppose -4*j + 10 = -r. Solve -j - 20 = 5*u for u.

-5

Let m = 7 + -8. Let b be 0 - (m - 21). Solve b*c + 20 = 5 for c.

-5

Suppose -5*k - 7 = -32. Let m(u) = u**2 - u - 5. Let i be m(k). Solve 0*x - i = 5*x for x.

-3

Let d = 4 + -8. Let z = 6 + d. Let k be (-5)/15*18/(-2). Solve -3*v - k = -z*v for v.

-3

Let l be (0*214)/(1 + 0). Solve l = -2*v - 0*v + 8 for v.

4