Let u(s) = s**3 + 12*s**2 - 2*s - 1. Let v be u(-12). Let h = 39 - v. Solve 4*p - 4 + h = 0 for p.

Let k be 4/(-12) - (-22)/3. Suppose -4*f - y + 13 = -3*f, -5*y - k = -4*f. Solve -f*n + 3*n = 0 for n.

0

Let o(t) = 3*t2 - t3 + 1 - 3 + 3 + 6*t - 4. Let a be o(4). Solve 2*l - a = -1 for l.

2

Let l(s) = s3 - 2*s2 + s + 2. Let x be l(2). Let n = x + -4. Solve -y - 4*y + 15 = n for y.

3

Suppose 0 = 2*k + k - 6. Suppose 0 = 4*q - k*q - 30. Suppose -2 = -2*u + 2. Solve -u*w + q = w for w.

5

Let b be ²⁄₁₂ - (-1078)/84. Suppose -2*c - 3*s + 8 = 0, -5*s - b + 1 = -3*c. Solve -1 - 3 = c*m for m.

-1

Suppose -n = -5 - 1. Let g = 4 - n. Let b be -1 - 0 - (-3 + g). Solve -b*y + 9 + 7 = 0 for y.

4

Let s = -24 - -27. Suppose 3*h - 3 = 4*m, -m + 1 - 2 = -h. Suppose -3*v - k = -h, -3*v = v + 3*k + 2. Solve 4*l - v = s for l.

1

Suppose -2*f + 0 + 10 = 0. Let c = -6 + 9. Suppose -b = -2*b - c*q, 2*b + q - f = 0. Solve 0 = b*v + 1 + 2 for v.

-1

Let h(j) = j**2 + 6*j - 3. Let k be h(-7). Solve -2*a = -0*a - k for a.

2

Suppose 4*n + 44 = 3*k + 2*n, 5*n - 16 = -3*k. Let u be k - (1 - 1) - -3. Let t = 9 - 5. Solve t*z - u = -z for z.

3