Let k = 25 + -43. Let n = k + 30. Solve 5*v - n = 3 for v.
3
Suppose -2*b = -4*b + 2. Let n be ((-3 - 0) + 3)/1. Suppose n*s + s = 0. Solve -a + b = -s for a.
1
Let c be 2⁄4*6 + -3. Solve -2*w + w + 3 = c for w.
3
Let m© = c3 + 6*c2 + 5*c - 6. Let z be m(-5). Let k(a) = -a - 3. Let s be k(z). Solve -2 = -4*u + s*u for u.
2
Suppose -p - 2 = -0*p. Let x = 0 - p. Solve 0 = -0*u + x*u for u.
0
Suppose 0 = -3*n - 2*j - 4 + 3, -4*j = -4*n + 12. Let p(u) be the first derivative of u4⁄2 - u3⁄3 + u**2 - u - 11. Let l be p(n). Solve -2*y + 0 = l for y.
-1
Let v(k) = k**2 + 9*k + 10. Let l be v(-8). Solve -l + 8 = 2*w for w.
3
Suppose 7*s - 2*s = 180. Suppose 0*h - s = -4*h. Let q = h + -4. Solve 15 = q*u - 10 for u.
5
Let i be (-1 - -4)*2⁄1. Let o(a) = -6*a2 - 3*a3 + 4*a + 2*a2 + i*a3 - 2*a**3. Let p be o(3). Solve 4*m = p + 1 for m.
1
Suppose 0 = 5*l - 2*l - 12. Let t = 6 - l. Suppose 1 = -q + 5*s, -4*s + 0 = -4. Solve -8 = -q*b + t*b for b.
4