Let s(v) = v**2 - 3*v + 5. Let y be s(0). Solve y*o = -0 + 5 for o.
1
Let j = 16 + -16. Solve y - 4*y - 12 = j for y.
-4
Suppose 4*w - 5 - 3 = 0. Solve i + 12 = -w*i for i.
-4
Let k = 0 - 2. Let o(q) = -2*q3 - q2 - 3*q - 3. Let i be o(k). Solve 2*r + r = -i for r.
-5
Suppose 4*i + 16 = 4, -19 = -5*l + 3*i. Let a(m) = m**2 + m - 4. Let y be a(-3). Suppose 5*p - 104 = -4*w, 3*w + 37 = -0*p + y*p. Solve -l*x - p = 3*x for x.
-4
Let h = 8 - 4. Let v(w) = -w3 - 3*w2 + 2*w - 5. Let b be v(-4). Suppose 0 = -2*t + b*t - 2. Solve h*k - 6 = t*k for k.
3
Let m = -87 + 92. Solve 8*q = m*q + 3 for q.
1
Let a(d) = -d + 3. Let b be a(9). Let y = 7 + b. Solve 0 = s + y + 2 for s.
-3
Suppose -b = -0*b - 5. Suppose 3*j + 4 = b*v, 4 + 0 = 5*j - 3*v. Suppose 3*x - 3*n + 2*n + 5 = 0, -j*n = 5*x - 10. Solve x = 2*l - 1 - 9 for l.
5
Suppose 0 = -4*p + 3*i + 21, p - 5*i = 2*p + 12. Let t(q) = -q**2 + 11*q - 12. Let s be t(9). Solve -s = f - p for f.
-3