Решение 

`and`(V[H] = `*`(`+`(`*`(4, `*`(Pi, `*`(`^`(r, 3))))), `/`(1, 3)), `*`(`+`(`*`(4, `*`(Pi, `*`(`^`(r, 3))))), `/`(1, 3)) = 12) 

`and`(V[F] = `*`(`+`(`*`(2, `*`(Pi, `*`(`^`(r, 2))))), r), `and`(`*`(`+`(`*`(2, `*`(Pi, `*`(`^`(r, 2))))), r) = `+`(`*`(2, `*`(Pi, `*`(`^`(r, 3))))), `+`(`*`(2, `*`(Pi, `*`(`^`(r, 3))))) = 12)) 

`and`(V[H] = `*`(`+`(`*`(4, `*`(Pi, `*`(`^`(r, 3))))), `/`(1, 3)), `and`(`*`(`+`(`*`(4, `*`(Pi, `*`(`^`(r, 3))))), `/`(1, 3)) = `+`(`*`(`/`(2, 3), `*`(V[F]))), `+`(`*`(`/`(2, 3), `*`(V[F]))) = 8))