s b a composite number?
True
Let b(l) = 168*l - 33. Let o(z) = 338*z - 66. Let r(k) = 7*b(k) - 4*o(k). Is r(-4) a composite number?
True
Let v(u) = 4158*u**2 - 15*u - 26. Let o be v(-2). Suppose 100*i = 104*i - o. Is i a composite number?
False
Let l = 196038 - 134831. Is l composite?
True
Let o = 80 + -46. Suppose -6*j = -8*j + o. Suppose 10218 = j*w - 11*w. Is w prime?
False
Is 502710/42 - 14/49 a composite number?
False
Suppose -975507 = -17*v + 1069712. Is v a prime number?
False
Let f(k) = 756*k**2 - 23*k - 87. Is f(10) composite?
True
Suppose 2*b = -3*b + 15. Suppose m + 4*n = -10, 4*n + 37 + b = 4*m. Suppose 2997 = m*f - 4305. Is f a prime number?
True
Let x = 4655 - 8775. Suppose q + 766 = -v, -v + 2 - 1 = 0. Let w = q - x. Is w a prime number?
False
Let c(m) = m**2 + 4*m + 4. Let b be c(0). Suppose 3*r = -s + 5, -r = -b*s - 0*r + 7. Let x = 83 + s. Is x a composite number?
True
Let b be (-2 + -1)/((-138)/506). Let c(g) = g**3 - 10*g**2 + g + 59. Is c(b) a prime number?
True
Let v = -33065 - -121558. Is v prime?
True
Let b(q) = 2744*q + 4. Let o be b(1). Suppose -4*d - o = -39196. Is (-2)/3 - d/(-24) prime?
True
Let m(j) = 75490*j - 5849. Is m(3) a prime number?
False
Let i(t) be the third derivative of t**6/120 + t**5/60 + t**4/12 + t**3/2 + 13*t**2. Let d be i(0). Is 4270*4/12 - 1/d prime?
True
Suppose -5*t - 7 + 17 = 0. Suppose 2*b + 2*w + 2488 = -2*b, b + t*w = -628. Let o = -67 - b. Is o a prime number?
False
Let u(o) = 135*o - 1061. Is u(16) composite?
True
Suppose 258*m + 7*m - 193402915 = 134891010. Is m prime?
False
Let x(v) = 7*v**3 - 3*v**3 - 59 - 8*v**2 - 3*v**3 + 48*v**2 - 62*v. Is x(-24) prime?
False
Let w(m) = 1243*m + 43. Let q be w(-11). Let l = q + 19257. Is l a prime number?
False
Let y(o) = -5*o + 145. Let v be y(30). Let w(s) = 21*s**2 - 4*s - 16. Is w(v) a composite number?
True
Is (41 + 374171)/(4*1) composite?
False
Let v = 5776 + 7317. Is v composite?
False
Is 5 + 369652 - (-5 + (20 - 7)) a prime number?
False
Let i = -231 + 1171. Let a = i - -417. Is a a prime number?
False
Let v = 32398 + -17787. Is v composite?
True
Suppose 15*j = 2*a + 14*j - 483, 3*j - 991 = -4*a. Suppose -4*s = -5*t - 834, 4*s - 3*t - 594 - a = 0. Is s composite?
False
Let d(m) = m**3 - 7*m**2 + 10*m. Let f be d(6). Let c(v) = 29 + 44 - f - 752*v. Is c(-6) a composite number?
False
Let l(k) = 28*k**3 - 4*k**2 - 7. Let x be l(-4). Let r be (35 - -1 - 2/8)*8. Let t = r - x. Is t composite?
True
Let c(x) = -x**3 + 5*x**2 - 4*x + 59. Let o be c(6). Is (-17 - -15) + 13579 + (o - -3) a composite number?
True
Suppose -6601 = -3*i + 13*g, 3*g = -2*i + 4765 - 411. Is i prime?
False
Suppose 3*s - 10*s + 21 = 0. Suppose s*r - 6*r = -1467. Suppose 0*b - r = -3*b. Is b prime?
True
Suppose 23*s + 938545 = 3*h + 21*s, -4*h + s = -1251390. Is h composite?
True
Suppose 0 = 2*i + 2*x + 10500, 5*i + 2*x = -518 - 25735. Is -1 + 4 + -6 - (i - -3) a composite number?
True
Suppose 14*z = -w + 18*z + 495, -3*w + 1565 = 4*z. Suppose -5*f - 2*q = 670, -2*q + 268 = -2*f - q. Let v = f + w. Is v a composite number?
True
Let r = -2 + 5. Suppose r*w = -6*w. Suppose w = -0*q - 4*q + 3124. Is q a prime number?
False
Let l(w) = -17*w**2 + 17*w + 169. Let k(d) = -d**2 - d - 1. Let y(i) = -2*k(i) - l(i). Is y(21) a prime number?
False
Let q(r) = 7*r**2 + 26*r + 10. Let c be q(-4). Is -5*145054/(-630) + (-4)/c composite?
False
Suppose -3*x - 138654 = -4*z + 63010, 201660 = 4*z - 4*x. Let j = -31616 + z. Is j a prime number?
True
Let t be 29 + ((-16)/(-5) - 8/(-10)). Let y be 1/7*t - 18/(-63). Suppose -p - 4*p = 4*z - 3443, -p = -y*z - 706. Is p a prime number?
True
Let n = 151 + -137. Suppose g = 5*a + 1372, 5*g - n*a - 6745 = -12*a. Is g composite?
True
Suppose 3*f - 323577 = -p + 1318491, -2*f = -p - 1094717. Is f composite?
False
Let v(k) = -4*k**2 - 6*k + 10. Let s be v(-8). Let d = 415 - s. Is d composite?
False
Let z be (-4)/((-7)/3 + 2). Is (-78405)/(-20)*16/z prime?
True
Suppose 3*p - 4*c + 1042 = 0, 3*p + 2*c - 3*c + 1030 = 0. Suppose -3264 = -5*u - 859. Let x = u + p. Is x a composite number?
False
Is ((-2725058)/(-21) + 0)*(-27)/(-18) a composite number?
False
Let c(h) = 223*h**3 - h**2 + 7*h - 1. Suppose -2*f = -w + 2*f - 10, -5*w + 16 = 2*f. Is c(w) a composite number?
True
Let j(i) = 55*i**3 - 29*i**2 - 25*i - 20. Is j(11) prime?
True
Let s be ((-5)/(-8))/((-10)/(-4))*3964. Let g = s - -2004. Is g a composite number?
True
Let o(q) = -2042*q + 421. Is o(-26) prime?
False
Suppose -42533 + 173192 + 260659 = 2*s. Is s a composite number?
False
Suppose 2*a = -3*y + 1163 - 20254, y - 4*a + 6359 = 0. Let r = y + 15262. Is r a composite number?
True
Suppose 3*h - 8316 = -4*r, 5*h + 16*r - 15*r - 13860 = 0. Let f = 16879 - h. Is f a composite number?
False
Let h = 60 - 61. Let j(v) = -v. Let y(i) = 529*i - 5. Let u(x) = h*j(x) + y(x). Is u(2) a prime number?
False
Let q = 47365 + -8808. Is q prime?
True
Let q(r) be the second derivative of 31*r**4/12 - r**3/3 - r**2/2 + 3*r. Let f be (4*2)/(3/6*4). Is q(f) composite?
False
Suppose 9*y - 591 - 1997 + 86 = 0. Let f = 2 + 4. Suppose f*u - 3508 = y. Is u a prime number?
True
Suppose y - 2*l - 5442 = -5*l, 4*y = 2*l + 21754. Suppose 5*r - a = 27060, -r - 3*a - 11 = -y. Is r composite?
False
Let a be 28232 - (-3)/(4 + -1). Suppose -17*f + 8*f = -a. Is f a composite number?
False
Is ((-1775)/710)/(2/(-34004)) a composite number?
True
Suppose 0 = -5*t + 3*w + 5437, -2*t + w + 0*w = -2175. Let i = 1867 - t. Is i prime?
False
Let n be (-273)/(-78) + (-1)/(-2). Let w(c) = 3*c**3 - 3*c**2 - 11*c + 43. Is w(n) a composite number?
True
Is (-119027*(-1)/8)/((-9)/(13 + -85)) composite?
False
Let l be (-7 - -6)/((-1)/911). Suppose -5*r - 459 = -q, -3*q + q = -3*r - l. Suppose z - q = -35. Is z prime?
True
Suppose 7*k + 118733 = 17471. Is (k/15)/((-5)/(150/12)) a composite number?
False
Suppose 0 = 3*c - w - 14 - 21, 4*c + 3*w - 51 = 0. Suppose c*b - 167320 - 183092 = 0. Is b a composite number?
False
Is 6/((-36)/(-87))*(-1)/(6/(-444)) prime?
False
Suppose -325 = -84*k + 95. Suppose 4179 = -3*w + 14151. Suppose -c = k*c - w. Is c composite?
True
Let p = -100 + 102. Is (p*-5261)/(2 - 4) composite?
False
Suppose 14*s + 5*y = 9*s + 134040, 6*s - 3*y = 160839. Is s a prime number?
False
Suppose x - 5*x = -27272. Is (-3)/(-2) - x/(-4) composite?
True
Suppose -2*i - 6*y + 3*y + 59 = 0, -3*i = 2*y - 86. Let v be (63/i)/((-6)/16). Is ((-4)/v)/((-3)/(-1180 + 1)) composite?
True
Let z(p) = -p**3 - 77*p**2 - 48*p - 533. Is z(-77) a prime number?
True
Let a = -5800 - -12249. Is a composite?
False
Let j = 501478 - -47335. Is j prime?
False
Suppose 10*a - 7 + 67 = 0. Let z(u) = -1671*u - 65. Is z(a) composite?
True
Let o(m) = -14*m**3 - 7*m**2 - 3*m + 2. Let k be o(-2). Suppose -x + 8855 = -g, -35480 = -4*x - 4*g - k. Is x composite?
True
Let i = 2530 + 1157. Suppose -g + 0*g + i = 0. Is g a prime number?
False
Let f = 855387 + -415202. Is f composite?
True
Let k(j) = -10*j - 22. Let x(v) = 5*v + 11. Let f(t) = -3*k(t) - 7*x(t). Let i be f(-3). Suppose 0 = -2*r, d + i*r - 109 - 444 = 0. Is d composite?
True
Let y(b) = 1. Let f(s) = 10*s + 1689. Let k(x) = f(x) + 4*y(x). Is k(0) a prime number?
True
Suppose -3*o + 26284 = 5*f - 72741, -o = -4*f - 32980. Suppose 33710 = 10*w - o. Is w composite?
True
Suppose 0*y - 2*i = y + 287, 5*i = 2*y + 529. Let j = y + 772. Let r = 798 - j. Is r a composite number?
True
Let w = 332268 + 142153. Is w prime?
False
Let u be -1*(8 + 30/(-6)). Is 10078*u*(-7)/42 prime?
True
Let a be (1 + 43)/((8/(-2602))/2). Let v be a/12 + 4/24. Is v/(-2) + 1 + (-60)/(-40) a composite number?
True
Suppose 2*g + c = 862, -5*g + c = -1613 - 549. Suppose -g - 1861 = -x. Is x a composite number?
False
Let u(r) = -31407*r + 6355. Is u(-18) prime?
False
Suppose -5*j - 3119 = -2*v, 0 = -8*v + 7*v + 5*j + 1552. Is v composite?
False
Suppose 70*x + 498493 = 3352953. Is x prime?
False
Let u = 1 - 3. Let b be 75/5*u/(-5). Suppose b*h = 9*h - 921. Is h prime?
True
Let a(z) = z**3 - 7*z**2 + 14*z - 22. Let w be a(4). Is (-62)/217 + (-131688)/w prime?
False
Suppose 2*o + 3*c - 2*c = 0, 2*o = 5*c + 12. Let w(y) = -2 + o + 73*y - 3. Is w(5) composite?
True
Let r(x) = -5*x**3 - 3*x**2 - 2*x. Let p be r(-1). Let s = 596 + 776. Suppose -p*v + 8928 