Let m(v) = v3 - 16*v2 - 18*v - 7. Let u(y) = y3 - 15*y2 - 17*y - 6. Let i(q) = 6*m(q) - 7*u(q). Let k be i(10). Solve 3*z = -k + 4 for z.
-2
Let b(g) = -g3 + 5*g2 - 4*g + 3. Let y be b(4). Solve 0 = 3*k - 6*k + y for k.
1
Let h be ((-9)/(-6))/((-6)/(-20)). Suppose h = -j - 0. Let r = j - -5. Solve r*d = -d + 5 for d.
5
Let k = -12 + 17. Let w(m) = m**2 + 7*m - 4. Let a be w(-8). Solve -u + k = a*u for u.
1
Let l be (-8)/20 - 12/(-5). Solve 5*u - 3*u + l = 0 for u.
-1
Suppose h + 2 = 2*u, h + 4 = -u - 10. Let y = h - -15. Suppose -2*a = -y - 1. Solve 4*g = a*g for g.
0
Let n(t) = -t**2 - 8*t - 8. Let d be n(-6). Suppose 0 = -d*h + 2*q + 24, -h + 12 = 2*q - 4*q. Solve 4*z = 8*z - h for z.
1
Suppose -3*z - 11 = -4*s, -3*z - 2 = 1. Suppose 0 = -p - s*p + 9. Solve p*r - 4 = -r for r.
1
Let d(v) = -v. Let q(a) = -5*a - 1. Let h(l) = 4*d(l) - q(l). Let r be h(-4). Let n = r - -5. Solve -2*o = -3*o + n for o.
2
Suppose 0 = u - 7*u + 12. Solve -20 = u*v + 2*v for v.
-5