Let l(t) = t**2 - t - 1. Let j be l(2). Let w be 4 - (-2 - -2 - 0). Suppose 0 = -4*o - 0*o - 4*a + 8, o + w*a = -j. Solve -2 = -o*b - 11 for b.
-3
Let w be 5⁄7 + 2⁄7. Suppose -f - 3*v + 6 = -w, -5*f - 5 = -5*v. Let a be 4 + (f - 0 - 2). Solve a*u = 6*u for u.
0
Let y = -10 - -23. Let c = y - 2. Suppose -3*a + 4*a = -2*m + c, a - 3 = 0. Solve m*q + q = -25 for q.
-5
Let m(x) = -4*x**2 - 3*x - 4. Let d be m(-3). Let b = d + 51. Solve -2*s = -6*s + b for s.
5
Let t(j) = 2*j. Let q be t(-5). Let u = q + 17. Suppose 0 = -3*s - 4 + u. Solve o - 6 + s = 0 for o.
5
Suppose k = -3*k. Solve a - 3*a + 2 = k for a.
1
Suppose 5*v - d - 2 = -0*d, 5*v = -2*d - 4. Let a be (-2 - v - 1) + 3. Suppose a*m = m - 1. Solve p + m = -0*p for p.
-1
Suppose 4*h + 19 = m - 0*h, -h = m + 1. Suppose 26 = m*x - x. Solve x = 3*f + 28 for f.
-5
Suppose 3 = 5*m - 2*m - j, 5*m - 4*j - 12 = 0. Solve m = 6*y - y - 20 for y.
4
Suppose 0*r - r + 9 = 0. Let d = 21 - r. Suppose 2*q - 2*u = 16, 5*u = 2*u - 12. Solve -4*f = -d - q for f.
4