Let y(v) = -v**2 + 4*v + 1. Let x be y(3). Let c = 58 - 29. Suppose 0 = -5*j + 31 + c. Solve 0 = -x*s + s + j for s.

4

Let r = -35 - -53. Let g = r - 8. Let y = g - 3. Solve 0 = -2*k + y - 1 for k.

3

Let n(o) = o**2 + o + 4. Let j be n(0). Solve -8 = -4*k + j for k.

3

Let q be 0/(-4)*(2 - 1). Suppose q = -4*c - c - 2*k, 0 = -2*k. Suppose -51 = -4*m + 9. Solve c*f + 3*f + m = 0 for f.

-5

Suppose -2*o - q + 7 = -3, -4*q = 5*o - 28. Suppose -o*j = j. Suppose 2*f + 22 = 4*x - 0, 0 = 5*x - 3*f - 28. Solve -2*z + x*z - 12 = j for z.

4

Suppose 2*o + 2*y = 14, 0 = -4*o + 5*y - 1 - 7. Let c be o/(3/(6 - 3)). Solve -3*z - 3 = c for z.

-2

Let m(i) = -i**2 + 2*i + 7. Let r be m(5). Let v be (-74)/10 + r/(-20). Let d = 3 - v. Solve 0 = 3*u - 2 - d for u.

4

Let c(z) = 2*z**2 - 3*z - 6. Let p be c(3). Solve -3*o = -0*o + p for o.

-1

Suppose -w = -2*g + 9, -w = 5*g + 3*w - 29. Suppose -i = 1 - g. Solve 4*d = -i - 0 for d.

-1

Let c(t) = -t3 + 7*t2 + t - 4. Let k = 3 - 2. Let g be -1*2 + (10 - k). Let u be c(g). Solve -u*n - 9 = -6*n for n.

3