Let d = 40 + -34. Let k(c) = 5 + 5*c - 5*c + c. Let z be k(-3). Solve z*f + 0*f = d for f.

Suppose -2*z = -7*z + 35. Solve -3*h = -z*h for h.

0

Let t be ⁴⁄₁₀ + ⁵⁴⁄₁₅. Suppose 0*d = t*d - 4. Solve 2*q - d = q for q.

1

Suppose 2*u + 6 = 2*h, -3 - 7 = -2*h - 2*u. Solve m = h*m for m.

0

Suppose -2*z - 1 + 7 = 0. Suppose -l + z - 1 = 0. Solve -l = 2*p - 8 for p.

3

Let w = 7 - 3. Suppose -3*x + 13 = w. Solve 20 = p + x*p for p.

5

Suppose 3*i - k - 15 = -2, -18 = -4*i + k. Solve -16 = i*x + 9 for x.

-5

Suppose 0 = 5*k + m - 19, -k - 4*m + 5*m + 5 = 0. Solve -3 = -k*h + h for h.

1

Let s(d) = d**3 - d + 2. Let f = 3 + -3. Let w be s(f). Solve w*i = -0*i for i.

0

Let n = -97 + 99. Solve 0*u - n = u for u.

-2

Suppose -7*n + 2*n = -25. Solve -5*i - 20 = -n for i.

-3