Let a = 140 + -140. Solve a = -4*k - 4 for k.
-1
Suppose 2*w = 5*w - 12. Suppose 0 = w*a - 5*a + 1. Suppose m = a + 1. Solve 1 = -m*f - 5 for f.
-3
Suppose -3*a = 4*b - 12, 0*a + 2*a - 6 = -2*b. Suppose -k + b = 2*k. Solve 0*o = o + k for o.
-1
Let o = -75 + 110. Suppose -6*v = -v - o. Let x be (-68)/(-6) - (-4)/6. Solve -3*f + x = -v*f for f.
-3
Let q be 9⁄6 - 1⁄2. Let o = 3 + q. Suppose 5*z - 2*m = 12, -3*z - o*m = -4 - 24. Solve 2 + 14 = -z*d for d.
-4
Let o(y) = y**2 - 4*y - 17. Let r be o(7). Solve 2*t - 10 = -r for t.
3
Let c be (1⁄2)/((-1)/(-86)). Let w = c + -31. Solve 2*a = 6*a + w for a.
-3
Let t be (-3)/62-5. Suppose -d + 1 + 0 = 0. Solve -t*l + 4 + d = 0 for l.
1
Suppose 3*d = -2*d + 15. Suppose -4*i + d = -v, 5*i - 5*v + 11 = -4. Solve 2 = i*f + 8 for f.
-3
Suppose 4*l + 2 = -3*g + 17, l + 5*g - 25 = 0. Suppose 0 = -4*t, 0*b - 2*b - 2*t = -12. Let r = -4 + b. Solve 0*v - r*v = l for v.
0