Let v(h) = h3 + h2 + 10. Let r be v(0). Let l = -4 + r. Solve d = l*d for d.
0
Suppose 0 = 7*o - 2*o - 100. Let i = 7 + -3. Solve i*h - o = -h for h.
4
Let v be -4*(-4)/((-12)/(-3)). Solve -5*j + v = -6 for j.
2
Let a be (-1 + 3)*(-3)/(-2). Suppose 2*y + 2 = -2*n - 4, -5*n = -5*y - 15. Let r be (n/1)/(-1)*1. Solve a*o - 5 - 1 = r for o.
2
Suppose 1 = -4*q - h, -2*q - 3*h = -0*q + 3. Suppose -2*c = -3*c - g + 1, 4*g = -3*c. Solve q*m = m - c for m.
4
Suppose -5*k + 23 = 3. Solve -k*i = i + 20 for i.
-4
Let z be (-2)/3 - (-16)/6. Let b(j) = -j**2 + 5*j. Let l be b(5). Suppose w = -l*w + 3*f + 12, w - 12 = 5*f. Solve x = -z*x - w for x.
-4
Let r = 2 + -2. Suppose r = 3*f - 4*n + 4, -3*f - 3*n + 14 = -10. Solve -l - f = l for l.
-2
Let p = 17 + -16. Solve 4 + p = -k for k.
-5
Let s = -12 - -18. Let a be -3*(s/9 + -1). Suppose 0 = -4*r + 120 - 24. Solve 5*u = a + r for u.
5