Let u = -11 - -11. Solve u = 2*b - 0*b - 6 for b.
3
Suppose -11*s = 3*s - 10*s. Solve s = -11*w + 8*w - 12 for w.
-4
Let n be 90⁄12*4⁄3. Suppose -2*w - n = -7*w. Solve w*i = -5 - 1 for i.
-3
Suppose 3 = -y - 0. Let t = y - -2. Let z be t2(-1 - 0). Solve z = -2*w + w for w.
-2
Let s(t) = 23*t - 136. Let k be s(6). Suppose 0 = 2*v + 1 - 11. Solve k*j + 3 = -v for j.
-4
Let j = 1 + 2. Solve j*f - 3 - 9 = 0 for f.
4
Let i(a) = -a - 2. Let z be i(-6). Suppose 0 = 6*g - 7*g. Suppose -z*t + t = g. Solve 6*f - 3*f + 6 = t for f.
-2
Suppose 63 - 15 = 4*b. Solve b = 5*q - 3 for q.
3
Let r(x) = -x3 + 10*x2 + 2. Let b be r(10). Solve -g + b*g = -1 for g.
-1
Suppose 0*u - u = -4. Suppose u*p = v + 6, -2*v - p + 6 = -0*p. Let y = 5 - v. Solve -4*d - y = -5*d for d.
3