Let s(n) = n3 + 4*n2 + n - 1. Let u be s(-3). Suppose -x = -0*x - u. Solve 0 = 2*f - x*f for f.
0
Let n be 1/(1 - 2⁄4). Let i be (-9)/6(-16)/6. Let t be 4/i-1*-1. Solve c = n*c - t for c.
1
Let p(l) = -10*l + 5. Let s be p(0). Solve s*t - 1 = 6*t for t.
-1
Let v(l) = l**2. Let j be v(-3). Suppose -3*p + 3 = -j. Solve 2*z + 2 = -p for z.
-3
Suppose -10 = -3*q - 4. Suppose 3*y = q*y + 5*x - 5, -5*y - 5*x + 35 = 0. Suppose -20 = -4*m - 0*m + 2*t, -5*t = -y*m + 35. Solve m*n + 25 = -2*n for n.
-5
Suppose -f + 12 = 5*u, -u = 5*f - 0*f + 12. Let q(z) be the first derivative of z3⁄3 + z2⁄2 + 3*z - 1. Let j be q(f). Solve -j = 5*t + 6 for t.
-3
Suppose -s + 5*v + 19 = -0*s, -2*v = s + 2. Solve 0 = s*x + 2 - 22 for x.
5
Let c = 6 + -4. Suppose -g - c = 2. Let n be g/(-14) + 38⁄14. Solve 0*q = n*q + 15 for q.
-5
Let j(y) be the second derivative of -y5⁄20 + 5*y4⁄12 - y3⁄2 - y2⁄2 + 4*y. Let m be j(4). Solve 0*z - m*z - 15 = 0 for z.
-5
Let w be (-42)/(-2)*8⁄12. Suppose f = -2*z + 5*f - w, 4*z + 2*f + 38 = 0. Let t = z + 9. Solve t = s + 2 + 1 for s.
-3