Let s(x) = -x2 + 8*x + 12. Let m be s(9). Let n(d) = 3*d + 2 - d3 + 5*d**2 + m*d - 6*d. Let r be n(5). Solve 25 = -3*c - r*c for c.
-5
Let n = 3 - 1. Let c = 2 - n. Solve c = 2*z + 3*z - 10 for z.
2
Let n be (8/(-14))/(10/(-35)). Solve -n*x - 8 = -0*x for x.
-4
Let o(j) = j3 - 6*j2 + 7*j - 5. Let g be o(5). Suppose 0*y - y = -g. Suppose -y*k + 13 = -2. Solve 4*p = k*p + 2 for p.
2
Suppose -r + 5*z = 2*r - 23, -4*r = 4*z - 20. Suppose -4*c - r = -2*a, 0*a + 5*a - 6 = c. Let k be (-3 + 2 - -1) + 2. Solve k*q = -5 + a for q.
-2
Suppose -2*n = -7*n. Suppose n*j = -j + 3. Solve -j*z - 10 = -8*z for z.
2
Suppose 4*l = -35 + 83. Solve 0*k + 4*k = -l for k.
-3
Suppose -v + 3*n = -5, 5*n - 2*n = -2*v + 10. Solve v*w = w + 12 for w.
3
Let n(s) = -16*s2 + 2*s + 4. Let a(y) = 8*y2 - y - 2. Let k(f) = -7*a(f) - 4*n(f). Let v be k(-1). Solve -16 + v = 3*o for o.
-3
Suppose 0 = -g - 0 + 5. Let l(m) = 3*m - 7. Let a be l(g). Suppose -a = -2*f - 2. Solve -2*t - f - 1 = 0 for t.
-2