10:11:29	 From  Thomas Del Vecchio : (x^2 - 4)
10:13:47	 From  Ben Ryjikov : how many variables would it have to solve for to say that it works for all variables
10:16:32	 From  Thomas Del Vecchio : /\
10:21:34	 From  Christopher Wolfrram : Still no algebra?
10:21:44	 From  Neil Ramaswamy : what’s the reasoning for no algebra?
10:21:45	 From  Daniel Kostovetsky : There exists a counterexample
10:21:48	 From  Jiahao Yuan : find a x that disatisfy
10:22:03	 From  Gene Siriviboon : For some x the inequality hold
10:23:35	 From  Christopher Wolfrram : What if there is one but its outside of the bounds?
10:23:45	 From  Christopher Wolfrram : (A counterexample)
10:24:12	 From  Christopher Wolfrram : Ah ok
10:35:18	 From  Max Heller : 6
10:35:19	 From  Gene Siriviboon : 5
10:35:20	 From  Thomas Del Vecchio : 8
10:35:21	 From  Mia Santomauro : -1
10:35:22	 From  Koyena Pal : 3
10:36:31	 From  Mia Santomauro : 0
10:36:32	 From  Julia McClellan : 0
10:36:33	 From  Ben Ryjikov : 0
10:36:36	 From  Gene Siriviboon : 2
10:39:06	 From  Neil Ramaswamy : yes
10:39:28	 From  Phunn Boonchouchouy : Does r have to be Int?
10:40:50	 From  Jiahao Yuan : is there a guarantee of within how many steps a S can be found?
10:41:17	 From  Jiahao Yuan : ok
10:41:29	 From  Phunn Boonchouchouy : I think it depends on the degree of polynomial
10:41:44	 From  Jiahao Yuan : some heuristics to be used?
10:48:46	 From  Mary Loukidi-Papanikoli : 32 bits?
10:49:18	 From  Christopher Wolfrram : Are these minimal?
10:49:37	 From  Mary Loukidi-Papanikoli : so shift right by 31 to get 0 for positive and 1 for negative
10:50:52	 From  Thomas Del Vecchio : Thank you!