Let r(y) = -y**2 - 7*y + 1. Let h be r(-3). Solve h = -2*f + 3 for f.
-5
Suppose 0 = 5*w + 4*s + 2, -2*w + s = 4*s + 5. Let q(v) = -3*v**3 + 4*v + 3. Let h be q(-2). Suppose -5*j + i = -13, j + 5*i = -6 + h. Solve j*y - 4 = w for y.
2
Suppose 13 + 38 = -3*h. Let d = h + 17. Solve d = -2*q + q for q.
0
Let j be 3⁄78*82 - (-8)/(-52). Solve -13 = 5*q - j for q.
-2
Let u = 13 + -8. Suppose 0*h - 15 = u*h. Let o(k) = k3 + 5*k2 + 2*k - 3. Let r be o(h). Solve r*w - 5*w - 8 = 0 for w.
2
Let o = -63 - -69. Solve o*n - 15 = n for n.
3
Suppose 5*q = -47 - 8. Let x = q - -11. Solve 0 = -x*j - j + 5 for j.
5
Suppose -17 = -5*i + 8. Suppose -4*m + 42 + 6 = 0. Suppose 7*n - m = 5*n. Solve -1 + n = -i*h for h.
-1
Let q be -145(-16)/20. Solve -q + 11 = 5*k for k.
-5
Suppose -y = -5*y. Let m(h) be the first derivative of -h4⁄4 - h3 + h**2 + 2*h + 5. Let k be m(-4). Solve -q - 4*q - k = y for q.
-2