Let r = 8 + -5. Let v(s) = s + 0 - 3*s + 6 + r*s. Let h be v(-4). Solve 3*w + 1 = -h for w.

Suppose -w - 12 = -3*q, -3*q + 4*w = -6 + 3. Suppose 5*r = q*h - 45, -4*h + 24 + 8 = -3*r. Solve -h*x + 15 = -0*x for x.

3

Let p be (0/(-5))/(5/(5/(-2))). Solve p = -2*q + 3*q - 1 for q.

1

Let l(p) = -p**2 + 9*p + 4. Let n be l(9). Suppose -t + n = t. Solve -w + t*w + 3 = 0 for w.

-3

Let n® = -r. Let u be n(-4). Suppose 4*q + u = -4*s, -4*q + 0 - 5 = 5*s. Suppose 3*o - 2 = 2*o. Solve -o*t + 3*t = q for t.

0

Suppose 4 = -2*d + 26. Let q = 27 - d. Solve 0 = 4*m - q - 0 for m.

4

Let l(t) = t3 - 5*t2 - 6*t + 4. Let j = 11 + -17. Let a be (-45)/j + 6/(-4). Let x be l(a). Solve 0 = -v + x for v.

4

Let j be (-2)/7 + (-18)/(-14). Let g(k) = -k**2 + 3*k + 2. Let n be g(3). Suppose z + j + 0 = 0, 4*z - 8 = -n*l. Solve 0 = a + a + l for a.

-3

Let w(g) = -g**2 - 2*g + 6 + 5*g + 0*g + 6*g. Let u be w(7). Suppose -5*k + k = -u. Solve 0*x = -k*x - 5 for x.

-1

Let x(g) = g**2 + 5*g. Let z be x(-6). Suppose z*i - 2*i - 24 = -4*s, -3 = -i. Solve -s*n + 6*n = 9 for n.

3

Suppose -5*d + 34 = 3*l, 2*d + 0*d = l + 7. Let j be ⁶⁸⁄₂₀ + (-2)/5. Suppose j*s - 4*s = 0. Solve 3*q + d + 1 = s for q.

-2