Let i be 1/((-1)/(-5) + 0). Suppose f - i = -0. Let q(n) = n**2 - 6*n + 7. Let y be q(f). Solve -y*s - 4 = -6*s for s.
1
Let w(q) = q3 + q2 - 2*q + 4. Let r be w(0). Let k(m) = -m**2 - 6*m - 2. Let d be k(-5). Solve 0 = -4*o + d*o - r for o.
-4
Let l be 2⁄6 + 10⁄6. Let h be 15⁄10 + (-3)/2. Solve g = -h + l for g.
2
Let u = 2 + 8. Let n = -6 + u. Solve 2*l + 4 = n*l for l.
2
Suppose 0*h - 2*r + 20 = 3*h, 4*h - 3*r = 4. Suppose -1 = -h*p + 11. Let g be 6 - (p + (-6)/3). Solve -g*o = -0*o for o.
0
Suppose 6*d - 36 = 3*d. Solve -t - d = 3*t for t.
-3
Suppose -3*s - 2*s - 3*r = -3, 0 = s - 2*r - 11. Let b be (-12)/(-1 - s)*1. Solve b = -g - 0*g for g.
-3
Suppose -5*q - o = -16, -q - 4*o = 2*q - 13. Solve q = -2*x - 1 for x.
-2
Suppose 5*y + 5 = 5*o + 15, 0 = 3*y. Let g(z) = -z**2 - 4*z - 1. Let q be g(o). Suppose 0 = 4*j + 2*v - 14, -v - 4 = 3*j - 13. Solve -p - j*p = q for p.
-1
Let a(x) = x**2 - 8*x - 3. Let k be a(7). Let h be ((-12)/(-5))/((-3)/k). Solve 5 = -h*t + 3*t for t.
-1