omposite?
True
Is (15/3 - ((-46322046)/27)/(-23))*-3 composite?
True
Let q = 8946 - -77533. Is q composite?
True
Let j = 184 - 122. Let i be j/12 + 10/12 + -1. Suppose -i*m + 4*h = -8349, 2*m - h - 3342 = -0*m. Is m a composite number?
True
Suppose 83*l + 1234927 = 5112770. Is l a composite number?
True
Suppose 22555334 = 90*k - 339496. Is k prime?
False
Suppose -101*j + 106*j = 30, o = 2*j + 140087. Is o a prime number?
False
Let l(u) = u**3 - u**2 - 6*u - 41. Suppose -71 = -7*q + 13. Is l(q) composite?
False
Suppose -43 = -7*y + 153. Let v = 30 - y. Suppose -3*q + 74 = 4*z, v*q = -z + 42 + 4. Is q composite?
True
Let f(b) = -b**2 + 9*b + 25. Let i be f(-11). Let h(o) = 40*o + 4. Let p be h(-3). Let x = p - i. Is x prime?
True
Suppose -2*d = 2*q - 14, 2*q - 4*q - 21 = -5*d. Suppose -15604 = -4*i + q*w + 10280, 5*w = 0. Suppose -24*c - i = -33*c. Is c a prime number?
True
Let t = 34171 - 14322. Is t composite?
True
Let b(j) = 44047*j**3 + 8*j**2 - 6*j + 4. Is b(1) a prime number?
True
Is (-15367)/484*(-21047 + 3) a composite number?
True
Let g = -2853 - -8722. Let b = g - 3402. Is b a prime number?
True
Suppose -3*z = 12, -382*z + 16286 = 2*t - 380*z. Is t prime?
True
Let q be (-34300)/135*-3 - (-8)/(-36). Is 14/((-2274)/q - -3) prime?
False
Suppose -2*y = 10*k - 0*k - 679974, 4*y = 5*k - 339977. Is k prime?
False
Let k = 42 + -23. Suppose -k*u - 530 = -21*u. Let v = -42 + u. Is v a prime number?
True
Suppose 533423 = 1615*k - 1544*k. Is k composite?
True
Suppose 0*i + 2*i + 36 = 0. Let m(f) = 9*f**2 + 15*f - 16. Let g be m(i). Suppose -4*a + g = a. Is a prime?
False
Let n = 76 + -128. Let a be (-13)/n - (-3)/(-12). Suppose 3*m + 4*q + q - 1218 = a, -m = -q - 398. Is m a prime number?
True
Let y(h) = 236*h**2 + 8*h - 4. Let k(b) = -235*b**2 - 9*b + 3. Let z be (-2)/(-3*(8/9)/4). Let n(j) = z*k(j) + 4*y(j). Is n(2) a prime number?
False
Suppose -6*y + 621833 = -453322 - 53667. Is y a composite number?
False
Let p(w) = -1385*w**3 + 4*w**2 - 4*w - 26. Is p(-5) a composite number?
False
Is (9/(-6))/((-96)/4063552) a composite number?
False
Suppose -115*a + 1073897 - 78537 = -35*a. Is a a prime number?
False
Is 6/99 + (-1581010)/(-330) a prime number?
False
Suppose a + 20772 = s - 2*s, 0 = 4*a + 5*s + 83091. Let d = -12020 - a. Is d a prime number?
False
Suppose -3*m = -971451 + 137829. Is m prime?
False
Let x = 1074 - 614. Let l = -28 + x. Suppose -y = -l - 155. Is y composite?
False
Let t = -81 - -81. Suppose d = 4*o - t*o + 1087, 0 = 3*o. Is d a prime number?
True
Let k be (-51)/(-9) + -6 - 43/(-3). Suppose -17*g = k*g - 159371. Is g a composite number?
True
Let g = 814534 + -401013. Is g prime?
True
Suppose -6*x + 1091 = -15685. Suppose -4*f + x = 4*z, -20 = 5*f - 0. Is z prime?
False
Suppose -14*r + 2*g = -13*r - 12191, 2*g = -9*r + 109719. Is r prime?
False
Let w(j) = 170*j - 17. Suppose 0 = -2*n - 2*b - 2, 23 + 14 = 3*n - 5*b. Let u be (12/3)/(n/6). Is w(u) composite?
True
Let z = 2530041 - 1447160. Is z composite?
False
Suppose -2*l + 3907 = p - 27929, -2*l + 159172 = 5*p. Let m = p + -14177. Is m a prime number?
True
Let b = -3197 - -3105. Let a(t) = 179*t**2 + t. Let y be a(-1). Let p = b + y. Is p a prime number?
False
Is 2953069/147 + (-9 - 1337/(-147)) prime?
True
Let p = 12954 + -7315. Is p prime?
True
Suppose -3*c - 2125 = -2*o, 3*o - 3177 = -c + 2*c. Suppose 4*v - o = 2346. Is v a prime number?
False
Suppose u = -31*u - 17*u + 2052071. Is u a composite number?
False
Let b(h) = -78*h + 539. Let s be b(15). Let d(z) = 7*z - 9. Let i be d(-5). Let g = i - s. Is g prime?
True
Let l(q) = -99 - 218*q + 204 + 10*q. Is l(-16) a prime number?
True
Let b(s) be the first derivative of 77*s**3 + 12*s**2 + 46*s + 100. Is b(-7) a prime number?
True
Let q(b) = b**3 + 11*b**2 + 3*b + 28. Let a be q(-11). Let l be ((-90160)/4)/a + -2. Let i = 6835 - l. Is i composite?
True
Suppose 2*s = 7*s + 10. Let u be (2/(-8))/(s*3/48). Suppose -4*z = u*v - 238, z + 18 - 79 = -v. Is z a composite number?
True
Let w(a) = -5*a**3 - 6*a**2 - a. Let n be w(-4). Let c(z) = 65*z - 4046. Let y be c(69). Let q = y - n. Is q a prime number?
True
Let u(y) = -1321*y + 1921. Is u(-10) composite?
False
Let q be 3/2*(-4)/(-3). Is (-1)/(438/439 - (q - 1)) prime?
True
Let c(r) = -82*r - 100. Let x be c(-13). Suppose -y = -x - 941. Is y a composite number?
False
Let t = -36244 + 66203. Is t composite?
False
Suppose 2*d = 5*c + 972285, -2*d + 130750 = -2*c - 841550. Is d composite?
True
Suppose -168211 - 446741 = -17*u + 203581. Is u prime?
False
Let i(k) = k + 17. Let l be i(-13). Suppose s = -2, g - l*g - 3*s = -1365. Suppose -30*o + 29*o + g = 0. Is o composite?
False
Suppose 0 = 273*t - 20532440 - 52565318 - 1952399. Is t a composite number?
False
Let s(t) = -850*t - 641. Is s(-25) a prime number?
False
Suppose 6*j = 7*j + m - 26234, j - 3*m = 26214. Suppose u - j = -20*u. Is u a composite number?
False
Suppose -75*z - 4 = -76*z. Suppose z*r + a = r - 7, 2*r = 3*a + 10. Is ((-4)/(-6))/(r + 1023/1017) a prime number?
True
Let w = 33390 - 17963. Is w a prime number?
True
Let d(g) = -4174*g**3 - 6*g**2 - 12*g + 2. Let t be d(-4). Suppose 9*l = t - 89421. Is l a composite number?
True
Is (1283611/56)/(19/152) composite?
False
Let n = 9239 + -6228. Suppose -x + 9342 = n. Is x a composite number?
True
Suppose 0 = -4*c + 7*p - 4*p + 31320, -4*c = 3*p - 31296. Is c prime?
False
Suppose 0 = 127*b - 81774856 - 120997027. Is b composite?
False
Suppose 48*o - 125*o - 154 = 0. Let k = 6942 + -2178. Is (1/o)/(9522/k - 2) a prime number?
True
Suppose -27*t = -26*t - 42. Let m = t + -37. Suppose -3*l - 1183 = -5*v - 5244, 0 = -m*v - 20. Is l a composite number?
True
Suppose 4*c + 52 = 8*c - 4*m, -3*c = -5*m - 33. Suppose -c*x + 36085 = -11*x. Is x prime?
False
Suppose 0*y + 2*y - 4 = 0. Suppose 3*v = 2*h - 624 - 264, 5*h - 2198 = 2*v. Is (1*23)/(y*3/h) a composite number?
True
Suppose 11*h - 65 = 45. Suppose -4*d = q - 15162, -h*d + 4*q = -7*d - 11381. Is d composite?
True
Suppose 5*d + 5*i - 78690 = -0*i, -3*d = 5*i - 47212. Let g = -10036 + d. Is g a prime number?
False
Let l = 256 - -336. Let d = 217 + l. Is d a prime number?
True
Let v be 9211/3 - 100/(-150). Suppose 2*i = r - 564 - 989, 3*i - v = -2*r. Is r a composite number?
False
Suppose -24468 = 2*j - 5*k - 352132, 0 = -j + 2*k + 163829. Is j composite?
True
Suppose -31*r - 13599 = -1275373 - 115153. Is r composite?
False
Let k be 2/50*5 + 38/10. Suppose 9*q = 5*q - k*p + 181732, -5*q = 2*p - 227177. Is q a composite number?
True
Let c be 7/2 + (-2)/(-4). Suppose c*h = 3*w, -5*w = 8*h - 6*h. Suppose 0 = i - 3*g - 1700, 0 = i + g - w*g - 1712. Is i prime?
True
Suppose 3*s + 311573 = 5*c + 18805, 4*c - s = 234213. Is c prime?
False
Let u be -1*(-1 + -27) - (-16)/(-8). Let n be u/6 + 1 + (-18)/54. Suppose p = n*z - 1270, 0*z - 5*p - 1270 = -5*z. Is z composite?
True
Let l(u) = -238*u**3 + 5*u**2 + 2*u - 15. Let i be l(3). Let r = i + 12169. Is r composite?
False
Let q be 5 - (-3 - (28 - 4)/(-6)). Let l = -1494 + 2268. Suppose a + 5*f = l, 2*a - q*f - 1513 = -7*f. Is a a prime number?
False
Suppose -17*q + 12*q = 5. Let r be 4*3*q/(-4). Suppose 0 = -5*k, r*k - k - 998 = -2*j. Is j prime?
True
Let i = -40 + 42. Suppose i*u + 6*u = 312. Is (-2050)/(-26) + 6/u a composite number?
False
Suppose 2*z - 4*y + 28 + 82 = 0, 3*z = 2*y - 145. Is (-21839)/(-5)*13/((-117)/z) prime?
True
Suppose -14*k - 17245375 = -33*k - 156*k. Is k prime?
False
Suppose -4*b - 1101253 = -3*s - 71522, -2*b = -5*s + 1716195. Is s prime?
True
Suppose -162*i + 2675159 + 4527523 = 0. Is i a prime number?
False
Let s = 180 - 79. Suppose -s - 9 = -2*u. Is u a prime number?
False
Suppose -7*u = -13*u + 18. Suppose -21*b - 86238 = -24*b + u*n, 3*n - 28766 = -b. Is b a prime number?
True
Let z(o) = 8*o - 4. Let j be z(1). Suppose 116 = -0*g + j*g - 4*m, -m - 128 = -4*g. Suppose 0 = 28*i - g*i + 1025. Is i a prime number?
False
Let n = -5 + 5. Suppose n = 7*q - 0*q - 1295. Suppose -2 = c, -c + q = d - 0*d. Is d composite?
True
Let f be (-314)/(-3)*405/(-6). Let o = f + 14044. Suppose o = -9*u + 16*u. Is u prime?
True
Let v be 101/4 + 2/(-7 + -1). Let p be 23 - v - (-8)/2. Suppose -383 = -s - p*u, 4*s = 6*s - 4*u - 798. Is s composite?
True
Let b(t) = 61*t**3 + 9*t**2 - 20