Let j = 9 + -5. Let c = j - 0. Solve -c*d + 8 = -8 for d.

Let u(n) = n3 - 6*n2 - 7*n + 2. Let d be u(7). Solve -a + 3 = -d*a for a.

-3

Let a(b) = -b**2 - 7*b - 3. Let t be a(-9). Let i = 0 - t. Let u be -2*6/(-14)*7. Solve 5*h - u = -i for h.

-3

Let g = 20 + -27. Let c = g - -9. Solve -1 - 1 = -c*d for d.

1

Suppose -3*g + 0 = -6. Let v be ¹²⁄₁₆ + 9/(-12). Solve v = -g*p - 2*p for p.

0

Suppose -f - f = -4. Solve t + t = -f for t.

-1

Let h = -23 - -28. Solve 3*g - 8 = h*g for g.

-4

Suppose 0 = -4*h - 0 - 20. Let y = 7 + h. Let i = 2 - y. Solve 2*a + 2 = -i for a.

-1

Let v(g) = g**2 - 8*g + 2. Let r be v(8). Solve -3*u + 14 = r for u.

4

Let o(v) = v**2 + 11*v + 2. Let d be o(-11). Let k = d + -1. Suppose 5 + 11 = 4*p. Solve -3 - k = -p*t for t.

1

Let j = -7 + 12. Suppose 6*m - j*m = 2. Suppose -3*n = -4*o + 11, 2 = -3*o + m*n + 10. Solve -5*t + 15 = -o*t for t.

5