Suppose 2*c - 18 = -2*z, 0*c = 5*z + 3*c - 43. Solve -z = -3*k + 4 for k.
4
Let q be (14/(-8))/((-3)/(-12)). Let r = q + 10. Suppose -t = r*t - 48. Solve -8*c = -5*c - t for c.
4
Let y be 3/((-3)/4) + 4. Suppose 0*d + 3*d = y. Solve 4*n = -d + 16 for n.
4
Suppose y + 0*y - 4 = 0. Solve -y*a + 3 = -1 for a.
1
Let i(o) = 8*o + 6. Let l(g) = -7*g - 5. Let u(t) = -6*i(t) - 7*l(t). Let k be u(8). Let s = k + -3. Solve 0 = s*j - 6*j for j.
0
Suppose p + 5*f - 20 = 0, 0 = 3*p + 2*p + 5*f - 20. Suppose -a + p*a = -4. Solve 1 = a*y + 17 for y.
-4
Let z(b) = 26*b**2 - 1. Let c be z(-1). Suppose -5*a + 0*a + c = 0. Solve 6 = a*s - 9 for s.
3
Let g = 3 + -3. Let x be (-1 + 2)*(3 + g). Solve 7 = x*o - 5 for o.
4
Suppose -3*x = 11 - 17. Suppose f + 1 = x*s, -s - 13 = f - 6*f. Solve 0 = s*h - h + 4 for h.
-4
Let h(g) = g3 - 7*g2 - 8*g. Let m be h(8). Solve 2*n - 1 + 7 = m for n.
-3