Let t(n) = n**2 - 21*n + 56. Let r be t(18). Solve 0 = -m - m + r for m.
1
Suppose 3*d - 5 = 4. Suppose -7 + 1 = -d*x. Solve 0 = 2*l - l - x for l.
2
Suppose 4*k = -5*j + 3*j + 76, -8 = -2*j. Suppose -4*n + k - 1 = -2*x, 5*x - 5*n + 55 = 0. Let v = 22 + x. Solve -s + v = 3*s for s.
2
Let d = 95 + -93. Suppose 6 = 4*t - 2. Solve d*o = t + 2 for o.
2
Let h(k) be the first derivative of k**2⁄2 - 5. Let j be h(1). Solve 2*n = -j + 9 for n.
4
Let u = -4 - -7. Suppose 2*c = -d + c + 8, -5*c + 16 = -u*d. Solve -a - d = 1 for a.
-4
Let w be ((-1)/2)/(10/(-60)). Let d be 1/(-2 + 190⁄94). Let k = d + -27. Solve w*l + l + k = 0 for l.
-5
Suppose -2*s = -0*s - 2. Solve s = -3*t + 4*t for t.
1
Let l(v) = -2*v + 1. Let o be l(-6). Let w = 18 - o. Let f(i) = 2*i - 13. Let h be f(9). Solve 0 = -w*y - h for y.
-1
Let s = 3 + 0. Suppose s*h + 2*p = 2, -14 = -h - 2*h - 5p. Let q be -1(0 + h)*2. Solve v - q*v = 6 for v.
-2