 1. Is t(n) composite?
False
Let l = -278265 - -634700. Is l a composite number?
True
Suppose 642*j + 993354 = 646*j + 3*y, 4*y + 24 = 0. Is j composite?
True
Suppose -156*m = -152*m - 3*r - 1675910, -2*m - 3*r = -837928. Is m composite?
True
Suppose 40843 = 11*b - 140096. Let k = b + -9512. Is k composite?
True
Suppose -3*j + 4*x = -140425, 4 = -23*x + 19*x. Is j composite?
False
Let d = -151 - -142. Let u(a) = -5*a**3 - 2*a**2 + 7*a - 5. Is u(d) a composite number?
True
Let o = 730 + -712. Suppose -14*j + o*j - 56448 = -5*x, 28194 = 2*j - 5*x. Is j a prime number?
True
Suppose 39*o + 17*o - 139898248 = 0. Is o prime?
True
Let g(v) = -3*v**3 - v**2 - 3*v - 1. Let m be g(3). Let j = m - -221. Is j prime?
False
Suppose 31*d - 57355 = 191141. Let k = -895 + d. Is k composite?
False
Suppose 3*w + 0*w - 20 = t, 0 = 5*w + 5*t - 40. Let s(x) = 74*x**2 + 10*x - 13. Is s(w) a composite number?
True
Suppose -10*l = -8*l + 5*w - 30, 16 = 4*w. Suppose -5 = -t, t + 8306 = l*y - 4*y. Suppose y = 6*r - 10595. Is r a composite number?
True
Let r be ((-2)/(-4))/((-18)/(-16272)). Let f = 2133 - r. Suppose -z - 2*z + f = 4*n, -z = -n - 565. Is z a composite number?
False
Let z(x) = -2*x + 19. Let p be z(11). Let w(l) = -72*l**3 - 4*l**2 - 7. Is w(p) composite?
False
Suppose -2 - 2 = -4*d. Let a = 12795 - 12788. Is 1799/a + d*(-3 - 0) a prime number?
False
Let t = 28 + -24. Let w be -2 - (-2)/t*4. Suppose 5*l - 616 - 639 = w. Is l a composite number?
False
Let d(y) be the third derivative of 1273*y**5/30 + y**4/8 - 54*y**2. Is d(-1) a composite number?
False
Suppose 5*n - i = -34322, 2*i = 2*n + 4*i + 13724. Let v = -875 - n. Is v a prime number?
False
Let t = -9099 + 25968. Is t a prime number?
False
Let k(b) = 46*b**2 - 3*b + 24. Let t(r) = -r**2 + 17*r - 5. Let a be t(16). Is k(a) a composite number?
False
Let r(w) = -1129*w**3 + 2*w**2 - 1. Let s be r(-1). Let d = s - 799. Is d composite?
False
Let m(w) = -w**3 + 12*w**2 + 19*w - 27. Suppose 21 = 4*t - 31. Is m(t) composite?
True
Suppose -3*j = 4*p - 19 - 17, -27 = -3*p + 4*j. Suppose 3*z - p*z = -4038. Is z a composite number?
False
Suppose -3*l - s + 71 = 0, -s = 5*l - 6*s - 85. Let v = 8510 + -4912. Suppose l*w - 20*w - v = 0. Is w a composite number?
True
Let a(w) be the second derivative of -556*w**3/3 + 77*w**2/2 - 5*w - 2. Is a(-10) composite?
False
Let f(q) = -4*q**3 - 15*q**2 - 2*q - 9. Let x be f(-4). Let l(i) = 1709*i + 68. Is l(x) a composite number?
False
Let l = -274 + 251. Let o = 1065 + -317. Let y = o - l. Is y prime?
False
Let r = -120760 - -180263. Is r composite?
True
Let x be ((-5)/(-5))/(2/2032). Let p = -780 + 787. Suppose -u + x = p*u. Is u prime?
True
Let s(u) = 3*u**3 - 2*u**2 - 5*u + 2. Let c be s(2). Suppose c*x - 65301 = 5*x. Is x composite?
False
Let m = -35199 + 15562. Let u = -13586 - m. Is u a prime number?
False
Let p(m) = -5775*m - 282. Suppose -99 = -43*q + 54*q. Is p(q) prime?
False
Let m be -1 - 2 - -2 - -6. Suppose m*x - 2*j = -4*j + 19, 0 = -4*j + 8. Suppose x*g + 21 - 366 = 0. Is g composite?
True
Let k(f) = 91*f**3 + 8*f**2 + 16*f - 29. Let j(b) = 46*b**3 + 3*b**2 + 8*b - 14. Let i(g) = 7*j(g) - 3*k(g). Is i(6) prime?
True
Let z(o) = -o**3 - 11*o**2 - 7*o - 15. Let f be z(-10). Let t = 50 + f. Suppose -4*b = x - 257, 3*b + 1194 = t*x - 137. Is x prime?
False
Let n = 51 - 42. Is (n/(45/(-10)) - -5) + 5900 a composite number?
False
Let f(g) = 63*g**2 - 11*g + 151. Suppose 0 = -8*k + 103 - 7. Is f(k) a composite number?
False
Let s = 274008 + 304949. Is s prime?
True
Suppose -4*v + 16 = 4*j, 2*j - 19 = 4*v - j. Let a be (7 + -6)*(6 - 0 - v). Let b(q) = 128*q + 11. Is b(a) prime?
True
Suppose 9*b + 6 = 12*b. Suppose -9*f = -b*f - 2065. Suppose -3*z - 3*t = -0*t - 897, z + 2*t - f = 0. Is z composite?
True
Let z be -40*(1/((-1)/(-4)) + -5). Suppose -24*h + 16*h + z = 0. Suppose h*k = 2*t - 3850, -4*t - t + 9579 = -k. Is t prime?
False
Suppose -79*y + 74*y = 5*b - 960275, 0 = 3*b + 12. Is y prime?
False
Suppose 3*p + 5*x + 27 = 0, 2*p - 22*x + 18 = -17*x. Let l(j) be the third derivative of -7*j**4/12 + 8*j**3/3 + 2*j**2. Is l(p) a composite number?
True
Suppose -2*i + 247570 = -d, -3*i - 2*d = -i - 247582. Is i a prime number?
True
Let j = -10 - -16. Suppose s + 5*o + 0 = -j, -s = -5*o - 4. Is 230/((-26)/(-13) + 0/s) prime?
False
Let v(m) be the first derivative of 5*m**4/4 + m**3/3 - m**2/2 - 2. Let j be v(1). Suppose 6272 + 1133 = j*t. Is t composite?
False
Let g(t) be the second derivative of 0 + 15*t + 0*t**3 + 5/12*t**4 + 4*t**2. Is g(11) a prime number?
True
Let b(r) = -r**3 + 18*r**2 + 7*r + 24. Let d be b(21). Let n = d - -2026. Suppose v + v - n = 0. Is v prime?
False
Let j = -1 - -5. Let r be ((-42)/(-6) - 7)/(-2 + 1). Suppose -5*u + 5041 = -j*v, u + r*u = 5*v + 1004. Is u a prime number?
True
Let o(k) = k**3 + 2*k**2 + 8*k + 9. Let j be o(-2). Is (-154)/j*491/2 prime?
False
Let z(a) be the second derivative of 527*a**5/5 - a**4/12 - a**3/3 + a**2 - 13*a. Let t be z(1). Let s = -1448 + t. Is s a composite number?
False
Let h = 157 - 155. Is (-6)/(-28)*h - 14428/(-14) composite?
False
Let q(o) = -3822*o**3 + 3*o**2 + 30*o + 26. Is q(-1) a composite number?
False
Suppose 123*k = 120*k + 72. Let z(o) be the third derivative of o**5/60 + 5*o**4/8 - 49*o**3/6 + 3*o**2. Is z(k) a prime number?
True
Let m(h) = 4*h**3 + 1 - h**2 + 6*h + 2 + 3. Let r(o) = -7*o - 373. Let x be r(-54). Is m(x) composite?
True
Suppose s - 22 = 4. Suppose -23*p + s*p + 3 = 0. Is 410 + (-48)/18 + p/3 a prime number?
False
Let y = -26 + 11. Let z be (-6)/15 - (-69)/y. Is (-1*(-1)/(-3))/(z/15285) a composite number?
False
Let d be (-8)/((-112)/(-550)) + (-8)/(-28). Is 133881/39 - (2 - (-84)/d) a prime number?
True
Suppose 0 = -185*d + 160*d + 1926725. Is d a composite number?
False
Let f(i) = i**2 - 2*i + 1847. Let b(p) = 3*p**3 - 3*p**2. Let y(u) = -7*u**3 + 7*u**2. Let c(r) = 5*b(r) + 2*y(r). Let h be c(0). Is f(h) a prime number?
True
Is (-12)/102 + -2 + 1960089/51 composite?
False
Let j = -90 + 141. Let u be (-12)/(-18) + 62*j/9. Suppose u = 3*f + 2*l - 875, -4*l = 0. Is f a prime number?
True
Let d(k) = 32*k**2 + 6*k - 871*k**3 - 45 + 436*k**3 - k + 436*k**3. Is d(-14) prime?
True
Let q(f) = -2*f - 63. Let a be q(-34). Suppose -a = -8*v + 9*v, -4*t - 5*v = -31947. Is t composite?
False
Suppose -291616865 = -884*t + 619*t. Is t a composite number?
False
Let d = -365418 - -550439. Is d prime?
True
Let h = 163 - 161. Suppose k - 6*k = -h*g - 1045, 3*k + g = 627. Is k a prime number?
False
Let g be 1/4 + 486897/12. Suppose -5*p = -5*l - 67675, 0*p + 3*l - g = -3*p. Suppose -4*w + p = 5*i + w, 5*w + 8110 = 3*i. Is i composite?
True
Let i = -106 + 110. Let g = 415 - 57. Suppose 374 = i*f - g. Is f composite?
True
Let z = 6516 + -12014. Let g = z + 11997. Is g a prime number?
False
Let k = 4445429 + -2338084. Is k prime?
False
Let a(l) = 5*l**3 + 53*l**2 - 68*l + 60. Let b(o) = 3*o**3 + 35*o**2 - 45*o + 40. Let i(n) = -5*a(n) + 8*b(n). Is i(9) a composite number?
True
Is 205/(-410) - 140974/(-4) a composite number?
True
Let s(q) = q - 22. Let k be s(14). Let x be (-1*24)/(k/(-76)). Let i = x + 377. Is i a composite number?
False
Suppose 3*h + i - 985 = -0*h, 0 = -3*h - 3*i + 993. Let r = 566 - h. Suppose -304 = -v + r. Is v a prime number?
False
Suppose -78*v = -74*v - 39352. Let y = 15089 - v. Is y a prime number?
False
Is (2110/(-20))/((-20)/10520) a composite number?
True
Is (-1212)/(-303)*6446/8 a composite number?
True
Suppose 266*n - 321*n = -810865. Is n a prime number?
False
Let u = 27212 + 9343. Suppose 0 = -10*b + 25*b - u. Is b a composite number?
False
Suppose 5*f - 108270 = -132*c + 127*c, -4*c = -4*f + 86560. Is f prime?
True
Suppose 155979 = 8*o - 760397. Is o a composite number?
False
Let n be 4/(-6) + 2/(-6). Let t be 7/5 + 2/(-15)*3. Is (-4)/n - (-312 - t) composite?
False
Let l = -8125 + 73003. Suppose 22*d - l = -11*d. Is d composite?
True
Suppose 64279 = 3*s + a - 5*a, 4*s + 5*a - 85757 = 0. Is s a composite number?
False
Let m(a) = 5*a**3 - 36*a**2 + 52*a - 29. Let x be m(27). Suppose 0 = 8*w + 3*w - x. Is w prime?
False
Let p = -420 - -147. Let a = 974 + p. Is a composite?
False
Suppose 0 = -r + 3*r + 3*v - 112150, -5*r + 5*v = -280325. Suppose -50*u = -69*u + r. Is u 