Let i(o) = o**2 - 3*o - 1. Let f be i(5). Suppose -5*s + 4 = 3*m, 3*m - f = 4*s + 4. Suppose t - 7 = -m*g, -5*t = -5*g - 6*t + 13. Solve w = -2*w + g for w.

Let t be (-2)/(-2) - (-15)/5. Solve -x - 5 = -t for x.

-1

Let r(k) = -k. Let h be r(-2). Let a(u) = -u3 - 5*u2 + 6*u + 4. Suppose -4*b - 32 + 8 = 0. Let d be a(b). Solve -d + 0 = h*n for n.

-2

Let j be 7/(²¹⁄₁₂) - 2. Solve b + 12 = -j*b for b.

-4

Let c(l) = 3*l + 20. Let w be c(-6). Let q(d) = -d**2 - 4*d. Let n be q(-4). Suppose 4*h = -n + 8. Solve -h*y + 8 = w*y for y.

2

Let z = 80 - 77. Solve 0 = l + z*l - 16 for l.

4

Let c be (0 - -6)*¹⁄₆*5. Solve -1 - 9 = c*g for g.

-2

Let t(w) = w3 + 5*w2 + 3*w - 4. Let f be t(-3). Suppose o - 25 = 4*g - 0*g, 2*g = fo - 53. Let c be (-3)/o(-4 + 1). Solve 3 = -4*k - c for k.

-1

Suppose -3*n + 7 = 5*t, 0 = 4*t + 4*n - 2 - 2. Suppose 6 = 4*s - t. Solve -s = j + j for j.

-1

Suppose i - 8 = -i. Suppose -4*u + 8 = -0*u. Suppose 54 = u*r + 3*r - 2*f, -5*r + 48 = -4*f. Solve -4*t - r = i for t.

-4

Let p = 18 - 15. Solve -p*w - 25 = 2*w for w.

-5