Let n(i) = -i**2 + 5*i + 6. Let d be n(6). Suppose 3*f + 2*j + 8 = d, -5*j - 8 - 12 = -f. Solve -y = -f*y - 3 for y.
3
Suppose r - 11 = -4*f - 2, -28 = -5*r - 3*f. Suppose -5*l + 3 = -12. Suppose l*j + 5 = -5*z, -4*j + 2*z = -0 - 2. Solve j = -4*o + 3*o + r for o.
5
Let t(h) = h + 1. Let w(g) = -g**2 + 4*g + 4. Let f(j) = j. Let i be f(5). Let r(l) = i*t(l) - w(l). Let v be r(2). Solve -v = 5*o + 8 for o.
-3
Let a = -7 + 9. Suppose -o + 6 = -5*o + 3*u, 4*o = -3*u + 6. Solve o*d = 2*d + a for d.
-1
Let i(u) = u3 - 3*u2 + 2*u. Let j = -4 + 6. Let g be i(j). Solve 0 = 2*f - g*f + 4 for f.
-2
Suppose -5*t + 31 = -3*f, -2*f - 28 = -4*t + 2*f. Solve 3*n - t*n - 4 = 0 for n.
-2
Let v be 2 + (-6 + 3 - -2). Solve -3*g - 7 = -v for g.
-2
Let a = -56 - -56. Solve 4*i - 6*i - 8 = a for i.
-4
Suppose 5*p - 4*a - 25 = 0, 0 = 5*p + 3*a - 36 - 24. Let n = p - 4. Suppose 87 = n*w - 4*v, -4*v + 15 = 3*w - 50. Solve -4*y + 1 = -w for y.
5
Let r be 8⁄3(1 + 2). Let f = r - 16. Let g be (f/2)/1-1. Solve g*c - 1 = 3*c for c.
1