 - 28646. Is o prime?
True
Let b(n) = -5*n**2 - n**3 - 7*n + 2*n**2 + 1 + 4. Is b(-8) a composite number?
True
Suppose 5*z + 55*a = 56*a + 103110, 0 = -4*z - 3*a + 82469. Is z composite?
True
Suppose -44*o + 115221 + 119959 = 0. Is o a composite number?
True
Suppose -4*n = -12 - 8. Let j(c) = c - 12. Let o be j(n). Let q(a) = a**2 - a + 1. Is q(o) a prime number?
False
Suppose -4*n + 6*h - h + 15198 = 0, -3*n + 11385 = 3*h. Let j = n + -688. Is j prime?
True
Let o(c) be the first derivative of -5*c**2/2 + 689*c - 12. Is o(0) prime?
False
Let d be 33168/(-12) + 1 + -6. Let p = -1310 - d. Is p prime?
True
Let a(m) = m**3 - 5*m**2 + 2*m + 4. Let b be a(5). Let w = 15 - 8. Is 2/w + 738/b a composite number?
False
Let r(q) = 7*q**3 - 6*q**2 + 5*q - 6. Let o be r(-7). Let a = -1001 - o. Is a a composite number?
True
Let c(t) = -t**2 - 11*t + 5. Let d be c(-11). Suppose 5*f = 3*m + 13, 2*f + 3*m + d = 3*f. Suppose -f*z + 172 = 2*l - 54, 561 = 5*z + 3*l. Is z prime?
False
Suppose 0 = 5*w + 2*p - 8 - 115, -4*w + 2*p + 102 = 0. Suppose 8*m - 3*m - w = 0. Suppose -730 = -m*c + 3*u, 4*c + 0*c - 3*u = 581. Is c prime?
True
Let s(c) = -c + 4. Let d be s(9). Let w = d - -6. Is 1/(w + 1920/(-1923)) a prime number?
True
Let f = -1 + -7. Let s = 8 + f. Suppose s = -0*g - 2*g + 2566. Is g a composite number?
False
Let f be 1/(15/340*2/3). Let q = 360 - f. Is q prime?
False
Suppose 29*y = 48*y - 309529. Is y a composite number?
True
Let f(a) = a**3 + 8*a**2 + a + 15. Let s(p) = -p. Let k(w) = -f(w) - 6*s(w). Is k(-11) composite?
False
Let i = -17 + 26. Let x(r) = r**3 - 8*r**2 - 10*r + 12. Is x(i) a prime number?
True
Let d(m) = -m**3 - m**2 + 2*m + 2. Let c be d(-2). Suppose -3*r - 2*p = -957, 3*p = -4*r + c*p + 1276. Let n = r + 180. Is n prime?
True
Let v(b) = 2*b**2 + 17*b - 4 - 7 + 4 - 1. Let t be 6*20/8*-1. Is v(t) composite?
True
Let c(h) = 3*h**2 + 7*h - 13. Let o be c(11). Suppose -2*m = 4*r - o - 253, 0 = 3*r - 3*m - 519. Suppose u - 40 = r. Is u a composite number?
False
Let m = -75 - -73. Is ((-2054)/65)/(m/10) composite?
True
Let b(c) = 15*c**2 + 3*c - 4. Let u be b(1). Is 2092/u - (-9)/(-21) - 0 composite?
False
Let s = -5547 - -31996. Is s a prime number?
True
Suppose -4*j = 2*a - 3624 + 1338, 5*j - 4*a = 2877. Is j a composite number?
True
Suppose 0 = o - 5*i - 2124, -3*i - 4255 = o - 3*o. Is o composite?
False
Suppose 2*o = -2*b + 2, 5*o - 1 = -b + 4. Suppose -34 - o = p. Is (-6555)/p + 2/(-7) composite?
True
Let r(o) = -136*o - 16. Let p be r(-9). Suppose c - 975 = p. Suppose 4*f - c = -403. Is f prime?
False
Let i be 194/(-16) + (-10)/(-80). Is ((-3)/(-2))/(i/(-20632)) prime?
True
Let l be 14/6 + (-22)/(-33). Suppose 0 = -k - 2*b + 871, -5*b - 802 + 3418 = l*k. Is k prime?
True
Let y(f) be the second derivative of -11*f**3/3 - 19*f**2/2 + 10*f. Let s be y(-10). Suppose 0 = 4*p - 1093 + s. Is p a composite number?
False
Let v(d) = d**2 - 6*d - 5. Let u be v(5). Let a be 4/20 + 1042/u. Let y = a - -307. Is y a composite number?
True
Let q(n) = 0*n - n**2 + n - 4 - n - n. Let m be q(-3). Let b = 65 + m. Is b prime?
False
Let b be (-17)/8*-2 + 1/(-4). Suppose -2*p + 413 = -s + 4*s, -4*p = b*s - 832. Is p composite?
False
Let l(k) = 2*k**3 - 4*k**2 - 6*k - 7. Suppose -2 - 10 = -4*d. Suppose -5*o = -d*o - 10. Is l(o) prime?
True
Let c(b) = 8*b**2 + 6*b + 15. Let x be (24/(-8))/(2/12). Let d = -25 - x. Is c(d) a composite number?
True
Is (-4 - 2)*(-9302)/4 a composite number?
True
Let k be 28/35*(-30)/(-4). Is (1/(-4))/(k/(-8))*1041 a composite number?
False
Suppose 32 = -0*b + 2*b. Suppose 17*s - 58 = -1996. Is b/4 + -3 - s a prime number?
False
Let o(t) = -201*t + 1. Let p be o(-2). Let a = p + -282. Is a prime?
False
Suppose 50*s = 40*s + 179430. Is s prime?
False
Is ((-21)/(-9) + -1)*(-2910)/(-20) a composite number?
True
Let u(v) be the third derivative of -17*v**6/360 + v**5/24 + v**4/24 + 4*v**2. Let b(q) be the second derivative of u(q). Is b(-4) a prime number?
False
Let v(j) = -634*j + 13. Suppose -5*h = -4*r + 24, -5 = 4*h - 2*r + 13. Let k be v(h). Let d = k - 1796. Is d a composite number?
True
Suppose -7*o + 10735 + 3972 = 0. Suppose -2*t - 3*c + 2109 = t, -3*t - c + o = 0. Is t a composite number?
True
Let w(q) = 7*q**2 - 21*q - 59. Let o(a) = -13*a**2 + 43*a + 117. Let r(z) = 6*o(z) + 11*w(z). Is r(26) prime?
True
Let r(z) = -4*z**2 + z**2 + 1 + z**2 - 450*z**3. Let y = 177 - 178. Is r(y) a composite number?
False
Let i(d) = -d**3 + 4*d**2 + 21*d + 9. Let x be i(7). Suppose -x*z + 21*z = 12108. Is z a prime number?
True
Is -5 - ((-3266 - (-2 - 2)) + 6) a prime number?
True
Suppose 5*n = 2*a + 7795, 0 = -4*n + n - 5*a + 4708. Is n composite?
True
Let m(j) = j**2 - 10*j - 10. Let n be m(-7). Let k = n + 82. Is k a composite number?
False
Let c(p) be the second derivative of 40*p**3/3 - 9*p**2/2 + p + 18. Is c(13) a prime number?
True
Let y(f) = f**2 + 2*f + 1. Let t be y(-2). Is 862/4*t*2 prime?
True
Suppose 83*w - 78*w = 1440. Let u = w - 149. Is u composite?
False
Let r = 3277 - 1674. Is r prime?
False
Let f be ((-42)/(-7) + -7)*(0 + 0). Suppose -2*z = 2*z - 4*i - 1172, f = -3*z - 3*i + 891. Is z a composite number?
True
Suppose -y - 4*s - 747 = 0, 3*y + 2*s + 3*s + 2248 = 0. Let q = 3134 + y. Is q a prime number?
True
Let q(u) be the third derivative of -u**5/60 - 5*u**4/24 + u**3/6 + u**2. Let z be q(-4). Suppose -z*a + 7*m + 245 = 4*m, a - 49 = -5*m. Is a composite?
True
Let a = 28 - 209. Let k = -84 - a. Suppose 4*q = t + k + 29, 5*q - t - 157 = 0. Is q a prime number?
True
Let b(y) = -7 + 10*y - 3*y**3 + 7*y**2 + y**2 + 2*y**3. Let q be b(9). Suppose -g + q*u = -235, 236 = -2*g + 3*g - 3*u. Is g composite?
False
Let x(z) = z**3 - 7*z**2 + 7*z + 1. Let l be x(5). Is (-7)/(l/414) - -4 composite?
False
Let x = 5387 + 101. Is x/176 + (-2)/11 prime?
True
Let r(q) = -23*q**3 - q**2 + 2*q - 1. Let l be r(1). Let s = l + 23. Is 1 + (s - 5) - -635 prime?
True
Suppose 0*u + 2*u - 6 = 0. Let j = 8 - u. Suppose -j*p + 18 = -27. Is p prime?
False
Let b(a) = -9*a**3 - 10*a**2 - 4*a + 3. Let x(q) = 9 - q - 5 - 2*q - 1 - 9*q**2 - 8*q**3. Let y(n) = -4*b(n) + 5*x(n). Is y(-5) a composite number?
False
Suppose q = -5*p + 2192 - 396, -3*p - 4*q = -1081. Let k = p + 1014. Is k a composite number?
False
Let q(b) = b**3 + 23*b**2 + 17*b - 21. Let t be q(-19). Suppose -3*o - 113 = -t. Is o a composite number?
True
Suppose 5083058 - 1837373 = 15*s. Is s a prime number?
True
Let z = -11 + 15. Let q be ((-44)/10)/(z/(-660)). Let w = q - 257. Is w a prime number?
False
Is ((-133062)/(-9))/(14/21) composite?
True
Let z be 0 + 0/(-2) + 0/1. Let h(l) = -l**3 - l - 1. Let i(y) = -4*y**3 - y**2 - 4*y - 52. Let k(g) = 3*h(g) - i(g). Is k(z) prime?
False
Let g(k) = -k**2 + 10*k - 6. Let v be g(9). Suppose 0 = -v*l + d + 897, l + 3*d - 299 = -0*l. Is l prime?
False
Suppose -s - b - 1 - 2 = 0, 2*s - 19 = 3*b. Let z(c) = -4*c**2 + 0*c**s + 1 + 0 - 10*c + 3*c**2. Is z(-7) a composite number?
True
Suppose -9*d = -19*d + 1210. Is d composite?
True
Suppose 0 = q - 5*q - 44. Let u = q - -48. Is u a composite number?
False
Let r be (-5)/(15/9) - -8. Suppose r*g = 3*g. Suppose g = -5*t + 288 + 827. Is t composite?
False
Is 10829 + ((-64)/(-48))/(2/3) a prime number?
True
Suppose 0 = 5*j + c - 2952 - 12864, -2*j - c + 6327 = 0. Is j a prime number?
True
Suppose 3*x = 7*x + 2612. Let m = x - -325. Let z = m + 791. Is z prime?
True
Suppose 0 = 24*t - 23*t. Suppose t = 2*g - 4*p - 7416, g = -2*g + 2*p + 11104. Suppose -400 = -6*b + g. Is b a composite number?
False
Let t(s) be the third derivative of -1/6*s**3 + 0 + 0*s + 45/4*s**4 - 6*s**2. Is t(1) a prime number?
True
Let f(w) = w**3 + 40*w**2 + 23*w + 73. Is f(-29) a composite number?
True
Let k = 167 + -146. Is k composite?
True
Let p = -723 + 6946. Suppose -4*b = 3*b - p. Is b composite?
True
Let p be (-1)/2 - -1 - 3/6. Suppose 3*w + 1524 - 6687 = p. Is w a prime number?
True
Suppose 4 = 3*y - v + 5*v, -4*v + 4 = -5*y. Suppose 3*d = -y*d + 3009. Is d a prime number?
False
Let n = -2186 + 3445. Suppose -n = 2*q - 3*q. Is q prime?
True
Let n = 2530 + -27. Is n composite?
False
Let q be (-1 - 9)*(-28)/35. Let j be 1/(-4)*-2*q. Is (-1658)/(-4) + j/8 prime?
False
Let w(u) = 19*u - 12. Let y(b) = -b**3 - 11*b**2 - 10*b + 10