Let f = 3 - 5. Let t be (-31)/(-3) - f/3. Let l = t + -8. Solve 0 = -l*j + 12 for j.

4

Suppose -5*o - 31 = -4*i, 0*i - 2 = -2*i - 2*o. Let r(a) = -a + 2. Let v be r(-5). Solve v = i*y - 5 for y.

3

Let w = -73 - -73. Solve w = d - 0*d for d.

0

Let q(m) = m - 4. Suppose 33 - 3 = 5*j. Let f be q(j). Solve -f*c = -5*c + 12 for c.

4

Let a(s) = -s + 10. Let x be a(7). Suppose y + x*y = 12. Solve 0*f + y*f = 9 for f.

3

Suppose p - 1 = 1. Let w = p + 0. Solve w + 6 = 2*u for u.

4

Let q = -19 - -6. Let o = q - -19. Let u be ((-3)/o)/(1/(-8)). Solve u*n - 6*n = 0 for n.

0

Suppose 3*z - 48 = -z. Suppose -2*r + z = 2. Solve -r*t + 8 = -17 for t.

5

Let k(p) = -p + 7. Let t be k(5). Let h be (0 - 0)*(-1)/2. Solve h = t*v - 2 for v.

1

Let v be -3 - 4/(1 + -2). Solve 0 + v = -k for k.

-1