Let r(b) = -b3 + b2 - b + 2. Let w be r(0). Let x be (-1)/w - 5/(-10). Solve x = l + l for l.
0
Let l = 10 - 6. Let b(j) = j**2 + 7*j + 7. Let f be b(-6). Suppose 0 = -4*m + f + 15. Solve -l*d + m = -8*d for d.
-1
Let f = 35 + -32. Solve -7 + f = -x for x.
4
Let a(t) = t**2 + 6*t + 8. Let z be a(-7). Solve 4*o + z = -o for o.
-3
Let i(u) = 3 - 2*u + 0*u2 + 0 - 4*u2 - u**3. Suppose -6*n = -n + 15. Let k be i(n). Solve 3*l + 0*l = k for l.
0
Suppose 0 = 3*b + 7 + 17. Let f = b - -33. Let z = 13 + -6. Solve z*w = 2*w - f for w.
-5
Let f be (-2*(-4)/(-14))/((-20)/70). Solve f*q - 3 = -q for q.
1
Suppose -45*r + 48*r - 51 = 0. Solve -5*l - r = 8 for l.
-5
Suppose 4*r + 3*v = 6*r + 3, -5v + 15 = 0. Let l be (5-1*3)/(-1). Solve 0 = -r*c - 0*c - l for c.
-5
Suppose 0 = -3*k - 34 + 10. Let o(p) = p + 7. Let n be o(k). Let x(w) = -2*w3 + w2 + w. Let v be x(n). Solve v*a - 4 = -2 for a.
1