Let d be (o/12)/(2*2/10816). Let k = -279 - d. Is k a composite number?
True
Suppose 1232 = -z - 6*z. Is 4/(-22)*-118179 - (-16)/z composite?
False
Let o(k) = -k - 6. Let v be o(-6). Let s be (-36)/((-618)/(-126) - 5). Suppose 3*g + t = -v*g + 572, -4*t + s = 2*g. Is g a prime number?
True
Let h be (-679824)/384 - 3/(-8). Let l = 6017 - h. Is l prime?
False
Is (-14)/(70/(-217835)) - 8 prime?
False
Let j(c) = -3*c**3 + 33*c**2 - 29*c + 3. Let a be j(10). Suppose 0 = a*u - 35*u + 68354. Is u a composite number?
True
Suppose -63*i = -99*i + 31493720 - 6138596. Is i composite?
False
Let w = -154348 - -284589. Is w a prime number?
True
Suppose -41*x + 26*x = 45. Is 79/(-237) - 37318/x prime?
False
Let v(s) = s**2 + 6*s - 18. Let n be v(-8). Let f be (-7 - n)*(712/(-2) - 0). Let c = f + -866. Is c composite?
True
Let n(r) = -11248*r - 65. Is n(-4) composite?
False
Let a = -513 - -513. Suppose a*j + 72987 = 3*j. Is j prime?
True
Let a = 48 + -48. Suppose 3*s - w - 26 = a, 4*w - 40 - 16 = -4*s. Is (s/20)/(2/9172) prime?
True
Let i(j) = -j**2 - 42*j - 403. Let o be i(-27). Let n(h) = h**2 + 2. Let v be n(0). Suppose v*k = -o*c + 1399 + 541, 0 = c - 3. Is k a composite number?
False
Let r(w) = -6369*w - 1729. Is r(-22) prime?
True
Let h(p) = p**3 - 3*p**2 - 4. Let j be h(3). Let d be 2095 + -6 - (-2 - j). Let g = d - 1188. Is g prime?
False
Let a(v) = -2*v**2 + 19*v - 17. Let o be a(8). Let h(t) = 727*t - 228. Is h(o) a prime number?
True
Let c(f) = 43678*f**3 + 2*f**2 - 55*f + 54. Is c(1) a prime number?
False
Suppose -37375 = -7*z - 1752. Suppose -3*y - p + z = 0, p + 145 + 8326 = 5*y. Suppose y = 3*q - 594. Is q prime?
False
Suppose 3*g = -10*g + 118222. Suppose 163*b - g = 161*b. Is b a prime number?
True
Suppose 0 = 3*j + 4*m - 87186, 0 = 51*j - 46*j + m - 145327. Is j a prime number?
False
Suppose 31*t = 157 + 91. Is 12/(-9)*(-894)/t composite?
False
Let s be (14/14)/((-1)/(-4927)). Suppose -j - 3*a = -992, -2*j + s = 3*j + 4*a. Is j composite?
False
Suppose 219453 = 4*s + 3*z, -8*z - 329172 = -6*s - 10*z. Is s prime?
False
Let z be ((-123)/(-369))/(1 - (-50656)/(-50658)). Suppose 4*b + s - z = 0, -2 - 2 = 4*s. Is b composite?
False
Let g be (-2)/7 - (-2609768)/98. Suppose 4*z - g = 2*h, -16*z - 2*h + 19976 = -13*z. Is z a composite number?
True
Let n(g) be the second derivative of -g**5/10 - g**4/4 + g**3/3 - 7*g**2/2 - 208*g. Let f(a) = 2*a + 2. Let m be f(-3). Is n(m) prime?
False
Suppose 9*f - 20972 = -6401. Suppose o - f = 2*y + 672, -3*y + 2296 = o. Is o a prime number?
True
Suppose -g = 23*w - 27*w + 78200, 0 = -2*w + 2*g + 39106. Is w a composite number?
True
Let w(m) = -37*m + 67. Let t be w(36). Is 3*((-1)/(-6) + t/(-30)) composite?
False
Let i = 384 + 668. Let z = 311 + 148. Let k = i + z. Is k composite?
False
Suppose 5*x = 24 + 46. Suppose -8 = -6*q + x*q. Is (116/8)/(q/(-178)) composite?
True
Let o(d) = -3*d**2 + 17*d - 1. Let c be o(7). Let p = c + 31. Suppose 3*m - 74 = p*m. Is m prime?
False
Let c(z) = -2*z**2 - 11*z + 2. Let q be c(-5). Suppose -8*s + 5 = -q*s. Suppose -h + 441 = -4*j, 385 = h + s*j - 65. Is h prime?
False
Let m(o) = 45*o**3 - 77*o**2 - 65*o - 11. Is m(24) a composite number?
True
Let v(h) = 6*h**3 + 14*h**2 + 21*h + 23. Let d be v(11). Suppose -4*r + 19534 = -2*i, 3*i - 9595 - d = -4*r. Is r prime?
False
Suppose -3*u - 3*j + 26 = -5*j, j = -1. Suppose -u*d - 5655 = -3*d. Is 4/1 - (d + -6) a composite number?
True
Let j be (-96)/42 - -2 - (-450)/7. Let l = 749 - j. Is l a prime number?
False
Suppose -4*i + 5*q = -68432, 0 = 3*i + 3*q - 8*q - 51324. Let b = 24349 - i. Is b a composite number?
True
Is (13 - (9 - -2))/(2/52199) a prime number?
False
Is (-79673*4/12)/(-13 - (-190)/15) a composite number?
True
Is (1 + 4)*(66/15 - 5) - -184234 prime?
True
Let b(j) = -894*j - 232. Let r be b(-22). Suppose -3795 = -3*o + 4*f + r, 4 = -2*f. Is o prime?
True
Let n = 80 - 78. Suppose 0 = -h + 5*o - 1, -h + 2*o + n*o - 1 = 0. Is 8529/(-6)*(h - 1) a composite number?
False
Is (36/32)/(24/32672)*78 - -6 a composite number?
True
Suppose -q = -5*q + 4*d + 102960, 0 = 4*q - 2*d - 102970. Let b = q - 13560. Is b a prime number?
False
Suppose -58*q + 60*q - 18 = 0. Let d be q/12*1 + (-3)/4. Suppose 2*p - 60 - 42 = d. Is p a composite number?
True
Suppose 4*d + 11*d = -47565. Let j = -2192 - d. Is j a composite number?
True
Let x = 1569 + 7708. Is x prime?
True
Let u(m) = -19*m**3 - 17*m**2 + 8*m - 10. Suppose 20*g = 21*g - 11. Let q(i) = -10*i**3 - 9*i**2 + 4*i - 5. Let w(f) = g*q(f) - 6*u(f). Is w(4) a prime number?
True
Suppose -4*d = 0, -3*u - 3*d - 1 + 16 = 0. Suppose 3*w - 4308 = -3*i, 3 - u = 2*w. Is i composite?
True
Suppose 0*a - 2*a + 6 = 0. Suppose v = -z + 2401 + 560, z = v + 2971. Suppose -x + 749 = -3*w, -x + z = a*x + 3*w. Is x a composite number?
False
Suppose -132*n - 132*n + 267*n - 399909 = 0. Is n prime?
True
Let m = -715 + 720. Suppose -4*w - 20 = 0, -w = -m*q + 48484 + 80796. Is q a prime number?
False
Suppose -89353 = -27*g + 119978. Is g composite?
False
Suppose 0 = 5*a + 4*m - 44008 + 11743, -2*m - 25786 = -4*a. Is a a composite number?
False
Let y be -1 - 9*3662*6/(-36). Let c = y + -2106. Is c a prime number?
False
Let z(n) = -111*n - 10. Let d be z(2). Let m = -2280 + 1179. Let c = d - m. Is c a composite number?
True
Let n = -19 + -20. Let h = -42 - n. Let p(j) = 160*j**2 - j - 4. Is p(h) composite?
False
Let k(b) = -72*b**2 + 47*b - 15. Let u be k(16). Let q = -11306 - u. Is q a composite number?
False
Let k(h) be the first derivative of -18*h**2 + 7*h + 1. Let a(q) = 69*q + 960. Let j be a(-14). Is k(j) a composite number?
False
Let v = -595093 - -857400. Is v a prime number?
False
Let s = 3521111 - 1747208. Is s composite?
True
Let n(o) = 135*o + 45. Let q be n(5). Let i be (-14)/10 + 1 + q/50. Suppose 785 = -i*a + 19*a. Is a prime?
True
Let t be 4/(-3) + 10*(-6)/(-45). Suppose -25 = -3*f - 5*a - 6, 4*f + 3*a - 7 = t. Is (-25977)/(-33) + f - (-2)/(-11) a composite number?
True
Let o(f) = 21270*f - 31. Is o(4) prime?
True
Let w = 2534226 - 1766275. Is w prime?
True
Is (106374/(-12))/((-8)/16) a prime number?
True
Suppose 0 = 2*r - 2*y - 274006, 5*y + 5823 = -2*r + 279787. Is r composite?
True
Let z = 4523378 + -2148497. Is z a composite number?
True
Suppose 0 = 3*m + 2*u - 256221, 5*u = 57*m - 55*m - 170852. Is m prime?
True
Suppose -14701 = -5*y + 12849. Suppose 0 = 2*l + 4*v - y, -2*l - l + 8289 = -2*v. Is l composite?
True
Suppose 35 - 51 = -4*m. Suppose -2*g + 490 + 358 = m*t, g + 641 = 3*t. Is t composite?
True
Let l be (6 - (-10)/2)*(0 - -1). Suppose 0 = -l*g - 239 - 69. Is (-2674)/(-12) + (g/(-24) - 1) a composite number?
False
Suppose -r = 5*i + 3*r - 452549, 4*i - 362037 = -r. Suppose 4*h + 2*a = 50256, 5*h + 27692 = -a + i. Is h a composite number?
True
Suppose -p = 2*g - 526224, 4*p = -38*g + 43*g - 1315573. Is g a prime number?
False
Let x = 2771 - 247. Suppose 6*v = 8*v - x. Is v a composite number?
True
Let a(d) = -6*d**3 + 11*d**2 - 6*d + 16. Let b(t) = -t**3 + 2*t**2 - t + 1. Let u(y) = a(y) - 5*b(y). Is u(0) prime?
True
Let j(w) = -833*w + 2. Suppose -2*v + 3 = -g - 2, 0 = 5*g - 2*v + 9. Let t be j(g). Is (3 + (t - 0))*(-1)/(-2) a prime number?
True
Suppose 0 = -4*w - 4*y - 396, -2*y + 3*y = w + 89. Let o = w + -355. Let h = -310 - o. Is h a prime number?
True
Let m = 54 - 52. Let b be (-2)/12 - 155/(-60)*m. Suppose 15 = -b*l, -d - 6*l + 2*l = -82. Is d a prime number?
False
Let f(r) = -35*r - 8. Let t = -4 - -8. Let i be (-13 - 3) + t + -3. Is f(i) prime?
False
Let q be (-2 + 5 - 1821) + -1. Let z = q + 4254. Is z prime?
False
Suppose -2437*c + 2465*c = 11929733 - 1967977. Is c prime?
True
Suppose s = 2*h - 24 - 14, -3*s + 26 = h. Suppose -2*u = -7*u + h. Suppose -3*x = 3*w - 1138 + 241, -w = -u*x + 1196. Is x prime?
False
Suppose 0*z - 101738 = -7*z. Let u = -8685 + z. Is u composite?
False
Let k(y) = y**3 - 62*y**2 - 1137*y - 177. Is k(97) a prime number?
True
Is -4 - -1 - (-573141 + -44 - -39) a prime number?
True
Is ((0 + (-3)/15)*131)/((-117)/66105) prime?
False
Let v(w) = 12*w - 100. Let p be v(10). Let r(x) = x**3 - 17*x**2 - 4*x - 23. Is r(p) a composite number?
False
Suppose 0*b = -3*b + 3*k + 21, -k = 5*b - 5. Suppose 3*m - 24114 = -3*w, -b*m = -6 + 8. Is w a prime numb