True
Is (64398/(-8))/(145/(-580)) composite?
True
Let q(j) = 2813*j**2 - 14*j - 40. Is q(-3) composite?
True
Let u be (-10)/(-7)*(-7 - 168/(-16)). Suppose u*d - 2*t = 56835, -23*t + 18*t = d - 11394. Is d a composite number?
False
Suppose -19*i = -20*i. Suppose i*n - 3*n + 12 = 0. Suppose c - 4*c + 2152 = 2*y, n*c + 2138 = 2*y. Is y prime?
False
Let n be (-9)/(-4) + (-3)/(-4). Suppose 3*s = 2*p + 11163, 0 = n*s + 3*p - 1335 - 9813. Is s a prime number?
True
Suppose -3*n - 7 = -4*n. Let k be ((-84)/16)/(((-63)/(-24))/n). Is 12/8 - 16961/k a prime number?
True
Let n(j) = -j**3 - 5*j**2 + 5. Let k be n(-5). Suppose 2101 = k*u - 4704. Is u a prime number?
True
Suppose -x = 6, 11*x = 5*o + 8*x - 41623. Is o prime?
False
Suppose 55 = 33*x - 38*x. Let t(b) = 9*b**2 - 16*b - 6. Is t(x) prime?
True
Let l(c) = 6190*c**3 + 6*c**2 - 50*c + 161. Is l(4) a prime number?
True
Let t = 4110 + -977. Is t composite?
True
Is 58381 - ((-104)/10 - -12)*5/(-2) prime?
False
Let w be ((-21)/(-6))/(-7)*966. Let r = 726 - w. Suppose r = 27*c - 24*c. Is c composite?
True
Let f(s) = s**2 + 21*s - 20. Let m be f(-20). Let v = m + 681. Is v composite?
False
Let g(l) = 2*l**3 - 36*l**2 + 27*l - 36. Suppose 28*b - 830 + 18 = 0. Is g(b) a prime number?
True
Let v = -361086 - -658157. Is v prime?
False
Let v be (-14)/35 - (-3087)/5. Let i = v - 426. Is i a prime number?
True
Suppose -16*o + 7*o = 29*o - 5887834. Is o a prime number?
True
Let s be 3*1/(-5) - (-168104)/40. Let w = 5895 - s. Is w a composite number?
False
Let m be (-19)/2 - (-6)/(-4). Let g(k) = 21*k**2 - 2*k + 16. Is g(m) a composite number?
False
Suppose -6*h + 108955 + 49643 = 0. Suppose 50257 + h = 10*p. Is p prime?
True
Suppose -20*y - 30 = 130. Is y/(-12)*2514/4 composite?
False
Is (3 - 3456)/(-5 + 2) a prime number?
True
Suppose 0 = 5*i - 16 + 1. Suppose i*n + 3*o = 6, -3*o = 2*n - 4*o - 16. Suppose 3*d = n*d - 807. Is d composite?
False
Let m(r) = r. Let d(v) = 3*v + 4. Let c(x) = -d(x) + 2*m(x). Let a be c(-6). Suppose -3*t + 1231 = -f - 4*f, 0 = -a*t + 3*f + 820. Is t a prime number?
False
Suppose q - 460592 + 63828 = 72189. Is q composite?
False
Let x(b) = 120*b**2 + 22*b - 95. Let l(c) = 180*c**2 + 35*c - 143. Let t(n) = 5*l(n) - 7*x(n). Is t(-9) composite?
False
Let g = 16 - 0. Suppose 7*c + c - g = 0. Suppose -f = -c*u + u - 181, -533 = -3*f - 2*u. Is f a prime number?
True
Suppose -17384 - 7761 = -3*g - 5*j, -8 = 4*j. Let d = g - 5234. Is d a prime number?
False
Let c be (-353080)/117 + 2/(-9). Let u = 4403 + c. Is u composite?
True
Let y be (-9 + 15)*(4/(-6) - -1). Suppose 0 = -4*z - o + 2984, y*z + 543 = -2*o + 2041. Suppose 11*a - z = 6*a. Is a a prime number?
True
Let a(b) = -1 - 6*b - 7 + 11*b**2 + 12 + 26. Is a(13) a prime number?
True
Let o(h) = -h**3 + h**2 + 260. Suppose -4*g + 2*l + 3*l = -15, -3*l - 9 = -5*g. Let y be o(g). Suppose -5*d - 23 - 2 = 0, -u = -5*d - y. Is u composite?
True
Is -14 + 28698 + 14 - 13 a composite number?
True
Suppose 29*q - 92 = 25*q. Is (2 + 0)/(q/1357) a prime number?
False
Suppose -14374740 = 53*x - 61712273. Is x a prime number?
True
Let s be (-1 + 82/(-4))*2. Let o be (6*s)/3*-1. Let j = o + -39. Is j a prime number?
True
Suppose -84 = -18*p + 132. Is ((-33020)/(-120))/(2/p) a prime number?
False
Suppose -27*p + 946395 = -20*p - 3614812. Is p prime?
False
Let w(a) = -9*a**3 + 5*a + 5*a**2 + 2*a**3 - 15 + 6*a - 18 + a**2. Is w(-13) a composite number?
False
Suppose 42 + 6 = 16*y. Suppose -5*m + 7098 = -872. Suppose -d + y*d = 3*v - 4712, -m = -v - 4*d. Is v composite?
True
Let c(o) = 19*o - 9*o - 9*o + 6*o**2 + o**3 + 11. Let d be c(-6). Suppose -4*a + x + 100 = -3*a, -d*a + 2*x = -491. Is a prime?
True
Let p = -120091 + 203228. Is p a composite number?
False
Suppose 98 = d - 229. Let x = 1013 + -795. Let u = d - x. Is u a composite number?
False
Let d = 34 - 115. Let q = d - -23. Let y = q + 315. Is y composite?
False
Let z = -724292 + 1163119. Is z composite?
False
Let g be 4/3*(27/6 + -3). Suppose 2*i - 116 = a, -5*a - 174 = -3*i - g*a. Suppose r = 3*o - 6*o + 36, 2*r + i = 4*o. Is o composite?
False
Suppose -2*o + 12 = -x, -4*o - o - 15 = 0. Let p = x + 20. Suppose 6612 = 14*z - p*z. Is z a prime number?
False
Let h(w) = -w**3 + 36*w**2 - 25*w - 11. Is h(25) composite?
True
Let h = -255110 + 361353. Is h prime?
True
Is ((-220)/275)/((-28)/(-10)) + 486775/7 prime?
True
Let j be 1*(-2 - 41/(-1)). Let b = 42 - j. Suppose 247 = b*d - 2*q, d = 3*d - 2*q - 164. Is d a composite number?
False
Let x(g) = 256*g**3 - 9*g**2 - 5*g - 3. Let q(w) = -254*w**3 + 8*w**2 + 5*w + 3. Let h(t) = 3*q(t) + 2*x(t). Is h(-4) prime?
False
Let n(o) = -820*o + 77. Let s be ((-18)/(-7))/(102/(-476)). Is n(s) a prime number?
False
Let y be 25/10*2/10*4. Is (-9502)/(-3)*3/y prime?
True
Suppose -5*a - 5*r - 150 = -0*r, 3*a - 5*r + 114 = 0. Is a/(-44) + -3 + (-10922)/(-8) composite?
True
Suppose 19*d - 632676 = d + 233286. Is d a prime number?
True
Let y(w) = 118*w**2 - 10*w + 79. Let v be y(5). Suppose -3*s + 8993 = -h, -22*h = -s - 17*h + v. Is s composite?
False
Let l(w) = -4493*w**3 - w - 3. Let p be l(-2). Let s = 53410 - p. Is s composite?
False
Suppose -2*o - 885843 = -5*l, -3*l + 158132 + 373357 = 3*o. Is l a composite number?
False
Let c(r) = r**2 + 19*r - 21. Let i be c(-20). Is 687 + -7 - (i + 2*1) composite?
True
Suppose -3341 = -88*p + 288555. Is p prime?
False
Is 2 + 103503 + 4 + -5 + 15 composite?
True
Suppose -5*i + 2*i - 132 = 0. Let d = i - -46. Is 3621/d*8/12 prime?
False
Suppose -16*w = 4*w - 7340. Let t = w - 204. Is t a composite number?
False
Suppose -3*a + 25 = 4*r, -4*a - 2*r + 24 - 4 = 0. Let o(d) = 8*d + 2. Let c be o(a). Is 217 + (-74)/c + 10/(-65) a composite number?
True
Suppose -54*b = -124*b + 18222190. Is b prime?
True
Let i be ((-20)/28)/((-4)/28). Suppose -i*q = -2*g - 1831, 2*q + 2*g - g = 727. Let b = q + -130. Is b prime?
False
Is -18*(-2)/6 + 74506 + 1 prime?
False
Let u = -3881 - -6838. Suppose -5*d + 13768 = -u. Suppose 3*t + 0*t + d = 3*k, 0 = 4*k + t - 4460. Is k composite?
True
Let n(m) = -47847*m + 938. Is n(-3) prime?
True
Is ((-588541)/(-129))/(2/66) prime?
False
Let d = 182 - 190. Is (-74 + 64)*12422/d*2 prime?
False
Suppose 0 = -62*h + 59*h + 15816. Let g = 9807 - h. Is g composite?
True
Let i = -57224 + 159603. Is i a prime number?
False
Let w(s) = -3*s**2 + 680*s + 543. Is w(100) a composite number?
False
Suppose -3*x + 4*y - 12966 = 0, 8846 + 8442 = -4*x - 4*y. Let q = x - -15904. Is q a composite number?
True
Let l(r) = -513*r**3 - 2*r**2 + r - 1. Let m(p) = 514*p**3 + 2*p**2 - p + 2. Let b(j) = 3*l(j) + 2*m(j). Is b(-2) a composite number?
False
Let n(x) = -813*x**3 - 9*x**2 - 3*x. Let c(m) = 812*m**3 + 7*m**2 + 2*m. Let f(k) = 4*c(k) + 3*n(k). Is f(1) a composite number?
False
Is (36737 - 1) + 40 + -27 composite?
False
Suppose 5*s + 12 = -63. Let t be 5/s*(-18)/2. Suppose 5*m - m - 1516 = -t*p, 4*m - 3*p = 1516. Is m prime?
True
Let g(f) be the second derivative of -f**4/12 + f**3/2 + f**2 - 30*f. Let l be g(2). Suppose -l*j + 9*j = 785. Is j prime?
True
Suppose 6*t + 210 = 306. Suppose 0 = 4*b + t, 0 = 5*v - b - 2*b - 24377. Is v composite?
True
Let k(y) be the third derivative of 341*y**4/6 + 29*y**3/6 - 5*y**2 - 2. Is k(2) a prime number?
False
Let s = -4919 + 6987. Let l = s - -265. Is l a prime number?
True
Let n(p) = -p**3 + 55*p**2 + 198*p - 154. Is n(41) a composite number?
True
Suppose 18*d - 84 = 16*d. Suppose -8*c = -c - d. Let t(o) = 5*o**2 + 9*o - 13. Is t(c) composite?
True
Let c(u) = -21*u - 161*u - 3*u. Let q be c(-2). Suppose -24*w - q = -26*w. Is w prime?
False
Suppose -2*q + 4*f - 7*f = -380371, 3*q = f + 570562. Is q prime?
False
Let j = 29 - 148. Let g = 66 - j. Suppose 258 + g = p. Is p composite?
False
Let w(z) = z**2 + 7*z - 12. Let g be w(-8). Let j be (-6 - -6)*1/g. Suppose j = -7*m + 146 + 3753. Is m composite?
False
Let x be (-2 - 4)*(-143)/11. Suppose 0 = x*w - 95*w + 39491. Is w a prime number?
False
Let p(v) = -v - 5. Let j be p(3). Let l = j + 16. Is (3974/4)/(((-52)/l)/(-13)) composite?
False
Let a(v) = -538*v - 5. Let m(z) = 1076*z + 10. Let o(q) = 9*a(q) + 4*m(q). Is o(-1) prime?
False
Suppose -19*u + 17808 = 4*d - 24*u, 0 = 2*d + 3*u - 8926. Suppose d + 1057 = 6*k. Is k a prime number?
True
S