Let l(n) = n3 - n2 - n - 2. Let x be l(2). Solve -3*j + j = x for j.
0
Suppose -3*y = 2*y. Solve v = -y*v for v.
0
Let x = -18 - -22. Solve -12 = x*z - 7*z for z.
4
Suppose s - 23 = 5*n, -2*s + 0*n = -3*n - 18. Solve s*g = g for g.
0
Suppose -3*i + 16 = -i. Let f = -15 + i. Let g be f/(-3) + (-10)/(-15). Solve 0*d + g = d for d.
3
Let g be (0/(-3 + 0))/(-1). Let b = -5 - -10. Let n = b + 0. Solve g = f + 2 - n for f.
3
Let i(n) = -n3 + 2*n2 - n + 2. Let f be i(2). Solve f = -p - 0*p for p.
0
Let w be 2 + -4 - (-9 + 5). Solve -w = -s + 2 for s.
4
Suppose 4*g - 32 = -0*v - 2*v, -5*v + 2*g = -20. Solve 0*i - v = -3*i for i.
2
Suppose 3*d - 6 = 0, -5*d = f - 4*f - 16. Let y = f + 5. Solve y*u + 0*u = -3 for u.
-1