Let a = 22 + -6. Suppose 5*k - a = k. Suppose 0 = 2*o + 3*w - 46, -2*o + k*w - 2 + 34 = 0. Solve 0 = -7*g + 2*g + o for g.
4
Let g(u) = -2*u**2 - 5*u + 7. Let z be g(-3). Let v = 5 - -12. Solve -z*f = -5 + v for f.
-3
Suppose -2*t + 4 = -0. Solve 0 = k - 3 - t for k.
5
Let s be (-3)/(3 + -3 + -1). Suppose -5*a + 57 = 12. Suppose 5*k - 2*d + 5*d = a, 9 = -5*k + 3*d. Solve k = -4*x + s + 1 for x.
1
Let x(g) = -7. Let h(i) = -i. Let w© = -2*h© + x©. Suppose -f - 8 = -a, -5*a - f = -5*f - 38. Let k be w(a). Solve 2*j + k + 5 = 0 for j.
-5
Let w(a) = -a - 6. Let d be w(-6). Solve 0*g + g - 1 = d for g.
1
Let j be -2 - -1 - (0 - 7). Suppose 4*r - 10 = k, -j*r - 3*k = -r - 4. Solve -2*h + 4 = r for h.
1
Suppose -4 = 2*c - 10. Suppose 2*a - c = a. Solve a*v - 3 = -0 for v.
1
Let g be 4/(-12)*(-2 - 1). Solve d + g = 5 for d.
4
Let r = 66 + -62. Solve -r*b = b + 25 for b.
-5