Suppose 2 = -b - 3. Let p = 6 + b. Let q = p - -1. Solve 3 = -l - q*l for l.
-1
Let l be 3 + (5 + -10 - -2). Solve 4*z = -l*z for z.
0
Suppose 0 = s - 5. Let c = 7 - s. Solve 8 = c*d - 6*d for d.
-2
Let m be (-20)/(-2)*8/(-20). Let n be (0 - -12)/m - -23. Solve 3*y = -y - n for y.
-5
Let v(i) = i - 14. Let s be v(17). Solve 3*u - 2*u = -s for u.
-3
Let a be (6 - 5)/((-1)/(-4)). Suppose f + 2*f = 0. Suppose s = -a*v - f*s + 13, 21 = 3*v + 3*s. Solve 0 = k + k - v for k.
1
Suppose -4*l = l. Solve 4*x + 1 - 5 = l for x.
1
Suppose -2*z = -6*z. Solve 10 = -2*i - z*i for i.
-5
Suppose -r - 3 = -3*c - 6*r, 4*r + 4 = 4*c. Solve c + 7 = -4*f for f.
-2
Let g = 68 + -64. Solve -8 = -g*u + 4 for u.
3