Let z(u) = u3 + 3*u2 - 7*u - 1. Let a be z(-4). Solve -1 = -3*h + a for h.
4
Let t = 136 + -92. Let o be (-6)/9 - t/(-12). Suppose 0 = -k - 0*k + r + 2, 3 = -2*k - 5*r. Solve -2*d + o*d = k for d.
1
Let h(g) = -2*g3 + 3*g3 + 2 + 6*g - 7*g2 + 0*g2. Let z be h(6). Solve -27 + z = -5*u for u.
5
Suppose -6*x = -2*x. Suppose 0*o + o - 4 = x. Solve o = 4*l - 2*l for l.
2
Suppose 0 = 4*g - 8. Let f be g - 2 - (-26)/2. Solve -4*m = f - 5 for m.
-2
Let r(i) = i3 - 3*i2 - 6*i + 8. Let q be r(4). Solve -5*h + 2*h - 12 = q for h.
-4
Let u(z) be the third derivative of -z4⁄24 + 4*z3⁄3 - z**2. Let x be u(5). Solve x*j = -j for j.
0
Let w = 24 + -22. Solve 4*a = w + 6 for a.
2
Let p be ((-63)/(-35))/(6⁄20). Suppose j + 10 = p*j. Solve 9 = j*y + 3 for y.
3
Suppose 4*r + 2 = 10. Solve -6 = 4*w + r for w.
-2