Let r(m) = m - 1. Let d be (-1 - 9)*(-1)/2. Let q be r(d). Let g = q - 3. Solve -h = -2*h - g for h.

Suppose 0 = -8*c + 4*c - 32. Let n be (c/(-5))/((-1)/(-5)). Suppose 4*o + 4*l = n, 5*l + 1 = -o + 3. Solve -6*y + 16 = -o*y for y.

4

Let l(n) = -n3 - 8*n2 + 10*n + 12. Let z be l(-9). Suppose 0*w - w = -z. Solve 0 = -w*v + 6*v for v.

0

Suppose 27*o - 160 = 17*o. Let r be ((-5)/3)/(2/(-6)). Solve k - r*k = -o for k.

4

Let g(u) = -u3 + 5*u2 - u - 7. Suppose -10*a + 5*a = -20. Let l be g(a). Solve -o + l*o = 8 for o.

2

Suppose 0 = -4*q - r, -q - 5*r = -5 + 24. Solve 0 = 2*d - q - 5 for d.

3

Let z = -12 + 14. Solve 0 = -z*t + t - 1 for t.

-1

Let d be 3 - (0 + 0 - 4). Solve 0 = -d*u + 3*u - 16 for u.

-4

Let f = -12 + 12. Let c = f + 0. Solve 5*z + 6 - 16 = c for z.

2

Suppose 2*s = 5*l - 20, -4*s + 6 = -5*l + 36. Let t = -1 - s. Suppose u + 0*f + 4 = f, -t*f + 16 = 0. Solve 4 = 2*c - u*c for c.

2

Suppose 0 = m - 4*m. Solve m = 3*p - 5 - 4 for p.

3