Let m(n) = -n3 - 3*n2 - 2*n - 2. Let z be m(-3). Let k be ((-4)/(-3))/(26). Solve -k*d + z = -2*d for d.

2

Let f be (-6)/4*32/(-12). Suppose f*h + 1 = -11. Let c = h + 3. Solve 0*o + 4*o - 4 = c for o.

1

Suppose r = 3*r. Suppose 2*v + 2*c = r, 0*v = -2*v - 3*c. Let y(o) = -o3 + 3*o2 + 12*o - 7. Let g be y(5). Solve -3 = -g*m - v for m.

1

Suppose -2*h + 2 = -18. Solve h*m = 6*m + 4 for m.

1

Let f = 8 + 1. Let d = -4 + f. Solve x - d = -0*x for x.

5

Let i(g) = 2*g**3 - 2*g + 1. Let b be i(2). Suppose 4*a = -4*m + 3*a + b, 0 = 3*a - 3. Let n = 3 - m. Solve 3*k - 9 = -n*k for k.

3

Suppose -3 - 1 = -y. Suppose 3*z = -3*m + 3 + 9, 2*z - 9 = -3*m. Suppose -5*i + y*i + m = 0. Solve -i = -u - 0 for u.

1

Suppose -2*o + 5 = -1. Suppose -q + 8 = 5*x, -3*x - q = 2*q - 12. Let p be x - -9 - (0 - 2). Solve n = -o*n + p for n.

3

Suppose 0 = 2*v - 0 - 10. Let r(p) = 9*p**2 - 2*p + 1. Let b be r(1). Let j = b - v. Solve z = -2*z + j for z.

1

Let a be ((-2)/(-2))/(312). Let g be (-3 - -4)/(a/4). Solve -n - 3 = g for n.

-4