 = 4*n + 5*a - 994, k*a + u = 3*n - 339. Is n prime?
True
Suppose 0 = -o - 114 + 121. Is (-2)/6 - o/((-210)/142900) composite?
True
Let c = -779125 + 1170258. Is c a composite number?
False
Is ((-5)/2 - 2)*(3453762830/261)/(-35) a composite number?
False
Suppose -657 = 3*a - 690. Suppose 115463 + 54168 = a*f. Is f prime?
False
Is 51/(-1224)*153390*1*-4 prime?
False
Let s = 64230 - 34633. Is s a prime number?
False
Is (-534)/(-890)*27565/3 composite?
True
Suppose 20*x - 22*x = 0. Suppose -3*l + 4*s - 5903 = x, 2*l + 5*s - 3*s = -3926. Is 6 + (-4)/2 - l/5 prime?
True
Suppose -3*p + 2 = -10. Suppose -8*z + p = -68. Let j(w) = w**3 - 4*w**2 + 3*w - 10. Is j(z) a prime number?
False
Is ((-16826976)/384)/(1/(-4)) a composite number?
True
Let k be (-102)/(-85) + 6 + (-8)/(-10). Is (-93411)/(-9) - 2 - k composite?
False
Let d = -22234 - -24108. Is d a prime number?
False
Let s(k) = 75*k + 7838. Is s(129) a prime number?
False
Is (-50)/450 - 1421968/(-36) composite?
False
Suppose 2*z + 69548 = 4*n + 4546, -z - 81248 = -5*n. Is n a composite number?
False
Is (6/(-4))/((-420097075)/21004850 - -20) a composite number?
False
Let a(i) = 2*i**3 - 5*i**2 + 4*i - 2. Let d(o) be the second derivative of o**3/6 + 15*o**2/2 + o. Let z be d(-6). Is a(z) prime?
True
Let l = 1322 + -583. Let d = l + -2. Is d composite?
True
Suppose z = -4*c + 3*c + 3, 3*c = -5*z + 15. Suppose c = 3*r - 4*k - 20205, 3*r + 3*k - 3359 = 16867. Is r prime?
False
Let d(c) = -20 - 2*c - 6*c**2 + 14*c + 2*c**2 + 3*c**2. Let j be d(6). Is 4/(j/(-6))*(-19730)/15 prime?
True
Let o(z) = -8*z**3 - 2*z + 2. Let r be o(-2). Let c = r + 153. Let x = c + -46. Is x a composite number?
True
Let r = -17 + 70. Suppose 2*n = 8, 247 = 2*x + 5*n - r. Suppose 37 + x = a. Is a a composite number?
True
Suppose -12 = 383*u - 385*u. Let l(f) = 2322*f + 29. Is l(u) prime?
False
Let l(u) be the first derivative of -31*u**4/4 + u**3/3 + 4*u**2 + 11*u - 38. Is l(-4) a composite number?
False
Let u be -3*(60/9)/4. Let i(p) = 18 + 15 - 6*p**2 - 68 + 19 - 2*p**3 - 2*p + 19. Is i(u) a composite number?
False
Let d(m) = -m - 5. Let t be d(-3). Let b(z) = 8*z**3 - 2*z**2 - 4*z - 3. Let v be b(-3). Let o = t - v. Is o a composite number?
False
Suppose 5*t - 40 = -3*t. Suppose -9750 = -5*l + 3*h - 2030, -t*h = 5*l - 7680. Is l a composite number?
True
Suppose -4*g + 6*j = -2266090, -g + 15*j - 17*j = -566547. Is g prime?
False
Let j(g) be the third derivative of 139*g**5/12 - 11*g**4/12 - 37*g**3/3 - 2*g**2 + 3. Is j(-3) a prime number?
True
Let l = 251464 - -130927. Is l prime?
True
Let b = 170840 - -16773. Is b a prime number?
False
Let n = 48383 - 22696. Is n a prime number?
False
Is (-5)/(-10)*77912 + -6 + 49/7 composite?
True
Let y = -268350 - -483233. Is y a prime number?
True
Let a(k) = k**3 + 43*k**2 - 76*k + 151. Is a(-35) a composite number?
False
Let f = 5190 - 1666. Suppose -2*p + 4*p - f = 0. Let m = 1285 + p. Is m prime?
False
Suppose -3*g - 4*i + 9461 = 0, 2*i + 4006 = 2*g - 2306. Suppose x - 5 = 1. Suppose -x*c + g = -c. Is c a composite number?
False
Let f(w) = 28*w - 3. Let g be f(3). Let j be (21/(-56))/(27/(-288)). Suppose j*u - g - 147 = 0. Is u a prime number?
False
Suppose 1247 + 2918 = -7*s. Let y = s - -388. Let k = 461 + y. Is k a prime number?
False
Suppose 0 = 3*k - 3 - 6. Suppose 3*p - 4*u = -1, 12 = 4*p - 5*u + k*u. Suppose 0 = -p*o + 3998 + 1047. Is o a prime number?
True
Suppose 12*v + 80 = 17*v. Let x = -16 + v. Suppose x*a = -4*a + 2596. Is a a composite number?
True
Let y be 6*3/21*(17 + -3). Is (-18)/27 + 26492/y composite?
False
Let q be (-3 + -2 + 6)*0. Suppose q = 14*o - 4*o - 120. Suppose o*s = 5*s + 805. Is s prime?
False
Let o(h) = -h**3 + 9*h**2 + 7*h + 33. Let f be o(10). Suppose 0 = f*t - t - 116. Suppose 3*l = t + 17. Is l a composite number?
True
Is 442721 - 257 - (7*-1 - -2) composite?
False
Let g = 1092 + 3913. Let j = g - 2571. Is j a prime number?
False
Let k = 2504 + -993. Is k a composite number?
False
Suppose 2*r - 2*s = 8, 3*r + 2*s - 40 = -2*s. Is 494 + (6/4)/((-4)/r) prime?
True
Is (-18 - (10 + -42)) + 218115 a composite number?
True
Let v(a) = 38*a**2 - 37 + 111 - 51*a + 18*a**2. Is v(-21) prime?
True
Let c(w) be the third derivative of w**5/60 + w**4/3 + 3*w**3/2 - 11*w**2. Let h be c(-5). Is (-2 + (-21)/h)*(510 + 4) composite?
True
Let d = 630814 - 248711. Is d prime?
True
Suppose -4*a = -a - 3*o + 15, 0 = -a + 4*o + 10. Let l = 13 + a. Suppose -795 = -4*f + i + 1592, 600 = f + l*i. Is f prime?
False
Let i = 138950 + 417791. Is i composite?
False
Is (5 + 192/(-40))/((-19)/(-10293155)) composite?
True
Suppose 90577 = o - 2*d, -4*o - 66274 + 428609 = d. Is o a prime number?
True
Suppose 38 = 4*z + 2*s, 3*s + 15 = 5*z - s. Suppose z*f + 4146 = 9*f. Is f composite?
True
Suppose 5*f + 1700 = 3*f. Suppose 217*s - 218*s - 1523 = 0. Let q = f - s. Is q prime?
True
Suppose -r + 3*g = -17015, -r - 26*g + 21*g = -16999. Is r a prime number?
False
Let v be ((4*-1)/(-8))/(4/432*-3). Suppose 0 = 2*o - 12 - 12. Is 94/4 - v/o a composite number?
True
Let p(y) = -8074*y - 2635. Is p(-2) a composite number?
False
Let t = -523 - 175. Let z = -229 - t. Is z composite?
True
Let c = 395 + -8. Let n be (103/(-5))/((-116)/1160). Let w = c + n. Is w prime?
True
Suppose -5*u - 25 = 0, -2*l - 976 + 5212 = 2*u. Let s = l + -516. Let v = -564 + s. Is v prime?
False
Let s be ((-12)/(-14))/(23/161). Let m(g) = -4*g + 326 + g**3 + s*g - 4*g + g. Is m(0) prime?
False
Suppose 3*k - 1 = 2. Let u(q) = 198*q + 197. Let d be u(-1). Is k + d + (-1563)/(-3) prime?
True
Let l(m) = 35979*m**2 - 57*m + 56. Is l(1) a prime number?
False
Let m be ((-1)/(-3))/(3/(-171)) - 0. Let u = 31 + m. Suppose u*r = 14*r - 614. Is r a prime number?
True
Let c(z) be the third derivative of 7*z**4/24 - 17*z**3/6 + 33*z**2. Let n be c(0). Let i(b) = -2*b**2 - 39*b - 3. Is i(n) composite?
True
Let c = -133 + 137. Suppose -2*x = c*f - 1270, -3*x + 533 = 4*f - 1368. Is x composite?
False
Let m = 62141 - 20080. Is m a composite number?
False
Suppose 2*m - 3010946 = 2*s, -3*m + 3171872 + 1344595 = 3*s. Is m composite?
True
Let r(x) be the first derivative of -x**4/4 + 2*x**3/3 + 5*x - 40. Let p be r(2). Suppose 0 = p*y - 379 - 16. Is y prime?
True
Let j(n) = n**2 - 21*n - 56. Let z be j(24). Suppose 15*c + 13 = 16*c. Suppose 5829 = z*b - c*b. Is b composite?
True
Let z(o) = 7*o**2 - 16*o + 94. Let f(y) = -16*y**2 + 31*y - 189. Let j(r) = 3*f(r) + 7*z(r). Is j(43) a prime number?
True
Let m(c) = c**3 - 16*c**2 + 15*c + 8. Let h be m(15). Let n(j) = 36*j**2 - 2*j - 109. Is n(h) a composite number?
False
Let r = -951 - -1392. Let t be ((-20)/6 - -3)/(5/(-30)). Suppose 0 = p - t*n + 7*n - 134, -r = -4*p - n. Is p prime?
True
Suppose -4*i = -3*s + 110409 + 218292, 3*s - 328701 = i. Is s composite?
False
Let v(f) = 75143*f - 874. Is v(7) a composite number?
False
Let g(u) = 2*u**3 - 30*u**2 - 14*u + 607. Is g(24) a prime number?
True
Let u be (12/7)/(-3)*9954/(-36). Suppose -u = c - 696. Is c prime?
False
Is (21/9)/((-48)/(-58325472)*2/1) a prime number?
False
Let d(l) = -l**3 - 13*l**2 + 20*l - 97. Suppose -7*s = -115 + 297. Is d(s) a prime number?
True
Suppose 4*j - 7*j + 5211 = 0. Let w = j + -814. Suppose -5*m = c - 6*c + 4590, -4*m + w = c. Is c a prime number?
True
Let k(n) = -n**2 - 7*n - 7. Let u be k(-3). Suppose -u*a + 519 + 1702 = 2*f, -3*f + 9 = 0. Is (-3)/(((-18)/a)/6) composite?
False
Let m(z) = -30953*z - 1288. Is m(-9) composite?
True
Let w = -43078 + 77257. Is w a composite number?
True
Suppose -25*k = -5*k - 60. Suppose k*f = 188 + 565. Is f a composite number?
False
Suppose -s + 3*s = -174. Let u = 47 + s. Is (((-19)/2)/(-1))/((-4)/u) prime?
False
Suppose -3*w + 23343 = 4*c, 10*w = 5*w - 6*c + 38909. Is w a composite number?
False
Let z = 725 - 717. Is (12300/z + -4)/(4/8) a prime number?
True
Suppose -2*c = -2*r + 4232, -3*r + 4*r + 5*c = 2110. Suppose 12*w = 21*w + r. Let t = w + 654. Is t a composite number?
False
Let a = 13686 + -24372. Let m = 13220 - a. Is m prime?
False
Let w(y) be the second derivative of 77*y**4/12 - 14*y**3/3 + 13*y**2/2 - 5*y. Is w(6) a prime number?
True
Suppose 21*f - 46*f = -266275. Is f composite?
False
Is 45/(13 - 16) + 114274 a prime number?
True
Let a be 3 - -2 - (3 - 669). I