Let q = -28 - -55. Let d = q - 7. Solve -d = -0*k - 4*k for k.
5
Let y(v) = 2*v**3 + 1. Let o be y(1). Suppose o*g + 5 = -3*q - 2*g, 3*q = -3*g - 3. Suppose 48 = 4*d - 6*l + 2*l, -2*d + l + 22 = q. Solve d = -x + 6*x for x.
2
Let r(l) = l3 - 3*l2 - 5*l + 6. Let i be r(4). Solve -2*u + 12 - i = 0 for u.
5
Let u be 32/(-6) - 3/(-9). Let i = -2 - u. Suppose i*p - 12 = 0, -5*b - 7 - 13 = -5*p. Solve 2 = f - b*f for f.
2
Suppose 0 = 15*z - 21*z. Solve x + z*x = -4 for x.
-4
Let l be ((-36)/(-8))/(3/(-4)). Let c be l/(1 - 3 - -1). Solve 0 = 3*x - c for x.
2
Let r be -1 + 2 + (40 - 2). Suppose -3*o = 9, 3*i - 5o + o - r = 0. Let y be ((i-1)/(-3))/1. Solve 8*s - 20 = y*s for s.
4
Let z = 16 - 11. Let d® = 0*r + r**2 - 5*r - 5 + 3*r. Let h be d(z). Solve -5*q = -h*q + 15 for q.
3
Let l = 13 + -11. Solve 0 = -2*n - l*n for n.
0
Let w be 2*(-4 - (-30)/5). Solve 0 = -h + w*h for h.
0