Let b = 31 - 22. Let m = b + -7. Suppose -m*n + 6 = -n. Solve -2*y + n = y for y.
2
Let t(a) = -2*a**2 - 12*a + 3. Let q be t(-6). Solve c + q = -2*c for c.
-1
Let w(y) = -y**2 + y. Let z be w(-1). Let g(i) = -i - 10. Let h be g(-4). Let p = z - h. Solve -1 + 5 = -p*b for b.
-1
Suppose -12*i - 3*y + 12 = -10*i, -5*i - 4*y + 16 = 0. Solve i = 4*s - 0 - 4 for s.
1
Let q = -5 - -4. Let t be (-1 - (0 + q)) + 1. Solve 7 = -2*b - t for b.
-4
Suppose -2*w + 5*h = -9, h = w - h - 5. Solve 3*x - w - 5 = 0 for x.
4
Let i = 9 + -8. Let z© = 9*c**2 - 3*c - 2. Let k be z(-2). Let g be 1/(2*i/k). Solve -5*a - g = -5 for a.
-3
Suppose 2*t + 5*c - 177 = 20, -4*c + 100 = t. Suppose 0 = -3*h + r + 52, -t = -5*h + 4*r - 7. Solve 3 = 5*b - h for b.
4
Let a = 8 + -5. Let y be 1 + 16/(4 - 2). Let z = -5 + y. Solve 2*j - z = a*j for j.
-4
Suppose 4*w - 8 = 0, -2*w + 14 = v + v. Suppose v*x + 3 + 7 = 0. Let s® = -3*r - 2. Let k be s(x). Solve h + 3*h + k = 0 for h.
-1