Let z(u) = -3*u2 + u3 - 2*u3 + 4 + 2*u3. Let w be z(3). Let k = 20 - 8. Solve 4*d + w = -k for d.
-4
Let t = -6 - -8. Solve 4*z = t*z for z.
0
Let t(f) = -f3 - 15*f2 + 15*f - 11. Let m be t(-16). Solve 3*c = -m - 7 for c.
-4
Suppose 2*l + 20 = -i - 3*l, -2*l = 2*i. Solve -7*p + 2*p + i = 0 for p.
1
Suppose -3 + 4 = d. Let c be (2 - 4)*d/(-2). Let x be (2*c)/((-4)/(-10)). Solve 6 = x*m - 4 for m.
2
Let j = -6 - -11. Suppose 0 = 4*h + j*d, 0 = 3*h + 3*d - 0*d. Solve -2*c + h*c = 0 for c.
0
Suppose 0 = r + j - 6, -2*r - 4*j = j - 24. Solve 3*c - r = 4 for c.
2
Suppose -4*u = 8 - 28. Solve 0 = u*c - 8 - 7 for c.
3
Let g = 2 - 2. Let t be 17⁄5 - 2⁄5. Suppose z + 5*k + 13 = 3*z, 0 = -2*z - 5*k + t. Solve -a - z*a = g for a.
0
Let h be 2⁄11 - 186/(-66). Suppose 0 = k - h - 3. Solve 0*t + k = 2*t for t.
3