False
Let x = 138887 - 1926. Is x composite?
True
Suppose -y = 4*y - 20, 11*p + 5*y - 425709 = 0. Is p composite?
False
Let y(p) = 3*p - 37. Let x be y(11). Let t(g) = -180*g - 1. Is t(x) prime?
True
Suppose 1152506 + 345944 = 73*r - 23*r. Is r composite?
True
Suppose -3*u - d = -4185, -4*d = -5*u - 2*d + 6986. Suppose -u = -b - q + 1457, -5*b - 2*q = -14259. Is b prime?
True
Let g = 4906 - 2180. Suppose 0 = 3*x - 17075 + g. Is x prime?
True
Suppose 0 = -5*j - 4*j + 63. Suppose 6*t + 2611 = j*t. Is t composite?
True
Let q = 1287 + -732. Suppose 3*h + 0*h - q = 0. Is h prime?
False
Suppose -1815*t + 1829*t - 4001746 = 0. Is t composite?
False
Let j(f) = 80*f**2 - 117*f + 1253. Is j(12) a prime number?
True
Let n(c) = -c**3 - 3*c**2 + c + 10. Let b be n(-5). Let a be (-10)/b - (-222204)/22. Suppose -5*z + 22812 = 2*p + 5989, 3*z - a = 5*p. Is z a prime number?
False
Suppose 14*r - 99*r + 9583331 + 44990324 = 0. Is r composite?
True
Let l(x) = 4*x**3 + 26*x**2 + 11*x + 5. Let a be l(-10). Let g = a - -488. Let b = g - -1604. Is b prime?
True
Suppose -2002 = 2*a + 4*y, -2*a + 0*y - 1966 = -5*y. Let p be 5467/2 + 1/2. Let d = p + a. Is d a prime number?
True
Let i = -36370 + 91857. Is i prime?
True
Let p = -51 + 52. Let s(q) = -5 - 4 - 42*q - p. Is s(-4) prime?
False
Let o(t) = -t**3 - 6*t**2 - 8*t - 21. Let a be o(-6). Suppose -3*p - 2*c = a, -7 = -p - 5*c - 29. Is (-4)/(-14) + (-8237)/p prime?
False
Suppose -f - 2*f = -a + 2307113, 6*a = 2*f + 13842806. Is a a prime number?
False
Let v = -20910 + 39796. Suppose -4*q = -12, -q = 2*w - w - v. Is w composite?
True
Let p = -21044 - -37376. Suppose -35*w = -38*w + p. Is 54/36*w/6 prime?
True
Suppose 1372 = 6*p - 10544. Let o = p - 431. Suppose 0 = -b + 778 + o. Is b composite?
False
Let t(b) be the third derivative of -59*b**4/12 - 25*b**3/6 + 1127*b**2. Suppose 2*f + 18 = 6. Is t(f) a composite number?
False
Suppose -5*q + 10 = 0, 3*y - 3444 = 4*y + 5*q. Let m = y + 5160. Is m a composite number?
True
Suppose 32*j - 27*j - 771 = 2*f, -2*f + j - 759 = 0. Let q = -125 - f. Is q a composite number?
True
Suppose -2*m + 395118 = 4*w, 349*m = 352*m - w - 592649. Is m composite?
False
Suppose i - 13 = -4*q, -3*i = 2*q - 0 + 1. Let r = 1215 - 642. Suppose 3*g + 610 = 4*m - r, -2*m + q*g = -594. Is m prime?
False
Let z(m) = 8207*m**3 + m**2 - 32*m + 133. Is z(5) prime?
True
Let p be (-120)/(-160) - (-81)/4. Let b(h) = -2*h**2 + 88*h - 11. Is b(p) a prime number?
False
Let m(l) = 4910*l**3 - 100*l + 509. Is m(5) composite?
False
Suppose z = 2*h - 57, -5*h - 4*z = -173 - 2. Let x = -254 - -398. Let c = x - h. Is c a composite number?
False
Suppose 1139 + 5935 = 6*u. Suppose -5*m - u + 5894 = 0. Is m a prime number?
False
Let n(b) = -2*b**3 + 22*b**2 + 24*b. Let y be n(12). Suppose 5*w + 3*w = y. Suppose 5*h - 9645 = 2*c, -5*h + w*h - 5*c = -9680. Is h a composite number?
False
Let m = 42 + -7. Is (-21)/m + (-12596)/(-10) a composite number?
False
Let x be (2 + -3)*(-1294)/(-2). Suppose 8*u + 9990 = -u. Let n = x - u. Is n composite?
False
Suppose -4*u = -y - 2*u + 1, 0 = 4*y + 5*u + 22. Is -5 - (-2 + y) - -2503 prime?
True
Let k(c) = 144*c**2 - 16*c + 91. Is k(9) a composite number?
True
Suppose -3*f - f = 2*x + 18, f = -4. Let h be -6 + (x - 21) + (-1 - -1). Is h/14 - (-1506)/2 a composite number?
False
Let u be ((-64)/(-12))/8 - (-52)/(-6). Let i(w) = -w - 3. Let t be i(u). Suppose 3*b = 4*g + 77, -4 = -b + t*g + 40. Is b a composite number?
False
Let z be (0/(-3 + -3))/(-2). Suppose -2*j - 3*b + z = -7, -30 = -5*j + 5*b. Suppose j*i + 4158 = 53113. Is i a composite number?
False
Suppose -14*q - 550 = -69*q. Is (525224/(-140))/((-4)/q) a composite number?
True
Let h(x) = 2*x**2 - 81*x + 119. Let z be h(39). Suppose -z*t - 1257 = -5*g, -t + 214 - 968 = -3*g. Is g prime?
True
Let l(u) = -29*u**3 - 32*u**2 + 41*u + 127. Is l(-13) prime?
True
Let y(n) = -963*n + 502919. Is y(0) a prime number?
True
Let l(j) = -4*j**3 - 24*j**2 + 8*j - 4. Let h(z) = 67*z - 1 - 34*z - z**2 - z**3 - 32*z. Let o(b) = 5*h(b) - l(b). Is o(14) a composite number?
False
Let w(h) = 6*h**3 - 4*h**2 + 3*h + 556. Let r(b) = -5*b**3 + 3*b**2 - 2*b - 556. Let f(z) = -5*r(z) - 4*w(z). Let s be f(0). Is (4 - (-3)/(-1))/(4/s) composite?
False
Let l(w) = 2917*w + 5. Let o(m) = -1. Let k(q) = -l(q) - 2*o(q). Let p be k(-1). Suppose y - 3*y + p = 0. Is y a prime number?
False
Let v(a) = -a. Let o = 39 - 35. Let h be v(o). Is (-223)/(3 + (-8 - h)) prime?
True
Is 5*6365335/50 + 5/(-10) prime?
True
Suppose 3*d - 8 = -133*y + 131*y, 4*y + 4 = -d. Let b = 4 - 20. Is (-2)/((b/(-8716))/y) a composite number?
False
Let h = -17 + 26. Let s(x) = 603*x + 17. Let v be s(h). Suppose 7*r - 3*r - v = 0. Is r a prime number?
True
Let q = -21 - -19. Let a be (4888 - 2) + 2/q. Suppose 940 - a = -3*i. Is i prime?
False
Is (8 + -7)/(3/(493431 - 0)) a prime number?
True
Suppose i - 1260 - 3601 = 0. Is i composite?
False
Let r(y) = -y**3 - 20*y**2 + 23*y + 49. Let z be r(-21). Let h(v) = 23*v**3 - 3*v**2 + 2*v - 4. Let w be h(z). Let m = w + -4525. Is m a prime number?
False
Suppose 0 = 19*h - 677946 - 527851. Is h a composite number?
False
Let r be -3*3/63 + (-2)/(-14). Suppose r*t = -t. Is ((-4 - -77) + -4)/(t + 1) a prime number?
False
Let s = -709 + 176. Is (-56 + 2 + -4)*s/26 prime?
False
Let q(j) = 3*j + 192. Let p be q(-55). Suppose 5*n - 4*g + 8 = 0, 8*g = -4*n + 3*g + 10. Suppose -24*k + p*k - 4083 = n. Is k a prime number?
True
Let c(i) = -33*i**3 - 26*i**2 - 4*i - 44*i**3 + 3 + 74*i**3. Is c(-16) prime?
False
Suppose 6*c - 12*c = -42. Let l(i) = 2*i**3 + 6*i**2 + 12*i**2 - 22*i**2 - c - 12. Is l(9) prime?
False
Suppose z + 5*x - 16 = 2*x, -4*z = -2*x - 36. Is (-6)/((-10)/(-46175)*z)*-2 prime?
False
Let h(d) be the first derivative of 96*d**2 - 6*d - 11. Let p(s) = 96*s - 3. Let z(x) = 3*h(x) - 5*p(x). Is z(6) prime?
False
Suppose -5*o + 4*t + 10171 = 0, 4*t + 10163 = 5*o + 2*t. Suppose -8*g = 535 - o. Suppose 5*k = g - 22. Is k composite?
True
Let q(f) = -13099*f + 70. Is q(-1) prime?
False
Let h = 604 - 594. Suppose 59937 = 3*y - j, -12*j + 19979 = y - h*j. Is y prime?
True
Let i(h) = -26*h**3 + 13*h**3 + 9*h - 9*h**2 + 14*h**3 + 2. Let m be i(8). Is 1188/m + (-7)/(-35) composite?
True
Is 280777 - 7*(-110)/77 a composite number?
True
Let a = -1242403 - -2414900. Is a a composite number?
False
Let z = 73124 - -432090. Is z composite?
True
Let f = 687 - 687. Suppose f = -8*i + 122 + 19902. Is i composite?
False
Suppose -72*z - 9*z + 23129989 = 22*z. Is z prime?
True
Let f = -37202 + 81863. Is f composite?
True
Suppose -38 = -2*s - 2*y - 2*y, 4*s - 60 = -4*y. Suppose 0 = -4*v + 3*u + 5848, -8*v - 4381 = -s*v + u. Is v composite?
False
Suppose 4*t - 4 = 0, 3*t + 1405577 + 124957 = 3*w. Is w a prime number?
True
Suppose 2*i - 62863 = 5*i + 2*l, 5*i = -5*l - 104765. Let s = 34978 + i. Is s composite?
True
Suppose 42 = -6*s + 6. Let u be 4/12 + 934/s*-4. Let k = -177 + u. Is k prime?
False
Let r = 37 - 35. Suppose -66 = -r*i + 84. Suppose -f + 446 = -i. Is f prime?
True
Let k be (-286902)/(-30) - 2/5. Suppose h - 3*a - 2365 = 2409, 2*h - k = a. Is h a composite number?
False
Suppose 4*k - 76 = -4*n + 6*k, -4*k = -2*n + 32. Let f be 3 + 4/(n/(-5)). Suppose z + f*z - 2794 = -5*q, -2*z = -6. Is q prime?
True
Let u(d) = d**3 + 5*d**2 - 22*d + 43499. Is u(0) a composite number?
False
Let r(w) = 10823*w**2 + 49*w - 117. Is r(8) prime?
False
Suppose -7*i + j = -11*i + 1917456, -3*i + 1438092 = -5*j. Suppose -182783 = -23*x + i. Is x composite?
False
Suppose 2*s = -2*a + 42, a - 36 = -a - 4*s. Suppose -28*x - a = -22*x. Is 2741/4 + x - 3/12 a prime number?
False
Let i = -1434 - -1421. Let n(z) be the first derivative of 2*z**3/3 + 15*z**2/2 + 6*z - 1. Is n(i) a composite number?
False
Suppose c - h = 452399, -3*c + 2*h + 54981 = -1302218. Is c prime?
True
Let b(p) be the third derivative of p**7/840 - p**6/360 + 3085*p**4/24 + 3*p**3 - 33*p**2. Let g(w) be the first derivative of b(w). Is g(0) a composite number?
True
Suppose -5*s - 25 = -4*a, -15 = s + 4*s - 2*a. Is (-87)/87*-2807*(0 - s) a prime number?
False
Suppose -6*v - 146 = 34*v + 33*v. Let a(l) = 214*l + 10. Let r(k) = 71*k + 3. Let t(c) = -6*a(c) + 17*r(c). Is t(v) a composite number?
True
Suppose 3*o = -5*i 