Let s be 2⁄3*-1 + 16⁄24. Solve 0 = 2*y - s*y for y.
0
Let k = -4 + 7. Let i = 3 - k. Solve c = -i*c + 2 for c.
2
Let n = 12 + -4. Suppose n = -3*k + 20. Suppose k = u + u. Solve u*m = 5 + 3 for m.
4
Suppose -3*l = l - 16. Suppose 3*j = l*j + 16. Let x be (-9)/12*j/6. Solve x*n = 3*n - 1 for n.
1
Let a be (-3 + 18)*6⁄9. Suppose m + a = 2*m. Solve -9*y = -4*y - m for y.
2
Suppose -5*c + 46 = -4. Let f = c + -3. Solve 0 = -4*q - f + 3 for q.
-1
Let c be (1 + (-4)/(-6))*(-24)/(-20). Let s = 1 - -1. Solve -c*k + 0 = -s for k.
1
Let c = 7 - -2. Let t = c - 7. Solve -2 = t*l + 8 for l.
-5
Suppose -67 = -3*c - 4*i, -5*i + 10*i = -2*c + 40. Solve 3*r = -2*r + c for r.
5
Let n© be the third derivative of c5⁄60 + c4⁄8 + c3⁄2 + 4*c2. Let d be n(-2). Solve d = w - 4 for w.
5