Suppose -2*h = -4*h + 4. Solve -h*f + 3 = -1 for f.
2
Suppose 2*z = -2z. Let d be (z - 3)(-2 + 1). Suppose 4*h = -2*v - 6, 0 = 4*h - 6*h + v + d. Solve h = -5*a + 15 for a.
3
Suppose -m = -2*d - 24, 6*m + 2*d = 3*m + 40. Suppose -o + 4*c = m, -4*c = -5*o - 2*c + 10. Solve v + o*v + 20 = 0 for v.
-4
Let j = -2 - -5. Let q be ((-12)/(-2) - 2) + 0. Let m be 15/(-2)*q/(-6). Solve m*k - j - 2 = 0 for k.
1
Let m = -15 + 47. Let o = m - 17. Let z = -8 + o. Solve 1 = -2*d - z for d.
-4
Suppose -17 = -6*s + 1. Solve 2*c + s*c = 0 for c.
0
Suppose 0*t - 2*t - 3*y = 0, -y - 22 = -3*t. Solve -4*j = -j - t for j.
2
Let r be 1⁄5 - 28/(-10). Suppose -3 = -u + 6. Let b be 47/u - 2⁄9. Solve r*n - b = 8*n for n.
-1
Suppose 2*f - f = -4, 4*f = 2*r - 46. Suppose t + 2*t = r. Solve 4*q + t = -7 for q.
-3
Let d be ((-1)/1)/(-2 + 1). Suppose -s + d = -1. Suppose -5*y - 5*b + 26 + 24 = 0, y - 22 = -4*b. Solve s*w - y = -w for w.
2