Suppose -z - 2*z = 0. Suppose 2*o - 4 - 2 = z. Let m be o - (-1)/(2/(-4)). Solve -y + 3 + m = 0 for y.
4
Suppose 0 = 11*p - 9 - 13. Solve 0 = 5*b - 3*b - p for b.
1
Let c(t) = t - 4. Let a be c(6). Solve 0 = -2*f + 3*f + a for f.
-2
Let b = -1 + 1. Suppose b*h - 33 = 3*h. Let c be 6/(-9) + h/(-3). Solve 0 = -3*u + c + 3 for u.
2
Let a = 18 - 27. Let u = 9 + a. Solve l = -u + 4 for l.
4
Suppose d = 2*v - 4*d - 5, -d = 2*v + 1. Suppose 2*z - 3*x = 7, -2*x = z - v*z - 7. Suppose -z*p + 3 = -2*p. Solve 3 - p = -t for t.
-2
Let w = -1 + 1. Let x = 9 - 3. Suppose -k + x = 3. Solve 0 = 3*c - w - k for c.
1
Let c(u) = u**2 - u - 10. Let w be c(-5). Solve -4*s + 9*s - w = 0 for s.
4
Let m(d) = -d - 3. Let g be m(-3). Suppose -f - 4 = -3*j, g*f - 21 = -f - 2*j. Let o = 1 - 0. Solve o = 5*t + f for t.
-2
Let h be -1*(5⁄5 - 1). Solve 4*z + h = -4 for z.
-1