Let x be (20⁄14)/(10⁄70). Solve 10 = 5*k - x for k.
4
Let x be ((3 - 5) + 4)*2. Solve x = y + 6 for y.
-2
Suppose 5*j - 7 + 72 = 0. Let w be (1 - 3) + 18 + j. Solve -2*c = -w*c - 2 for c.
-2
Let y = -37 + 42. Suppose -7*c = -2*c. Solve 0*g + y*g + 10 = c for g.
-2
Let m be 3*((-4)/(-6))/(-1). Let y = m + 14. Suppose w = -5*r - y - 5, 3*w - r - 13 = 0. Solve -w*v = -4*v - 4 for v.
-4
Suppose 37 = 7*x + 2. Suppose z + x = -4*y, 5*y = 5*z - 3*z + 10. Solve y*f = -2*f + 4 for f.
2
Suppose r = 2 + 1. Let l be (r + -1 - 5) + 9. Solve 0 = -3*n - l for n.
-2
Let p = -9 - -18. Suppose -4*g + p = -3. Solve -4*k + 7*k + g = 0 for k.
-1
Let j = -48 - -50. Solve p = -j*p - 15 for p.
-5
Suppose 5*p = -2*z + 93, p = -2*z + 35 - 10. Let l = 22 - p. Solve -l*u - 8 = -u for u.
-2