e number?
True
Let p = 255 - 253. Suppose -5*a + 7441 + 6458 = -p*f, 0 = f + 2. Is a composite?
True
Let k be ((-8)/3)/(16/72) - 2. Let w(a) = a - 7. Let o be w(0). Is (-4)/k + (-6935)/o a prime number?
True
Let h(j) = 1 + 13 + 2*j + 6*j - 6*j. Let i be h(-10). Is (6 + 44/i)*29742/(-8) a prime number?
True
Let n be (-4)/8 + (-1)/(-2). Suppose n*k = -5*k + 20. Is 451 + (k - 3) - 3 composite?
False
Suppose -43*o = -51*o + 5424056. Is o prime?
False
Let m be (-2098584)/(-200) - (-6)/75. Suppose 5*s + 2*l = m, s + 5*l + 1385 = 3479. Is s prime?
True
Suppose -3*p + 3*p = 5*p. Suppose -3 = -p*i + i. Is i/(12/(-2824)*2) prime?
True
Let w be (38 - -1)*(1 - 4)/(-3). Is (1906/(-6))/(w/(-117)) composite?
False
Suppose -4*b = -z - 2981, -4*b + 6135 - 161 = -2*z. Let w be 2331*2 - (-1 + -1 + 2). Let c = w + z. Is c a composite number?
False
Let o(q) = -20*q**2 - 20*q - 12. Let v be o(-9). Let i = 2843 + v. Is i prime?
False
Let y(o) = -2*o. Let t(v) = -66*v**3 + 12*v**2 + 10*v + 11. Let w(d) = t(d) + 5*y(d). Is w(-5) a prime number?
False
Let k = -1952 - -2867. Suppose -3*q = 2*q + 5*y - k, 0 = 4*q - 5*y - 714. Suppose 2*j - q = 649. Is j a composite number?
True
Suppose 26*h - 15*h - 385 = 0. Let g(v) = 350*v - 261. Is g(h) a prime number?
False
Let u be 10*(-32)/(-40) + -2 + 3. Let x(w) be the first derivative of w**4/4 + 2*w**3/3 - 2*w**2 + 14*w + 1. Is x(u) prime?
False
Let m = -36530 - -85333. Is m prime?
False
Suppose 12*q - 2*w = 7*q + 2, 0 = -q + 4*w + 4. Suppose s + q + 5 = 0, 0 = 5*t + 5*s. Suppose 0 = -t*a - 25, v + a = -v + 89. Is v prime?
True
Let c(m) be the first derivative of -93*m**2/2 + 290*m - 180. Is c(-7) a prime number?
True
Let w = -37384 + 139797. Is w a composite number?
True
Let p(g) = 2*g + 44. Let i be p(-10). Is (-6 - -2051) + i/4 composite?
True
Suppose 0 = 5*b - 5*f, 5 - 2 = b - 4*f. Let h(g) = 10211*g**2 + 2*g + 2. Is h(b) composite?
False
Let l(s) = -s**3 + 17*s**2 - 24. Let q be l(19). Let b = -301 - q. Is b prime?
False
Let d(q) = 7*q**3 + 31*q**2 + 95*q - 10. Let y(v) = -6*v**3 - 31*v**2 - 94*v + 11. Let g(j) = 5*d(j) + 6*y(j). Is g(-33) composite?
True
Suppose -4*r - 2331 + 8961 = -x, r + 5*x = 1647. Is r a composite number?
False
Let c(x) = 64*x**3 - 4*x**2 + 25*x - 16. Suppose -2*r - 2*u = -2, -4*u + 10 = -3*r + 41. Is c(r) a prime number?
True
Suppose -5*u + 3434 + 63405 = 3*a, 0 = 2*u - 2*a - 26742. Is u prime?
False
Let k(v) be the first derivative of 31*v**3/3 + 4*v**2 - 7*v + 1. Let i(t) = 4*t**3 + 2*t**2 + 2*t. Let b be i(-1). Is k(b) composite?
False
Let z be 5/(-2)*(-6 + 2 + 2). Let c(t) = 177*t + 36. Is c(z) composite?
True
Let l = -253 + 179. Let w = l + 73. Is w - (-752 - (2 - 2)) prime?
True
Is (-72)/(-56) - 1 - 3228921/252*-4 a composite number?
True
Suppose -5*y + 2331 = 81. Suppose 0 = -3*m - y - 402. Let x = m + 621. Is x a composite number?
False
Let x be (-15)/(-9) - (-873)/27. Suppose 31*u + 2877 = x*u. Is u a composite number?
True
Let r(q) = -q + 24. Suppose -4*j - 64 = -2*a, 10 = 3*j - 4*a + 63. Let t be (j - 6) + 0 + -1. Is r(t) prime?
False
Let t(d) = -11 - 11*d + 67 + 12*d**2 + 1 + 32 - 3*d. Is t(20) prime?
False
Suppose 118 = 10*m + 28. Suppose -4*w = -m*w + 21685. Let b = -2578 + w. Is b prime?
True
Is ((-2)/3)/((-26)/39)*689 a composite number?
True
Let k be (-20)/6*108/(-45). Let r be 1 - k/4 - -1241. Let j = -539 + r. Is j a composite number?
False
Suppose d - 7*u - 9 = -5*u, 0 = u - 2. Suppose 3*q - d - 11 = 0. Is (-1 + (-5884)/q)*(-4)/6 prime?
True
Suppose 606 - 495 = 3*c. Suppose c*p - 40*p - 11047 = -2*b, 5507 = b + 4*p. Is b a prime number?
True
Let x(m) = 2*m**2 + 15*m + 39. Let p be x(27). Suppose -3*z + p = 14421. Let c = -2954 - z. Is c composite?
True
Let y(d) = -27*d + 18*d - 35*d - 35*d - 57. Is y(-24) prime?
False
Let o(v) = -48189*v - 2695. Is o(-16) a prime number?
True
Suppose -3*r - 2*r = -845. Let n(k) = -194*k - 2 + 2 - r*k - 2. Is n(-1) composite?
True
Let z(m) = 496*m**2 + 59*m + 197. Is z(-8) composite?
False
Suppose 3*f - 62*n = -61*n + 844192, -n = -5. Is f composite?
True
Let z = 65 + -74. Let v be (-148)/111*z/2*-1. Let a(b) = -5*b**3 - 3*b**2 + 2*b - 7. Is a(v) composite?
False
Suppose 0 = -13*s - 47 + 138. Suppose 7*d = -s*d + 292390. Is d a prime number?
False
Suppose 41*j - 1233147 - 2030494 = 0. Is j a composite number?
False
Let u(x) = x**2 - 25*x + 43. Let f be u(23). Is (5 + -8)*6599/f prime?
True
Is (6/4*1 - 0)*1764650/435 prime?
False
Suppose m - 3*u - 92 = 0, -3*m + 174 = -5*u - 102. Suppose m*t - 90*t = 2188. Is t composite?
True
Suppose 4*y = t + 185, -y - 137 = -4*y - t. Suppose y*c - 11431 = 39*c. Is c a composite number?
True
Suppose 0 = 5*k + 5*c - 41195 - 164895, 0 = k + 4*c - 41203. Suppose 5*d - k = 3*p, 5*d - 2*p - 16486 = 3*d. Is d composite?
True
Let z = 134 - 131. Is z/(-6) + -3 + 23684/8 composite?
False
Let m = 177 - 180. Is 918 - (m + 1 - -3) a prime number?
False
Let w = 25 - 22. Let d be w/4 + (-116)/(-16). Suppose 13*f - 175 = d*f. Is f prime?
False
Let i(g) be the first derivative of 7*g**3 + 12*g**2 - 16*g - 39. Is i(-13) composite?
False
Let p(w) = -5*w**3 + w**2 - 3*w - 2. Let b(i) = -9*i**3 + 3*i**2 - 6*i - 5. Let s(u) = -6*b(u) + 11*p(u). Let t be s(-4). Let q = 117 + t. Is q a prime number?
False
Let v = -18682 - -33111. Is v prime?
False
Let a = 67 - 87. Let x be a/(-15)*((-1 - -1) + 3). Suppose -7*g + 2979 = -x*g. Is g composite?
True
Let s(q) = -q**3 + 4*q**2 + 7*q - 7. Let w be s(4). Is 353038/w + 1/(-3) prime?
True
Suppose 4*i + 0*i + n = -25, -3*i = -4*n + 33. Let d(a) = -24*a - 32. Let v be d(i). Suppose -4*s = 8*f - 3*f - 201, 4*f - 3*s = v. Is f a prime number?
True
Suppose -2*m - 47*u + 43*u = -382442, -764911 = -4*m + u. Is m a composite number?
False
Let v = -17 + 19. Suppose v*a - 25 = -3*b + 14, 3*b = -4*a + 39. Suppose l - b = 3*z, 2*l - z - 9 = 7. Is l prime?
True
Let a(h) = 431*h**3 + 34*h**2 - 286*h + 8. Is a(9) a composite number?
True
Let z(l) = 1047*l**3 - 13*l**2 - 8*l - 17. Let w(c) = c**2 - 523*c**3 + 0 + 9 + 6*c - 2*c + 6*c**2. Let o(b) = -11*w(b) - 6*z(b). Is o(-1) prime?
False
Suppose 0 = 5*p - 5*k - 386660, -4*p - 5*k + 501766 = 192465. Is p a prime number?
False
Let t(x) = -14*x + 36*x**2 + 15*x**2 + 8*x**2 + 2*x**2 + 16. Is t(5) a prime number?
True
Suppose 29*w = 21*w + 73392. Let x = 18485 - w. Is x prime?
True
Let v = -34 + 36. Let k(b) = -b**2 + 9*b**2 - 45*b - 9*b**v - 19. Is k(-18) a prime number?
True
Let y(x) = -256*x - 4. Suppose 0 = -9*k + 15*k + 6. Let w be y(k). Is (w - 1)*-3*(-6)/18 composite?
False
Suppose 2*m = r - 2, 3*r + 0*r - 4*m = 8. Suppose 0 = 5*t - 2*n + n - 7320, 0 = -t - r*n + 1485. Let j = t + -1026. Is j composite?
False
Let o(l) = -70683*l + 929. Is o(-8) composite?
False
Let g be -1 + 1 + (-178 - 1). Let p be (14 - 22 - 26) + 10. Is (g/(-3))/((p/(-9))/8) prime?
True
Let v = 102342 - 55313. Is v composite?
True
Let h be (4/6)/((-9942)/3312 - -3). Let o = h + 851. Is (-15)/20 + -1 + o/4 composite?
True
Let t be 0/2*69/(-69). Suppose t = -1532*c + 1526*c + 8382. Is c a composite number?
True
Let p be (-3)/(3/(-49)) - (116 + -120). Suppose -p*v - 395085 = -68*v. Is v a composite number?
False
Let v(d) = -17*d**3 - 5*d**2 + 3*d + 2. Let o be v(-4). Let y be ((-4034)/(-4))/((-5)/(-10)). Let x = y - o. Is x a prime number?
True
Let u(a) = 143*a**2 - 92*a - 52. Is u(-63) a composite number?
True
Let k be (0 - -3) + -8 + 17. Suppose 0 = -3*o, -5*o = -r + 4*r - k. Suppose -r*h = -2*h - 1266. Is h a prime number?
False
Let z(d) = 4*d**2 - 11*d + 31. Let m be z(5). Let v = 76 - m. Suppose 2*c = -3*n + 286, 3*c - 439 = -2*n - v*n. Is c prime?
True
Let n be (((-168)/49)/(-8))/((-1)/(-7)). Is 3090/n - (-7)/(-14)*6 prime?
False
Let y = -9517 + 33095. Suppose -3*o = 2*s - 23578, -2*s + y = -o - 0*o. Is s prime?
True
Let p = 167 - -296. Let l = -430 + p. Is l a composite number?
True
Let k(d) = 81 + 4*d**2 + 289*d - 300*d + 3*d**2. Is k(28) a prime number?
True
Let y be (65540/87)/(4/42 - 0). Let s = y + -1789. Is s a prime number?
True
Let j = -300571 + 610178. Is j prime?
False
Let v be -3 + 9 + (-3 - (3 - 8)). Let y(a) = -a**3 + 8*a**2 - a + 11. Let j be y(v). Suppose 7509 = -0*t + j*t. Is t prime?
True
Let i(z) be the third derivative of 7*z**5/30 - 5*z**4/24 + 17*z**3/6 + 3820