ite number?
True
Let i = 493051 - -136686. Is i prime?
True
Suppose 0 = 2*d + 2, 33*i + 4*d + 163046 = 35*i. Is i a composite number?
True
Suppose 0 = -5*w - z - 33, -4*w - 5*z - 27 = -2*w. Let q(c) = 166*c**2 + 2*c + 43. Is q(w) prime?
True
Let z(d) = 8 + 14*d**2 - 4*d - 8*d - 2*d**2 + d**3 + 15. Let m be z(-10). Let n = 714 - m. Is n prime?
False
Suppose 2*p - 3486 = -1198. Let u = p + -249. Is u a composite number?
True
Let k(w) be the third derivative of -1/24*w**4 + 0*w**3 + 6*w**2 + 0*w + 29/20*w**5 + 0. Is k(2) a composite number?
True
Suppose 0 = -4*q + 12, -2*k = 4*q + 362398 - 1206072. Is k composite?
False
Suppose 37 = 4*q + 37. Suppose -12*t + 2305 - 13 = q. Is t a composite number?
False
Let x(b) = -b**2 + 1. Let q(p) = -9*p + 3 + 3*p**2 - 9*p - 9*p + 29*p. Let o(s) = q(s) - 6*x(s). Is o(2) a prime number?
True
Suppose 0 = -25*p + 401151 + 970874. Is p a composite number?
False
Let l = -1325143 + 1938284. Is l composite?
False
Is (5 - (-45)/(-10))/(7/3543134) composite?
False
Let x be -3 - 0 - 1*-994. Suppose 0 = -4*z - 385 - x. Let p = z + 601. Is p a composite number?
False
Suppose a = c + 15, -2*c + 4*c - 2 = 0. Suppose 64565 = a*k - 17787. Is k a composite number?
False
Let t = -387 + 132. Let l be 68/(1 - t/(-258)). Suppose -r + 2*r + 3 = 0, 0 = 4*v + 4*r - l. Is v a composite number?
True
Let z = -4456 + 2037. Let y = -1542 - z. Is y composite?
False
Suppose 84934 = -5*u + 294649. Let d = u - 29290. Is d a prime number?
True
Suppose -519 = -25*w - 394. Let g(z) be the second derivative of 87*z**3/2 + 7*z**2 - z. Is g(w) composite?
False
Let x(b) = 3*b**3 - 12*b + 25743. Is x(0) composite?
True
Let w(a) = -13176*a**3 - 21*a**2 - 65*a - 5. Is w(-3) a prime number?
True
Suppose -4*r - 3*x + 740081 = 0, -10*x - 370038 = -2*r - 14*x. Is r a prime number?
True
Suppose 0 = 3*x - 5*p - 2475358, 5*p - 1480836 = -3*x + 994532. Is x composite?
True
Let w = -50840 - -1358023. Is w composite?
False
Suppose 0*j + 2*f = -j + 49, -3*j + 4*f = -197. Let m = j - 54. Suppose m*r - 10*r + 2142 = 2*u, -1053 = -u + 2*r. Is u composite?
False
Suppose a = 2*r - 3763, -3*r + 3*a + 5646 = -0*a. Suppose 12*t + r = 21*t. Is t composite?
True
Let k be (38148/(-9))/(-11)*(-3)/(-2). Suppose -k = 11*d - 9*d. Let y = d - -444. Is y composite?
True
Let l = 372 - 374. Is -5415*l/3 - -3 composite?
False
Let u = -71 + 4048. Let i = u - 1806. Is i a composite number?
True
Suppose -47 = -o - 33. Suppose -18*p + 11260 = -o*p. Is p composite?
True
Suppose -129418 = 39*p - 41*p - w, 5*p - 3*w = 323523. Is p composite?
True
Suppose 233 = 22*r - 31. Suppose 0 = 18*b + r*b - 185910. Is b prime?
True
Let f(n) = n**3 + 13*n**2 - n - 12. Let t be f(-13). Is (-7 - -106) + -5 + t prime?
False
Let a(x) = -x**3 + 6*x**2 + 10*x - 18. Let h be a(7). Suppose 19*o - 21*o = 4, 56481 = 3*y + h*o. Is y a prime number?
False
Let i = 1403520 + -166079. Is i a composite number?
False
Suppose -367*u + 370*u = 0. Suppose u = -3*a + 675 + 4452. Is a prime?
True
Suppose -6*g + 22968 = -14724. Suppose g + 1798 = 16*i. Is i prime?
False
Let x(p) = 2*p - 4. Suppose -2*d = l - 7*d - 23, 5*d = -20. Let k be x(l). Suppose -u + 4*n + 105 = 0, 4*u - 97 = 3*u + k*n. Is u a composite number?
False
Suppose -44*f + 51*f - 4153180 - 3958329 = 0. Is f a prime number?
False
Suppose -24*n + 28*n - 2*p = 84726, -25 = 5*p. Is n composite?
False
Let f = 12594 + -5866. Let m = 14787 - f. Is m a composite number?
False
Let w(d) = 20*d**2 + d - 3. Let y be w(-2). Suppose 0 = -2*k - k + y. Is 2 + 5/(k/2005) prime?
False
Let q be (7 - 1) + -5 + 1. Suppose -2*o + 5*m + 1186 = q*m, -3*o + 2*m + 1789 = 0. Let x = -282 + o. Is x a prime number?
True
Let n = 871197 - 454078. Is n a composite number?
False
Let r = -11115 - -20837. Is r a composite number?
True
Let m(s) = 866*s**2 - 44*s - 193. Is m(-6) prime?
True
Let y = -540 - -538. Let w(v) = 4 + 4*v - 3 + 0*v + 42*v**2. Is w(y) prime?
False
Let s = 43 - 40. Suppose s*u - 4 - 14 = 0. Suppose 1 = -a, 1892 = -i + u*i + 3*a. Is i a prime number?
True
Suppose 0*y + 2*y + 2 = 0, 0 = 2*n + 3*y + 1. Is (137296/40 - 2/5) + n a prime number?
True
Let n = 58 - 55. Let f(b) = -959 + 966 - 17*b + n*b**2 - 11*b. Is f(11) a prime number?
False
Let m(d) = 132*d**2 - 12*d - 16. Let g = -131 + 124. Let v be m(g). Suppose v = 4*z + 4*y, -7 - 8 = 5*y. Is z a composite number?
False
Let a(w) = -7*w**2 + 5*w + 6. Let t be a(-2). Let v = 34 + t. Suppose p - 1453 = -5*q, 0 = -v*q + q + 3*p + 297. Is q a composite number?
True
Suppose 29*c = 28*c - 15177. Let y = c + 21928. Is y a composite number?
True
Let k = -78 - -81. Suppose 3*w - 2*v - 881 = 0, -299 + 1194 = k*w + 5*v. Is w a composite number?
True
Let b = -3381 + -552. Is 50/125 + b/(-5) a prime number?
True
Let a(w) = -25288*w - 47. Is a(-1) prime?
False
Let u be (-2)/(-8) + (-189794)/(-88). Suppose -3*a - u = -6*a. Is a composite?
False
Suppose 8*d - 3*p = 16015648, 20*p + 4003922 = 2*d + 18*p. Is d prime?
True
Let f(i) = -20699*i + 20. Let u be f(-1). Let j = u - 12312. Is j prime?
False
Let u be 44/4 - (-5 + 4). Is (4 + 306/u)*14 prime?
False
Let q = 277458 - 111403. Is q a composite number?
True
Suppose -69849 = -6*m - 33*m. Suppose 10 = -b - n + m, -2*n = -4. Is b a prime number?
False
Suppose -56*w + 5*w + 10694751 = 0. Is w composite?
False
Let p be -1 + (-12 - -1) - (-58)/29. Let s = 2109 + p. Is s a composite number?
False
Suppose 0*n - 4*n + 3*i + 2458711 = 0, -1229355 = -2*n + i. Is n prime?
False
Let n(o) = -o**3 - 5*o**2 - 7*o - 4. Let l be n(-2). Is (-10 + 5)*(-5444)/(l + 6) composite?
True
Let q = -56 - -54. Let s be (1 + -2785)/q - 2. Let d = 2081 - s. Is d prime?
True
Let o(k) = -131*k**3 - 7*k - 120 - 107 - k**2 + 222. Is o(-4) a prime number?
False
Let f = 101241 - 52276. Suppose 5*p - 2*l + 4*l - 48965 = 0, -5*p + 2*l = -f. Is p prime?
False
Let u(z) be the third derivative of z**6/40 - 17*z**5/120 + z**4/6 + 17*z**2. Let v(d) be the second derivative of u(d). Is v(3) composite?
False
Suppose 5 = 2*g - 3. Let t(l) = 2733*l**3 + 2*l + 1. Let p be t(2). Suppose 4*c + g*q - 5884 = 11624, -5*c - q + p = 0. Is c composite?
False
Let r(y) = y + 2. Let u be r(-5). Let q be u/2*8/4. Let b(x) = x**3 + 5*x**2 - x + 4. Is b(q) prime?
False
Let u = -37 - -43. Suppose -2*w = -u*w - 2*z + 9810, 0 = -5*w + 2*z + 12285. Suppose 5*s + 545 = w. Is s a composite number?
True
Let b(a) = -4*a + 29. Let c be b(5). Suppose 48263 = c*f + 13496. Is f prime?
True
Let c = -8 + 10. Let a be (-3)/(-7) + 52/91 + c. Suppose -a*m + 310 = -3101. Is m a prime number?
False
Suppose 3*r - 912 = -5*r. Let p = r + -112. Suppose j = p*y + 85, -129 + 19 = -j - 3*y. Is j a composite number?
True
Suppose 5*q - y = 6735 + 5691, 0 = -3*y - 3. Is 2*2/(-2) + q a composite number?
True
Suppose 0 = -3*i - 13*b + 11*b + 316549, 2*i - b = 211035. Is i a prime number?
True
Is 18 - (-1079)/(-65) - 85098/(-5) prime?
True
Let k(h) = 43*h**2 + 7*h - 6. Let n be k(5). Suppose n = -5*c + 2*g + 7899, 2712 = 2*c - 2*g. Is c composite?
False
Let t be -1562 - (-5)/(-1) - -3. Let p(g) = -2205*g**2. Let n be p(-1). Let w = t - n. Is w a prime number?
True
Let o be (-77)/(-21) - (-12)/(-18). Suppose o*y - 3545 = -c + 86, 5*c - y = 18155. Is c a composite number?
False
Let j be 2938/(-52)*(22*2)/2. Let d = -425 - j. Is d a prime number?
False
Let w = 275863 - -28484. Is w a composite number?
True
Suppose -32*a + 26*a = 0. Suppose 5*q - 40205 = -v - 3*v, a = 2*v - 4*q - 20122. Is v a prime number?
False
Let g = 162486 - 52265. Is g a prime number?
True
Suppose -10*d = d + 110. Let z(j) be the third derivative of -j**6/120 + j**5/5 + 5*j**4/8 + j**3/2 - 15*j**2. Is z(d) a composite number?
False
Let w = 13662 - 20137. Let h = -3224 - w. Is h composite?
False
Suppose 2*a - 3*k - 3675 - 81 = 0, 0 = a + 5*k - 1865. Suppose -s - 2*s = -a. Suppose 4*i - 420 = 2*i + t, 4*t + s = 3*i. Is i prime?
True
Is ((-3 - -12) + -5)*(-50981)/(-4) composite?
True
Let o(d) = -10*d - 52. Let m be o(-6). Let i(g) = 77*g**2 + 5*g - 31. Is i(m) a prime number?
True
Let t = -6423 + 11481. Let h = 16237 - t. Is h a prime number?
False
Is 1*(-2)/((-1891528)/315254 - 12/(-2)) prime?
True
Let q(h) = -h**2 + 9*h - 4. Let y be q(8). Suppose -2*r - y*j = -612, 4*j - 650 = -4*r + 566. Let u = -115 + r. Is