Let y(h) = -h3 + 3*h2 - h - 2. Let r be y(2). Solve -4*o + o = r for o.
0
Let k(b) = b**2 - b + 1. Let o be k(0). Solve -r = -0*r + o for r.
-1
Let k(x) = x**2 - 1. Let l be k(-4). Let j be -3 - (0 + -3) - -6. Suppose -3*q + 5*f + 31 = 0, j*q - 1 = 3*q - f. Solve -3*g - q*g = -l for g.
3
Let a be (-4)/(-6) - 2/(-6). Let v be (0/(-2))/(a + 1). Let j be -4*(-7)/(112⁄12). Solve o - j*o - 10 = v for o.
-5
Let x(y) = 4*y - 6. Let f be x(7). Solve -4*r = 10 - f for r.
3
Let v = 7 - 3. Suppose 4 = -2*p + v*p. Let x be 10⁄3 - 2⁄6. Solve -t + p = -x*t for t.
-1
Suppose -5*f = -0*v + v + 10, 3*v - 6 = 3*f. Solve v = h + h for h.
0
Suppose 2*q = 2*y, -2*q = y + 2*q. Let h be 16⁄9 - (-2)/9. Let d(v) = -v + 4. Let r be d(h). Solve -r*f + 0 - 10 = y for f.
-5
Let t(a) = a**2 - 10*a - 6. Let d be t(11). Solve 7*m = 2*m - d for m.
-1
Let c = 102 + -101. Solve 0 = -8*u + 9*u - c for u.
1