Let x(i) = -i3 + 6*i2 - i + 6. Let j be x(6). Suppose -2*s = -z + 1, j*z + 5 = z. Suppose 4*o + 4*y = o + 5, 4*o + 5*y - 7 = 0. Solve k - o - s = 0 for k.
5
Let y = 23 - 19. Solve 2*w - y + 0 = 0 for w.
2
Let l be 2*2⁄16*0. Solve 5*i = -l - 20 for i.
-4
Let j = -1 + 3. Let l(h) = 12*h3 - 11*h3 + j - 2*h - 3. Let n be l(3). Solve -4*z = -9*z + n for z.
4
Suppose 2*l - 3 = 5. Let u(m) = 5*m**2 + 3*m. Let t be u(-2). Suppose 0*x - 3*x + t = n, 4*n + x - 12 = 0. Solve n*a + 0*a = -l for a.
-2
Suppose 3*i = -2*i - 5*a + 20, 2*i + 12 = 2*a. Let h = i - 3. Let r = h - -5. Solve 0 = -s + 1 + r for s.
2
Suppose 5*h - 4 = h. Solve 2*y + 5 = h for y.
-2
Let z(b) = b3 - 3*b2 + 6. Let o be z(2). Solve u - 12 = -o*u for u.
4
Suppose b + 2 = q, -2*b = -3*q + 3*b + 6. Let g be q/(-7) - 255/(-35). Solve 2*t - g*t + 20 = 0 for t.
4
Suppose 3*d + 7 = p + 60, -3*d = p - 49. Let i = d - 12. Suppose -50 = -3*g + i*m, 4*g + 5*m = 3*g + 30. Solve 0*f = 4*f - g for f.
5