5*n. Let j = s - 251. Is j a composite number?
False
Let l = -739138 + 1170759. Is l a prime number?
True
Suppose -j - 233155 = -2*a, -15*j - 582880 = -5*a - 10*j. Is a a prime number?
True
Suppose -4*o + 6265 + 5219 = 0. Suppose -5*q + 29404 = 3*d, 3*d - 3*q - 26493 - o = 0. Is d a prime number?
False
Is (1*-1)/(1713620/285604 + (-9 - -3)) a prime number?
False
Let k = -80941 - -325958. Is k composite?
True
Suppose -5*u - 3*a = -958760, -243047 = -u + a - 51287. Is u prime?
False
Let l be (2/(-4))/(11/(-594)). Let c be -3*3/18 - 3/(-6). Suppose -5*f + l + 188 = c. Is f composite?
False
Let i be (3/(-1) - 0) + 144/(-8). Let l = i - -25. Suppose 5*j - 6*x - 4607 = -3*x, 4*x - 3660 = -l*j. Is j a composite number?
False
Let o(d) = -d**3 - d + 12. Let y be o(0). Suppose 0 = 4*h + y, -h + 8980 = k. Is k a prime number?
False
Let k = -276 - -281. Suppose 2*s - 12175 = -k*v, -1820 = -v - s + 615. Is v a prime number?
False
Suppose -14 = -3*x - f, 0 = x + 8*f - 10*f + 7. Let y be -12260 - x - -5 - 0. Is 2/5 + y/(-30) a composite number?
False
Let f(w) = -218*w - 49. Suppose 68*y - 6 = 69*y. Is f(y) composite?
False
Let a = -4141 + 8301. Let v = a + -2427. Is v prime?
True
Suppose -1617753 - 1168438 = -73*z. Is z prime?
True
Is 56/((-168)/(-12)) + 11355 composite?
True
Suppose 3*s + 1 + 12 = -2*c, -5*s = -3*c + 47. Is 15988 + (9 + s)*-1 a prime number?
False
Let q(b) = -632*b**3 + b**2 - 16*b - 36. Let d be q(-2). Let m = d + 91. Is m composite?
False
Let x(g) = -66*g - 102. Let u be x(-12). Suppose 3*n + 1373 = 2*t, 4*n + n + u = t. Is t a composite number?
True
Suppose 2*a - 7 = -b, 0*b = -2*a - 4*b - 2. Let i(h) = -h**3 - 15*h**2 + 28*h - 18. Let y(v) = -7*v**2 + 15*v - 9. Let c(j) = -2*i(j) + 5*y(j). Is c(a) prime?
True
Suppose -146*j - 279839 = -165*j + 198942. Is j a composite number?
True
Let q = 34 + -34. Suppose 5*i = -0*p + 2*p - 1174, 5*i + 5*p + 1195 = q. Let u = 1977 + i. Is u prime?
True
Suppose 3*l + 247764 = 3*o, 15*l = o + 12*l - 82580. Suppose 4*p - 110166 = 2*z, p = 4*p + 5*z - o. Is p prime?
True
Let l(z) = 1243677*z - 148. Is l(1) composite?
True
Suppose 200772 = 4*a - 69*o + 67*o, -a - 2*o + 50183 = 0. Is a composite?
True
Let p(l) = l - 17. Let t be p(23). Let h be (t/15 - 1/1)*-5. Suppose -4*m + 0*s = -2*s - 152, 0 = -4*m - h*s + 142. Is m a composite number?
False
Let q = -15 - -30. Is (758/3)/(5 + (-65)/q) a composite number?
False
Let u be 28088 + 4/12*21. Suppose -4*d = 4*i - 26140, 5*i - 3*d - u - 4596 = 0. Is i a prime number?
False
Is (-74)/851*23 - 255*-3901*3 a composite number?
False
Suppose -3*k = 4*x - 284315, -4*k - 435 = -423. Is x composite?
False
Let v(n) = -7448*n - 24. Let l be v(-6). Suppose 7*z = -z + l. Is z composite?
True
Let n(q) = -1. Let t(w) = 2*w - 2. Let x(o) = -4*n(o) - t(o). Let b be x(8). Is (-4*(-5585)/b)/(-2) prime?
True
Let j(c) = c**2 - 10*c - 75. Let m be j(15). Suppose 5*r = -3*b - 9499 + 58389, 4*b + 20 = m. Is r prime?
True
Let m(n) be the third derivative of 0*n + 0*n**5 + 5/6*n**3 - 16*n**2 - 1/30*n**6 + 0*n**4 + 0. Is m(-6) prime?
False
Let b(j) = 7083*j**2 - 2*j + 10. Let n be b(4). Is (-4)/8 + n/20 prime?
False
Let v(r) = -68*r + 4*r**2 + 26*r**2 + 55*r - 3. Let g be v(-3). Let l = g - -95. Is l composite?
False
Let v(w) = 5*w**2 + w - 17. Let f(q) = -2*q**2 - 24*q. Let t be f(-12). Suppose -5*p - 64 + 19 = t. Is v(p) a composite number?
False
Suppose 0 = -2*r + d + 4870, 5*d - 4858 = -4*r + 2*r. Let h = r + 1548. Is 3/(-2)*(3 + h/(-6)) prime?
True
Let b(z) = 165*z**2 - 147*z + 5. Is b(-3) a prime number?
True
Let h(y) be the second derivative of -y**3/6 + y**2/2 - 8*y. Let f be h(-1). Suppose f*a - 2620 = -2*a. Is a prime?
False
Suppose 692*u = 695*u. Suppose u = -12*f - 13*f + 5925. Is f composite?
True
Let p(j) = j**3 - 2*j**2 - 1. Let x(l) = -3*l**3 + 13*l**2 - 2*l - 3293. Let s(i) = -6*p(i) - x(i). Is s(0) a composite number?
False
Let y = -1145 - -3112. Suppose y = -4*k + 3*d + 6318, -3*d + 4345 = 4*k. Is k a composite number?
False
Let t(y) = -994*y - 50. Let x be t(-5). Suppose -9*g + x = -13*g. Let k = -811 - g. Is k a composite number?
False
Let c(u) = 4*u**2 - 91*u + 4. Let d be c(23). Let n(k) = k**3 - 19*k**2 - 21*k - 58. Is n(d) composite?
True
Let p(v) be the third derivative of v**6/120 - v**5/60 + v**4/24 + 2053*v**3/6 - 135*v**2. Is p(0) a composite number?
False
Let w(u) = -11*u**2 - 32*u**3 + 5 - 2*u + 5 + 15*u**2 - 3. Is w(-4) a prime number?
False
Suppose 3*u - 68763 = 69186. Let g = 65606 - u. Suppose 4368 + g = 11*f. Is f a prime number?
False
Suppose 0 = 3*l - 5*j - 52, -4*j - 13 = 7. Suppose 9*a + l*a - 84978 = 0. Is a prime?
True
Let r(s) = 2*s + 12. Let v be r(-6). Suppose 2*b - 2*a + 6*a - 6 = 0, v = -3*b - 3*a. Is (b - 2)*(-609)/15 composite?
True
Let t = -47 + 47. Let c be (-1)/4*t + 476 + 0. Is (-4 - c/12)*1*-3 a composite number?
False
Suppose 6371*c - 6455*c = -17903676. Is c prime?
True
Suppose 4 = -4*t, 3*i - 4*t = t + 11. Suppose 5*b + 3*z + 45 = 8*z, -4*b + i*z = 36. Is (b/3 - -191) + 3 a composite number?
False
Suppose -397*b - 107*b + 47363561 = -143*b. Is b a prime number?
False
Let k(v) be the third derivative of 1/30*v**5 - 3/8*v**4 + 2 - 1/30*v**6 + v**2 + 0*v - 4/3*v**3. Is k(-5) prime?
True
Let q = 20471 + -9827. Suppose 0 = 3*g - 32 - 7. Suppose -b = -g*b + q. Is b a composite number?
False
Let a(z) = 1462*z**2 - 29*z + 501. Is a(10) prime?
False
Suppose 5*s + 10 = 2*v, -3*v + 14 = -s - 1. Suppose s = -2*n + 4, -7*n - 24269 = -o - 3*n. Is o a prime number?
False
Suppose -3*u = -4*w - 30933, -w + 19389 = -5*u + 70927. Is u a prime number?
False
Let y(m) = -3*m**3 + m + 1. Let t be y(-1). Let c be -7*(-3 + t + -37). Suppose c + 2642 = 3*k. Is k a prime number?
True
Suppose -9*f + 0*f + 418167 = 0. Is f a composite number?
True
Let k = 205252 - -4141. Is k composite?
False
Let j(w) = w**3 - w**2 - w + 3. Let k be j(0). Let o(v) = 0*v - 1 + 35*v**k - v**2 - 96*v**3 + 2*v. Is o(-2) composite?
False
Let x(g) = -442*g - 117. Let z be (-7 - -1)*((-62)/6 - -11). Is x(z) prime?
False
Is -7243*(13 + -10 - 4) composite?
False
Let d be (-475)/(-38) + (-2)/4. Let z(q) be the first derivative of -q**4/4 + 4*q**3 + 11*q**2 - 2*q + 27. Is z(d) prime?
False
Let k(x) = 9525*x + 9232. Is k(19) a prime number?
True
Is (-9)/6*5*(-623246)/195 composite?
False
Let m(l) = -l**3 + 112*l**2 + 180*l + 119. Is m(86) prime?
False
Let o(t) = -2*t**2 + 27*t + 77. Let q be o(16). Let m(i) = -i - 4. Let l be m(8). Is (4 - (-1316)/l)*q prime?
True
Let a(k) = -36*k - 89. Let x be a(-2). Let i(z) = -35*z + 2*z**2 + 23 - 6*z - z**2. Is i(x) a prime number?
True
Let m(n) be the second derivative of -n**3/2 - 18*n**2 - 36*n. Let d be m(-12). Suppose d = 5*q - 11224 + 419. Is q a composite number?
False
Suppose -40*l - 28*l = -4063482 - 3579310. Is l a prime number?
False
Suppose -4*q - q + 13 = 4*j, 4*j - 12 = -4*q. Suppose 0 = -5*o - y + q + 76, o = -y + 13. Is -2 + 8/o*2*379 prime?
False
Let v(d) = -4*d**3 + 46*d**2 + 24*d + 4. Let y be v(12). Is ((-106)/y)/((-19)/874) a composite number?
True
Let i = 207413 - 108189. Is i/10 - ((-126)/(-30))/(-7) a composite number?
False
Suppose 3*i - 10 - 2 = 0. Let m(h) = 0*h + 16 - h + 5*h**2 - 5*h - i*h. Is m(7) prime?
True
Let u be (12/(-8))/((-6)/(-4528)). Suppose -d + 11 = 2*y, 2*y + 13 = d + 3*y. Is 10/d - u/12 composite?
True
Let b(r) = r**3 - 15*r**2 + 16*r - 10. Let y be b(14). Is 102988/36 + 4/y a prime number?
True
Let c be ((-6)/5 - 45/(-225))*-4. Is (-4)/(-16) - c/(16/(-17539)) prime?
False
Let x(u) = -3*u - 8. Let o(w) = -7*w - 16. Let m(y) = -2*o(y) + 5*x(y). Let k be m(-4). Is (-8)/(k/1) + 33 prime?
False
Suppose 3*h + 305 = -5*t, -15*h + 10*h - 483 = 2*t. Let c = -76 - h. Suppose -c*r = -17*r - 1846. Is r prime?
False
Suppose 7*k - 2*k = 460. Suppose -t + 0*t - 76 = 2*y, -2*y + k = -t. Is t/(-36)*(16 + -1) a prime number?
False
Suppose 3*x + z + 4*z + 2202 = 0, 2*z - 6 = 0. Let h = -500 - x. Is h prime?
True
Suppose -15 = -9*p + 6*p. Suppose -5*i + p*r = -7*i + 89, -9 = -3*r. Is i prime?
True
Let a be 16/40 - (2143/(-5) - 2). Suppose 4*r + 5*w - 4254 = 0, w - 2134 = -2*r + 2*w. Let m = r - a. Is m a prime number?
False
Let j = -74957 - -131712. Is (j/15)/(1/3) a composite number?
False
Let z = -114 - -114. Suppose -