Let j(c) = c**2 + 6*c + 2. Let v be j(-5). Let m be (-1 + (v - -2))/(-1). Let o = 4 - m. Solve -p = o*p - 6 for p.

Let p be (⁴⁄₂ - 5) + 9. Solve 8*r - p*r = 0 for r.

0

Suppose -4*t - 15 + 6 = l, -3*l + 25 = -t. Solve -l - 9 = 4*k for k.

-4

Let l(j) = j3 - 4*j2 + 2. Let u be l(4). Solve -u*m + 7 = -1 for m.

4

Let q(x) = x**2 + 1. Let l be q(-1). Suppose -1 = 3*i + 2*b + 1, 12 = -3*b. Suppose k + 2 = i*k. Solve l = -k*t - 0 for t.

-1

Suppose 4*i + 5*a = 11 + 1, 5*a + 6 = 2*i. Let f be (-2 - -4) + 0 + 0. Suppose -4*n + f + 6 = 0. Solve 7 = -n*g - i for g.

-5

Suppose i = -3*i + 12. Suppose 0 = -5*u + i*u + 4. Solve a + 2 = u*a for a.

2

Let d = -5 - -3. Let k be ¹²⁄₁₆ - d/8. Solve 0 = -4*n + 15 + k for n.

4

Let l(o) = o3 - 3*o2 - 4*o + 3. Let m be l(4). Let g be m + 1 + -2 - -1. Let h = g - 3. Solve 5*a = -h*a - 15 for a.

-3

Let r be (2/(-4)*1)/((-3)/18). Solve 2*a + r = -3 for a.

-3

Let q = 1 - -5. Suppose 2*x = -0*j - 5*j + 14, 0 = -j - 2*x + q. Suppose -m + 3 = -0. Solve 1 = -j*b + m*b for b.

1