import java.util.*;
import java.io.*;
import java.util.regex.*;
 
class Ideone
{
	public static void main 
(String[] args
) 	{
		Pattern pattern = Pattern.compile("x <= \\d+ \\(\\d+, \\d+\\)");
        String expectedString 
= "x <= 900 (4, 7)";         Matcher m = pattern.matcher(expectedString);
        System.
out.
println(m.
matches()); 	}
}
				aW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5pby4qOwppbXBvcnQgamF2YS51dGlsLnJlZ2V4Lio7CgpjbGFzcyBJZGVvbmUKewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpCgl7CgkJUGF0dGVybiBwYXR0ZXJuID0gUGF0dGVybi5jb21waWxlKCJ4IDw9IFxcZCsgXFwoXFxkKywgXFxkK1xcKSIpOwogICAgICAgIFN0cmluZyBleHBlY3RlZFN0cmluZyA9ICJ4IDw9IDkwMCAoNCwgNykiOwogICAgICAgIE1hdGNoZXIgbSA9IHBhdHRlcm4ubWF0Y2hlcihleHBlY3RlZFN0cmluZyk7CiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKG0ubWF0Y2hlcygpKTsKCX0KfQ==