Let r = 0 - -2. Suppose -b - r + 3 = 0. Let m be 2*(b + (-9)/(-6)). Solve m*x - 5 = 5 for x.
2
Let q(n) = n3 - 8*n2 + 2*n - 11. Let x be q(8). Suppose 0 = x*u - 2*a - 14, -10 = -2*u - 2*u + a. Solve -4*h = -2*h - u for h.
1
Let t® = r - 2. Let d be t(5). Suppose -3*m - 5*w + 9 = -2*w, -4*m = 3*w - 14. Suppose 8 = m*z - z. Solve z + 1 = -d*c for c.
-1
Let l(j) = 2*j**2 + 5*j - 3. Let a be 15/(-3) + (0 - -1). Let o be l(a). Suppose -4*f + o = 3*v - 15, -5*f + 2*v + 7 = 0. Solve -f*m + 4 = -7*m for m.
-1
Suppose r + 3 = 2*r. Let f = 8 - 5. Solve -2*a = -r - f for a.
3
Let w(d) = d**2 - 2*d. Let n be w(0). Suppose 5*h - 2*h = n. Solve 5 = -h*l + l for l.
5
Suppose 0*v - 8 = v. Let x be 42/v-2. Solve -3 = -f + x*f for f.
-3
Let z(h) = -h**2 + 14*h + 17. Let p be z(15). Let f = 15 + -9. Solve -p*g + 2 - f = 0 for g.
-2
Let a be 0*3⁄3 - -2. Let s = -1 - -16. Solve k = -a*k - s for k.
-5
Let q(z) = z**2 + 7*z + 6. Let n be q(-7). Let m be ((-3)/n)/(1/(-4)). Solve -2 = 4*k + m for k.
-1