Let q(g) = -g3 - 12*g2 + 14*g + 20. Let w be q(-13). Suppose -1 - 2 = -x. Suppose 1 + 2 = x*z. Solve -2*k + w = -z for k.
4
Let d = -3 - -6. Suppose 3*y = 7*y - 4. Let w = -1 + y. Solve w = d*i + i for i.
0
Suppose 0 = 5*u - 3 - 7. Suppose 0 = -u*d + 3*d - 3. Solve -d = -4*x + x for x.
1
Let c be (-2)/(-5) - (-14)/(-35). Solve 0*x + x = c for x.
0
Let n = 24 + -28. Let p(s) = s**3 + 9. Let g be p(0). Let u = g + n. Solve 0 = -2*m + 7*m - u for m.
1
Suppose -4*o + 20 = 4. Solve 3*b = 4*b - o for b.
4
Let i = -135 - -147. Solve i = 5*f - f for f.
3
Suppose 10 = -2*t + 26. Let d = t + -8. Solve -5*r = -d*r - 25 for r.
5
Let h be (-18)/(-15)(-35)/(-2). Let m be 2⁄2(h + 5). Solve -4*i = 6 - m for i.
5
Let z be 94⁄18 - 8⁄36. Suppose -3*j = -4*b + 8, -3*j = 2*b - 4*j - 2. Let f = b + z. Solve 2*r = f*r + 2 for r.
-1