#NEWLINE# @ slow #NEWLINE# def test_bounded2a( ) : #NEWLINE# #INDENT# ( x , y , z ) = symbols ( 'x,y,z' ) #NEWLINE# a = ( ( x + y ) + z ) #NEWLINE# ( x , y , z ) = a . args #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( x ) , ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & ( ~ Q . finite ( y ) ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . negative ( x ) & Q . finite ( x ) ) & ( ~ Q . finite ( y ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & ( ~ Q . finite ( y ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . negative ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( Q . negative ( x ) & Q . finite ( x ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . negative ( x ) & Q . finite ( x ) ) & Q . positive ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & Q . finite ( y ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . finite ( y ) ) & Q . positive ( z ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . finite ( y ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & Q . finite ( y ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . finite ( y ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & Q . finite ( y ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( Q . finite ( x ) & Q . finite ( y ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & Q . finite ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & Q . finite ( z ) ) ) is True ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & Q . finite ( y ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . finite ( x ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . finite ( x ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) ) is False ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & Q . negative ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & ( ~ Q . finite ( y ) ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( Q . finite ( x ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & ( ~ Q . finite ( y ) ) ) & Q . negative ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( Q . finite ( x ) & ( ~ Q . finite ( y ) ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( Q . finite ( x ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) ) is None ) #NEWLINE# assert ( ask ( Q . finite ( a ) , ( ( ( ( Q . finite ( x ) & Q . positive ( y ) ) & ( ~ Q . finite ( y ) ) ) & Q . positive ( z ) ) & ( ~ Q . finite ( z ) ) ) ) is False )