Let v© = -c3 - 4*c2 - c + 3. Let q be v(-3). Let t = q + 4. Solve -7 = 3*d - t for d.

-2

Let d = 2 - 0. Suppose d*y = 7 - 1. Suppose 0*q - y = -q. Solve -z - q*z = 8 for z.

-2

Suppose -60 = -0*q - 3*q. Solve 3*t + q = 8*t for t.

4

Let y = 31 - 18. Let u = y - 9. Solve -3 = -u*l - 15 for l.

-3

Suppose q = 5*q - 20. Suppose -3*i - 7 = -67. Suppose 0 = -5*j - i, 4*w + q*j + 5 + 3 = 0. Solve h - 20 = -w*h for h.

5

Let k be (-8)/(-28) + 267. Suppose 5*l - 37 = -3*v, -k*v - 4*l + l = -31. Let h = v + 0. Solve 0*o + o = h for o.

4

Let v(u) = -u**2 + 3*u + 2. Let t be v(3). Suppose t = -3*b + 4*b. Suppose k + k - 3*r = 7, -9 = -2*k + r. Solve b*y - k*y = 0 for y.

0

Let i(m) = -m3 - 7*m2 - 8*m - 5. Let g be i(-6). Let u = 6 + -4. Solve u - g = -k for k.

5

Let x(w) = -w. Let k = -9 - -9. Let h be x(k). Solve 3*a - 1 + 7 = h for a.

-2

Let a(b) = -b - 3. Let s(n) = -n3 + 5*n2 - 5. Let y be s(5). Let i be a(y). Solve -3*z = -z + i for z.

-1