Let x(z) = -z3 - 11*z2 + 5*z - 15. Let h be x(-12). Let i = h - 49. Solve -3*k + i = 2*k for k.
4
Let m(u) = u**2 - u. Let g be m(2). Solve -3 - 3 = -g*n for n.
3
Suppose -2i = -34 - 38. Let r be (-2)/(-5)(-1 + i). Solve 6 + r = 4*x for x.
5
Let x(a) = -a**3 + a. Let q be x(-2). Suppose -10 = r - q*r. Solve -d = r + 2 for d.
-4
Let h(t) = -t**2 + 5*t + 8. Let f = 8 + -2. Let z be h(f). Solve 0 = -0*j + z*j for j.
0
Suppose -5*i + 10*i - 25 = 0. Solve 5*w - i - 10 = 0 for w.
3
Suppose -3*d = 0, 0 = -0*k + 2*k + 2*d. Solve k = -3*a + 10 + 2 for a.
4
Let w(t) = t3 + 8*t2 + t + 8. Let l be w(-8). Suppose l = -2*v - 0*v + 10. Solve 0 = v*y - 0*y for y.
0
Let k(m) = 3 + 8*m3 - 7*m3 - 9*m2 - 2*m3. Let a be k(-9). Solve 7*i - a*i = 0 for i.
0
Let x(d) be the third derivative of d4⁄24 - d3⁄6 + 4*d**2. Let r be x(2). Solve 11 - r = -5*h for h.
-2