Let n(r) = 3*r + 1. Suppose -t + 0 = -1. Let g be n(t). Suppose l - 3*d - 9 = 0, -l + 2*d - d + 3 = 0. Solve g*y - 4 = -l for y.

Let g be 3 - 1 - (-6 + 6). Suppose -4*h + 2 = -g. Let s = 0 - 0. Solve l = -s + h for l.

1

Let p = 1 - 0. Suppose -d - p = -0*d, 5*d = -5*k + 5. Suppose 0 = -k*w + w + 3. Solve w*n = 2*n + 1 for n.

1

Let j = -8 + 6. Let v be j/(-4) + (-1)/2. Let f = v + 2. Solve -1 = -f*i - 3 for i.

-1

Suppose 2*b = -1 - 1. Let o(h) = 5*h**2 - h. Let z be o(b). Suppose 0 = -5*g + 6*g. Solve c - z*c + 5 = g for c.

1

Let i = 17 - 5. Suppose 5*z - i = 2*z. Solve -s + 9 = -z*s for s.

-3

Let x(l) = 4*l**2 + 7*l. Let k be x(-3). Suppose o - 2*o = -3. Solve -o*j - k = 2*j for j.

-3

Let s(l) = -l**3 + 5*l - 3. Let f be s(-3). Solve f*u - 4*u = 10 for u.

2

Suppose 0 = -4*j + 8*p - 3*p + 85, 5*p = -4*j + 35. Let y be j/(-20) + (-69)/(-12). Solve 0 = y*h - h + 8 for h.

-2

Suppose 3*y = 4 + 5. Suppose 2*d + 0*d + 2*n = -2, 0 = d - 3*n - y. Solve -u + 3 = -d*u for u.

3

Let u = 20 - 17. Suppose -3*s - 2*f = 2, u*s - 4*s = -f - 1. Solve s = -o - 0 + 4 for o.

4