Let w(b) = 6*b - 64. Let g be w(12). Let q(s) = -s3 + s2 + s + 1. Let o be q(-1). Solve -o*j + 0*j = -g for j.
4
Let y be (1 + -2)/(-1 + 2). Let q = y - 14. Let s be 4*q/(-6)*2. Solve s = -2*u - 2*u for u.
-5
Let d be (-4)/(-2)*1 + -1. Solve -3*f = 4 - d for f.
-1
Suppose 4*b - 2*y + 0*y = 10, -2*b - 5*y + 23 = 0. Solve -3*f = -b*f - 2 for f.
-2
Suppose 10*g - 5*g - 30 = 0. Solve g*s = 2*s for s.
0
Suppose 11 = 2*f + f + 5*s, 5*f - 45 = -3*s. Suppose 3*j - 4 + 1 = 3*m, -3*m - 2*j = -17. Solve 3*k + m - f = 0 for k.
3
Let x be (-6)/15 + (-8)/(-20). Suppose x = -6*g + 21 - 3. Solve 0 = -g*a - 5 + 2 for a.
-1
Let k = -40 + 40. Solve k = 2*t + 2 + 4 for t.
-3
Suppose -42 = -2*w - 10. Solve -t + 5*t = w for t.
4
Let y = 17 + -10. Solve 2*b = 1 - y for b.
-3