2. Let u be o(-1). Let i be (6 - (u + -5))/(1 - 3). Suppose -i*r = -4*v - 3890, 3*r + v - 5820 = 2*v. Is r a composite number?
True
Let l = 291097 + 36910. Is l a prime number?
True
Let u be 3/12 - (3 + (-298)/(-8)). Let o = 670 + u. Suppose 3*r = -0*y + 3*y + 384, -5*r - 5*y = -o. Is r a prime number?
True
Suppose -721143 = 30*y - 4742133. Is y prime?
True
Let n be 36/60*(1 - (0 - -36)). Let v(s) = -s**2 - 48*s - 29. Is v(n) composite?
True
Suppose -233 = -10*u - 53. Suppose 22*t = u*t + 15444. Suppose 2*h = -4*o + 3858, -2*h + 3*o = 8*o - t. Is h composite?
True
Is (-18 - 672/12)*(1406/(-4) - -1) composite?
True
Let k = 297 - 297. Suppose -38*y - 12*y + 1093450 = k. Is y composite?
True
Let o(q) = 386*q**3 - q**2 + 6*q + 11. Let z be o(-2). Let f = z - -4834. Is f prime?
True
Let v be (-23)/(-7) + 10/(-35). Suppose 4 + 92 = 3*z - v*t, -z = 2*t - 35. Let y = z - -82. Is y a composite number?
True
Let o = 218503 + -79656. Is o prime?
False
Suppose -5461856 - 2500639 = -15*d. Is d a composite number?
False
Suppose -2*u - u + 30 = 0. Let q be 6/(-30) + 32/u. Suppose 2*b - 745 = -q*b. Is b a composite number?
False
Let o(w) = 253555*w + 9403. Is o(6) composite?
True
Let p = -303 + 300. Is 4326 + (p/(-2) - 78/12) prime?
False
Let p = -781 - -2000. Suppose 2*a - 1436 = -2*m, a + p = 3*m - 939. Is m prime?
True
Suppose 14*t = -1957 + 55703. Is t a composite number?
True
Let w(f) be the third derivative of f**5/20 - f**4/3 + 5*f**3/2 + 117*f**2. Let u be 6/5*20/3. Is w(u) a composite number?
True
Let q(s) = -7 + 4598*s - 1 + 3 + 0. Is q(1) prime?
False
Let z(n) = -13853*n + 250. Is z(-3) prime?
True
Let v = -2864 + 14277. Let d = v - 5574. Is d a composite number?
False
Let z = -13 - -16. Let s(k) = -k + 7. Let x be s(z). Suppose a - 958 = -3*v, -2*a - x*v = 562 - 2472. Is a composite?
True
Suppose -2*k = -5*w + 43805 - 14344, 5*k - 2*w = -73621. Let l = k + 35466. Is l composite?
False
Is (232/(-145) + 2)*(-15415)/(-2) a prime number?
True
Is 198121/9 + 396/(-891) composite?
False
Is (0/2 - 6) + 77644765/61 a prime number?
False
Suppose 169*l + 3323467 = 336*l. Is l a composite number?
True
Let h(r) = 22 - 91*r - 13*r**2 + 187*r - 8*r**3 - 92*r. Is h(-9) a prime number?
False
Let b be 10/15*30 - 4. Let o = 26 - b. Suppose -v - m + 1 = -11, v - o = -3*m. Is v a composite number?
False
Suppose -f = -14 - 11. Suppose -f*m + 26429 = -12*m. Is m composite?
True
Let j be (-1)/(-2)*(15 + (-6)/2). Is 2*(-3)/j*-787 prime?
True
Let y(q) be the first derivative of 5*q**2 - 28*q - 28. Let o be y(6). Is (o + 2)*(33/6 + 1) a composite number?
True
Let p(v) = 61*v + 223. Let c(s) = s**2 - 2*s - 71. Let i be c(-9). Is p(i) a prime number?
True
Let z(w) = 270*w**3 + 2*w**2 - w + 18. Let u(f) = -1080*f**3 - 8*f**2 + 5*f - 73. Let h(d) = 2*u(d) + 9*z(d). Is h(3) a composite number?
True
Suppose -i - 2*i = -9*c - 47559, 15863 = i + 2*c. Is i a composite number?
False
Let m(c) be the first derivative of 3*c**4/4 + 2*c**3 - c**2/2 - 7*c - 6. Let l be m(-5). Let z = -70 - l. Is z prime?
True
Let o = 52 + -34. Let m = o + -15. Suppose -m*x + 1228 = x. Is x prime?
True
Let r be (0 + 27154)/(-2) - -5. Let p = 208 - 145. Is 6/(-14) - r/p a prime number?
False
Let g = 572 + 982. Let a = g - 1045. Is a prime?
True
Let d(p) = p + 27. Let z be d(-10). Let s(h) = 895*h - 202. Is s(z) composite?
False
Let i(v) = 1107*v + 5057941. Is i(0) composite?
True
Let k = 6 + -38. Let z = -33 - k. Is z*4 + (-2570)/(-1) - -3 a prime number?
False
Suppose -4*p + 16 = 5*j, 0*j = -5*j + 3*p - 12. Is (-73922)/(-2) + j - (-7 + 3) prime?
False
Suppose 0 = -8*u + 11*u + 3, -2*v + 2*u - 3538 = 0. Let o = v + 4671. Is o a prime number?
False
Let s(d) be the third derivative of 7*d**6/60 - d**5/30 + d**4/12 - 30*d**2. Let l be s(1). Let i = 159 - l. Is i a prime number?
False
Let q(r) = -r**2 - 65*r + 137. Let l = 824 + -863. Is q(l) composite?
False
Let u(x) = 11542*x**3 + x**2 - x - 1. Let o be u(1). Let c = o - 8104. Is c a prime number?
False
Let k(a) = -338464*a**3 - a**2 + 9*a + 10. Let q be k(-1). Suppose 10*r + q = 42*r. Is r a prime number?
False
Suppose -3*q = -5*d + 292252, 0 = -3*d + 106*q - 107*q + 175354. Is d a composite number?
False
Suppose 238*n = 243*n + 18140. Is 8*(-3)/96*n composite?
False
Suppose 4797*x = 4805*x - 30952. Is x prime?
False
Is ((-3)/(-9))/((-18)/(-45580275 - -9)) a composite number?
True
Suppose 54*m - 61*m = -35. Suppose -2919 = -p - 5*l, m*p - 2*l - 14703 = -0*p. Is p prime?
True
Is (-694969)/22*(-1 - (-1 - -2)) composite?
False
Let b = 482 - -33549. Is b a composite number?
False
Suppose 4*k = 4*w + 848148, k - 47793 = 2*w + 164247. Suppose -k = -4*n - 67886. Is n a composite number?
False
Let u(p) = 8*p**2 - 2*p - 1. Let s be u(1). Suppose -4*h + 4030 + 141 = -3*r, s*h = r + 5200. Is h a composite number?
False
Suppose -21*m - 27*m - 11682589 = -115*m. Is m composite?
False
Suppose 0 = 9*u + 4*n - 1098621, 395853 = 4*u - 5*n - 92423. Is u a composite number?
False
Suppose -b = 4*d - 160865, -20*b + 23*b = -5*d + 482567. Is b a prime number?
False
Suppose 0 = 2*p - 5*g - 288039, 4*p - 352385 = -5*g + 223678. Is p a prime number?
False
Let x(i) = 67*i + 996. Is x(-11) a prime number?
False
Let j = -330474 - -1072235. Is j a prime number?
False
Let j(u) = 105*u - 282. Let a be j(6). Is (a/24)/((-3)/(-42)) a composite number?
True
Let m(d) = -7*d - 327. Let t be m(-45). Let a(h) = 12 - 67 + 39*h - 288*h. Is a(t) prime?
False
Suppose 20*d = 47880 - 6860. Let m = 4532 + d. Is m composite?
True
Suppose 3*h + 49 = -4*h. Let c(r) = -708*r + 1. Let f(d) = -2123*d + 3. Let y(o) = h*c(o) + 2*f(o). Is y(1) prime?
True
Suppose 6680594 - 2630231 = 57*s. Is s composite?
False
Let b = -80436 - -140955. Is b prime?
False
Let p = 9068 + -6280. Suppose -11*b + 7*b + p = 0. Is b a composite number?
True
Suppose -4*z + 1148 = -2*z. Let b(j) = 20*j - 401. Let r be b(6). Let n = z + r. Is n composite?
False
Let l(p) = -p**3 - 24*p**2 + 22*p - 29. Let k be l(-25). Suppose -k*v + 38910 = -40*v. Is v a composite number?
True
Let x(v) = 1198*v**2 + 2*v + 26. Is x(-5) prime?
False
Let z(k) = 306352*k**2 - 153*k - 2. Is z(-1) prime?
True
Suppose q + 3*q - 4*t + 16 = 0, 0 = 4*q + 3*t - 19. Let m be (14/10 - q) + (-16926)/(-10). Is m/(3 + (-10)/5) a prime number?
True
Let n(h) = -201*h**2 + 8*h + 1. Let k be n(-3). Is -5 - 0 - (9 - (-1 - k)) composite?
True
Let p(v) = -2153*v + 6. Let q be -2 - (2/(-6) + 29/(-3)). Suppose -5*a = -2*z + 3 + q, -7 = -5*a - 4*z. Is p(a) prime?
False
Let l(p) = -12*p - 2. Suppose r = 3*d - 8*d - 9, 5*d + 10 = 0. Let c be l(r). Is (-255 + 1)*7/c prime?
True
Suppose -79*q - 53*q + 1538657 + 6626995 = 0. Is q a composite number?
False
Suppose 3*v - 44061 + 12595 = -2*n, 0 = -2*n - 5*v + 31462. Suppose 7*k - 4753 = n. Is k composite?
False
Suppose -302*o = -269*o - 12833007. Is o a composite number?
False
Let k = 54094 - 37575. Is k a prime number?
True
Suppose t + 0*t + 2*l - 2 = 0, -3*l = 0. Let p be (2 - (-6)/(-3))/t. Suppose -7*j + 2737 = -p*j. Is j prime?
False
Let j(b) = 148*b - 1. Let p(m) = 2. Let k(n) = -3. Let o(s) = 3*k(s) + 4*p(s). Let g(q) = j(q) + 2*o(q). Is g(2) composite?
False
Let q(c) = -16343*c - 14610. Is q(-8) a composite number?
True
Suppose 118657 = -46*d + 14237. Let c = d - -5953. Is c a composite number?
True
Suppose 2*a + 2*j = 0, -3*a = -a - 4*j - 24. Let i be (-650 + (-16)/a)*(-6)/(-4). Let c = i + 2560. Is c composite?
False
Let s(k) = -9 + 78 - 6 + 814*k. Is s(2) a prime number?
False
Suppose 0 = -2*r - 8*r - 80. Let m(t) = -119*t - 27. Let w be m(r). Let i = w + -128. Is i prime?
True
Is (2/(-31) - (-33)/((-5115)/(-57509350))) + -1 composite?
False
Let f(c) = -4*c**3 - 15*c**2 - 7*c - 5. Let s(i) = -17*i**3 - 61*i**2 - 27*i - 19. Let q(u) = 9*f(u) - 2*s(u). Let j be q(-8). Let o = 1306 - j. Is o composite?
False
Suppose 28*m + 345 = 121. Is ((-4)/m)/((-11)/(-9746)) prime?
True
Suppose 0 = -6*p + 5*p + 3. Suppose -p*f + 19117 = -2*y, -3*f = -8*f - 3*y + 31830. Let u = -3582 + f. Is u a composite number?
True
Let i = 2131417 + -969464. Is i prime?
False
Let a = -529005 + 1025144. Is a prime?
False
Let l(q) = 9263*q - 4299. Is l(80) a composite number?
False
Let g = 212864 - -689214. Is g prime?
False
Suppose -4*x + 1799677 = j, 117*j