. Is p/(-2 + 3 + o) composite?
True
Suppose 4*j = 3*s - 440141, -4*s + 5*j + 586888 = 8*j. Is s prime?
True
Let t(c) = 4*c**2 - c + 10. Let q be t(0). Is (-428 + -59)/((-2)/q) a prime number?
False
Let s = 111 - 105. Suppose 22132 = s*p - 22430. Is p a composite number?
True
Let q = -1936709 - -2881632. Is q a composite number?
True
Let i = 189652 + -296052. Is (-23)/(161/i) + -7 a prime number?
True
Let x = 51 + -48. Suppose -x*d = -2 - 1. Is d + ((-36)/21)/((-2)/42) a prime number?
True
Let s = -3886 - -2319. Let v = 1090 + s. Let b = v + 770. Is b a prime number?
True
Let v(t) = -t - 1. Let i(a) = 34*a + 119. Let c(s) = i(s) + 4*v(s). Is c(21) a composite number?
True
Let s = 276160 + 130371. Is s prime?
True
Let v(w) = 19237*w + 11163. Is v(12) a composite number?
True
Let p be 1 - (-28)/(-7)*-136. Suppose -543*g + p*g = 8390. Is g prime?
False
Let k be 6/(17/10 - 2). Let t = -21 - k. Let a(w) = 132*w**2 - 3*w - 4. Is a(t) composite?
False
Suppose -11*b - 3*o = -16*b + 499523, o = -3*b + 299697. Is b a composite number?
False
Suppose -51 - 4 = -11*l. Suppose 0 = l*j - 5001 - 4744. Is j prime?
True
Let n(w) = -371*w + 118*w + 136*w - 371*w + 25. Is n(-17) a composite number?
True
Let y(f) = -2*f**3 - 15*f**2 + 75*f + 95. Is y(-25) a prime number?
False
Let x = -41 - -42. Is -4 - (-4 - (x + 3708)) a composite number?
False
Let z(p) = 7*p**2 + 11*p - 115. Let v(m) = m**3 - 12*m**2 + 8*m + 12. Let f be v(11). Is z(f) a composite number?
False
Let j(g) = -156*g**3 - 15*g**2 + 9*g + 1. Let d(o) = 3*o**2 - o + 1. Let l(h) = -6*d(h) - j(h). Is l(4) a prime number?
False
Let g = 91 + -88. Suppose c - 3 = 6*c - r, 4*c = g*r - 9. Suppose -8*a + 4745 + 4559 = c. Is a prime?
True
Let s(a) be the third derivative of 2*a**5/15 + a**4/2 - 11*a**3/6 + 33*a**2. Let i be s(-17). Let g = -1094 + i. Is g a prime number?
False
Suppose 3*l = 4*o + 12, -4*o = -3*o. Is 159 - ((-2)/8)/((-1)/l) composite?
True
Let s(a) = -2*a**2 + 55*a - 24. Let w be s(27). Let r be ((-286)/4 + 2)*-2. Suppose -w*l - r = -i, i - 2*l = 170 - 31. Is i composite?
False
Let s = 9103 - 5694. Is (-4)/(-8)*10 + s + -1 a prime number?
True
Let o(n) = -577*n**2 + 11*n - 37. Let h be o(6). Is h/(-7) - 6/21 a prime number?
True
Suppose 0 = -d - 2*l + 5, 2*d - 2*l + 3*l = 25. Suppose 1278 = c + j, -14*c + 2*j - 1279 = -d*c. Is c composite?
False
Is 38113 + ((-80)/(-8) - 12) a prime number?
False
Let t be (-44)/(-8)*32/88. Suppose -q + t*p = -0*p - 13267, 39761 = 3*q + 4*p. Is q prime?
True
Is (-321617)/(-3)*(-814)/(-66) + 2/(-9) prime?
True
Let b(k) = -32*k**3 + 4*k - 16. Let w be b(4). Let z = w - -3513. Is z composite?
True
Suppose -7*v - 26 - 16 = 0. Let w be 28792/(-48) - (-1)/v. Let p = 761 - w. Is p prime?
True
Suppose -184819349 = -297*u - 25514786. Is u a prime number?
False
Is 1494890/5*-9*4/(-72) a prime number?
True
Let a be (95/(-10))/(3/(-6)). Suppose 0 = -2*g - 15 + a. Suppose 0 = g*l + 11 - 85. Is l composite?
False
Let x = -66 - -73. Let v(c) = 56*c**2 - 23*c - 4. Is v(x) prime?
True
Suppose -34*p = -74*p + 649960. Is p prime?
True
Let c(f) = -f**2 + 23*f + 83. Let a be c(26). Suppose -a*y + 20316 = 3*x - 11405, -10571 = -x - 3*y. Is x composite?
True
Suppose 6659 = -6*n + 605. Let v = 421 + n. Let b = v - -1375. Is b a composite number?
False
Suppose 229*y - 230*y - 315268 = -4*d, 2*y = -2*d + 157634. Is d a composite number?
True
Let p = 34 + -85. Let s = p - -61. Let y(b) = 2*b**3 - 13*b**2 - 5*b + 12. Is y(s) composite?
True
Let b(r) = -12*r - 22 - r + 17 + 242*r**2 + 25*r. Is b(6) a composite number?
False
Suppose 159 = 2*y - 5*y. Let u = y - -58. Suppose 2*v - 3*v = 4*k - 1143, u*k - 5730 = -5*v. Is v a prime number?
False
Let p = 13405 - -27876. Is p prime?
True
Let r(z) = z**3 - 20*z**2 + 7*z - 61. Let n be r(20). Suppose -n*c - 7485 = -82*c. Is c a composite number?
True
Let x(v) = 23026*v + 53. Is x(2) a prime number?
False
Is (-31 - (-57 + 28))*1890178/(-4) prime?
True
Let o(p) = -39029*p + 220. Is o(-3) composite?
False
Let l(k) = -4*k + 2. Let f be l(-2). Let b be f/12*-74*-3. Suppose b = -3*v + 5564. Is v composite?
True
Let i be (-1)/((-6)/48 + (-46)/(-240)). Let n(o) be the first derivative of -43*o**2/2 - 14*o - 1. Is n(i) composite?
False
Suppose 0 = -4*z + j - 1872 + 11915, 0 = -3*z - 2*j + 7546. Suppose 8*c - z - 544 = 0. Is c a composite number?
True
Let z = 180 - 100. Let j be (3/2)/(30/z). Suppose 0 = j*g + g - 3155. Is g composite?
False
Let u be 0*(-3 + 2) - 5*-3. Let o(b) = -b**2 - 7*b. Let k be o(u). Let a = -215 - k. Is a a composite number?
True
Let k(l) = -3*l**3 - 4*l**2 + 5*l - 2. Let x be k(4). Let f be (-5752)/(-16) - (-2)/(-4). Let b = x + f. Is b a prime number?
False
Suppose -195*y + 166*y + 123351 = -1318558. Is y prime?
False
Let g(f) = -110*f - 47. Let n be g(-11). Let d = -580 + n. Is d prime?
False
Let n(v) = v**3 + 95*v**2 + 191*v + 332. Is n(-75) composite?
False
Let x(d) = -204*d - 52. Let j be x(-11). Suppose -w + 5*m - 5490 = -6*w, 2*w - j = 2*m. Is w a composite number?
False
Let j = -126908 + 257677. Is j composite?
False
Let r = -1324 + 653. Let l = 2341 + -277. Let n = l + r. Is n a prime number?
False
Let i = 46736 - 4689. Suppose -4*b + 5*o - i = -8*b, 4*b - 42055 = 3*o. Is b a composite number?
False
Let u = 6 - 8. Let d be (u - (2 - (-142)/(-5)))*5. Suppose 4*i - 462 + d = 0. Is i a composite number?
True
Is (2 - -302595) + 0/((-9)/((-72)/32)) composite?
False
Let p(k) be the second derivative of -19*k**3/3 + 27*k**2/2 - 12*k. Suppose -4*v - h = -2*h + 32, -4*v - 40 = -3*h. Is p(v) a composite number?
False
Is 10/(-65) - ((-1639718)/13 + -5) composite?
True
Suppose 23*c + 463 = -250. Let z(s) = -s**3 - 6*s**2 + 74*s - 54. Is z(c) composite?
True
Let b(y) = 12*y**3 - 35*y**2 + 75*y - 539. Is b(32) a prime number?
False
Let q(l) be the first derivative of -l**4/2 + 31*l**3 + 2*l**2 - 49*l - 14. Is q(46) composite?
False
Let g(w) = 209*w**3 - 3*w**2 + w + 2. Let f(m) = m**2 - 1. Let s(t) = 3*f(t) + g(t). Let p be s(1). Let l = 690 - p. Is l a prime number?
False
Let j(m) = -31*m**2 + 6*m - 6. Let k be j(2). Let r = k + 127. Is r/45 + (-1944)/(-5) prime?
True
Suppose 1017 = -8*o + 89. Is (o/6)/((-4)/1362) a prime number?
False
Let g = 790 + -697. Let a = 108 + g. Is a composite?
True
Let i(q) = q**2 + 16*q + 32. Let w be i(-14). Suppose w*a + 1283 = h + 2*a, -4*a - 5120 = -4*h. Let d = h + -796. Is d a prime number?
False
Suppose 4*s - 193514 = i, -2*s + 21277 + 75411 = 11*i. Is s prime?
False
Let k(h) = 2*h**2 + 0*h**2 - h - 3 + 558*h**3 + 1 - 624*h**3. Is k(-1) composite?
False
Let i(z) be the first derivative of -20*z + 33/2*z**2 + 12. Is i(7) a prime number?
True
Let g = 1672 + -262. Let q = g - 443. Is q prime?
True
Suppose 3*j = -u - 26616 + 110420, 4*u = 5*j + 335267. Is u composite?
False
Let h be ((-14)/2 - 1)/(-1). Let s(o) be the first derivative of 249*o**2/2 + 29*o - 396. Is s(h) prime?
False
Suppose p + 26*k = 28*k + 141529, p - 5*k = 141523. Is p a composite number?
True
Is 91892*(-7)/(-56)*(7 + 7) composite?
True
Let z = 118 - 118. Suppose -6*r - 22*r + 180572 = z. Is r a prime number?
True
Is 777165/33 + 12 + (-126)/11 a composite number?
True
Suppose 84*s + 47*s = 434527. Is s prime?
False
Let s(v) = v**2 + 17*v - 34. Let y be s(6). Suppose 5*a = -2*h + 7715, -a - h = -1647 + y. Is a a composite number?
False
Let m(w) = 57963*w + 3488. Is m(9) prime?
False
Suppose 102*x - 20967228 - 90509220 = -186*x. Is x a composite number?
False
Let z(b) = 4*b**2 + 2*b**2 + 17*b - 8 + 4*b**2. Let c be z(7). Let d = c - 50. Is d a prime number?
False
Suppose 10 = 5*r - 0*r. Let o = -277 + 281. Suppose -r*d + o*d - 4642 = 0. Is d prime?
False
Suppose 3*z + a - 2*a = 12, a + 20 = 5*z. Suppose -3*u + u - 10 = 0, -5*h = z*u - 2030. Let c = h + -283. Is c composite?
False
Let f = -39 - -41. Let m be 5 + -2 - (-3)/(-6)*f. Suppose -2*c = 4*v - 610, m*v - 3 + 5 = 0. Is c a prime number?
True
Is (21 + -31006)*1*5/(-25) a composite number?
False
Let g = -3913 - 61758. Let q = g - -45665. Is (0 - 2)/(7 + 140046/q) prime?
False
Let d(a) = 22059*a - 1992. Is d(17) prime?
False
Let t(m) be the third derivative of -419*m**4/12 + 2*m**3/3 - 67*m**2 + 2*m. Is t(-3) prime?
False
Suppose -329*v - 111550 = -99*v. Let h be 5*844/5*1. Let a = 