198599 = 89*m + 2*n. Is m composite?
True
Let k be (3 + 4 + -8)*0. Suppose k = j + 8 - 12. Is j/6 - (-4 - (-1238)/(-6)) prime?
True
Suppose -3*a + 415836 = 3*q, 0 = -36*q + 41*q + 2*a - 693075. Is q a prime number?
True
Suppose 0 = 25*k - 8*k - 959395. Suppose k = -25*b + 194410. Is b composite?
False
Let z be ((-13171256)/38)/(1*-2). Suppose 39*s = 25*s + z. Is s a prime number?
True
Suppose 5*j + 6656 = 3*i, 5*i = 3*j + 8157 + 2963. Is i prime?
False
Let m(i) = i**3 - 7*i**2 + 7*i - 4. Let w be m(6). Let a(d) = -d**2 - 5*d + 39. Let c be a(-9). Suppose -c*g + 3065 = w*g. Is g a prime number?
True
Let w(g) = 11*g**2 - 8*g - 1. Let n = -32 + 36. Let k be w(n). Suppose -61*u - k = -62*u. Is u composite?
True
Suppose 333*v - 342*v = -36999. Is v a composite number?
False
Let m(d) = d**3 + 174*d**2 + 208*d - 1399. Is m(-150) composite?
False
Let t(k) = 1951*k - 75. Let d(a) = 2928*a - 112. Let v(g) = 5*d(g) - 7*t(g). Is v(2) composite?
False
Let p = 930 + 2114. Let r = 2595 + p. Is r a composite number?
False
Let i = 44839 + -28622. Is i prime?
True
Let i be ((-1)/(-2))/((-3)/((-60)/2)). Suppose -5*u = r - 23, i*r - u + 13 = 8*r. Suppose 5173 = r*k + 5*l, -k + 2*l + 1717 = -0*k. Is k a composite number?
False
Suppose -17*c = -23*c - 78. Let a(v) = -368*v + 159. Is a(c) prime?
True
Suppose 6*i + 26 = 104. Suppose 2*q + 5 = i. Suppose -1491 = w - 3*w - n, -2*n - 2978 = -q*w. Is w a prime number?
False
Suppose 2*v - 11366 = 4*d - 8*d, -4*v = -4. Suppose -8*h + 5551 = -d. Let r = -142 + h. Is r a prime number?
True
Let m(l) = 2*l**2 + 20*l - 9. Let b = 39 + -49. Let x be m(b). Let g(v) = 6*v**2 + 3*v + 12. Is g(x) a composite number?
True
Let g(u) = -u**2 - 363*u - 343. Is g(-112) prime?
False
Let h(p) = -5*p**2 - 27*p - 6. Let c be h(-5). Suppose -c*w = 5*n - 104909, -4*n = 48*w - 47*w - 83925. Is n a composite number?
False
Suppose 11*l - 19843 = l + 984627. Is l prime?
True
Let t(z) be the second derivative of z**4/12 + 2*z**3 + 5*z**2/2 - 9*z. Let r be t(-19). Suppose -r = -9*c + 3*c. Is c prime?
True
Suppose -205928 = -4*p - 3*l, -5*l = -4*p - 4*l + 205912. Is p prime?
True
Let q(p) = -p**3 - 30*p**2 + 6*p + 16. Let l be q(-30). Is (-67117)/l - (7/(-4) + 2) composite?
False
Let h = -30 + 59. Suppose -2*j = h - 35. Suppose j*y = -y + 4348. Is y a prime number?
True
Suppose -11*q + 10*q = -4*l - 1569, 2*q = 2*l + 3144. Suppose -3*x - r = -11, -37 = -5*x - 3*r + 6*r. Suppose -x*i - 3*f - f + q = 0, f = i - 320. Is i prime?
True
Suppose 152 + 53 = -5*h. Let j = h - -56. Suppose 9*t - j*t = -3102. Is t prime?
False
Let p(i) = -2*i - 13. Let j(n) = 4*n + 26. Let c(y) = -6*j(y) - 10*p(y). Let s be c(-7). Suppose s*h + 0*d - 4*d = 918, -2*d + 439 = h. Is h composite?
False
Let g be (-1)/(-18)*-237 + (-2)/(-12). Let u(p) = -44*p + 17. Let f(c) = -c + 1. Let q(i) = -6*f(i) + u(i). Is q(g) composite?
True
Let o(k) = -2*k**2 - 61*k - 16. Let v = 95 - 110. Is o(v) a prime number?
True
Suppose -3*g - 3*t - 246 = 0, -236 = -10*g + 13*g + 5*t. Let q be 348/g - 14/(2/(-1)). Suppose 164 = q*i - 451. Is i a composite number?
True
Suppose -2*v + 5*q + 152739 = 0, -201369 = -3*v - q + 27697. Is v composite?
True
Suppose -386948 - 1442633 = -23*z. Suppose -14*k + 27*k = z. Is k prime?
False
Suppose 0 = -10*y + 99026 + 85244. Is y prime?
True
Let m = 29049 + -15102. Is m a composite number?
True
Suppose 136*h - 3940976 = -72*h. Is h composite?
False
Let c(z) = 315*z**2 + 7*z + 35. Let k be c(-9). Suppose -22*g + k = -15*g. Is g a prime number?
False
Let p be (36/(-15))/((15/(-50))/1). Let v = 16160 - 9023. Suppose 0 = p*c - v - 807. Is c a prime number?
False
Let n = 544307 + 457604. Is n a prime number?
True
Let l be -43 + 12 - (2 - 1 - 2). Let k be (3/(15/(-16)))/((-3)/l). Is (4*(-4)/k)/(1/1438) prime?
True
Suppose 35*p = 3168989 + 3156246. Is p a composite number?
True
Suppose 4*w = -4*g + 236412, -4*w - 876*g + 881*g + 236430 = 0. Is w prime?
False
Let t = -364 - -423. Suppose t*h - 534293 = 6*h. Is h prime?
False
Let n(m) be the third derivative of m**6/12 + m**5/60 - m**4/8 + 5*m**3/6 + 5*m**2. Let a = -504 + 513. Is n(a) a prime number?
True
Let o(c) = 13*c**2 + 3*c + 7. Suppose 3*l = -5*x + 30, -3*x - 2*l + 10 = -9. Let n be 4/(-1 + x) - 8. Is o(n) a composite number?
False
Let k = -39 - -59. Suppose -3*n + 4503 = 3*i, -6*n = -2*n + k. Let c = -793 + i. Is c prime?
False
Let d(k) = -6*k**3 + 2*k**2 + 14*k - 257. Is d(-11) a prime number?
True
Suppose 13*t = 5*v + 17*t - 1579, 3*v - 2*t = 943. Let q be -1*(0 - -1)*-622. Let g = q - v. Is g composite?
False
Let d(o) = 60*o**2 + 4*o - 1. Let t be d(-3). Suppose 302 = 258*m - 472. Suppose m*x + t = 4*x. Is x prime?
False
Suppose 0 = 749*b + 741*b - 1509*b + 5460239. Is b a prime number?
False
Let b(s) = 88 - 46 - 1 - 987*s. Is b(-4) a prime number?
True
Suppose 568 = 10*b - 2. Suppose b*g + 66265 = 62*g. Is g composite?
True
Let r = 79396 - -93241. Is r a composite number?
True
Let f(b) = -b**3 - 20*b**2 + 44*b + 6. Let w be f(-22). Is (4/(-12) + (-4)/w)*-4474 composite?
True
Suppose -3*j + u = -27361, 4*u = 5*j + 5517 - 51121. Let o = j - 677. Is o composite?
False
Let m(w) = -w**3 + 27*w**2 + 15*w - 5. Suppose -33*a + 39*a - 156 = 0. Is m(a) a composite number?
False
Let t(j) = -2233*j + 877. Is t(-10) a composite number?
True
Let b be 3 - (45 - -3)/(-4). Suppose 0 = -5*p + 5*j + b, 3*j - 5*j - 5 = -3*p. Is ((-8)/2 - 155)*p prime?
False
Suppose 273158 = 8*x - 162338. Is x prime?
True
Let g = -120701 - -224908. Is g a composite number?
False
Let d be 7 + -5 - 4*-1. Suppose -o = -d*o + 5915. Suppose -5*f + o = -802. Is f prime?
True
Let k(r) = 488*r - 25. Suppose -5*f = 5*p - 16 + 1, p - 2*f = 6. Is k(p) a composite number?
True
Suppose 34*r = 36*r + 4*u + 8, -2*u = 4. Let p(i) = -51 + 197 - 44 + 2*i + 117. Is p(r) a prime number?
False
Let u = 34714 - -3583. Is u a composite number?
True
Suppose -3*x = -3*u + 239145, -2*u = -5*x + 28137 - 187579. Is u composite?
True
Suppose 2*b + 30 + 66 = 0. Let n = b + 51. Suppose 4*g = -4*u + 5*g + 3024, 3*u - 2253 = -n*g. Is u prime?
False
Let d = -173 - -178. Suppose -55982 = -d*r - f, 2*r = -3*f + 5*f + 22400. Is r a composite number?
False
Suppose -60 = 2*f - 5*f - 3*n, -2*n + 6 = 0. Suppose f = -12*h + 65. Let g(q) = 4*q**2 - 7*q + 17. Is g(h) composite?
False
Suppose 212307 - 659601 = -2*w - 5*m, 0 = -2*w + 3*m + 447262. Let k = w + -117708. Is k composite?
False
Suppose 3*w - 729588 = -18*m, 99441 = 2*w - 4*m - 386839. Is w a prime number?
False
Let a(z) = -1318*z - 2285. Is a(-36) a prime number?
False
Let q(l) = l**2 - 24*l - 143. Let u be q(29). Suppose 43463 = 5*d - u*d + z, 2*z + 8 = 0. Is d a prime number?
True
Let t(u) = 30*u**3 + 13*u**2 - u - 13. Let c be (2/(-3))/(6/(-45)). Is t(c) a composite number?
False
Let a(v) = 25*v**3 + 5*v**2 - 4*v - 9. Let p be a(7). Let f = 22086 - p. Is f a prime number?
False
Let w be ((-43)/3 - -1)*(-54)/15. Let g = 6589 + w. Let d = g + -3826. Is d composite?
True
Is (-2)/(-8) - (-17 + (-731612)/16) a prime number?
False
Suppose -2528810 = -2*y + 2*c, 24*y = 29*y + c - 6322061. Is y composite?
False
Suppose n = -4*l + 97868, -9*n = -11*n. Let h = 44308 - l. Is h a composite number?
False
Suppose -4*c + 12 = 5*m, -m - 15 = -5*c - 0. Suppose 3*i = -3*l + 31324 + 55601, 0 = -c*l + i + 86917. Is l a prime number?
False
Suppose -5*v + 671593 = 3*u, -18 = -326*u + 323*u. Is v a prime number?
False
Let i(u) = u + 10. Let s be i(-8). Suppose g = -s*x + 403, -446 = -5*x - g + 554. Is x a prime number?
True
Is (-1321796)/(-18) - (-72)/(-648) prime?
True
Let q be (0/(-12))/(2/1). Let o = q + 5. Suppose 3*f = -3*y + o*f + 1471, 2*f = 2. Is y prime?
True
Suppose -16*b = 5*v - 17*b + 359, -v = 3*b + 91. Suppose 12 = -5*o + 2. Let r = o - v. Is r a composite number?
False
Let j(i) = -4*i**3 + 11*i**2 + 37*i + 61. Let x be j(18). Let z = -538 - x. Is z composite?
True
Suppose 165*w + 10*w - 980168 = -9*w. Is w composite?
True
Suppose 47120232 + 42122701 = 261*x - 91197590. Is x a composite number?
False
Is ((-176983)/(-21) + (-6)/14)/(32/144) a prime number?
False
Let z(t) = 18*t + 188. Let a be z(-10). Suppose 4*b + a*f - 5*f - 17146 = 0, -b + 2*f + 4281 = 0. Is b a prime number?
False
Let m(k) = 40*k**2 + 8*k + 37. Suppose 0*n - 3 = 3*q