Let f(d) = 2 + 3*d**3 - d + 2 - 3. Let n be f(1). Solve 0 = -n*h + 2 + 4 for h.
2
Let u be -1*0/(-1 + 3). Solve u*v = -v for v.
0
Suppose f + 3 = -4*b, 2*b - 3 = f - 0. Solve -2*u - 13 + 5 = b for u.
-4
Let j = 91 - 88. Solve 9 - j = 2*g for g.
3
Let o = -6 + 6. Solve 0 = -o*x - 3*x - 12 for x.
-4
Let x be (2 + 4/(-2))/1. Let z be 1 + x - 92/(-4). Suppose -5*k + 40 = 5*p, 5*p - 3*k = 2*p + z. Solve -3*a + p*a = -25 for a.
-5
Let m(u) = -u + 9. Let q be m(8). Let l be 15⁄5 + -2 + q. Solve l = -5*d - 8 for d.
-2
Let l(x) = x + 5. Let w be l(-3). Solve -w*d = -0*d - 6 for d.
3
Let j be 0 + -11-1. Let t be 112/(-40) - (-1)/(-5). Let r = 5 + t. Solve -b = -j - r for b.
3
Let d(o) = 9*o - 3*o2 - 5*o + 4*o2 + 4. Suppose -2*y + 5*w = 25, 4*y + 16 + 1 = -w. Let m be d(y). Solve n = -2*n - m for n.
-3