Let i be 5 - 0*(-2)/(-4). Let c(s) = 11*s3 + 2*s2 - s - 2. Let y be c(2). Let u be y/22 + 12/(-66). Solve 5*t = u*t + i for t.
5
Let a(i) = -i - 3. Let w be a(-11). Solve -3*r - r = w for r.
-2
Suppose 4 = g - 2. Suppose -11 - 14 = 5*v. Let y = v + g. Solve 3*u = -y + 4 for u.
1
Let d(t) = t3 - 10*t2 + t - 6. Let c be d(10). Solve c*v - 11 + 31 = 0 for v.
-5
Let d(o) = o**2 - 5*o - 13. Let l be d(9). Let b = -28 - -12. Let q = b + l. Solve q = 4*x - 1 for x.
2
Let c be 1⁄2*(0 - 2). Let f be (-2 + 3)*0/c. Suppose 5*i - 3*i - 4 = f. Solve -p = i*p for p.
0
Suppose -4 = -2*r + 5*d - 3, -3*d - 3 = -2*r. Solve -16 = -p - r*p for p.
4
Let c(m) = m**2 - 4*m - 7. Suppose 2*t - 4 + 2 = 0. Suppose -t = -2*o + 11. Let d be c(o). Solve -2*a - d = 3 for a.
-4
Let v(i) = -4*i - 14. Let o be v(-4). Solve -o*k = -5*k + 9 for k.
3
Let q(j) = j2 + 6*j - 7. Let g be q(-7). Let u(x) = x2 - 2*x - 3. Let y be u(3). Suppose y*w = -4*w + 16. Solve n + 3*n + w = g for n.
-1