Let r(d) = 2*d - 6. Let w be r(6). Let n(y) = y - 3. Let m be n(w). Let i(l) = -l**2. Let q be i(0). Solve q = m*t - 4*t for t.

Let i = -2 - 2. Let z = i - -4. Suppose -5*j = -z*j. Solve j = -2*b + b + 4 for b.

4

Suppose -8*x = -12*x + 8. Solve x*l + 0*l = -10 for l.

-5

Let a(w) = -w**2 - 5*w - 3. Let x be a(-4). Suppose 4*r + 4 = 0, -5*j - x = 4*r + 3. Suppose -8 = -y - t - 3*t, j = 4*t - 8. Solve 0 = -5*d - y*d - 15 for d.

-3

Let m® = -r**2 + 6*r - 1. Let q be m(5). Solve q*y - 3 = y for y.

1

Let b be 6/(-36)*(2 - -1)*0. Solve -3 = -b*y + y for y.

-3

Let i(z) = -z + 8. Let w be i(0). Solve -2*h - w = -0*h for h.

-4

Let h = -4 - 5. Let m = 9 + h. Solve m*s = s - 1 for s.

1

Let l(s) = -7*s - 3. Let x be l(-1). Solve -c = c - x for c.

2

Let f be (-10)/(-2) + (4 - 6). Let c(m) = -2*m + 3*m - 1 + 0*m + f. Let o be c(-2). Solve o = 5*p - p - 12 for p.

3

Suppose 0*t = 4*t. Suppose t = 4*l - 9 - 51. Solve 0 = -0*g + 3*g + l for g.

-5