Let i(d) = 2*d3 - d3 - d + 4*d**3 + 1. Let n be i(1). Suppose z - 2*l + 7 = -n*l, 19 = 2*z - 5*l. Solve 0 = -0*j + j - z for j.

2

Let b(m) = 4*m. Let k be b(1). Solve k*t - 5 = 3 for t.

2

Suppose 4*t + 0*j - 5*j - 22 = 0, 20 = 4*t - 4*j. Solve 0 = 4*s - t + 7 for s.

-1

Let k(v) = v3 - v2 + 2*v - 2. Let w be k(2). Suppose wu + 70 = u. Let x be -3(1 - u/(-6)). Solve -x*h + 4 = -12 for h.

4

Let k(q) = -4q. Let u be (-6 - -4)(-1)/(-2). Let n be k(u). Suppose 8*d - 36 = n*d. Solve j = 4*j - d for j.

3

Let v be (-6)/(-6) + 1*2. Suppose v*n = n. Solve n*r + 5 = r for r.

5

Let t(p) = p3 + 3*p2 + 3*p + 2. Let g be t(-2). Let h(b) = -b + 8. Let d be h(5). Solve d*q - 4*q + 3 = g for q.

3

Suppose 2*g = 5*v + 3, -3*v = -0*g + g - 7. Suppose -2*n = g*b - 14, 4*b - 3*n - 7 = 2. Solve b*h = 6*h for h.

0

Suppose 0 = 3*k + 4*v - 1, -55 = -5*k + 7*v - 3*v. Solve -4*q = -k - 1 for q.

2

Let f = 14 - 12. Suppose 0 = 3*g + 5*r + 4, -f*g + 6 = -2*r - 2. Solve -w - g = 2 for w.

-4