h prime?
True
Let c = 302 + -298. Suppose -g + 3*h = 4*g - 18182, 5*g = -c*h + 18189. Is g a composite number?
False
Let k(d) be the third derivative of d**6/120 + d**5/60 - 5*d**4/24 - 35*d**3/6 + 55*d**2. Is k(12) a composite number?
False
Let m(z) be the third derivative of -112*z**4/3 + z**3/6 + 17*z**2. Let n be m(-1). Let b = n + -376. Is b a composite number?
False
Let r(f) = 621*f + 314. Let u(t) = -311*t - 157. Let d(p) = 3*r(p) + 5*u(p). Is d(18) a prime number?
True
Let w = 11313 - 5396. Let o = w + -3482. Is o a prime number?
False
Suppose -5*s + 4*w + 133379 = 0, 4*s - 134266 = w - 27576. Is s composite?
True
Let g(q) = -q**3 + 5*q**2 + 5*q - 26. Let i be g(5). Is (-1461)/i*11/3 a composite number?
True
Is (-1 + 52/39)*(1070281 + 2)/1 composite?
False
Is ((-2258005)/35)/(114/(-210) - 8/(-20)) a composite number?
False
Is (15 + -16)/(1/(-4546)) a composite number?
True
Let w(i) be the third derivative of 1103*i**5/30 + i**4/3 + 5*i**3/3 - 26*i**2 + 1. Is w(-2) prime?
False
Let n = 24156 + 4531. Is n a prime number?
True
Let c(s) = 11*s + 3*s - 11 + 401*s**2 - 12*s + 5*s. Is c(-2) a prime number?
True
Let h = 673 + -715. Let t(o) = o**3 + 43*o**2 + 27*o + 5. Is t(h) prime?
False
Suppose 3 = -v + 13. Suppose v*d - 55089 = d. Let g = d + -3968. Is g a prime number?
True
Let a be 1/(-4) - (-169)/52. Suppose 0*d - 5*d + 161 = a*w, 5*w = -4*d + 121. Is 99671/d - (-3)/2 a composite number?
True
Let s(d) be the first derivative of 7*d**6/180 + d**5/24 - 5*d**4/24 + 8*d**3/3 + 12. Let c(v) be the third derivative of s(v). Is c(1) prime?
False
Is -6 + 2 - (3 - 14) - -12064 a prime number?
True
Let g be (-2 + 604 - 2)/((-80)/(-440)). Let d = 1451 + g. Is d a composite number?
False
Suppose 23*r - 62*r = -19*r - 6119220. Is r composite?
True
Suppose 2*r = l + 145475, r - 9*l = -6*l + 72740. Is r prime?
False
Let f(v) = 2 - 3 - 21*v + v**2 - 6 + 3. Is f(27) a composite number?
True
Let n be (93029/(-123))/((-1)/(-21)) + -6. Let g = n - -25166. Is g composite?
False
Suppose -3*x = -3*i - 36765, -5*x + 87191 - 25944 = 2*i. Is x composite?
False
Let n(l) = -l**2 + 5*l + 8. Let g be n(7). Let y(v) = 637*v - 21. Let a be y(g). Let z = -1902 - a. Is z a composite number?
True
Suppose 4*g = a - 67168 - 49765, -5*g - 116931 = -a. Is a a prime number?
False
Let b be (-10)/2 + (-956)/4. Let u = 1413 - b. Is u composite?
False
Is (-2 + (3 + 9)/(-3))*(-39256)/336 a prime number?
True
Let j(l) = -302*l + 234. Let n be j(9). Let g = -863 - n. Is g prime?
True
Suppose -17*n + 138080 = 3*n. Suppose 2*k - 10*k = -n. Is k a composite number?
False
Let i(a) = -23*a - 3. Let g be i(1). Let y be (-4)/(-10) - g/10. Suppose -y*w + 111 = -2*w. Is w prime?
False
Let v = 177792 - -67645. Is v composite?
False
Suppose -1470 = -34*r + 19*r. Is 1940*7/r - 6/(-14) prime?
True
Suppose -40*s = 230 + 50. Let u(r) be the first derivative of 13*r**3/3 + 10*r**2 - 12*r + 1. Is u(s) composite?
True
Suppose -5*t = 5*k - 887800, 3*k + 36*t - 35*t - 532686 = 0. Is k prime?
False
Let j(s) be the first derivative of 3*s**4/4 - 5*s**3/3 - 9*s**2 + 7*s - 19. Is j(10) prime?
False
Suppose -4*c - c = 4*f + 15, -3*f + 15 = -5*c. Suppose f = s + s - 14834. Suppose -2505 = 8*t - s. Is t a composite number?
True
Let g = -963 + 41084. Is g a composite number?
True
Let t be ((-2)/3)/((-1)/6). Suppose 9*l = 7*l + t. Suppose 5*d + 1497 = 3*n, 0*d + l*d + 2495 = 5*n. Is n a composite number?
False
Let k(b) = -265*b - 93. Suppose d = -11*d - 48. Is k(d) a composite number?
False
Suppose 15*q + 123944 = 1363709. Is q a composite number?
False
Let b be -34*3/(-10) - (-113)/(-565). Suppose -b*q + 251858 = 56328. Is q a composite number?
False
Suppose 0 = -4*p - p - 30. Let u be (-34 - 0)/(4 + p). Let w = u + 34. Is w a composite number?
True
Suppose -20*p = -19*p - 4002. Let i = 7180 - p. Suppose 2*n - n = 5*f - i, -1255 = -2*f - 5*n. Is f a composite number?
True
Let q be (-1)/(-2)*(-17 - -39). Let x(c) = 11 + 76*c**2 + 115*c**2 + q*c - 4*c. Is x(-5) prime?
True
Let j be 1/2*0 - (-9193 - -126). Let d = 6616 + j. Is d composite?
False
Let j be -2 + (417/4)/(2/24). Suppose -411 = -4*i + j. Is i a composite number?
True
Let k be (-4)/26 + (-12)/(-78). Suppose d - 5*l + 1603 = 0, d + k*l = -2*l - 1568. Let b = 4313 + d. Is b composite?
True
Let t = -143 + 104. Let w = -33 - t. Suppose -w*k = -8*k + 2006. Is k prime?
False
Suppose 2*g - 5*q = 76797, -4*g = -2*q - 120615 - 32971. Let j = -19759 + g. Is j a composite number?
False
Suppose -959 - 176179 = -13*h. Suppose -4*y - h = -5*x, -3*x - 4*y + 11063 = 2913. Is x prime?
False
Let b(z) = -2*z**3 + 2*z**2 - z - 2. Let t be b(-1). Let j(y) = 1 - 5*y - 2 - 2*y**2 + y**2 + 6*y**2 + t*y**3. Is j(6) prime?
True
Suppose -25*v + 10910467 = -5559108. Is v a composite number?
False
Suppose 18 = -2*m - 3*c, -3*c - 27 = -0*m + 3*m. Let b(w) = 24 - 41 - 280*w + 7 - 7. Is b(m) a prime number?
True
Let h(y) = 3 - 5*y**2 - 12 - 5*y**3 - y**2 - 2*y**3 - 7*y. Let j be h(-4). Suppose -1423 + j = -4*m. Is m a composite number?
False
Let b = 25 - 63. Let s = b + 46. Suppose s*k - 134 = 6*k. Is k a composite number?
False
Let w = 32 + -24. Suppose w*k = -2*k + 370. Suppose -k*g + 30*g = -5299. Is g a prime number?
True
Suppose -41*h - 5881549 + 18728448 = 0. Is h prime?
False
Suppose c - 230939 = -6*w + 10*w, 3*c - 5*w - 692796 = 0. Is c prime?
False
Let b(y) = -y**3 + 19*y**2 - 22*y + 15. Let z be b(18). Let i be ((-96)/(-3))/((-3)/z). Suppose 1111 = 3*m - i. Is m prime?
False
Let b(x) = -17 + 12 - 12 + 8*x**2 + 6*x. Is b(-15) composite?
False
Suppose 0 = -7*m + 2*m + 10. Let x be -18*(100/(-12) - m). Suppose 2*u + u = x. Is u a composite number?
True
Suppose -388*l = -560*l + 284100484. Is l a composite number?
False
Let k(b) = -b**2 + 5*b - 3. Let v be k(4). Let j be v/(2/14) + -4. Suppose j*t = -308 + 785. Is t a composite number?
True
Suppose 0 = 39*k - 38*k + 124. Let a = 327 - k. Is a composite?
True
Let c(q) = -13*q + 671. Let t(n) = 2*n**2 - 34*n - 36. Let m be t(18). Is c(m) a composite number?
True
Suppose -5*n + 922948 = -1995*m + 1997*m, 4*n + 2307403 = 5*m. Is m prime?
True
Let v(q) = 9*q + 28. Let f be v(-7). Let p = 40 + f. Suppose 4*a - 396 = -4*s, -p*a + 4*s = -191 - 268. Is a a composite number?
True
Is (-13805979)/(-242)*4/6 prime?
False
Let w(j) = 18*j - 32. Let o be w(2). Suppose o*y - 12544 = -4*d, 3*d + 5*y - 693 = 8719. Is d a composite number?
True
Let v(w) = w + 9. Let k be v(-8). Let o(b) = 2446*b**3 + b**2 + 3*b - 3. Is o(k) a composite number?
False
Let t(k) = -7834*k - 2109. Is t(-20) prime?
True
Let b = 138059 + -82326. Is b a prime number?
True
Let k = 1630912 - 1138449. Is k prime?
True
Let o be ((5 - -950) + 3)*(-37)/(-2). Let w = 27022 - o. Is w a composite number?
True
Let d(u) = -988*u**3 - 4*u**2 - 3*u + 3. Suppose 0 = -5*b + p - 11, 4*p - 9 = 2*b - 1. Is d(b) a composite number?
True
Suppose 5 = -42*i + 37*i. Is -1 - i - 2*2953/(-1) composite?
True
Let z be 11/(110/(-320)) - (-3 + -1). Is z*(-3 - (-33)/(-12)) prime?
False
Suppose 4*b = b + 9. Suppose -p - 17 = -b*z, -6 - 16 = -4*z + 2*p. Is (-9284)/(-66) + (2/z)/1 a prime number?
False
Let g(i) = 132*i**2 + 20*i - 29. Let q(f) = -662*f**2 - 101*f + 144. Let d(k) = 11*g(k) + 2*q(k). Is d(-11) a prime number?
True
Let l(f) = 5*f - 3. Suppose 4*m + 12 = -5*z, 2*m = z + 3 + 5. Let h = m + 0. Is l(h) a prime number?
True
Is (-13)/52*523244*(3 + -4) a composite number?
False
Let w(i) = -753*i**3 - i**2 - 18*i - 451. Is w(-16) a prime number?
True
Is (7/(-28))/(-2 + 7 + 52076431/(-10415284)) prime?
False
Suppose 244*h + 355612 = 248*h - d, -2*d = 5*h - 444515. Is h composite?
False
Let x be -10 + 2 + (4 - 2). Let b be 1*-2 - (x + 5)*485. Suppose -2*m = -5*m + b. Is m a prime number?
False
Suppose -20*w + 25*w + 27990 = 0. Let t = -2917 - w. Is t composite?
True
Let s(r) = 5503*r**2 - r + 1. Let i be s(1). Let b = i + 2158. Is b composite?
True
Let d(l) = -l**2 + 3*l + 13. Let z be d(5). Is (-13)/(65/(-12960)) - z a prime number?
False
Let j = -76 - -142. Let q = j + -61. Suppose q*k + 3*s = 3341, 3*s + 661 = -k + 2*k. Is k a prime number?
False
Suppose -3*s + 2 = -2*s, -4*s = 3*z - 177545. Let h = -35028 + z. Is h a prime number?
True
Let j = -116 + 119. Suppose 0 = -3*v, 2*v = -j*c - v + 