3633. Is z a prime number?
False
Suppose -157*z = -164*z + 72779. Is z composite?
True
Is -273618*(1 + -5) + (-8)/(-16)*2 a composite number?
False
Let r(o) = 12*o**3 + o**2 - o + 1. Let i be r(1). Let y(x) = 4*x**2 - 5*x - 28. Is y(i) a prime number?
False
Let r = 79538 + -41601. Is r a composite number?
True
Suppose 0 = p - 4 + 80. Let q = -126 - -1. Let m = p - q. Is m composite?
True
Let v(s) = -24527*s + 112. Is v(-3) a composite number?
False
Suppose 8*z + 17295 = -3*h + 5*z, 8 = -4*z. Let m = -2132 - h. Is m composite?
False
Let y(q) = 2*q - 16. Let u be y(9). Let z be 0/u - (-5 - (-2 + -1)). Suppose s - 4896 = -5*g, -4*s = -2*g - z*s + 1956. Is g prime?
False
Suppose -5*a + 1478 = q - 2*a, -2*q - 5*a + 2951 = 0. Let o = -2156 + q. Let m = 1691 + o. Is m a composite number?
True
Let m(k) = k**3 - 15*k**2 + 15*k - 14. Let i be m(14). Suppose -4*l + 2*g + 9956 = i, -3*l - g + 3*g = -7467. Is l prime?
False
Let p = 1158 - -5223. Let l = 10798 - p. Is l a composite number?
True
Let w(p) = p**2 + 9*p - 73. Let r be w(-17). Suppose -r*l + 68*l - 8795 = 0. Is l a prime number?
True
Let l = -141 - -95. Let s be (-4)/(-7) + (-9603)/(-63). Is (l/3)/((-6)/s) a prime number?
False
Let k(h) = -h**3 - 25*h**2 + 23*h - 77. Let v be k(-26). Is (v/(-3))/(2 + 6367/(-3183)) composite?
False
Suppose -2*y - t + 13 - 3 = 0, -5*y - t + 25 = 0. Suppose -4*v - 10 = 6, y*n = -3*v + 9593. Is n a composite number?
True
Suppose 5*j + 2*f - 890 = 0, -471 - 254 = -4*j + f. Suppose j = 5*u + 4*u. Is u*(85/50)/(6/15) a prime number?
False
Suppose -8*r + 4*r - 31376 = 0. Let f = 4340 + r. Is ((-12)/15)/(-4) + f/(-5) a prime number?
True
Suppose 400847 = -23*f + 427052 + 860284. Is f a prime number?
True
Suppose 3*d + 46 - 202 = 0. Let t = 52 - d. Suppose t = 3*x - 5*x + 9562. Is x a composite number?
True
Let y(h) = 448*h + 1. Let f be y(1). Let q = 373 + -443. Let n = f + q. Is n a composite number?
False
Suppose 6 = -2*i + 2*u - 0, -2*i = -3*u + 9. Suppose i = -29*d + 8*d + 10059. Is d composite?
False
Let z(m) = 2*m**2 - 16*m + 71. Let o be z(7). Suppose -o*a - 38898 = -66*a. Is a prime?
False
Is 39766164/988 + 4/(-26) a prime number?
False
Let u = 971 - 3685. Let h = u + 4733. Is h a prime number?
False
Let x be 1 - (-13)/(-11) - (-3262)/154. Suppose -x - 3 = -3*c - 3*i, -2*i = -4. Suppose c*l = -0*l + 15126. Is l a prime number?
True
Suppose -3*p = 2*v - 43 + 8, -2*p + 2*v + 30 = 0. Suppose -p = -2*z + z. Let l(a) = 11*a - 54. Is l(z) a composite number?
False
Suppose -19 = 3*m - 5*c, -36 = 4*m + 3*c - 59. Suppose 4*x - v = 41172, 11169 + 9427 = 2*x + m*v. Is x a prime number?
False
Is 42311*(42/(-273) - 30/(-26)) a composite number?
True
Suppose w - 949 = -k, -7*k + 10*k + 2*w - 2848 = 0. Suppose q - c = k, 12*c - 11*c - 960 = -q. Is q a prime number?
False
Suppose 0 = 4*v - l - 827, 3*l = -4*v - 2*l + 857. Let k be (-4)/(-28) - v/(-14). Is -1 + 2341/5 + (-3)/k prime?
True
Suppose -12*b - 1170 = -13*b. Suppose 0 = 52*z - 55*z + b. Let k = z + -177. Is k composite?
True
Let n be (-160568)/((-8)/2)*2/4. Let g = n + -11271. Suppose 0 = 6*u + 1774 - g. Is u composite?
False
Let g be (-6)/((36/32)/3). Let b be (48/10)/(g/200). Is -3*955/b*4 a prime number?
True
Let x = 190479 + -110675. Is 30/20 + x/8 a prime number?
False
Suppose 19*i = -13*i + 47*i - 1768575. Is i a prime number?
False
Is ((-802692)/132)/((-4)/(-7)*(-3)/4) prime?
False
Let n = 6 - 10. Let p(k) be the third derivative of -k**4/3 - 3*k**3/2 + 6*k**2 + 2*k. Is p(n) a prime number?
True
Let o(u) = 44*u**2 - 109*u - 185. Is o(-22) prime?
True
Let r be 76*(-2)/(4/14). Let v = 208 - 339. Let w = v - r. Is w a composite number?
False
Let i(g) = -8190*g - 2. Let s be i(5). Is (8/3)/8 - s/12 a prime number?
True
Is (15 + -17)/((-2)/21797) a prime number?
False
Let l = 157 - 163. Let n(r) = 55*r**2 + 3*r - 1. Is n(l) prime?
False
Suppose 12*o = 2*o + 229340. Let s = 39277 - o. Is s a prime number?
False
Let z(h) = 2*h**2 - 47*h + 4 - h**2 - 53*h + 106*h. Let l be z(-6). Suppose -l*c + a = -4033, -c - 2*a + 1012 = -3*a. Is c a composite number?
True
Is (-941676970)/(-1040) - (-3)/8 a composite number?
True
Let l be -5 - 14/(-91) - 4/26. Is (l/((-120)/1496))/(1/3) a composite number?
True
Let u = -63 + 56. Let p(i) = 63*i**2 + 9*i + 55. Is p(u) prime?
True
Let m be 2874*(-1)/2 + -8. Let d = 6228 + m. Is d prime?
True
Let w = 126 - 122. Suppose w*d - 2026 = -b - 0*d, 0 = -b + 3*d + 2047. Is b a composite number?
True
Suppose 67*m + x = 64*m + 152927, 5*x = -4*m + 203888. Is m a composite number?
True
Let y(z) = 2*z**2 - 13*z - 34. Suppose -5*v - 123 = -4*h + 2*h, 0 = -2*v - 5*h - 55. Is y(v) a composite number?
True
Suppose -5*s + 6*a + 2212108 = 9*a, 0 = 8*s + a - 3539407. Is s a composite number?
True
Suppose 6*i - 3*i + 8 = -2*a, 5*a + 3*i = -2. Suppose 0 = -a*s + m - 2730, 0*m - 2*m - 8 = 0. Is s/(-4) - ((-5)/4 + 2) composite?
True
Let j be (-4)/(20/4 - (7 - 3)). Is 6/(-108)*-36374 - j/18 composite?
True
Let t be 3/(91/35 - 2). Is t/2 - 14345/(-10) a prime number?
False
Suppose 18*j - 13*j = f + 1917879, 5*j = 3*f + 1917867. Is j a composite number?
True
Suppose 25 = 4*x + 16*t - 13*t, -3*x + t + 9 = 0. Suppose x*h + 2*q = 5434, 0 = -3*q + 8*q + 25. Is h a composite number?
False
Let u be (50/3)/(86/(-47343)). Let l = -1764 - u. Is l composite?
False
Let h(t) = -t**2 - 24*t + 5*t**3 + 3*t - 12 - 5*t**2 + 9*t**2. Is h(5) a composite number?
True
Let r(l) = 116*l**2 - 10*l - 3. Suppose 0 = 10*q - 17*q - 35. Is r(q) a composite number?
True
Let b be 2 + 4 + (-7 - -3). Suppose -b*q + 6*q = w - 1857, w - 3*q = 1860. Suppose 0 = -0*f + 3*f - w. Is f prime?
False
Let c(v) be the third derivative of 0*v + 4/15*v**5 - 3/2*v**3 + 0 - 1/4*v**4 + 35*v**2. Is c(4) prime?
True
Let u be ((-32)/(-6))/((-38)/(-13053)). Let f = 2569 - u. Is f prime?
False
Let u = 17 + -23. Let j be (40/(-6))/(u/639). Suppose -5*z + j = -0*z. Is z a prime number?
False
Let n(w) = 12*w**2 + 4 + 39*w - 28*w - 3*w**2. Let d be n(-8). Suppose 0 = 4*j + 4*p - d, 8 = 2*j + 3*p - 234. Is j a composite number?
False
Suppose 15 = 4*x + 7. Is (2 - 3) + -1 - (-59 + x) prime?
False
Let x be 24/(-30) - 34/(-5). Let i be (-2)/x - (-316380)/36. Let z = -5217 + i. Is z prime?
True
Is 16/36*9 + (559782 + 0 - -3) prime?
False
Suppose 0 = 10*r - 28 + 108. Let h(c) = c**3 + 10*c**2 + 14*c - 14. Let t be h(r). Suppose 3*j + 2185 = v + 47, 0 = v + t*j - 2113. Is v prime?
False
Let l = -1131 + 2218. Let n = -320 + l. Suppose -n = -3*y + 370. Is y composite?
False
Let x(n) = 1332*n**2 + 8*n - 13. Let h be x(6). Let a = h - 33396. Is a a composite number?
False
Let k(w) = -3*w**2 + 9*w - 4. Let g(v) = 5*v**2 - 17*v + 8. Let f(y) = 4*g(y) + 7*k(y). Let r be f(-6). Is 130 - 40 - 1/r*-2 a composite number?
False
Let i(r) = 25*r**3 - 7*r**2 - 15*r + 1. Let l(g) = -13*g**3 + 3*g**2 + 7*g. Let h(y) = 3*i(y) + 7*l(y). Let m be h(-1). Suppose 7671 = m*d + 1476. Is d prime?
False
Let o(x) = 68*x**2 + 70*x - 317. Is o(25) prime?
True
Let q = -67237 - -165114. Is q composite?
True
Suppose 3*b - 418300 = -5*g + 642852, 707444 = 2*b + 2*g. Is b a composite number?
True
Suppose -6635 = -3*q - 2*w, 2*q + w - 4424 = -w. Let n = q + -580. Is n a composite number?
True
Is (-70)/112 + (-142)/(-176) + 3452667/11 a composite number?
False
Suppose -2*o - 2*z - 36 = -6*o, -5*z = 10. Suppose 5512 = 5*a + o*a. Let p = 673 - a. Is p a prime number?
False
Let f(k) be the first derivative of -k**4 - 13*k**3/3 - 6*k**2 - k + 97. Is f(-10) a composite number?
False
Let a(j) = -38*j**2 + 7*j + 20. Let l be a(-6). Let t = 345 - l. Is t a composite number?
True
Let u(y) = -222727*y**3 + 169*y + 169. Is u(-1) a prime number?
False
Suppose 5*j - 3*j + 508 = -2*c, 0 = -c + j - 246. Let h = -571 - c. Let d = h - -734. Is d prime?
False
Let p = 20971 + -10914. Is p prime?
False
Suppose 0 = -m + 310*g - 315*g + 490, -3*m - 2*g + 1431 = 0. Let v be (-2)/6 - 14/(-6). Suppose q + 1352 - 395 = 4*f, m = v*f + 3*q. Is f prime?
True
Let r = 9 - -62. Let u = r - 68. Suppose 0 = -u*f - 6*f + 2385. Is f a composite number?
True
Let y be 26/10 + 3/(-5). Suppose 5*h = -2*c + 10635, 5*c + 8541 = 6*h - y*h. Is h a prime number?
True
Let w(v) = 264060*v + 727. Is w(3) a prime number?
True
Let l be 8919/(2 + 1)*-1. Let