+ 24*o. Suppose t = -o*t - 6, -s + 1341 = -2*t. Is s a prime number?
False
Let x = -19 + 19. Suppose 0 = 2*d - x*d - 14. Suppose d*r + 374 = 9*r. Is r a prime number?
False
Let i = 1014 + -635. Let q = 7072 + i. Is q prime?
True
Let l = 647 + 10824. Is l a prime number?
True
Let n(y) = -287*y + 5. Let t be n(-4). Let a be 336/(-7)*(-355)/10. Let f = a - t. Is f prime?
False
Let m = -123 - -270. Suppose 5907 = 6*b + m. Suppose -2*r + 3*d = -5*r + 1431, 2*r - d - b = 0. Is r composite?
False
Suppose -100*w - 49571899 = -147011999. Is w composite?
False
Is -2 + 1 + (87 - -55655) composite?
True
Let i(q) = 1600*q**2 + 2*q + 124. Let t be i(13). Suppose -t + 1288025 = 25*l. Is l prime?
True
Is 10*((-97276)/(-8) - -5) a composite number?
True
Let t(v) = -v**3 - 21*v**2 - v - 17. Let n be t(-21). Let c be (4/n)/(2/(-4)). Is c*122/4*(0 - 5) a prime number?
False
Suppose 2*r - 2439 + 811 = 0. Suppose 5*x - r = 5696. Suppose 3*p + 5*j = 2*j + x, -3*j + 2180 = 5*p. Is p a composite number?
False
Let v(r) be the third derivative of 415*r**4/24 + 3*r**3/2 + 66*r**2. Is v(20) a composite number?
True
Suppose -3*r + 11032011 = 6*z, -15*r + 21 = -12*r. Is z a composite number?
True
Is (-24778269)/(-434) + 9/42 prime?
False
Suppose 26 = 16*i - 182. Suppose -i*w + 157375 = 12*w. Is w prime?
False
Let h(s) = 76*s + 22. Suppose -8*c + 7*c - 15 = -2*i, -27 = -5*i - c. Is h(i) a prime number?
False
Is (0 + 251 + 16)*(-3946)/(-6) + 4 prime?
True
Let h = -69 - -67. Let s be 1/(3 - 4 - h)*0. Suppose s = -2*t + 2*x + 4516, t + 4521 = 3*t - 3*x. Is t composite?
True
Let q = -21 - -60. Suppose q*x - 37455 = 118116. Is x a prime number?
True
Let x(c) = -c**2 - 5*c - 2. Let w be x(-4). Let s be (5 - -297)/(2 - (w - -1)). Let y = -111 - s. Is y composite?
False
Suppose -2*j - 3*j + 31*j - 2158546 = 0. Is j prime?
False
Let p = 7804 - 5489. Let z = 4282 - p. Is z a prime number?
False
Let x = -88 + 91. Suppose 2*k = -11 + x. Is (k/(-2) - -3) + 32 composite?
False
Suppose -r - 19 = g - 20, -2*r = -3*g - 22. Suppose 0 = -3*i - r*h + 32038, 2*h = 5*i - 26011 - 27396. Is i prime?
False
Is (-1 - 2)/((-279)/1569003) composite?
False
Let t be -4 - 5*(2 + -4). Suppose 20*p = t*p + 23702. Is p a prime number?
True
Let r(v) = 2683*v - 5860. Is r(119) composite?
True
Let f be -3*22760/45*6. Let u = f + 15702. Is u a composite number?
True
Let x(l) = 7*l**2 - 9*l - 3. Let b(r) = 15*r**2 - 18*r - 7. Let w(n) = -3*b(n) + 7*x(n). Let z be w(6). Suppose -z + 2806 = 4*v. Is v a prime number?
False
Let l(p) be the second derivative of 83*p**3 + 25*p**2/2 + 29*p. Let k be l(5). Suppose 3*m - 1670 = -2*h - 0*m, -3*h + k = 2*m. Is h a prime number?
False
Let a(l) = 606*l**3 + 12*l**2 - 7*l. Let n(s) = -605*s**3 - 14*s**2 + 8*s. Let i(f) = 6*a(f) + 5*n(f). Is i(1) a composite number?
True
Let w be (470/(-35))/(-2) + 6/21. Suppose -w*r = -10*r + 3273. Is r composite?
False
Suppose 2*x = q - 32, 1 = -x + 2. Let r be -4 + -5 + 2 + 670. Suppose 37*h - q*h = r. Is h a prime number?
False
Let g be (-21)/(-7)*(-15)/9 + 9. Suppose f = -g*p + 22621 + 7022, -5*p + 4*f + 37059 = 0. Is p composite?
False
Suppose -272 = 48*f - 52*f. Suppose 32 = 4*w - f. Suppose 21*n - w*n = -2540. Is n a prime number?
False
Let j(h) = -1 + 4 + 35*h - 6 - 730*h. Is j(-8) a prime number?
True
Suppose 0*k = 5*k + 4*c - 16, 5*k - 4 = -c. Let z = -7 - -1. Is 79 - k*(-2)/z composite?
False
Let g(t) = -1962*t - 14017. Is g(-22) a prime number?
True
Let c be 1086/(-4) + (-11)/(-22). Let s = 352 - c. Is s a prime number?
False
Let z be 8 + -2 - (0 - 2007). Suppose 4*g = z - 409. Is g prime?
True
Suppose -341*b - 140031 = -350*b. Is b prime?
True
Let a be (-115)/(-25) + 69/(-15) + 4. Suppose -80373 - 14639 = -a*q. Is q a composite number?
False
Let u(d) = 4264*d + 20. Let a be u(-2). Let y = 16717 + a. Is y prime?
True
Suppose 182014 = 31*z - 17*z. Is z a composite number?
False
Suppose 115*p + 8758238 = 28795097 + 12433276. Is p a prime number?
True
Suppose -66466 = -2*f + 4*z, f - 8*z + 10*z = 33221. Is f a composite number?
True
Suppose 4*x - 2*x = 4*b + 109426, -3*x - 2*b + 164123 = 0. Is x a prime number?
True
Suppose -3*r - 38 = -4*b, -4*r + 4*b - 28 = -2*r. Let l(f) = -f**3 + 2*f**2 + 5*f - 3. Is l(r) a composite number?
True
Is 2357/((988/124 + -8)/(-1)) a prime number?
False
Suppose 0 = -12*n - 14735 - 1621. Let v = n - -3774. Is v composite?
False
Suppose -3*z - 5*u + 45 = -0*u, z - 8 = -4*u. Suppose -148*v - 9786 = -162*v. Let p = v - z. Is p prime?
False
Let r(w) = -w**2 + 8*w - 7. Let j be r(7). Suppose 0 = -j*g - 5*g - 4*m + 49, 4*m + 3 = -g. Suppose x + 13812 = g*x. Is x a composite number?
False
Suppose 4823 = 5*v + 5*w - 552, -24 = -3*w. Is v prime?
False
Let u be (-4)/2*(16 - 8)*-1. Suppose 0 = 4*c - u, 2*t - 9034 = -2*c - c. Is t a prime number?
False
Let d(w) = 9227*w + 3930. Is d(139) prime?
False
Suppose -68*l + s = -69*l + 203061, -1015293 = -5*l - 2*s. Is l composite?
False
Let x(f) = -f**2 + 7*f - 8. Let r be x(7). Let o(w) = -26*w - 24. Let t be o(r). Let g = t + -105. Is g composite?
False
Suppose -49*k + 877196 = -119666 - 242887. Is k a prime number?
True
Let d(u) = -u**3 + 32*u**2 - 139*u + 111. Let l be d(27). Suppose -5*v + 0*v - 2*h = -14878, 0 = 4*v - 2*h - 11906. Suppose -v = l*k - 10827. Is k prime?
True
Let k = -761550 + 1253449. Is k composite?
False
Suppose 0 = z - 6*z + 6150. Let a be 4*(-4)/28 + 195/35. Suppose -a*w - 20 = 0, z = 2*q - 4*w + 232. Is q a prime number?
True
Let b = -10812 - -18959. Suppose 56*z = 57*z - b. Is z a composite number?
False
Let y(v) = 2777*v**2 + v + 1. Let f(h) = -h**3 + 6*h**2 + 4*h + 22. Let t be f(7). Is y(t) prime?
False
Let z be (-4*3/(-30))/((-1)/(-5)). Suppose z*f = 5005 + 2317. Is f prime?
False
Suppose -4*k = -7*k - 3*p + 66, -74 = -5*k + 4*p. Let b = -18 + k. Suppose 2*m = -5*h + 1771, -h + b*m - 4*m = -365. Is h a composite number?
False
Let a(k) = k**2 + 27*k + 58. Let r be a(-25). Suppose r*x - 3*x - 5*u = 43130, -25 = 5*u. Is x composite?
True
Suppose 5*s - 10*q - 27905 = -5*q, -5*s + 27917 = -3*q. Is s composite?
True
Let f = -55372 + 86433. Suppose 4*p + 2457 - f = 0. Is p a composite number?
False
Let x = 7992 + -7378. Is x a composite number?
True
Suppose -4*m = -20, -2*q + 584279 - 55831 = -2*m. Is q a prime number?
False
Let i(v) = -1429*v - 522. Is i(-17) composite?
True
Suppose 3079*s = 3064*s + 60. Let a = 1 + -4. Is ((-3)/4)/a - (-4915)/s a composite number?
False
Let r(p) = -197*p**3 + 5*p**2 - 2*p - 11. Let c = 92 - 95. Is r(c) composite?
True
Let m = -214 + 216. Is 1386 + m + 4 + 7 a prime number?
True
Suppose -220*c - 10506252 = -4*l - 222*c, -7879669 = -3*l - 4*c. Is l composite?
False
Is 5 + (-14 + -4112)*-5 a prime number?
False
Let u = 246 - 240. Let m(p) = 112*p + 1. Is m(u) prime?
True
Let l(g) = g**3 + 9*g**2 - 15*g + 19. Let c(o) = -3*o**3 + 3*o**2 - 7*o**3 + 0*o**2 - o. Let d be c(1). Is l(d) a prime number?
False
Let o = -181 - -282. Suppose -o*u = -103*u - 2. Is (2 - u/(-2))*(-11674)/(-39) a composite number?
False
Let u(l) be the first derivative of l**3/3 + 7*l**2/2 + 543*l + 2. Is u(0) a composite number?
True
Let m(y) = 461*y**3 + y**2 - 6*y + 11. Let h be 8 - 10 - (-5 + 1). Is m(h) prime?
True
Suppose -5*z + 23 - 3 = -4*h, -5*h - 4*z + 16 = 0. Suppose h = -4*k - 4*k + 16. Suppose -2*c - 3*c = 0, 0 = k*f + 4*c - 3194. Is f a prime number?
True
Let v = 16672 - -26487. Is v a prime number?
True
Let t(z) = -3*z**3 - 8*z**2 + 15*z + 39. Let m be 4*3*(-12)/18. Is t(m) a prime number?
False
Suppose -4*y = -74 - 46. Let g be (y/(-4))/((-2)/140). Is 2 + 1 + g + 5 prime?
False
Let u be -312*16/(-36)*12. Suppose u = 4*t - 1316. Suppose 0 = -b - 4*b + t. Is b prime?
True
Suppose -75*w + 353796 = 69921. Is w composite?
True
Let i = 44 - 41. Suppose 2*z - i*z = -5*o - 4176, -20 = -4*o. Is z a composite number?
False
Suppose -12640 + 916 = 3*l. Let w = -277 - l. Is w a prime number?
True
Suppose 4*f - 1056 = 696. Suppose 0 = 5*k - 4*r - 12, k + 77*r = 79*r. Suppose k*n - 3214 = f. Is n composite?
True
Let m(t) = 122*t**3 - 4*t**2 - 4*t - 2. Let o be m(-2). Let q = -568 - o. Let a = 795 - q. Is a a prime number?
False
Let p be (-7)/((-21)/(-12))*(10 - 1). Let t be -4 + p/(-24)*(1 - -1). Let g(i) = -1212*i + 1. Is g(t) a prime number?