Suppose 2*d = 4 + 4. Suppose 2*r = b - 7, b - 19 + 4 = d*r. Let a be 4 + (-2 - -3)/b. Solve 7 = a*o - 2 for o.
3
Let s = 1 - 3. Let o(f) = -f**2 - 4*f + 1. Let v be o(s). Let j = 29 + -24. Solve 0*k - j = -v*k for k.
1
Let v = 20 - 20. Solve v = -f - 0*f for f.
0
Let v = 0 - 0. Suppose k - 12 = -3*k. Solve v*n = -k*n for n.
0
Let b(i) = 5*i + 1. Let j be b(-5). Let w be (-6)/(-15) + j/(-15). Suppose 3*a = 5*q - 31 + 1, -2*a = -w*q + 16. Solve -2*s - 9 + q = 0 for s.
-3
Let v(x) = x + 12. Let w be v(-5). Let b = w + -7. Solve -2 = 2*m - b for m.
-1
Let w(f) = f - 1. Let q be w(-7). Let n = -8 - q. Solve n = 3*b + 6 for b.
-2
Suppose 6*w + 5 = 7*w. Solve -w = -k + 6*k for k.
-1
Suppose 2*i = l - 2*i + 2, 5*l - 54 = 4*i. Let q be (4 + -5)/(1⁄2). Let s = l - q. Solve -6*r + s = -2*r for r.
4
Let x be -5 + 4 + 1 + 0. Solve 7*s - 2*s + 15 = x for s.
-3