Suppose 5*x - 5 - 20 = 0. Suppose 0 = -3*r + w + x, -3*r = -8*r - w + 11. Solve r*i - i = 5 for i.
5
Suppose 17 + 13 = 5*w. Suppose 3*m = -r + 6*r - 15, -4*m - w = -2*r. Solve -3*b + 4*b = r for b.
3
Let z(k) = -k**2 + 2. Let g be z(0). Suppose 0 = -g*c - 2*c + 24. Solve -4 = -2*i + c for i.
5
Let l be (36/(-5))/(-4)*5. Solve 0 = 4*j - 25 + l for j.
4
Suppose -3*y - 2 = 3*r + 2*y, 0 = -r + 3*y + 18. Let l = 14 + r. Solve -3*k + l = k for k.
5
Suppose -6 = -4*w + 10. Let y(k) = -k**2 + 6*k - 4. Let a be y(w). Solve 17 + 3 = -a*z for z.
-5
Let a be 0/((0 - -2) + -4). Suppose -w + 8 = w. Suppose -2*m - w*f = -3*f - 5, 0 = -2*m + 3*f + 9. Solve m = -a*z - z for z.
-3
Let b(t) = 2*t**2 - 6*t + 3. Let i be b(5). Suppose -5*s + 22 + i = 0. Solve 3*x + 0*x + s = 0 for x.
-3
Suppose -s = -119 + 31. Let i = s + -52. Suppose 3*r - 6*r + i = 0. Solve 0*g - 4*g = -r for g.
3
Let c be (-6)/1*(-1)/2. Suppose 0 = -3*t + 2*t + c. Solve 2*b = 5*b - t for b.
1