Let u = -7 + 7. Suppose -3*v + 12 = -u*v. Solve -v*d + 12 = -d for d.

4

Suppose 3*v - 6*l - 71 = -2*l, 3*v - 76 = -l. Solve 0*k + 5*k = v for k.

5

Let p(t) = t3 + 5*t2 + t + 2. Let a be p(-4). Suppose u - a = -2*v, -2*u - 2 = -0*v - 2*v. Let g be (4 - (3 - -1))/(-2). Solve g*k - u = -k for k.

4

Let d = -31 - -1. Let t be 12/d + (-78)/5. Let k be 4/t + 122⁄8. Solve 0 = -6*y + 3*y + k for y.

5

Let v be 12 - (0 + 2 + -1). Let i = -20 + v. Let w = -6 - i. Solve -6 = 3*m - w for m.

-1

Let o(j) = j3 + 5*j2 + 4*j. Let a be o(-3). Solve 8 = 2*u - a*u for u.

-2

Let l(t) = t**2 - t - 4. Let n be l(3). Solve 2*k = -4 - n for k.

-3

Suppose 0 = 5*n - 68 - 2. Let w(j) = -j**2 + 15*j - 14. Let a be w(n). Solve a*o + o = 5 for o.

5

Let s(o) = -o3 + 7*o2 - 5*o - 5. Let y be s(6). Suppose -3*v + 2 = -y. Solve -5*g + v = 6 for g.

-1

Let i(x) = x - 2. Let r be i(4). Suppose r*j = -2*j - 8. Let t be j + 3 - (-1 - 1). Solve -h - 6 = -t*h for h.

3