 -793213. Is u a prime number?
True
Let v(b) be the second derivative of 159*b**5/40 + b**4/6 - 17*b**3/6 - 22*b. Let l(s) be the second derivative of v(s). Is l(7) a prime number?
True
Let n(v) = -v**3 - 6*v**2 - 4*v + 8. Let r be n(-5). Suppose r*u - 413 = 3352. Is u a composite number?
True
Suppose -11*x + 13*x - 132885 = -p, 0 = 15*x + 3*p - 996624. Is x composite?
True
Suppose b - 2 = -0. Let s be -2 + b + -2 + -1761. Let f = 4582 + s. Is f prime?
True
Let s(o) be the second derivative of o**4/4 + 28*o**3/3 - 31*o**2/2 + o - 21. Is s(-26) prime?
True
Let t = 12284 - 3679. Is t prime?
False
Is (-3 + (-209)/(-57))*(27034 - 1) a composite number?
True
Let n(h) = 19187*h + 2631. Is n(6) prime?
False
Let j(w) = -242*w + 4. Let d be j(-5). Let b(p) = 2 + d*p**2 - 6*p + 7 - 7 + 3*p. Is b(1) a prime number?
True
Let l be 1/3*54/9. Suppose -241 + 647 = u + j, -j + 811 = l*u. Let k = u + -260. Is k prime?
False
Let a = -1825 + 2859. Suppose 5*u = 0, 2*f - 13*u = -8*u + a. Is f a prime number?
False
Let u = -275141 + 659832. Is u a composite number?
False
Let c(i) = 17788*i**3 - 2*i**2 - 4*i + 9. Is c(2) prime?
True
Suppose 6*d = 66 - 60. Is 19584/14 + d/7 a composite number?
False
Let r = -503 + 506. Suppose -4*d = 5*i - 41759, 0*i = 3*i + r*d - 25056. Is i composite?
True
Suppose -8*s - 40413 = 11. Let v = 8916 + s. Is v composite?
False
Let s = -37638 - -336089. Is s composite?
False
Let o(w) = -17*w**2 - 2*w + 1. Let j be o(1). Let t(q) be the first derivative of -q**4/2 - 20*q**3/3 + 15*q**2 + q + 11606. Is t(j) a prime number?
False
Let q = 2150 + -1158. Let z be 26862/30 + (-6)/15. Suppose 0 = -3*b + q + z. Is b composite?
True
Let v be 107*(-1 - 5)*6. Let q = -5538 - v. Is q/(-8) - (1 - 25/20) a prime number?
True
Let b = -1062691 - -1541864. Is b a prime number?
False
Let c = -66 + 67. Let y be (-3363)/3 + c + 0. Let t = y + 2475. Is t composite?
True
Let o be (((-270)/25)/9)/(9/30). Is 9036 - 4 - 2/o*-2 a prime number?
False
Let w = -349 + 347. Is (w + -441)*(-14 - -13) a prime number?
True
Let g = -11 - -13. Is (664/g + 5 + -6)*1 a prime number?
True
Suppose -129*t = -88*t - 71*t + 7962810. Is t a composite number?
False
Is (-5 - (-1661)/330)*4 - (-2743509)/45 composite?
True
Suppose -5*n = -g - 13, -2*g - 7*n = -5*n - 10. Let h(f) = -9*f**g + 11*f**2 + 3*f - 12*f + 3. Is h(8) a composite number?
False
Suppose 15 = 5*r + 5*t, -3*r + 2*t = -r - 22. Suppose 215 = -r*x - 1773. Let z = 805 + x. Is z composite?
False
Let i(g) be the second derivative of -23*g**5/4 + g**4/4 - 17*g**3/6 - 8*g**2 + 38*g. Is i(-5) a composite number?
False
Let r = 34 + -30. Let h be (r - -162 - 4)/(0 + 1). Suppose -d - h = -1343. Is d a composite number?
False
Is (2/(-4))/(123/(-13515486)) composite?
False
Suppose -c + 54 = -2*p + 5*p, -5*c = 5*p - 90. Suppose 2*u - p = -12. Suppose -g + 2528 = -u*r, -8*r + 5001 = 2*g - 3*r. Is g a prime number?
False
Let h be (1/2)/((30/2676)/5). Suppose g + 4*g + 481 = -4*d, -g = -2*d - h. Let v = d + 209. Is v prime?
False
Let c be 1 + 1020/4 + -4. Let n be c/56*(8/(-3))/2. Is ((-15)/n - 2)*986 a composite number?
True
Suppose 4*y = 4 - 0, -y = -2*m + 9. Let x(k) = 142*k**2 + 21*k - 6. Is x(m) a prime number?
False
Suppose 6*b - b = -2*f + 1243, -2*f + 2*b + 1264 = 0. Let i = 8782 + -4042. Let s = i - f. Is s prime?
True
Let f = -83815 - -118912. Is f a prime number?
False
Let q = 174 - 154. Suppose q = 5*z, -14*r + 17*r + 2*z = 2453. Is r prime?
False
Let z = 1101360 + -179605. Is z a composite number?
True
Let a(c) be the third derivative of 17*c**5/12 + c**4/12 + 4*c**3/3 - 274*c**2. Let d = 4 - 1. Is a(d) a prime number?
False
Let l(s) = 746*s**2 + 6*s + 13. Let t be l(-2). Suppose -2224 = -h + t. Is h a prime number?
True
Suppose -a + 14 + 0 = -x, -84 = -4*a - 3*x. Is (-19841)/((-5)/4 - a/(-72)) prime?
True
Suppose 0 = 6*k + 228 - 2274. Suppose d = 103 + k. Suppose -x + d + 222 = 3*r, 3*r = 5*x + 684. Is r prime?
True
Let d be (-16)/12*1422/(-4). Let b be d/45*9*-5. Is (4/14 + b/42)*-37 prime?
False
Suppose -3684*b = -3675*b - 431199. Is b composite?
False
Let k(g) = -38347*g - 2195. Is k(-16) a composite number?
True
Suppose 4*l - 161017 = 2*j + 2134133, 2868933 = 5*l + 2*j. Is l composite?
False
Let i(p) = -2*p**3 + p + 6. Let y be i(3). Let v = -45 - y. Suppose v*q + 303 = r + q, -4*q + 905 = 3*r. Is r a prime number?
True
Is ((-3)/6*5)/((-45)/6133230) a prime number?
False
Suppose -140254 = 27*z - 979738. Suppose 12*q - z = 12552. Is q composite?
False
Let i(x) = -35*x**3 - x**2 + 2*x - 1. Let j be i(1). Let w be (-7)/(j/(-2))*-5. Is -335*((w - 5) + 2) a prime number?
False
Let u be (0 + 112/12)*72/14. Suppose 13*y = u*y - 1501465. Is y a prime number?
True
Let o(v) = v**2 - 11*v - 10. Let i be o(11). Let n(z) = 74*z**2 - z + 17. Let x be n(i). Suppose x = 8*k - k. Is k a composite number?
False
Let k(r) = -r**2 + 33*r + 15. Let s be k(33). Suppose -3*x + s = 0, -5*x = 2*o - 7*o + 3150. Is o a prime number?
False
Suppose -10878892 + 2149367 = -116*m + 25463679. Is m prime?
False
Let g(x) = 6 + 20*x - 5 - 58*x. Let t(i) = -i. Let u(b) = -g(b) + 6*t(b). Is u(10) prime?
False
Let k be 12/10*-25*24/180. Is (24437/((-28)/k))/(0 - -1) a composite number?
False
Let b = 26 + -27. Let p = b - -29. Suppose -29*s + 1565 = -p*s. Is s prime?
False
Let c(u) be the first derivative of -43*u**2 - 4*u - 2. Let y be c(-3). Let d = -175 + y. Is d composite?
False
Let i = 100 + -100. Suppose 4*t + 0*t + 2*w - 18 = i, 4*t - 33 = -5*w. Is 4837/(-21)*t/((-4)/6) prime?
True
Let a(d) = 168*d**2 + 12*d + 45. Let n be a(15). Let l = n - -6334. Is l composite?
True
Suppose 119*b - 122*b + 21 = 0. Let a(m) = -6*m**3 + 8*m**2 - 8*m - 10. Let g(y) = y**3 + y**2 - 1. Let x(t) = a(t) + 5*g(t). Is x(b) a composite number?
False
Let n be 1*(-2 + (3 - -1)). Let s be 5188 + n/2*-1. Suppose 328 = 5*l - s. Is l prime?
True
Let n be (-2248)/(-2) + (-84)/(-12). Let c = n - 268. Is c prime?
True
Suppose -3*w + 992040 = -816*g + 817*g, 0 = -3*w + 5*g + 992094. Is w a prime number?
True
Let j = 578166 - -333827. Is j a prime number?
False
Is (1/(-2))/((-118)/(-590))*617052/(-15) a composite number?
True
Suppose -44137134 - 31582620 = -211*i + 90416793. Is i composite?
True
Let s = 1215065 - 685258. Is s composite?
False
Let n = 141 + -122. Let r(w) = 50*w + n*w - 25 + 19*w - 8*w. Is r(7) a composite number?
True
Let l(g) = -220*g + 37. Let h(f) = 222*f - 37. Let j(v) = 2*h(v) + 3*l(v). Suppose 0 = y - 6 + 9. Is j(y) prime?
False
Let d(w) = 343*w + 8. Let k be d(6). Suppose -7*l + k + 1217 = 0. Is l composite?
True
Let v = 29 - 30. Let r be (164/(-3)*-4)/(v/(-3)). Suppose 0 = -2*y + 5*b + 346, -4*y - 2*b + r = -3*b. Is y prime?
True
Let l(m) = 0*m**2 - 2*m - 3*m - 2 - m - m**2. Let b be l(-5). Let n(w) = 6*w**3 - 3*w**2 - 6. Is n(b) prime?
False
Suppose 5*r + 32 = -103. Let u = r - -24. Is 8815/3 - 2/u a composite number?
False
Suppose -4*c = 16, 4*f + 4*c = 182061 + 759547. Is f a composite number?
True
Suppose 17*j - 20*j + 22203 = 0. Suppose -p = 4*v - 9888, -10*v + 3*p = -7*v - j. Is v composite?
True
Let f(k) = -124*k - 3 + 83*k - 142*k. Let r(v) = -v. Let y(i) = -f(i) - 2*r(i). Is y(4) composite?
False
Let u = 113582 - 39763. Is u a composite number?
False
Suppose 803 - 2803 = -5*g. Suppose 5*a + 399 = 2*v + 4*a, 2*a = 2*v - g. Is v composite?
False
Let p be 3/4 - 0 - (-623)/28. Let v(w) = -w**2 + 23*w + 3. Let m be v(p). Suppose -5*k + 2*z = m*z - 2098, z = 3. Is k prime?
True
Suppose 20 = 5*d - 0*d, 4*i + 2*d = -7860. Suppose -38*m = -82*m + 12*m - 96. Is m + (4/2 - i) + 0 composite?
True
Suppose -4*f + 5*h + 440879 = 0, -461*f - 4*h + 330667 = -458*f. Is f a composite number?
False
Suppose 0 = -9*k + 6*k + 12. Suppose 0 = 2*m - 2*y - 168, -15*m - k*y = -18*m + 254. Is m a composite number?
True
Suppose 15*p = 10*p + 4*v + 241935, -5*v + 241890 = 5*p. Is p prime?
True
Let t = -119 + 112. Let f be 14 + -2 + (-6 - t). Suppose -2*k = 3*x - 4075, 0 = 3*x + 2 + f. Is k a composite number?
True
Let n(j) = -2*j**2 + 1. Let p(i) = -34*i**2 - 17*i - 71. Let k(l) = -3*n(l) - p(l). Is k(-9) prime?
False
Suppose -4*y = -6*y + 5526. Suppose -2*p = p + y. Is p/4*(-52)/39 a prime number?
True
Suppose -16 - 20 = -12*c. Suppose -c*q + 192 = -1305. Is q a composite nu