Suppose t + 30 = -2*t. Let b = 13 - 31. Let g = t - b. Solve -3*w = -w - g for w.
4
Let u be 153⁄85 - (-2)/10. Solve -u = 3*i - 2*i for i.
-2
Let p = 5 + -5. Let j(t) = p*t2 + t3 + 0*t2 - t2. Let d be j(1). Solve -6 = 2*k - d*k for k.
-3
Suppose 0 = 4*h - h - 4*k - 6, -2*h + 4 = 4*k. Suppose -h*t = t - 9. Suppose -3*p + 31 = -2*s, 4*p - 3*s - 39 = t. Solve -2*b + p - 3 = 0 for b.
3
Let t = -6 + 4. Let y be t*(-2)/(-4) + 1. Suppose -3*a + 3*f + 1 + 8 = 0, y = 3*a + 4*f - 16. Solve 2*n = a*n - 8 for n.
4
Suppose 8 = -2*d + 2. Let o(m) = -m3 - 2*m2 + m - 1. Let z be o(d). Let y be -6*(z/(-2) - -1). Solve 4*v = 25 - y for v.
4
Suppose 5*u + 8 = -w, 0*w - 5*w + 20 = -5*u. Suppose -v - w*v = 0. Solve v = -3*m + 4*m for m.
0
Let b(m) = -m3 - 8*m2 - 7*m + 3. Let a = 10 - 17. Let f be b(a). Solve -f*g = -0*g + 9 for g.
-3
Let f be (-2)/((0 + 1)*-1). Solve -f*z - 3 = -z for z.
-3
Let b(a) = 2*a**2 + 20*a + 4. Let q be b(-10). Solve -q*v + 10 - 2 = 0 for v.
2