Let n(j) = 5*j**2 + 8*j - 3. Let r be n(6). Let t be ((-2)/6)/((-3)/r). Suppose -3*s - t = -2*s + 5*m, -3*m = -3*s + 15. Solve s*g + 4 = g for g.

Let z(m) = -m**2 + 12*m - 9. Let s be z(11). Let k be (-4 - -6) + -4 + s. Solve 5*o = -k*o + 25 for o.

5

Suppose 4*y + 4*s = 92, -4*y + 0*y - 2*s = -86. Solve c = -3*c - y for c.

-5

Let d(g) = -g**2 - 2*g - 1. Let t be d(-1). Suppose 15 = o - t*o. Solve -o + 5 = 2*m for m.

-5

Let f(i) = -i**2 + 7*i - 5. Let m be f(7). Let r be (-2)/m - (-84)/15. Suppose -r*h = -h. Solve -p + 0*p + 5 = h for p.

5

Suppose 0 = x + 2*x. Solve -1 + x = k for k.

-1

Let x = -80 + 82. Solve -4*m + x*m = -8 for m.

4

Suppose 0 = -3*x - 0 + 6. Suppose t = -x*y + 3*y - 1, 3*t = 2*y + 1. Suppose t*b + 2*b = 0. Solve s + 5 - 1 = b for s.

-4

Let y be (-9)/6*(-34)/(-3). Let u = -14 - y. Solve -u*t = -3 + 18 for t.

-5

Suppose 2*b + 7 = 1, -1851 = 5*i - 3*b. Let j be i/(-27) - (-2)/9. Solve -2*v + j = 4 for v.

5

Let x = -16 - -16. Solve x = o - 0*o + 5 for o.

-5