Suppose b - 3*o - 10 = -7*o, 6 = b + 2*o. Solve -m = -3 - b for m.
5
Suppose -3*o = -2*o + 9. Let q be (-15)/o*3*1. Solve -17 + q = -3*c for c.
4
Suppose 4*n - 12 = 5*f, 2*f + 2*f + 6 = 2*n. Let o = 2 + -2. Suppose o = -3*a + 2*m - 5*m - 6, 4*m + 5 = -5*a. Solve f*l - a*l + 3 = 0 for l.
1
Let x(p) = -p**2 + 6*p + 30. Let b be x(9). Solve 0*n + 6 = b*n for n.
2
Let n = -8 - -12. Solve 3*h = -h + n for h.
1
Let h(p) = -2*p**2 - 7*p - 4. Let m be h(-4). Let x = -4 - m. Solve 0 = -x*t - 5 - 3 for t.
-2
Suppose f = -2*f. Solve -5*u - 12 + 2 = f for u.
-2
Suppose 4*d - 5 = 3. Solve 0 = -2*s + 4 + d for s.
3
Let l = 54 + -54. Solve -4*y + 6*y + 6 = l for y.
-3
Suppose 2*a + 0*m + 3*m + 15 = 0, 0 = -3*a + 3*m - 30. Let t be 3/a - 14/(-6). Solve 0 = 2*c + t - 0 for c.
-1