Let z(v) = -v3 - 12*v2 + 14*v + 13. Let r be z(-13). Solve w = 1 - r for w.

1

Suppose 8*q - 11*q + 9 = 0. Solve s + 2 = q*s for s.

1

Suppose -t = -4*o - 18, -3 = -3*t - o + 25. Suppose 5 + 10 = 3*r. Suppose 25 = r*u - t. Solve -u + 2 = q for q.

-5

Let k(t) = t3 + 7*t2 + t + 7. Let g be k(-7). Solve g = -0*s + 4*s - 4 for s.

1

Let c be 10*36 + -3. Let y(p) = 5 - 3*p - p**c - p + 3*p. Let k be y(0). Solve -4 = -3*v + k for v.

3

Let v be 6*24 + -3. Suppose 3*b + v*b - 9 = 0. Solve 0*z = -b*z + 6 for z.

2

Suppose 0 = 16*a + 10 - 42. Solve 7*d = a*d - 25 for d.

-5

Suppose q = 3*q + 18. Let z = -2 - q. Suppose -5*t = -82 + z. Solve -t + 0 = 5*w for w.

-3

Suppose -5*v = -10*v. Suppose v = -3*r - 2*j + 3*j + 9, -5*r + 5 = -5*j. Suppose -5 = -r*m + 31. Solve 0 = -4*k - 29 + m for k.

-5

Let b be (-21)/9 - 23. Let i be b1(-16)/3. Solve n = 5*n + i for n.

-4