Let w be (-4)/(-10)*(3 + 2). Let o(t) = t**2 - t + 3. Suppose -4*f + 0*f + 4*l - 8 = 0, -8 = -4*l. Let n be o(f). Solve w*q = -n*q + 5 for q.
1
Let q(u) = -u - 7. Let v be q(-6). Let n = -6 - -8. Let k be -1 + (-1 - n/v). Solve k = -h - 1 for h.
-1
Let r(s) be the second derivative of -s4⁄12 - 7*s3⁄6 + s**2⁄2 + 2*s. Suppose -28 = 3*t - 10. Let m be r(t). Solve -m - 13 = -5*q for q.
4
Suppose 4*g + 0*w + 2*w = 24, -4w + 3 = -g. Let l be 9((-3)/3)/(-3). Suppose -l*y - 2*h = -18, 0 = 6*h - 3*h - 9. Solve -5*s = -y*s - g for s.
5
Suppose 5*b = -b. Let c = b + 3. Solve -2 = -z + c for z.
5
Let z(s) = -s3 - 9*s2 + 21*s + 5. Let g be z(-11). Solve -4 + g = 4*j for j.
3
Let m(t) = t3 - 6*t2 - 2. Let j be m(6). Let n = j - -5. Solve -n = 4*u + 17 for u.
-5
Let n be (-1)/(-1) + 1 + 4. Let s be ((-4)/2)/(-2) + n. Suppose -2*d - 10 = -s*d. Solve -3 = d*f - 1 for f.
-1
Suppose -2*u = 3*u. Suppose u = 4*f - 23 - 41. Solve 5*b - f = b for b.
4
Let o be (-7)/((-70)/6)*5. Solve o - 1 = z for z.
2