prime number?
True
Let n(c) = 613*c**2 - 14*c - 614*c**2 + 37 + 13*c**3 + 4*c**3. Is n(6) composite?
True
Let a(b) = -b**3 + 20*b**2 + 41*b + 30. Let s be a(22). Let v = s - -39. Suppose 5 = -5*p, -4*g = v*p - p - 21090. Is g composite?
False
Let i = -68 + 74. Suppose 0 = -0*g + i*g - 9894. Is g composite?
True
Let r(z) = -2*z**3 + 18*z**2 + 8*z + 12. Let s be r(18). Let k = 61 - s. Is k composite?
False
Let u(s) = -19839*s - 547. Is u(-20) a composite number?
True
Suppose -24*m = -19*m - 345. Let n = m - 64. Suppose 2*z - 2*f = 288, -912 = -n*z - 5*f - 142. Is z prime?
True
Suppose 2*v - 4 = 4, 5*v - 295904 = -4*z. Is z/126 + (-1)/14 prime?
True
Let q = -11 + -3. Let x(z) = 27*z**2 + 31*z + 26. Let l(r) = -55*r**2 - 61*r - 53. Let d(o) = 5*l(o) + 11*x(o). Is d(q) composite?
True
Suppose -11*p = -8*p. Suppose z + 536 = -p*z - 4*h, z = 5*h - 536. Is 5 + (-28)/5 + z/(-10) composite?
False
Suppose -8134648 = -69*a - 44*a + 7425339. Is a a composite number?
False
Let m be (-10)/(40/(-12)) - -24887. Suppose m = 3*z + 7*z. Is z prime?
False
Let y(w) = -474*w**3 + 4*w**2 - 9*w - 48. Is y(-3) a prime number?
False
Let k = 565561 - 61352. Is k a composite number?
False
Let i(t) = -t**3 + 4*t**2 + 48*t + 69. Let h(m) = m**2 + 13*m + 8. Let n be h(-10). Is i(n) composite?
False
Let z = 435 + 735. Suppose 4*c - 1114 = z. Is c a prime number?
True
Suppose 0 = -1439*a + 1524*a - 78179350 + 13883735. Is a prime?
True
Let r be (14/5 + 0)*(-15)/3. Let j be 14206/14 - (24/r)/6. Suppose 0 = 5*n - 4*l - j, 5*l - 3*l = 0. Is n a prime number?
False
Suppose i - 42 = 56. Suppose 0 = -i*q + 94*q + 2564. Is q a prime number?
True
Suppose 0 = -67*m + 53*m - 700. Is 12674/10 + 20/m a prime number?
False
Let k = -22 + 20. Let g(n) = -1887*n - 4. Let t be g(k). Suppose -6*a = -13352 + t. Is a prime?
True
Let w be -6 - (1 + (3 - 4))/(-3). Is (-9 - w) + 6717 + -3 composite?
True
Let v(m) = 643*m - 14. Suppose 0 = -13*a + 11*a + 14. Let r be v(a). Suppose -6*f + r = f. Is f prime?
True
Let q = 12473 - 7330. Is q composite?
True
Suppose 4*c = 4*k + 540, -5*k - 474 - 65 = -4*c. Suppose -4*s = 4*d - c, -47 = -s + 4*d + 7. Is s a composite number?
True
Suppose 2*c = -2*c - 12, -z + 5635 = 4*c. Suppose 5*l - z = 9058. Is l composite?
True
Let i = -191 + 198. Suppose 8*h = -2*n + i*h + 974, -h + 1948 = 4*n. Is n a composite number?
False
Let t(w) = -228*w**3 + w**2 - 25*w + 33. Is t(-10) prime?
True
Let c = 20832 + -39235. Is c/(-14)*(1 - -1) composite?
True
Let b be 9204/39 + (-1 - -4). Suppose -a = 3*o - 1 - 9, 0 = -5*o - a + 20. Is (-5)/(-25)*o*b prime?
True
Let l be (2 - 3 - 13)*-1129. Suppose 38*y - l = 31*y. Let r = y - -3723. Is r composite?
False
Let v = 40025 + -21282. Is v composite?
False
Suppose -5*y - 5 = -15. Suppose g - y*v = -10, -3*v + 12 = 2*g + v. Let n(i) = -74*i**3 + 5*i + 5. Is n(g) a prime number?
True
Suppose 11*g + 536 = y + 15*g, 0 = -3*y - 3*g + 1599. Suppose -y = -h + 3. Is h composite?
True
Let h be (-1)/3*(7 - (-15)/3). Is 32/h + 2 + 895 composite?
True
Let u be 20205/65 - (-8)/52. Suppose 4*q - 925 = u. Is q prime?
False
Suppose -420*h - 256818 = -426*h. Is h a prime number?
False
Is ((-6)/(-3) - 0) + (-1 - -46392) a composite number?
True
Suppose -325*x + 327*x + 4*i = 295410, 0 = 5*x + i - 738534. Is x a composite number?
True
Let m(g) = 2*g**3 - g**2 + 1574. Let u = 80 + -80. Let l be m(u). Let h = -787 + l. Is h a composite number?
False
Let a(o) be the first derivative of 17*o**3/3 + 10*o**2 + 23*o + 37. Is a(-10) a prime number?
True
Let n = -526 - -528. Suppose n*z = -q + 11079, -14*q = -17*q - 2*z + 33241. Is q a prime number?
False
Let d(j) = 511*j**2 - 44*j + 2595. Is d(46) a composite number?
True
Let z(m) = -105*m - 1 + 0 - 8 - 2. Suppose -25*k - 130 = 170. Is z(k) prime?
True
Let a be (-16)/10*(-10)/8. Is (a + 2 - 14478/(-4))*2 prime?
True
Let l be (-438672)/(-39) + (-1 - -1) + 1. Suppose 5*a + 9*w - 4*w - 56205 = 0, 5*w - l = -a. Is a composite?
False
Let a(v) be the third derivative of v**6/120 + v**5/12 + 5*v**4/24 - 5*v**3/6 - 12*v**2. Let p be a(-3). Is (5/p)/(2/(-1724)) a prime number?
False
Suppose -4*k + 5 + 27 = 0. Let y be (-10)/25 + k/20. Suppose y = -2*w + 621 + 217. Is w a prime number?
True
Suppose -6*m + 3*m = w - 3655597, w + 2437068 = 2*m. Is m a prime number?
True
Let o be 16/10 + 3/(-5) - 1. Suppose o = 146*l - 157*l + 28149. Is l a prime number?
False
Let y(c) be the second derivative of 11*c**4/4 - 7*c**3/6 - c**2/2 + 12*c. Let p be y(5). Is p*(40/12 + -3) a prime number?
True
Suppose -k = -z + 235258, 0 = 5*z - k - 595929 - 580373. Is z a composite number?
True
Let p(i) = 24*i - 19. Let y be p(1). Suppose a - 2*d - 809 = 0, y*a + 4*d - 3200 = a. Is a prime?
False
Suppose -6*l - 7225 = -72901. Suppose 0*b = b - 5*n - l, 5*b + 2*n - 54703 = 0. Suppose b = u + 6*u. Is u composite?
True
Let i = 19832 + 29765. Is i a composite number?
False
Let w = -138096 - -275029. Is w a composite number?
True
Suppose -5*z = -2*f + 155, -z - 228 = -2*f - 93. Suppose p + 5*r = -1, 3*p + r + 12 = f. Suppose -p*i = -24*i + 485. Is i composite?
False
Let i = -4718 + 40209. Is i prime?
True
Suppose -11*j = -6*j - 205. Suppose -2*z + 22 = -2*h, 5*z - j = -4*h + 5. Is (95/z)/(4/40) composite?
True
Suppose 13*h + 9*h = 44. Let y(q) = 658*q**3 + q**2 - 12*q + 19. Is y(h) prime?
False
Let r(m) = 1500*m**2 - 5*m + 3. Suppose -42 = -5*h + 3*x, 0*x = 3*h - x - 26. Let d be ((-2)/(-3))/(-1*3/h). Is r(d) composite?
True
Suppose 0*k - 13*k = 58903. Let n = k - -8318. Is n composite?
True
Let j(b) = -b**3 + 6*b**2 - 8*b + 20. Let g be j(5). Suppose -2*z + 7561 = -g*q, 4*z - 13*q + 11*q - 15162 = 0. Is z a prime number?
True
Suppose 3*d + 980698 = 5*k, -980692 = -168*k + 163*k - 3*d. Is k prime?
True
Let c be (-384614)/(-26) - (0 + 14/(-91)). Suppose 6*f - c - 27609 = 0. Is f a composite number?
True
Let v(j) = 7421*j**2 + 14*j - 9. Let s be v(3). Suppose -2*t + s = 4*x, -3*t = 4 - 19. Is x prime?
True
Let w = 66 - 33. Let k = 33 - w. Suppose k = -2*i - 7 + 233. Is i prime?
True
Is 16739079/134*(35/(-15) + 3) a prime number?
False
Is (-314142)/(-17) + 124/2108 a composite number?
True
Suppose -4*a - 9 = 2*u - 35, 45 = 5*u + 5*a. Suppose 40 = -u*t + 4*q, -3*t = -3*q + 25 + 2. Is -4 + (t/(4/(-377)))/1 a composite number?
False
Suppose -4*g = -2*g + 2*y - 600934, 0 = -3*g - 5*y + 901409. Is g a prime number?
True
Let j be ((-159)/21 - -7)/((-2)/7). Suppose -1214 = 4*t + 5*d, j*d = 2*t + 3*d + 610. Let s = t - -859. Is s a prime number?
False
Let k be (-1772)/(-8) + (-3)/(-2). Let q(f) = -8*f**2 - 29*f + 18. Let r be q(-6). Let z = r + k. Is z prime?
True
Let f = 30107 + -12101. Suppose 0 = 8*o + 6582 - f. Suppose -5*q = -477 - o. Is q a composite number?
True
Let x be 63/(-6) + 2/4. Let l(h) = -48*h - 15*h - 62*h + 9. Is l(x) a prime number?
True
Let p be (0 + -2)/(8/20). Let h(t) = -624*t + 79. Is h(p) a composite number?
True
Let k = 1746998 + -1161183. Is k prime?
False
Let a(j) = 11078*j + 73. Is a(2) a prime number?
True
Let z be ((-351)/4)/((-27)/72). Suppose 3*c = 2*n - 3269 - z, -5*n = c - 8749. Suppose 5*m - n = 105. Is m composite?
True
Let m = -51 + -60. Let o = -103 - m. Suppose -13239 = -o*p - p. Is p composite?
False
Let z(o) = 10*o**3 - 7*o**2 - 8*o - 21. Let i = 85 - 75. Is z(i) a prime number?
True
Suppose 28*h + 1554924 = 39*h + 73*h. Is h prime?
False
Let z = 9730 + -6586. Suppose z = -5*t - 666. Is 4/2*t/(-4) prime?
False
Let s = 39 + -37. Suppose s*y = -t + 6, 15*y - t = 12*y + 9. Suppose 0 = 2*g - y*g + 4421. Is g composite?
False
Suppose 0 = -4*s - 5*z + 4234, -2*z + 1057 = s - 0*z. Suppose r - s = -2*u, -7*r + 3*r + 1064 = 2*u. Let c = u - 9. Is c prime?
True
Let n = -503 - -4064. Is n a composite number?
True
Let k be (-4)/32 + (0 - (-4)/32). Is (1 + k)/((-9)/(-17379)) a prime number?
True
Let k = 70382 + 21869. Is k a prime number?
True
Let n(v) = -61*v**2 - 49*v + 7. Let f be n(-6). Let k = 3474 + f. Is k composite?
False
Let m = -74589 - -165058. Is m composite?
False
Let w = 229 + -625. Let y = 577 + w. Suppose -t - y = -3*h + 580, 4*h - 4*t - 1020 = 0. Is h composite?
True
Let h(o) = -3*o**2 + 8*o + 11. Let s be h(4). Is (4634/35)/(s/((-2300)/8)) a prime number?
False
Suppose 0 = 225*g - 11046644 + 1752083 - 29292264. Is