Let m = -22 - -28. Solve 0 = -2*d - 0*d + m for d.
3
Let b = -152 - -153. Solve 0*d = -d - b for d.
-1
Let a = 11 - 5. Suppose a*f = 2*f. Suppose 5*l - 17 = 2*r, 0 = -3*l + 4*r + r - 5. Solve -l*q + 2*q + 12 = f for q.
4
Let v(h) = -5*h - 6. Let r be v(-4). Let a = r + -7. Let q = 10 - a. Solve -10 = q*z - 4 for z.
-2
Let n = -22 - -24. Solve -n*c - 25 = 3*c for c.
-5
Let d(u) = -u**2 + 12*u. Let g be d(11). Solve v - 8 + g = 0 for v.
-3
Let i = -8 - -13. Suppose t = -i*k + 20, -4*t = -0*k + 2*k - 26. Solve 2*j - k = 1 for j.
2
Let d be 8⁄2 - 0/2. Suppose 2*g + 2 = -4*i + 6, 0 = -d*i - 5*g - 2. Solve m - i*m + 5 = 0 for m.
5
Let g be -5*1/((-2)/2). Suppose 4*n = g + 3. Solve -3*k - n*k = 0 for k.
0
Let a(i) = -21 + 0*i + i - 2. Let c be a(0). Let w = c + 33. Solve w = -5*g - 0 for g.
-2