= 5*g, -m*g + a - 4*a + 59 = 0. Suppose g*k = 12*k - 669. Is k composite?
True
Let y = -695 - -1180. Is y a composite number?
True
Is (6 - -105727) + 5 + (-1 + 0)/1 a prime number?
False
Suppose -318*b + 244336614 + 6006660 = 0. Is b a prime number?
True
Is (-6)/2 + 54/36 - (-791763)/6 a prime number?
True
Let g(t) = t**3 + 26*t**2 - 15*t - 19. Let h be ((-25*1)/1)/(7 + -6). Let z be g(h). Let p = -590 + z. Is p a prime number?
False
Let h = -225 - -553. Suppose -2*v - 2*a + 324 = 0, -a = 2*v + 2*a - h. Is v a composite number?
True
Suppose 0 = 2*k - 3*k - 13. Let f(d) = -d**2 - 22 + 2*d**2 + 4*d**3 - 11*d - 3*d**3 + d**2 + 11*d**2. Is f(k) a composite number?
True
Suppose 2*z - 4*t = 0, 22 = z - 6*z - t. Is (z + 5)/(5/26735) a composite number?
False
Suppose 0 = 25*p - 80*p. Suppose 2*v + 2542 - 38464 = p. Is v prime?
False
Suppose 47*v = 45*v, -3*b = -5*v - 162. Let s = 571 - -76. Suppose 0 = o - b - s. Is o prime?
True
Let f = 295003 + 394116. Is f prime?
False
Let i = -90 - -94. Is (24/(-39))/i + (-67230)/(-130) a composite number?
True
Suppose -2*d = -2*g + 9418 - 42208, 0 = 4*d - 2*g - 65578. Is d/2*(-35 + 36) a prime number?
False
Suppose 0*j + 11*j = 22. Let k be (-4935)/((-7)/(-1))*j/(-2). Suppose 104*t + k = 109*t. Is t composite?
True
Let p(x) = -698*x - 13. Suppose 0 = -7*t - 30 + 2. Let m be t + ((-9)/(-36))/((-2)/(-8)). Is p(m) a prime number?
True
Let h(n) = 1042*n**3. Let c be h(1). Is (-5)/(-30)*c*3 a composite number?
False
Let m(r) = 8780*r**3 - 13*r**2 - 11*r + 35. Is m(6) a composite number?
False
Is (1/2)/((-23)/(-174464 + -14)) a prime number?
True
Suppose -w = 2*n + 3*w - 782, 1895 = 5*n - 2*w. Suppose 0 = 2*c + n - 1917. Suppose -4*v + 1009 = r, 0*v + 3*v + 3*r - c = 0. Is v a composite number?
False
Suppose -3*r + 11 = -55. Suppose 9*q = r*q + 60567. Is q/(-3) + 4 + -2 composite?
True
Let f(m) = -200593*m - 363. Is f(-2) composite?
False
Let s(w) = 4*w**3 - 15*w**2 + 4*w - 11. Let x(l) = -3*l + 6. Let v be x(-14). Let h = -40 + v. Is s(h) prime?
True
Suppose 2*s - 2*j - 118064 = 0, -39*j - 236083 = -4*s - 44*j. Is s a composite number?
True
Suppose 2*j = 3*f + 300177 + 340357, 1601335 = 5*j - 3*f. Is j composite?
False
Suppose -5*v + 5*k = -130, -3*v - 48 = -k - 136. Suppose -4*b = -2*q - 26 - 20, -4*b - 62 = 2*q. Let z = v - q. Is z composite?
True
Let r = -96 - -98. Suppose -2 = r*s - 5*q - 76, -2*s - q = -50. Suppose -s*z + 22*z + 8795 = 0. Is z a composite number?
False
Let y(s) = s**3 - 22*s**2 + 22*s + 31. Let l be y(21). Suppose 52 = 4*o + 2*u + 2*u, -4*o = -3*u - l. Suppose -7*m - 9546 = -o*m. Is m a composite number?
True
Suppose -41*x + 94461 = -136246. Is x composite?
True
Let t(m) = 21*m**2 - 3*m - 1. Let b be t(-1). Let y be b/5 + (-69)/115. Suppose 2*a = -y*p + 862, 4*p - 497 = a + 356. Is p a prime number?
False
Let v(p) = 8922*p**2 - p - 4. Suppose -14*r + 6*r = -8. Is v(r) a prime number?
False
Suppose 0 = -29*n + 25*n - 24. Is 1/6 + (-2957)/n prime?
False
Suppose -3*y - 2678 = x - 12463, 0 = -y - 4*x + 3280. Suppose 3*t = 9*t - 2298. Suppose -3*f + y - t = 0. Is f a composite number?
True
Suppose -90*q + 34794 = -1209816. Is q composite?
False
Let b(z) be the second derivative of 307*z**4/3 + z**3/3 + z**2/2 - 89*z. Is b(-2) composite?
False
Let p(r) be the third derivative of -17*r**4/4 - 19*r**3/6 - r**2 + 57*r. Is p(-15) a composite number?
False
Let f = 12000 - 11621. Is f a prime number?
True
Suppose 0 = -5*q + 3*d + 521014, -3*q + d - 312600 = -6*q. Is q a prime number?
False
Let n be (-4 - (-82531)/3) + (-5)/15. Suppose 50091 + n = 3*t - d, -4*d + 103484 = 4*t. Is t a prime number?
True
Let y be (12/(-15))/((-18)/(-5) + -4). Suppose 2*a = -b - 3*a + 1633, -y*a = -6. Is b a prime number?
False
Suppose 0 = 2*w - 3*p + 2*p + 64489, 4*p - 64486 = 2*w. Is (w/(-25))/(((-12)/20)/(-3)) prime?
True
Suppose 0 = 557*i - 552*i + 5*f - 569135, 4*i - f = 455328. Is i prime?
False
Let s(m) = 21*m - 88. Let f be s(4). Is (-3)/(2/f - 16878/(-33828)) a composite number?
False
Let d be ((-62)/(-2))/(14/70). Suppose 115 = -d*r + 150*r. Let h(j) = -17*j + 54. Is h(r) a composite number?
True
Suppose -2*v + 3*v - 23148 = -l, -4*l - 3*v + 92589 = 0. Suppose 3*z + l = 18*z. Is z a prime number?
True
Suppose -4*j - 10 + 42 = 0. Suppose h + 0*h + p - j = 0, 2*p - 13 = -h. Suppose 4*l - 1570 = -2*r, h*l + 2 = 11. Is r composite?
True
Let c be (-456)/190*(-5)/3. Suppose c*o = 1189 + 4119. Is o a prime number?
True
Suppose -191*b + 326*b = 13219065. Is b a prime number?
True
Let q(n) = -10*n**3 + 4*n**2 + 16. Suppose 0 = -4*i + 12, -25*i + 22*i + 19 = -2*s. Is q(s) a composite number?
True
Suppose -5*x + 4*x + 7 = 0. Suppose -x*s = -6*s - 9. Suppose 0 = s*k - 6*k - 771. Is k a prime number?
True
Suppose 0 = -179*l + 14709832 + 1571113. Is l a composite number?
True
Let m(j) = 12 + 1 - 276*j + 6. Let n(l) = -3*l**2 + 6*l + 36. Let x be n(-3). Is m(x) composite?
False
Suppose 3*n - 896151 = 4*p - 221078, -2*n = -p - 450047. Is n prime?
True
Let n(u) = 888*u**2 + 15*u - 175. Is n(6) a prime number?
True
Suppose -63*n + 66*n - 859146 = 3*c, 3*n + 3*c - 859140 = 0. Is n a prime number?
True
Let r be 3/(-21) + 4/28. Suppose r = -k + 20 - 15. Suppose -5*g = 4*n - g - 12432, -k*g = 4*n - 12431. Is n a prime number?
True
Let q(r) = 2*r**2 + 5*r + 4. Let m be q(-18). Let x = m - 215. Is x composite?
False
Suppose 5*y + 2*f - 241863 = 0, 3 - 4 = f. Suppose 3*k - y = 58910. Is k prime?
False
Suppose -w - 14*h = -12*h - 68, -3*h + 312 = 5*w. Suppose w*y = 59*y + 4049. Is y a prime number?
True
Let t(h) be the third derivative of 7*h**5/60 - 5*h**4/12 - 53*h**3/3 - 98*h**2. Is t(-8) prime?
False
Let c(s) = 12*s**3 + 7*s**2 - 3 - 44*s - 6 + 1 + 8*s**3. Is c(9) composite?
True
Suppose 0 = -4*a - 15*p + 12*p + 428064, 0 = a + 2*p - 107021. Is a a prime number?
False
Is (-107839371)/(-783) - (-1)/9*1 composite?
True
Let v(s) = 1057*s + 17. Let j(d) = -d + 1. Let n(b) = 2*j(b) + v(b). Let i = 6429 + -6427. Is n(i) a prime number?
True
Let s(p) = -21*p**3 + 2*p**2 - 6*p - 5. Let u be s(-5). Suppose 0 = h + 2*h + u. Let o = h + 1347. Is o a prime number?
False
Let v = -33775 + 58980. Suppose 4*b - 25184 = 4*p, 5*b - 3*p = 9*b - v. Is b a prime number?
True
Let s(w) = 865*w - 8812. Is s(63) composite?
True
Let t(z) = -1173*z**2 + z + 4. Suppose 0*x + x + 16 = -5*y, 0 = x + y. Let i be t(x). Is i/(-63) + 6/27 a composite number?
True
Let l = -68 - -484. Let p = l - 1085. Let f = p - -962. Is f composite?
False
Is (2 + 1376444/(-5) + 0)/(1128/(-2820)) prime?
True
Let w = -3796 - -2543. Let c = w + 4186. Is c a prime number?
False
Suppose 24*v - 18*v = 16872. Suppose 13*g + 69 = v. Is g a composite number?
False
Let o be (-18824)/(-10) - 2/5. Let c(n) = -2*n**2 + 15*n + 833. Let s be c(0). Let z = o - s. Is z a prime number?
True
Suppose -2*d - 23 = -25. Suppose 2*c + d = 9. Suppose 4*y + 5024 = 4*r, -5*y + 1250 + 3783 = c*r. Is r prime?
False
Let x be 10*1/((8 - -2)/5). Suppose 2*t = v + 7644, 5*t - x*v - 19115 = -0*t. Is t composite?
False
Let z be (-396130)/(-3) + ((-20)/6)/10. Suppose -8048 + z = 5*t. Is t composite?
False
Let y = 70 + -67. Suppose -y*q - 4*o + 141 = 48, -3*q + 5*o + 93 = 0. Is q a composite number?
False
Suppose 0 = -4*o - 4 - 48. Let c be (-7 - o)*2/4. Suppose 2*y - 4 = 0, c*x - 1079 = -2*y + 1904. Is x a composite number?
True
Let o be (-10)/(-55) + 3160/44. Let m = o - -149. Is m prime?
False
Let u be 11 + -21 + (3 - -10). Let o be (-1 - -4)*4/6. Suppose j = u*h - j - 277, -153 = -o*h - 5*j. Is h composite?
False
Let u(m) = 749*m**3 + 27*m**2 - 28*m + 1. Is u(7) prime?
False
Let v = 272476 - 179703. Is v composite?
True
Let a = 92 + -93. Let y be ((-126)/(-28))/(a/(-1582)). Suppose 5*u - y - 3976 = 0. Is u a prime number?
False
Let h = -224 - -232. Suppose 0 = h*y + 14411 - 63379. Is y a prime number?
True
Let n = -6300 + 14871. Is n composite?
True
Suppose -42880 = 4*l + 12*l. Let x = 10179 + l. Is x a prime number?
True
Let a(c) = 5*c**2 - 40*c + 44. Let y be a(7). Suppose 4*f = -3*l + 30232, y*f = 10*f + l - 7559. Is f composite?
True
Let q(y) = 74958*y + 359. Is q(3) composite?
True
Let v(g) = 181*g + 39. Let o(u) = 90*u + 19. Let h(z) = -5*o(z) + 3*v(z). Is h(1) a prime number?
False
Is 390 - -17744 - (1 - 4)*3 