Let z(l) = l3 + 8*l2 - 11*l - 13. Let n be z(-9). Suppose -21 = -n*k - 6. Solve -2*j + k*j = 0 for j.
0
Let g = 43 + -28. Suppose -5*s + 5 = 2*w, -s - 3 = -w + 3. Suppose w*t - 5*q - 15 = 0, q = t + 4*t - g. Solve 0 = -m + 7 - t for m.
4
Let a(j) = -j + 1. Let c(q) = q**2 + 11*q - 14. Let x(l) = -6*a(l) - c(l). Let r be x(-6). Solve -4 = r*p - 6*p for p.
1
Let n = -26 + 31. Solve 6*s = 5*s - n for s.
-5
Let b(z) = -z**2 - 6*z + 7. Let w be b(-6). Let u = 12 - w. Suppose -m - u = -5*o, 3*o = -m + 7*o - 3. Solve -f + 0 = -m for f.
5
Let g(k) = 2*k - 4. Let l be g(5). Solve 5*w - l = 4 for w.
2
Suppose -5*s + 10 = -0. Suppose 7*y = s*y + 15. Solve 0 = a - y*a + 8 for a.
4
Let a be 2*1 - (4 - 4). Suppose -2*s + 8 = 7*o - 4*o, -2 = s + 3*o. Solve a*g + s = -3*g for g.
-2
Let q be 1/(-2) + 5⁄2. Solve -q*h + h = 0 for h.
0
Let y(h) = -2*h + 6. Let m be y(5). Let d = -3 - m. Solve -1 = -2*b + d for b.
1