 -3*i + 515. Is y a composite number?
False
Let j be 2/(-9) + (-1)/(54/(-498)). Suppose 0 = -2*u + 4*r - j*r - 15, -2*r - 30 = -4*u. Suppose u*g = -3*g + 2552. Is g a composite number?
True
Let c(g) = 182*g + 4. Let t(k) = -181*k - 3. Let w(y) = 2*c(y) + 3*t(y). Let h be w(2). Let i = -58 - h. Is i a composite number?
True
Let w = 19 - 19. Suppose 4 + w = 2*y. Is (0 - 261/(-6))*y composite?
True
Suppose -45*q = 7*q - 17521244. Is q a composite number?
True
Suppose -3*b = 6125*n - 6128*n + 9983562, -4*b + 3327879 = n. Is n a composite number?
False
Let i(m) = -65*m**3 + 51*m**2 + 23*m + 29. Let h(t) = 33*t**3 - 25*t**2 - 11*t - 14. Let l(f) = 7*h(f) + 4*i(f). Is l(-13) a prime number?
True
Suppose z - u = 6*z - 6, 24 = 4*z - 4*u. Suppose 1536 - 170 = z*m. Is m a prime number?
True
Let d(o) = -100*o**3 + 18*o**2 + 7*o + 1. Let j be d(-8). Suppose 586*s = 593*s - j. Is s composite?
True
Suppose 0 = 4*s + 73 - 77. Is (-22170)/(-12) + (-2)/4*s composite?
False
Is (-113)/(-226)*(1 + -7) - (-696189 - 5) a composite number?
True
Suppose 2*w - 4*s = 8320, w - 3773 = -2*s + 371. Suppose 34089 = 17*x + w. Is x a prime number?
False
Suppose -3*w - 2*o - 16461 + 171211 = 0, 206340 = 4*w + o. Is w composite?
True
Let g(c) = -15*c**2 - 6 + 15*c**2 + 13*c**2. Let n(b) = 6*b**2 + 2*b + 1. Let t be n(-1). Is g(t) a composite number?
True
Is (4 + -104)/((-78)/51311) + (-1)/3 a composite number?
True
Let w be ((-2)/(-8))/(161/20 - 8). Let l = -3 - -7. Suppose -4*r - 4605 = -l*u + 2775, w*r - 9245 = -5*u. Is u a prime number?
True
Let f be -4 + (3 + -41)/(-1). Let i = 36 - f. Suppose -i*j + 25 + 621 = 0. Is j composite?
True
Suppose 1892*f - 1974*f = -115525126. Is f a prime number?
True
Suppose 2*y - 16 = -2*y. Suppose 0*h = y*k + 5*h - 26, -4*k + 44 = -4*h. Let z(r) = -r**2 + 22*r - 28. Is z(k) prime?
True
Let x = 451316 + -224015. Is x prime?
False
Suppose 2*o + 12 - 24 = 0. Let y(d) = -d**3 + 5*d**2 + 3*d + 20. Let h be y(o). Suppose h*m = 3*t + 1189, 0*m + 4*m - 2363 = 3*t. Is m composite?
False
Suppose 5*c = -5*z + 55, 3 = -2*c + 7. Is (z + (5 - 17))*(-18346)/6 a prime number?
True
Let x = -26 - -43. Suppose -3*l = -x - 4. Suppose -l*v + 3378 = -v. Is v a prime number?
True
Suppose -131*h + 148*h - 25500 = 0. Let l be 1/3 - 4400/(-3). Suppose l + h = 3*g. Is g composite?
True
Let l = 37859 - -55292. Is l prime?
True
Let u be (-13)/(-5) - (2/5)/(-1). Let k be 2*((-60)/u)/4. Is 2/(-8 - k - (-2516)/(-1259)) composite?
False
Suppose 3*z + 3*u - 6 = 2*z, -6 = -3*u. Suppose -2*t - 13 + 3 = 4*c, z = -2*t + 3*c + 25. Suppose 4*h - 2*h = 4*y + 154, -2*h + 154 = -t*y. Is h prime?
False
Let n be -5*(6 + (4 - 3)). Let k(y) = -224*y - 11. Is k(n) composite?
False
Suppose 4*i + 3*u - 54907 = 0, -68633 = -5*i + 4*u - 8*u. Let v = 37700 - i. Is v a prime number?
True
Let n(u) = 16 + 64*u - 2 - 3 + 67*u. Let c = 24 - 20. Is n(c) composite?
True
Let f = -19017 + 50108. Is f a composite number?
False
Let v(l) = 5*l - 58. Let u be v(14). Suppose -u - 73 = 5*y. Is ((-1)/(-3))/(y/(-17391)) a prime number?
False
Let a be (-6)/33 + (-2848)/(-176). Suppose 21*p - 35935 = a*p. Is p a composite number?
False
Let x = 9407 + -8569. Is x prime?
False
Let q(s) be the first derivative of -19 - s - 1/2*s**2 + 1/4*s**4 + s**3. Is q(6) a composite number?
False
Let a(t) = t**3 + 86*t**2 - 114*t - 10. Is a(-66) prime?
False
Suppose -4*d - 2*m = -127974, -7*d + 159963 = -2*d - 2*m. Suppose d = -27*r + 40*r. Is r a composite number?
True
Let o(c) = 2467*c - 604. Is o(15) a prime number?
False
Suppose -b - 4670 = -2*b - 5*q, 0 = 4*q - 4. Let o = b - 2231. Is o composite?
True
Let q(a) = 45*a**3 - 4*a**2 - 3. Let o be q(3). Suppose y + 2*y = -3*c + o, 3*c - y = 1196. Is c prime?
True
Let o(f) = f - 7. Let u be o(9). Suppose 2*w - 4 = -u*w, -n + 2365 = -4*w. Is n composite?
True
Suppose -6*b + 90 = -0*b. Suppose -4*t - 5822 - 5234 = -4*d, -5*t = b. Is d prime?
False
Suppose 2747*z - 2742*z - 1659005 = 0. Is z a composite number?
False
Let x be 214/10 - 8/20. Let f = -16 + x. Is (2 + (-77)/f)*-5 composite?
False
Let i(n) be the first derivative of n**3/3 + 8*n**2 - 17*n - 22. Let r be i(-17). Suppose -3205 = -5*x - r*x. Is x a prime number?
True
Let t(k) = -1612*k + 591. Is t(-19) a composite number?
False
Is 47/((-3525)/(-45)) + (-3723502)/(-5) a prime number?
True
Let u be (-4)/(-20)*-8*-5. Suppose 4*k = -u*k + 6756. Is k a composite number?
False
Suppose 0 = 10*x - 30. Suppose -4*p = 4, -3*w + p - x*p + 38863 = 0. Is w composite?
True
Suppose 12*b = 39*b - 498177. Is b composite?
False
Let a = 1701 - 812. Suppose -10*q = -9*q - a. Let f = q + -492. Is f a composite number?
False
Let a(k) = 1639*k**2 - 27*k + 151. Is a(-6) composite?
True
Suppose 102*u = 91*u - 105501. Is (6 - 12) + (2 - u) a composite number?
False
Let u be (2/4)/(-3 - (-556)/184). Suppose 14*n - 541 + u = 0. Is n a composite number?
False
Suppose 0 = -2*y + 6*y - 170336. Suppose 9*o = 13*o - y. Is 0 - o/(-12) - 6/36 a composite number?
False
Suppose 13*l - 20 = 45. Suppose -4*x = -4*y + 22280, -6717 = -l*y - 2*x + 21126. Is y a composite number?
False
Is -8 - (-20164 - (-2 + 7)) prime?
True
Suppose 2*i + i - 964617 = -5*s, 0 = 2*i - 3*s - 643040. Is i composite?
True
Let o(t) = 43*t**2 - 8*t + 116. Let g be o(13). Suppose -3*j + 5453 = 4*r, -3*j + r = -g + 1851. Is j composite?
False
Suppose 117 = -2*z + 51. Let k(q) = 10*q**2 + 11*q + 28. Is k(z) a composite number?
True
Let l(m) = -m + 1397. Let k(w) = -w**3 - 17*w**2 + 42*w - 7. Let z be k(-19). Let a = z + 83. Is l(a) a prime number?
False
Let p be 2*15*(-5)/(-30) + 10801. Is 62/(-93)*p/(-4) composite?
False
Let z(p) = -56155*p - 1464. Is z(-17) a composite number?
False
Suppose -4*c - 8560 - 3878 = -14*h, 0 = h - 2*c - 885. Is h composite?
True
Let v(g) = 91*g**2 - 71*g + 3. Let c be v(5). Suppose 26 = 4*o + 2. Is (20/o + -3)*c composite?
False
Let b(a) be the third derivative of -23*a**4/12 + 23*a**3/6 - 8*a**2. Let o be b(5). Let p = o - -602. Is p composite?
True
Let u(m) = -6*m**3 + m**2 + 13*m + 1. Let q(n) = -n**3 - 5*n**2 - n + 6. Let k be q(-4). Is u(k) composite?
True
Is (1311474/(-12))/((-4)/14*(-49)/(-28)) prime?
True
Let u(i) be the third derivative of i**5/20 + 4*i**4/3 - 7*i**3/2 - 7*i**2. Let o be u(14). Let z = 886 + o. Is z a prime number?
True
Suppose 0 = 5*u - 8*u - 54. Let p be -4*(u/(-16))/(3/(-2)). Is 634/1 - (-8 + p - -8) a composite number?
False
Suppose -2*q - 94956 = 4*v - 38086, -2*v - 28429 = -q. Let y = v - -21546. Suppose -y = -2*t - 4*c, 5*t + 2*c = 18218 + 131. Is t a prime number?
True
Let x be -28*(5 + (-24)/4). Suppose -x*o + 31*o + 30630 = 0. Let p = -6617 - o. Is p prime?
True
Let i(t) = -51949*t - 778. Is i(-5) a composite number?
False
Let o(a) = 7134*a**2 - 99*a + 341. Is o(6) a composite number?
True
Is (85714/(-68))/(2/(-4)) composite?
False
Suppose 18134 - 4294 = 8*l. Suppose 3*z = -2*t + 3680, -5*t + l + 7481 = 2*z. Is t prime?
False
Let h = 176670 - 20765. Is h a prime number?
False
Suppose 4*k - 36129 = -2*d - 9795, 65863 = 5*d - 4*k. Let c = 8596 + d. Is c a prime number?
True
Let p(c) be the third derivative of c**6/120 + c**5/6 + c**4/2 + 29*c**3/6 - 28*c**2. Let a be p(-9). Let b = a - -81. Is b composite?
False
Let k = 3 + 3. Is (25932/8 - -10) + (-3)/k prime?
True
Let h = -997600 - -1519149. Is h prime?
False
Let m(p) be the second derivative of -4*p**7/105 + p**5/30 + p**4/8 - 7*p**3/6 - 8*p. Let r(c) be the second derivative of m(c). Is r(-2) a composite number?
False
Let k = -266 + 270. Suppose k*o = h + 3*o - 563, 2*h - 1126 = -2*o. Is h a prime number?
True
Let l(q) = -51*q**3 - 6*q**2 + 58*q - 60. Is l(-11) a prime number?
True
Suppose -3094 = -2*v + f - 0*f, 0 = 2*v + 3*f - 3110. Suppose 3*s + 160 - v = 0. Is s prime?
True
Is 1/(1*(-9 - -2)) - (-1849300)/35 a prime number?
True
Let i(y) = 4283*y**2 + 303*y - 237. Is i(22) composite?
False
Suppose 0 = -4*q + 53 + 23. Let r(g) = 132*g - 10. Let k be r(q). Let n = k + -1635. Is n a composite number?
False
Let l = 2641 - 6526. Let r = l + 5858. Is r a prime number?
True
Suppose -29 = -g - 23. Is 4261 + 2 + 1 - g a composite number?
True
Suppose 0 = l - 4*i + 4, 1 = -l - 5*i + 6. Let k be l + 2 - 4 - 1390. Let q = 3955 + k. Is q a composite number?
True
Suppose 11 +