Let n® = 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.

1

Let m = 21 + -19. Solve m + 1 = 3*u for u.

1

Suppose -4*l = -4, 5 = a + 6*l - 2*l. Suppose 5*q + 7 = -n + 3, -a = -n. Let t = q - -6. Solve 2*r + 3*r - t = 0 for r.

1

Suppose 0 = 4*a - 8, 19 = 5*s - 3*a - 0*a. Suppose -n - 4 = 4*g - 2*g, -s*g - 10 = 5*n. Let q be n + -2 + -3 + 5. Solve q - 16 = 4*m for m.

-4

Let o(g) = 2*g + 13. Let l be o(-4). Solve -v - l = -2*v for v.

5

Let a be (11 - 14)*(-4)/6. Solve -a*f + 1 + 1 = 0 for f.

1

Let g be (5 + 1)*515. Let r be (g/(-6))/(8/(-72)). Solve -r*s = -8*s + 5 for s.

1

Let l(m) = m**2 + 9*m + 8. Let g be l(-8). Suppose -k - 5*i - 18 = 0, 3*k - k - 2*i - 12 = g. Solve -k*s + 15 = 3*s for s.

3

Let q = -1 + 5. Let i(a) = a3 + q - 2*a3 + 0*a - 3*a**2 - 2*a. Let h be i(-3). Solve 0 = 4*m - 2*m - h for m.

5

Let u be (-189)/(-18) - 2/(-4). Solve 1 = 4*l - u for l.

3