Let n(o) = 2*o**2 - o - 2 - 6 + 6 - o**2. Let t be n(2). Let m = t - 0. Solve -2*l + m*l - 2 = 0 for l.

Let l(k) = -28*k - 10. Let f(x) = -9*x - 3. Let q(i) = 7*f(i) - 2*l(i). Let o = -1 - 0. Let g be q(o). Solve -2*a + 0*a + g = 0 for a.

3

Suppose -4 = -p - 5. Let b be ((-18)/(3*p))/2. Suppose 6 = b*s - 0*s. Solve 0 = -s*r - 2*r + 20 for r.

5

Suppose s + 5 = -n - 2*n, -5 = -3*n + s. Suppose 0 = -4*z + 20, a - 2*z + 16 = -n*a. Let f = 10 + a. Solve 2*y - f = -2*y for y.

1

Let m be ((-4)/6)/((-1)/3). Suppose 2*l - 4*q + 0*q = -m, -l = -4*q + 7. Let i(g) = -g**2 + 7*g + 10. Let c be i(5). Solve 0 = -l*a + a - c for a.

-5

Let w(s) = s**2 - 4s. Let t be w(2). Let q be t/12(-2 + 2). Solve q = m - 4*m - 12 for m.

-4

Let n be 11 - ⁴⁄₁₄*(11 - 18). Solve -4 = n*x - 9*x for x.

-1

Let b = 9 + -4. Let x = 5 - 8. Let u be 0 + x + (7 - 2). Solve -3 = u*y + b for y.

-4

Let w(y) = y**2. Let l be w(1). Suppose -3*r = -2 - l. Let c(z) = -3*z - 7. Let n be c(-6). Solve -r = 2*g - n for g.

5

Let k = -5 - 2. Let z = 10 + k. Solve 0 = m + z for m.

-3

Let k(g) = -g**3 - g. Let u be k(-1). Let m = u - -2. Solve 0 = 2*c - m for c.

2