-165 - o)*2/(-4) a composite number?
False
Let q = 181 + 3132. Let a = q + -2214. Is a composite?
True
Let r = 31 - -37. Let o = 362 - 293. Suppose r*p + 469 = o*p. Is p a composite number?
True
Let v(d) = 88*d**2 + 25*d + 7. Let o be v(-13). Let g = -35209 - o. Is (-4)/(-26) + g/(-91) prime?
True
Let p(m) = -15622*m - 3. Let v = -15 + 18. Let x be p(v). Is (1/(-3))/(17/x) a composite number?
False
Let g(d) = 69393*d + 749. Is g(4) composite?
False
Let b(i) = -2*i**3 + i**2 + 3*i - 2. Let d be b(2). Let y(j) be the third derivative of -j**6/60 - j**5/6 - j**4/12 - 3*j**3/2 + 21*j**2 - 6. Is y(d) composite?
True
Let u = 792940 + -487023. Is u a composite number?
False
Suppose 0 = 7*x - 91 - 189. Suppose x*t = 34*t + 13902. Is t a prime number?
False
Suppose 0 = -4*s - 4*u + 1087212, 6*u = 5*s + 2*u - 1359051. Is s composite?
False
Let o(c) = 11415*c - 238. Is o(5) composite?
True
Let l(t) = 18954*t + 2063. Is l(7) prime?
True
Suppose 4*s - 2587561 = -h, -3*s + 2*h - 1293788 = -5*s. Is s a prime number?
True
Is (-1 + (-1796350)/(-35))/((-80)/28 - -3) prime?
True
Suppose 0 = 3*k - 2*u - 1196303, -3*k - 4*u + 797530 = -k. Is k composite?
True
Is -45*(-19)/(-57) - -374234 prime?
True
Let a(b) be the third derivative of -391*b**4/6 + 3*b**3/2 + 114*b**2. Is a(-2) prime?
True
Let s = 60593 + -342. Is s a prime number?
True
Suppose -2*i - 6*i = 0. Suppose i = -4*m + 12, 5*v + 2 = 5*m - 13. Is (-1 - (-1080 - v)) + 2 prime?
False
Let m(j) = 7*j - 1. Let k(z) = -z**2 - z + 1. Let v(s) = -5*s**2 + 6*s + 26. Let h(t) = 4*k(t) - v(t). Let x be h(12). Is m(x) a composite number?
False
Let m(r) = 3*r**3 - 6*r**2 + 5*r - 1. Let b be m(3). Suppose b = 5*t - 9. Is 285/t*2 - 4 composite?
False
Suppose 35081 = 2*p - 4*o - 12777, -4*p = o - 95662. Is p a composite number?
False
Is 9/81 + (-7084760)/(-36) a prime number?
True
Suppose -153*j + 674665 + 186839 = -211485. Is j prime?
True
Let k = -418933 + 1291722. Is k prime?
True
Suppose -145*b + 1951365 = 145*b - 95*b. Is b composite?
False
Suppose 0*s - 2*s + 3*t = 18, 0 = 4*s - 4*t + 44. Let d be -2*2 - (s + 11). Suppose -2*y + 5*y - 42 = d. Is y prime?
False
Is (81/18 + (-152)/32)/((-1)/3220116) prime?
False
Is (128/(-512))/(1/(-78236)) a prime number?
True
Let m be (-5 - -3) + (1 - -5). Suppose -d + 11 = m*x, 5*x + 3*d - 3 - 2 = 0. Is 1605/10 - (-2)/x a composite number?
True
Let c(o) = 3*o. Let u be c(1). Let l be (-57)/(-11) + 12/(-198)*u. Suppose -l*v = -4*w + 2979, 4*w + 3*v - 7*v - 2984 = 0. Is w prime?
True
Suppose 0 = -592*y - 254*y + 390683646. Is y a prime number?
True
Let c(s) be the third derivative of -s**4/4 - s**3/3 + 16*s**2. Let g be c(-1). Suppose 3*p + 259 = g*p. Is p a composite number?
True
Suppose -37532 = -7*q + 22934. Let w = q + 7749. Is w prime?
False
Let s(f) = 5223*f + 4151. Is s(30) a composite number?
False
Let v(d) = 12707*d + 22. Let w be v(-3). Let b be 22/(-77) - w*6/7. Suppose 16*p - b = -0*p. Is p prime?
False
Suppose 15*k = 2*r + 17*k - 654664, k = 3*r - 981984. Is r a prime number?
False
Is (-1 - (-1782494)/18)/((-874)/(-3933)) a composite number?
False
Let v = 86 - 81. Is v/(1 - 6) + 7320 a prime number?
False
Let a be (34/6 + 0)/((-118)/(-3894)). Let q = a - -76. Is q a composite number?
False
Let n be (2 + 32/(-12))*-9. Suppose n*y - 638 = -5*y. Is y a composite number?
True
Let t = 630 + 1176. Let h = 143 + t. Is h a prime number?
True
Suppose 4*i + 2*y = -24, -4*y + 9*y = -4*i - 12. Let w = i - -5. Is 446 + (3 + w - 1/(-1)) prime?
False
Let m(i) = i**3 - 8*i**2 - 11*i - 33. Suppose 0 = 6*j - 0*j - 84. Is m(j) composite?
True
Suppose p = -3*n + 448809, -448809 = 46*n - 49*n + p. Is n a composite number?
False
Let h(t) = -11*t**3 - 5. Let i be h(-2). Suppose 16*d + i = 17*d. Is d composite?
False
Suppose 0*z - 9*z = -108. Suppose 4*n - 4*j + j + 12 = 0, -4*n - 3*j + z = 0. Suppose n = 3*o - 6*s + s - 3556, 2*o + 2*s = 2344. Is o prime?
False
Let o(j) = j + 16. Let y be o(4). Let d be (2*(-15)/10)/((-2)/y). Is d/20 + ((-5155)/(-2))/5 a composite number?
True
Suppose 0 = -y - 4*u + 22, u - 17 + 12 = 0. Suppose -47 = y*i - 2317. Is i composite?
True
Let u = 23 - 21. Suppose -14*s = u*s - 48. Suppose 3*j + x - 483 = 0, 2*j - 186 = -s*x + 136. Is j composite?
True
Suppose 0 = -5*w - 3*h + 664216 + 16228, 0 = -2*w + 5*h + 272221. Is w a prime number?
True
Let h(p) = -p**2 + 9*p - 20. Suppose -13*i + 5*i = -40. Let f be h(i). Suppose 3*l - 3*y - 50 = 2*y, 5*l - 4*y - 66 = f. Is l a composite number?
True
Let w(y) = 79*y**3 - 16*y**2 - 193*y + 2445. Is w(14) a composite number?
False
Let n(y) = -2*y**2 - 19*y - 21. Let j be n(-8). Suppose -19*v + 1562 = j*v. Is v composite?
False
Let a = -3833 - -278886. Is a composite?
False
Let m be (-6)/(-15) + 87488/(-20). Let l = 16306 + -10067. Let i = m + l. Is i a prime number?
False
Let r(h) = 5*h**2 - 51 - h**2 + 53. Let v be r(1). Suppose -v*x = -4910 + 980. Is x a prime number?
False
Let x = 199759 - 36158. Is x prime?
True
Let z(i) = 62171*i + 1430. Is z(9) a prime number?
True
Let v(g) = g**3 + 7*g**2 + 7*g - 15. Let r be v(-5). Is (1 - r)*(918 - 5/(-5)) composite?
False
Let b(h) = -5*h + 80. Let a be b(13). Suppose 9*n + 32988 = a*n. Is n composite?
True
Suppose -4*z + 3*t = 1667, -5*t = 7*z - 12*z - 2085. Let q = z + 465. Is q a composite number?
True
Let o(m) = 282*m**2 + 73*m - 13*m - 33*m + 80. Is o(-3) a prime number?
False
Let c = -678769 + 1623732. Is c prime?
True
Is (-76628)/(-2)*((-156)/(-8) + -19) a prime number?
True
Let c = 95 - 100. Let z(q) = 442*q**2 - 3*q - 8. Is z(c) prime?
True
Let b(d) = -328*d - 14. Let g be b(-5). Let z = g + -83. Is ((-16)/4)/(-4)*z a composite number?
False
Let n(x) = -268*x + 8. Let p be n(-7). Suppose p = 2*s + 22. Let a = s + 430. Is a a composite number?
False
Let i = -216074 + 501053. Is i a prime number?
False
Let w = 35 + -38. Let c(i) = i**2 + 3*i + 2. Let r be c(w). Suppose -x + 4*t + 644 = t, -r*x + 1253 = t. Is x prime?
False
Let d(v) be the third derivative of 0 - 6*v**2 + 1/12*v**5 + 1/4*v**4 - 5/3*v**3 + 0*v. Is d(-6) a composite number?
True
Suppose 3*u + 5*f = 95021, 4*u + 5*f - 56657 = 70041. Is u a composite number?
True
Let w be 2/(-10) - 483/(-115). Suppose -w*n - 20904 = -4*d, 17*d - 18*d = 2*n - 5217. Is d prime?
False
Let z(q) be the third derivative of 349*q**4/8 - 221*q**3/6 - 169*q**2. Is z(4) composite?
False
Suppose -5*g + 32997 = -r, -3*r + 6*r = -2*g + 13192. Let c = g + 11730. Is c a composite number?
False
Suppose 0 = 7*h - 6 + 6. Suppose 7*v + 1649 + 458 = h. Let p = v - -510. Is p composite?
True
Let r be -1 - (-2 - -4 - 8). Suppose -3*b + 1379 = 4*d - 642, 3325 = r*b - 2*d. Is b composite?
True
Suppose -2*a + 12233103 = 3*c, 4*c + 3*a - 15841052 - 469754 = 0. Is c composite?
True
Suppose -m = -2*j - 10460 - 133851, 2*j = -3*m + 432957. Is m a composite number?
True
Let q(y) = 159*y**2 - 57*y - 123. Is q(27) prime?
False
Let c = -685 - -633. Is (c - -3043)*(-11)/(-3) a prime number?
False
Suppose -t = -4*t + 369. Let u(x) = 8 - 21 - t*x + 10 + 7. Is u(-1) a composite number?
False
Suppose 4*c = 59*c + 10*c - 46574515. Is c composite?
False
Let c = 165250 + -91943. Is c prime?
False
Suppose -519641 = 53*r - 58*r + 2*n, 415699 = 4*r + 3*n. Is r a prime number?
False
Let v be (-18)/8*(-132)/11. Suppose 0 = j - 2*p - 70, -133 = -3*j + 4*p + 71. Let a = j - v. Is a prime?
True
Let m(s) = 311*s**2 - 105*s + 15. Is m(6) a composite number?
True
Let f = 58 - 55. Let g be (1082/(-3))/(f*4/(-18)). Let q = 1154 - g. Is q composite?
False
Let z(o) = 1058*o - 14. Let t be z(10). Suppose -t - 3942 = -3*b - 3*a, 3*b + 5*a - 14506 = 0. Is b composite?
True
Let k = 305 - 299. Is (-227)/(k + (-395)/65) a prime number?
False
Let m(n) = -n**3 + 9*n**2 - 10*n - 20. Let k be m(7). Is 23979/9*(11 - k) composite?
False
Suppose 41737 - 3131 = 20*j - 3974. Is j a composite number?
False
Suppose -4*m + 654117 = -5*x, -4*m = -4*x - 901239 + 247127. Is m prime?
False
Let a = -91 - -91. Suppose -5*v - 5*s + 120 = a, -5*v - 102 = -10*v + s. Let l(o) = 8*o**2 - 30*o + 67. Is l(v) a prime number?
False
Let p(o) = 2*o + 94773. Let z be p(0). Is z/14*2/3 a composite number?
False
Suppose 3*y = t + 81553, 3*y - 5*t + 42701 - 124222 = 0. Is y a prime number?
False
Let u(m) = -2080*m + 139. 