Let u(t) = t**3 + 4*t**2 + t + 4. Let x be u(-4). Suppose x = -2*c + c. Solve 4 = 2*g - c for g.

Suppose -4*t + 5*u + 3 = 0, -2*t - 1 = -2*u - 3*u. Suppose -2*x + x = -3. Let h = x - 3. Solve h = g + 3 - t for g.

-1

Suppose 0 = -3*n - 26 - 16. Let t be 4/n - (-128)/56. Solve t = -l + 3*l for l.

1

Suppose -u + 20 = 3*u. Suppose -2*l = -u*f + 60, -2*f = -5*l - 42 - 3. Solve -2*c = -0*c + f for c.

-5

Let f = -34 - -38. Solve 5 = -b - f*b for b.

-1

Let q(d) = -d**2 + 13*d. Let n be q(13). Solve -10 = 5*f - n for f.

-2

Let c(z) = -z2 + 4*z. Let u be c(3). Let g(v) = -2 - v2 - v + 0*v2 + 1 + 0*v2 - v**3. Let t be g(-2). Solve t = -u*q + 4*q for q.

5

Suppose -3*u - 6*z + 7*z + 7 = 0, 0 = 4*u - 5*z + 9. Solve -12 = -u*x + x for x.

4

Let a© = -c**2 + 8*c + 10. Let h be (-3 + 3)/(-3) - -3. Suppose 2*z + 20 = 2*g, 35 = h*g + z + 9. Let u be a(g). Solve u - 9 = -2*n for n.

4

Let r = 72 - 68. Solve 3*a - 1 = r*a for a.

-1

Let m(b) = -b**2 + b + 4. Let z be m(4). Let k = -5 - z. Solve -k*u - 11 + 2 = 0 for u.

-3