Let a(y) = -y**3 + 19*y**2 - 18*y + 15. Let u be a(18). Suppose -8*l = -4*l - 8. Suppose -2*c = -2*f + c + u, l*c = -3*f + 3. Solve -4*x = -f*x for x.

Let s = 24 + -24. Solve y + 1 = -s*y for y.

-1

Suppose -15 = -b - 4*b. Suppose b = -4*t + 11. Suppose -t = c - 4. Solve c*s = s for s.

0

Let l be ¹³¹³⁄₁₁₇ + (-4)/18. Solve 0 = 2*o + l - 3 for o.

-4

Let f(g) = 2*g**2 - 2*g. Let q be f(3). Suppose -5*z + z + q = 0. Solve 2*t + z = 3*t for t.

3

Suppose 6*v - 2*v = 12. Suppose -3*g - 6 = 4*i, 3*g - 7*g = 5*i + 7. Solve 0 = 5*u + g + v for u.

-1

Let g = -15 - -19. Solve -g*a - a = -20 for a.

4

Suppose 0 = 4*y - 3*q - 20, q = -4*y + 3 + 1. Suppose -c - y + 3 = 0. Solve -5*j + 16 = c for j.

3

Let r = -5 + 5. Let c be (0 - (r + 0))/(-2). Let y be (0 + c)/((-4)/2). Solve 0 = -3*t - y*t + 6 for t.

2

Suppose -2*h = -5*j - 21, -3*h = -2*j - 20 - 6. Let u(i) = i**2 - 7*i - 2. Let f be u(h). Solve -s + f*s + 15 = 0 for s.

-3

Suppose 9*z = 7*z. Suppose 25 = 5*l - 35. Suppose -2*q + 2*t + l = z, -3*q + 11 = -t + 1. Solve 4*i - q = 2*i for i.

1