Let b = -7 - -11. Let i(s) = s3 - 7*s2 + 12*s. Let g be i(5). Solve -k - b*k = -g for k.

2

Let s(g) = -g3 - g2 - g. Let a be s(0). Let r(z) = z3 + 6*z2 - 3*z - 5. Let f be r(-6). Suppose 3*x - f = 2. Solve a*t - 20 = x*t for t.

-4

Let r be (-30)/3*(-9)/6. Let x = -8 - -11. Solve 0 = 3*q + x - r for q.

4

Let u(a) = -2*a2. Let b be u(1). Let m(v) = 6*v2 + 3*v. Let s be m(b). Suppose -2*p = -5*p + s. Solve 3*r = -p - 6 for r.

-4

Suppose -4*s + 8 = g + 3*g, 3*g + 1 = -2*s. Suppose 4*k + 0*k + 5*f - 40 = 0, -f = -4. Let n = s - k. Solve 5 = n*v + 1 for v.

2

Let d = 40 + -39. Suppose 0 = 4*m - 7 - 1. Let t = d + m. Solve -1 = 4*u + t for u.

-1

Suppose -n = -3*n + 2. Suppose 0 = 5*p - 2*p - 6. Let z be (3 + -4)/((-1)/p). Solve -9 = z*x - n for x.

-4

Let u be (-1)/4 - (-6)/(-8). Let k be (u + 2)*1 + -1. Solve 0*d + 3*d + 12 = k for d.

-4

Suppose 0*f = f - 10*f. Solve 1 = n - f for n.

1

Let c be (-3)/4 - 266/(-56). Solve -w - c = -0 for w.

-4