Let x(o) = -o3 - 3*o2 + 3. Let u be x(-3). Suppose 5*g - 15 = -5*d, u*d = 3*g + 1 + 8. Let i = 0 + g. Solve 0 = f - i*f - 4 for f.
4
Let x(j) = -j - 5. Let a be x(-4). Let q = 9 + a. Let p = q + -4. Solve p - 12 = -4*g for g.
2
Let i(s) = s**3 - s - 1. Let u be i(2). Suppose -2*h + 2*a = -38, -5*h + 3*a - 4*a = -65. Solve 3*r - u = -h for r.
-3
Let c be 8⁄4 + 7 + -3. Let p be -3 + (15 - (c - 3)). Solve -3*s + 0 - p = 0 for s.
-3
Let n be (-3)/(-9)*(1 + 0 - 1). Solve n = -2*j - 0*j for j.
0
Let r(z) = -4*z + 58. Let l be r(14). Solve -l = 3*k - 5 for k.
1
Let u(y) = 2*y**2 - 1. Suppose 0 = -l + 2*l + 2. Let s be u(l). Solve h + s = 3 for h.
-4
Let w = 10 + 1. Let y = w + -6. Solve -y = -5*s - 0 for s.
1
Suppose 3*b - 13 = 11. Let y = 11 - b. Solve -y*g = -6 - 6 for g.
4
Let t be (-20)/35*(-14)/4. Suppose 2*m - 14 = -2*i, m - i = t*i - 13. Solve 4*p - m - 2 = 0 for p.
1