Let w(a) = a3 - 11*a2 + a - 9. Let r be w(11). Suppose r*l = 3*l - 20. Solve 0 = 3*q + q - l for q.
5
Let g = 10 - 2. Let q(x) = -x**2 + 8*x. Let h(z) = -z + 8. Let u be h(0). Let y be q(u). Solve y*k - g = -2*k for k.
4
Let t = -8 + 17. Let y be (2/(-3))/((-3)/t). Solve -y + 1 = c for c.
-1
Let d be (-17)/(-5) - (-2)/(-5). Let v = -237 + 237. Solve v - d = -3*q for q.
1
Suppose t - 3 = 0, 5*t = -3*w + 2*t + 3. Let h be w/7 + (-111)/(-21). Let d(v) = v + 2. Let z be d(2). Solve 15 + h = z*x for x.
5
Let z(n) = -n - 1. Let m be z(-3). Suppose 6*h - 24 = 2*h. Solve h - 2 = m*c for c.
2
Let j = -34 - -46. Solve d + 2*d - j = 0 for d.
4
Let l(b) = b3 + 3*b2 - 5*b - 2. Let x be (-26)/6 + (-1)/(-3). Let c be l(x). Suppose -1 = -t + 2. Solve -c = -5*o + t for o.
1
Let v be (-4 + 4)/(-2) + -8. Let i = -4 - v. Solve i*o - 3 = -23 for o.
-5
Let a = -1 - -3. Solve -10 - a = 3*i for i.
-4