Let w = 7 + -6. Solve p - w = -2 for p.
-1
Let v(u) be the third derivative of 0*u + 1⁄24*u4 + 0 - 1⁄2*u3 + 2*u**2. Let s be v(6). Solve -2*w = -w + s for w.
-3
Let k(i) = -i + 1. Let t be k(-1). Suppose -5*b = -t*b. Solve 1 + b = -d for d.
-1
Let c(n) = n3 + 8*n2 + 2. Suppose -5*d + 31 + 8 = -3*j, 0 = -j - 5*d + 7. Let w be c(j). Solve -3*o + o = -w for o.
1
Suppose 0 = -f - f + 18. Let a = f - 7. Suppose -3 = -a*d - d. Solve d = -v + 2 for v.
1
Suppose 9 = 2*k + 1. Solve -2 - 2 = k*m for m.
-1
Let c be 1*(-4 - (6 + -1)). Let a = 48 - 18. Let s be (a/c)/(6/(-9)). Solve 24 = -s*j + 4 for j.
-4
Let x be (2/(-7))/(8/(-112)). Solve -x*h = -h + 3 for h.
-1
Let s = -156 + 160. Solve 10 - 26 = -s*x for x.
4
Suppose -10 = -3*j - 4. Solve -3*w + j = -w for w.
1