Suppose 62*b - 52*b - 120 = 0. Is w(b) composite?
True
Suppose -37*v + 169803 = -32*v - 2*x, 0 = 5*x - 5. Is v prime?
True
Let c be 0/(-2)*(-14)/28. Suppose 4*u - 9 = -4*l + 15, 2*u - 5*l + 2 = c. Suppose -u*h - y = -2776, 0*h - 2*y + 2776 = 4*h. Is h a prime number?
False
Suppose n = -5*w + 15, -5*n + 31 = w + 2*w. Suppose -2*x - r = -16181, -19600 = 4*x + n*r - 51965. Suppose 17*d = 19*d - x. Is d a prime number?
False
Suppose 0 = 2*u - g - 532330, -5*u - 42*g = -44*g - 1330823. Is u a composite number?
True
Let x = 158132 + -73315. Is x prime?
False
Suppose -40 = 14*z - 10*z. Let x be 5 - 5/(z/(-4)). Suppose x*c + 8*g = 3*g + 3496, 3*c = -3*g + 3498. Is c a composite number?
True
Let o = -208 - -215. Suppose o*p - 12*p = 3*j - 13351, 0 = -5*j - 4*p + 22243. Is j prime?
True
Let c = 395645 + -217644. Is c a composite number?
False
Suppose 9*d - 212 + 914 = 0. Let v = -64 - d. Suppose -v*o = -5*o - 4491. Is o composite?
False
Let p = 75 - 87. Let u be (-13 - p)/(1/(-36)*-1). Is 4/(u/(-1857)) + (-2)/6 a composite number?
True
Let k = 602 - 306. Suppose 45 - 9 = 3*l. Suppose -l*w + 8*w + k = 0. Is w a composite number?
True
Suppose -z + 5 = 3. Suppose -5*k + z*m - 645 = 0, -4*k - 5*m + m - 516 = 0. Let f = k + 182. Is f a composite number?
False
Suppose -101*r = 24*r - 21863875. Is r prime?
False
Let j = -1208 - 1077. Let c = 3372 + j. Is c prime?
True
Is (-12751562295)/(-11075) - (-1 - (-2)/((-10)/(-3))) a composite number?
False
Suppose 0*p - 43804 = -2*p + 683862. Is p composite?
False
Let t = 2172 - 43. Suppose 0*p + t = 3*w - 4*p, -1411 = -2*w + p. Is w prime?
False
Let d = 447411 - 140994. Is d a composite number?
True
Let m = -19247 - -53454. Is m composite?
True
Suppose -7*v - 596748 = -1439149. Is v a composite number?
True
Let k(p) = 5*p + 2051. Let c = -54 + 54. Is k(c) prime?
False
Let r = -82 + 88. Suppose i - 4*g = 195, 5*g = 3*i - r*i + 568. Is i prime?
True
Let p be (-3)/12*(-19 - 1). Suppose d - 2*a = 6*d - 2253, -5*d = -p*a - 2225. Is d composite?
False
Let y(p) = -23*p - 25*p - 18*p + 40 + 69*p. Let m be y(-12). Suppose 5*c + 5*t - 11507 - 6468 = 0, -t - 14370 = -m*c. Is c a composite number?
False
Let d(t) = 3*t + 4. Let j be d(0). Suppose j = -10*o + 24. Suppose -8*r = -o*r - 15108. Is r a composite number?
True
Let o(m) be the third derivative of 553*m**5/60 + 17*m**4/8 + 3*m**3/2 + 40*m**2. Is o(-4) composite?
True
Let m be (-6)/(-4) + 16740/40. Let g = 29 + m. Is g composite?
False
Let r be (-9975)/(-20) - (-7)/28. Let z = r + 115. Is z prime?
False
Suppose n = -5*f + 28, -f + 136 = 3*n + f. Suppose 5*v - 30200 = -5*d, d + n*v - 6049 = 44*v. Is d prime?
True
Suppose -14*g - 11*g + 2357092 = -688683. Is g a prime number?
False
Suppose -3*q = 5*r - 1161458, 1935785 = -678*q + 683*q + 4*r. Is q composite?
False
Is (450431 + 3)*31/62 a prime number?
True
Let g be (-1 + 152)/((-5)/30). Let r = g + 1806. Is (-28*(r/(-8) + 1))/2 prime?
False
Let r be ((-6)/4 - 0)*868/(-21). Let a = r + -67. Let f(w) = -38*w + 13. Is f(a) a prime number?
False
Let p(i) = i**2 - 5*i + 2. Let z be p(2). Let m(q) be the first derivative of -31*q**2/2 + 3*q + 73. Is m(z) a prime number?
True
Let z = -1105 - -564. Suppose -2*i + 1604 = 3*r - r, 4*i + 2*r = 3200. Let x = i + z. Is x composite?
False
Suppose 200 = 14*b - 6*b. Suppose 5*n - 5 - b = -5*z, 28 = 5*z + 4*n. Suppose -z*a + 6*a - 4*y = 334, 3*a + 5*y = 501. Is a prime?
True
Let w(b) be the second derivative of -145*b**6/144 + b**5/30 + 5*b**4/2 + b. Let u(j) be the third derivative of w(j). Is u(-3) composite?
False
Let x(d) = -d**2 + 20*d - 17. Let u be x(19). Suppose -c = -4*r - 1546, -7 = u*c - 3. Is r/(-6) - (-3)/6 a prime number?
False
Let m(j) = j**2 - 12. Let g be m(-4). Suppose 1485 = o + g*o. Suppose -2*f = -o - 57. Is f prime?
False
Let x(y) = 15668*y**2 + 13*y - 8. Let a be x(2). Suppose 114*p - a = 109*p. Is p prime?
False
Let a = 76 + -116. Let q = a - -40. Suppose q = -5*f + k + 400, 308 + 3 = 4*f + k. Is f composite?
False
Let u be (-21720176)/(-80) + (-4)/(-5). Suppose 8*m - 754943 = -u. Suppose 0 = -5*c - 5*c + m. Is c a prime number?
True
Let c = 77 - 76. Suppose m + c = -2, 2*m = 5*p - 21. Suppose 4*o + l = -40 + 1558, -o = -p*l - 373. Is o a prime number?
True
Let o = -9057 - -13829. Is 108/(-108) - (0 - o) a prime number?
False
Let g be (-10)/(-45) + (-836)/36 + 1. Let x(b) = -3*b**2 - 131*b + 29. Is x(g) a prime number?
True
Let c(k) = 418*k**2 - 121*k - 1039. Is c(-8) a prime number?
True
Suppose 10*c = 158985 - 23085. Suppose 11*g + c = 38989. Is g prime?
True
Let c(u) be the second derivative of 411*u**5/4 - u**4/6 + u**3/6 - u**2/2 - 54*u. Is c(1) a composite number?
False
Let k be (1274/21)/14*3. Suppose -8425 = -k*a + 35866. Is a a composite number?
False
Let y be (2/8 + 33/12)*3. Let d be 6/54 - (2 + (-17414)/y). Let g = d + -830. Is g composite?
False
Let n = -1456132 + 2826275. Is n composite?
False
Let n = -47 + 72. Let y = n - 20. Suppose y*k = -233 + 1543. Is k a prime number?
False
Let k(x) = 65*x**2 - 3*x - 13. Let z be k(9). Suppose -2*s = 3*b + z, -s = 4*s - b + 13020. Is (-4 + (-95)/(-25))*s prime?
True
Let g(h) = -5981*h**2 - 38*h - 24. Let a(q) = 5981*q**2 + 36*q + 24. Let w(s) = 7*a(s) + 6*g(s). Is w(-1) prime?
True
Is 17/((-612)/(-1142580)) + (-8)/(-3) + -2 a composite number?
True
Let s = 504174 + -282637. Is s a prime number?
True
Let x(p) = 2*p - 5. Let f be x(5). Suppose f*h - 31 = -b, -4*b - 3*h + 7 + 66 = 0. Is ((-8)/b)/((-1)/730) a prime number?
False
Suppose -5*q - 5 = 0, -2*b - 2*q = -3*q - 11. Suppose w = 2*g + b*w - 814, -4*w - 774 = -2*g. Is g a prime number?
True
Let u(o) = 16*o + 101. Let i be u(-6). Is -3*i/(60/(-17668)) a prime number?
False
Suppose 0 = 4*l + 4*f + 17330 - 466, l = 2*f - 4222. Let a = l - -7951. Is a composite?
False
Let b be -4 + (-2)/((-6)/9261). Let u = b - 1642. Is u a composite number?
True
Suppose 5*p - 146120 = 5*b, -30*b - 87666 = -3*p - 25*b. Is p prime?
False
Suppose 10*d + 2575 + 3525 = 0. Is (-7686793)/d - 3/10 prime?
True
Suppose -1923 = -5*r + 427. Let n be ((-366)/54 - -7) + 970/9. Let y = r - n. Is y prime?
False
Suppose 145*s - 892046 = 18*s + 1203835. Is s a composite number?
True
Suppose -2*h - 82 = 3*v, -h = -3*h + 2. Let o = v + 28. Suppose 8*s - 1988 + 316 = o. Is s prime?
False
Let u = -6 - 9. Suppose -1379 = -p + g - 6*g, 2*p - g - 2725 = 0. Let y = u + p. Is y composite?
True
Let x = -38 - -38. Suppose x*d - d + 38 = 0. Suppose 5*i = 15, 2*i + d = h + h. Is h a composite number?
True
Let w(j) = -262*j - 33. Let y(l) = -131*l - 17. Let z(h) = -4*w(h) + 9*y(h). Let f(b) = 65*b + 10. Let n(g) = -7*f(g) - 3*z(g). Is n(-3) a prime number?
True
Let q be (114/24)/((-1)/(-4)) - -1. Suppose -s = s - q. Let m(j) = -j**3 + 12*j**2 + 4*j + 11. Is m(s) a prime number?
True
Let z(o) be the third derivative of -41*o**4/2 + 97*o**3/6 + o**2 + 3*o. Is z(-17) composite?
False
Suppose -5*i + l = -18, -2*i + 0*l - 2 = -5*l. Suppose i*n - n - 5*a - 9753 = 0, n + 3*a - 3251 = 0. Is n prime?
True
Suppose -12*m + 13*m = 4*y - 2930078, -2*y = -3*m - 1465024. Is y prime?
True
Let f = 79435 + -56379. Suppose 4*n = -5*j + f, 2*j = 4*n - 2*j - 23020. Is n a composite number?
True
Suppose 4*r - 26 = -5*m, 4*m = 3*r - r. Is (r/(-6))/(-3*10/184725) composite?
True
Suppose 4*h - 2*n = 0, 0 = 3*h + 17*n - 18*n. Suppose 4*u = -2*c + c + 3200, h = 5*u + 5*c - 4015. Is u prime?
False
Let n be (-1*3 - -2) + -1. Let c(h) = h**2 - 1. Let p(f) = 16*f**3 + 3*f**2 + 3*f + 1. Let i(q) = 2*c(q) - p(q). Is i(n) a prime number?
True
Let z be (-7)/(-2)*68/119. Suppose -a + z*d - 7*d = 20, 0 = 2*a + d - 5. Suppose -73 = -b - 2*p, a*b - 387 = 6*p - 5*p. Is b a composite number?
True
Let p(l) be the first derivative of 239*l**3/3 - 9*l**2/2 - 13*l - 69. Is p(-5) a composite number?
False
Suppose 23601 = -5*d - 5429. Let y = d - -8295. Is y composite?
True
Let r be ((-10)/6)/((-7)/21). Is 5 + r/((-10)/(-5656)) composite?
False
Let u(x) = 519856*x**3 + 5*x**2 + 49*x - 51. Is u(1) composite?
True
Let j(q) = q**2 - 24*q - 21. Let o be j(25). Suppose -o = -2*b + 4*m, -4*b + 16 = m - 1. Suppose b*n - 2*i - 1615 = -3*i, 4*i - 12 = 0. Is n a prime number?
False
Let b(g) = 11269 + 2*g**3 + 10*g - 5*g**3 - 5*g**3 + 10*g**3. Is b(0) a prime number?
