Let p(w) = -w - 1. Let q be p(0). Let r be -2 - (q - 2 - -1). Solve -y + 2 = -r*y for y.
2
Suppose 0 = n - 2 - 0. Suppose 16 = -n*o - 2. Let p be o/(-12)*2*2. Solve -16 = p*g + g for g.
-4
Suppose 5*c - 32 - 4 = -4*f, 0 = 5*c - 5*f - 45. Solve c = b + b for b.
4
Let d = 6 + -4. Suppose 3*u + 7 - 26 = -4*r, 2*r = 4*u - 18. Suppose -14 = -u*a + 51. Solve -5*l + d = -a for l.
3
Let m® = 3*r - 15. Suppose -4*c = -2*c - 22. Let x(a) = -a + 5. Let l(t) = c*x(t) + 4*m(t). Let y be l(5). Solve -5*f + 17 - 7 = y for f.
2
Suppose -r - 60 = -4*h + r, 0 = -5*h + 4*r + 69. Solve 5*s = h - 2 for s.
3
Let m be 0/1 + -10 + 12. Suppose -l + 7 + 5 = 0. Solve m*x + x = l for x.
4
Let z(q) = -2*q + 6. Let p be z(-6). Let b be 4/p - (-80)/45. Solve -r + b = 6 for r.
-4
Let l = -61 - -63. Solve -a - l = -3 for a.
1
Let s(k) = k3 + k2 + 1. Let l be s(0). Solve -16 = 3*x - l for x.
-5