Let f be (-5)/(-2)*16⁄20. Solve g + f*g = 15 for g.
5
Suppose -4*f + 12 = 4*i, -15 = f - 4*i - i. Suppose 4*k = 3*k. Let a(l) = -l**2 + l + 5. Let s be a(0). Solve f*q + s*q = k for q.
0
Suppose -d + 12 = d. Let b = d - 6. Solve s + 2 + 3 = b for s.
-5
Let n = -20 - -52. Suppose -2*r - 16 - 10 = -4*h, 4*r + n = 3*h. Solve 12 = -h*w - 0*w for w.
-3
Let d be (25⁄5 - 5)*1. Solve -3*w + w - 10 = d for w.
-5
Suppose 1 - 3 = -2*n. Let x be 10*n + 2/(-2). Let p = -6 + x. Solve -p = c + 2 for c.
-5
Let v(y) = -y3 + y - 6. Let g be v(0). Let q(s) = s3 + 6*s**2 + 6*s - 4. Let b be q(g). Let p be (-16)/b + 33⁄5. Solve p = k + 3 for k.
4
Let l(q) = 3*q - 3. Let t be l(2). Suppose 0 = x - t*x. Solve 3*g = -x*g + 3 for g.
1
Suppose o - 40 = -4*o. Suppose 0 = -o*p + 3*p. Solve p = 3*b - 6*b for b.
0
Let o(x) = -x3 - 5*x2 - 3*x + 4. Suppose -6 = 2*t - n, 4*n = -4*t - 9 - 15. Let w be o(t). Solve i = 1 - w for i.
1