Let t(f) = -f3 + 11*f2 + 8*f + 3. Let j be t(12). Let c be j/(-3)*2⁄6. Solve c*r = 9 + 1 for r.
2
Let f be (-10)/(-4)*(-12)/(-10). Suppose -4 = -f*y + 4*v, -2*y + 21 = 3*v - 2*v. Solve t = -t - y for t.
-4
Let y(a) = a**2 - 3*a + 3. Suppose 5 = t + 2. Let h be y(t). Suppose -h*j = j. Solve j = c + c for c.
0
Suppose -2*i + 4*z + 6 = 2*z, 1 = i + z. Solve 3*o - o + i = 0 for o.
-1
Let v(j) = j3 + 6*j2 - 2*j - 9. Let m be v(-6). Solve 5*i - 7 = m for i.
2
Let p(t) = t + 7. Suppose 3 + 18 = -3*a. Let q be p(a). Solve q + 3 = -r for r.
-3
Let z = -3 - -2. Let r be z*4/(-6)*6. Let p = r - 1. Solve 5*v - p*v = -8 for v.
-4
Let i(b) = -b3 - 6*b2 - 6*b - 1. Let v be i(-5). Suppose n + v*n - 5 = 0. Suppose 0 = -3*y + 5*q + n, 4*y - 3*q = 2*q + 3. Solve -d = -y*d for d.
0
Let x(d) = 5 + 7 + 0*d - d. Let u be x(0). Solve -q - u = 2*q for q.
-4
Let s(w) = 2*w - 6. Suppose -k + 3 - 1 = 0. Suppose k = g - 2. Let t be s(g). Solve -2*n - t*n = -16 for n.
4