Let n(f) = f3 - f2 - 1. Let x be n(2). Solve 0*k + k = -x for k.

-3

Suppose 3*v + 5*l = -4, -v + l + 8 = -4v. Let m be v(-78)/9 - 1. Solve -3*x - m = 2*x for x.

-5

Let l = 0 + 91. Suppose -23 = 4*j - 5*o - l, -o = -2*j + 28. Solve -6*n + j = -2*n for n.

3

Let s = -38 + 41. Solve s*m - 6 = 6*m for m.

-2

Suppose g - 8 + 0 = 0. Let z be ((-14)/8)/(2/g). Let v = z - -12. Solve 5*t + v = -5 for t.

-2

Suppose 0 = -t + 2*f - 5*f - 4, 3 = 3*t + 4*f. Solve t*w - 10 = -0*w for w.

2

Suppose w = 129 - 120. Solve 4*a + w = 1 for a.

-2

Suppose -2*d + 21 = d. Suppose 1 = k - d. Suppose -4 = -3*i + k. Solve 3 = -i*r - 9 for r.

-3

Suppose -11 = -2*o - 3*n - 1, -4*o = -n - 20. Suppose 4*k - 3*k - 3*r = 0, -o*r = -2*k. Solve -3*d = -k*d + 12 for d.

-4

Let h = -9 - -4. Let u(d) = d**2 + 5*d + 3. Let b be u(h). Suppose 4*y + x - 5 = 0, -y - b*x - 7 = -0*x. Solve 2 + 2 = -y*f for f.

-2