
False
Let z = -11 - -15. Let l be -1 - z*66/4. Let y = 12 - l. Is y prime?
True
Let j(p) = 72 - 37 + 20*p**2 - 69*p - 36. Is j(-8) a composite number?
False
Suppose 0 = -37*h + 41*h - 4*y - 105272, 0 = -3*y - 3. Is h a composite number?
False
Let b(r) be the first derivative of -r**4/4 + r**3/3 + 6143*r + 3152. Let v(m) = -m**3 + 5*m**2 + 5*m + 6. Let n be v(6). Is b(n) a composite number?
False
Let q(x) = -183*x - 226. Let c(m) = -365*m - 451. Let w(i) = -6*c(i) + 13*q(i). Is w(-31) a composite number?
True
Let q = 8 + -126. Let v = -313 - q. Let h = -104 - v. Is h a composite number?
True
Let a(d) = d**3 - 2*d**2 + 7*d + 11. Let z be (-3 + 4)/((-3)/6). Let x be (-33)/(-3) - (2 - z). Is a(x) prime?
False
Suppose 19*s = 24590 + 23499. Suppose s = 2*p - 4*d - 7719, -5*p + 25620 = -5*d. Suppose 16091 = 12*i + p. Is i composite?
True
Suppose -167*i + 226207750 = 5*i + 78*i. Is i prime?
False
Suppose 13*o - 18*o - i + 86998 = 0, 52194 = 3*o - i. Is o a composite number?
True
Let m(k) = -k**3 - 11*k**2 - 31*k + 25. Let i be m(-20). Let u = i - 3011. Suppose -11*z = -u - 493. Is z a prime number?
True
Let x = -195 + 738. Suppose s = -x + 2444. Is s a composite number?
False
Let i be (8/(-12))/(2/(-3327)). Suppose -4*f - g = -929, -909 = -4*f + g + 2*g. Let t = i - f. Is t prime?
False
Let y(a) = 320 + 322 + 3204*a**2 + 19*a - 643. Is y(2) a prime number?
True
Let s be (-16 - -19) + 4/4. Suppose -s*f + 14297 + 28259 = 0. Is f prime?
True
Let k(c) = 886*c**2 - 78*c - 411. Is k(-6) prime?
False
Suppose 0 = -122*o + 1546234 + 2265215 - 370195. Is o a prime number?
False
Let g be (-4 - 5)*937 + 7. Let a = 13357 + g. Is a prime?
True
Suppose 84*n + 23*n - 53067058 + 11975099 = 0. Is n composite?
True
Let c be -2 + -3 + 608610/10. Is 1/(182576/c + -3) prime?
True
Let y(i) be the third derivative of -839*i**4/24 - 44*i**3/3 + 63*i**2. Is y(-9) prime?
False
Suppose 3*c - 378303 = 40*m - 45*m, 0 = -4*m - 2*c + 302640. Is m a prime number?
False
Let s(m) = 5*m - 1. Let h be s(1). Suppose l = c + 1, 3*c + 6*l = 3*l + 3. Suppose c = -x + 5*z + 109 + 35, -h*x + z = -557. Is x prime?
True
Let t be (-21963)/9 + (-4)/(-12). Let i be t/(-100)*(-6 - -1). Let z = -69 - i. Is z composite?
False
Let g(w) = -w + 44. Suppose -3*i + 32 = -13. Let d be g(i). Suppose 31*z = d*z + 2810. Is z composite?
True
Suppose -2*l + 4 - 2 = 5*i, 0 = 3*l - 3*i - 24. Suppose -970 + 5146 = l*t. Let k = t - -95. Is k prime?
False
Let o(p) = -p**3 + 8*p**2 - 6*p - 19. Let z be o(-9). Let q = 5401 - z. Is q prime?
True
Let q(p) be the third derivative of -p**6/60 - p**5/10 + 7*p**4/12 + 7*p**3/6 + p**2 - 2. Is q(-8) prime?
False
Let i = 441 - -248. Let q = 988 - i. Suppose -3*a - 2*z + q + 46 = 0, 345 = 3*a + 5*z. Is a a prime number?
False
Is (-231063)/7*(1 + (-12)/9) prime?
True
Let v = -96357 - -146346. Is v/18 + (-10)/60 a composite number?
False
Suppose 0 = -4*q + 4 - 8, 0 = x + 5*q - 42078. Let g = x - 25212. Is g a prime number?
True
Suppose 3*k = -5*a + 617, -3*k + 702 = 4*a + 83. Let g = 328 - k. Is g a prime number?
False
Let x = 476 - 471. Suppose 25 = x*p, -2*p - 10840 = 4*c - 40038. Is c prime?
True
Let a be (81*4/16)/(2/1624). Suppose -3 = 4*d + 1, 0 = 2*s - 5*d - a. Is s prime?
True
Suppose -3*m + 6*m + 31 = 5*d, -4*m = d - 20. Suppose v + d = s, -s - 3*v + 39 = 3*s. Suppose -s*a + 3*a + 804 = 0. Is a prime?
False
Is 13980 + (64/144)/(4/18) composite?
True
Is 10/(-105) + (-213749520)/(-1008) prime?
False
Let s be (-14223)/6 + (-18)/(-36). Let i = 4151 - s. Is i composite?
False
Let i(n) = n**3 + 5*n**2 + 4*n + 21. Let c be i(-4). Is (-5)/15 + 4396/c prime?
False
Suppose -5*d + 4*d - 1004 = 0. Is (3*d/(-48))/((-1)/(-4)) prime?
True
Is ((-8)/(-16))/(2/2019436) a composite number?
True
Suppose -18*a = -41*a - 27*a + 30304850. Is a a prime number?
False
Suppose -1317 = r - 4*d + 3442, -2*r + 5*d = 9512. Let o = r - -11530. Is o a prime number?
True
Let k(o) = 5*o**2 - o + 7. Let l(m) = -10*m**2 + 2*m - 14. Let g(i) = -11*k(i) - 6*l(i). Let h(b) = -14*b + 178. Let r be h(13). Is g(r) a prime number?
False
Is 6833/(11*(-10)/(-770)) a composite number?
True
Let d be ((-8752)/(-20))/(3/(-30)*-4). Suppose -3*c - 1825 = -5*r, 3*c = 3*r + c - d. Let q = r + -181. Is q prime?
False
Suppose 0 = -3*u, -6*r + 3*u = -9*r + 214899. Is r a prime number?
True
Let z(b) = 212336*b**2 + 62*b - 121. Is z(2) prime?
True
Suppose -5*r = -a + 2325463, 0 = -5*r - 5*a - 2153585 - 171890. Is r/(-21) + -2 + 24/14 a composite number?
False
Suppose 4693 = -f + 3*q, 2*q + 8603 - 32094 = 5*f. Let t = f + 13938. Is t a composite number?
False
Let f(c) = 3825*c - 1142. Is f(4) prime?
False
Let q be -1 - -4 - 0 - 1/1. Suppose -440 - 9917 = -3*t + i, i - q = 0. Suppose 3*p + t = 6*p. Is p composite?
False
Let q be (3*3/(-18))/((-2)/89764). Let l = q + -15972. Is l a prime number?
True
Suppose -9567 = 8*s - 11*s. Suppose 3*q + 6*p - s = 5*p, 2*q - 2*p = 2126. Suppose q = y + 4*j, 0*j + 2*j + 3203 = 3*y. Is y a prime number?
False
Let w = 102 + -99. Let x(n) = 78*n**2 - 2*n - 7. Is x(w) a composite number?
True
Is (7 - (2 - 13/(13/2))) + 1259038 prime?
False
Suppose 14*c - 5*c - 60534 = 0. Suppose 3*i - c = 4*u, -i + 2198 = 3*u - 57. Suppose -i = -6*y + 172. Is y a composite number?
True
Let y = 32462 - 9693. Is y composite?
False
Let i(m) = m**3 + 7*m**2 - 6*m + 4. Let c(r) = 4*r**3 + 27*r**2 - 24*r + 15. Let t(l) = -2*c(l) + 9*i(l). Let q be t(-8). Let y = 229 - q. Is y a prime number?
False
Is 0/(77/(-11)) + 1 + 219276 a prime number?
True
Suppose 3713538 = -120*s + 20401841 + 12895177. Is s a prime number?
False
Suppose -27 = -p + 2*q + 3*q, q - 5 = -5*p. Let l be (37 + -47)*((-1)/p - -1). Is 2 + (-477)/l - (-2)/(-5) composite?
False
Suppose -11*o + 88 = -0*o. Suppose -m = -o*m + 12145. Is m a prime number?
False
Suppose 29592 + 9472 = x - 3*b, -3*x + 2*b + 117164 = 0. Suppose x = 13*h - 69927. Is h a prime number?
False
Let m(w) = -2*w**3 - 14*w**2 - 19*w - 13. Let p be m(-12). Suppose p = -5*v - 2*d, -2*d + 916 = -5*v - 759. Is v*(3 - ((-50)/(-3))/5) a composite number?
True
Let z = 34221 - 20380. Is z prime?
True
Let h(n) = -4*n**2 + 10*n - 16. Let c be h(4). Let v be (c/(-3))/(12/558). Let y = v - 219. Is y a composite number?
False
Let b = 24805 + -16406. Is b a prime number?
False
Suppose 23*j = -7*j + 463950. Suppose j = 3*v + o, -v + 20620 = 3*v - 3*o. Is v composite?
True
Suppose 4*v = -i + 217674, -26*i + 24*i + 435260 = -3*v. Is i a prime number?
False
Suppose 4*h = 3*u + 684995, -2*u + 1370014 = -206*h + 214*h. Is h composite?
False
Let i = 82 - 88. Let y be 814/i*(-90)/(3 - 0). Suppose 2*j - 4906 = 5*c, 2*j = -3*c + 836 + y. Is j composite?
True
Suppose -672 - 678 = -3*d. Suppose -d = b + 8*b. Let t = 681 + b. Is t composite?
False
Let z(q) = -q**3 - 2*q**2 + 16*q + 6. Let i be z(3). Is 1/(24/i) - (-111807)/24 composite?
True
Let v(n) = 27*n + 5. Let l be v(0). Is -6 - (l + -2) - -2090 a composite number?
False
Let i(n) = -2*n**3 + 4*n**2 + 7*n + 1. Let z be i(-2). Suppose 12364 = z*c - 15*c. Let b = c - 2014. Is b a composite number?
True
Let l(y) be the first derivative of -y**4/4 + 10*y**3 - 33*y**2/2 - 5*y + 1. Suppose -2*t - 5 = -57. Is l(t) a prime number?
False
Suppose 4*i = -3*c + 399421, -399493 = -25*c + 22*c + 5*i. Is c composite?
True
Suppose 0*j + 261 = -3*q - 3*j, -3*q - 286 = -2*j. Let g(r) = 2*r - 17. Let p be g(-10). Let o = p - q. Is o a composite number?
True
Let k be 2 + 2 - (-2 - 1*4531). Is -5 + k + -5 + 2 composite?
True
Suppose 0 = -3*k + 5*w - 6315, 3*k = 8*w - 9*w - 6315. Let v = k + 3146. Is v composite?
True
Suppose 8*j = 3*j + 147575. Suppose 71*g + j = 76*g. Is g prime?
True
Let c = 259438 - -168243. Is c a composite number?
False
Let n be (2 + (-6)/6)/((-1)/(-5)). Suppose -2*p + 6 = 0, n*p - 35 = -2*a - 2*a. Suppose 4*j + 5*h = 3*h + 6906, a*h = 5*j - 8640. Is j composite?
True
Suppose 5*c = o - 21038, -42070 = 14*o - 16*o + 4*c. Let u = o + -12532. Is u prime?
True
Suppose -n - 1 = 1, 0 = p - 4*n + 134. Suppose -3*v + 3*l = -846, v - l = -6*l + 294. Let c = p + v. Is c prime?
False
Suppose -3*y + 66 = -1269. Let c = y - 666. Is (c + -1)*(-1)/3 a prime number?
False
Let b(n) = -2*n**2 + 156*n - 60. Let q be b(46). Suppose -i = q - 25785. Is i prime?
True
Let y = -82