Suppose 5*d + 3 - 18 = 0. Suppose -15 = -d*l, -15 = -2*a - 4*l + 11. Let s = 20 - 5. Solve s = -0*i + a*i for i.
5
Let n = -34 + 37. Solve -7 = 5*l + n for l.
-2
Let z = -2 + 5. Let s be (12/(-9))/((-2)/z). Suppose 3 = s*w - 3. Solve -w*x = 2*x for x.
0
Let d = -5 - -5. Suppose d*m = 5*c - 4*m - 10, c = -5*m + 2. Suppose 2*u = 0, c*p + 2*u = -0*p + 8. Solve -4*h = 4 + p for h.
-2
Let h be 2⁄9 + (-488)/(-72). Suppose 4*t = 15 - h. Solve -3*j + 2 = -t*j for j.
2
Let i(g) = 2*g**2 - 11*g - 2. Let s be i(6). Solve -6 = 5*z + s for z.
-2
Let b(w) = -w3 + 9*w2 + 7. Let h be b(9). Suppose -4*f + h = -1. Solve 15 = -p - f*p for p.
-5
Let n(k) = k**2 - 7*k - 11. Suppose -5*t - a + 46 = -2*a, a - 8 = -t. Let b be n(t). Let m = 14 - 8. Solve 2 = -m*o + b*o for o.
2
Let i be 12⁄42 - (-2)/(-7). Suppose i = 4*n - m - m - 12, 3*n - 12 = 3*m. Solve -5*p - 13 = n for p.
-3
Suppose 3 = 3*p - 3. Let w be (p/6)/((-8)/(-456)). Solve 5*f + w = -1 for f.
-4