Let w be (-3*1⁄9)/(1/(-12)). Let s(x) = -3*x**2 - 2*x + 1. Let k be s(1). Let q = -2 - k. Solve q*d + 0 = w for d.
2
Suppose 3*h = -2*h + 2*u + 16, -4*u = h + 10. Solve h = -s + 5 for s.
3
Suppose 0 = 3*k + c - 6, -2*c + 4*c = -6. Solve b - k*b = -6 for b.
3
Let d = 22 - 19. Solve 10 = z - d*z for z.
-5
Let o = 153 - 108. Suppose 5*n - o = -0*n. Suppose -3*t - 4 = -4*t. Solve -t*x - n + 1 = 0 for x.
-2
Suppose -2*w + 17 = 3*w - x, -3*w = 3*x - 21. Solve 9 = c - w*c for c.
-3
Let r = -112 - -124. Solve -r = -0*u - 6*u for u.
2
Suppose -4*q = -7*q + 5*k + 23, 2*q - 7 = -5*k. Solve q*h - h = 0 for h.
0
Suppose 5*o = 13 + 32. Suppose -34 = -5*f - 3*g, 3*f - g - 4*g - 34 = 0. Let d = f + -5. Solve d*k - o + 3 = 0 for k.
2
Let a be 4⁄8*18*1. Let q be (0/(-1 + 3))/(-1). Let s be q/((1 + -2)*2). Solve s*o + a = 3*o for o.
3