posite?
True
Suppose 0 = -2*p - 2*p - 5*c - 5099, 3828 = -3*p - 3*c. Let x = -802 - p. Is x composite?
False
Let q = 77710 + -23613. Is q a composite number?
True
Let g = 11169 + 26308. Is g a prime number?
False
Let b(o) = -4*o**3 - 4*o**2 - 10*o + 9. Let z be b(6). Let r be -23 - -2093 - (-6)/(-3*1). Let m = r + z. Is m prime?
True
Let r = 4290 - 1829. Is r composite?
True
Suppose -i - 3*j + 2*j + 10 = 0, -5*i + j + 44 = 0. Let y(m) = -m**2 + 12*m - 17. Let k be y(i). Is (-15)/k*(-1004)/6 a prime number?
True
Suppose 0 = 97*k - 102*k + 110. Suppose 0 = 4*d + i + k, -2*d = -d + i + 7. Is (-4)/d + 91455/25 composite?
False
Suppose 462 = 4*p + 17*p. Let y(n) = 29*n - 73. Is y(p) a prime number?
False
Let z(a) be the first derivative of 5*a**2/2 + 4*a + 1. Let i be 84/(-126)*15/(-2) - -8. Is z(i) a composite number?
True
Suppose 11*u - 15 = 18. Suppose u*h = -5*c + 27, 16 = 7*h - 3*h. Suppose -3857 = -i - 3*o, 8*i - o = c*i + 19317. Is i prime?
True
Let m(f) = f**3 + 5*f**2 + 4. Let b be m(-5). Suppose 5*c = -4*k - 4264, b*k - 3*c + 2154 = 2*k. Let y = 1718 + k. Is y a prime number?
True
Let y(l) = 12038*l**2 - 609*l - 1221. Is y(-2) a composite number?
True
Suppose 45 = -3*h - n, 0*h - 30 = 2*h - 2*n. Is (2 + h/6)*-17162 composite?
False
Suppose 12*a = -8*a - 203060. Is a/(-22) + (-12)/(-8) a prime number?
True
Suppose 15 = -0*x + 3*x, 5*l - 2*x - 95 = 0. Suppose -t - l = -f, -t - 5*f - 7 - 2 = 0. Let p(s) = s**3 + 20*s**2 + 9*s + 21. Is p(t) composite?
False
Let q(y) = 5*y**2 - 14*y + 455. Is q(30) composite?
True
Suppose -29*n + 72 = -28*n. Let k be n/((8/(-179))/(-4)). Let b = k + -3445. Is b prime?
True
Let z be 0 + 1226 + (-7)/(49/21). Suppose 5*j + 1 - 16 = 0, k - 2*j = z. Is k a prime number?
True
Let u = -62417 + 209650. Is u a prime number?
False
Let q = -92 + 95. Suppose 4*d + 3*v + q = -1, 2*d + 2*v + 2 = 0. Is ((4 + d)/(-6))/((-2)/6044) prime?
True
Let j(g) = g**3 + 18*g**2 - g. Let l be j(-18). Suppose 1600 = 5*d + 3*f, -302 = -d + f + l. Let r = d - 115. Is r prime?
False
Let k = -372 + 322. Let q(g) = g**2 - 17. Is q(k) a composite number?
True
Let g(l) = -9658*l - 1591. Is g(-9) composite?
False
Let v(b) = -1. Let l(z) be the third derivative of -9*z**5/5 + z**4/2 - 13*z**3/6 + 34*z**2. Let a(p) = -l(p) + 6*v(p). Is a(5) composite?
False
Let v be (-2)/13 + 82/26 - 1. Suppose -v*b + 49 = -21. Let h = b - -60. Is h prime?
False
Let y(l) = l**3 + 3*l**2 - 3*l - 4. Let c be y(-3). Suppose -5*u + g = 355, c*u = -0*u - 3*g - 355. Let w = u + 829. Is w composite?
True
Is 13/2*(-519968)/144*-9 a composite number?
True
Let u = -127425 + 345272. Is u a composite number?
True
Let a be 5 - -1*(2 + -4 + 10). Is (164/12)/(a/8229) composite?
True
Let m = 260069 + -25075. Is m a composite number?
True
Let v(b) = -b**3 + 24*b**2 - 12*b + 4. Let y be v(19). Let z = y - 520. Is z composite?
False
Let f = -18 - -25. Let o(m) = m**3 + 128 - 17*m - m**2 - 120 - 2*m**2. Is o(f) a prime number?
False
Suppose 5*q + 6*u - 5*u = 401, -5*q + 3*u = -397. Is 22/(1926/2395 - 64/q) a prime number?
False
Let s = -16553 - -29862. Is s composite?
False
Let u(p) = -4106*p + 1439. Is u(-4) prime?
True
Let v = 41 - 27. Let s(i) = -114*i + 39. Let p(b) = 114*b - 38. Let m(u) = 4*p(u) + 3*s(u). Is m(v) a prime number?
False
Let m(v) = 1556*v**2 + 39*v + 842. Is m(-19) a prime number?
False
Let r(j) = 6*j**3 + 10*j**2 + 71*j + 116. Is r(21) composite?
False
Suppose -3*n = 2*s - 26, n = s - n - 20. Suppose -6*c = -s*c + 29270. Is c a prime number?
True
Suppose 7263 + 6344 = 11*j. Suppose 8*w + j = q + 3*w, 2*w = 4. Is q composite?
True
Suppose 2*f + 2 = 5*d - 2, d - 3*f - 6 = 0. Let i = -25 + 25. Suppose i*y - 2*v - 764 = -3*y, -y + 3*v + 257 = d. Is y prime?
False
Let p(y) = 309*y**2 - 12*y - 14. Let t be p(-1). Is (t*5/(-20))/(1/(-12)) composite?
True
Let u = 817961 - 444158. Is u a composite number?
True
Suppose 6*n - 27791 = n - g, 2*n - 11111 = 5*g. Let x = n + -1057. Is x a composite number?
True
Let s be (510/(-20))/((-2)/(-136)*-2). Is s + -10 + 6/(-3)*-1 a prime number?
True
Let c(s) = -712*s**3 + s**2 - 2*s + 6. Let p be c(3). Let a = p + 37182. Suppose -a - 18137 = -8*v. Is v a composite number?
False
Let v = -70 - -83. Suppose -3*n = 1 - v. Suppose -2*m - 14666 = -4*f, -n*f + 5*m - 3650 = -5*f. Is f composite?
True
Let u(f) = -4*f**2 + 87*f - 10. Let h(q) = 4*q**2 - 88*q + 11. Let z(v) = 3*h(v) + 2*u(v). Is z(49) composite?
True
Let k(r) = -r**3 + 5*r**2 + 13*r - 6. Let t be k(6). Suppose 0 = -35*o + t*o + 223. Let l = 380 + o. Is l a prime number?
True
Let t(c) = 2853*c**2 - 433*c + 3917. Is t(9) a prime number?
False
Is (12 - 10)/(-4 + 413634/103407) composite?
False
Suppose 3*r + 5098 = b, -4*b + 4206 = -4*r - 2602. Let u = -41 - r. Is u composite?
False
Let z(x) = -x**3 - 6*x**2 - 10*x - 1. Let n be z(-3). Suppose 27*i - n*i = 41275. Is i composite?
True
Suppose -57*m + 52*m = 4*h - 328325, 0 = -m - 4*h + 65649. Is m a composite number?
True
Suppose 0 = 4*y + 3*m - 4967, 3724 = 3*y + 3*m - m. Suppose -23*d = -21*d - y. Suppose -2*r - 1273 + 350 = -3*h, 2*h - 5*r = d. Is h a composite number?
False
Let n(s) = 1873*s + 1999. Is n(66) prime?
True
Let j(d) = 2*d - 10. Let h be j(5). Suppose 2*g - 3*u = 6844, -2*g = -h*g + u - 6836. Is g a prime number?
False
Let g = 123 + -118. Suppose -5*y = -g*x + 13 + 2, 5*x + 6 = -2*y. Is 958/(2 + x) + 0/(-3) a composite number?
False
Let v = -82073 + 184774. Is v prime?
True
Let c(g) = -3*g + 25. Let h be c(9). Let f be (18 + -11)/(h/(-2)). Suppose 3*k + 4*w - 3231 = 0, 4*k + 3210 = f*k - 3*w. Is k prime?
False
Let y = 51 - 49. Let m be 19/(-19) - (y - -2). Let t(d) = -276*d - 47. Is t(m) a composite number?
True
Let w(p) be the first derivative of 15*p**4/4 - 4*p**3/3 + 5*p**2/2 - 5*p - 584. Suppose 3*z - 5*f = z + 16, -4*z - f + 10 = 0. Is w(z) a composite number?
False
Let y = -14 + 17. Let w(k) be the second derivative of 23*k**4/4 + k**3/2 + k**2/2 + 15*k. Is w(y) composite?
False
Let o = -2713 - -10523. Let d = o + 525. Is d a prime number?
False
Suppose 0*n - n - d + 4 = 0, -5*d + 5 = 0. Let h be ((-4)/n)/((-4)/6). Suppose g - 3*v = 32, 0*g = 2*g - h*v - 68. Is g a composite number?
True
Is (-3)/6 + (709788/8 - 2) prime?
True
Suppose 2*z + 3*z - 23 = -4*p, -z + 11 = 4*p. Suppose 3*f - 7563 = -4*h, p*h - 5*h - 3*f = -5670. Is h prime?
False
Suppose 0 = -3*u - 0*h - h + 10, -u - h = -2. Suppose u*v + 649 = 5253. Is v composite?
False
Suppose -152*m = -144*m - 2835064. Is m a composite number?
False
Let q(i) = 24*i**3 + 28*i**2 - 75*i - 9. Is q(8) a prime number?
False
Suppose 86*x - 51*x - 6*x = 654501. Is x a composite number?
True
Let s = 10 + -8. Suppose 4*v - 3*q - 1256 = 0, 0 = -s*v + 3*q + 24 + 604. Suppose 2219 - v = 3*o. Is o a prime number?
False
Let t(o) be the first derivative of 11*o**3/3 + 10*o**2 - 20*o - 100. Suppose -1 = 4*p - 53. Is t(p) composite?
False
Let x(z) = 186*z**2 + 147*z - 32. Is x(-15) a composite number?
True
Let k(r) = 14*r**2 - 34*r - 23. Suppose 103 = -41*m + 718. Is k(m) prime?
True
Is (1 + 56013)*(-270)/(-540) composite?
True
Suppose -2*y - 51*b + 54*b + 8984 = 0, b - 22443 = -5*y. Is y prime?
False
Suppose 0 = 9*l + 23730 - 7521. Is (-2)/((-48)/18) - l/4 composite?
True
Let l(q) be the first derivative of -175*q**4/2 + 4*q**3/3 + 6*q**2 - 7*q - 97. Is l(-4) a prime number?
True
Suppose -2*h - 2*h = -452. Let f = 119 - h. Suppose 3*k + 4*t - 27699 = f*t, -2*t + 18466 = 2*k. Is k a prime number?
False
Let q be (0 - 4/6) + 110/3. Suppose -40*g + q*g + 5452 = 0. Is g a prime number?
False
Let w(n) be the first derivative of n**4/4 + 2*n**3 + 2*n**2 - 5*n - 10. Let k be w(-5). Suppose k = -5*s - 3*s + 27272. Is s prime?
False
Let o(s) = -5*s**3 - 2*s**2 + 3*s + 5. Let q be o(-2). Suppose q = 4*h + 23. Is (3795/(-10))/1*h/(-3) a composite number?
True
Let p be -24*15/10 + 0. Let f be 4506/p*-2*3. Suppose f = 3*c + y, -759 = -3*c - y + 4*y. Is c prime?
True
Let g = 649 - -13. Let v = g - -15. Is v a prime number?
True
Is 1292652/72*(5/(-3) - -3) composite?
True
Suppose 2*r + 0*r = -2. Let l be r - (2 + 4)/(-2). Suppose -6*q + l*q + 1676 = 0. Is q prime?
True
Suppose 109*t + 21200 = 108*t. Let q = t + 33279. Is q prime?
False
Suppose -d - 2283529 = -4*k, 16*d = -3*k + 17*d + 1712648