Suppose n = 6*n + 15. Let v = n + 5. Suppose 3*z = v*z. Solve -y + 1 + 0 = z for y.

1

Let b(s) = -s3 - 4*s2 + 5*s. Let u be b(-5). Suppose 2*c - 20 = -u*c. Let x = c + -5. Solve f + 3 = x for f.

2

Let h® = 2*r**2 + r - 1. Let j be h(-2). Suppose -59 = -4*o + j. Suppose -u + o = 3*u. Solve -u*i - 2 = -3*i for i.

-2

Suppose -4*v - 4*t = -72, -4*v - 2*t + 70 = t. Suppose w - 21 = 5*j, 0*j + 3*j - 4*w = -v. Let p = -3 - j. Solve 3 = -q + p for q.

-2

Let x = -10 - -8. Let u be (x - -3 - -5)*2. Solve -i + 4*i = -u for i.

-4

Let d(s) = -s**2 - 6*s - 6. Let z be d(-4). Let r be (2⁄6)/(z/120). Solve 0*g = 4*g - r for g.

5

Let a(g) = g3 - 7*g2 + 5*g + 7. Let h be a(6). Let f(v) = 4*v3 - 2*v2 + 3*v - 1. Let k be f(1). Solve k*w + 3 + h = 0 for w.

-1

Let i = -8 - -13. Solve -i*u - 15 = -0*u for u.

-3

Let z® = r - 3. Let t be z(4). Let g be (-4)/10*(t + -16). Let o(h) = -11*h - 2. Let d be o(-2). Solve 0 = 2*u - g*u - d for u.

-5

Let b(m) = -m3 + 9*m2 - 6*m + 9. Let r be b(8). Suppose 5*t = -5*s - r, -2*t + t + 4*s = -20. Solve -6 = -t*j + 2*j for j.

-3