Let p be 1*6 + 5 + -7. Suppose o - 1 = 0, -12 = -p*u + 5*o + 43. Suppose -5 = k + s - u, -k = -3*s + 2. Solve 4*a + k = 23 for a.

4

Let c(d) be the first derivative of 3*d**2⁄2 - 10*d + 2. Let u be c(7). Solve 1 = -4*v - u for v.

-3

Let w = -166 + 169. Let z be 2 + -4 - -5*1. Solve 9 - z = -w*k for k.

-2

Suppose -2*h + 5*h - 18 = -4*c, c - 11 = -4*h. Solve h*g + 8 = -0 for g.

-4

Let l be 0/((-2 - 1) + 1). Suppose l*w = -w. Let r = 5 + -3. Solve r*a + 0*a = w for a.

0

Let r(x) = -x**2 - 14*x + 3. Suppose 0 = 4*d - 4, 5*d = -0*f - 5*f - 65. Let g be r(f). Solve 3*o + g = -6 for o.

-3

Suppose 5*b = -5*j - 2 - 23, 0 = 4*b + 20. Solve j = -5*g + 3*g - 2 for g.

-1

Let u(x) = -2*x + 30. Let n be u(12). Solve -3*v = -n*v + 15 for v.

5

Let r be (4 - 1) + 6 - 3. Solve -r = l - 1 for l.

-5

Let z be 5/(-20) - 45/(-4). Suppose 0 = -3*f - s + z, 0*f - s = -f + 1. Solve 0 = 3*i + f for i.

-1