Suppose g = -0*g + 2. Let b be ((-13)/4)/((-2)/8). Let i = b - 7. Solve -g*c + i = -0*c for c.
3
Suppose 0 = 2*d - 2. Suppose -3*z + 5*q - 9 = 0, -5*z - 4*q = -2*q - 16. Solve -z*p - d = -3 for p.
1
Let y = 25 + -8. Solve y = -4*w + 1 for w.
-4
Suppose 5*t - 19 = -4. Suppose 5*o - 2*o + 4*b = 12, -5*b - 12 = -t*o. Solve -1 + o = n for n.
3
Suppose 5*g - 13 = d, 3*d + 0 = 2*g - 13. Suppose -g + 1 = -s. Let u(i) = -2*i. Let y be u(-1). Solve y - s = z for z.
1
Let h = 185 + -185. Solve h = 2*f - 0*f + 4 for f.
-2
Let h(t) = 2*t**2 + 16*t - 14. Let b be h(-9). Solve -5 = 3*c + b for c.
-3
Let y be 14/(-10) + (-6)/(-15). Let a = y - -7. Solve 0 = -2*x + a*x - 12 for x.
3
Suppose 2*d = 5*d - 9. Let t = 4 - d. Solve -t = i - 3 for i.
2
Let w = 0 + 15. Solve 0 = 5*m - 0*m + w for m.
-3