v(k) = -8*k**2 - 14*k + 89. Let y(a) = 15*a**2 + 29*a - 178. Let c(s) = 7*v(s) + 4*y(s). Is c(-20) composite?
False
Let d(m) = 7*m - 224. Let h be d(33). Suppose h*n - u = 6*n + 202, 1010 = 5*n + 3*u. Is n composite?
True
Let g be (-40)/(-6)*3/2. Suppose 0 = -g*x + 4*x. Is 958/(-2 + 4 + x) composite?
False
Let g = 50 + -37. Suppose -15390 = 10*n - g*n. Let q = n - 2423. Is q a prime number?
True
Let a(r) be the first derivative of -r**4/4 - 13*r**3/3 - 16*r**2 + 29*r + 58. Is a(-14) prime?
True
Suppose -1517*n - 89565 = -1520*n. Suppose -5*z = 25, 5*f - 5*z - 7 = 33. Suppose -n = -4*o - f*o. Is o a prime number?
False
Suppose 9*u + 344 = 11*u. Let p = u - 123. Let q = 988 + p. Is q a composite number?
True
Let i = -24 - -38. Let k be (-6)/i + 14776/14. Let b = k + 6. Is b composite?
False
Let s = 28363 + -13962. Is s prime?
True
Suppose 33*o + 2*b = 31*o + 642364, 0 = -3*o - 4*b + 963541. Is o a composite number?
False
Let j be ((-740)/(-6))/(-12 + (-38)/(-3)). Let d = 2346 + j. Is d composite?
False
Let y(l) = 2*l + 1. Let d be y(2). Suppose -2*t - a = -6*a - 17, 63 = 3*t + d*a. Let w = 313 + t. Is w prime?
False
Let s(j) = -677*j - 1. Let r be s(-6). Let b = r + -2404. Is b prime?
True
Is -1 - (-439)/4 - (-19 - (-1050)/56) prime?
True
Let d(b) = -1554*b + 6. Let h be d(-6). Suppose -4*n + h = n. Let o = n - 977. Is o a prime number?
False
Suppose 4*f + 2*v - 7*v = 33, 0 = 3*f - 4*v - 26. Suppose -f*w - 3*y + 974 = 0, -4*w + 3*w = 5*y - 501. Let g = w + -336. Is g prime?
False
Let z = -298 - -167. Let u = 132 + z. Let n(m) = 3109*m**3 - m**2 - m + 2. Is n(u) a prime number?
True
Let b(s) = -s. Let l(y) = -4*y**3 + 7*y**2 - 10*y + 19. Let p(g) = 3*b(g) - l(g). Let z(x) = x**2 - 1. Let d be z(-3). Is p(d) a composite number?
False
Let d(c) be the second derivative of c**4/6 + 4*c**3/3 + 3*c**2/2 + 24*c. Let l be d(-4). Suppose l*m = 4*m - 1865. Is m composite?
True
Let c(k) = 259*k**2 - 63*k - 323. Is c(-5) a composite number?
True
Let v(x) = -x**2 + x + 21. Let l be v(0). Let r(j) = -6*j**2 + 88*j - 308. Let k be r(33). Is ((-7)/(l/6) - k) + -1 prime?
False
Let z(w) = -2*w**2 - 53*w + 29. Let a be z(-27). Let l(u) = 129*u - 1. Let d(j) = -j - 1. Let g(y) = d(y) + l(y). Is g(a) a composite number?
True
Suppose 0 = 14*x - x. Suppose x = -35*u + 247617 + 248088. Is u composite?
True
Let v = -38 + 41. Suppose -v*c - 6 = -39. Suppose -10*i + c*i - 766 = 0. Is i a prime number?
False
Suppose 2082 = -15*m - 1263. Let j = 220 - m. Is j a prime number?
True
Let a = -362 - -2511. Let w = 3195 - a. Let o = 2443 - w. Is o composite?
True
Suppose -k - 4*w + 44837 = 0, 2*k - 4*w - 179448 = -2*k. Is k a composite number?
True
Let b(d) = 8*d + 6. Let r be b(7). Let s = -151 + r. Let l = s - -126. Is l prime?
True
Is 2626/(-221) + 12 + 19744676/68 prime?
False
Suppose 4*h + 5*s = 893565 - 109936, h - 195914 = s. Is h prime?
False
Let o = 6 - 6. Let h(j) = -61*j + 146. Let f be h(-14). Suppose -x + 893 + f = o. Is x a prime number?
False
Let m = -256 + 874. Suppose -252 = -3*c + m. Suppose 0*q + c = 2*q. Is q a prime number?
False
Suppose 3*f - 18270 - 150426 = 3*s, -2*s = 2*f - 112468. Is f a composite number?
True
Let p(d) = d**3 - d + 48. Let j be p(0). Suppose -6*f - j = 2*f. Is (-3814)/f + (-1)/(15/10) a prime number?
False
Suppose 17*m - 120 = -13*m. Suppose 0 = -k - 5*z - 0*z + 4327, 2*k - 8654 = -m*z. Is k prime?
True
Suppose -13*r + 3*r = -4270. Suppose -3*u = -4*u - 3*i + r, -u - 4*i = -427. Is u a composite number?
True
Let l = -641 - -647. Is l/(-14) + (2 - 2415138/(-77)) a prime number?
False
Let n = 25 + -17. Is 2/n - 146969/(-236) a composite number?
True
Suppose 0 = 8*s - 10*s + i + 42750, 0 = i + 4. Let v = 41654 - s. Is v composite?
True
Let x be (1 - 2)/((-2)/2198). Let t(i) = 224*i - 36. Let w be t(-6). Let o = x - w. Is o composite?
True
Let m(b) = -2625*b + 331. Is m(-4) a prime number?
True
Suppose 476*h - 491*h = -833655. Is h prime?
False
Let b(f) = -73*f**2 - 3*f + 113647. Is b(0) a composite number?
False
Is (-3203544)/(-40)*35/42*2 prime?
True
Let l(i) = 8*i + 2 + 17 + 144*i - 29. Is l(12) prime?
False
Let v = -26301 - -39691. Suppose -3*g + 5759 = -v. Is g prime?
False
Let m be 35/(-14)*-4*1/2. Suppose -m*z - q = q - 7, 0 = -5*z + 4*q + 1. Suppose 0 - z = -h, k = 5*h + 504. Is k a composite number?
False
Suppose 138 = -4*h - d, -4*h - 73 = -3*d + 73. Let g = h + 101. Is 1399/11 - 12/g a prime number?
True
Suppose 5*h - 3*d = 76970, 2*h + 3*d = -2*d + 30757. Is h prime?
True
Let y(q) = 233077*q**3 + 2*q**2 + 6*q - 8. Is y(1) prime?
False
Let d be 1636/3*498/(-332). Suppose 4924 = -o + 5*o. Let k = d + o. Is k a prime number?
False
Let h = 26654 - 11376. Is h a prime number?
False
Is ((-16)/(-6))/((-264)/(-32580999)) a composite number?
False
Suppose 30*d - 27*d = 0. Suppose d = 13*p - 17*p + 2516. Is p a prime number?
False
Suppose u = -5*u + 7*u. Is (-5 + u - 99/(-18))*8706 a prime number?
False
Let b = -4337 - -6171. Suppose 2*k + 150 = -2*p + 2280, 4*k + p = 4260. Let n = b - k. Is n prime?
True
Is 1*(5748 + 1)/((-37)/(-481)) a prime number?
False
Suppose -27*k - 20*k + 141 = 0. Is 14477 + (5 - (k - (1 - 1))) prime?
True
Suppose 0*o + 4*o - 4367288 = 2*c, -3*c = -3*o + 3275475. Is o prime?
False
Let q(n) = 2*n**2 + 14*n + 14. Let v be q(-13). Suppose 5*h - 2*r + 6*r = 228, -4*h + 3*r = -v. Suppose -h = -x + 603. Is x a composite number?
False
Let z(a) = 9*a + 69. Let t(q) = 4*q + 34. Let r(m) = 13*t(m) - 6*z(m). Let l be r(13). Suppose h = l*h - 753. Is h prime?
False
Suppose 44 = d - j, -3*j + 65 - 21 = d. Let t = d + -74. Is 4*9/t*10995/(-18) a composite number?
False
Let f be (-142)/6 - 14/(-21). Let n = 5 + f. Let o(m) = -m**2 - 23*m - 25. Is o(n) a prime number?
False
Suppose -25*g - 440 = -30*g. Let x(s) = s - g + 174 + 581. Is x(0) composite?
True
Let r be (2/8)/(9/108 - 0). Suppose l + 7 = i + 1294, r*l - 4*i = 3863. Is l a composite number?
True
Let y(i) = 59*i**2 - 97*i - 121. Is y(-24) a prime number?
True
Suppose -k + 10 = -3*k + 3*o, 21 = k + 5*o. Let i be (-3 + k)*526/(-4). Let u = 844 - i. Is u prime?
False
Let f be ((-12927)/(-2))/3 + 3/(-6). Let w = f + 380. Suppose -2*d - 2*d - 2*u + w = 0, 5*u - 1918 = -3*d. Is d prime?
True
Let z be 22082 + (-1 - (5 + -5)). Suppose 5*q - z = -6036. Is q composite?
False
Let b = 8554 + 62857. Is b a prime number?
True
Let w be (-5)/(175/(-2422)) + (-12)/(-15). Is (-1 + w)*(-5697)/(-81) a composite number?
True
Let q(d) = 16*d**2 + 13*d + 31. Let w be (20/25)/(((-4)/5)/(-4)). Suppose -5*x + w*o = -0*o + 52, 37 = -5*x - o. Is q(x) prime?
False
Let v be 11623 - (1 - (-6)/(-3)). Suppose 5*o - v = -4*i, 1808 = i + 4*o - 1087. Is i a prime number?
False
Suppose 0 = 39*v + 1653 - 4968. Suppose -4*q - 91319 = -5*a, -83*q = -4*a - v*q + 73050. Is a composite?
True
Is 0 - ((-47664)/40 + 21/35) a composite number?
True
Let v(a) = 2*a**2 + 30*a + 5. Let l be v(-15). Suppose 2*i - 5920 = -2*h, 5919 = 2*h - 4*i + l*i. Is h a prime number?
False
Suppose 423*f - 247187778 = -3*f. Is f prime?
False
Let i(f) = 9664*f + 789. Is i(8) a composite number?
False
Suppose -1112*o = -1083*o - 891953. Is o a prime number?
True
Let b(q) = 16*q**2 - 7*q - 8. Let a(v) = v**2 + v. Suppose -k = 4*o + 26, 0 = -5*o + k + 4*k - 20. Let w(h) = o*a(h) + b(h). Is w(-5) a composite number?
False
Let p(k) = k**2 - 16*k + 12. Let i be p(15). Let s be 4/(-8)*(i + 3)/3. Suppose -3*r - 2*b + 2717 = 0, s = -3*r - 12*b + 8*b + 2719. Is r a composite number?
True
Let u(m) = 5*m - 2. Let q be u(1). Let v(n) = -817*n + 4. Let b be v(q). Let j = -1558 - b. Is j a composite number?
True
Let n = 5250 + 15426. Suppose -212383 = -23*q + n. Is q a prime number?
True
Suppose 13*k + 109 = 5. Let i(x) = -1485*x + 29. Is i(k) composite?
False
Let q(g) = -14*g + 80. Let s be q(6). Is (-16)/(-24)*s/(-8)*10473 composite?
False
Suppose 0 = -5*i - 16*i + 442197. Let d = -13624 + i. Is d prime?
True
Let d(i) = i**3 + 7*i**2 - 2*i - 1. Let c be d(-7). Suppose -1213 = -c*z + 16298. Is z prime?
False
Suppose 0 = 3*l - 13*m - 1861105, 819240 = 3*l + 3*m - 1041801. Is l a composite number?
False
Let p(w) = w**3 + 29*w**2 + w + 34. Let x be p(-29). Let s(f) = -f + 5. Let g be s(x). Suppose -q + 2*q - 967 = g. Is q prime?
True
Suppose 3*m + 2*p