Let n(j) = -8*j2 + 2 + 0 + j + 2 + 6*j + j3. Let f be n(7). Solve f + 2 = -3*t for t.
-2
Suppose 0 = -5*h + 10, 2*h - 5*h = q - 11. Suppose -3*y + y + 10 = 0. Suppose 0 = 3*g + 1 + q, -5*c + y*g = -20. Solve 0 = -s - 3 - c for s.
-5
Suppose c - 15 = 2*z, -4*c - z - 3*z = 0. Solve -4 = c*r - 24 for r.
4
Let x(v) = -v3 + 11*v2 - 10*v. Let y be x(10). Solve y = -b - 0*b - 2 for b.
-2
Let w = -1 + 3. Let u be (18 - -2)*1⁄4 - -1. Solve -4*r - u = -w*r for r.
-3
Let d be (5 + (-2 - -3))/2. Suppose 6*i = i + 2*h + 20, -12 = -3*i - d*h. Solve -i*x = -x - 15 for x.
5
Let d(z) = -z**2 + 3*z + 4. Let w be d(4). Let r = 5 - w. Suppose 4*l = r*y - 22, l + 0*l = -3. Solve -y = -2*t + 4 for t.
3
Let b = 8 - 6. Let o(q) = 2 + q3 - 5 - 1 + 2*q - 5*q + 4*qb. Let d be o(-4). Solve 2*i = -0*i - d for i.
-4
Let l be (40/(-16))/(-2*(-1)/(-4)). Solve -2 = l*d - 12 for d.
2
Suppose -5*a = -2*a. Solve 5*n = -a*n - 20 for n.
-4