cond derivative of 9*q**5/20 + 7*q**4/12 + q**3/3 + q**2/2 + q. Is f(j) a composite number?
True
Let q(l) = 79*l + 8. Let n be (-4)/((-1)/11 - 0). Let i be n/(-16)*8/(-2). Is q(i) prime?
True
Let j = -23601 + 59288. Is j a composite number?
True
Is 1/((-14585494)/972367 - -15) a prime number?
True
Let m(d) = d**3 + 20*d**2 + d + 23. Let f be m(-20). Let s(a) = 271*a**2 - a + 2. Let h be s(5). Suppose g = -f*g + h. Is g a prime number?
True
Let h = -4320 - -4323. Suppose 3*d + 1 = -5, 3190 = 2*z - 3*d. Is h - (-3 + z/(-2)) prime?
False
Suppose 4*m = -16, 4*u - 35*m = -36*m + 12. Suppose 4*k - z - z = 72216, 3*k + u*z = 54151. Is k a composite number?
True
Let v(w) = 8*w + 4186. Let n be v(0). Suppose -n = -12*o + 10*o. Let y = 7398 - o. Is y composite?
True
Let a(v) be the first derivative of -113*v**4/8 - v**3/6 + 39*v**2/2 + 18. Let u(i) be the second derivative of a(i). Is u(-2) a prime number?
True
Suppose -5*m + 5*i + 789230 = 0, 27 = -5*i + 12. Is m prime?
False
Is (11/(-44))/(62187/(-62184) + 1) prime?
False
Suppose -8*j - 4*q = -5*j + 4, -2 = 5*j + 2*q. Let f = 3 + -1. Suppose -v + 422 = v + 2*g, j = -f*v - 4*g + 422. Is v prime?
True
Let d = -684 + 952. Let c = 289 - d. Is c prime?
False
Suppose -j - 5*l - 41913 = 0, 4*j + 5*l - 48935 = -216542. Let i = j + 77039. Is i a composite number?
False
Let s(x) = 2884*x + 3583. Is s(37) composite?
False
Let z(j) be the second derivative of -j**5/20 - 3*j**4/4 + 8*j**3/3 - 2*j**2 - 6*j. Let m be z(-11). Is (-91)/52*m*-2 composite?
True
Let p(n) = -7*n + 164. Let d be p(23). Suppose 2*r + 3*z - 13817 = r, -41503 = -d*r + 4*z. Is r prime?
True
Let w be 43633 - 11/((-33)/(-27)). Suppose -4*l + w + 40100 = 0. Is l a prime number?
False
Let u(b) = -160*b**3 - 8*b**2 - 6*b + 1. Let t = 115 + -117. Is u(t) composite?
True
Let l(o) = -3222*o + 157. Let k be l(-8). Suppose 4*f - 9*f + 3*w + k = 0, 5*w = 5*f - 25925. Is f composite?
False
Let q(b) = 1 - 22 - 17*b + 44*b**2 - 42*b**2 + 3*b. Let j be q(11). Let k = j - -28. Is k a prime number?
False
Suppose -2*y + 7717 = 3*x + 2*x, 3871 = y + 5*x. Suppose y = 3*k + 4*q, -4*q - 3822 = k - 4*k. Let d = -841 + k. Is d a prime number?
False
Let p = 1958 - 379. Let m = 2590 - p. Is m prime?
False
Let y = -1121 - -1105. Let m(d) = -13*d + 6*d**2 - d**2 - 2*d**2 - 9. Is m(y) composite?
False
Let f(g) = 6*g**3 - 43*g**2 - 42*g + 63. Let y be f(-37). Is ((-2)/5)/2 + y/(-40) a composite number?
False
Let m(r) = -3*r**3 + 8*r**2 + 3*r - 7. Let i be m(-14). Suppose 2*w + 3*k - 20813 = 0, -i = -w - 5*k + 659. Is w prime?
False
Suppose 4*m + 92 + 32 = 0. Let p = 34 + m. Suppose 0 = -p*s + 3*r + 3351, -5*r = s + 629 - 1746. Is s a prime number?
True
Let t be (-2)/((-1425640)/(-356412) + -4). Suppose -t - 23136 = 3*m. Is m/(-15) + (-40)/(-50) composite?
True
Let j(q) = 153*q + 19. Let n(u) = u**3 + 6*u**2 + 6*u - 3. Let f be n(-4). Let p(k) = k. Let l(s) = f*p(s) - j(s). Is l(-5) prime?
False
Is 27474846/546 + 20/26 composite?
False
Suppose -5*q = 3*w - 1090, -3*q + 7*w + 620 = 2*w. Suppose b = q + 250. Is b/6 + (-3)/6 a prime number?
False
Let k = -10324 + 76361. Suppose 8*b = -2093 + k. Is b composite?
False
Let o = 96 - 93. Suppose r + b - 3 = o*r, 5*r + b = -18. Let t(d) = -2*d**3 + 5*d**2 + 2*d - 4. Is t(r) a composite number?
False
Let c(q) = 2*q**2 + 38*q - 21. Suppose -j = -4*j. Suppose j*h - 3*h + 50 = i, -4*i = 3*h - 56. Is c(h) prime?
False
Suppose -4*w + 3*o + 5 = 0, -5*w - 3*o = o - 45. Suppose 36047 = w*d + 13677. Is d a composite number?
True
Let w be (-3 - (-63)/27)/(2/12). Is ((-776)/12)/((-6)/279) - w prime?
True
Let w be (-3)/(-3) - (-1 - 2330). Suppose -5*n - 861 = -3*t, -n = 4*t + 21 + 142. Let a = w + n. Is a a composite number?
False
Let o(w) = w**3 + 17*w**2 + 15*w + 12. Let h be o(-11). Suppose 79 = -2*r + h. Is r a prime number?
False
Let z(q) = -7*q**2 + 8*q + 10. Let m be z(-4). Let k = m + 1041. Let h = k + -488. Is h a prime number?
True
Let p be (6/(-6))/(12/(-2) + 5). Let b(s) be the first derivative of 771*s**4/2 + s**3/3 - s**2/2 + s - 3. Is b(p) prime?
True
Suppose -4*z - 3*m + 158908 = 0, 413*z - 414*z - m + 39725 = 0. Is z a composite number?
False
Suppose 454*v - 239*v + 365922 = 233*v. Is v a composite number?
True
Let v(y) = 6*y**2 - 8*y + 10. Let s be v(12). Let r = s - 527. Is r prime?
True
Let f be (3/(-9))/((-1)/12). Suppose 0 = -f*r + 3 - 11, 0 = -4*q - 2*r - 4. Suppose 4*z - 4*a - 2076 = q, 2*z + z - 1541 = -5*a. Is z prime?
False
Let l = 90 - 90. Suppose -4*w - 9 + 1597 = l. Is w composite?
False
Let j(s) = 6*s**3 - 357*s**2 + 75*s - 73. Is j(60) composite?
False
Let d(h) = 27*h + 44. Let l be d(12). Let q = l - -6131. Is q composite?
True
Let s = -13 - -40. Let z be (-6)/s + (-86442)/54. Let x = z + 2284. Is x a composite number?
False
Let s(u) = u**2 + 8*u + 13. Let r be s(-7). Suppose r*d + 690 = 11*d. Let g = d - 71. Is g composite?
False
Suppose 0 = 4*j + g - 2489, 284 + 965 = 2*j + 5*g. Suppose 3*z + 1535 = q, -j + 5227 = 3*q - 3*z. Is q composite?
True
Suppose -4*n + 192 = -4*t, 2*n + 5*t + 96 = 4*n. Suppose -n*f - 20695 = -53*f. Is f prime?
True
Let k(f) = -2*f**3 - 28*f**2 + 8*f - 11. Let g = 1859 + -5419. Let b be g/180 + 2/(-9). Is k(b) prime?
False
Suppose 0 = -8*s + 2*s + 70128. Suppose m + 0*m = 4*q - s, -3*q + 4*m = -8779. Is q prime?
False
Let g = -204 + 113. Let v be g/14 - 2/(-4). Is v/33 - 40/22 - -1363 prime?
True
Let r(h) be the first derivative of -h**4/4 + 6*h**3 - 2*h**2 - 10*h - 8. Let t = 51 + -42. Is r(t) a prime number?
True
Let m = 196823 + -98202. Is m composite?
False
Let g = -137459 + 282712. Is g a composite number?
False
Is ((-2)/(-8)*2)/(128/256) + 210330 prime?
False
Let h = -57 - -51. Is (-276)/h*(-62)/(-4) composite?
True
Suppose 58*i - 3189356 = -5*f + 61*i, -9 = -3*i. Is f composite?
False
Suppose 6*d - 52680 = 2*d. Suppose 0*r + d = 3*r. Suppose -3*h + 0*l + 2633 = 2*l, 0 = -5*h - 5*l + r. Is h prime?
True
Let h be (13 - -7)*(-29)/(-145). Suppose 5*q = -5*v + 17285, q - 2156 - 1313 = 3*v. Suppose -q = h*s - 8*s. Is s prime?
False
Let x(s) = 1590*s**2 + 158*s - 3731. Is x(23) a prime number?
True
Let s be 24*(5 + -8) - (-2)/2. Let w = 76 + s. Suppose 4*n - 2*z = -z + 8129, -5*z - 10180 = -w*n. Is n a prime number?
False
Let l = 6083 + -12975. Let m be l/(-9) - (188/(-36) - -5). Suppose -2895 = -7*f + m. Is f prime?
True
Let t be -1 + 3 - 22190/56*-4. Let p = 3048 - t. Is p composite?
True
Let s(d) = 32*d**3 - 10*d**2 + 4*d + 2. Suppose -3*q + t = -23, -39 = -5*q + 2*t - 0*t. Let l be s(q). Suppose -l + 2151 = -5*x. Is x a composite number?
True
Suppose 17*r = -9*r + 15600. Let j = r + 517. Is j a prime number?
True
Suppose 346494 = 2*n - s, 16*s = 4*n + 17*s - 693000. Is n composite?
False
Suppose -5*n - 8*n = -32292. Suppose -16*q + 49852 + n = 0. Is q a composite number?
False
Let w(f) = -625*f**3 - 10*f**2 - 30*f - 4. Is w(-3) composite?
False
Let j(a) = -a**2 + 26*a - 50. Let m be j(24). Is (1/(-2))/(m/(-36016)*-4) a composite number?
False
Is 2081956/14 - (-364)/(-637)*2/8 prime?
True
Let j(k) = 4194*k - 461. Is j(55) a composite number?
True
Let k(p) = 11*p**3 + 2*p**2 + p - 3. Suppose 2*h + 4 = -2*o - 0, h = -3*o. Let q be k(o). Is q + -6 + -2 + 326 a prime number?
False
Let a = -655621 + 1139898. Is a a prime number?
False
Let g(f) be the second derivative of 3*f**5/5 + f**4/2 - 2*f**3/3 + 3*f**2 - 17*f. Let p be g(-5). Is (p/8)/(2/(-4)) composite?
False
Let u(f) be the third derivative of f**5/15 + 11*f**4/24 - 65*f**3/3 + 3*f**2 - 4. Is u(-27) a composite number?
True
Let v be (8/6 - 2)*(-20 - -2). Suppose -2*t = 3*m + 9, 5*t + 0*t - 4*m = v. Suppose 0 = -o - 3*j + 4429, 0 = -o - t*j - 5*j + 4437. Is o a prime number?
False
Suppose 15 = f - 5*t, -6*t - 4 = -4*t. Let q(x) = -4*x + 5. Let p(d) = -3*d + 5. Let y(w) = f*p(w) - 6*q(w). Is y(2) composite?
False
Let x = -41872 - -93710. Is x prime?
False
Let h = 2125 + 2973. Let x = -1066 + h. Suppose 5*s = x + 443. Is s a prime number?
False
Suppose 70*q - 805059 - 3031448 = 1207763. Is q a prime number?
False
Let q = -76 + 83. Let b be (74/(-1))/(q/(-679)). Suppose -3*t + b = -1873. Is t composite?
True
Suppose 0 = 4*h + 375*c - 370*c - 4923331, 2461661 = 2*h + c. Is h a prime number?
True
Let g(j) = j**3 + 5*j**2 - 12*j + 16