2*s**3 + 148*s**2 + 71*s + 193. Is n(72) a prime number?
True
Suppose -23*w - 1174670 - 333532 = 0. Is -1*1/(-1)*w/(-18) prime?
True
Let i(x) be the third derivative of -151*x**4/6 + x**3/6 - 6*x**2. Let o be i(1). Let u = 1356 + o. Is u a prime number?
False
Suppose -696489 = -s - 4*j, 0 = -4*s + 70*j - 68*j + 2785830. Is s composite?
True
Suppose 0 = 3643*v - 3596*v - 44859667. Is v prime?
True
Suppose -4*n - 5473244 = -5*a, 212151 + 882513 = a + 3*n. Is 1/3 + (a/27 - 6) composite?
True
Let c(t) = 5*t - 26. Suppose -18 = -3*d + 3*r, -2*r = -3*d - 0*r + 16. Let m be c(d). Is (m/(-10))/((-2)/(-17210)) composite?
True
Let q = -11 + 13. Let h(y) = 377*y**2 - y + 3 + 4*y - 10*y**2. Is h(q) a prime number?
False
Let h(i) = 26*i**3 - 7*i**2 + 9*i - 359. Is h(19) prime?
False
Let z(r) = -2*r**2 - 12*r + 4. Let j be z(-2). Is 40/(-32) - (-1085)/j a composite number?
False
Suppose -2*n = -2*d + 579 - 2827, d - 4*n = -1124. Let z = d + 1721. Is z a composite number?
True
Let d = 203 + 379. Let y = 819 + d. Is y prime?
False
Suppose 4*q + 2*p - 133634 - 88626 = 0, 0 = 3*p + 2*p. Is q a composite number?
True
Suppose -l = -5*b + 506, -l - b - 498 = 2*b. Let g = l + 859. Is g prime?
False
Suppose -18*k + 423246 + 2098158 = 0. Is k a prime number?
False
Suppose 0 = 3*v - 31*l + 26*l - 99437, v = 4*l + 33141. Is v composite?
False
Suppose -3*z + 2*a = -24, 40 = 5*z - 2*a - 3*a. Let s be 1 - (-246)/z - 12/16. Suppose n - 846 = s. Is n prime?
True
Let r be (3/2)/((-2)/4) - 65. Let f = 67 + r. Let x(q) = 877*q**2 + q + 1. Is x(f) a prime number?
True
Let q be 4/10 + 5/(50/246). Let y = q + -38. Let d = 40 - y. Is d a prime number?
True
Let y(c) = 95*c**3 + c - 3 - 3*c**2 - 96*c**3 + c. Let t be y(-4). Suppose -t*k + 2215 = b, k - 3*b = 6*k - 2215. Is k composite?
False
Suppose 26*s - 283407 = -79853. Is s a composite number?
False
Let b = 16460 - 8961. Is b prime?
True
Let i = 1825461 + -1081520. Is i a composite number?
True
Suppose -3*k = -5*x - 1436881, 3*x - 760 = -748. Is k a prime number?
True
Suppose s = -s - 2, 5*s = 4*f - 75149. Let r = -8303 + f. Is r a composite number?
True
Let g be 0 + 3/9*4*3. Suppose -4*r - 4*u + 990 = -8194, g*u = r - 2321. Suppose 6*l = 333 + r. Is l prime?
True
Suppose 64564830 = 50*n + 93*n + 24293027. Is n composite?
False
Let b = 372 - 370. Suppose 3*h - 40833 = -4*a + 8*a, b*a = -2*h + 27208. Is h prime?
False
Suppose -3*v + 18*z = 14*z - 9923, 3*v + 2*z - 9929 = 0. Is v prime?
False
Let b = 5887 - -221400. Is b a composite number?
True
Suppose -2*k - 12 = 3*t - 2*t, -28 = 5*k + 3*t. Let n be ((-3)/(-2))/((k/4)/(-12)). Suppose -10*s + n*s + 263 = 0. Is s composite?
False
Let b = -112 - -110. Is ((-30)/72*-4)/(b/(-4638)) a composite number?
True
Suppose 2*d - 94 = -5*y, -4*d - 31 - 15 = -3*y. Let v = 159 - y. Is v composite?
True
Let t(y) be the second derivative of 1657*y**3/3 - 9*y**2/2 + 11*y + 4. Is t(1) a prime number?
False
Suppose 62 = -4*r - 266. Let n = r - -82. Suppose -3*d + 5*j + 320 = n, 3*d + j - 228 = 122. Is d a composite number?
True
Let t = 260779 - 105408. Is t a composite number?
False
Is ((-33)/27 + 2/9)/(9/(-53145)) composite?
True
Suppose 4*v = -4*s + 3964, 559 = -3*v + 2*s + 3532. Let d = 648 + v. Is d a prime number?
False
Let y(a) = -a**2 - 21*a - 86. Let b be y(-6). Suppose -b*u - 19076 = -4*t, 3*u + 9847 = 4*t - 9229. Is t a prime number?
False
Suppose -18*a + 17*a + 160747 = 4*d, 2*d - 321482 = -2*a. Is a composite?
False
Let f(d) = 2*d**2 - 10. Let u be f(-4). Suppose 0 = -s + 4*l + 14, -3*s - 2*s + u = -4*l. Let c(g) = 408*g**2 + g - 1. Is c(s) a prime number?
False
Suppose -45294 + 17050 = 4*q. Let s = 4139 + q. Let k = 7237 + s. Is k a prime number?
False
Suppose -37760 = -x + 3*d, 3*x + d - 28556 = 84734. Is x prime?
False
Let t(d) be the third derivative of -d**6/360 - d**5/60 + 11*d**4/12 - 2*d**3/3 + 42*d**2. Let v(g) be the first derivative of t(g). Is v(0) composite?
True
Let l = 72 + -47. Suppose l*m = 22*m + 369. Let t = m + -34. Is t a composite number?
False
Let f be (-1 + 58/(-10))/(1/(-10)). Suppose -18 + f = -5*p. Is (-1174 + 0)/(p - -8) prime?
True
Is 1/(7 + (-328013)/46858)*(-29)/2 composite?
True
Let b = -312 - -211. Let a = b - -289. Suppose -6*q + 214 + a = 0. Is q a prime number?
True
Let c = 100907 + -67008. Is c a composite number?
True
Suppose 2*p = k - 76979, 0 = -k + p - 6*p + 77021. Is k a prime number?
True
Let u = 23364 - 12349. Is u a prime number?
False
Let v(z) = 3*z - 24. Let b be v(-7). Let p be (-3 - (0 - 2)) + b. Is p*((-4)/2 + 1) a composite number?
True
Let g(b) = 43*b**2 - 14*b + 404. Is g(-21) a prime number?
True
Is 310172*(4/(-14))/((-320)/280) a composite number?
False
Suppose 0*r = 3*r + 4*m + 13668, 18249 = -4*r + 3*m. Let i = r - -15373. Is i composite?
True
Let t be 22/8 - 3/(-12). Is t + -10 + 7 - -371 composite?
True
Let b(h) = 3*h - 19. Let a be b(7). Suppose -a*d + 937 = -l, -5*l = -2*d + 1304 - 355. Is d composite?
False
Suppose 5*v = 15*v - 103760. Let d = v - 4133. Is d a composite number?
True
Suppose -9*v = -118 - 170. Let b = v - -165. Suppose 2*o + b + 385 = 4*a, 0 = 3*a + 4*o - 431. Is a prime?
False
Let q = -10661 + 15840. Suppose 25*k + q = 26*k. Is k prime?
True
Suppose 4 = 4*z, 4*z - 2*z = -4*j + 50. Let t(l) = 0*l + l - j + 3*l - 6. Is t(16) a composite number?
True
Suppose -5*q + 61944 = -s, 7179 = q - s - 5209. Is q a composite number?
True
Suppose -3*p + 30 + 10 = -5*k, -p - 20 = 5*k. Suppose -p*f + 0 = -20. Is (-2)/5*2935/f*-2 composite?
False
Let s(z) = -730*z**3 - 10*z**2 - 46*z + 5. Is s(-11) composite?
True
Suppose -936 = -26*v + 20*v. Suppose -p + 7265 = v. Is p a prime number?
True
Suppose o = 10*o - 252. Suppose -18*v + 114218 = o*v. Is v prime?
False
Let m = 50 + -103. Let v = m - -59. Is ((-2)/v)/((-9)/68877) prime?
True
Let l = -79746 + 389981. Is l a composite number?
True
Suppose 4*d - 140026 = -23*w + 24*w, d + 3*w - 34987 = 0. Is d a composite number?
True
Let f(q) = -20943*q + 578. Is f(-7) a prime number?
True
Suppose 6*x - 18*x + 23820 = 0. Suppose -5*u - 2*w + x = 0, -2*u + 1980 = 3*u + w. Suppose 4*o + 5*y = 653, 4*o - u - 218 = 3*y. Is o composite?
False
Suppose -s + 7430 = -5*u, 5*u + 0*u - 20 = 0. Suppose 30*t - 25*t - s = 0. Suppose 2*a - 5*v - 63 - 498 = 0, -5*a - 5*v = -t. Is a prime?
True
Suppose 0 = 31*a - 25*a - 20820. Let z = 5013 - a. Is z a composite number?
False
Is ((-1)/(10/(-30746)))/(108/1080) prime?
False
Suppose 0 = 4*h + u - 6283, -10*h - u = -8*h - 3141. Suppose 0 = 7*m - 2*m - 2*r - 1969, 0 = 4*m - 3*r - h. Is m a prime number?
False
Let x = -10 - -8. Suppose -2*d = -5*k - 7, -5*k - 7 = 3*d - 9*k. Is (1 + (-744)/d)/(x/(-6)) composite?
False
Let j be 1786/(-235) + (-2)/5. Is (-1083041)/(-172) - (0 + 2/j) a composite number?
True
Suppose 3*a + p = 2487514, 36*a - 37*a + 2*p = -829169. Is a a prime number?
False
Suppose 7*c = -4*c + 22. Suppose -2*a = 3*n - 27, 0 = -c*n - 0*n - 10. Is (a*-113 + -1)/(-2) a composite number?
False
Let o be 11 - (42/6 - 1). Let l(s) = 1319*s**2 + 8*s - 26. Is l(o) prime?
False
Let s = 24788 + 253277. Suppose s = -7*q + 26*q. Is q composite?
True
Let d = 332321 - 236860. Is d prime?
True
Let j = -157037 + 299044. Is j a composite number?
False
Let j = -43813 - -90180. Is j composite?
True
Suppose 2*a - 339 - 101 = 0. Let t = a - 94. Let g = 325 - t. Is g composite?
False
Let n(r) = -6*r + 97. Let j be n(16). Let o(z) = 4831*z**2 - 5*z + 5. Is o(j) prime?
True
Let c(p) = -p**3 - 7*p**2 - 7*p - 4. Let d be c(-6). Let f(k) = -8*k**2 - 6*k**2 + 0*k**2 - d*k**3 + 7 + 3*k**2. Is f(-10) composite?
False
Let m(l) = -430*l + 9181. Is m(-72) a prime number?
False
Let o(k) = k**2 - 6*k - 16. Let h be o(9). Suppose 2382 = -9*g + h*g. Is g composite?
True
Let w be (-3 - -5)/(12/18). Suppose 0*a = -5*j + a + 12195, 0 = 2*j + w*a - 4861. Suppose -5*y + 2810 = 5*n, 5*y - 163 = 4*n - j. Is n prime?
False
Let c be (-239016)/(-18) - 6 - (-2)/6. Suppose -c = -13*r + 8476. Is r a composite number?
True
Suppose 27*p - 18616410 = -7*p + 1196036. Is p prime?
True
Let f be -3 - (-11)/(88/(-1606896)). Is (f/(-45))/((-1)/(-3)) composite?
True
Let n(p) = 2*p**3 + 5*p - 6. Let a be n(1). Is a/3 - (4064/(-3) - 6) a prime number?
True
Let h(l) = l**3 - 3*l**2 + 7*l - 3. Let c be h(3).