Let c(t) = t. Let v be c(3). Let f(k) = -k**2 + 2*k + 3. Let g be f(v). Solve 3*a - 5*a + 6 = g for a.

Let n = -8 - -2. Let x(k) = -k3 - 6*k2 - 3*k - 9. Let g be x(n). Solve -5*m + g = -16 for m.

5

Let d = -3 - -7. Let g(n) = 3 - d*n - 2 + 5*n. Let i be g(-1). Solve 7*x - 4*x - 6 = i for x.

2

Let w = 31 + -27. Solve -2*f = -2 - w for f.

3

Let m be 1*(0 - (-102)/(-3)). Let a = -24 - m. Solve a = 5*o - 10 for o.

4

Let t = -25 - -25. Suppose z - 10 = -z. Suppose -h = -2*v + 3, 2*v + 24 = z*h + 5*v. Solve t = -0*d - h*d for d.

0

Let u(d) = 2*d3 - 5*d2 + 4*d - 4. Let x be u(3). Suppose x + 1 = 3*j - 5*a, 5*j = -2*a - 1. Suppose -2*m + 0 + j = 3*t, -m = 4. Solve 0 = -4*b + t*b for b.

0

Let y = -40 + 40. Let m© = c3 - c + 1. Let n(s) = -4*s3 + s**2 + 2*s - 1. Let a(q) = 3*m(q) + n(q). Let p be a(y). Solve 4 = p*i + 2*i for i.

1

Let c be (²⁴⁄₂₀)/(⁴⁄₁₀). Suppose 0*s - 2*s + 6 = 0. Suppose -3*a + 3 = -9. Solve s = c*u - a*u for u.

-3

Suppose -5*l - 22 = -4*t + 26, -3*t + 36 = -4*l. Solve -2*j + 2 = t for j.

-5

Suppose 0 = -0*h - 5*h + 10. Suppose -3*s + 2*m = 5 + 4, -13 = -h*s - 5*m. Let f be 2 + s + (-3 - -6). Solve -f*i = 3 + 1 for i.

-1