 Let j be y(2). Is (1338/24)/((-3)/j) prime?
True
Let i(p) = -p**3 - 7*p**2 - 10*p - 3. Let q be i(-5). Let l(w) = 4*w**2 + 13*w - 5. Let v be l(q). Is 762/v*80/(-60) a prime number?
True
Suppose -16*m + 9 = 9. Suppose -4*t + 5*j + 79723 = m, 2*t = -t + 5*j + 59786. Is t a composite number?
False
Let z(j) = j + 26. Let x be z(-24). Suppose 5*m - 5*q - 1270 = 0, x*q - 149 = -m + 117. Let o = m + 1433. Is o prime?
False
Let d = 66468 + -37085. Is d a composite number?
False
Let n be ((-402)/(-335))/(6/(-40)). Is (n/12)/((-100202)/(-33402) - 3) a composite number?
True
Let z = -5739 + 9864. Let t = z + 2264. Is t a prime number?
True
Let a(d) be the first derivative of 255*d**4/4 + 2*d**3/3 + 2*d**2 - 11*d - 46. Is a(2) composite?
True
Suppose -3*t + 8120362 = -m, -19*t + 16*t = -4*m - 8120365. Is t a prime number?
True
Is (-654392)/16*(-1)/(5/50) a prime number?
False
Let q(a) = 59*a**3 + 2*a**2 + 2*a - 1. Let w be q(-2). Let z be 7/(-28) + 3693/(-12). Let l = z - w. Is l a composite number?
True
Let b = 3 - 3. Suppose 2*a - 2 = l + 3*a, a + 5 = b. Is 84 - (2/(-6))/(l/(-9)) composite?
False
Let h = -692477 + 1744974. Is h a prime number?
False
Suppose -188 + 488 = 3*l. Let r = l + 159. Is r composite?
True
Let p(i) = 17*i**2 + 106*i**2 + 14*i - 4 + 12 + 3 + 16. Is p(-2) prime?
True
Let g(f) = -218*f**3 + 3*f**2 + 28*f + 23. Is g(-6) composite?
False
Let a = -4595 - -14846. Suppose 4*w - a - 554 = -5*f, -w + 10805 = 5*f. Is f prime?
True
Suppose 40*c = 33*c + 14. Is ((-600)/180)/(1/(-2019)*c) a composite number?
True
Let w = -81 - -80. Let f = w - -5. Suppose 9 = -f*a - 3, -4*d + 4*a = -4568. Is d prime?
False
Is 30/24 - (4 + (-62700728)/32) a composite number?
True
Let u(y) = 270*y + 273. Let l be u(-25). Let b = l + 11150. Is b prime?
True
Let v(q) = -q**2 + 8. Let u be v(0). Suppose -u*w = -27267 - 2197. Is w a prime number?
False
Is (-1088046)/(-72) - -9 - (-2)/8 prime?
True
Let i be (2/6 + 0)/(8/(-216024)). Let t = 2333 + i. Let a = t - -12649. Is a composite?
False
Suppose -4*m - n + 5946 = -95619, 4*n - 50786 = -2*m. Is m a prime number?
True
Let o(z) = -358748*z**3 - 2*z**2 + 6*z + 7. Is o(-1) a composite number?
False
Let w(k) be the third derivative of k**6/360 - k**5/20 + k**4/8 - 7*k**3/3 + 14*k**2. Let b(q) be the first derivative of w(q). Is b(16) prime?
True
Let n = 239 + -126. Let y(r) = 5*r - 87*r**2 - 3 + 118*r**2 + n*r**2 - 2. Is y(2) a composite number?
True
Suppose 2*i + 10 = 4*j - 6, 12 = 4*j. Let s be (-1212)/8*-2 + i. Suppose -31*n + 32*n - s = 0. Is n a prime number?
False
Is (-7)/(-91) - (-93936)/26 a prime number?
True
Suppose -11*d + 16*d - 4*a = 99505, a = -5. Is d a composite number?
True
Let b = 102 + -102. Let l be (4 + b)/(16/9944). Let c = l + -1543. Is c composite?
True
Let d be (276/(-230))/(-1 + (-4)/(-5)). Let q(r) = 73*r**2 + 4*r - 43. Is q(d) a prime number?
True
Let w(d) = -2*d**2 + 3*d - 4. Let t be w(0). Let o be (5 + -4 + -5)/(1/t). Suppose 0 = -o*k + 24*k - 5528. Is k a composite number?
False
Suppose 16*d - 6 - 74 = 0. Suppose l = -l - r + 8839, 2*r + 22075 = d*l. Is l a composite number?
True
Let j(p) = 2917*p**2 + 15*p + 41. Is j(-3) a prime number?
True
Let k be (2 + -12*1)*(-4770)/(-25). Let w(l) = -2*l**3 + 8*l**2 - 34*l - 15. Let q be w(-10). Let u = q + k. Is u a composite number?
False
Let v(h) = 234 + 6*h - 421 + 238 + 10*h**2. Is v(13) prime?
False
Let m = -223917 - -404438. Is m prime?
False
Suppose -5*f - 2*c + 4*c = -59, -2*f + 5*c = -11. Let h be (19 - f)*2/3. Is (-677)/h*(-2 - 2) prime?
True
Let f(y) = -y**3 - 4*y**2 + 14*y + 19. Let l(v) = -6*v + 21. Let q be l(-13). Let t = -108 + q. Is f(t) a prime number?
False
Let t = 81 + -54. Let z = -22 + t. Suppose 2*j - 7*j + 3*p + 6992 = 0, z*j - 2*p = 6993. Is j composite?
False
Let f(k) = 1881*k - 22. Let t be f(19). Let p = t + -23824. Is p a composite number?
True
Suppose 2*b = 4*n + 113570, 1 - 3 = -n. Is b prime?
False
Suppose 16240 = -21*v + 14*v. Let y = 1881 - v. Is y a prime number?
True
Let l(z) = -14*z**3 - 5*z**2 + 6*z + 4. Let x be l(-5). Let n = 38 + x. Is n a composite number?
False
Let v be ((-2)/7)/(2 + (-30)/14). Suppose -5*b = -d + 18618, v = -2*b + 4. Is d prime?
False
Is (-2 + -6 + 14 + 600632)*1 prime?
False
Let f(p) = 65*p**2 - 110*p - 182. Is f(53) a prime number?
True
Is (-1)/3*-4497*(-11)/33*-3 a prime number?
True
Let p be (12/(-8) - -2)*0. Suppose -6*u = -4*g - u + 5, 4*u - 12 = p. Suppose g*w = 3*v + w - 365, 5*v - 620 = -5*w. Is v a composite number?
True
Let f = 1206 + 1142. Suppose -g - 3*g = -f. Is g a composite number?
False
Let k(w) be the first derivative of 9*w**4/4 - 2*w**3 + 7*w**2 + 2*w - 56. Is k(6) a prime number?
False
Suppose 3*a + f - 1434266 = 0, 102*a + 956149 = 104*a - 5*f. Is a a composite number?
False
Suppose -107*f - 28692 = -111*f. Suppose f = 13*p + 400. Is p a composite number?
False
Let y = 35 - 15. Suppose -65*r + 249525 = -y*r. Is r a prime number?
False
Suppose -3*j = 15, 2*j = 5*h - 14 - 6. Suppose 5*k + 4*x - 15756 = -4871, 5*x + 4321 = h*k. Is k composite?
True
Is (-37732190)/(-161) + (4 - (-93)/(-21)) composite?
False
Suppose 0 = -22*v + 24*v - 48. Let p be -9*((-25906)/v + (-5)/20). Suppose 8*r + 413 - p = 0. Is r a prime number?
True
Let h(b) = -b + 10. Let z be h(-28). Suppose 7*o - z = 25. Suppose 2*x + 7294 = o*x. Is x prime?
False
Suppose 14*p - 18*p + 806040 = 4*g, -5*p + 1007560 = -5*g. Is p prime?
True
Let b(w) = -62*w**2 + 11*w - 47. Let k be b(15). Let f = -6787 - k. Is f prime?
False
Let i(y) = -2*y**3 + 9*y**2 - 2*y + 12. Let p be i(7). Let n = p - -510. Is n a composite number?
False
Suppose 2*p - 41336 = -9908. Suppose p + 28996 = 10*k. Is k a composite number?
True
Let l = -5 + 2. Suppose -4*j = -n + 83, 2*j = -14*n + 18*n - 38. Is 1/l + (-4438)/j a composite number?
False
Suppose -5*n + 30 = 2*m, m + 4*m + 49 = 3*n. Is 761 + (-5)/(10/n) a composite number?
False
Let y(z) = z**3 - 2*z**2 + 214. Let j be y(0). Let h = j - 115. Suppose -3*w - h = -336. Is w a composite number?
False
Suppose -18330 = -47*o + 54473. Is (0/1 + (1 - -6))*o a composite number?
True
Let r be ((-4563)/(-81))/((-1)/(-69)). Let h = 7258 - r. Is h prime?
True
Suppose 540*x = 542*x - 670682. Is x a prime number?
True
Suppose 126*m - 513304 = -4*w + 129*m, -3*m = 12. Is w a composite number?
True
Suppose 0 = -55*y + 1832355 + 4557710. Is y prime?
False
Suppose 4*w + 0*f - f - 7 = 0, -4*w + 2*f + 6 = 0. Suppose g = -w*b + 83876 - 3104, b - 2*g - 40391 = 0. Is b composite?
False
Is (25/5 - -157462)/((-72)/(-8) - 6) composite?
False
Let h(k) = -2*k**3 + 6*k**2 - 4*k + 49. Let o(m) = 2*m**3 - 7*m**2 + 4*m - 51. Let r(d) = -7*h(d) - 6*o(d). Is r(6) a composite number?
False
Let z(k) = 1123*k**2 + 5*k + 4. Let f be 4/22 - (-17)/(374/(-48)). Is z(f) composite?
True
Let h = -555 - -1101. Suppose 0 = -j + 3*r + h, 5*j + 0*r = r + 2758. Suppose 103 = -p + j. Is p a prime number?
True
Let p(l) = 1039*l - 500. Is p(43) composite?
True
Let c = -1775520 - -2764901. Is c composite?
False
Is 8*14/21*21/14 - -325931 a composite number?
False
Let d = 706488 - -192119. Is d a composite number?
False
Is -35 + (6 - -12) - -38814 a prime number?
False
Is -168598*(5/(-20))/(3/6) composite?
False
Let s = -12622 - -98313. Is s a prime number?
True
Suppose 12 = 4*r - 168. Is 7012/6 + (-5)/r*-3 composite?
True
Let j(c) = -170*c - 34. Let r = -91 - -85. Let w be j(r). Suppose 10*i - w = 1244. Is i a prime number?
True
Suppose 4*h + 14 = 8*y - 6*y, -2*y - 3*h = -7. Suppose y*n - 8*n = -7449. Is n a composite number?
True
Let v = -1023883 + 1805604. Is v prime?
True
Let j(v) = 4*v**2 - 5*v - 6. Let f be (-60)/(-14) + (1 - 36/28). Let z be j(f). Let k = 156 - z. Is k a composite number?
True
Let v = -75780 - -141257. Is v a prime number?
False
Let h = -10092 - -10120. Let y(x) = x - 87 - x + 23*x. Is y(h) prime?
True
Is 1/(6 - 12974070/2162346) a prime number?
True
Suppose -3 = p + c, -c + 4 = 5*p + 31. Let b(o) = -873*o - 59. Is b(p) a composite number?
False
Let z be (-2 - 17)*((-162)/(-9))/(-9). Suppose z*s - 792045 = 339253. Is s composite?
True
Let z = 176 - 192. Let t(q) = -138*q - 301. Is t(z) composite?
False
Let m = -17 + 15. Let c be 1*1168 - (m - -5). Let y = 1814 - c. Is y a composite number?
True
Let c(z) =