 = -z, 2*x + 2*n = n + 5446. Is x composite?
True
Let s = 2090 - 3648. Let l = -376 - s. Suppose -5*u + 2*b = -2931, l = -0*u + 2*u + 4*b. Is u composite?
False
Let p(o) = 207*o - 21. Let m be p(-2). Let z = m - -808. Is z a prime number?
True
Let y(h) = h**3 + 12*h**2 + 19*h - 7. Let s be y(-10). Suppose 0 = s*n - 1731 - 162. Is n composite?
False
Suppose -3*r + 30 = -4*d + 137, -48 = -d + 5*r. Suppose 0 = -d*i + 11607 + 22364. Is i prime?
False
Suppose 0 = -2*x + 4*z + 29062, -24604 = -x - 4*z - 10109. Is x a composite number?
False
Let v(k) = 2 + 30 - 5*k - 7 - 6*k**3 + 5*k**3 + 13*k + 46*k**2. Is v(36) a prime number?
False
Let o(w) = -8245*w + 14. Let q be o(-5). Let s = -27108 + q. Is s prime?
False
Let r be 7/(168/160)*(-6)/(-8). Is 2 + (3354 - r) + 2 composite?
True
Suppose -4 = 2*c - 4. Let x = 1 - -2. Is (c + 1)/(x/921) prime?
True
Let r(i) = 2*i**2 - 6*i - 3. Let u be r(-2). Let v(l) = -l**3 + 23*l**2 - 25*l + 30. Is v(u) a prime number?
False
Is (345/(-45))/((-7)/14511) a composite number?
True
Is -5 + (-7094530)/(-90) + (16/18)/(-8) a prime number?
True
Is (153/(-204))/(27/(-81622872)) a composite number?
True
Let u(r) = -r**3 - r**2 + r + 1. Let t(i) = -11*i**3 + 4*i**2 - 13*i + 7. Let k(p) = -t(p) + 3*u(p). Is k(7) a composite number?
True
Let f = 129 - 121. Suppose -3246 = 2*t - f*t. Suppose -4*i + t = z, 3*z + 2*i = 348 + 1225. Is z a composite number?
False
Let w = -92 + 96. Suppose -w*q = -2*j + 6, 4*q - j + 1 + 2 = 0. Is -1 - -918 - (4 - q/4) a composite number?
True
Let d(t) = -7*t + 14. Let y be d(2). Suppose y = -2*i - 6, 3*p - 7*i + 12*i - 19872 = 0. Is p a prime number?
False
Let g(d) = 2*d**3 - 6*d**2 + 215*d - 153. Is g(34) prime?
False
Let s(l) be the second derivative of 128*l**3/3 - 121*l**2/2 - 26*l + 2. Is s(8) a composite number?
True
Suppose 0 = -2*x + x + 5, 73 = 4*o + 5*x. Suppose 3*c - 7*c + 40 = 0. Suppose c*r = o*r - 158. Is r a prime number?
True
Let x be (-10064)/(-24)*(-2 + -1). Let b = -1926 - x. Let o = 1083 + b. Is o prime?
False
Suppose 19*y - 678787 = -2*p + 14*y, -2*p + 3*y + 678779 = 0. Is p a composite number?
True
Suppose 751086 - 155933 = 13*j. Is j composite?
True
Let d be 5467 + ((-105)/18 - (-45)/54). Let r = -1555 + d. Is r a prime number?
True
Let m = -856 - -8790. Suppose -7*g = -4827 - m. Is g prime?
True
Suppose -17*s - 6 = -19*s. Suppose -s*o - 4619 = 4*p, 3*o + p - 429 = -5033. Is (-1)/((-1)/5) - o a composite number?
True
Let s = -8141 - -12336. Suppose 70*q - 68*q = 6. Suppose q*m = s + 116. Is m a composite number?
True
Let j(c) = 10*c**2 + 1. Let d be (-4 + 30/12)/((-3)/(-4)). Let w be j(d). Let o = w - 6. Is o a prime number?
False
Is (3 + 256674/(-9))*(-86 + 83) a composite number?
False
Let z = -1343 + 1348. Let b(i) = 10*i**2 - 6 + 80*i**2 - 3*i + 152*i**2. Is b(z) prime?
True
Suppose 0 = 4*p + 4*x - 8, -3*p = 5*x - x - 8. Suppose 0 = -t + n - 2*n + 2179, p = -2*t + 4*n + 4358. Is t composite?
False
Suppose -o = -8*q + 10*q - 7, -2*q = -3*o - 3. Suppose -q*d - 1264 = -u, -d + 2 = -1. Is u a composite number?
True
Let p = 202 - 183. Suppose p*d + 9027 = 28*d. Is d prime?
False
Let q(p) = -97*p - 6. Suppose 5*s - 43 = -2*k, k - 5*s + 12 = -4. Suppose -3*a - z - 10 = 0, -z = -2*a - 6 - k. Is q(a) composite?
False
Suppose 52920 = 215*u - 206*u. Let w = -2239 + u. Is w a prime number?
False
Suppose b - 28 = -4*b + 2*f, 5*b + 3*f = 8. Suppose 7636 = b*s + 1008. Is s composite?
False
Suppose -2*p + 830 = 2*m + 2*m, 0 = -3*p - 5*m + 1241. Let u(n) = -n**2 + 47*n + 26. Let v be u(18). Suppose 5*q - v = p. Is q prime?
True
Suppose 0 = 2*o - 6549 + 425. Let g be o/10 + 12/15. Let r = g - -130. Is r a composite number?
True
Suppose 6*r - 596841 = y - 166448, 0 = -4*r + 5*y + 286959. Is r composite?
True
Suppose -237*x + 11812328 + 25161331 = 0. Is x composite?
False
Let i(b) = 9799*b**2 - 305*b + 605. Is i(2) a prime number?
True
Let h(a) = 2624*a + 4529. Is h(7) a prime number?
False
Let i be (-95)/(-35) - 3 - 147972/28. Let x = -3726 - i. Is x prime?
True
Let k(s) = 4*s - 37. Let j be k(13). Suppose -11*w = -j*w + 76. Suppose 20*g - 587 = w*g. Is g a composite number?
False
Let f(y) be the second derivative of -21/2*y**2 + y**3 + 0 - 1/20*y**5 + 35*y + 0*y**4. Is f(-10) prime?
True
Let g(m) be the third derivative of 539*m**6/10 + m**5/60 + 13*m**4/24 - 13*m**3/6 + 4*m**2 + 2. Is g(1) composite?
False
Let h = 54 - -340. Suppose -4*c + 6*c - h = 0. Let o = c - -426. Is o a composite number?
True
Suppose 0 = -2918*l + 2882*l + 3260052. Is l a composite number?
True
Let g(p) = p**3 + p - 34. Let k be g(5). Is (23376/k)/((-2)/(-76)) composite?
True
Let l(s) = -19*s**3 - 6*s**2 - 2*s + 8. Let k = -8 + 2. Let j be l(k). Suppose -j = 34*u - 38*u. Is u a prime number?
True
Suppose 4*n + 2*k = 9872, -7 = -3*k + 5. Let r = n - -1061. Is r a prime number?
True
Let u(r) be the third derivative of 7*r**6/120 - r**5/12 - r**4/12 + 11*r**3/6 + 3*r**2. Let g be (-8)/36 + (4 - 11/(-9)). Is u(g) a composite number?
False
Suppose -210867 = -19*t + 221934. Suppose -13*z + 22*z = t. Is z prime?
True
Suppose 0 = -4*a + 2*a + 2*d + 10, -4*a - 3*d + 13 = 0. Suppose 4*k = -4*p + 280, 2*p + 200 = -k + a*k. Let q = -30 + k. Is q a prime number?
False
Let d(w) = -6*w**3 - 9*w**2 + 11*w + 141. Is d(-13) a prime number?
False
Let s = -126 + 122. Is (-753 + (-8)/s)/(-1) prime?
True
Is 819558 - (13 - (11 - 9)) composite?
True
Suppose -25*y + 26*y - 727848 = -5*w, 4*w + 4*y - 582288 = 0. Is w a composite number?
True
Let n = -191 + 196. Suppose -3*h + 4736 = f, 14514 = n*f + 3*h - 9190. Is f a prime number?
False
Suppose 30*f - 81500 = 1102930. Is f composite?
True
Let l = 22 + -16. Suppose -l*d - 8 = -8*d. Suppose -d*u + 2936 = -3*x, -x = 2*u + 116 - 1594. Is u a composite number?
True
Suppose 2*r - 5*p - 773792 = 0, 3*r + 4*p - 865679 = 294940. Is r prime?
False
Let g(v) = -27*v**3 + 4*v**2 + 4. Let i(d) = 11*d**2 + 4*d + 3. Let k be i(-1). Let m = -13 + k. Is g(m) composite?
False
Let u(b) = -183*b**3 - 7*b**2 - 171*b - 106. Is u(-15) a prime number?
True
Let c be 4/7*175/(-150)*12. Let d(n) be the first derivative of 8*n**3/3 - 3*n**2 + 3*n - 1. Is d(c) a prime number?
True
Let h(n) = 2*n**3 + 2*n**2 - n - 4. Let q(o) = -o + 5. Let x be q(7). Let m be h(x). Let i(f) = -390*f - 19. Is i(m) a composite number?
False
Suppose 0 = -30*s + 40*s - 525210. Let a = s + -36220. Is a prime?
True
Suppose 8*q = -4*v + 312060, 5*q + 71*v - 195036 = 70*v. Is q a prime number?
False
Suppose -5*a + 0*a - 2*f + 19 = 0, 13 = 5*a - f. Suppose 5*y - 8 = 4*t, -2*y - a = -11. Is (3/(-2))/(t/(-838)) a prime number?
True
Let m(d) = 2797*d**2 + 7*d - 6. Let n be m(1). Suppose 2*q - n = -0*q. Is q a prime number?
True
Let x(a) = -25 - 8*a**2 + 3*a + 63 - 30 - 6*a**3 + 2*a**3. Let w = -18 + 11. Is x(w) composite?
False
Let a(c) = c**2 + 13*c + 33. Let r be a(-10). Suppose 0*g + 4*y - 60 = -4*g, -r = -g + 2*y. Let h(n) = -n**3 + 12*n**2 + 3*n - 5. Is h(g) a prime number?
True
Suppose 4655*b - 200519 = 4644*b. Is b composite?
False
Let r(q) = -17081*q + 1188. Is r(-13) a composite number?
False
Let c be (1 - 0) + -3 + 4 + 3. Is c/30 - 55825/(-30) composite?
False
Let c(s) = -s**3 - 20*s**2 + 39*s + 13. Let r be c(-30). Let q = r + -4946. Is q prime?
True
Let o = 19 - 66. Let f be (-3)/(-6) + 1 + o/(-2). Suppose 0 = -0*k + k + 2*x - f, 3*x = 4*k - 67. Is k a prime number?
True
Suppose -5*z + 7*z = -3*y + 144, -227 = -5*y + z. Suppose -37*i = -y*i + 19611. Is i composite?
False
Suppose v + 2005 = -i + 2*i, 5*v = -3*i + 6023. Let y = i - 1013. Suppose 12*t = 9*t + y. Is t a composite number?
False
Let u(a) = -a**3 - 4*a**2 - 4*a + 10. Let o be u(-12). Let x be -1 - ((-1)/3 + o/(-15)). Suppose -2*b = c - x - 883, 0 = 5*c - 25. Is b composite?
False
Suppose 8*n - 68 = 92. Suppose -4*z + 3429 = b - 923, 0 = -5*b + n. Is z composite?
False
Suppose -20*a + 72 = -8*a. Suppose i - t = a*i - 54151, 0 = 4*i + 3*t - 43312. Is i composite?
False
Is (78650 + (5 - 12))*(2 + -1) a prime number?
True
Let g(k) = k**3 - 38*k**2 - 79*k - 35. Let s be g(40). Suppose -6*w + s*w + 235 = 0. Is w a prime number?
False
Suppose -5*g = -27 + 2. Let w(s) = 604*s - 207. Let u be w(5). Suppose -4*d + u = -g*f, 2*d - 5*d - 2*f + 2081 = 0. Is d a composite number?
True
L