Let k be b(-31). Let u = -2234 + k. Is u prime?
True
Let c(a) = 2*a**2 - a - 1. Let u be c(0). Is ((30856/(-32))/19)/(u/4) prime?
False
Let w be 2 + (-1 + -5)/3. Suppose 3*s - 822 = 3*z, -2*s + 536 = -w*s + 2*z. Is s composite?
False
Let s = -193377 - -279368. Is s a prime number?
True
Let z(k) = k**3 - 1 + 0*k**3 + 1 + 10*k**2 + 10*k + 13. Let v be z(-9). Suppose -2*a - h = -4*a + 144, 16 = v*h. Is a a composite number?
True
Suppose -2*o = -2*w - 3*o + 38, w = 2*o + 9. Suppose v = -5*p + 28733, w*v = 14*v - 6. Is p composite?
True
Let k be (7/(-7))/(3/(-21)). Suppose -k*m = -9*m + 654. Is m a prime number?
False
Let i be (3/(-4) + 6/8)/(-1). Let d be i/(-3)*((-2)/(-3) + -1). Suppose -5*o = -15, d*o + o - 2951 = -4*h. Is h composite?
True
Suppose -4 = -4*w, -2*w - 6 = -4*u + 4. Suppose 2*l + t = 7924, 5*t = 4*l + u*t - 15840. Is l composite?
True
Let a = -24 + 26. Suppose -2*j = 4*m - 6, 2*m - a*j = -0*m + 6. Is m/(-6)*3 - -1392 prime?
False
Suppose 0 = -4*z - s + 1111252, s + 1153585 = 5*z - 235480. Is z a prime number?
True
Suppose 8*w - 201881 = -4*w + 270535. Let k(z) = 3*z - 1. Let g be k(2). Is w/70 - (-3)/g a prime number?
True
Let o be (-1 - 2)/(-3) - (1 - -1). Let a be 25/(-3 - (o + -3)). Suppose -23*r = -a*r + 218. Is r a composite number?
False
Let j(r) = 201*r + 68. Let i(b) = 20 + 67*b + 8 - 5. Let f(t) = -8*i(t) + 3*j(t). Is f(19) composite?
True
Let z = -20619 + 76406. Is z prime?
True
Let z(v) = 8115*v + 125. Is z(24) a composite number?
True
Let m = -20109 - -44858. Is m prime?
True
Suppose 5*l + 22 = 4*l - 5*m, 4*l - 3*m - 27 = 0. Let a be (-11)/(-2) - 9/6. Suppose 2*v - 418 = -5*t, 2*t - 627 = -l*v + a*t. Is v a prime number?
False
Suppose -41*l + 42*l + m = 128959, -2*m = -4. Is l a composite number?
True
Suppose 70*l + 9828 = 79*l. Suppose -5*v + l = 5*o - 3343, -2*v = 5*o - 4435. Is o composite?
False
Let i = 1446101 + -594966. Is i prime?
False
Suppose 3*z - 2*z + 2*p = -9, 0 = 4*p + 20. Suppose 0 = -2*r + 627 + z. Is r prime?
False
Is (136/119 + (-4460920)/(-84))/(2/3) a composite number?
True
Suppose -21577*w - 222988 = -21581*w. Is w a prime number?
False
Let u = 813 + 1818. Suppose u - 8865 = -6*m. Is m composite?
False
Suppose -3*i + 1770354 = -16*i + 5746651. Is i prime?
False
Is -7 + (-18 - (-14635 - 1)) a composite number?
True
Suppose 3*p = -2*u - 2*p - 3369, 0 = -3*u + 5*p - 5091. Let c = 4263 + u. Is c prime?
False
Let k(i) = 118*i**2 + 38*i - 11. Let a(r) = r**3 - 12*r**2 + r - 22. Let x be a(12). Is k(x) prime?
False
Suppose -625263473 - 156674596 = 8*k - 569*k. Is k a composite number?
True
Let l = 58593 + -37708. Is l a composite number?
True
Let s(f) = -f**2 - 8*f - 1. Let b be s(-8). Let q be 3/3 + (-36826)/b + 0. Is (-2)/8 - q/(-28) a prime number?
False
Let d(b) = 4*b**2 - b - 1. Suppose -s - 5 = 0, 2*n - 3*s - 11 = -0*n. Let o be d(n). Is (o - 20) + (-1988)/2*-2 prime?
False
Let k(z) be the second derivative of 11*z**4/2 + z**3/6 + 11*z**2/2 + 15*z. Is k(6) composite?
False
Suppose -5*z = -5*t + 5, 0 = 4*t + z + 2*z + 3. Let j(h) = t*h + 2*h**2 - 15 + 6 + 6 - h - 15*h**3. Is j(-2) composite?
False
Suppose 12*r + 0*r = -10704. Let c = r - -2018. Is c prime?
False
Suppose 11*o = -53*o + 800563 - 271731. Is o composite?
False
Let t(m) = 67722*m - 103. Is t(1) a prime number?
True
Suppose -5*l + 12 = -3*y, 12 + 18 = -5*y + 5*l. Is ((-2)/y)/(4/9)*37034 a composite number?
False
Let u(y) = -28*y**3 - 28*y**3 + 2*y**2 - 15*y + 5 + 27*y**2 + 54*y**3. Is u(12) prime?
False
Suppose 12*w + 36379 = 4*m + 7*w, 3*w - 45446 = -5*m. Is m composite?
False
Suppose 51 = -2*z + 71. Suppose 0 = 3*v + 3*d - 6, -4 + 0 = -2*v + 4*d. Is (2412/z)/v - 94/(-235) a composite number?
True
Let v = -409373 - -658500. Is v a prime number?
True
Suppose -69*v - 168*v = -215060199. Is v a composite number?
False
Let y(m) = -4*m**3 - 5*m**2 - m + 12. Let i be y(-7). Suppose w - 1946 - i = 3*q, q + 12346 = 4*w. Is w a composite number?
True
Suppose 0 = 8*m - 7158 + 318. Suppose 0 = 4*f, -f = -4*a - a - m. Is (1 + a)*(-2)/4 composite?
True
Let c(w) be the first derivative of 4*w**3 - 3*w**3 + 2*w + 9*w - 3*w**2 + w**3 - 27. Is c(6) composite?
False
Is -3 + -1 - (-11 + -36838)*1 prime?
False
Let o be -12*((-75)/110 - 2/(-11)). Suppose 0 = -3*u + 5*u - o. Suppose -t + u*y + 55 = 0, 2*t + 2*y + 0*y = 78. Is t prime?
True
Let y = 131 - 128. Suppose 0 = 3*f - 5*d - 10023, y*f = 2*d + 6440 + 3583. Is f prime?
False
Let p = 92 + -110. Let a(w) = w**3 + w**2 + w. Let k(j) = 5*j**3 + 2*j**2 + 12*j - 19. Let l(n) = -6*a(n) + k(n). Is l(p) composite?
False
Let x(p) = 46013*p**2 - 8*p - 3. Let a be x(-2). Suppose 3*w - a = -12*w. Is w a composite number?
True
Let s(v) = 127*v + 2144. Is s(57) composite?
True
Let f = 47 - 47. Suppose -2*s = -3*j - 274 + 2055, s - 5 = f. Suppose 123 = -6*q + j. Is q composite?
False
Let x(d) be the third derivative of -7*d**5/60 + d**4/24 + 15*d**2. Let u be x(1). Is 794 - (4 - (-7)/(-2))*u composite?
False
Let q = 890814 + -623753. Is q a prime number?
False
Suppose -3*i = 5*m - m - 6, 0 = i + 2. Suppose -2*t + 6 = 2*d, -d = d + 3*t - m. Suppose 341 = f + 2*y - 1358, d = 2*y. Is f a prime number?
True
Suppose -5*v = -122*a + 119*a - 348733, 2*v = 4*a + 139510. Is v a composite number?
True
Let i be 21*(10/3)/5. Let c = 306 + i. Let t = c + -57. Is t composite?
False
Let z = 76919 - 46418. Suppose 73*i = 64*i + z. Is i a prime number?
True
Suppose -26*c + 2545 = -3201. Suppose c*n = 210*n + 21043. Is n a prime number?
True
Let y(h) = 3*h**3 - 85*h**2 + 72*h + 597. Is y(47) a composite number?
True
Suppose 3*a = -d + 136627 + 69562, -d + 2 = 0. Is a prime?
True
Let w(q) = -131*q + 28*q - 112 - 30*q - 123*q + 23*q. Is w(-17) prime?
False
Let l(v) = 708*v**2 + 84*v - 19. Is l(11) a prime number?
True
Suppose 33*l + 11579 = 34*l. Is l/3*(-18)/(-6) prime?
True
Suppose p - 254*k + 249*k = 8516, -4*p + k = -34121. Is p prime?
False
Let o = -76554 + 672265. Is o a prime number?
True
Let o(q) = q**3 + 4*q**2 - 6*q + 4. Let m be o(-4). Is ((m/(-16))/(-7))/((-6)/(-29496)) composite?
False
Let x be ((-4)/8 - 1)/((-1)/34). Is (-34)/x*(2 - (-24050)/(-4)) a composite number?
False
Let x = -20 - -22. Let j be 3 - 1*x/(-2). Suppose -j*r + 211 = -3*r. Is r prime?
True
Let h(o) = o**3 + 31*o**2 - 48*o - 121. Is h(24) a prime number?
False
Let n(b) = -b**3 + 17*b**2 + 27*b + 19. Let o(u) = -2*u**3 + u**2 - 4. Suppose 0 = r - 2*s + 10, 6*r = 2*r + s - 12. Let p be o(r). Is n(p) prime?
False
Suppose 2*w = 5*n - 3*n - 8142, 4*n = -w + 16279. Suppose 2*o - n = -4*z, -o - 16*z + 12*z = -2043. Is o prime?
True
Suppose -5*n - 5*a = -360125, -4*n - a = -86100 - 201994. Is n composite?
True
Suppose 0 = -0*g - g - 1, -4*l + 4*g + 56 = 0. Suppose 16*z + 21 = l*z. Is (21/(-9))/z*753 prime?
True
Let v(m) = 9887*m**2 + 226*m + 3. Is v(-4) composite?
False
Suppose -26 + 8 = 3*g. Is -3*(g + 3 - 688) a prime number?
False
Let j be ((-32)/20)/((-1)/15). Is 5197*-3*(-8)/j a prime number?
True
Suppose p = -5*t + 3*t + 5020, 5032 = 2*t + 4*p. Let l be (-2)/(-3)*223905/(-110). Let u = t + l. Is u composite?
False
Let p(i) = 2*i**2 + 8*i + 12. Let w be p(-6). Suppose -34*b = -w*b + 28. Is (-8)/b + 46467/63 a composite number?
True
Let z(b) = 37*b**2 - 4*b + 22. Let t be z(4). Let h = t + 49. Is h prime?
True
Let n(l) = 81*l - 21. Let b(k) = 2*k - 1. Let i(a) = 5*b(a) - n(a). Is i(-11) a composite number?
False
Let k = -48597 + 76648. Is k a prime number?
True
Let r = -180 - -34. Let a = r - -294. Is (-68)/(-8)*a - (0 + 1) a prime number?
False
Let r(a) = -691*a + 24. Suppose 9 = -z + 5*m - 15, -z - 20 = -4*m. Let x be 2/(z/21)*4/6. Is r(x) a composite number?
False
Let n be (60 - 57) + (-2)/(1 + 1). Suppose n*s + 474 - 38 = 0. Let c = 5 - s. Is c composite?
False
Let r(a) = -3*a - 3. Let j be r(-1). Suppose 0 = -j*v + 3*v - 2*b - 6705, 0 = -2*v + 5*b + 4459. Is v prime?
True
Suppose 0 = -j - 34 + 33. Is j/((-280008)/(-40002) - 7) composite?
True
Let w(y) = y + 3. Let z(q) = 569*q + 126. Let g(k) = -w(k) + z(k). Is g(7) prime?
True
Is (-13 - (-371132 - 12))*1 composite?
False
Suppose -3*k + 229134 = 3*x, -7*x + 11*x = k - 76358. Is 1/(7/k) + (-21)/(-49) prime?
False
Let f(z) be the third derivative of z**6/60 + 3*z**5/5 + z**4 + 13*z**3/2 + z**2 - 11. Is f(-