Let o(d) = 2*d + 14. Let q be o(-6). Let k be ((-3)/q)/((-18)/48). Solve -k + 0 = b for b.
-4
Suppose 4*t = t. Let n = -1 - t. Let c be 1 - n - (1 - 1). Solve -c*h - 3 = -1 for h.
-1
Suppose -4*n = -3*n + 5*w - 13, -2*n + 14 = 4*w. Solve -u = -n*u for u.
0
Suppose 24 = 4*c - 0*c. Let u = 10 - c. Solve -u*r = -5*r for r.
0
Suppose 10 = -5*o - 10. Let g = o - 2. Let b be 0/2*3/g. Solve i = -b*i + 3 for i.
3
Suppose 4*i = -0*i + 28. Let j(n) = n**2 - 3*n. Let q be j(4). Suppose -q*v = -v. Solve v = -x + i - 2 for x.
5
Let w(v) = v3 + 5*v2 - 3. Let z be w(-5). Let b be (0/7)/(z + 1). Suppose o + 4*o = b. Solve o = 2*n - 0*n for n.
0
Suppose 0 = -4*h - h + 55. Suppose -p = 4*t + h, 17 = 4*p + p + 2*t. Solve -8 - 12 = -p*a for a.
4
Let z(u) = 3*u**2 + u. Let i be z(1). Solve -i*w - 13 = 3 for w.
-4
Let p(i) = -i + 2. Let o be p(7). Let j be (18 - o) + (-6)/2. Solve -8*n + 4*n + j = 0 for n.
5