rime?
False
Let n be (-511905)/12 + 7/(-28). Is (n/(-58))/(1/2) a prime number?
True
Let r = 629 + -4037. Let m = r + 6494. Is m a prime number?
False
Let x(q) = -4*q**2 + 4*q + 3. Let f be x(8). Suppose 4*s + 408 = 4*a, 2*a = a - 4. Let b = s - f. Is b a composite number?
True
Let b be (-16)/(-180)*3*3*5. Let a(w) = -69*w - 11. Let o(n) = -n + 1. Let p(r) = b*o(r) - a(r). Is p(16) composite?
True
Let r be (0 + -1)*(-3 - 1)*194. Suppose -10 = -5*k, -3*u - 2*k + 2409 = r. Is u composite?
True
Let o = 1197 + 79334. Is o prime?
False
Is 19/(-171) + -11101*(-712)/36 composite?
True
Suppose -55*m + 104*m + 31718 = 51*m. Is m composite?
False
Let l(o) = 109*o - 417 + 116*o - 21*o - 7*o + 49*o. Is l(23) prime?
False
Let s(a) = 9*a - 4. Let x(w) = 19*w - 9. Let k(y) = 7*s(y) - 3*x(y). Let q be k(1). Suppose 10 = -q*z, -f + 4*z + 231 = -264. Is f a composite number?
False
Let t = 178647 - 84710. Is t a prime number?
True
Is (8/(1 + -9))/((-1)/1) + 374466 a prime number?
False
Suppose 0 = -3*v + 2019 + 1116. Suppose v + 1749 = -u. Let k = -1623 - u. Is k prime?
True
Let m = 1838035 - 476358. Is m a composite number?
False
Let o(r) = -19*r**3 + 2*r**2 - 2*r. Let p = 100 + -154. Let t = p - -47. Is o(t) composite?
True
Let o(n) = n**3 - 4*n**2 - n + 9. Let d be o(4). Let k be 69/(-115) - (-18)/d. Is -5 - 5192/(-7 + k) prime?
False
Let f(k) = k + 2. Let q be f(-4). Let n(c) be the first derivative of 133*c**3/3 + c**2/2 - c - 1544. Is n(q) a prime number?
False
Let w(k) = 26646*k + 3064. Is w(9) prime?
False
Let i be 10/(-1)*10/4. Let p = i - -37. Suppose 9*a + 597 = p*a. Is a a composite number?
False
Let i = -209190 - -303859. Is i a prime number?
False
Suppose 53*u - 46*u = -124096. Let f = u - -27689. Is f composite?
True
Let j be ((-1106)/14)/((-3)/177). Suppose -7*t = -j - 1940. Is t composite?
True
Let x(v) = -v**2 + 3*v + 12. Let b be x(5). Suppose 12740 = 4*o + b*w + 800, 5*w = -2*o + 5954. Is o a composite number?
True
Let o be (-78)/(-14) + 9/21. Suppose -o*y + 4349 - 479 = 0. Suppose 2*a - 193 - y = 0. Is a a composite number?
False
Let d be 10/4*(-336)/60. Let l = 19 + d. Is l/(-10) + (-9195)/(-10) composite?
False
Suppose -c + 1 = 5. Let x(m) be the third derivative of -m**6/24 - m**5/60 - m**4/24 - m**3/6 + 2*m**2 + m. Is x(c) a composite number?
False
Suppose 0 = -18*k + 74*k - 2169832. Is k a composite number?
False
Is ((-561)/(-153))/(4/199236) prime?
False
Let t(c) = 2890*c - 143. Let j(v) = -6. Let w(i) = 5*j(i) + t(i). Is w(8) a composite number?
True
Let f = 41 + -35. Let i(m) = 198*m**2 + 11*m - 10*m + f - 4. Is i(-1) composite?
False
Suppose 6977 = -12*k + 7001. Let n(r) be the second derivative of r**5/10 - r**4/4 + 5*r**3/6 - r. Is n(k) a composite number?
True
Let b = 36682 - -147045. Is b a composite number?
True
Suppose -3*y = -3*n - 13 + 1, y - 2 = -n. Let i be ((-1)/(-1))/(1/595). Suppose 7 + 2 = y*p, -s + i = 4*p. Is s a prime number?
False
Let b(x) = 18*x**2 + 57*x + 740. Is b(-27) prime?
True
Suppose 1377 = 8*s - 1751. Let y = s - -2620. Is y prime?
True
Suppose -4*x = 3*b - 136753, 4*b = x - 20979 - 13214. Is x a prime number?
False
Let z = 148 - -276. Let f = 1127 - z. Is f composite?
True
Let s be (10*1)/(-3 + 5). Suppose 66 = 36*f + 35 - 77. Suppose 0 = s*l - f*l - 1438. Is l composite?
False
Suppose -11*s = -34548 + 8214. Let l = s + 1353. Is l a composite number?
True
Suppose 36*n + 24 = 40*n. Suppose 12*k - n = 10*k. Is 398 - (k + -1 + -4 + 3) prime?
True
Suppose 1263967 = 26*y + 369697 - 562744. Is y composite?
False
Let f be (-6)/(-12)*-4 - (-41 - 1). Suppose -2*c = -12*c + f. Suppose -3*r + 314 + 374 = c*h, 5*r = -h + 189. Is h a composite number?
True
Suppose m - 24168 = -3*i, 9*m + 6*i + 72549 = 12*m. Is m prime?
False
Let o(r) = -42263*r + 7296. Is o(-7) composite?
True
Let y = 3144 - 6012. Is y/(-2) - (-19 - -14) a prime number?
True
Is (-1 - 0 - 24/(-16)) + (-37737)/(-42) prime?
False
Suppose 17*w - 36588 = 11*w. Suppose -2*n = 0, 2*n - w = -2*c + 7*n. Is c a composite number?
False
Let f(g) = 14*g + 56. Let k be f(-5). Let r be 24/k*(-91)/26 - 1. Suppose 5*x + 4*j = 20529, -x - r*j + 399 = -3690. Is x composite?
True
Let i(v) = -51*v**3 + 13*v**2 - 27*v - 212. Is i(-11) composite?
False
Let h(u) be the third derivative of 37*u**6/10 + u**5/60 - u**4/24 + 23*u**2. Is h(2) composite?
True
Let d(t) = 183*t - 1. Let f(n) = -n**3 - 16*n**2 - n + 10. Let z be f(-16). Let k = z - 24. Is d(k) composite?
True
Let z be 2/(-4) + (-84)/(-24). Let f(s) = 243 - 9*s - 242 + 76*s**3 + 9*s. Is f(z) a composite number?
False
Let v = 26 - 22. Suppose 0*c = c + 3*m - 12, 5*c = m - v. Suppose c = 5*b - 1695 - 490. Is b prime?
False
Is (-4)/2 - (1756/10)/((-24)/720) a prime number?
False
Suppose 259 = 5*d - 286. Let z = 1904 - 1677. Let h = z - d. Is h a composite number?
True
Let x(p) = -p**3 + p**2 + 2*p + 113. Let t be x(0). Let w = t + -110. Suppose w*i - 12027 = -2*d - 2*d, 4*i = d + 16036. Is i prime?
False
Suppose 832 = 2*u + 2644. Let s = u - -602. Is -1 - s - (2 - 6) composite?
False
Let f = 21513 - 11940. Suppose f = 7*l - 5134. Is l a prime number?
False
Let d = -283195 - -473382. Is d composite?
True
Suppose -3*u = -3*h - 681771, 2*u - 4*h - 118998 = 335528. Is u a composite number?
False
Let o(v) = 53*v**2 + 169*v - 65. Is o(-37) prime?
True
Let c(f) = -f**3 - 5*f**2 + 5*f - 4. Let m be c(-6). Is 164/3 - 3*m/(-18) composite?
True
Suppose 2*t + t = -u + 120, u + t = 118. Is 135/u*1041 - 2/13 a composite number?
False
Let a(x) = 1164*x**2 - 11*x + 34. Let m be a(8). Is (-13)/117 + m/27 prime?
False
Let v(z) = 1938*z + 3951. Is v(5) a composite number?
True
Suppose 0 = -5*t + 5*j - 0*j + 40, 0 = 2*j + 4. Is -4468*((-3)/(-24) + t/(-16)) composite?
False
Suppose -16 = 4*h, -15*i - 3*h + 5706076 = -7*i. Is i prime?
True
Suppose c + 5*k = -34 + 83, 0 = c + 4*k - 47. Suppose -132 = -o - a, 3*o - 2*a - 362 = c. Is o prime?
False
Let h(t) = -71*t**3 + 5*t**2 - 22*t + 3. Let c be h(5). Is c/3*2*15/(-10) prime?
False
Let j(g) be the first derivative of -667*g**4/2 - g**3/3 - 19. Let q be j(1). Let c = 1876 + q. Is c a prime number?
True
Let f(x) = -178*x + 6. Let b be f(4). Let q = b + 5323. Let p = q + -2282. Is p a prime number?
False
Let i(y) = y**3 - 4*y**2 + y - 11. Let v be i(4). Is -4 + 11 + v + 12603 composite?
True
Suppose 13923594 = 194*w + 1771822. Is w composite?
True
Suppose -3*p + 4*v + 21294 = 0, 3*v - 33347 - 2114 = -5*p. Suppose -2*u = 4*s - p, -3*s = 5*u - 2*s - 17735. Is u prime?
True
Suppose 0 = 44551*m - 44540*m - 173327. Is m composite?
True
Let g = -82 - -39. Let s = -40 - g. Suppose -s*w + 4181 = -2*q, -2*w = 3*w - 2*q - 6967. Is w composite?
True
Let q(m) = -m**2 + 7*m + 5. Let f be q(7). Let k(i) = -4*i**2 + i**2 - 839*i + 837*i + 1 + 17*i**3. Is k(f) composite?
True
Let q(k) = -k**3 + 23*k**2 + 22*k + 34. Let a be q(24). Is a/147*7*282/(-4) composite?
False
Let b(m) = -m**3 + 11*m**2 + 26*m + 2. Let f be b(13). Suppose 8269 = f*l - 0*a - 3*a, l = a + 4132. Is l a prime number?
True
Suppose 2*o - 196453 = -3*h, -3*o = -15*h + 18*h - 196455. Is h a composite number?
True
Suppose 0 = 129*s - 5102914 - 6130793. Is s a prime number?
True
Suppose -192*d + 187*d + 44930 = 0. Suppose 5*h + 13495 = 8*h + 2*g, 2*h - 4*g - d = 0. Is h a prime number?
False
Let x(j) = -481*j + 27. Let h(w) = w + 1. Let y be h(-9). Let r be x(y). Let g = r - 2738. Is g prime?
False
Let n(u) = 3*u**2 - 13*u + 17. Suppose 99 = 3*v + 9. Is n(v) composite?
True
Let g = 35 - 30. Suppose -g*h = -5 - 5. Is (0 + (-78)/(-8))/(h/8) a prime number?
False
Suppose -4*l + 1920 = w, 4*w - l = 3*w + 1940. Suppose 0*j - 4 = -4*j. Is 1/(j/w) + 3 prime?
False
Let c = 47 - -7. Let d(y) = -50*y - 52*y - c*y + 29*y + 9. Is d(-2) a composite number?
False
Let p be ((-332)/14 - 0) + 176/(-616). Let t(z) = 26*z**2 - 38*z - 11. Is t(p) composite?
False
Let l = -2539 + 11838. Is l composite?
True
Let c(r) = -2*r**2 - 39*r - 431. Let d be c(0). Let i be ((-340)/6)/(2/30). Let t = d - i. Is t composite?
False
Suppose -5 = -5*l + 3*f, 0 = -5*l - 0*f - f + 25. Suppose 15960 = -5*g + 4*n + 45713, 3*g - l*n - 17847 = 0. Is g prime?
True
Let w = 12807 - 9079. Suppose f + v = 1246, -w = -3*f - 5*v + 4. Is f a prime number?
True
Let x(a) be the third derivative