Let q = 9 + -2. Suppose 0*r + 28 = 2*r. Let v = r - q. Solve -12 = -3*c + v*c for c.
-3
Let x(o) = o3 + 7*o2 + 7*o + 9. Let k be x(-6). Solve -9 = k*s - 0*s for s.
-3
Let u be 55⁄10 + 1⁄2. Solve h + h = -u for h.
-3
Suppose 0*a = 3*a - 2*h - 1, 3*h = -3*a + 6. Solve -g + 2 = a for g.
1
Suppose -4*f + 0*f - 3 = -3*z, -4*f - 2*z + 2 = 0. Let r be (-3)/(-3)*3 - f. Suppose 0 = 5*i - r*i. Solve i = -3*q + 2*q + 4 for q.
4
Suppose 0*v = -5*a + 5*v + 5, v = 4*a - 4. Solve -4 = 5*b + a for b.
-1
Suppose -1 = a - 5. Let t be (-62)/(-10) - a/(-5). Solve -2*f + t*f = 0 for f.
0
Let n be -3 - ((-10)/(-2) - 1). Let t(v) = v3 + 7*v2 - 2*v - 4. Let h be t(n). Solve -h = -5*i - 0 for i.
2
Let u(x) = -5 - x**2 + 3 - 8*x - 3. Let y be u(-5). Solve -y = -5*h - 0*h for h.
2
Suppose -10*v + 12*v - 4 = 0. Solve 3*r + v*r + 15 = 0 for r.
-3