Let o(n) = -n**3 - 2*n**2 - 3*n - 3. Let g be o(-2). Let i(a) = a - 3. Let u be i(g). Let v(y) = -y. Let f be v(u). Solve f = k + 3*k + 12 for k.

Let a be (-4)/((-16)/12) + 0. Suppose 0 = -m - a + 7. Solve -2*b - m = -4*b for b.

2

Let b(v) = v**2 - 4*v + 1. Let k = -2 + 6. Let q = k + 0. Let w be b(q). Solve -t + 1 + w = 0 for t.

2

Suppose 0 = f + 4*o - 8, 4*f - 32 = 3*o - 0*o. Solve -7*v = -3*v - f for v.

2

Suppose -5*w = -0*w - 60. Let i = w + -7. Solve 5*m - i = -20 for m.

-3

Let l(z) = -z**2 - 6*z - 2. Let i be l(-6). Suppose 3*m = 18 - 6. Let a be i/8 - (-17)/m. Solve -a*b + 3 = -5 for b.

2

Suppose -2*z + 2 = -0. Suppose -2*v - 6 = 4*u - v, 0 = 4*u - 2*v + 12. Let a be 10 + (u/z - 0). Solve 2*y + 0*y + a = 0 for y.

-4

Let y be ((-10)/8)/(1/(-8)). Let d(k) = 3*k - 2. Let h be d(2). Suppose 5*a = -5*j + 75, 0*a + 15 = j + h*a. Solve 5*m - y = j for m.

5

Suppose 4*b - 2*c = 52, -7 - 1 = -2*c. Solve 0 = 2*d + 3*d + b for d.

-3

Let k(v) = -2*v - 3. Let n be k(-3). Let m© = -5*c3 - 3*c2 + 4 + c3 - 2*c + 5*cn. Let l be m(4). Solve 0*p = 4*p + l for p.

-3

Let s be 8/(-2) - (13 + -20). Solve 0*i = -s*i + 15 for i.

5