Let y = -12 - -17. Let x(o) = -y*o - 1 + 4*o + 12. Let t be x(10). Solve z - 1 = t for z.

2

Suppose 5*z - 3*c = -51, -z + c = -c + 13. Let w be 1/(-2) + z/(-2). Solve 0 = -4*f + w + 4 for f.

2

Let t(b) = -b**2 + 6*b - 5. Let w be t(5). Let q = w + 0. Solve u = -q + 1 for u.

1

Let a = 24 + -18. Let v be a/(-21) - (-64)/28. Solve 0 = q - 1 - v for q.

3

Suppose -125 = -5*n - 0*n. Suppose -10 = 5*b - n. Suppose 255*o - 259*o = -8. Solve 0 = v - b*v + o for v.

1

Suppose 0 = z + 3*l + 6, -2*l - 2*l - 24 = 4*z. Let k = z - -9. Suppose -14 = 5*d + 5*y - 49, -5*d + 27 = k*y. Solve -2*j - d = -5 for j.

1

Suppose 3*g - v - 12 = 0, 5*v + 1 + 11 = 3*g. Suppose g = f - 2. Let q be 0/(3 - (0 + 1)). Solve -f*l + 4*l = q for l.

0

Let y(b) = -b**2 - 2*b + 1. Let j be (-6)/9 - 4/(-6). Let f be y(j). Solve 0 = 5*v + 26 - f for v.

-5

Suppose -2*x + l + 5 - 3 = 0, -3*l - 10 = -2*x. Let z be 0/(-1)*x - 0. Solve -2*c = -z*c + 8 for c.

-4

Let l(d) = d**2 + 9*d - 2. Let s be l(-11). Let q = s - 16. Solve -w = w + q for w.

-2