Let y(w) = -w. Let c be y(-6). Let g = -3 + c. Suppose -k + g = -3*p, -5*p - 7 + 2 = 4*k. Solve -b + 0 + 1 = k for b.
1
Let m(f) = f + 9. Let b be m(-7). Suppose -b*d + 6 = -0*d. Solve 2*c + d = -3 for c.
-3
Let o be ((-2)/(-1) + -2)/(-1). Solve o*i + 4 = -2*i for i.
-2
Suppose 5*v + 7 - 32 = 0. Let r be 1/(-3) - v/(-15). Solve r*u - 4 = 2*u for u.
-2
Suppose o + 2*o - 30 = 3*g, -4*o - 4*g = -80. Suppose -f + 3*f - 6 = 0. Solve -f*m + o = 2*m for m.
3
Let a = 5 + 3. Suppose 5*h - 7 = a. Let c(p) = -p**2 + p + 6. Let g be c(3). Solve -d - h = -g for d.
-3
Let q(f) = f**2 - f - 7. Let i be q(4). Solve -5*j + 10 = -i for j.
3
Let z be 12⁄3 + -6 + 2. Solve z = h + h for h.
0
Let g be 6*1 + (14 - 13). Suppose g = -j + 11. Solve o = -j*o + 25 for o.
5
Let m(f) = -f3 + f2. Let g be m(0). Solve g = -0*d - d + 3 for d.
3