 -4624858. Is k a prime number?
True
Let f be 166 + -5 + -1 + 12/4. Suppose 5*d - 136 = -h, 3*h + 4*d + f = 4*h. Suppose 9*c = 560 + h. Is c a composite number?
False
Let x(q) = q**3 + 55*q**2 - 121*q - 72. Is x(-53) composite?
False
Suppose 0 = -h + 21 - 8. Suppose -6867 = 10*w - h*w + 4*z, 0 = 2*w + 2*z - 4592. Is w prime?
True
Let o = 26 + -22. Suppose -o + 2 = -b. Suppose a = 5*t + 61 + 11, b*a - 99 = t. Is a composite?
False
Let f(w) = 8*w**2 + 11*w - 3. Let b(p) = 5*p - 7. Let d(h) = -85*h + 120. Let s(m) = -35*b(m) - 2*d(m). Let c be s(-1). Is f(c) prime?
True
Is (5/(50/(-12)))/(8*(-3)/1678980) composite?
True
Let o = 17 - 12. Suppose o*s - 6*s = 3*a - 547, s = 5*a + 539. Let y = s - -195. Is y a prime number?
True
Let s(o) = -o**3 - 18*o**2 + 30*o + 23. Suppose 5*g + 114 - 499 = 0. Let u = g - 97. Is s(u) a composite number?
False
Let o = -13 + 13. Suppose 0*x - 3*n + 377 = 5*x, -5*n + 20 = o. Suppose 3*i + 4 = x. Is i prime?
True
Let b(n) = -46*n**3 + 8*n**2 + 23*n + 178. Is b(-13) a prime number?
True
Suppose -3*n - 2805 = -4*u, u + 3*n - 693 = n. Suppose 2*f - 2036 = -2*c, 3*c + 5*f - 2563 = 495. Let r = c - u. Is r composite?
False
Is ((-1013778)/(-4284))/(1/14) composite?
False
Let q(n) = 2*n + 0*n**3 - n**3 + 13*n**2 + 10 - 19. Let b be q(13). Is (97 + 0)*(b + -6) a composite number?
True
Let d(k) be the first derivative of 31*k**3/3 + 7*k**2/2 + 7*k - 146. Let w be (-9)/(-12) + 63/12. Is d(w) a prime number?
False
Is 2/(-8 + 21440538/2680065) a composite number?
True
Let s(j) = 6912*j - 3745. Is s(21) a composite number?
True
Let b = -101180 - -174397. Is b a composite number?
True
Let t(y) = 131589*y**3 - 43*y**2 + 90*y - 1. Is t(2) a prime number?
True
Let c = -20099 - -40076. Is c a prime number?
False
Let f(t) = -7*t + 18. Suppose 0 = -18*u + 14*u - 20. Let d(s) = 6*s - 18. Let z(v) = u*f(v) - 4*d(v). Is z(5) a composite number?
False
Suppose 10 = 7*u - 11. Let h(i) = i + u - 5 - 4*i + 24*i**2. Is h(-3) a prime number?
True
Suppose 2711*p = 2714*p - 453927. Is p composite?
True
Let f = -555508 - -1122882. Is f a composite number?
True
Let f(t) = 7*t**3 + 11*t**2 - 18*t - 16. Let o be f(9). Suppose 0 = -4*s + 4*l + o - 776, -6285 = -5*s + 2*l. Is s prime?
False
Is 24/9*3 + (-492765)/(-5) a prime number?
True
Let d(z) = 12162*z**2 - 4*z + 7. Suppose 57*u - 50 = 32*u. Is d(u) prime?
True
Let m(b) = -146*b + 43. Let k be m(-11). Suppose -521 = -5*u + k. Suppose -2*o + x = 3*x - 416, 2*o - 4*x - u = 0. Is o a composite number?
False
Let i be -4 - (0 - 1)*459. Suppose -2*g + i - 63 = 0. Is -34*(-2 + g/(-8)) prime?
False
Let k = -274 - -273. Let n(b) = -2370*b - 9. Is n(k) prime?
False
Suppose -1218*b + 1237*b - 319409 = 0. Is b composite?
False
Suppose -33*w = r - 34*w + 6, -r - 2*w - 3 = 0. Is (-2179)/(r/(-20)*-4) a prime number?
True
Let s = -7 + 13. Suppose 84 = -s*l - 30. Let k(g) = -33*g + 2. Is k(l) a prime number?
False
Let l = -32461 + 46071. Suppose -68*g + l = -66*g. Is g prime?
False
Suppose -p - 3*w - 9 = -0*p, 4*p - 2*w - 6 = 0. Let k = -10 - -44. Is (k + 1 + 2 + p)*37 a prime number?
False
Let p = -8322 - -40441. Suppose 4*z - 4303 + p = 0. Is z/(-21) - (-2)/(-14) a composite number?
False
Let p be 8*(2 - 4 - (-1)/(-2)). Let y be (-1)/((2 - (-44)/p) + 0). Suppose -y*w + 1285 = -0*g - 3*g, 0 = -5*w + g + 1275. Is w a prime number?
False
Is 8/10 - 67092/20*22/(-6) a prime number?
True
Is (-244467970)/(-2900) - 1/8*(-12)/(-5) composite?
False
Let f = 139352 + -16575. Is f a prime number?
True
Is ((-89038)/4)/((6/14)/(72/(-12))) a prime number?
False
Let l(u) = u**2 + 11*u + 18. Let z(a) = a**2 - 4*a - 17. Let m be z(5). Let s be l(m). Is 324 - s/5 - (-1)/(-1) prime?
True
Suppose -1574127 = -43*x + 16010680. Is x composite?
True
Let h = -28136 + 73563. Is h prime?
True
Let h = 26012 - 11598. Suppose -2*p + 7 = 1, -4*v - 2*p + h = 0. Is v a prime number?
False
Suppose -5*f + 186881 = 4*y - 441783, f - 471509 = -3*y. Is y a composite number?
True
Suppose 201824 = -384*b + 376*b. Let l = -17429 - b. Is l composite?
True
Suppose -5*q + 969 = -296. Let p(n) = -6*n**2 - 54*n + 24. Let m be p(-11). Let w = m + q. Is w a prime number?
False
Let m = 121 - 119. Suppose 3*b - 3183 = -7*s + 2*s, m*s - 3183 = -3*b. Is b a prime number?
True
Let g = 116 - 114. Suppose 330 = 2*o + g*w, -4*o + 22 = 3*w - 636. Is o a prime number?
True
Let h = 38 + -38. Suppose 3465 = -7*f + 9*f - p, -5*p + 25 = h. Is f a composite number?
True
Let v(d) = -d**2 + 14*d + 21. Let s be v(18). Let k = 56 + s. Suppose 0*w - k*w = -1445. Is w a prime number?
False
Let o = 361 + -359. Suppose 5*j + 2*k - 7933 - 17468 = 0, 0 = 2*j + o*k - 10164. Is j a prime number?
False
Let h = -19257 + 20345. Let t = 700 + -206. Suppose 14*g - h = t. Is g a composite number?
False
Suppose -4*k = 3*o - 42598, -4*k + 3*o = -2*o - 42614. Is k a prime number?
True
Is (-1 - 8/(-6))*(50320 + -133) composite?
False
Is (-1324264)/(-22) - ((-8)/(-110))/((-14)/35) prime?
False
Suppose 4*p + 3*r + 7 = 0, -2*r + 0*r = 2. Let q(g) = 222*g**3 - g**2 + g + 1. Let l be q(p). Let a = 554 + l. Is a prime?
True
Let z be 6/(-3) + (-10)/(-2)*4418. Let o = -13246 + z. Is o a composite number?
True
Suppose -3*g - 2 = -g. Let a be (2516/18 - 240/(-1080)) + 8. Is (-1)/(g/a)*470/40 a prime number?
False
Let u(p) = 331*p + 9. Let w(x) = -165*x - 4. Suppose -2*g + 4*g - 12 = 0. Let t(j) = g*u(j) + 11*w(j). Is t(5) composite?
True
Let h = -134 - -330. Let y = h + 163. Suppose y = -j + 1050. Is j a composite number?
False
Let g(s) = -76307*s + 60. Let i be 4*(-4)/(-16)*-1. Is g(i) a prime number?
True
Suppose 0 = 3*o - 17 - 1. Let d = 1 - o. Let k(y) = -5*y - 11. Is k(d) composite?
True
Suppose 5*y - 10*f - 630 = -17*f, -5*y = -f - 590. Let d = -57 - -24. Let x = d + y. Is x a prime number?
False
Let d(r) = 64*r**2 + 68*r + 793. Is d(-11) prime?
True
Let v(x) = 28*x + 200. Let a be v(-7). Suppose -14786 = -2*i - a*h, 5*h + 0*h - 7378 = -i. Is i a composite number?
True
Let z be 2 + -3 - (2042 - -1). Let d be (-21)/(-14)*5/15*-9666. Let q = z - d. Is q composite?
False
Let d(h) = 2385*h + 5. Let m(k) = -1192*k - 3. Suppose 0 = 2*z + 6 + 2. Let t(b) = z*d(b) - 9*m(b). Is t(1) a composite number?
True
Is ((-16)/48)/((-2)/221082) composite?
False
Let k(r) = -24*r + 9. Let i(d) = 12*d - 4. Let g(p) = -13*i(p) - 6*k(p). Let q be g(-1). Suppose q*t - 15*t = -1905. Is t prime?
False
Let n be 1508/(-24) + (-4)/24. Let a = 63 + n. Suppose a = -29*m + 28*m + 993. Is m composite?
True
Suppose 0 = 3*c - 2*b - 7, 2*b - 23 = -3*c - 0*c. Is (-5499)/(-15) + c/(75/6) a composite number?
False
Let s be 9318/5 + (-30)/50. Let a = 5131 - s. Suppose -7*y + 8919 = -a. Is y a composite number?
False
Let l be 3 + -5 + 2 + -382. Let u = 1624 + -721. Let g = u - l. Is g composite?
True
Suppose -24*l = -23*l - j - 2, 3*l - 8 = j. Is (4/32*15926)/(l/12) a composite number?
False
Suppose -10*n = -14*n + c - 4, 4*n = -4*c - 4. Is (0 - (1526 - -5))*n a prime number?
True
Let h = 13199 + -12491. Suppose -2*j + 4*n - 2558 = 0, 3*j + 2310 = 2*n - 1523. Let w = h - j. Is w composite?
True
Suppose 0 = -6*v + 2*v + 76. Let l(c) = -c**2 + 20*c - 21. Let i be l(v). Is ((-460)/(-10))/(i + 4 - 1) prime?
False
Let s = -41 - -37. Let o(y) = -5*y - 17. Let v be o(s). Suppose 0 = w + v*w - 676. Is w a prime number?
False
Suppose 4*o - 22 + 43 = 5*q, 0 = o + 4. Is (-1)/(q/(-3)) - -3463 a prime number?
False
Let d(n) = 2*n**2 + 11*n - 11. Let z be d(-7). Suppose 2*h = 3*h - z. Is 134/h + -3 + (-39)/(-15) a composite number?
False
Let z(m) be the third derivative of m**5/60 - 5*m**4/24 + 7*m**3/2 - m**2. Suppose -4*r + 20 = 0, -v - 12 - 2 = -5*r. Is z(v) a prime number?
False
Let w = 332 + -325. Suppose 34550 = w*t - 16109. Is t a prime number?
True
Let j be (-20)/(-7) - (-3 + (-180)/(-63)). Suppose 4*y - 4712 = -4*a, -j*a = -3*y - a + 3549. Is y prime?
True
Suppose 4*a + 4 = 0, 0 = -3*t - 3*a + 67458 + 28170. Is t prime?
False
Let i be (-1 + 2)/(7 + 3742020/(-534575)). Is 11/((-198)/8) + i/9 a composite number?
True
Let d be (-93)/(-7 - 18/(-3)). Suppose 0 = -d*p + 92*p + 253. Is p prime?
False
Let v(d) = d**3 - 20*d**2 - 42*d - 44. Let x be v(22). Suppose x = 3*c - 2770 - 28478. Suppose -2446 = 10*r - c. Is r composite?
False
Let x(g) = -803*g**3