Let x(y) = y - 2. Let b be x(2). Solve b + 4 = -s for s.
-4
Let u = -34 - -36. Solve -6*m + u*m = -4 for m.
1
Suppose -s - 39 = -14*s. Solve 0*w - s*w = -9 for w.
3
Let v = 13 - 23. Let x = v - -16. Solve 0 + x = -2*p for p.
-3
Let v = -5 - -9. Suppose -v*d - 1 = -9. Let z(j) = j**2 - 5*j - 3. Let s be z(6). Solve 0 = -s*o - 4 - d for o.
-2
Suppose 0*p = -3*p. Solve -4*z + 2 - 6 = p for z.
-1
Suppose 21 = 3*t - 3*o - 15, 48 = 4*t - 5*o. Let s be 1⁄4 + (-3)/t. Suppose -3*u - 15 = 4*p, s*p - 2*u = 5*p + 10. Solve p*v + 4*v = -8 for v.
-2
Let a be (16⁄6)/(2⁄6). Let t be a/(-6)*6⁄4. Let q be 0 + 5 + (t - 0). Solve -q*b + 2*b + 1 = 0 for b.
1
Let w = 12 - 7. Let h(s) = s**2 - 4*s - 2. Let m be h(5). Solve d = w - m for d.
2
Suppose 5*i = 15, -i - 6 = -4*v + v. Let h = -1 + 3. Suppose -2*d - b - 1 = 0, -3*d = -6*d - h*b - 3. Solve g - v = d for g.
4