Let d be (-12)/(-6) - 1 - (-16 + 1). Solve -2*z + d = 2*z for z.
4
Let g(d) = -2*d3 - 2*d2 + d - 2. Let k be g(-2). Let x = k + -3. Solve -j + 0 = -x for j.
1
Suppose 0 - 1 = a, -4*a + 4 = 4*z. Solve -3 + z = -n for n.
1
Suppose -4 + 19 = 3*f. Suppose -3*g = -f - 7, 4*l - 2*g = 0. Solve -s = l*s for s.
0
Let l(y) = y3 - 9*y2 + y - 4. Let o be 12/(-10)*(-45)/6. Let h be l(o). Suppose -d - h*b - 10 = -b, 0 = 5*d - 4*b - 22. Solve d*g = g for g.
0
Suppose c = 4*c. Solve c*o = o - 3 for o.
3
Suppose 0 = -4*l - c + 104, 3*l + 26 = c + 97. Let a(z) = -z + z + 1 - z. Let v be a(-5). Solve -x + l = -v*x for x.
-5
Suppose 0*h + 12 = 3*h. Solve 4*g = -0 - h for g.
-1
Let o = -4 + 4. Suppose -j + 0 + 2 = o. Let a(k) = k**3 + 2*k - 2. Let s be a(j). Solve 4*p + p - s = 0 for p.
2
Let f(a) = 11*a3 - a2 + 1. Let i be f(1). Let j be 0 - (-2 - (-1)/(-1)). Solve i = j*v - 4 for v.
5