Let t = 9 + -8. Solve g - t = -0*g for g.
1
Suppose f = -1 + 3. Let u(v) = v**2 - 6*v + 1. Let c be u(6). Solve s = -c - f for s.
-3
Let w be (-3 - (3 + -7))*2. Solve -w*a - 10 = -0*a for a.
-5
Suppose 4*p - 29 = 51. Suppose -4*t = -p, t - 75 = -5*c + 3*t. Let f be (-4)/6 + c/3. Solve -5*a + f = -0 for a.
1
Suppose -6 + 14 = 4*a. Suppose -a*q + 4*t = -4, -2*q - q - 3*t = -6. Solve 0 = 3*n + q*n - 10 for n.
2
Let a(l) = l2 - 3*l - 5. Let g be a(4). Let s(n) = 20*n2 - 3*n - 2. Let h be s(g). Solve 6 - h = 3*f for f.
-5
Suppose 0 = -3*v, 4 + 11 = 5*k - 5*v. Solve 0 = -2*c + c - k for c.
-3
Let h(t) = t**2 - 9*t + 5. Let g be h(9). Suppose 0 = 2*s - 5 - g. Suppose 0 = 2*i - 4*m + 20, 2*i - s*i + 5*m - 25 = 0. Solve -10 = 2*o - i*o for o.
-5
Suppose 2*a = 7*a + 10. Let w be (-14)/(-3) - a/(-3). Solve 0 = m - w*m - 15 for m.
-5
Let a = 1 + 4. Solve 0 = -y + a*y + 12 for y.
-3