e -2*o - o + i = 3*d, 4*d = 5*o + 398. Is d a prime number?
True
Suppose 3*d - 27 = 18. Suppose d*i + 981 = -8454. Let v = i + 1186. Is v composite?
False
Let h be -2 + (-3 - -8) + 6/(-2). Suppose h = -4*o - 4*u + 12316, -2*o + 3*u = 8*u - 6158. Is o a composite number?
False
Suppose -4*m - u = 2 + 3, 5*m = -u - 5. Let t = m - 15. Is t*(-3 - (-158)/(-3)) a prime number?
False
Let x(h) = -h + 20. Let p be x(-11). Suppose 2*r = p*r - 17023. Is r a prime number?
True
Suppose 0 = -u + 2*k + 51843, 0 = -11*u + 9*u + 5*k + 103688. Is u a prime number?
True
Suppose -85*g = -187*g + 262038. Is g prime?
False
Suppose 145*m - 64931 = 120*m + 232494. Is m a prime number?
True
Let r = -362652 - -554551. Is r prime?
True
Let n(x) = 12578*x**2 - 107*x - 44. Is n(-13) prime?
True
Let t(b) = 242*b - 5543. Is t(45) prime?
True
Let t = 8584 + 2489. Is t a prime number?
False
Let r be (-753)/(-7) + 27/63. Let j = r + 311. Is j composite?
False
Let n(b) = b**2 - 3*b - 3. Suppose -2*h + h = 4*z - 22, 25 = 5*z. Suppose h*t - 42 = -5*q, -4*q = 3*t - 3*q - 50. Is n(t) composite?
True
Let u(n) = -15839*n + 2543. Is u(-10) a composite number?
False
Suppose a + 2832 = -o, -3*o + 83 + 2729 = -a. Let z = a - -7080. Is z a composite number?
False
Suppose -2*o = 2*n + 2, -1 = -5*o + 3*n + 18. Suppose 383 = 5*p + 3*m - 3008, -2*m = o*p - 1358. Is p prime?
True
Suppose 1183158 = -289*o + 294*o - z, -3*o + 709881 = 4*z. Is o a composite number?
True
Let j = 92 + -75. Let q = -17 + j. Suppose 10*a + q*a - 8530 = 0. Is a composite?
False
Suppose 3*f = 3*z + 382443, -5*f - 4*z + 637407 = -8*z. Is f composite?
True
Let r(l) = -12976*l - 2239. Is r(-2) composite?
True
Let o = 436660 + -170957. Is o composite?
False
Suppose 127 = 2*k - 289. Suppose 0 = -5*m - k + 38. Let v = 723 - m. Is v a prime number?
True
Let m = 226 + -224. Suppose 4*n + 3*t - 6763 = 0, m*n + 5*t - 1257 = 2114. Is n a prime number?
True
Let s(v) = -v + 381. Let w(c) = c**3 - 3*c**2 + 4*c - 4. Let k be w(2). Let t be (k*3/6)/(2 - -1). Is s(t) a prime number?
False
Let w(r) be the second derivative of -r**7/70 - r**6/120 - r**4/24 - r**3/2 - 26*r. Let t(v) be the second derivative of w(v). Is t(-4) a prime number?
True
Let d be (4/(-20) - 1/(-5))/1. Is (-88627)/(-154)*(1 + d - -1) a prime number?
True
Is ((-6393230)/(-15) - 6) + 8/(-24) composite?
True
Let t(x) = -5*x**3 - 3*x**2 + 8*x + 16. Let m be t(-4). Suppose -6*k + m = -32570. Is k prime?
True
Let s = 17 - 26. Suppose -157*m + 103*m = 143910. Is m/(-45) + 2/s a prime number?
True
Suppose 4*h + 5*p - 466899 = 0, 71*h + 5*p + 933873 = 79*h. Is h prime?
True
Let c(g) be the first derivative of -g**3/3 + 15*g**2/2 - g - 2. Let w = 32 - 20. Is c(w) prime?
False
Suppose 0*u = -3*u + 18. Let x(z) = -7 + 15*z**3 + 0*z + u - 4 + z. Is x(4) a prime number?
False
Suppose 5*h - 9*h = 144. Let z = h + 1033. Suppose -s + 4*o = 2*s - z, -2*o = 3*s - 973. Is s a composite number?
True
Let q(s) = -14*s - 31. Let r(w) = w**2 - 70*w - 156. Let o(h) = -11*q(h) + 2*r(h). Let d = -17 + 1. Is o(d) prime?
True
Let z(m) = -205*m**3 - 2*m**2 + m - 1. Let j(g) = 2*g - 6. Let a be j(4). Let o be z(a). Let c = -896 - o. Is c composite?
False
Let h(s) be the second derivative of s**5/20 + 11*s**4/12 - 10*s**3/3 - 13*s**2/2 + 10*s. Let b be h(-13). Let l = b + 168. Is l composite?
True
Let o(t) = 4*t - 9. Let c be o(11). Suppose -c - 55 = -3*j. Is (3263/39)/(2/j) a prime number?
False
Suppose -2051786 = -2*d + 4*n, n + 1025892 = -40*d + 41*d. Is d prime?
True
Let x = 3502 + -7125. Let b = x + 6394. Is b composite?
True
Let i = -1943 + 2968. Suppose 3*o - 1070 = -x - 2*o, -i = -x + 4*o. Is x - 4*(-2)/(-4) composite?
True
Suppose -4*w + o = 7 - 23, 5*w + o = 29. Let a(r) = 38*r + 1. Is a(w) a prime number?
True
Let f = 25 + -26. Let u be (-2140)/(-30)*3*f. Let m = u - -665. Is m a composite number?
True
Let b be (-10)/(2 + (-2464)/1228). Let l(a) = a**3 + 4*a**2 - 3. Let g be l(-3). Suppose d = g*d - b. Is d composite?
False
Suppose 8*c = 1355 + 4237. Suppose -5*k = 5*y - 3986 - c, -k - 937 = -y. Is y a prime number?
True
Let r(q) = q**2 - 97*q - 55. Is r(-41) a composite number?
True
Suppose -3*k - 5*u + 2 - 13 = 0, -5*u - 35 = -5*k. Suppose k*o - 18 = 3*f, f + 1 = -4*o + 35. Let q(v) = 3*v**2 - 14*v - 13. Is q(o) a prime number?
True
Suppose 132*o - 127*o = 30. Is (-22178)/(-39)*45/o composite?
True
Let w = 2825 - 2838. Let k(t) = 175*t - 62. Let m(q) = 88*q - 31. Let z(x) = 2*k(x) - 5*m(x). Is z(w) a composite number?
False
Let d(c) = -3*c**3 + 36*c**3 + c**2 - 8*c**3 - 4 + 25*c**3. Let j be d(4). Suppose -5*u - j = -9*u. Is u a prime number?
False
Let w be (-52)/(-28) - (66/(-21) + 3). Suppose 0 = -w*c + 2256 + 8038. Is c a prime number?
True
Let v = 27 - 25. Let g be (-2)/2 - (v + -1497). Let i = g - -71. Is i a prime number?
False
Suppose -3*t - g = 2*g + 1659, 5*t = 4*g - 2792. Let u be ((-1)/2*-1)/(12/28584). Let j = u + t. Is j a prime number?
False
Suppose -31 = 4*b - 2*c + c, -5*b + 5*c = 50. Let g be ((-12)/b)/(2/7). Is (3/g*-442)/(-1) a composite number?
True
Let w be (4 + (-195)/52)/((-2)/(-168)). Let j(n) = 981*n + 404. Is j(w) a prime number?
False
Let d(m) be the second derivative of 29*m**4/4 - 11*m**3/6 + 9*m**2/2 - m. Let w be 26/8 - 1166/88. Is d(w) a composite number?
False
Suppose 5*o + 3*k = -1396, -2*o + 0*o + 4*k = 548. Let m(d) = d**2 + 5*d + 3. Let j be m(-9). Let x = j - o. Is x a prime number?
True
Let h be (-1 + 3)*(-1 + (-3)/6). Let a be h*(-5)/((-30)/1348). Is a/(-6) - ((-56)/12 - -4) prime?
True
Suppose p + 5*c - 766322 = 0, 0 = -3*c + 1710 - 1722. Is p a composite number?
True
Is (-101279916)/(-396) - 8/22 a composite number?
False
Suppose 5*y - 524994 + 145244 = 164095. Is y composite?
False
Let x(j) = -31*j**3 - 35*j**2 + 22*j + 35. Is x(-12) prime?
True
Let r be -4*((-25835)/15)/(8/(-12)). Is (3/(-6))/(1/r) composite?
False
Let o = 59358 - -6241. Is o a composite number?
False
Suppose -2*k + 163 = -5*f - 300, -5*f = k - 224. Suppose k = 9*t - 5. Is (t/39)/(2/201) a composite number?
False
Suppose -576*w + 569*w = -181349. Suppose -w = -2*b - 3*m + 16844, b + 2*m = 21375. Is b composite?
False
Let u be (4/((-8)/(-6)))/(2/(-2)). Let o(t) = -2192*t + 29. Is o(u) a composite number?
True
Let y = 180627 + 18620. Is y composite?
False
Suppose -15*g + g = -37996. Let w = -1063 + g. Is w a prime number?
False
Let d(m) = -m**3 - 25*m**2 + 65*m + 64. Suppose 4*w - 2*j = -7*j - 111, 0 = -3*w - j - 86. Is d(w) composite?
False
Let q = -425 - -787. Suppose 2222 - q = 2*w. Suppose -2*a + 2416 - w = 0. Is a composite?
False
Let x(c) = -106*c**3 - 11*c**2 + 6*c + 48. Let r be x(-7). Suppose 0 = 4*z - r + 4549. Is z composite?
True
Let z(q) = 17160*q**2 + 459*q - 2693. Is z(6) prime?
False
Suppose -2*o = 6*q - 4*q + 4496, -2*q + 6719 = -3*o. Let l = 5482 + o. Is l composite?
True
Suppose -13*s + 18 = -8. Suppose -s*v + 1298 = 4*j, -2*j + 0*v + 652 = 2*v. Is j prime?
False
Suppose 205*r - 246*r = -463259. Is r a prime number?
True
Suppose 4*a - 9*a + 2*s + 975157 = 0, -4*a - 2*s = -780122. Is a a composite number?
True
Let r = -1254 + 7375. Is r composite?
False
Let n(s) be the first derivative of 5*s + 9 - 73/2*s**2. Is n(-6) composite?
False
Let g(r) = -5*r + 196. Let y be g(35). Suppose -18*m + y*m - 35331 = 0. Is m prime?
True
Let r(i) = i**2 + 28*i - 23. Let a be r(-30). Suppose -f + 19984 + a = 0. Is f a composite number?
False
Suppose -3*h = -2*s + 7*s - 2288105, 915242 = 2*s - 3*h. Is s a prime number?
True
Suppose 6*i - i = 5*m - 2690, -4*i - 2162 = -2*m. Let s = 78 - i. Is 4 + s + 4 + 2 prime?
True
Let i(k) = 156*k**3 - 2*k**2 - 3. Let q = 54 - 52. Let u be i(q). Suppose 6 = -3*m - 6, -3*x = -m - u. Is x a prime number?
False
Suppose 3*x - 4*c - 9 = 0, -3*x + 0*c - 6 = c. Let z be (-9)/27 + 20/6 + x. Is z + (-332)/(-1) + 2 + -1 a prime number?
False
Suppose -205062 - 137154 = 24*t. Let c be (2/1)/(3 + -5). Is (0 - c)/((-21)/t) prime?
False
Suppose -8 = -5*r - q, -7*q = -3*q + 8. Suppose -w = y - 1903, 27*y = r*w + 28*y - 3810. Is w composite?
False
Is 6/(-7) + (-307579161)/46*2/(-21) a composite number?
False
Let r(w) = -30089*w - 1782. Is r(-5) a prime number?
True
Let k be 2 + 38 + (-14 - -18). Let a be 5*((-9)/3 - k). Let w = -24 - a. Is w prime?
True