 100. Let p = m + -58. Is p prime?
True
Suppose 697*l - 12503686 = 671*l. Is l a composite number?
False
Let q(x) = -x**3 + 16*x**2 + x - 13. Let f be (-3 + 1 + 3)*16. Let k be q(f). Suppose 10*r - k*r = 24829. Is r composite?
False
Suppose 901089 = 3*m - 5*l - 100157, -3*m + 3*l + 1001256 = 0. Is m a prime number?
True
Let c(r) = 648*r - 367. Is c(36) composite?
False
Let c = 50277 - 22558. Is c a composite number?
True
Let m be 327/(((-18)/(-42))/((-4)/7)). Let z = m + 881. Suppose -5*d + 10*d - z = 0. Is d prime?
True
Suppose 5*h - 3*l = -25, 3*h + l + 7 = 6. Suppose -4*o + 2 = -3*n, 5*o + 2 + 1 = n. Is ((-17630)/25)/n + h/(-5) composite?
False
Suppose 2*c - 6 = -2*c + 2*b, -4*b + 21 = 3*c. Suppose -2*y - 4443 = -3*a, -2946 = -c*a + y + 1497. Is a composite?
False
Let z = -54215 + 108154. Is z composite?
False
Suppose -137 = 38*m + 15. Let x(b) = -77*b**3 + 8*b**2 - b + 19. Is x(m) composite?
True
Let n(d) = -946*d - 2783*d - 1527*d - 39. Is n(-2) composite?
True
Let b(h) = -4*h**3 - 33*h**2 + 25*h + 1. Suppose 47*w = 39*w - 144. Is b(w) a composite number?
True
Suppose 0 = -0*h - 6*h + 456144. Suppose 5*g - 9346 = -3*s + h, 0 = -g + 2*s + 17087. Is g a prime number?
True
Let r = 14 + 102. Let q be (r/(-5))/(8/(-100)). Suppose 2*k - 2*g = q, 0 = -0*k + 5*k - 4*g - 726. Is k a prime number?
False
Let g be 5/4*(11 + -3). Let u be ((-5)/g)/(3/(-1878)). Let p = u + 456. Is p prime?
True
Let c(b) = b**2 + 26*b + 122. Let w be c(-13). Is -40 - w - 23*-20 a composite number?
False
Let s be (-12)/(-15)*35/(-7). Let y(c) = -c + 1. Let u be y(s). Suppose -u*b - 379 + 8634 = 0. Is b prime?
False
Suppose -20*q + 22*q - 203615 = -h, -4*q = -5*h + 1018089. Is h prime?
True
Let m = 69495 + -48014. Is m prime?
True
Let i be 5 + (6 - 6) - 5. Suppose -u + s + 338 = 0, i*s + 1682 = 5*u + 3*s. Is u a prime number?
True
Let w(x) = 2*x**2 + 12*x + 8. Let r be w(-8). Suppose -r*o = -38*o - 1486. Is o composite?
False
Suppose -5*h + 11*a - 10*a + 95561 = 0, -2*a = -2*h + 38234. Is h composite?
True
Let u be (-4)/20 + 52/10 + 2. Let r be 0 - (-13 + u)/(9/6). Suppose -q + r*q = 2019. Is q composite?
False
Suppose 562315 = 5*o - 4*r, -642*o - 3*r + 337362 = -639*o. Is o a prime number?
True
Is ((-616)/462)/(4/(-145686)) prime?
False
Let m be -68 + 1830 - (-5)/1. Let h be 890 - 4/(4 - 2). Let x = m - h. Is x a prime number?
False
Let b(s) = -s**3 + 21*s**2 + 51*s - 78. Let m be b(19). Let d = m - -1740. Is d a composite number?
True
Let v = -198733 - -376038. Is v prime?
False
Let i(t) = -6*t**3 + 17*t**2 + 19*t + 1. Let v(h) = -h**3 + 13*h**2 - 22*h - 12. Let f be v(11). Is i(f) a prime number?
True
Let l be 2901*(5 - (8 + -94)). Suppose -15*n = 6*n - l. Is n composite?
True
Suppose -63*k = -62*k - 15. Let b(j) = 2*j**3 - 4*j**2 + 10*j - 49. Is b(k) a composite number?
True
Let a be (1 - -3)*(27 - -132734). Suppose 22*b + 73840 = a. Is b composite?
True
Let f = 12511 + 2932. Is f composite?
False
Suppose -38700 = -u - 5*p, 2*u + 0*p - p = 77411. Suppose -4045 = 5*q - u. Suppose 4*i - 4*f - 10069 + 3137 = 0, -2*f = -4*i + q. Is i a composite number?
False
Let c(v) = 0 + 6 - 3*v + 4 + 3. Let l be c(6). Let u(d) = -210*d - 13. Is u(l) composite?
True
Let m(x) = x**2 - 3*x - 4. Let g be m(4). Suppose g = -0*s + 4*s + 4*k + 4, s + 3*k + 11 = 0. Suppose 2*q - s*q + 734 = 3*y, -q = -y - 367. Is q composite?
False
Suppose 0 = 200*v - 182*v - 1595574. Is v prime?
True
Let r = 89 + -87. Let m(c) = 1045*c - 18. Let z be m(r). Suppose -7*w + 5*w - 5*o + 1383 = 0, 3*w - z = -5*o. Is w a composite number?
True
Let u = 61476 - 5493. Is u composite?
True
Is -4*((-12)/(1008/3318707) - (-2)/(-6)) a prime number?
False
Is (-26292)/(-1) + (-6*9/(-27))/(-2) a prime number?
False
Let y(l) = l**3 + 19*l**2 + 32*l + 42. Let u be y(-17). Suppose 18 = -n + 199. Suppose h = n + u. Is h composite?
False
Let o(p) = p**3 + 7*p**2 - 25*p - 12. Let d be o(-9). Is d/(-3)*(1 + (0 - 72)) a prime number?
False
Suppose 4*c + 7*i - 5824348 = 0, c - 61709 = -2*i + 1394378. Is c a composite number?
False
Let l(q) = 699*q - 1707*q - 1108*q + 39. Is l(-2) composite?
False
Let s be -3*717/18*22. Let u = s + 4071. Suppose z + z = u. Is z composite?
True
Let x(n) = 61*n + 13. Let p be x(11). Suppose -4 = q, -3*o - 3*q = -0*q - p. Let c = o + 89. Is c a composite number?
True
Suppose 3*q + 6003 - 37578 = 0. Suppose -10*l = -50125 + q. Is (l/2 - 2/1) + 3 prime?
False
Is (-514037)/(-1) + 8/(-22)*(-2530)/460 composite?
True
Let x be 8762/6 + (-3)/(-9)*2. Suppose -g + x = -1062. Suppose g - 883 = 8*z. Is z a prime number?
False
Let r(g) = -18*g**3 + 3*g - 2. Let n be (15/10)/((-6)/16). Let j be r(n). Let z = j + 2017. Is z prime?
False
Let u be 8/(-12) - ((-5026)/6 - -1). Let h = 2127 + u. Is h a composite number?
False
Let r be 22/(-77) + 30/7. Suppose 2*c + 4*q = 12890, -2*q - 3*q - 25806 = -r*c. Is c a prime number?
True
Suppose -4*p - 300061 = 30*i - 35*i, -2*p = 4*i - 240054. Is i a composite number?
False
Let r = 1517 + -906. Suppose -2*g - 205 + r = 0. Is g composite?
True
Suppose 2*k + 19 = 4*o - 15, -22 = -2*o - 4*k. Let b = o + 620. Is b a prime number?
False
Let j = -1102912 + 2054754. Is j a prime number?
False
Suppose 3*x = -5*j + 26, 3*j + 2*x = 7*j - 12. Suppose b - 2 = 4*d, -2*b + j + 0 = -d. Suppose 0 = 4*c - n - 1035, 0*c = b*c + n - 519. Is c composite?
True
Suppose -25*v = -32*v - 7. Let w be (v - 2 - -10 - -1) + -3. Suppose -o = a + 4*o - 1244, w*o = -2*a + 2503. Is a composite?
False
Suppose 36*m = 37*m - 1, -4*h + 2*m + 67854 = 0. Let q = -5850 + h. Is q a prime number?
False
Let k(g) = 2*g**2 - 25*g + 14. Let u be k(12). Suppose 0 = -u*h - h - 6. Is (2 - 33)*(-4 - (-1 + h)) prime?
True
Suppose 0 = -7*m - 52*m + 10605073. Is m composite?
True
Suppose -24*z - 6438 = 17634. Let w = z + 1566. Is w a composite number?
False
Let p(j) = -j**3 - 7*j**2 + 9*j + 18. Let y be p(-8). Suppose y*l - 24 = 2*l. Is (2/l)/(-1 + (-5795)/(-5793)) composite?
False
Suppose 0 = -240*m + 78002302 - 15741262. Is m a composite number?
False
Let z(c) = -27*c**3 + 5*c**2 + 6*c - 15. Let n be ((-13)/4)/(14/56). Let h(x) = -13*x**3 + 2*x**2 + 3*x - 7. Let i(k) = n*h(k) + 6*z(k). Is i(2) prime?
True
Suppose v = 74 - 5. Let d be v/18 + 3/18. Suppose -1545 = -d*j + 3827. Is j prime?
False
Is (44/22)/(6 - 3319472/553246) a prime number?
True
Let n = -1665839 - -2865142. Is n a composite number?
True
Let d(m) = -m**3 + m**2 + m. Let y(r) = -6*r**3 + 15*r**2 + 4*r + 14. Let j(n) = -5*d(n) + y(n). Let s be j(10). Is 5/(20/s) + 336 prime?
True
Let j be -8 + (-17)/(119/(-56)). Suppose 9*r - 268287 - 274890 = j. Is r a composite number?
False
Suppose -5*v + 3*o + 51971 = 0, 5*o + 20305 = 2*v - 472. Suppose 0 = 4*q - 2*y - 13838, -7*y + 2*y = -3*q + v. Is q prime?
True
Let s = -143 + 137. Is -10 - (-29)/3 - 38996/s prime?
False
Is 34511*((-2)/(-10))/(2/10) composite?
False
Let u(z) = 11*z**2 + 179 - 4*z + 119 + 5*z + 5*z - 258. Let q be ((-18)/4)/((-1)/(-2)). Is u(q) a prime number?
True
Suppose 14*l + 34236 = 16*l. Suppose -3*f + l = -b, -5*f - 4*b = -4*f - 5719. Is f a prime number?
False
Let l(c) = -4*c + 33. Let o be l(7). Suppose 1252 = 2*g + o*w, -8*g - 5*w + 2514 = -4*g. Is g composite?
False
Suppose -4*b = -235639 - 27069. Is b a prime number?
True
Suppose 0 = -5*l + 21990 - 1700. Let k be l - ((-9)/(-3)*-1 - -3). Suppose 1866 + k = 4*z. Is z prime?
True
Let a(g) = g**3 + g**2 - 4*g + 1277. Suppose -2*r - 4 = -s, -6*s + 4*s + 2*r = -4. Is a(s) a prime number?
True
Let y(i) = -5*i**3 + 7*i**2 + i - 2. Let v be 6/4*24/18. Let q be y(v). Is 97*((-1)/3 - 232/q) composite?
True
Is (-7 + 5287 - 4) + -3 prime?
True
Suppose -5*p = 13*a - 15*a + 12781, 0 = -4*a - 5*p + 25577. Is a composite?
True
Let n(s) be the third derivative of -s**6/120 - s**5/20 - s**4/12 - 7*s**2. Let f be n(-2). Suppose f = -2*a + 3*a - 853. Is a composite?
False
Let r(u) = -u**3 + 5*u**2 - 4*u. Let c be r(4). Let k(y) = y**3 - 4*y**2 - y + 6. Let z be k(c). Suppose -z*b + 3068 = -238. Is b composite?
True
Let x(i) = 3*i + 52. Let b(p) = -p**2 + 15*p - 16. Let l be b(15). Let k be x(l). Suppose k*o + 4168 = 4*f, 0*o = 5*f - 4*o - 5211. Is f composite?
True
Let f(i) = -17*i**3 - 7*i - 6. Let g be f(-4). Let r = g + -636. Is (r/(-12))/(1/(-82)) a prime num