Let d(w) be the third derivative of -w4⁄12 - 2*w3 - w**2. Let i be d(-9). Let y = i - 3. Solve -y*z + 6*z - 3 = 0 for z.
1
Let x be 9⁄6*(-5 + 3). Let f be -1 - -4 - 3/x. Solve 4 = -0*d + f*d for d.
1
Let r = 6 + -7. Let w be r + 6 - (0 + 2). Suppose 12 = -4*y + 2*m + 32, 3*m + 10 = 2*y. Solve -y*o - 7 = w for o.
-2
Let c be ((4 - 16⁄4)/(-1))/(-2). Solve 4*w - 16 + c = 0 for w.
4
Let d = 63 - 59. Solve -4*w - d = -20 for w.
4
Suppose 4*n = 5*d + 68, 5*d + 17 = 2*n - 27. Suppose n = -0*f + 4*f. Let g = -10 + 12. Solve 0 = -g*w + f*w for w.
0
Let c be (4/(-18))/1 + 4⁄18. Solve a + c*a + 5 = 0 for a.
-5
Suppose -8*r - 30 = -13*r. Solve r = -4*y - 14 for y.
-5
Suppose -7*o + 23 = -5. Solve -o - 2 = 2*s for s.
-3
Let l be (-6)/(-33) + (-189)/11. Let t = l - -10. Let h = t + 9. Solve 3*f + 1 = h*f for f.
-1