Let m be (-64)/(-6) - (-8)/(-12). Let s = -7 + m. Suppose o - s = 2*o, 5*i + 9 = -3*o. Solve i = -3*y + 1 + 2 for y.
1
Let k(t) = t3 + 5*t2 - 7*t - 6. Let o be k(-6). Solve o = 6*p - 3*p - 12 for p.
4
Suppose b - 2*i + 0*i = 3, -3*b + 5*i + 10 = 0. Suppose -b*k = -k - 8. Solve -k*p = -p + 4 for p.
-4
Suppose -p = -1 - 0. Solve g + 0 - p = 0 for g.
1
Suppose 4*v = 3*b + 18, 3*v = 3*b + 15 - 0. Let s be (-6)/(-8) + 10⁄8. Suppose v*m - 5 = -s. Solve -a = 4 + m for a.
-5
Let k = 5 + 6. Let z(w) = w3 + w2 + w + 15. Let h be z(0). Let a = h - k. Solve 0 = 6*l - a*l - 8 for l.
4
Let l be (-5 - -10)*(1 + 0). Solve 5 = -5*o - l for o.
-2
Let x = 2 + 8. Let p be ((-8)/x)/(1/(-10)). Solve -3*f - p = 4 for f.
-4
Suppose 0 = -8*l + 35 - 3. Solve 9*y - 20 = l*y for y.
4
Let h = 8 + -5. Solve 0*l - l = h for l.
-3