Let b be 3⁄2*(13 - 11). Suppose -2*c + 4*c = 14. Suppose 20 = c*z - 3*z. Solve 2*o - b = z for o.
4
Suppose -5*j - 3*k = 0, -3*j + 30 = 2*j - 3*k. Suppose 0 = o - 1 - j. Solve g - o = -g for g.
2
Let p be (-4)/6*(-13 + 1). Let t(n) = n3 - 8*n2 + n - 8. Let d be t(p). Solve m = -d - 2 for m.
-2
Let i(w) = w**2 + 4. Let m be i(4). Suppose -4 = -5*j - x + m, -3*x = -3*j. Suppose -j*t + 40 = -24. Solve 3*f + 4 = t for f.
4
Suppose 0 = 7*v - 3*v - 4. Solve o = v - 2 for o.
-1
Let f(p) = -7*p3 - 7*p2 - 6*p - 2. Let d(z) = 13*z3 + 14*z2 + 12*z + 3. Let q(b) = -6*d(b) - 11*f(b). Let c be q(-6). Solve 0 = -3*j + c*j - 3 for j.
3
Let i = 4 + -3. Let f(d) = d2 - d + 1. Let c(o) = 2*o2 - 8*o + 4. Let v(t) = i*c(t) - 3*f(t). Let l be v(-5). Solve z - 4 = l for z.
5
Let c(q) = q3 + 11*q2 + 11*q + 15. Suppose -10 = -2*m + 3*m. Let y be c(m). Suppose 0*d = -d - 4*x - 15, -4*d - 5*x - 16 = 0. Solve r + d - y = 0 for r.
4
Suppose 5*m - 4*q + 2*q - 18 = 0, 0 = -4*m + 3*q + 13. Solve -g + m = -1 for g.
5
Let z = -73 - -76. Solve s + z = -2 for s.
-5