 924. Is a composite?
True
Suppose 40 = 9*k + 13. Suppose -2*r = -5*r + k*y + 2028, -3*y = 9. Is r composite?
False
Suppose -4*c + 5*k - 65 = c, 4*c + 77 = -k. Let t(x) = -x - 11. Let d be t(c). Let n(v) = 2*v**3 + v**2 + 5*v + 15. Is n(d) prime?
False
Let x(i) = 37*i**2 + 2*i + 209. Is x(42) composite?
True
Is (6 + -2)/((-468)/(-505557)) a composite number?
True
Let l(r) = r**3 - 10*r**2 - 8*r - 34. Let u be l(11). Let i(f) = -294*f**3 + 3*f**2 - 2*f - 4. Is i(u) a composite number?
True
Suppose 5*b - 52 = -102. Is 68/(-170) + -1 + (-13824)/b a prime number?
True
Is 665/1 - (-2 - (-40)/5) prime?
True
Let c(z) = z**2 - 17*z + 52. Let o be c(13). Is (o/(-4))/2 - 5 - -264 composite?
True
Let k(r) = 0*r - 20*r**2 - r - 10*r + 8*r. Let g be k(-2). Let h = g + 127. Is h composite?
False
Let o = 26 - 14. Suppose -11*y - 14 = -o*y. Suppose y*k = 13*k + 694. Is k a composite number?
True
Let h(r) = -650*r**2 - 2*r + 1. Let n be h(1). Let c be 16813/115 - 2*2/20. Let f = c - n. Is f a prime number?
True
Let y(u) = 178*u**2 - 144*u + 103. Is y(-24) a composite number?
False
Let t(g) be the third derivative of 7*g**6/30 + g**5/20 - 11*g**4/12 + 35*g**3/6 - 82*g**2. Is t(10) a composite number?
True
Let y(t) = -4*t**3 + 15*t**2 - 5*t + 1. Suppose -7*n + 2*n - 7 = 2*p, 0 = -2*p + 5*n + 23. Let i be y(p). Is 5/i + (-15044)/(-7) a composite number?
True
Suppose 5 = -j - 0*j, 3*j = -z - 113. Let f = 639 - z. Is f prime?
False
Let c be (394*(-178)/12)/((-3)/9). Suppose 2*f = -2967 + c. Is f prime?
True
Suppose 5*o + 20 = -5*w, 8 + 2 = -3*w - 2*o. Is 7867/(w - -3) - 0 composite?
False
Let m(h) = 2*h**2 + 20*h + 52. Let a be m(-3). Suppose 3974 = k - 5*t, -4*k - a*t + 9*t + 15959 = 0. Is k a prime number?
True
Let h(p) = -2*p**3 - 14*p**2 - 26*p + 26. Let n be h(-12). Suppose -j + n = 6*j. Is j a composite number?
True
Let q(f) = -43*f**3 + f**2 - 18*f + 61. Is q(-11) composite?
True
Let v be ((-4)/6)/((-2)/(-216)). Let i = -828 - v. Let m = -65 - i. Is m composite?
False
Suppose -6*p = 4*d + 87170, -4*p - 2 - 18 = 0. Let k = 57804 - d. Is k composite?
False
Let k be -4 + 2 + 9/1. Suppose 2 = -4*o + r, -4*o + 4*r + k = -3*o. Is (-10335)/(-52) + o/(-4) + 0 a composite number?
False
Suppose 5*a = -5*j + 364535 + 1076065, 864414 = 3*a - 3*j. Is a composite?
True
Suppose -5421 = -h - 674. Suppose 2*j + 2*j = -4, 5*j - 5645 = -5*c. Suppose c + h = 9*f. Is f a composite number?
False
Suppose -299*a - 6410220 = -359*a. Is a a prime number?
False
Let r = 27 + -54. Let h be r/6*8/(-3). Is (-1)/((h/5860)/(-3)) prime?
False
Suppose o - 2*o + 23 = 4*q, 2*o = -4*q + 26. Suppose i + q = g - 3*i, -5*i - 22 = g. Let f(j) = 4*j**2 + 13*j + 22. Is f(g) prime?
True
Let i(b) = -15141*b - 1930. Is i(-35) a composite number?
True
Suppose -2702 = -2*b + 4*p, 4*b = -2*p - p + 5459. Let y = 1984 - b. Suppose 2*c - 2*t - 61 - 365 = 0, y = 3*c + 5*t. Is c a composite number?
False
Let j(o) = 555*o + 454. Is j(63) a prime number?
True
Let o(s) = -18*s - 84. Let d be o(-5). Is 7283 + (0/(-6))/d prime?
True
Let w be ((-16)/20)/((-4)/90). Suppose w*b - 4055 = 13*b. Is -2 + (-20)/(-16) + b/4 prime?
False
Let v = 1013 - 995. Is 198422/v - 316/711 a prime number?
False
Let o(w) be the first derivative of -w**4/2 - 3*w**3 + 5*w**2/2 + 2*w + 15. Let d be o(-5). Suppose d*g - 150 = 478. Is g a prime number?
False
Let u = 62 - 60. Suppose 3*t = u*o + 1076, -3*t - 5*o = -712 - 357. Is t a composite number?
True
Suppose -8*f = 2 + 14. Is 1948 + 4 + f - 1 composite?
False
Let x = 10484 + -6069. Suppose s + 4*s + 2*r = 22283, -5*s = -r - 22286. Suppose 8*l - s = x. Is l composite?
False
Let v = 93184 - 36093. Is v composite?
True
Let s(r) = -1009*r + 581411. Is s(0) a prime number?
True
Is ((-136)/(-16) - 6)*455578 a prime number?
False
Suppose 0 = 16*r - 24*r - 3880. Suppose 0 = -2*t + 5*t - 2118. Let k = t + r. Is k prime?
False
Let o(c) = -432*c**3 - 5*c**2 - 3*c + 2. Let y be o(-3). Let v = y + -6551. Is v composite?
True
Let n(w) = 32*w**3 + 76*w**2 + 25*w - 14. Is n(20) prime?
False
Let f = -551 - -555. Suppose 0 = -17*j - f*j + 106827. Is j a composite number?
False
Suppose 21*d - 8074518 = -52*d + 27*d. Is d composite?
True
Let u = 2479 + -917. Suppose 3*d + 4466 = 4*p, -2*d + u = 4*p - 2894. Is p prime?
False
Let h(a) = -158*a - 1. Let p(x) = -159*x - 2. Suppose 0 = -19*f - 0*f - 114. Let u(b) = f*h(b) + 7*p(b). Is u(-3) composite?
False
Suppose -3*h + 0 - 4 = -5*k, -4*h = 3*k - 14. Suppose -5 = -k*b + 1. Is (b - (-4 - -2))*2022/15 a composite number?
True
Suppose -7*c + 149 = -523. Suppose 0 = -65*z + c*z - 370357. Is z a prime number?
False
Let z = 137799 - 29210. Is z composite?
True
Let r be (-14)/(700/530)*-35. Let c(g) = -g**2 - 6*g - 6. Let q be c(-4). Suppose 4*w - 5*l = w + r, 3*l = -q*w + 260. Is w composite?
False
Let w = 202 + -210. Let k(s) = 99*s**2 - 8*s - 15. Is k(w) composite?
True
Let i = -68 + 76. Let b be (-114)/30 - i/(-10). Is 21876/18*b/(-2) prime?
True
Let b(y) = -y**3 + 6*y**2 + 18*y - 30. Let j be b(6). Let d be 200/12*24/(-10). Let a = j + d. Is a a composite number?
True
Let j(g) = 9*g**3 + 4*g**2 + 26*g - 16. Let u = 241 + -234. Is j(u) prime?
True
Let k(l) = -341*l - 18. Let n(r) = -1024*r - 55. Let u(p) = p**3 - 11*p**2 + 11*p - 6. Let g be u(10). Let h(o) = g*n(o) - 11*k(o). Is h(-7) a composite number?
False
Suppose -7*k = -115*k + 15*k + 6536505. Is k prime?
False
Let s be ((-61)/(-183))/(1/(-33)). Let y(t) = 139*t**2 + 73*t - 25. Is y(s) prime?
True
Let i be (1*-3)/(1/((-106)/6)). Suppose -i*m - 24387 = -64*m. Is m prime?
False
Let r = -2899 + 5225. Is -5*(-9)/18*r a prime number?
False
Let c(f) = -f**3 + 9*f**2 - 10. Let j be c(9). Let w be (-940)/(-8)*12/j. Is (-103584)/(-45) - (w/45 - -3) a prime number?
False
Let t(b) = 2*b**2 + 9. Let r(h) = h**2 + 2*h - 7. Let q be r(-4). Let m be (1/(q/(-22)))/2. Is t(m) prime?
True
Suppose -5*c + 6162 = c. Suppose -10*x + 7*x = -33. Suppose x*g + 2*g - c = 0. Is g a prime number?
True
Suppose -6*d + 4*d = 3*f - 7, 3*f = d + 10. Suppose 2*q = -3*v - 7, -3*v + 7 = -2*v + f*q. Is (v/((-5)/(-758)))/(-2) composite?
False
Is 2/(-3)*(0 + (-526897)/14 + 5) prime?
True
Let w(b) = -b**3 + 10*b**2 + 12*b - 8. Let c be w(11). Let r be (3 - (-447 - 0)) + c + -2. Let m = 702 - r. Is m a composite number?
False
Let k(m) = 6545*m**2 - 15*m - 58. Is k(-4) prime?
False
Suppose -5*t = 2*u - 24424, -3*u - 2*t - 12230 = -4*u. Suppose -13*x = -12829 - u. Suppose 4*a = -2*i + x - 425, 4*i - a - 3004 = 0. Is i prime?
True
Let a(z) = -186*z**3 - 2*z**2 + z + 7. Let s(i) = -370*i**3 - 4*i**2 + 2*i + 13. Let x(g) = 11*a(g) - 6*s(g). Is x(2) a prime number?
False
Let x = -530 + 18689. Suppose s + 2*s - 2*y - 18153 = 0, 3*s - 4*y - x = 0. Is s a prime number?
False
Let b = 757 + -778. Is (-7)/(b/(-12)) + 3105 + -16 composite?
True
Let a(j) be the first derivative of -826*j**2 - 383*j + 148. Is a(-12) prime?
True
Let u(w) = 2*w**3 - 64*w**2 - 19*w + 1415. Is u(100) a composite number?
True
Let k(s) = s**3 + 22*s**2 - 34*s - 29. Suppose -2 = 3*w - 5*w. Let f be w*(-6)/(-21) + (-1092)/49. Is k(f) a composite number?
False
Let j(m) = 7*m - 39. Let k be j(6). Suppose -70687 = k*s + 45287. Is s/(-15) + 36/20 + -2 prime?
False
Let g(w) = 394*w**2 + 692*w + 37. Is g(16) prime?
True
Suppose -4*s + 117*t - 118*t = -482817, 3*t + 482797 = 4*s. Is s composite?
True
Let b = 62130 - 12321. Is b composite?
True
Let n(v) = v + 5. Let m be n(-7). Let a be (m/(-5))/((-1124)/(-280) + -4). Is (-1 - a/(-8))/((-1)/(-94)) a prime number?
False
Let u be 697258/38 - 4*(-1)/38. Suppose 0 = 5*k - 2*k + 2*d - u, -k - 2*d = -6111. Is k a composite number?
True
Is (-13367)/((3/(-1) - -1)/2) a composite number?
False
Suppose 2 = 21*o - 20*o. Suppose -o*g - v + 6172 = 0, 3*v + v = -3*g + 9258. Is g a composite number?
True
Let d(f) = 87*f**2 - 7*f - 11. Let m be d(-3). Is -12 - m/(-65) - 2094/(-5) composite?
False
Let j = 120 - 120. Is (j - 1) + (-3 - 0) - -2177 a composite number?
True
Let h(p) = 31*p**3 + 24*p - 44*p + 3*p**2 + 22*p. Let n be h(-2). Let z = 595 + n. Is z composite?
True
Suppose 3*x + o + o - 3206 = 0, -4*o + 2124 = 2*x. Suppose 4*d - 4*c - 2725 = -541, 0 = 2*d + 2*c - x. Let i = -110 + d. Is i a composite number?
False
Let p(y) = 312*y**2 + 5*y + 3. Suppo