Let t(k) = k**2 - k + 2. Let c be t(2). Suppose -42 + 13 = -5*o - f, 2*o - 26 = -c*f. Solve 0*j - o*j + 10 = 0 for j.
2
Suppose o = 4*o - 2*t - 19, -5*o = -t - 20. Suppose -j = -o*j + 4. Solve 3*r = j*r for r.
0
Let j = 3 + 0. Solve -j*t + 2*t - 4 = 0 for t.
-4
Suppose -10*w = -11 - 9. Solve -i = w*i for i.
0
Let a = 28 - 17. Solve -3*s + 2 = a for s.
-3
Let d be (3/(-2) - -2)*0. Solve -j = -d*j for j.
0
Let x(a) = 3*a - 9. Let p be x(4). Solve -8*b = -p*b + 10 for b.
-2
Suppose -g + 5*k - 10 = -0*g, 2*k = 4*g + 4. Suppose -5*l + 15 = -g*l. Solve l = -3*d - 0*d for d.
-1
Suppose r - 4*x = -0*x + 1, -26 = -5*r - x. Solve -r*v = -v + 8 for v.
-2
Suppose -3*p + 5 = -8*p. Let f = 4 + p. Solve f = 5*x - 12 for x.
3