Let v(m) = -11*m3 - 6*m + 6. Let n(p) = 5*p3 + 3*p - 3. Let u(s) = 13*n(s) + 6*v(s). Suppose 1 = -k - 2. Let f be u(k). Solve 3*j = -2*j + f for j.
3
Let a be 0*((-1)/1)/1. Let h = a - -2. Let j(z) = -z3 - 7*z2 - 13*z - 9. Let k be j(-5). Solve -w - h = -k for w.
4
Let l = -10 - -18. Solve -l*z - 20 = -3*z for z.
-4
Let y be (1 - 2)*2⁄2. Let n = 5 - y. Suppose 0 = -n*f + 2*f + 168. Solve -f + 17 = -5*h for h.
5
Suppose 5*r - 8 = -3*b + 7*b, 3*b = 4*r - 7. Let c = r - 7. Let k = c + 7. Solve k*i - 3*i = 3 for i.
3
Suppose 0 = -0*l - l. Suppose -y + 7 = 2*i, -2*y + 1 = 2*i - 7. Solve -3*c - 7 + y = l for c.
-2
Suppose 0*v + 2 = -3*i - v, -3*v = -3*i + 6. Solve i = 6*s - 2*s for s.
0
Suppose -31 = -5*a + 4*f, 2*a - 5*f - 19 - 7 = 0. Let j = 3 - a. Solve 2*r - 11 + 1 = j for r.
5
Let d be 0 - (-5 - 0 - -3). Suppose c = d*c - 8. Solve -c = 4*n - 0 for n.
-2
Let c(x) = 3*x - 6 - 2 - 4*x. Let w be c(-8). Solve w = g + 4*g - 15 for g.
3