1int fr_abx(int a, int b, int x) { return ((a * x) + (b * x)) == ((a + b) * x); }
2int fl_abx(int a, int b, int x) { return ((x * a) + (x * b)) == ((a + b) * x); }
3int fm_abx(int a, int b, int x) { return ((a * x) + (x * b)) == ((a + b) * x); }
4int fn_abx(int a, int b, int x) { return ((x * a) + (b * x)) == ((a + b) * x); }
5
6int fr_bax(int b, int a, int x) { return ((a * x) + (b * x)) == ((b + a) * x); }
7int fl_bax(int b, int a, int x) { return ((x * a) + (x * b)) == ((b + a) * x); }
8int fm_bax(int b, int a, int x) { return ((a * x) + (x * b)) == ((b + a) * x); }
9int fn_bax(int b, int a, int x) { return ((x * a) + (b * x)) == ((b + a) * x); }
10
11int fr_axb(int a, int x, int b) { return ((a * x) + (b * x)) == ((a + b) * x); }
12int fl_axb(int a, int x, int b) { return ((x * a) + (x * b)) == ((a + b) * x); }
13int fm_axb(int a, int x, int b) { return ((a * x) + (x * b)) == ((a + b) * x); }
14int fn_axb(int a, int x, int b) { return ((x * a) + (b * x)) == ((a + b) * x); }
15
16int fr_bxa(int b, int x, int a) { return ((b * x) + (a * x)) == ((b + a) * x); }
17int fl_bxa(int b, int x, int a) { return ((x * b) + (x * a)) == ((b + a) * x); }
18int fm_bxa(int b, int x, int a) { return ((b * x) + (x * a)) == ((b + a) * x); }
19int fn_bxa(int b, int x, int a) { return ((x * b) + (a * x)) == ((b + a) * x); }
20
21/*
22 * check-name: fact-add-mul
23 * check-command: test-linearize -Wno-decl $file
24 *
25 * check-output-ignore
26 * check-output-returns: 1
27 */
28