
Suppose 12*k = -8*k + 100. Suppose f + 11728 = k*m - 26292, 0 = -4*m + f + 30417. Is m a composite number?
False
Suppose -27*u = 3350 - 43661. Suppose -q - 2367 = -5*m - 866, 5*m - 3*q - u = 0. Is m a composite number?
True
Let q(l) be the third derivative of 11*l**6/720 + 1049*l**5/120 - 19*l**4/12 - 9*l**2. Let c(u) be the second derivative of q(u). Is c(0) a composite number?
False
Suppose -10 = 3*d + 2*d - 3*l, 0 = -l. Let n(v) = -7*v - 6. Let m be n(d). Is (45 - m) + 4*-1 a prime number?
False
Suppose 902698 = z + 23*u - 20*u, -3*z + 2708136 = 3*u. Is z composite?
False
Suppose 35 = -3*b + 215. Let y = 367 - b. Is y a prime number?
True
Suppose 56*x - 7578307 = 49*x - 184*x. Is x composite?
True
Let w be (3 + 1)/(1/(-5)). Let l = 4349 - w. Is l a prime number?
False
Let w(v) = -1625*v - 2193*v + 986*v - 384*v + 83 - 778*v. Is w(-5) composite?
True
Let s = -210782 - -2477641. Is s composite?
True
Let n = -127 - -62. Is (-448396)/n - (-2)/(-5) composite?
True
Let k(o) = -o**2 - 7*o - 2. Let g be k(-4). Suppose -9*p = -g*p + 1394. Let z = -345 + p. Is z a prime number?
True
Suppose -5*x = 11*d - 15*d - 910723, 4*x = 4*d + 728576. Is x a prime number?
False
Let l = -3283 - -5130. Is l a composite number?
False
Let s(w) = -99780*w**3 + 2*w**2 - 7*w - 7. Is s(-1) composite?
True
Let j = -115614 - -339191. Is j composite?
False
Suppose -n - 4 = -2*j, j + 3*j = 12. Let g be (-456)/(-266) + (8/14)/n. Suppose -774 = 3*b - 7*b + 2*u, 10 = -g*u. Is b composite?
False
Let g(y) be the first derivative of y**3/3 + 19*y**2/2 + 123*y + 76. Is g(-14) composite?
False
Is ((-10)/20)/(((-65)/30)/13) + 423428 composite?
False
Let s be 4*(-1 + 0) - 9. Let z = 16 + s. Suppose 2*y = -3*a + 1325, z*a + 2835 = 5*y - 509. Is y a prime number?
False
Let y(i) = -1200*i + 463. Let p(f) = f**2 - 42*f + 218. Let u be p(7). Is y(u) a prime number?
False
Let d be (-1)/(-3) + (-52)/39 + 11. Let f(p) = 198*p - 3. Let r be f(3). Suppose o - r = -d. Is o composite?
True
Let u(l) = 3976*l - 159. Is u(2) a prime number?
True
Let x(i) be the second derivative of 8*i**4 - 5*i**3/6 + 6*i**2 + 109*i. Is x(-5) composite?
False
Suppose -5*u + 3*x - 1464 = 0, -3*u + x - 4*x - 864 = 0. Let b = u - -468. Is b prime?
False
Let i = 3947 - 3947. Suppose -5*c - a + 18965 = 0, -3*c + 6*a + 11361 = 3*a. Suppose i = -3*x - x + 5*m + c, -4*x + 3816 = m. Is x prime?
True
Suppose 4*f = -7*f - 2*f + 169. Let o(n) = 11 + 16*n - 38 - 18. Is o(f) prime?
True
Let m = -14185 - -22568. Is m prime?
False
Let w(i) = 202*i**2 + i - 22. Let o be -15 - ((-48)/(-4))/(-2). Is w(o) prime?
False
Let p be 2753/4*(-4 - -8). Suppose -400 + p = q. Is q prime?
False
Let l = -50 + 55. Suppose -l*u + 3*s - 138716 = 0, 0*u + s - 55486 = 2*u. Is (u/(-22))/(2 + -1) composite?
True
Let d = -19 + -21. Let c(b) = b**3 + 44*b**2 - 40*b - 81. Is c(d) prime?
True
Suppose -170939 - 1431345 = -231*c - 36335. Is c a prime number?
True
Let h be (-2 + 1)/1*0. Suppose -3*j = -5*q + 4726, 3*j - q + 642 + 4076 = h. Is 3 + 10*(1 + j/(-4)) a prime number?
True
Let f(c) = 286*c**2 - 21*c - 6. Let b be 2/(-6)*-17 + (-22)/33. Is f(b) a prime number?
True
Let x = 27962 + -18444. Suppose 183*u - 185*u = -x. Is u composite?
False
Let v(d) = 43*d**3 + 13*d**2 + 13*d + 91. Is v(10) prime?
False
Let g = 52 - 5206. Let d = g + 8668. Suppose -11*x - 3*x = -d. Is x a composite number?
False
Let n = -56 + 117. Let a be 3/(-3) - (n + -1)/(-4). Suppose 1434 = a*t - 8*t. Is t a prime number?
True
Let x = -15657 + 6798. Let v = x + 15664. Is v a prime number?
False
Is (-89 + 90)/(0 + 3/2519079) prime?
True
Let v be (-11)/(-3*(-2)/138). Let j = v - -444. Suppose -98*q + 97*q = -j. Is q a composite number?
False
Suppose 0 = -15*z + 19*z + 2628. Is (z/(-2))/(12/312) - -2 composite?
False
Suppose 5*h + 4*c = 1789409, 164*c - 715766 = -2*h + 160*c. Is h a prime number?
False
Is (-16673)/((-189)/9 + 20) prime?
True
Suppose -3*r - 1 = 5*b + 4, 3*b - 26 = 4*r. Suppose -1602 + 100 = -b*f. Is f prime?
True
Suppose -3*c = 16 + 14. Let l be (-54)/c + 1*6/(-15). Suppose -l*f = -2*t - 7051, 8478 = 4*f + 3*t + 2851. Is f a composite number?
False
Suppose 45 = -v + 47. Suppose -3*n + 3*q - v*q = -14, n = q + 8. Let i(r) = 104*r + 25. Is i(n) composite?
False
Let n(c) = 127*c**2 + 10*c + 18. Suppose -5*d - 10 = 0, z + 8*d = 3*d - 18. Let g be n(z). Suppose 11*v + 2709 = g. Is v a prime number?
True
Suppose -52*i = -47*i - 4*s - 121421, 3*s + 121422 = 5*i. Let x = i + 14080. Is x prime?
False
Let b be 6/(-12)*-2*2. Suppose -b*j = -5*j + 4434. Suppose 2*f + 0*f = j. Is f a prime number?
True
Suppose -51883 = -x - 18174 + 41214. Is x a composite number?
False
Suppose -1896 = 6*x + 3858. Let d = x + 5742. Is d prime?
True
Let b be 2*(-6)/(-4)*(5 - 4). Suppose 2*a - 6*d - 17785 = -3*d, 2*d - 26645 = -b*a. Is a a composite number?
True
Suppose 2*o - 4162 = 4*x, 0*x = 2*x + 4*o + 2086. Let t = x + 2144. Is t composite?
False
Let p(j) = -142*j + 90. Let l be p(-6). Suppose -c = -u - 471, 8*c - 5*u + l = 10*c. Is c composite?
True
Let f(l) = -l**3 - 5*l**2 + 7*l + 3. Let v be f(-6). Is (306/24)/(6/5872) - v composite?
True
Let g(v) = 5*v + 897. Is g(-95) composite?
True
Suppose -14767102 - 29517926 = -276*s. Is s a composite number?
False
Let q = 1680 - -364. Suppose 6*r + 514 = q. Suppose -5*l + 1740 = -x + 477, -x + r = l. Is l prime?
False
Suppose -49*u = -50*u - 2*p + 272820, -2*u - p + 545661 = 0. Is u a composite number?
True
Suppose -34 + 2 = 8*y. Is (-2 - -1476) + (2 - (2 + y)) a prime number?
False
Suppose 3*d + 6 = 4*o + 3, -2*d + 15 = 3*o. Let z(q) = -q**3 + 5*q**2 - 5*q - 2. Let a be z(d). Is (-3 + 3124/4)/a composite?
True
Let b(j) = 118*j - 38. Let h be b(6). Suppose -3*f + 2*q = h, q = 5*f - 0*q + 1119. Let y = 387 - f. Is y prime?
False
Suppose 35*h - 40*h = -10. Suppose -4*x - 7*f = -4*f - 6046, -h*x = 2*f - 3022. Is x a prime number?
False
Let y(k) = 4*k - 3*k**2 + 20*k - k**3 - 10079 + 6*k**2 + 13*k**2 + 10078. Is y(17) prime?
False
Let r(l) = -9*l**3 - 4*l**2 + 47*l + 25. Is r(-13) composite?
True
Let r(u) = 6101*u**2 + 130*u - 18. Is r(-7) prime?
True
Suppose 4*y - 1778 + 61 = -3*n, 2*y - 1703 = -3*n. Is n a prime number?
True
Let h(r) = 221*r + 10. Let x be -2 + 7 + -1 + -64. Let c = x - -63. Is h(c) a prime number?
True
Suppose 49 = 2*r - 23. Let j be (r/(-10))/((-3)/10). Is -8*(771/j)/(-1) prime?
False
Let c be ((-6)/4)/(6/(-1868)). Suppose -2*u = -c - 1335. Let f = u - 600. Is f prime?
False
Is (546/546)/((-1)/(-90291)) composite?
True
Let a(l) = -10084*l - 105. Is a(-4) prime?
True
Let c = -797 + 1483. Suppose -q = -9025 + c. Is q a prime number?
False
Let k(i) = -47162*i - 1847. Is k(-15) composite?
True
Let b(q) = -5*q**2 + 6*q - 12. Let z be b(10). Suppose -10900 - 5291 = 9*r. Let l = z - r. Is l a prime number?
False
Let k = -229 + 617. Let p(i) = 756*i**2 - i - 2. Let u be p(-1). Suppose -k - u = -3*d. Is d a prime number?
False
Let d(s) = s + 53*s**2 + 14 - 12*s**2 + 11*s**2 + 6*s. Is d(-7) composite?
True
Suppose -77*h = -22164523 + 1458849 - 41831185. Is h a prime number?
True
Suppose 0 = 20*d - 25*d + 25. Is d + -1 + (-3 - -418) composite?
False
Let w(n) = 326*n**2 + 32*n + 2381. Is w(-33) composite?
True
Let j(k) = 3*k - 37. Let s be j(-33). Let p(h) = 2*h**3 + 11*h**2 + 11*h - 9. Let u be p(-7). Let o = s - u. Is o composite?
False
Suppose -2*o - 5 = -13. Suppose -o*y + 45 + 1607 = 0. Suppose 0 = 2*z - 0*z - 5*f - y, 5*f = -2*z + 443. Is z a composite number?
True
Let v(i) = 230*i + 35. Let a be v(-10). Let o = a - -5038. Is o prime?
False
Let p be (-1*45716/(-77))/((-4)/(-14)). Let l = p - 831. Is l prime?
False
Let u = -26474 + 44750. Let r = u - 11753. Is r prime?
False
Let p(r) = 281*r**2 + 3*r + 2. Let y be p(-1). Suppose 4*s - 1372 = -y. Suppose 5*j - 5*l - 340 = 0, 4*j - 7*l + 4*l = s. Is j a composite number?
True
Let j = 7606 - 872. Let n = 9961 - j. Is n a prime number?
False
Let y = -791 - -507. Let t = y + 349. Is t a prime number?
False
Let m(p) = -17645*p - 3711. Is m(-70) a composite number?
True
Suppose -n = 15 - 45. Let h = -27 + n. Is 3742/8 + h/(-4) prime?
True
Suppose -b - b = -2*j + 18, 4*j = -b - 14. Let a be (-4)/b - 69558/(-30). Suppose 3*z - a = 852. Is z prime?
False
Suppose 7*s - 2*c = 6*s + 15141, -s + 15126 = 