Let d(o) = 5*o3 + 4*o2 + 3*o + 2. Let n be d(-2). Let q be (5/(-4) + -1)*8. Let x = q - n. Solve h = 6*h + x for h.
-2
Suppose 2*h - 3*h = -11. Suppose 0 = -5*t + m + 19, 0*m + 5*m + h = 4*t. Solve -k + t = k for k.
2
Let d(p) = p2 - p. Let x(k) = -5*k2 + 1. Let w(z) = -6*d(z) - x(z). Let l be w(5). Solve -5*y - l = -y for y.
-1
Suppose -3*p = -8 - 16. Solve 0 = 4*g - 0*g - p for g.
2
Suppose -5*w = -0*w - 15. Solve -w*k + 13 - 4 = 0 for k.
3
Let d = 70 - 68. Solve 0 = -z + d*z + 2 for z.
-2
Suppose -4*c - 503 = -203. Let t = c - -111. Let f be (t/(-8))/(3/(-4)). Solve s + s = f for s.
3
Suppose -7 = -5*v + n, -n + 1 + 0 = -v. Solve v = -3*o + 2*o for o.
-2
Let o = 77 - 77. Let a be ((-2)/3)/((-2)/3). Solve -a = -o*i - i for i.
1
Let w = 50 - 45. Solve w*x = -13 - 12 for x.
-5