Let l = 1 + -1. Let c(v) = v**3 + 8*v**2 + 7*v + 3. Let g be c(-7). Suppose 4*t + g + 25 = 3*k, 3*k + 2*t - 4 = l. Solve -k*d - 5 = d for d.

Let d(t) = -t3 + 6*t2 + 7*t + 3. Let v be d(7). Solve -3*b + v = -2*b for b.

3

Suppose -3*o + 11 + 1 = d, -o = -5*d + 12. Suppose 12 = -4*l, -v + 0*l + l + 3 = 0. Suppose -p + 3 = 0, v = b + b - 4*p + 8. Solve 4 = -d*u + b*u for u.

-4

Suppose 5*b = 6*s - s - 15, -2*b + 4*s = 14. Let z = 3 + b. Solve -z*i - 8 = -0*i for i.

-2

Let k be (-1 - (-2 - 0)) + -3. Let i be ((-2)/k)/1*0. Suppose i = -0*f - 4*f + 16. Solve 0 = f*x - 0*x + 16 for x.

-4

Let n(a) = a**2 + 6*a - 7. Let o be n(-7). Suppose o = -2*x - 0*x. Solve 0 = -u - x*u + 3 for u.

3

Suppose -2*o = 3*m + 1, -3*o - 12 = -m + 2*m. Solve -j = -m*j + 6 for j.

3

Let g be (4/(-9))/((-122)/(-18) - 7). Solve -2 - g = c for c.

-4

Let u = -69 + 79. Solve -3*l = 2*l - u for l.

2

Let n(i) = -i**2 - 8*i - 3. Let l be n(-7). Suppose -l*c = r + 1, 4*r + 0*c = -2*c + 10. Solve 5*u + 2 + r = 0 for u.

-1

Let j® = -r**2 + 12*r - 1. Let d be j(8). Let h = d - 29. Solve 0 = -0*n - h*n for n.

0