False
Let v(a) be the second derivative of -54*a - 29*a**3 - 3*a**3 - 13*a**2 + 24*a. Is v(-6) prime?
False
Let t = 54 - 47. Let u(y) = -y**3 + 2*y**2 + 4*y + 8. Let z(p) = -p + 1. Let n(x) = -u(x) + 3*z(x). Is n(t) a prime number?
True
Suppose -39896 = -2*f - s, -2*s = 5*f + 371 - 100112. Is f composite?
False
Let l(x) = -x**2 + 4. Let z be l(2). Suppose z = -2*c + 10, 2*a = -c - 0*c + 7191. Is a a prime number?
True
Let b = -1 + 12. Let z = b - 7. Suppose -z*k - 4*n + 3824 = -0*k, 2871 = 3*k + 2*n. Is k composite?
True
Let y = -23551 - -42348. Is y composite?
False
Suppose 0 = -2*a - 3*z - 1, 5*a + 9*z = 4*z - 5. Suppose 0 = -4*c - 4, -j - 3*c - 7 = c. Is -1 + a + 313 + j a prime number?
True
Let p = -117947 + 186254. Is p a composite number?
True
Suppose 123*b - 137*b + 112 = 0. Suppose 0 = l + b*l - 207657. Is l a prime number?
False
Let d = 26 - 30. Let q be (-18)/(-4) + d/(-8). Suppose q*y - 19027 = 1738. Is y a composite number?
False
Let a be (-3770)/6 - (-6)/18. Let t = 1145 + a. Is t composite?
True
Let s = -398 + 402. Let r(x) = -x**3 + 3*x + 3. Let t be r(-2). Suppose -t*k + s*k = -118. Is k prime?
False
Let s be (-1)/((6/(-8))/(-3)). Let z(j) = -4*j**3 + 3*j**2 + 11*j + 16. Let a be z(-8). Is a/10 + s/(-20) a prime number?
False
Let k = 423 + -425. Let i(a) = -4141*a + 3. Is i(k) prime?
False
Let i = 8 + -3. Suppose -p - i*o + 970 = 0, p - 863 - 80 = 4*o. Suppose d + p = 6*d. Is d composite?
False
Let o(p) = 1740*p**2 - 23*p + 8. Is o(-13) composite?
True
Let o be 0 + (-6 - -2) + -150. Let l = 182 - o. Suppose -2*b = -l - 3466. Is b a prime number?
True
Let a(l) = -l**3 - 3*l**2 + 3*l. Let u be a(-4). Suppose 8 = u*d - j, -d - 4*j = -4 + 2. Suppose -3*p - 2*r = -529, -d*r = 5*p - 4*r - 887. Is p composite?
True
Let n(y) = 131*y - 23. Let v be n(6). Suppose 5*z + 4*g = 7*g + v, 4*g = -2*z + 326. Is z prime?
False
Suppose 0 = 6*f - 36 - 6. Suppose -4*a = -f + 35. Let b(u) = 57*u**2 - 6*u + 4. Is b(a) a composite number?
True
Suppose g - 3*k = -0*g - 15, 5*g + 4*k - 20 = 0. Suppose -2*c = -o - o - 814, -4*c - o + 1638 = g. Is c a prime number?
True
Let h be ((-27)/63)/((-1)/7) - 40810. Is ((-5)/15)/(2 - h/(-20403)) composite?
True
Suppose -2*o + 32028 = 4*o. Let p = o - -699. Is p composite?
False
Suppose 0 = -3*y + 4*g - 1, 5*y + 5*g + 60 = 0. Let m(z) = -7*z - 16. Is m(y) composite?
True
Let a(r) be the second derivative of 196*r**3/3 - 233*r**2/2 + 8*r - 6. Is a(22) a composite number?
True
Suppose 3*g - 15*y = -13*y + 682390, -4*y = 5*g - 1137346. Suppose 13*t - g = -5*t. Is t composite?
False
Suppose -u = -5*c + u + 32, u + 1 = 0. Let q be (-3 + 3)*3/c. Suppose r + q*v = v + 1165, -5*r = 4*v - 5807. Is r prime?
True
Let d(j) = 170*j**3 - 2*j**2 + 2*j. Let t be d(2). Suppose -6*b = -t + 402. Suppose -5*w = -10, -2*c + b = -c - w. Is c a prime number?
False
Let o be (-336)/(-9)*(-39)/4. Let w = 83 + o. Let k = -72 - w. Is k a composite number?
True
Let o = 191 - 190. Let d(h) = 88*h + 7. Is d(o) a composite number?
True
Let q(y) = 2405*y**2 + 7*y + 59. Is q(7) composite?
True
Is 772808/7 - ((-2)/(-210))/(9/135) a composite number?
True
Suppose -5*l = -r + 26, 3*l + 39 + 3 = 5*r. Suppose 11*b = -c + r*b - 19, -1 = -2*c + 3*b. Let p = c - -473. Is p prime?
False
Suppose -5*a - 260635 = -5*r, r + 17*a - 19*a - 52133 = 0. Is r composite?
False
Suppose 2*g - 5*l = -0*g - 20, 5*g = -3*l - 50. Let z(t) = 4*t + 56. Let s be z(g). Suppose -42463 = -s*v - 7167. Is v composite?
True
Is (-12838)/(-2 - -1) - 11 a prime number?
False
Suppose 0 = -4*f + 4*q + 608664, 8*f - 10*f + 4*q + 304322 = 0. Is f composite?
True
Suppose -2*p - 3*p = m - 60372, -2*p = m - 24147. Suppose -n = 3*r - 1961, 5*n + 2*r + 2218 = p. Is n prime?
True
Let a = 496 + -488. Let b(j) = 119*j**2 - 9*j + 65. Is b(a) a composite number?
True
Suppose -40*g - 68*g = 10*g - 42060038. Is g a prime number?
True
Let f = -198402 + 290105. Is f a prime number?
True
Let n(y) = -59*y - 18. Let q be n(-7). Suppose 3*z = 841 + q. Let s = z + -149. Is s a composite number?
False
Let f = -22120 + 63765. Is f a prime number?
False
Suppose 358587 = 8*y + 84*y - 11*y. Is y a prime number?
False
Suppose 6*b - 3622001 = 1313375 + 7262222. Is b a composite number?
True
Let o(m) = 7697*m**2 - 5*m - 6. Let y be o(-1). Let k = y + 1870. Is k a composite number?
True
Suppose 77*g + 440 = 85*g. Is (9 + -4)*34177/g composite?
True
Suppose 0 = -11*n - n + 84. Suppose n*t = -13*t + 20860. Is t prime?
False
Let m = 11785 + -3231. Let r = m - 4271. Is r a prime number?
True
Suppose 0 = 6*t - 64067 + 22793. Suppose j = u - t, -u = -81*j + 76*j - 6871. Is u a prime number?
False
Suppose v = 6*v - 30. Let j(w) = -w - 3. Let c be j(-6). Is 2/(4/c*v/5884) a prime number?
True
Suppose 6650 + 1872 = -w + 2*w. Is w composite?
True
Let w(j) be the second derivative of j**4/4 - 8*j**3/3 + 49*j**2/2 - 34*j. Is w(-12) composite?
False
Let j(v) = -5*v**3 + v**2 - 5*v - 6. Let k be j(-1). Suppose 0 = -4*w + 4*l - k*l + 11272, -2*l - 2827 = -w. Is w a composite number?
False
Let h(c) = -3*c**3 + 28*c**2 + 47*c + 275. Is h(-26) a prime number?
True
Let v = 1850 - 303. Suppose -3*b - 2*b = -q - 1960, -5*q = -4*b + v. Suppose -2*l - l = -b. Is l a composite number?
False
Let o be (1 + -4 - (-265)/(-15))*81. Let y = o - -3539. Is y composite?
True
Suppose 0 = 37*s + 37*s - 80*s + 1066062. Is s a prime number?
True
Let n(z) = 138*z**3 + 6*z**2 - 28*z + 65. Let g be n(3). Suppose 10*m - 1169 = g. Is m prime?
False
Let l(n) = 66*n**2 + 24*n - 176. Let k be l(8). Suppose -6*v + k = 766. Is v a composite number?
True
Let d(c) = 3*c + 3. Let m be d(13). Suppose 2*y = -4*y + m. Suppose -1049 - 1254 = -y*w. Is w prime?
False
Suppose 940875 = g + 2*j, 8*j = g + 12*j - 940879. Is g a composite number?
False
Let a(q) be the second derivative of q**5/20 + 3*q**4/4 + 2*q**3/3 - 11*q**2/2 + 4*q. Let l be a(-8). Suppose -20*i - 161 = -l*i. Is i prime?
False
Let u = 3883976 - 2306793. Is u a composite number?
False
Let l(q) = 61*q**2 - 88*q + 38. Suppose -272 = 11*o - 19. Is l(o) composite?
True
Let i be (28/6 + -4)/(4/(-54)). Let a be 110/i + (-6)/(-27). Let q(b) = -b**3 + 9*b**2 - 6*b - 13. Is q(a) a composite number?
False
Let l(v) = v**2 + 5*v - 6. Let t be l(-6). Suppose q = -u - 3*q + 2451, t = q + 3. Suppose -6*j + u = -3051. Is j composite?
False
Suppose -m + 2*b = -56, -14*m + 13*m + 44 = b. Is (0 + 20669)/(-47 + m) prime?
False
Let c = 914 - 645. Let v = c + -78. Is v composite?
False
Let h(i) = 3*i - 9. Let l(j) = 1. Let t(w) = h(w) - 2*l(w). Let f be t(4). Is 521 + -2 - (1 - f) prime?
False
Let s(h) = -101*h**2 + 27*h + 22. Let b be s(12). Let n = b - -23017. Is n prime?
True
Suppose -5*w + 3*m + 48981 = -58816, -w + 21553 = m. Is w composite?
False
Let j = 14 - 14. Suppose 3*p - u + 7 - 2 = j, -3*u = 12. Is (22/p + 7)/((-1)/6297) prime?
True
Let w(l) = 3*l**2 + 4 + 0*l + 0 - 3*l + 2151*l**3 - 2. Suppose 2*z + 5*a = 27, 0 = 2*a - a - 5. Is w(z) composite?
False
Suppose -5*l = -t - 24, -2*l + 3*t + 12 = l. Suppose -l*u + 4*r = 27, u + 4*r - 16 = -7. Is 1 - (u - (-6925)/(-5)) composite?
True
Suppose -48*a - 6*a + 2268 = 0. Let w be 100 - (-2)/4*-2. Let k = w - a. Is k composite?
True
Let k = 1142303 + -783265. Is k a prime number?
False
Let v be (21505/(-22))/23*(-12)/10. Is (33/3)/(((-3)/v)/(-1)) a composite number?
True
Is (15/9)/((-63)/(-17690589)) prime?
False
Let p = -212730 - -356309. Is p prime?
False
Is 9/(-252)*7*-279812 a composite number?
True
Let a = 59798 + 23710. Let t = -33231 + a. Is t composite?
True
Let u = 12 - 11. Suppose 4*t + l = -6, -4*t - 2*l - l - 10 = 0. Is u*t*(-696 + 5) prime?
True
Suppose -134*q = -135*q + 5. Let m(c) = 3*c**3 - c**2 + 4*c + 9. Is m(q) prime?
True
Let h(p) = -240*p + 128251. Is h(0) composite?
True
Let b be ((-96)/(-15) - 2)*10. Suppose -12*f + 174 = -294. Suppose f*z = b*z - 5785. Is z prime?
False
Is (-4 + 5)/((-16)/(-810224)) a prime number?
False
Let d be (0 - 0) + (12 - 0). Let s be (-7)/2*d/(-21). Is 2*1637/s*1 prime?
True
Let g(b) = 2522*b - 7227. Is g(65) composite?
False
Suppose -8*m + 39 = 5*y - 9*m, 4*y = -5*m + 37. Suppose -11*g + y*g = -31107. Is g a composite number?
False
Suppose -334557 = -145*b + 154*b. Let z = b - -66272. Is z composite?
True
Let k = -16714 - 