Let x(v) = -4*v + 4. Let o be x(1). Solve -16 = -4*s - o*s for s.

Let n be (¹⁸⁄₄)/(¹⁄₄). Suppose v + v = -n. Let c(b) = -b - 7. Let z be c(v). Solve 5*s + 7 = z for s.

-1

Let q(a) = a3 - 6*a2 + 6*a. Let d be q(5). Suppose 0 = 4*w + d - 21. Solve w = -0*m + m for m.

4

Let n(z) = -z + 15. Let w be n(12). Let h be w/((-15)/4)*-5. Let u = h + 0. Solve s + u - 8 = 0 for s.

4

Let i = -1 + 1. Suppose 3*h + b - 11 = i, 3*h - 4*b + 9 = -b. Suppose -3*q + 8*q = -h*t + 24, -3*q + 16 = 2*t. Solve -6 = q*v + 2 for v.

-2

Let f = -9 + 15. Let r(t) = 23*t**2 - t + 1. Let v be r(-2). Suppose 0 = m - f*m + v. Solve -1 = -5*q + m for q.

4

Let i = -2 + 3. Suppose 0*d = -d + i. Suppose 20 = 4*z, 2*x + d + 5 = 2*z. Solve 0 - x = 2*y for y.

-1

Let a = 1 + 0. Suppose -n - 3 = -8. Suppose h + a - n = 0. Solve 0 = -x - x + h for x.

2

Let o = -14 - -16. Solve s = -4 + o for s.

-2

Let g(a) = -a3 + 6*a2 + 6*a + 9. Let w be g(7). Solve -2*z + z + w = 0 for z.

2

Let o be ((-2)/4)/((-3)/6). Solve -o - 15 = -4*t for t.

4