Let f = -17 - -20. Solve 0 = -2*k + f*k - 1 for k.
1
Let z(o) = -2*o**2. Let p be z(-1). Let n be 0*p/6 - 0. Suppose -2*g = -n*g. Solve g*y = -3*y + 6 for y.
2
Suppose 3*u = 7*u - 12. Solve 0*f + u = -f for f.
-3
Let g = 51 - 36. Solve m = 6*m + g for m.
-3
Suppose -15 + 0 = 5*s. Let p = s - -6. Solve 2*c + p = -1 for c.
-2
Let x be ((-28)/8)/((-2)/4). Suppose -4*k + 17 = -x. Suppose 5*w = 2*r + r - k, 4*r = 8. Solve 0 = -w*g - 4*g for g.
0
Let u be (2 - -1 - 3) + 2. Suppose 1 = u*w - 5. Solve -w*p = p + 4 for p.
-1
Let k(a) = -a - 7. Let c(t) = -2*t3 + t2 + 3*t - 1. Let v be c(2). Let p be k(v). Solve p - 3 = i for i.
-3
Let w = 15 + -13. Solve -w*i + 4 = -2 for i.
3
Let i(s) = s**2 - 6*s - 5. Let o be i(7). Solve -o*t = -t + 1 for t.
-1