Let x(u) = u3 - 7*u2 - u + 10. Let f be x(7). Let j = 20 - 13. Solve f = d + j for d.

-4

Suppose -30 = k - 5*k - 2*i, -3*k = -3*i. Suppose 4*w = -0*w. Suppose 0*m + k*m - 15 = w. Solve 6*t = m*t for t.

0

Let u(k) = k3 - 5*k2 + 8*k - 10. Let q be u(4). Solve q*z = z - 10 for z.

-2

Suppose 0*c = -c + 1. Let v be (c + 1/(-1))/(-2). Solve -2*u = -v*u + 4 for u.

-2

Let t(a) = -a3 + 12*a2 + 13*a + 5. Let l be t(13). Solve -u - 4*u = -l for u.

1

Suppose 28 = 6*v + v. Solve v*n = 2*n + 2 for n.

1

Suppose 5 = -2*b - 3*t, -3*b + 3 + 2 = 2*t. Suppose 2*n + 31 = 5*a, 2*a + 38 = 6*a + b*n. Solve 5*r + 2 = a for r.

1

Let z(x) = -x + 7. Let d be z(6). Solve 0 = 4*u - d + 5 for u.

-1

Let o = 3 - 12. Let p be 3*(-15)/o + -1. Solve -p*f = -f for f.

0

Let q = 2 + 3. Suppose 3*w + q*v - 3 + 12 = 0, 4*v + 8 = -2*w. Let l = 2 - w. Solve 4*d + 4 = -l*d for d.

-1