Let s(n) = -n**2 + 7*n + 5. Let h be s(7). Let q(o) = o - 3. Let l be q(h). Solve -l*d - 4 = -6 for d.
1
Let n = 6 + -2. Suppose n = -2*l, -14 = -5*b + 6*l - 4*l. Solve 15 = j + b*j for j.
5
Let l = -40 + 40. Solve 2*s - 3*s - 4 = l for s.
-4
Let s(u) = -4*u - 2. Let t be s(-2). Suppose -d + t*d - 15 = 0. Solve 0 = d*z - 2*z for z.
0
Let a be 0 - 2 - (3 + -10). Let w(y) = 2*y - 9. Let t be w(6). Solve 0 = t*b - 20 + a for b.
5
Suppose -x + 2*t = -4, -x + 3*t + 1 = -4. Solve -2*i - x = -i for i.
-2
Let m(q) = -8*q - 1. Suppose 2*j + 3*j = 5. Let y be m(j). Let f = -5 - y. Solve -f = 2*a - 12 for a.
4
Let i(w) = -w - 7. Let f be i(-16). Solve 2*u = -u + f for u.
3
Let u = -15 - -27. Solve 0 = -6*y + 3*y - u for y.
-4
Suppose 1 + 0 = u + 4*i, -2*i = 2*u - 2. Suppose -3*d - u = 2*a + 2, 4*d = -5*a + 3. Suppose 15 = 2*j + a*j. Solve -3*y - j = -2*y for y.
-3