Let f = 11 + -7. Solve -f*m - 2 = -6 for m.
1
Let t be 0/(-2) + 3⁄1. Suppose 2*n = 5*y + 3*n + 76, y + 13 = 2*n. Let x = -11 - y. Solve -i - x = -t*i for i.
2
Let d be (1⁄2)/((-6)/(-72)). Suppose 3*l = d + 3. Solve l*v - 6 = -0 for v.
2
Suppose -8 = -2*j + 2. Solve j = -2*b - 1 for b.
-3
Let x = 4 - 7. Let y be (x/(-7))/(2⁄14). Solve 0*z + 15 = -y*z for z.
-5
Let z = -5 + 9. Let t be 32/(-8) + (-1 - -6). Solve -p + t = z for p.
-3
Let v = -15 - -23. Suppose 0*n + 4*n = 0. Let y = -10 - -17. Solve n = 5*w + y + v for w.
-3
Suppose k - 4*k + 42 = 0. Let g be -1 + -2 + 3 - -4. Solve -g*b + k = -6 for b.
5
Let g(t) = -t + 7. Let r be g(7). Solve f = -r - 2 for f.
-2
Suppose 5*u - 7*u = -8. Suppose u*t = 5*t - 4. Solve t*n = 1 - 13 for n.
-3