s f(-16) a prime number?
False
Let s(n) = 453*n + 2. Let g(k) = k**2 + 29*k + 3. Let j be g(-29). Suppose -5*u = -j*u, 2*u - 12 = -4*m. Is s(m) prime?
True
Let q = -6059 - -13062. Suppose 4*v = -3*a + q, 10*v - 12*v = -5*a + 11637. Is a a prime number?
False
Let h(r) be the first derivative of -r**2 + 51*r + 13. Let o be h(23). Suppose 5*x + 2*w + 0*w = 4597, -4*w = o*x - 4599. Is x a composite number?
False
Suppose 243296 = -12*u + 35*u - 61109. Is u a composite number?
True
Let p(c) = 26*c**3 - 13*c**2 + 5*c + 12. Let s(u) = -55*u**3 + 27*u**2 - 9*u - 25. Let z(k) = -7*p(k) - 3*s(k). Is z(-4) a composite number?
True
Let o be (-1 - (0 - 6))*(-41 - 3256). Let m = o - -27820. Is m a composite number?
True
Let t = -165 - -392. Let q(n) = -n**3 + 18*n**2 - 77*n + 80. Let x be q(11). Suppose -o = -t - x. Is o a composite number?
False
Let d = -28 + 30. Suppose -21 = -2*h + 5*q + 5, 0 = 2*h + d*q - 40. Let z(g) = -g**3 + 21*g**2 + 4*g + 5. Is z(h) prime?
True
Suppose 4*q + b + 4 = 2, 6 = -3*b. Suppose q = 8*g - 3739 - 4845. Is g a composite number?
True
Let r(l) be the first derivative of -l**4/4 - 2*l**3 + 7*l**2/2 - 6*l - 13. Let k be r(-7). Let q(d) = -6*d**3 + d**2 - 5*d + 17. Is q(k) prime?
False
Suppose -14*q = -962492 - 665918. Suppose u + q = 5*h, 5*u - 46526 = -2*h + 9*u. Is h prime?
False
Let a be (-177)/(3/(-46) - 0). Let s be 1 + 67884/20 - 4*8/(-40). Suppose s = 10*z - a. Is z a prime number?
False
Is 6/22 - 9330916/(-77) a prime number?
True
Suppose 4*o + 100 = 5*t, -4*o - o = 5*t - 55. Suppose -34186 = -t*p + 14*p. Is p composite?
False
Let f(d) = -3*d - 13. Let x be f(-5). Suppose 20 = 7*o - x*o. Suppose -j - 1347 = -o*j. Is j composite?
False
Let o(b) = -9*b**3 + 34*b**2 - 67*b - 1113. Is o(-40) a composite number?
True
Suppose 5*z + 273299 + 98045 = 3*s, -3*z - 495107 = -4*s. Is s composite?
True
Let r(p) = -33*p - 6. Let v be r(-1). Suppose 24*s = v*s - 49935. Is s composite?
True
Let j be ((-19626)/36)/(1/(-6)). Suppose -6*q - 3*h = -q - 16270, 0 = q + 4*h - j. Is q composite?
False
Let m = -417 + 204. Let n = 5258 - m. Is n a prime number?
True
Let y = 116 - 113. Is y*17*(-10 - -11) a prime number?
False
Let a(j) be the third derivative of -j**5/120 + 5*j**4/3 - 3*j**3 - 4*j**2. Let s(g) be the first derivative of a(g). Is s(-18) prime?
False
Is (4 + -8609)*(-18)/90 prime?
True
Let n(c) = 6*c**2 + 173 - 3*c - 468 + 6*c + 178. Is n(14) composite?
True
Suppose -2443000 = -27*c - 416358 + 3417989. Is c composite?
False
Let o(m) = m**2 + 8*m - 2. Let v be o(-10). Suppose 0 = 5*w - 10, -3*s + v = 4*w - 5. Suppose -2*k - 2*p + 655 = -177, s*k - 2086 = -3*p. Is k composite?
False
Let b be (-3*(-8)/(-42))/(10/(-105)). Suppose -2*j + 4*j + u = 5160, -b = 3*u. Is j prime?
False
Suppose 6286 = 5*x - 3834. Suppose -2*w + x + 774 = -5*t, -1399 = -w - 4*t. Is w a prime number?
True
Is ((-232)/464)/((-1)/1956134) a prime number?
True
Let s be ((-8)/12)/((-2)/6). Suppose -s*j + 3 = -r + 4, -5*j - 10 = -4*r. Suppose d - 356 = 5*l, 5*l - 1299 = j*d - 6*d. Is d prime?
True
Suppose -25*y = -27*y - 2*x - 20, 3*y = x - 14. Let z(g) = -67*g**3 - 3*g**2 - 16*g + 19. Is z(y) composite?
False
Suppose 4*l = -12, -3*p - 4937 = l - 1448. Let t = p + 5055. Is t composite?
True
Is ((-2)/(2 - 6))/((-94)/(-25376804)) a prime number?
False
Suppose 7*g - 9*g + 337697 = -c, -3*c + 337717 = 2*g. Is g composite?
False
Let s(j) = -1051051*j - 9. Is s(-2) composite?
True
Suppose -358 = 19*i - 10447. Suppose -3*p + 421 = -m, 2*m = -4*p + i + 17. Is p prime?
True
Let n = -27039 - -39136. Is n composite?
False
Let z be 588/30 - (-4)/10. Suppose -z*j + 18*j = -230. Suppose -4*n + j = 2*k - 99, 2*k - 112 = -2*n. Is n a prime number?
False
Let l be (0/(-2 - -1))/1. Suppose l = -8*s + 177 + 535. Is s prime?
True
Suppose 0 = 29*b - 9 + 9. Suppose b = -3*f - 3*v + 10086, f + 3*f - 3*v - 13427 = 0. Is f prime?
True
Let n = 2349 - -32405. Is n prime?
False
Let s(y) = 7*y**2 + 165*y - 469. Is s(-63) a composite number?
True
Suppose 59 - 29 = -6*d. Let u be (4/d)/((-8)/20). Suppose 3*f = c + 4*c - 1276, u*c - 510 = f. Is c a composite number?
True
Let d be -1 - (-4 - 3) - -38994. Suppose -8020 = 10*f - d. Is f a composite number?
True
Suppose 2*y + 2*z - 3394 = -2*y, 3*y = -z + 2545. Suppose -5*h - 3*h = -y. Suppose -v + 2*v = h. Is v composite?
True
Suppose 8*z = -29318 + 10054. Let b be 0 + -899 + -1 + 1. Let k = b - z. Is k prime?
False
Let g = -3718 - -7326. Suppose 2*h = 3*q - g, q - 5*h - 461 = 720. Suppose -6*f - q + 8112 = 0. Is f a composite number?
False
Suppose 0 = 2*r - 4*p - 14, 100 = 5*r + 3*p. Is (-3)/(3/(-1868)) + (r - 18) composite?
False
Let i(s) = s**3. Let h(q) = -3*q**3 - 4*q**2 - 13*q + 3. Let t(n) = h(n) + 4*i(n). Let r be t(6). Is (-1)/r + 10048/24 a prime number?
True
Suppose -1234038 = -2*k - 2*g, 2365960 = 5*k + 3*g - 719151. Is k prime?
True
Let i(s) = -9*s**2 + 25*s - 26. Let j be i(12). Is (-26)/(-78) + j/(-3) composite?
True
Let q(y) = 712*y**2 + 46*y - 211. Is q(-12) composite?
True
Let f(w) = -w**3 - 147*w**2 - 1399*w + 11. Is f(-138) a prime number?
False
Suppose -8488 = 5*s - 4*n, 0 = 4*s - n - 2*n + 6790. Let q = 2447 + s. Suppose q = -7*l + 8*l. Is l composite?
False
Suppose a + 5*z = 109366, 27*a = 25*a + 3*z + 218771. Is a a prime number?
False
Let t = -1282 + 2036. Let k = 55 + t. Is k a composite number?
False
Let i(m) = -1000*m - 83. Let r be i(-3). Suppose 0 = 322*q - 323*q + r. Is q a prime number?
True
Suppose -21*z = -22*z + 4375. Let v = z + -1436. Is v composite?
False
Suppose 51*d - 14*d = 145521. Let z = d - 2744. Is z a prime number?
False
Is 11356 + ((-81)/15 - (5 + (-27)/5)) composite?
False
Suppose -a = 6*a + 158949. Let h = 36080 + a. Is h a composite number?
True
Let f(o) = o**2 - 9*o + 23. Let m be f(5). Suppose -4*u - 3 = 13, 19267 = m*p - u. Is p a prime number?
True
Let r(l) = -141*l**3 - 15*l**2 - 202*l + 35. Is r(-8) a composite number?
False
Let c(d) be the third derivative of -3*d**6/40 + d**5/30 + d**4/6 + d**3 - 2*d**2 + 29. Is c(-7) composite?
False
Suppose -3*r + 30710 - 68338 = -344927. Is r a composite number?
False
Let l(p) = -2*p + 41. Let w be l(19). Suppose w*y - 1139 = 439. Suppose g + 5*x - 263 = 0, -2*g + 2*x = 4*x - y. Is g a prime number?
True
Let o = -89 - -93. Let f(k) = k**2 - 4*k - 3. Let i be f(o). Is 157/((-4)/(i - 1)) a composite number?
False
Let p(y) = -4*y**3 + 255*y**2 - 7*y + 13. Is p(57) composite?
False
Let s be 4 + (-5137 + 0)/((-50)/(-50)). Let r = -586 - s. Is r prime?
True
Let v(n) = 3*n**2 + 33*n - 119. Let l be v(23). Let g = 10096 + l. Is g prime?
True
Suppose 2532 = 3*d + t, 3*d - 2541 = -3*t - t. Let o = d + 226. Is o a prime number?
True
Let r(a) = 12*a**2 + 7*a - 84. Is r(65) composite?
False
Is (8 + (-280)/32)*-2*19898 prime?
False
Let x(a) = -15413*a - 220. Is x(-19) a prime number?
True
Suppose -3*f - 424290 - 7405 = -4*q, 323766 = 3*q + 3*f. Is q prime?
True
Let s = -194 + 199. Suppose q - 3945 = -7*x + 5*x, x - 1968 = -s*q. Is x prime?
True
Let f(z) = z**3 + 18*z**2 + 30*z - 1. Let a be (0 - (-2 + 0)) + (-2 - 16). Let j be f(a). Is (j - (7 + -4))*727/4 a prime number?
False
Let s(j) = 174 - 89*j + 50*j - 64*j - 7. Is s(-22) a composite number?
True
Let q(i) = 204*i**2 - 25*i - 146. Let t be q(-6). Let r = -3401 + t. Is r prime?
True
Suppose -2*m + 3*r = -2 + 14, 4*m - 3*r + 12 = 0. Suppose 0 = 4*v - m*v - 4*t - 63560, -5*v = 5*t - 79400. Is ((-2)/10)/((-9)/v) prime?
True
Let m(s) be the second derivative of -2*s**3 - 29*s**2/2 - 40*s. Let t be m(-9). Suppose -4*g = -3*g - t. Is g prime?
True
Let c be (184/(-10))/((-294)/35 - -8). Let k = c - 43. Suppose -1235 - 406 = -k*z. Is z prime?
True
Let m(s) be the third derivative of s**6/120 + s**5/60 + 5*s**4/24 + 2893*s**3/6 - 62*s**2. Is m(0) a composite number?
True
Let x = 2534 - -7121. Is x prime?
False
Let z(h) = 8*h**2 + 26*h + 92. Let p be z(-4). Suppose p*x = 111*x + 67585. Is x a prime number?
False
Suppose -2*t + 254581 = w, w - 254563 = 15*t - 20*t. Is w prime?
True
Let x(l) be the second derivative of 49*l**3 + 193*l**2/2 + 33*l. Is x(7) composite?
False
Let o(u) be the first derivative of -1623*u**2/2 - 24. Let z be o(1). Let g = z - -2441. Is g prime?
False
Let i = -32580 + 49997. Is i prime?
True
Let g = 171