YES

Problem:
 f(g(f(x))) -> g(x)

Proof:
 Arctic Interpretation Processor:
  dimension: 1
  interpretation:
   [g](x0) = 2x0,
   
   [f](x0) = 4x0
  orientation:
   f(g(f(x))) = 10x >= 2x = g(x)
  problem:
   
  Qed