Suppose -17 = -b - 0*b. Let s = 28 - b. Solve -n + 6 = s for n.
-5
Let n be 2⁄10 - 8/(-10). Solve 0 = 5*a - n - 9 for a.
2
Let q(s) = s**2 - 10*s. Let l be q(10). Solve 4*d + d + 10 = l for d.
-2
Let c(d) = d - 5. Let o be c(8). Suppose -o*f + 7 = -11. Suppose r + 7 = 22. Solve 3*z = f*z + r for z.
-5
Let p = 68 + -35. Let z be p/7 + (-28)/(-98). Solve -12 = -z*s - 2 for s.
2
Let m® = r3 - 3*r2 - 16*r - 6. Let z be m(6). Solve -5*l = 4 + z for l.
-2
Let a(s) = -4*s - 4. Let w(v) = 9*v + 8. Let o(y) = 7*a(y) + 3*w(y). Let c be o(-4). Solve -2*p + 4 = -c*p for p.
2
Let x(l) = -l - 5. Let z be x(7). Let a be (-3)/(-12) - (-267)/z. Let f = a - -34. Solve -5*m = -m + f for m.
-3
Let o = 5 - -2. Let i = o - 6. Solve -i - 1 = k for k.
-2
Suppose p - 3*p + 10 = 0. Solve 3*t + 2 = p for t.
1