2 - n**3/2 + 2*n**2 + 43. Is d(18) composite?
True
Suppose -4*r - 423215 = -5*g + r, -3*r + 253923 = 3*g. Is ((-3)/9)/((-2)/g) prime?
True
Let j(n) = -1000*n**2 + 5. Let v be j(2). Let p = v - -6666. Is p a composite number?
False
Let x(m) = 53*m**3 - m**2 + 1. Let r be x(2). Let h be 5/(30/9)*(-31)/((-1209)/104). Suppose -g + 2570 - r = -h*i, 4*i = -g + 2157. Is g a prime number?
True
Suppose 5*o = 14 - 59. Let q = 15 + o. Is (q/3 - 0)/((-2)/(-213)) composite?
True
Suppose 9*m - 208 + 685 = 0. Let z = -62 - m. Is (-11648)/(-24) - (-3)/z a prime number?
False
Let n be (-10)/75 + 103226/(-30). Let m = 7228 + n. Is m prime?
False
Let k = 422082 - 35333. Is k composite?
True
Let l(j) = 58*j**3 - 39*j**2 + 37*j - 275. Is l(21) composite?
True
Let c = 265529 - 5662. Is c prime?
True
Let w be -1*((-2)/1 - -2) - -13. Let i(b) = 2*b**3 - 9*b**2 - 23*b + 8. Let y(k) = k**3 + k + 1. Let x(o) = i(o) - y(o). Is x(w) prime?
False
Let g(m) = -1541*m - 1598. Is g(-39) a prime number?
False
Suppose t - 6*t - 10 = 0, -5*q = 4*t - 12. Suppose q*x - 2*x = 0. Suppose l + l - 206 = x. Is l a prime number?
True
Let u = 2176 - -2989. Is u composite?
True
Is 6/15*((-2)/(-10) - (-1417446)/20) composite?
False
Suppose 150 = 7*x - 4*x. Suppose 0 = -x*n + 49*n + 1219. Let l = n - 522. Is l a composite number?
True
Let y = -537548 - -1044801. Is y prime?
False
Suppose 0 = 2*m - 3 - 39. Let o(k) = m*k - 25*k - 1 + 10*k**2 - 4. Is o(-5) a composite number?
True
Let q(u) = 10*u**2 + 6*u + 12. Let a be q(12). Let g(i) = 7*i - 216. Let w be g(32). Suppose w*t = 2*t + a. Is t composite?
True
Let j = 465379 + -261488. Is j prime?
False
Let c be -2 - (-1 + -5 - -1). Let m = 18971 - 10612. Suppose -c*x + m - 2305 = 0. Is x composite?
True
Let a(m) = -m**3 + 11*m**2 - 6*m - 14. Let i be a(10). Suppose 9*b - 10 - i = 0. Suppose 4*t = b*g + 9476, g - 3651 + 10758 = 3*t. Is t a composite number?
True
Let u(c) = 2*c**2 + 2*c. Let j(m) = m**3 - 4*m**2 + m - 5. Let f be j(4). Let a be u(f). Suppose -3*z + 0 + 633 = a. Is z composite?
False
Let r(i) = -3*i. Let b be r(12). Let q be 54/b + 21/2. Suppose -q*d + 2794 = 2*d. Is d prime?
False
Suppose -33 = k - 436. Let u = -1167 + 1249. Let c = k + u. Is c a composite number?
True
Let x be 326*56/16*(-4)/(-2). Suppose 8*g = 32514 - x. Is g a prime number?
True
Suppose 0 = 20*b - 70418 - 40922. Is b composite?
True
Suppose -40 = -5*z, -3*u + 856128 = 5*z - 1350949. Is u a prime number?
False
Suppose -8*b - 1176745 = 11*b - 6905834. Is b prime?
True
Let b = 9396 + 42391. Is b prime?
True
Suppose -3*v - 5*i + 60 = -7*v, -v - 15 = 4*i. Let b(m) = -165*m - 142. Is b(v) a composite number?
False
Let s = 22682 + -15711. Is s prime?
True
Let x be (-1)/2 + (-8751)/6. Let q = x - -3116. Is q a prime number?
True
Suppose -7*k = 3785 + 3453. Let j be (k/4 + 4)*-2. Let g = 916 - j. Is g prime?
False
Suppose -5*o + 185323 = 5*x - 84527, 3*o - 161914 = -2*x. Is o a composite number?
True
Let h be (-415288)/(-5) - 1 - (-153)/(-255). Suppose -256948 = -14*j + h. Is j a prime number?
False
Let p be 1783 + (-1)/(-3)*9. Suppose 0 = 21*w + 7728 + 63. Let l = p + w. Is l composite?
True
Suppose k - 6*g = -2*g + 12, 13 = k - 5*g. Suppose -k*o - 2*o = 110. Let m(a) = 3*a**2 + 4*a + 34. Is m(o) prime?
True
Let h(f) = f**3 + 14*f**2 - 32*f + 7. Let z be h(-16). Suppose 21*r = -z*r + 373268. Is r a composite number?
False
Let k = 647461 - 329812. Is k composite?
True
Suppose 6*g + 11615 = -14347. Let c = 7758 + g. Is c composite?
True
Let z = 19387 + -32678. Let y = z + 22607. Suppose -1112 + y = 4*k. Is k a composite number?
True
Let d = -215145 - -365700. Suppose 0 = -347*p + 332*p + d. Is p prime?
True
Let b be 43592/(-32) - 21/28. Let p = b - -2928. Is p a composite number?
True
Let l = 422431 - 201042. Is l a prime number?
False
Is (-20)/(180/(-223317)) - -16 composite?
True
Let j(n) = n**2 - 12*n + 22. Suppose 5*v = 2 + 48. Let q be j(v). Suppose f = -2*k + 3423, -3*k - q*f = -4*f - 5117. Is k composite?
False
Let g(a) = a**3 + 2*a**2 - a + 10. Let v(k) = -k**2. Let r(u) = -g(u) - v(u). Let d be r(-3). Suppose d*y + 153 = 418. Is y a prime number?
True
Suppose -10*a = -5*a - 80. Let r be ((-248)/a)/(-1 + 227/226). Let g = 5280 + r. Is g composite?
False
Is 2/4*(201 + 307061) a composite number?
True
Is (2532624/240)/((-2)/(-10)) composite?
True
Suppose 6583215 = 84*j - 81*j + 282*j. Is j a prime number?
True
Let f = 498 - 984. Let w = 1712 + f. Suppose -8*y + 6*y = -w. Is y a prime number?
True
Let y be (-1689 - -1)/((-4)/((-28)/7)). Let m = y + 762. Let q = m - -1785. Is q a prime number?
True
Suppose -5*w - 3*r = -5807 - 9967, 5*r = 2*w - 6322. Suppose 0*q = -2*q + 2*i - w, q - 3*i = -1584. Let d = q - -2630. Is d prime?
False
Let k = 28 + 3. Suppose 3*v = a - 2*v - k, 0 = a + v - 49. Let y = 61 - a. Is y composite?
True
Let d = -413 - -2060. Let r = d - -566. Is r prime?
True
Let d = -76940 + 125945. Suppose -4*n + 65020 = 5*p - d, 4*n + 4*p - 114024 = 0. Is n composite?
True
Suppose 1493*i - 1481*i - 721716 = 0. Is i a composite number?
True
Let h = 22547 - -40220. Is h a prime number?
False
Let h(m) = 96*m**2 + 8*m + 19. Suppose b + 4*b + 12 = -3*u, -2*u - 5*b = 8. Is h(u) prime?
True
Let u be (12/4)/((-3)/(-4)) - 1. Suppose -5*a + 3*a + 49497 = 5*o, o = u*a + 9913. Is o composite?
False
Let v(y) = -y**2 - 12*y + 78. Let q be v(-17). Let u = -62 - -60. Is u + (-11732)/(-8) - q/14 prime?
False
Suppose 0 = -2*t + 3*h + 33019, -2*h - 49522 = -3*t - 4*h. Let r = t + -697. Is r prime?
False
Suppose -3*a + 2 = -2*d, -a - 2 = 2*d + 4*a. Let u be -4 - (4 + d*19934). Is 2/(-5) + u/90 a prime number?
False
Suppose 120*t + 343972 = 121*t. Suppose 26*g - t = -74430. Is g a prime number?
False
Suppose 2*r - 251147 = -5*f, 137*r - 133*r + 200940 = 4*f. Is f prime?
True
Let c(f) = 33*f**2 - f - 21. Let p be 2 + 12/3 - 4. Suppose -n + 0*n + 18 = -4*l, 4*n = 2*l + p. Is c(l) composite?
False
Suppose 0 = -q - 2*q + 6. Let s be (q/5)/((-10)/(-150)). Suppose s*n - 3036 = 1074. Is n a prime number?
False
Let u be 28/(-6)*15/1. Let k be (-1)/(-3) - u/15. Suppose -17*p + 3972 = -k*p. Is p prime?
True
Let s = 970709 + -88090. Is s a prime number?
False
Suppose 2*o + 0*o = 10. Let m(s) = 5 - 4 - 54*s - o + 0. Is m(-3) composite?
True
Let v(p) = p - 1. Let o be v(-15). Let i be -3*(o/18 + (-6)/(-27)). Suppose -i*k + 2*c = -190, -4*c = -6 - 2. Is k prime?
True
Suppose -2*l - d - 11 = -4*l, -d = -l + 4. Is (5 - -3464) + 4 - l composite?
True
Is ((-288)/30)/8 - (-247091)/5 prime?
True
Let f = -55 - -68. Suppose 2206 = -9*l + f*l + 2*y, -4*y + 1652 = 3*l. Let n = -391 + l. Is n composite?
True
Suppose 4*p = -j - 20, -6*p + 16 = -5*p - 5*j. Let d(g) = -145*g**3 - 7*g - 9. Is d(p) a composite number?
True
Suppose -5*y - 54380 = 275*a - 280*a, -4*a = -5*y - 43503. Is a prime?
False
Suppose 0*p = 5*p + 4*c - 749, -p + 5*c + 144 = 0. Let n = -38 + p. Is n prime?
False
Let o(a) = 25*a**3 - 7*a**2 - 13*a + 95. Is o(8) a composite number?
False
Let g = 89326 + -35808. Is g composite?
True
Is (6 + (-36)/9)*106773/6 composite?
False
Let m = -2471 + 27129. Is m prime?
False
Suppose -225*k = -227*k + 2*w + 62532, w = 2*k - 62537. Is k composite?
False
Suppose 2*m = 11*t - 13*t - 8, -4*t = -4*m + 16. Is (m - -2 - 0)*(-11324)/(-152) composite?
False
Let p = -755 + 761. Suppose 21568 = p*z - 75266. Is z composite?
False
Let m(j) be the first derivative of j**4/4 + 12*j**3 - 52*j**2 + 75*j - 124. Is m(-34) a composite number?
False
Let s(g) = -12*g**3 - 166*g**2 + 7*g + 40. Is s(-17) composite?
False
Is 2/(-59) - (-2226112040)/28792 a prime number?
True
Suppose -40725 = -11*h + 10964. Is h a prime number?
False
Let f(n) = n**2 + 10*n - 35. Let g be f(-13). Suppose -g*s + 4*t + 2163 = -7657, t = -4*s + 9810. Is s composite?
True
Let t(f) = 213*f - 33. Let n(o) = 319*o - 50. Let v(l) = -5*n(l) + 7*t(l). Let x(z) = 4*z**2 - 31*z + 34. Let b be x(6). Is v(b) a composite number?
True
Suppose 0 = -w + 3*l + 1018931, -l - 16 + 22 = 0. Is w a prime number?
True
Let f(y) = 8*y**2 + 58*y - 17. Suppose -3*b + 24 + 83 = -q, 2*q - 146 = -4*b. Is f(b) a prime number?
False
Suppose -s = 4, 493*s = -p + 498*s + 100137. Is p a composite number?
True
Is ((-79333321)/1636)/((-7)/(-4) - 2) prime?
False
Suppose -15*o +