Suppose 2*k = -2*k + 20. Suppose -k*d + v - 1 + 5 = 0, 4*d = 5*v + 20. Solve -l + 2*l = d for l.
0
Suppose 5*z - 3 = 17. Solve z*f - 14 = 6 for f.
5
Let l = 23 + -19. Suppose -l*u + 3*u + 2 = 3*i, -i - u = -2. Solve i = -5*a + 15 for a.
3
Let d(l) = l3 + 6*l2 + 6*l + 5. Let h be d(-6). Let k = 51 + h. Suppose -20 = -x - 4*x. Solve k = -0*b - x*b for b.
-5
Suppose -3*u + 2*w - 428 = -0*u, 2*w - 140 = u. Let p = u - -201. Suppose -3*b + 4*i + p = 0, -18 = 2*b - 4*b - 4*i. Solve -5*k + 0*k = b for k.
-3
Let d = -39 - -41. Solve d*y = -0*y - 10 for y.
-5
Let t(o) = o3 - o2 - 2*o + 3. Let r be t(0). Suppose -10 = -r*a + 5. Solve 0 = a*s + 2 - 12 for s.
2
Let a = 99 - 99. Solve 4*j - 4 - 4 = a for j.
2
Let n = 4 + -6. Let m = 2 - n. Solve -m*p = 8 - 20 for p.
3
Suppose 5*y + 3*m - 15 = -0*y, -4*y - 5*m + 25 = 0. Solve -2*l = -y*l - 8 for l.
4