Let m(v) = v**2 + v + 5. Let q be m(0). Let b(p) = -p - 14. Let y be b(-12). Let j = q + y. Solve 7 + j = -2*i for i.
-5
Let q = -6 - -8. Solve 3*b - q*b - 3 = 0 for b.
3
Suppose -33 - 3 = -12*f. Solve 5*v + 13 = f for v.
-2
Let b = 5 - 2. Suppose f = b*f. Suppose -4*l + 5*k = -6 - 7, 4*l = -4*k + 4. Solve f = -c + l - 1 for c.
1
Let t be (-121)/(-17) + 4/(-34). Solve t + 3 = -2*b for b.
-5
Let l be 12⁄5 + 2/(-5). Solve -3 = -v - l*v for v.
1
Suppose 0 = 2*z + 18 + 4. Let y = z + 16. Suppose -y*l = 1 - 16. Solve -l*t = -7*t for t.
0
Suppose 2*w = -0*w + 28. Solve -w = 4*r + 6 for r.
-5
Let f = 2 - -1. Let l = f - 1. Let s be l + (-1 - -1)/(-3). Solve s = 5*k - 13 for k.
3
Let f(y) = -y**2 + 2*y + 3. Let r be f(0). Solve -2 = -r*x + 1 for x.
1