Let m(l) be the first derivative of l4⁄4 + 7*l3⁄3 - l**2⁄2 - 10*l + 2. Let i be m(-7). Let p = 4 + i. Solve t + 3 - p = 0 for t.
-2
Suppose 7*q = 3*q. Suppose -3*a + 0*a = q. Let b be (-4)/(-6)*6⁄2. Solve a = b*p + 3*p + 5 for p.
-1
Suppose 0 = 4*f - 7 - 9. Let s = 28 - -5. Suppose -s = -y - 13. Solve -f*j = -0*j + y for j.
-5
Let b be (-120)/(-18) - 4⁄6. Solve 0 = 3*t + 3 + b for t.
-3
Let q(b) = -b + 2*b + 5 + 7. Let i = -13 - -7. Let u be q(i). Solve 2*x = -u - 2 for x.
-4
Suppose -q - 2*t - 4 = -4*t, 3*q = -4*t + 18. Let v be q*3 + (-20)/5. Solve 0 = -v*m - 7 + 1 for m.
-3
Suppose 0 = -6*a + a + 10, 5*p - 4 = 3*a. Solve -p = k - 1 for k.
-1
Suppose -3*v - 2*q + 35 = 2*q, -4*v - 4*q = -40. Suppose -5*o = v*a - 55, o - 6*o + 4*a + 37 = 0. Suppose 0*k = 3*k - o. Solve 0 = r - 4*r - k for r.
-1
Let c be 106/(-66)*-3 + 6⁄33. Solve 1 - c = -r for r.
4
Let m be 0 - 3*3/(-3). Solve -m = 2*s + s for s.
-1