Suppose -g + 3*g = -4. Let q(z) = 6*z**2 + 2*z + 1. Let p be q(g). Suppose p = 3*s - 6. Solve -2*m - m = -s for m.
3
Let v = -28 - -28. Solve v*f = -4*f - 4 for f.
-1
Let t = 0 - 0. Suppose t = -q + 12 - 38. Let u be (-8)/44 + q/(-22). Solve 0 = 3*x - 4*x + u for x.
1
Let d = 8 - 3. Suppose -d*i - 4*k = -76, 3*k = i - 0*k. Solve t - i = -2*t for t.
4
Suppose 0 = -4*o + 9 - 1. Suppose o*k = 6*k - 12. Let y(v) = v + 2. Let m be y(k). Solve m*h - 3*h = 10 for h.
5
Let i = 6 + -4. Suppose 0 = x - 19 + i. Suppose -5*u = 4*g - 0 - 12, -2*u = 2*g - 6. Solve -3*h - 2 + x = u for h.
5
Suppose -1 = 3*z - 10. Suppose 0 = f - 2*f + 2, -z*o - f + 17 = 0. Solve 0 = -s + o*s for s.
0
Let a(m) = -m + 3. Let u be a(2). Solve 0 = -3*s - u + 4 for s.
1
Let r(n) = n**2 - 6. Let k be r(-3). Solve k*p + 3 = -3 for p.
-2
Suppose -3*w + 14 = -4. Let k = -1 + w. Suppose -k - 1 = -2*p. Solve 7*t + 8 = p*t for t.
-2