 a prime number?
True
Let f(u) = 4735*u**3 + 3*u**2 - 14*u + 5. Let j be f(2). Suppose -10199 = 2*l - j. Is l prime?
False
Suppose -n + 2*h + 17 = h, -5*h = 5*n - 65. Is (4381/3)/(5/n) a composite number?
True
Let i be ((-120)/36)/((-4)/6). Suppose 2 = 4*g - 2*p, -i*p - 27 = g - 0*g. Is (-14010)/(-75) - g/10 a composite number?
True
Let b = -41181 - -69099. Let i = 40519 - b. Is i a prime number?
True
Let d(i) = 1 + 22*i**2 - 54*i - 5 + 21 - 4*i**2 + 12*i**2. Is d(14) a prime number?
False
Let y = 37 - 29. Let m(c) = 60*c**3 - 5*c**2 + 5*c + 3. Is m(y) prime?
False
Let p = -377727 - -550894. Is p composite?
True
Let z be 3 + 3 + (-140)/5. Let s(t) = -6*t + 121. Is s(z) prime?
False
Let m(y) = y**3 + 25*y**2 + 25*y + 23. Let a be m(-24). Let u be (-2 - a) + 13 + 2751 + -2. Is u/9 + 16/72 composite?
False
Let j be (-52)/12 + (-3)/(-9). Is 1/j + 3785/20 + 2 a prime number?
True
Suppose 7*q - 101 - 165 = 0. Suppose -5*j - q + 11328 = 0. Is j prime?
False
Suppose 0 = -5622*d + 5508*d + 6987402. Is d prime?
False
Let z = 41 + -39. Let g be ((-57)/(-9))/(z/138). Is (-2)/(4 + -2) + 13 + g a prime number?
True
Let o = 314994 + -200248. Is o prime?
False
Suppose 28 = k + 4*u, 5*k - u - 27 = k. Let c(y) = 4 + y**3 + 8*y**2 - 4*y - 3*y + k + y. Is c(-7) prime?
True
Let o be ((-16)/10)/(5*12/(-150)). Suppose 0 = 5*q - 3*t - 7 - 3, 2*q - o*t - 4 = 0. Suppose -16 = -4*l, q*z - 444 - 414 = -5*l. Is z a prime number?
True
Let y = 16994 + -7920. Let h = 16125 - y. Is h a prime number?
False
Let u be 3 + (-12)/3 - (77 + -3). Is (-5)/(u/40217) + (-4)/30 prime?
False
Let q(d) = 10*d**2 + 44*d + 11. Let i be 19/57 + 13/(-3) - -19. Is q(i) a composite number?
True
Let u(w) = 6250*w**3 - 11*w**2 + 101*w - 49. Is u(6) composite?
True
Let z(k) = 5*k + 143. Let y be z(-24). Let f(j) = -j**2 + 32*j - 20. Is f(y) prime?
False
Let v = -52 + 161. Let u = v - -952. Is u composite?
False
Suppose 0 = -18*g + 33*g - 75. Suppose -2768 = g*j - 10583. Is j composite?
True
Is ((-91776)/(-8) + 8 - 4) + -5 prime?
True
Suppose 5*u - 3*m - 2 - 25 = 0, 2*m - 1 = -3*u. Suppose 3*z - u*t - 9989 = -z, -3*z = 4*t - 7498. Is z a composite number?
True
Suppose x - 2 - 1 = y, 4*x = -3*y + 12. Suppose 5 + x = 2*v. Suppose v = -4*h + 128. Is h a composite number?
False
Suppose -4 = -10*b + 11*b, -4*h = 3*b - 78712. Is h composite?
False
Let v = -23 - -29. Let r(f) = 149*f**2 + 23*f - 145. Is r(v) a prime number?
False
Let j be (-21)/14 - ((-229677)/6 + -1). Let g = -22308 + j. Is g a prime number?
True
Suppose -5*o = 3*j - 1262264, -67812 = -o + 4*j + 184627. Is o prime?
False
Is 17612316/(-95)*(1 + (-39)/9) - 5 composite?
False
Let u(q) = 0*q + 5*q + 5 + 7*q. Suppose -5*l + 18 = 2*h, -3*h + 22 = 8*l - 3*l. Is u(h) a composite number?
False
Let u = -583583 - -2507994. Is u composite?
True
Let z = 136 + -104. Suppose -z*a + 136583 = 16327. Is a a composite number?
True
Suppose z = 3*x - 10, -5*z = -5*x + 16 + 14. Suppose 4*a - 8 = 0, 5*d - 30091 = x*d + 4*a. Is d a prime number?
False
Let a(f) = 1339*f**2 - 30*f - 656. Is a(19) prime?
False
Let l(r) = -12*r**3 + 19*r**2 - 129*r + 67. Is l(-24) a composite number?
True
Let g(n) = n**3 - 21*n**2 + 22*n - 34. Let s be g(20). Suppose -2*c - t = -3679, 3*c + s*t - 10*t = 5535. Is c composite?
True
Suppose -10*k - 3248 = 4*k. Let s = k - -343. Let u = s + 4. Is u a prime number?
False
Let k be (-22)/22 - (-53)/1. Suppose -2*m = 2*m + k. Let g(o) = o**2 + 10*o + 19. Is g(m) a prime number?
False
Suppose -87396 = m + p - 277667, -4*m = 3*p - 761084. Is m a composite number?
False
Let u = -80031 - -154258. Is u a prime number?
False
Suppose 208 + 449 = 9*t. Suppose 0 = t*a - 65*a - 35080. Is a a prime number?
False
Let b(y) = 28*y**3 - 17*y**2 - 41*y + 5. Is b(9) a prime number?
True
Let j(b) = 5489*b + 152. Is j(3) prime?
True
Suppose -5*m - 4*m = 2*m. Is m - ((-46)/(-115) + (-7707)/5) prime?
False
Suppose 446079 + 1198131 = 90*h. Is h composite?
False
Let p(x) be the second derivative of 31*x**3/2 - 91*x**2/2 + 4*x + 2. Is p(8) prime?
True
Suppose 5*s - 3719 = 531. Suppose -10*a = -5*a - s. Suppose -a = -8*q + 78. Is q composite?
False
Suppose -5*i = -8*i + 135660. Suppose -7*j - 5271 = -i. Is j composite?
True
Let a(f) = -f**3 - 10*f**2 - 18*f - 4. Let y(j) = j**2 - 15*j + 68. Let t be y(16). Let c = -99 + t. Is a(c) a composite number?
True
Let c(z) = 11*z**2 + 844*z - 327. Is c(-130) composite?
False
Let h(y) = 2*y**2 - 7*y + 10. Let k(i) = -2*i + 13. Let s be k(5). Let f be h(s). Is (f/(-2))/((-10)/5860) prime?
False
Let r be (2/12 - (-5)/(-30)) + -1. Is (-1)/(r + 0 - (-9500)/9505) composite?
False
Let x = 95127 - -145870. Is x prime?
True
Suppose 80*h + 2119957 = 40251077. Is h a prime number?
True
Let s(w) be the second derivative of 17*w**3/2 - 7*w**2 - 18*w. Suppose 0 = 3*j + 3*i - i - 53, -5*j + 5*i = -80. Is s(j) a prime number?
True
Let m(v) = -555*v - 111. Let l be m(-3). Let p = 419 + -1390. Let h = l + p. Is h a composite number?
True
Suppose 0 = 5*a - 3*a + 110. Let m = 57 + a. Suppose 4*v = -y - y + 5210, m*y - 5210 = v. Is y composite?
True
Let u = -117319 - -193188. Is u a composite number?
False
Suppose 10*y - 76 = 14. Suppose k + y = 4*k. Suppose 3*w + 6*r - k*r = 2451, -2*w + 1628 = -r. Is w composite?
True
Let r(i) = -13 + 46*i**2 + 2 + 4*i - 2*i + 11*i. Is r(8) prime?
True
Suppose 35*t - 10679144 = -36*t + 15*t. Is t prime?
True
Let i(m) = -m**2 + 21*m - 35. Let t be 19*(-1)/(-2)*2/1. Let s be i(t). Suppose -s*q - 3*w + 6425 + 1927 = 0, -4*q + w + 11151 = 0. Is q composite?
True
Let a = -102667 + 208676. Is a a composite number?
True
Let m(r) = 5*r - 71. Let g be m(15). Is -4 - -123*(-3 - -6*g) composite?
False
Suppose -k + 4*k - 4*r - 40 = 0, 0 = -2*k - 5*r - 4. Let c(i) = 2*i**3 - 2*i**2 - 12*i + 119. Is c(k) composite?
False
Is ((-11)/99*-9)/(2/125506) a composite number?
False
Let s(o) = -43*o**2 - 4*o - 4. Let h be s(-2). Let i = h + -178. Let u = i + 977. Is u a prime number?
True
Let h = 20704 + 2385. Is h a composite number?
True
Let u = 165 + -160. Suppose -u*i - 4891 = -6*i. Is i a prime number?
False
Let k = -33 + 43. Suppose 2*g + 2*g + 28 = -2*a, 0 = -2*g + 5*a + k. Is g + 1206 + 1 + -1 a composite number?
False
Let j = 217 - 216. Is ((5 + -4)/j)/(1/934) prime?
False
Let z(p) = 2*p**2 - 23*p - 11. Let d be z(12). Let n(j) = 6480*j - 31. Is n(d) prime?
True
Let y(c) = 556*c - 6539. Is y(28) a prime number?
True
Let m(h) be the second derivative of 719*h**4/12 - 5*h**3/6 - 17*h**2/2 - 2*h - 2. Is m(-3) a composite number?
False
Is 31704177/24 - (-51)/(-136) a composite number?
False
Is (2 - 1)*(15224 + 5 + 2) prime?
False
Suppose -81*o = -92*o + 943723. Is o a prime number?
True
Let x(p) = -p**3 + 3*p**2 + 76*p - 61. Is x(-25) prime?
False
Suppose 0 = 56*v + 101*v - 1129055 - 1458776. Is v prime?
False
Suppose 6*m = -5 + 5. Suppose -5*y + 3*y = -5*b + 3430, -4*b - 2*y + 2726 = m. Suppose -r + 55 = -b. Is r a composite number?
False
Suppose a = -102 + 103. Let f be -5 + 5 + 5 - a. Suppose 3*o + f*x = 5889, -5*o - 4*x + 3646 = -6161. Is o composite?
True
Is (838/(-4))/(194/(-15908)) prime?
False
Let f = -3259 - -2181. Let u = 171 - f. Is u a prime number?
True
Suppose -86*s + 97007 = -2904208 - 4392463. Is s prime?
False
Let i = 484 - 496. Is (-2)/i + 195572/(-72)*-3 a composite number?
True
Suppose -14*c + 10*c + 40 = 0. Let q be (-2)/c + (-1)/(-5). Suppose -3*f = o - 801, q = -5*f - 4*o - 67 + 1402. Is f a composite number?
True
Let d = 4107 - 4103. Let u(j) = -j**2 + 5*j + 4. Let l be u(5). Suppose 28354 = 5*h + n - d*n, l*n = -12. Is h composite?
False
Let j be (1 - -2)*340/102. Is 3842/(j/(-4 - -9)) composite?
True
Let z(h) = -512*h**2 + 19*h + 90. Let p be z(-4). Is 0/2 + (25 - p) prime?
False
Let s(o) = -o**3 - 69*o**2 + 53*o + 150. Is s(-73) a composite number?
False
Suppose -w + 4*p + 178 = 0, -88 = -w - 5*p + 108. Suppose -w*q + 10767 = -183*q. Is q a prime number?
False
Let q = 4 - 1. Suppose 4*x + 2*f = 6, 31 - 4 = 3*x - q*f. Suppose -x*d - 6*w + w + 2014 = 0, 4*w = 2*d - 994. Is d a composite number?
True
Let d(l) = 2184*l - 85. Let k(u) = -57 + 789*u - 354*u + 223*u + 798*u. Let y(q) = -5*d(q) + 8*k(q). Is y(3) prime?
True
Let n(u) = -567*u**3 + 4*u**2 + 6*u - 5. Suppose 2*y - y = -5*d - 7, -5*y + 11 = 