Решение 

`>=`(`+`(`*`(v[0], `*`(t)), `-`(`*`(`/`(1, 2), `*`(a, `*`(`^`(t, 2)))))), 32) 

`>=`(`+`(`*`(20, `*`(t)), `-`(`*`(`+`(`*`(4, `*`(`^`(t, 2)))), `/`(1, 2)))), 32) 

`>=`(`+`(`*`(`^`(t, 2)), `-`(`*`(10, `*`(t))), 16), 0){`<=`(t, 2)}, {`<=`(8, t)}