Let m(h) = 2*h**2 - h + 3. Let p be m(2). Solve -p*j = -4*j for j.
0
Let b be (-3)/9*-21 - 4. Suppose 0 = 3*p - b - 3. Solve 7*u = p*u - 15 for u.
-3
Let t(i) = -i**2 + 4*i - 2. Let u be t(3). Suppose -u = -j + 2. Suppose -18 + 2 = -4*k. Solve l + j = k for l.
1
Let q(p) = p3 - 11*p2 - 12*p + 2. Let i be q(12). Solve i*b - 1 = 3 for b.
2
Let o(z) = 7*z**2 + z + 1. Let m be o(-1). Suppose -8*j + m = -7*j. Solve -8 = -3*r + j for r.
5
Suppose 0 = 2*j - 0*j. Suppose 0*m = -2*m. Solve -2*n + j*n + 10 = m for n.
5
Let d be 34⁄8 + (-1)/4. Suppose -d*f - 1 + 17 = 0. Suppose 0 + f = 4*v. Solve -r + v = -2 for r.
3
Suppose -y = -8 - 11. Solve -4*q - y + 3 = 0 for q.
-4
Suppose -5*o + 4 + 1 = 0. Let j be (o + -5 - -1) + 3. Solve j*i = -i for i.
0
Suppose 0 = 2*i - 3*l + 6, -4*i + 2*l - 6 + 2 = 0. Let b(f) = -f3 + f2 + 2. Let o be b(i). Let k be o + (-1 - 1) - -2. Solve -k*r + 5 - 1 = 0 for r.
2