Let k = -5 - 2. Let a be k + 12 - 2/(-2). Solve 0 = 5*p - 2*p + a for p.
-2
Let p = 0 + 4. Suppose -z - 2*f + 4 = z, 5*z + 2*f = p. Solve -6 = 2*n - z*n for n.
-3
Suppose 5*i - 31 = -1. Suppose -o + 4*o = i. Suppose x + 13 = 2*s + 2*x, -o*s + x = -7. Solve s*y = -7 - 18 for y.
-5
Let m(d) = d - 10. Let s be m(13). Suppose -2*p = s*p - 10. Solve -p = f - 1 for f.
-1
Let k = 16 - 12. Suppose 0 = -4*j - 9 + 29. Solve -k*w + j = -3*w for w.
5
Let x(y) = 3*y - 4. Let b be x(7). Let f be (13 - -3)*1⁄2. Solve 5*n = f + b for n.
5
Let y = 20 + -18. Solve 6*h = y*h for h.
0
Suppose -7 = -u - 2*f, -2*f - 3*f = -4*u + 2. Solve -8 = -u*z + 7 for z.
5
Suppose -3*f + 4 = -f. Let v = -13 - -19. Solve f*p = -v - 0 for p.
-3
Suppose -3*f - 18 = -6*f. Solve -f*u + 10 = -u for u.
2