se -t = -2*q + o. Is q a prime number?
False
Suppose g - 3*k - 35234 = 0, -2*k + 35259 = 60*g - 59*g. Is (-2)/(-9) + (-96)/(-54) + g prime?
True
Suppose -24*r = -25*r + 2. Suppose 3*g = -r*g - 4*s + 11987, -4*g - 4*s = -9592. Is g a composite number?
True
Let x = 80 - 146. Let g be (-6)/(-33) + -24*16/x. Suppose -g*j + 2516 = -2*j. Is j a composite number?
True
Let v(k) = -k + 49. Let p be v(-72). Suppose 0 = 2*d - d. Suppose 5*g + p = 2*c - 314, 4*c - 4*g - 840 = d. Is c composite?
True
Let j = 313 + -329. Is (276/j)/((-9)/1266)*2 prime?
False
Let g(u) be the first derivative of -105*u**2/2 + 59*u + 37. Is g(-12) prime?
True
Let o(a) = 3108*a - 325. Is o(8) a composite number?
True
Let b(u) = 61*u**2 - 47*u + 80. Let m be b(-31). Is m/28 - 1/(-2) a prime number?
False
Suppose 3*k - 5*d - 936756 = 0, 0 = 4*d + 104 - 116. Is k prime?
False
Suppose -55198591 = -59*z - 74*z. Is z a prime number?
False
Let n be 240/56 + (-5)/(70/4). Suppose 3187 = n*j + 3*d, 2*j - 1611 = 2*d - 7*d. Is j composite?
True
Let f = 246 + -240. Suppose 3*w = 3*m - 9138, -2*m + f*m - 12208 = -4*w. Is m a prime number?
True
Suppose 10 = -10*r + 40. Let y(q) = -q**3 + 25*q**2 + 24*q - 55. Let d(p) = p**3 - 26*p**2 - 24*p + 56. Let h(i) = r*d(i) + 2*y(i). Is h(29) a composite number?
True
Let w = -3108 + 3671. Is w prime?
True
Suppose -20 = -r - 3*r - 4*y, -2*r + 4 = -4*y. Let f be (209/(-22))/((-1)/r). Suppose 112 = 2*a + 3*o, -4*a + f = -o - 200. Is a prime?
True
Suppose 0 = -3*q + 9 - 3. Suppose -5*t = 0, 4*a - 342 = a + q*t. Let g = a + 2975. Is g a prime number?
True
Let k = 85759 - 46680. Is k prime?
True
Let x(g) = 52*g - 15. Suppose 0 = 3*f - 3*d - 24, 4*d = 7*d + 6. Suppose r - 7 = -a + f, 0 = -a - 1. Is x(r) a prime number?
False
Let s(p) = -p**3 - p**2 - 633*p - 229. Is s(-66) composite?
False
Let o(v) = 157*v**2 - 14*v + 99. Let p be o(-43). Suppose -54*a + 60*a - p = 0. Is a a composite number?
True
Let m = 13293 + -5892. Suppose 3*a - m - 5268 = 0. Is a composite?
True
Let z(t) = 295*t - 114. Let d be z(12). Suppose d = 8*c + 842. Is c composite?
True
Suppose -8573 = -9*x + 3334. Let c = 1564 + x. Is c a prime number?
True
Let t = 9670 - -127291. Is t composite?
True
Suppose -l = -2, -6 - 8 = 4*p - 3*l. Let m(u) = -2*u**2 - u + 4. Let t be m(p). Let j = t + 55. Is j composite?
False
Let n be (-964326)/(-55)*20/6. Suppose -17*o + n - 8039 = 0. Is o composite?
True
Let b = 10656 - 15102. Let v = 6419 + b. Is v a composite number?
False
Let g(t) be the third derivative of -t**9/60480 - t**8/4032 - t**7/1260 - t**6/720 - t**5/6 - 15*t**2. Let q(v) be the third derivative of g(v). Is q(-5) prime?
True
Let o = 731439 - 319696. Is o a composite number?
False
Suppose 0 = -379*k + 390*k - 193259. Is k prime?
True
Let z(f) = f**3 + 6*f**2 - 6*f + 5. Let n be z(-7). Let a(j) = -j - 7. Let p be a(n). Is -397*1*(4 + p) composite?
False
Let l be ((-167)/4)/((-4)/32). Is l/10 + 22/165*-3 prime?
False
Let i be 30/3*(-5)/((-25)/2270). Let x = -1763 + i. Is x prime?
True
Suppose 3*v - 89947 = 2*i - 6*i, -15*i - 60053 = -2*v. Is v a composite number?
False
Suppose -a + 4*l - 7 = 0, -a + 3*l + 0 = 7. Is (-7430 + -8)/(a + 5) a composite number?
False
Let v(r) = -r**3 + 18*r**2 + 8*r + 20. Let g(d) = 4*d**2 - 2*d. Let c be g(1). Suppose 2*o - 55 = -o - c*x, -20 = -4*x. Is v(o) a prime number?
False
Suppose 7*n - 27 - 1 = 0. Suppose -y = -5, 38*y = n*x + 36*y - 3746. Is x prime?
False
Let i = -32334 + 65933. Is i a prime number?
True
Let d = 83 + 101. Suppose f + 369 = 4*f. Suppose -f - d = -x. Is x prime?
True
Suppose -119*r + 2267851 = -3686076. Is r prime?
True
Let r(j) = 3*j + 287. Let g be 21*1*(-12)/36. Let b = -7 - g. Is r(b) a prime number?
False
Suppose 2*p + 32 = 4*i + 798, -4*i - 756 = -4*p. Let a = 263 + i. Is a composite?
True
Let g be ((3 - 3)/5)/3. Suppose g = 2*w - 7*w. Suppose w*c + 259 = c. Is c a composite number?
True
Let l(b) = -b + 46*b**2 - 92*b**2 - 17*b - 27 - 2*b**3 + 47*b**2. Is l(-10) prime?
False
Suppose 5*j - 2*f - 1805785 = 0, -21466 - 339673 = -j + 4*f. Is j composite?
False
Let b be (-7)/(21/6)*(-52)/(-2). Let p be 1 - 5*b/(-1). Let x = 416 + p. Is x a prime number?
True
Is (-5 - 1)*4/(-120)*173155 prime?
True
Let m = -34 + 29. Let w(a) = -31*a + 2. Let d be w(m). Suppose -5*j = -4*c + d, 2*j = -1 - 1. Is c a prime number?
False
Suppose c - 201 = 7707. Suppose 23*m - 41005 = -c. Is m a prime number?
True
Let r(s) = 4*s**2 + 4*s + 7339. Let x be r(0). Suppose -31*k + x = -30*k. Is k prime?
False
Let v be (-37)/((-407)/117612)*(0 + 1). Let w = -6973 + v. Is w prime?
True
Let w = 1195 + -736. Let u(i) = 24*i - 2. Let j be u(6). Let x = w - j. Is x a composite number?
False
Let l(o) = -o**3 - 7*o**2 + 10*o + 10. Let t be l(-8). Let c be 190/2 - (2 + t). Let x = 620 - c. Is x prime?
True
Let p = 177 - -123. Let d(c) = p*c - 294*c + 21 + 10. Is d(11) a prime number?
True
Suppose -8*z + 5*z = -12. Suppose z*d - d = 207. Suppose 2*l + 5*u - 123 = 0, -4*l = -4*u + d - 245. Is l a prime number?
False
Let d(v) = -895*v**2 + 4*v + 5. Let z be d(-3). Let m = z + 17042. Is (-7)/(2225/m - 1/4) prime?
False
Let a(d) = 687*d**2 - 1765*d - 31. Is a(28) a prime number?
True
Let b be (-1531)/(-2) + (-1)/2. Let f be (-693)/(-18)*44/14. Suppose 0 = -2*n + f + b. Is n a composite number?
False
Suppose 2*n + 3 = -3*h, h - 6 = -4*n + 3. Is n*3/18*-4*-3433 composite?
True
Let i = -22234 - -35747. Is i prime?
True
Let o = 414576 + -49219. Is o a composite number?
False
Suppose -2*a = 5*k - 4*a - 36851, 4*a + 44226 = 6*k. Is k a prime number?
True
Suppose -4*f - 46214 = -y, 127*y - 124*y = 3*f + 138687. Is y a prime number?
False
Let x(m) = -2*m**3 + 8*m**2 + 9*m + 10. Let r be x(5). Let b be 6/1*4/6. Suppose b*s = r*s - 959. Is s prime?
False
Let x(a) = -5069*a**3 - 2*a**2 - 13*a - 17. Is x(-4) a composite number?
False
Suppose -2*v + 0*v + 8408 = -4*q, 0 = v + q - 4213. Let m = -617 + v. Is m composite?
False
Let v(b) = 39*b**2 - 3*b - 7. Let j be v(-6). Let z(y) = 331*y + 1722. Let l be z(-6). Let q = l + j. Is q a composite number?
False
Let g be (-2 - -1196)/(-4*(-1)/18). Suppose 1914 + g = 3*o. Is o a composite number?
True
Let a(z) = z**3 - 6*z**2 + 14*z - 24. Let j be a(6). Let d be 114 + (-1)/(-1) + 0. Let v = d - j. Is v prime?
False
Let z be 40 - (3 - 8/4) - -1. Let p be (-15)/(-40) + 4265/z. Suppose 28 = -l + p. Is l a composite number?
False
Suppose 6*i = -13*i + 961039. Is i a composite number?
False
Suppose -67*y + 2215704 = -5424239. Is y prime?
False
Suppose 25*x - 16*x - 748893 = 695616. Is x prime?
False
Let b = -17033 + 28791. Suppose 48*k - b = 46*k. Is k a prime number?
True
Let d be 32/176 + 57723/(-33). Let h = d + 13480. Is h prime?
True
Suppose 32*j - 1168069 = -493020 + 446199. Is j a composite number?
True
Let w(g) = 67559*g**2 + 529*g - 1056. Is w(2) a prime number?
False
Let k(m) = -4 + 5*m**2 - 1 + 3*m - 2 - 4*m**2. Let y(q) = 9*q - 84. Let x be y(11). Is k(x) prime?
True
Suppose 0 = 3*w - 4*k - 152062, 0 = -w - 119*k + 115*k + 50650. Is w a prime number?
False
Suppose 8*j = 4*j + 60. Is 3948 - j/(-2)*(-26)/39 a composite number?
False
Let m(g) = 590*g**2 - 5*g + 5. Let h be m(3). Let b = -915 + h. Is b a prime number?
False
Let v = -1179 + 377. Let j = v - -6311. Is j prime?
False
Let k(s) = 16505*s**3 - 18*s - 11. Let o(y) = -24758*y**3 + 28*y + 17. Let l(z) = -8*k(z) - 5*o(z). Is l(-1) a composite number?
True
Let t(o) = 46*o + 11. Let y be t(19). Suppose -y = -26*p + 77. Is p composite?
False
Let w(v) = -v**3 + 19*v**2 - 19*v + 29. Let a = 27 - 25. Suppose 2*j - 28 = -a*n, -3*n - 14 = -4*n + 2*j. Is w(n) prime?
True
Suppose 3*a - 1646481 = 48*g - 44*g, -3*g = 0. Is a prime?
True
Suppose 3*b - 24 = -d, -2*d + 64 = -7*b + 5*b. Suppose d*s - 29*s - 1361 = 0. Is s a composite number?
False
Let x be 3 + -7 + 33040/1. Let s = x + -22847. Is s a prime number?
False
Let q be (-4)/(-6) - (1 + 13/(-3)). Let n(p) = p**3 - 4*p**2 + 2*p - 3. Let d be n(q). Suppose 580 = d*r + 5*r. Is r a prime number?
False
Let b(j) = 5*j**3 - 34*j**2 + 77*j - 9. Is b(26) composite?
False
Let y be ((-18)/4 - -4)*-74. Suppose -14*a - 146027 = -y*a. Is a prime?
False
Let t(c) = 1152*c**3 - c**2 - 5*c + 5. Let w be ((-12)/(-18))/((-10)/(-15)). Is t(w) composite?
False
Su