Let p = 12 - 8. Solve u = p*u for u.
0
Let t = 7 - 4. Solve 0 = c + t*c for c.
0
Let k(z) = -3*z. Let l be k(-1). Solve l*b = b for b.
0
Let x(d) = d3 - 5*d2 + 3*d + 6. Let y be x(4). Solve -3*t = y*t for t.
0
Let m(d) = -d3 + 4*d2 - 2*d - 1. Let b be m(3). Let k = 8 + -6. Let s be 1/(-2) + k/4. Solve -3*i - b*i = s for i.
0
Let w(g) = -g3 - 3*g2 - g + 2. Let q be w(-2). Suppose q = -i - 4*i + 20. Suppose 4*m = m - 15, -5*b + 3*m = -45. Solve -2 - b = -i*z for z.
2
Let q(n) = n**2 - 2*n + 3. Let j be q(3). Let c be j/(4 + -1) + 0. Let y be (c/(-2))/(2/(-4)). Solve 4 = y*h + 14 for h.
-5
Let k be (-4)/8*(3 + -11). Suppose 36 = k*g - 5*p, 2*g + 4*p + 0 + 8 = 0. Solve r + g*r = 10 for r.
2
Let t(u) = -1. Let l(g) = g + 8. Let v(y) = l(y) - 3*t(y). Let p be v(-7). Suppose 0 = -0*o - p*o + 24. Solve 4 + o = 5*j for j.
2
Let s = 105 - 103. Solve 11 = -s*r + 5 for r.
-3