Let d = -22 + 68. Let k be (-2)/7 - d/(-14). Solve 6 = 5*r - k*r for r.
3
Suppose 0 = -5*h - 10, 0 = -4*b - 0*b - 2*h + 56. Let m be (2 - (-1)/2)*2. Solve -m*g - b = 10 for g.
-5
Suppose 3*r + 4*c = 4, 0 = -3*r + r - 3*c + 2. Suppose r*l - 32 + 0 = 0. Solve -l = -0*p - 4*p for p.
2
Suppose -7*g + 24 = -4*g. Solve 0 = -3*z - z - g for z.
-2
Suppose p = 4 + 1. Solve -d = -2*d - p for d.
-5
Let o = 7 - 11. Let u = o + 7. Solve 15 = -u*a - 0*a for a.
-5
Let j(q) = -q**2 + 2. Let z be j(0). Solve -z*k + 0*k = -2 for k.
1
Suppose -15 - 15 = -5*m. Solve -5*j + m = -4 for j.
2
Suppose -2*j - 3*o = -2, -2*o = 6*j - j + 6. Let t be (5/j)/(-1)*2. Let p be 8/((1 - 2)/(-2)). Solve -t*m = p - 1 for m.
-3
Let x(p) = -2*p - 8. Let j be x(-6). Solve j*i - 4 = -0 for i.
1