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