Let p(v) = -3*v**3 + 67*v**2 - 34*v - 7. Let b(g) = g**2 - 8*g + 10. Let k be b(9). Is p(k) a prime number?
True
Let g be (22/(-6))/((-248)/24 - -10). Suppose -6539 = -g*t + 27374. Is t prime?
True
Let t = 9219 + -4515. Suppose -4*h = -3*c - 4089, 5*h + 2*c - 413 - t = 0. Let l = -572 + h. Is l a prime number?
False
Suppose -14*f - 26247 = 74035. Let d = -4115 - -305. Let j = d - f. Is j composite?
True
Let c be (-16)/(-6)*(-6 + (-90)/(-12)). Suppose -4*y = -5*o + 1057, 4*y + c*o = y - 816. Is 323/119 + 2/7 - y a composite number?
False
Let n = 815 - -80408. Is n a prime number?
True
Suppose 5*v - 22 + 7 = -2*l, -2*v = -5*l - 35. Is (-6825)/(l + -2) - 8 prime?
True
Let k = 559 + -551. Let t(n) = 111*n**2 - 17*n + 153. Is t(k) composite?
False
Let f = -104597 + 205864. Is f a prime number?
True
Suppose -y + 1 = -q - 2*q, 5*y = 5. Suppose q = 13*a - 12*a - 1336. Let w = a - 21. Is w composite?
True
Let a(o) = 16759*o**2 + 252*o. Is a(1) prime?
True
Let n = 3506 + -1546. Suppose -5*b - 425 = n. Let y = 844 + b. Is y composite?
False
Let o = -6215 - -11959. Let u = -3321 + o. Is u a composite number?
False
Suppose 0 = -171*v + 170*v + 293. Is v/1 - (3 - 11) a prime number?
False
Let m = -117 - -114. Is (884 - m) + -2 + -6 a prime number?
False
Let j(o) = o**3 - 25*o**2 - 31*o + 28. Let g be 162/(-9)*(-3)/2. Suppose 5*r - g = -w + r, 0 = 3*w + 2*r - 81. Is j(w) prime?
False
Suppose -4*c - 10*k + 12*k = -594032, -c = 4*k - 148499. Is c prime?
False
Let j = -365 - -358. Is 2 + j - 3284*-2 composite?
False
Let b be (-409)/(-2) + 2/4. Suppose 0 = o - 128 - b. Suppose -4*s + 0*s = -5*v + o, 3*v + 3*s - 189 = 0. Is v a prime number?
False
Suppose 28*r - 30*r = 0. Suppose r*c = 4*c. Suppose c = 9*b + 988 - 5785. Is b composite?
True
Let r(p) = 2*p**2 + 11*p + 8. Let o be r(-5). Let k(j) = 407*j - o - 30 - 377*j. Is k(16) a prime number?
False
Let i = -19794 + 43723. Is i prime?
True
Let q = 57 + -85. Let c be 4/q + 3036/(-14). Let g = c - -708. Is g a prime number?
True
Let h(p) = -12342*p + 2863. Is h(-13) a prime number?
True
Let l(s) = 6*s - 198. Let i be l(31). Is (-16)/(-24)*4322*i/(-16) composite?
False
Let i = 303660 + -135863. Is i a prime number?
False
Let w(t) = 424*t**2 + 11. Is w(3) a composite number?
True
Let u be (-21)/(-6)*(-156)/(-182). Let j(r) = r**3 - 4*r**2 + 3*r. Let m be j(3). Suppose -p - u*b + 481 + 1039 = 0, m = 5*p - 5*b - 7540. Is p prime?
True
Let d = 4640 - -692. Suppose 178*l - d = 174*l. Is l composite?
True
Let m be 15 - (2 + 8 + -2). Is (m + -3953)*(-5)/10 composite?
False
Let v(f) = 52056*f - 349. Is v(12) composite?
True
Suppose 14 = 5*k - 6. Let b(v) = 15 - k*v**2 + 4 + 45*v + v**3 - 67*v + v**2. Is b(9) a prime number?
True
Suppose -5*x + 3*i + 87 = 0, 3*x - 4*x = 2*i - 20. Suppose 5*c = -2 - x. Is ((-2)/c)/((-1)/(-218)) prime?
True
Suppose 13*s - 5*s - 16496 = 0. Suppose y - s = 3*u - 344, 5*u + 1724 = y. Is y a composite number?
False
Let b = -80 - -345. Suppose 2509 - b = 3*u. Suppose 112*m - 108*m = u. Is m a composite number?
True
Let b = 16 - 14. Suppose 0 = -3*n + b*n + 7. Suppose -2*h - 3395 = -n*h. Is h composite?
True
Let m(r) = -56*r**3 - 5*r**2 - 4*r + 5. Let b be m(-3). Suppose 6*q - 1762 = b. Is q a prime number?
True
Suppose -25*p + 1606 = -769. Suppose p*o = 100*o - 7355. Is o prime?
True
Let q(y) be the third derivative of 11*y**7/1680 + y**6/144 - 7*y**5/60 - 5*y**2. Let m(f) be the third derivative of q(f). Is m(14) a prime number?
True
Let k = 96389 + -34536. Is k a composite number?
True
Suppose 2*g - p = 47142 + 329093, -4 = 4*p. Is g a composite number?
True
Is (436427 - (-13 - -6 - -7))/1 composite?
False
Suppose 12*u - 27*u - 150 = 0. Is (-7 - 444/(-60)) + (-3786)/u a composite number?
False
Is 1073998/3*((-4860)/40)/(-81) a composite number?
False
Let d = -11 + 267. Let i = d + 111. Is i prime?
True
Let i(z) be the third derivative of 29*z**5/10 - z**4/3 + z**3/2 - z**2 - z. Is i(-4) a prime number?
True
Let i = 101 + -99. Suppose 5*y = 4*a - 3532 + 27729, y - i*a = 4843. Is y a prime number?
False
Suppose 2655062 = 122*a - 9*a - 34652001. Is a composite?
True
Suppose -5*c - t = -53035, t = -8*c + 7*c + 10607. Let j = c + -5946. Is j prime?
False
Let o(g) = 2446*g + 73. Is o(3) prime?
True
Let t(a) = 2912*a + 7589. Is t(61) prime?
True
Suppose 7*b = -116 + 25. Let c(g) = -62*g + 15. Is c(b) a composite number?
False
Suppose -3*u = -2*b - u + 8, -2 = u. Suppose -5*v - 1 = -26. Suppose v*n - 9457 = -b*n. Is n prime?
False
Let k = -17 + 36. Suppose -k*w + 4 = -17*w. Is 951*((-1)/w - 10/(-12)) composite?
False
Suppose -2640911 = -39*u + 4*u + 22*u. Is u a prime number?
False
Let o = 1064769 + -109042. Is o composite?
False
Let k = -38 + 113. Let q = -571 + 549. Let d = q + k. Is d prime?
True
Suppose 110*g - 1119891 - 2498445 = 14*g. Is g prime?
True
Let q(t) = 23 + 2*t**2 - 37 - 1482*t**3 + 21 + 8*t + 2*t**2. Is q(-2) composite?
False
Suppose -450 = 28*s - 23*s. Let p be (-5)/((-15)/6)*s/(-20). Let v(o) = 2*o**3 - 16*o**2 + 10*o - 1. Is v(p) prime?
True
Suppose 0 = -69*u + 106*u - 9341945. Is u prime?
False
Let z = 135742 + 443311. Is z a composite number?
False
Let f be (-12)/(-36) + 1802/(-6). Let k = 719 + f. Is k prime?
True
Suppose -3370*w = -3371*w + 59739. Is w a composite number?
True
Let w(g) = -4 + 42*g - 21*g - 32*g - g**2. Let n be w(-11). Is 2 + 849 - (4 + n) composite?
True
Let i = -79 - -59. Is (144/i)/(-9) - (-14702)/10 composite?
False
Suppose -13*p + 3144835 = -876627 + 280283. Is p composite?
False
Suppose 0 = -30*b - 7*b + 8888029. Suppose 33*c - 14*c = b. Is c a prime number?
False
Is (3/6)/((-17)/(-9363158)) a composite number?
True
Is ((-3)/(-9))/(11/2453253) a prime number?
False
Let t = -1786 + 2605. Suppose r = t + 2252. Is r a composite number?
True
Suppose -b - 12*b = 553408 - 2393831. Is b composite?
True
Let c be -1 + 3 + 1112/16*34. Suppose -7*p + c = -15058. Is p composite?
True
Suppose 0 = -8*l - 55 - 89. Is 1582063/441 - (-8)/l a prime number?
False
Suppose -700*i = -698*i - x - 31987, 0 = 4*i + 2*x - 63954. Is i a composite number?
False
Let j = 5 - 24. Let c = j - -18. Is -2 + (c - -3) + 211 a prime number?
True
Let y(j) = j**3 - j + 1. Let k(z) = 6*z**3 - 11*z**2 + 21*z - 17. Let l(x) = k(x) - 2*y(x). Is l(6) composite?
False
Let o be 48/(-18)*18/(-4). Suppose -o*z - 60 = -9*z. Is (-3)/5 + (-2872)/z composite?
True
Let d(a) = 18*a**2 + 25*a - 589 - 2*a**2 + 492. Is d(6) prime?
False
Suppose -2*c - 266506 = -2*t, 36*t - 399751 = 33*t - c. Is t a composite number?
True
Suppose -23*l = -58*l + 2316895. Is l a prime number?
False
Let h(v) = 2*v**3 + 11*v**2 + 12*v + 3. Let q be h(-4). Suppose -3*k = 4*u - 21297, 0*u - 35524 = -5*k + q*u. Is k prime?
True
Suppose 2*k + 2*n = 7*k - 8, -k = 2*n - 4. Suppose -k*f = 3*f - 35. Is (-6 + f)/(2/816) - -3 composite?
True
Suppose 6 = 2*y - 8. Let x(v) be the first derivative of 18*v**2 + 11*v + 45. Is x(y) composite?
False
Let g(c) = -c**2 - 7*c - 7. Let w(z) = 2*z - 5. Let f be w(0). Let v be g(f). Suppose 15 = -5*x, -765 = -v*b - 3*x + x. Is b composite?
False
Let v = -35342 + 57819. Let l = v - 15918. Is l a composite number?
True
Suppose -10108 - 15988 = -2*b - l, 0 = -b + l + 13039. Is b a composite number?
True
Suppose 1091323 = 4*o - 5*u, -7*o + 6*o + 272812 = 5*u. Is o composite?
True
Let w(s) = -27*s - 3 - 4 + 0. Let t be w(-2). Suppose 8488 = -t*k + 51*k. Is k a prime number?
False
Let x be (-1)/((-40)/(-12) + -3). Let c be 5/20*0 + x + -1. Is (-5470)/(-14) + c*(-1)/14 a prime number?
False
Suppose 0 = -1063*k + 1122*k - 2525141. Is k composite?
True
Let d(u) = -7*u - 9. Let q be d(7). Let j = -64 - q. Is (-14*(-1)/j - -2)*-753 a prime number?
True
Let u(r) = r**2 - 18*r + 7. Let i be u(17). Let t(q) = -q**3 - 9*q**2 - 8*q - 5. Let l be t(i). Let d = l - 96. Is d composite?
False
Suppose -92 = 2*l - 4*l - c, 3*l + 2*c - 138 = 0. Let n = 44 - l. Let w(x) = 29*x**2 - 5*x - 5. Is w(n) a composite number?
True
Suppose 890513 = g + 2*o, 2*g - 2*o - 1668474 = 112570. Is g a composite number?
True
Suppose -2*u + s + 112425 = 0, 168640 = 3*u - 25*s + 21*s. Let o = u + -34785. Is o a composite number?
True
Suppose -4*f = -4*n + 48, -4*n + 8*n - 24 = f. Is (-4719 - 2)/(((-16)/f)/(-2)) a prime number?
True
Let w(t) = 88