Let h = 17 + -12. Let v = h + -5. Let q be (-1 - -2) + 5 + -3. Solve q*n + v*n = 0 for n.
0
Let r = 24 + -24. Solve r = 8*s - 4*s + 12 for s.
-3
Suppose 3*n + 2*n = 30. Suppose 2*t - 4*m - 10 - n = 0, -5*t - 5*m - 35 = 0. Let r be 2⁄1 - 22/t. Solve r = -5*l - 12 for l.
-5
Let j be (645⁄27)/5 + (-4)/(-18). Let o be (-2)/8 - (-17)/4. Let a be (24⁄20)/((-3)/(-15)). Solve 0 = -j*v - a - o for v.
-2
Let l(o) be the first derivative of -o4⁄4 - 10*o3⁄3 - 5*o**2 - 8*o - 4. Let n be l(-9). Suppose -n = -3*h + 8. Solve -h*v = -8*v + 25 for v.
5
Suppose -24 = -2*h + 26. Solve -r = 4*r - h for r.
5
Let b be (4 + -4)*1/(-3). Solve b - 5 = -t for t.
5
Let s = 14 + -10. Suppose s*p - 18 - 18 = 0. Solve 2*f = 1 - p for f.
-4
Let w be (-2)/(-4)(-60)/1. Let y be -5(-4)/w*-3. Solve -y*l = 2*l for l.
0
Suppose 0 = 36*d - 40*d + 8. Suppose 0 = 2*l - 10, 3*l - 12 = -r + 3. Solve -k = d - r for k.
-2