Let x be -2*(-14)/(-5 - -3). Let q = x + 26. Solve 3*i - q = -0*i for i.
4
Let m(t) = t**2 + 2*t - 2. Let a be m(-3). Suppose q = a + 3. Let d = 4 - q. Solve -2 = 2*h - d for h.
-1
Let p = -8 + 11. Solve -1 = m + p for m.
-4
Suppose o = 6*o, 4*i - o = 0. Suppose i = -2*w + w. Solve 0 = 2*v - w + 2 for v.
-1
Suppose -3*i - z = -1 - 5, -9 = -4*i - z. Solve -6 + 0 = i*x for x.
-2
Suppose 5*l + 4*k + 1 = -4, -4*l + 7 = k. Suppose -6 = -l*y + 12. Let t = 8 - y. Solve -s + t = -0 for s.
2
Suppose -5*h + 13 = -w, 3*h + 5 = -5*w - 4. Solve -h*j = -7 - 1 for j.
4
Let j be (472⁄26 - (-2)/(-13)) + -2. Solve 0 = 2*p - 6*p - j for p.
-4
Suppose 0 = 5*i + 5*j - 35, 4*j - 16 = -2*i. Solve -w = -4*w - i for w.
-2
Suppose o = -q - 0*q - 1, -5*q + 3*o + 19 = 0. Suppose 0*f = f - q. Solve 0 = 4*y - 2*y + f for y.
-1