Let k be 6⁄9 + (-32)/(-6). Solve 2*l = k*l for l.
0
Suppose -2*d = -0*d. Solve d = -3*k + 2*k for k.
0
Let x(b) = -b**2 - 5*b - 4. Suppose y = 11 - 3. Suppose 5*v - y = -23. Let i be x(v). Solve -5*o + i*o = -9 for o.
3
Let x(j) = j3 + 4*j2 + 2. Let h be x(-4). Suppose h*n - 3*n = -5. Suppose -4*b - m + 8 = -2*m, 0 = 5*b + n*m - 10. Solve b*s = s - 4 for s.
-4
Suppose a + 4*w = -2*a + 20, -3*a + 4*w = 20. Suppose a = -2*x + 6. Solve -12 = 5*z + x for z.
-3
Let m be 0 - -9 - -3 - -3 - 3. Solve -p + 5*p - m = 0 for p.
3
Let r be 1 + (1 + 0)*4. Let k(i) = i3 + i2 - i. Let l(y) = -6*y**3 + 12*y - 9. Let d(x) = -5*k(x) - l(x). Let o be d(6). Solve o - 13 = -r*m for m.
2
Suppose 0 = 4*r - q - 51, -5*r + 4*q + 55 = q. Suppose 3*o - r - 1 = 0. Solve 4*z + 1 = o for z.
1
Let r(p) = -p3 + 6*p2 - 4*p - 5. Let s be r(5). Let q = s - -5. Solve 0*a + q*a + 10 = 0 for a.
-2
Let y = -15 + 23. Solve y = 3*x - x for x.
4