Let x(m) = -m - 7. Let c be x(-7). Suppose -4*v + 20 + 0 = 0. Suppose 0*g + 15 = 3*g. Solve c = g*y - v - 0 for y.

Suppose -75 = -27*v + 12*v. Solve 0 = -v*z + 13 + 2 for z.

3

Let z = 0 - -1. Suppose -3*p + 8 + z = 0. Solve 2*v - p*v - 3 = 0 for v.

-3

Let l be (5 - 1)/(-2)*-4. Solve -l - 7 = -5*n for n.

3

Let t = 8 - 4. Let c = t - 4. Solve 2*u - 6 + 0 = c for u.

3

Suppose -31 - 59 = -9*u. Let p be (11 + -1)/((-2)/(-5)). Solve -p + u = -3*f for f.

5

Let w be 3 - (2 + 0 + (0 - 1)). Solve -w*d = -d - 4 for d.

4

Let c = -9 - -14. Solve c = 5*a - 0 for a.

1

Let f(t) = t**2 - 4*t - 6. Let q be f(5). Let x = 1 - q. Suppose 0*v + v = 16. Solve -x*b - 2*b = -v for b.

4

Let y(b) = b2 - 5*b. Let l be y(6). Let u(j) = -5 - j2 - 10*j - 7 + 3. Let r be u(-6). Solve -o = -l*o - r for o.

-3

Suppose -2h + 4 = 6. Let j be (h - -2)(-2)/(-2). Suppose 3*i + 0*c = -4*c - 7, 4 = -c. Solve i*f + j = 7 for f.

2