Suppose 2*t + 0 = 10. Solve -8 = -t*i + 17 for i.
5
Let q(n) = n2 + 2*n - 2. Let o(f) = -2*f2 + f + 2. Let k be o(2). Let m be q(k). Solve -20 = r - m*r for r.
4
Let f(o) = 3*o + 4*o + 12 + 0*o + 7*o2 - 2 - o3. Let l be f(8). Solve -l - 2 = 4*n for n.
-1
Let q = -9 + 5. Let n be ((-6)/q)/(3⁄8). Suppose -4*i = -12 - n. Solve -i*f + 0*f + 16 = 0 for f.
4
Let o be 6⁄3 - -1 - -1. Suppose 19 = 3*i + 2*l - 4, -4*l - 4 = -o*i. Solve -i*d - 20 = -d for d.
-5
Let t be (-2)/(-7) + 1104⁄56. Let u = t + -12. Solve -3*r = -5*r - u for r.
-4
Suppose 0 = 2*z + 3*u - 8 - 0, -3*z - 3*u = -18. Let p = z - 10. Solve -y + 2 = -p for y.
2
Suppose 5*u = 4*m - 42, -2*u + 0 = 4. Solve 5*n - m = -3 for n.
1
Let k(n) = n**2 + 5*n + 6. Let w be k(-2). Solve 0*x + 2*x - 2 = w for x.
1
Let d(o) = -12*o3 - o2 + 1. Let n be d(-1). Solve -5*f = -n - 8 for f.
4