Let u be ((-21)/(-12) - 1)*16. Suppose -3*o = -4*i + 39 - u, i - 3*o - 18 = 0. Solve -i*n = -5*n for n.
0
Let m(f) = -f3 - 9*f2 + 9*f - 10. Let o be m(-10). Solve 4*i - 2*i = o for i.
0
Let t(f) = -f3 + 4*f2 - 4*f + 2. Let k be t(2). Let i be 1 + k + 36⁄4. Solve -4*o - i = -0*o for o.
-3
Let x(t) be the first derivative of 2*t**2 + 1. Let g be x(1). Solve -2*y + g - 6 = 0 for y.
-1
Let d = -7 + 12. Suppose 4*j = 3*j + d. Solve 0 = 5*p - j - 10 for p.
3
Let q = 15 - -2. Let u = q + 1. Let a = u + -13. Solve -a*p + 1 = 6 for p.
-1
Let q = 3 - -2. Suppose 0*r + r + 3 = 0, 0 = q*p + 3*r + 189. Let j be (-8)/p - (-2)/(-9). Solve 2*u + j = 2 for u.
1
Suppose -9*b - 1 = -19. Solve -y + b = -0*y for y.
2
Let p = 1 - -11. Solve 0*f + p = 3*f for f.
4
Suppose 0 = 3*k - 7 - 17. Let d = -14 - -31. Suppose d = 4*p + 1. Solve k = p*q - 0 for q.
2