Let b(d) = -7*d - 3. Let z be b(-1). Solve 4*k + z = -0*k for k.
-1
Suppose 0 = 5*c - 0*c - 70. Let v = c - 11. Solve 4*w - v = w for w.
1
Let p = 5 + -2. Suppose 0 = 3*i - p*m - 15 - 9, -2*m - 10 = -i. Let k = i + -2. Solve 2*z + k - 2 = 0 for z.
-1
Let k = 10 + -5. Suppose 4*u = k + 7. Suppose 0*r - 51 = -4*y + r, -r + 40 = u*y. Solve -y + 1 = -4*h for h.
3
Let k = 4 - 1. Suppose o = -2*b + 3, k*o + 4*b - 18 = 5*o. Let z = 5 + o. Solve 0 = -z*h - 2 - 0 for h.
-1
Let w be (-3 - (3 + -2))/(-1). Suppose 0 = -m - w, -m - 2*m - 15 = -o. Solve o = 5*k + 18 for k.
-3
Let d be 5⁄15 - (-2)/(-6). Suppose -3*g + 5*l - 25 = -g, -2*g + 2*l - 10 = d. Solve -4*z + 2*z - 4 = g for z.
-2
Suppose 3*w = -0*w. Suppose x + 0*x - 4 = w. Solve -5*m + x = -6 for m.
2
Suppose 8 = 3*r - 1. Suppose 24 = 5*y + 3*s + 7, -3*y + 3*s = -15. Solve y*i + r = i for i.
-1
Suppose -4*l - 11 + 27 = 0. Suppose -l*w = w - 10. Let i© = c. Let r be i(4). Solve w*n + 0*n = r for n.
2