Let v be ((-12)/20)/(2/(-10)). Suppose 0 = -2*q - 2*q + 56. Suppose q + 1 = v*b. Solve -10 = -b*a - 0*a for a.

2

Let j(a) = -a3 + 5*a2 + 3. Let w be j(5). Suppose 0 = -5*l + 3 + 17. Solve -l = -w*h - 1 for h.

1

Let j(b) = -b - 1. Let k be j(-5). Suppose 7*l + 6 = k*l. Let i(t) = 3*t**2 + 3*t + 2. Let p be i(l). Solve -p = r - 5*r for r.

2

Let k = -9 + 13. Suppose -3 = -k*q + 41. Let v = -8 + q. Solve -v*z - 2*z + 5 = 0 for z.

1

Let b = -15 + 17. Solve -3 = -5*h + b*h for h.

1

Let h(a) = -a - 5. Let t be (-10)/45 + (-61)/9. Let z = 0 + t. Let s be h(z). Solve s*y - 7 + 3 = 0 for y.

2

Let x(l) = -l3 + 32*l2 - 32*l + 34. Let z be x(31). Solve 0 = -8*g + z*g for g.

0

Suppose -3*c + 8 = 2*i, 7 = 3*i - 5. Solve c*a + a = 0 for a.

0

Suppose 2*o = -3*o + 10. Suppose 17 = 3*j + o, 3*j - 3 = 3*q. Suppose -q*y - y - 3*a - 15 = 0, -y - 15 = 3*a. Solve y = 7*t - 2*t - 5 for t.

1

Suppose a = 11 - 6. Solve -25 = -0*h + a*h for h.

-5