Let q(x) = x**2 - 2. Let t be q(-2). Suppose -t*s = s. Solve s*w - 4 = -2*w for w.
2
Let o(t) = t**2 + t + 1. Let z be o(0). Let r = -1 + z. Let i = 4 + r. Solve 0 = 3*w - i - 11 for w.
5
Let o = 3 - 0. Let h be 5⁄105-3-7. Solve -l + o + h = 0 for l.
4
Suppose 9 = -5*b + 2*b, -4*o - 2*b = 6. Suppose 2*w - 5*n - 6 = o, w - 1 - 2 = -n. Solve w*f = -0*f for f.
0
Let q(j) = -j**2 - 11*j - 13. Let p be q(-9). Suppose 3*b - 7 = -3*u - u, 3*u - b - 2 = 0. Solve -p*g = -u - 14 for g.
3
Let z(o) = o**2 + o - 1. Let w be z(1). Suppose -36 + 0 = -4*j. Solve -4*k + w = j for k.
-2
Suppose -i + 3 = 1. Solve -5*w + 12 - i = 0 for w.
2
Suppose q - 4*q = -27. Let g be q + (2 - 0) + -1. Solve -g = 6*o - o for o.
-2
Let a = 11 - 8. Let g = -88 + 88. Solve -3 = -a*k - g*k for k.
1
Suppose 3*f = -2*x - 2 + 20, 5*x = 5*f - 55. Solve 0 = -3*i - 1 - f for i.
-3