Let c = -11 - -13. Let q be 0 + -3 - (-5 - c). Solve 4*h = q - 0 for h.
1
Suppose 0 = -i + 1 + 3. Suppose -4*s = g - 16, 0*g + 32 = 2*g - i*s. Solve -4*a = -8*a - g for a.
-4
Suppose 0 = 4*b - 5*z + 17, 2*z = -2*z + 20. Solve x + x = b for x.
1
Suppose 0 = -7*q - 3*q + 10. Solve c + 0*c = q for c.
1
Suppose -4 = -5*a + 6. Solve -a*r + 6 = -0*r for r.
3
Suppose 0*u = -2*u + 6. Suppose b - 8 = -u. Solve -b*h + 15 = -2*h for h.
5
Suppose 4*n = 5 + 7. Let d be (n - (-1 + 1))/1. Let o = d - 1. Solve 1 + o = c for c.
3
Let h(l) = -2*l**2. Let z be h(-1). Let i be ((-3)/z)/(9⁄12). Suppose -i = -b + 10. Solve -3*x - 3 = -b for x.
3
Suppose -a + 1 = -3. Suppose -l = 5 + 4. Let c = l + 10. Solve 0 = 3*b + a - c for b.
-1
Suppose 0 = -d - 0 + 6. Let u be (-30)/(-7) + 2/(-7). Solve 0 = u*n + d + 2 for n.
-2