Let p(d) = d3 - 10*d2 + 8*d + 11. Let l be p(9). Let c be (-2)/(-8) + 21⁄12. Let u(h) = 4*h. Let y be u©. Solve 2*k + l*k = -y for k.
-2
Let g be (-2)/4 - (-27)/2. Let q be (0 + 9/(-1))*-1. Let l = g - q. Solve -3*c + c = -l for c.
2
Let l be (-36)/(-10) + 4⁄10. Let y = l + -1. Solve -u = -2*u + y for u.
3
Let m be 2/((-2)/(-12)*4). Suppose 0 = -s - 1 + 5. Suppose -5*x + m*w = -0*w - 9, 0 = 2*w - s. Solve -7*v + x*v - 16 = 0 for v.
-4
Let f = -1 + 29. Solve 13 = 5*q + f for q.
-3
Suppose 14*r = 23*r - 27. Solve -15 = -r*a + 8*a for a.
-3
Suppose 0 = -4*w + 2*z + z + 19, 2*z + 10 = 0. Let k = 5 - w. Suppose -4*h = -0 - k. Solve y + 4 = h for y.
-3
Suppose 0*r - 3*r + 13 = j, 0 = 3*r - 2*j - 1. Suppose 5*i - 32 = -3*n, 7 = 5*i - 4*n + 3. Suppose 2*p - 4 = -y, i = y + 5*p + 9. Solve 0 = -h + r*h + y for h.
-5
Suppose m - 6 - 1 = -5*j, -3*m = 2*j - 34. Let r = m + -5. Solve 2*x = -3 - r for x.
-5
Suppose 51*l - 46*l - 10 = 0. Solve -2*h - l = -10 for h.
4