Suppose 17 = -3*w + 23. Suppose 3*h = 0, w*b = h - 3*h + 2. Solve n = b + 4 for n.
5
Let q(s) = -2*s3 - s2 + 3*s + 3. Let h be q(-2). Suppose -x - 3*w = -9, 0*x + 4*w - 14 = -2*x. Solve 4*y - x = h for y.
3
Let x(k) = k**2 - 16*k + 6. Let t be x(16). Solve 0 = t*o - 2*o + 12 for o.
-3
Suppose 3*d = 14 + 7. Solve 3*v - d = -1 for v.
2
Let o(s) = 3*s**2. Let y be o(1). Suppose -5*r - g - 12 = 2*g, -r = 3*g. Let m = y + r. Solve -n - n + 4 = m for n.
2
Suppose -2*y + y + 2 = 0. Solve 5*g + y = 17 for g.
3
Let p = 162 + -161. Solve 0 = o - 0 - p for o.
1
Let t(z) = z + 10. Let o be t(-4). Suppose 2*a = -2*a + 4. Solve -x = o - a for x.
-5
Suppose 0 = f + 1 - 4. Suppose f*h = h + 8. Suppose 0*n + n = v, h = 3*n - v. Solve 2*p = 4*p - n for p.
1
Let i(w) = w2 - w - 2. Let v(k) = k3 - 6*k**2 + k - 2. Let q be v(6). Let h be i(q). Solve -h = 3*j - 1 for j.
-3