Let r = 9 - 11. Let u be (-3)/r*3212. Solve u = 2*c + 2*c for c.

1

Suppose 0*i + 2*v = -3*i + 38, -24 = -4*i + 4*v. Solve -4*q - i + 2 = 0 for q.

-2

Let w be (3 - 7)/(2/(-6)*2). Solve w*x = 3*x + 3 for x.

1

Suppose 2*d = -3*a - 8, 0 = -3*d + 3*a + 7 + 11. Suppose -d*f - 3*f + 13 = -n, 4*n = f - 14. Suppose -2 - f = -2*b. Solve b = o + 3 for o.

-1

Suppose -3*h = h - 12. Suppose h*p = 4*p - 6. Solve p*d = 2*d + 12 for d.

3

Suppose -5*y = -4*o - 59, 0 = 4*y - 6 - 6. Let w = -7 - o. Solve -w*d - 12 = -0*d for d.

-3

Suppose -k = -6*k + 25. Suppose k = 5*n - 10. Solve n*v = v for v.

0

Suppose 4*v - 37 = 3*w, -4*w - 47 = -0*v - 3*v. Let y(l) = l3 + 12*l2 + 11*l + 6. Let u be y(w). Solve -20 = -u*c + 2*c for c.

5

Let s(u) = -u**2 - 10*u + 4. Let l be s(-10). Suppose 2*g = -2*w - 8 - 2, w = l*g + 20. Solve -a - 2*a - 9 = w for a.

-3

Let f(b) = b - 4. Let m be f(8). Let s(g) = -m*g2 + 1 + 6*g2 + 15*g**2. Let u be s(1). Solve 3 = 3*i + u for i.

-5