Let d(t) = -3*t**3 - 2*t**2 - t. Suppose -9 = -6*x + 3*x. Suppose 2*r = 4*r - 5*s - x, -3*r - 2 = -s. Let q be d(r). Solve 0 = -0*m + q*m - 6 for m.

Suppose 0 = o + 3*o - 12, -5*q = -3*o - 1. Solve q*f + 4 = 6*f for f.

1

Let r = -16 - -10. Let b(i) = 11*i2 + 25*i + 3. Let f(g) = 5*g2 + 12*g + 1. Let m(w) = r*b(w) + 13*f(w). Let c be m(4). Solve 0*q = -c*q - 3 for q.

-1

Let a = 0 + 3. Let h be (-2)/(-10) + 18/(-15). Let o be h - -3*³⁄₃. Solve a*x = -o*x - 15 for x.

-3

Let m be (0 + (2/(-4) - -1))*6. Solve -4*l = -m*l - 1 for l.

1

Suppose 2*a - 3 = 3. Solve 2*c = -a*c + 5 for c.

1

Let i = -93 + 93. Solve 6*w - 6 + i = 0 for w.

1

Let v = 3 - -1. Solve 20 = v*a - 0*a for a.

5

Suppose 0 = -0*t + 5*t + 3*f - 16, 2*t - 2*f = 0. Solve -t*v - v + 15 = 0 for v.

5

Let t be (-75)/(-20)*(-8)/(-6). Solve 0 = t*v + 5 for v.

-1

Let v© = -c3 + 7*c2 - 6*c - 6. Let q be v(5). Suppose 3*o - o = q. Solve -3*p + o = -8 for p.

5