 Is n a composite number?
True
Let w = 274 + -270. Suppose -x - 10438 = -4*m, 9*m - 4*x = w*m + 13053. Is m a prime number?
True
Suppose -1270 = 5*z + 795. Let o = 599 - -17. Let n = o + z. Is n a prime number?
False
Suppose -11*y = 11*y + 66. Let w(z) = 240*z**2 - 2*z + 1. Is w(y) a composite number?
True
Let b(o) = -o**3 - 6*o**2 - 2*o + 9. Let w be b(-5). Is (8 + 28087)/3 - w prime?
True
Suppose -2*a + 110301 = -406081. Suppose -22*j + 41*j = a. Is j prime?
False
Is (64986/(-24))/(5 + (-105)/20) a composite number?
False
Suppose 74*m - 28*m - 14251766 = 0. Is m a composite number?
True
Let l = -203101 - -289710. Is l a composite number?
True
Suppose -25505 = -6*c + 48463. Suppose -4*n + c = 4*q, -4*n = -4*q + 10058 + 2246. Is q a composite number?
False
Suppose 0 = 5*f - 0*f + v + 24, 8 = -2*v. Is 4/(-12)*-13863*(f - -5) a composite number?
False
Let f(n) = -n**2 + 6*n + 15. Let z be f(6). Suppose 3*x = -2*x + z. Suppose -3*y + 2*m = 4*m - 3827, -x*m = -y + 1294. Is y a composite number?
False
Suppose 196 = -15*f + 13*f. Let x = f + 103. Is (-1)/5 + 12146/x composite?
True
Let k(c) be the third derivative of -21*c**4/8 + 4*c**3 + c**2. Suppose -2*x = 4*f - 196 + 222, 0 = x + 3. Is k(f) composite?
True
Let v(n) be the first derivative of n**3/3 - 11*n**2/2 + 38015*n - 189. Is v(0) a composite number?
True
Let c(v) = -v - 44*v - 6 + 0 + 0*v. Let k be c(7). Let o = 764 + k. Is o prime?
True
Let f be 18335 - (12/(-28) + 72/(-28)). Suppose 0 = 23*a - f - 6893. Is a composite?
False
Suppose 10*o = 5*y + 5*o - 795, -4*y - 3*o + 671 = 0. Suppose 0 = -y*w + 166*w - 7186. Is w a composite number?
False
Let l(z) = 3*z - 3. Let g be l(3). Let d(q) be the first derivative of 4*q**3/3 + 4*q**2 - 14*q + 113. Is d(g) a prime number?
False
Suppose 0 = -2*n + 6, n - 7 = -2*i - 0*n. Suppose i*h + 4982 + 1566 = 0. Let f = h + 5905. Is f prime?
False
Let w(k) = 3*k**2 - 2*k - 20. Let o be w(-4). Suppose 5*c - v - 261 = o, -4*v + 169 = 3*c. Is c a composite number?
False
Let d = 13783 - 12602. Is d composite?
False
Let a = 619380 + -385453. Is a a prime number?
False
Let v = -2371 - -5897. Suppose -7*u + 3*u + 2*p = -v, -15 = -3*p. Suppose 3*h - 7*h = -3*w - u, -3*h + 663 = w. Is h composite?
True
Suppose 2*y = -2*q + 16, -5 = y - 5*y + 5*q. Suppose -3*j + 12160 = 5*d, y*d + 25*j = 21*j + 12155. Is d a prime number?
False
Suppose 3*m + 4*q = -m, 5*m = 2*q + 21. Let n be -1*(-2)/((-2)/m) - 2. Is n/(1530/(-1527) - 2/(-2)) a composite number?
True
Let u(g) = 5*g**2 + 2*g + 5. Let f be u(-2). Suppose -7*c + f = -0. Is -1*(1931 + c)/(6/(-3)) a composite number?
False
Let i(b) = 2240*b - 439. Is i(10) composite?
False
Let f(r) = 27 + 2200*r + 897*r + 998*r + 3090*r - 1693*r. Is f(3) composite?
True
Suppose -4*q + 0*q + 3*f = 12439, 3*q + 5*f = -9322. Let r = q + 9992. Is r composite?
False
Suppose -w + r - 3516 = -r, 3*w + r = -10520. Let v = w + 5691. Is v composite?
True
Let u = 91 + -97. Let b(r) = r**2 + r + 1. Let g(v) = v**3 + 13*v**2 + 4*v + 5. Let q(h) = -6*b(h) + g(h). Is q(u) a prime number?
True
Let o = -224502 - -366211. Is o a prime number?
True
Let q = 69 + -39. Let s be (1*-2)/(1 + q/(-25)). Let k(z) = 23*z + 23. Is k(s) a prime number?
False
Suppose -4*z = 0, -2*d = z - 1236 - 1288. Let j = d + -385. Is j prime?
True
Let r(w) = 33*w**2 - 19*w - 85. Let v(n) = n**2 - 26*n - 77. Let z be v(27). Is r(z) prime?
False
Let f(u) = -16*u**2 + 2 + 7*u + 20*u**3 + 3*u**2 - u. Let j be f(-6). Is (-42)/231 - j/22 composite?
True
Suppose -495*s = -496*s + 197. Let f = 499 + -350. Let x = f + s. Is x a composite number?
True
Suppose 27*c + 34*c - 33245 = 0. Suppose 2*o + 219 = -3*t - 2*t, -3*o + 5*t = 291. Let u = c + o. Is u prime?
True
Suppose 0 = c + 5*q + 10 - 5, -2*c - 5*q = 5. Suppose -i - 4*i + 10 = c, 7835 = 3*s + 4*i. Is s a composite number?
False
Let d(m) = -m**3 - m**2 + 2*m + 6. Let g be d(-2). Suppose -g*y = -9*y + 108. Is (1082/(-8))/((-9)/y) a prime number?
True
Suppose 6145422 - 212770 = 44*n. Suppose 43279 = -6*m + n. Is m prime?
True
Suppose 8*m - 5*m = -4*m. Suppose -3*p = f - 397, m = p - 6*p + 10. Is f a prime number?
False
Suppose -8*n - 13 = 5*n. Is 674*n*10/(-20) a composite number?
False
Suppose 0 = -2*b - 5*l + 609107, 24*b - 2*l = 18*b + 1827440. Is b composite?
True
Suppose -9*h - 81 = 0, -8*h + 1223422 = 2*t - 12*h. Is t composite?
False
Let n = -204 - -207. Is (n - 2)/(15/297615) a composite number?
False
Suppose 3*r = 4*r + 3928. Suppose 0 = -4*d, 3*d = -3*v + 1410 - 7437. Let t = v - r. Is t a composite number?
True
Let m(f) = f**3 + 2*f**2 - 2*f + 4. Let x be m(-4). Let c be (x/(-8) - 1)*8/3. Suppose -3 = -w + c*w, -4078 = -5*k + 3*w. Is k composite?
True
Let n = 11 - 8. Suppose n*o + 625 = 5*u - 356, 5*o - 5*u = -1635. Let i = o + 550. Is i a composite number?
False
Suppose -4*h + 3 = -41. Let u(l) = -2919*l - 2*l**3 + 2911*l + 3*l**3 - 52*l**2 - 27 + 53*l**2. Is u(h) composite?
True
Let d(j) = -j**3 - j**2 - j. Let v(r) = 37*r**3 + r**2 - r - 2. Let z(a) = -3*d(a) - v(a). Let o(t) = -t**3 - t**2 - 2. Let s be o(0). Is z(s) prime?
False
Is ((51/2)/(-17))/((-9)/49866) composite?
False
Let p(o) = -4*o**2 - 53*o - 6. Let z be p(-13). Is (1 - 1362)/(-6 + -2 + z) a prime number?
True
Let c(b) be the first derivative of 43*b**2/2 - 4*b + 17. Is c(11) a prime number?
False
Suppose 7*x - 6*x = -3*y + 16, 4*y - 13 = -3*x. Is y/((-56)/(-76796)) + 6/4 prime?
True
Suppose 10 = u + 5*m, -3*u - 4*m - 14 = -0. Let k be ((-18)/(-15))/((-4)/u). Suppose k*l = 58 + 1847. Is l a composite number?
True
Suppose 3*l - 4*g = -4 + 1, -2*l + 3*g = 3. Suppose 3*x - 9 = 0, l*x + 0*x + 8521 = 5*f. Is f prime?
False
Let f(u) = 3987*u - 523. Is f(16) composite?
True
Suppose 2*b + y = 0, -2*b - 4 = 2*b + 3*y. Suppose 0 = -s - 3*h + 201, -2*h + 417 = b*s + h. Let a = s + -151. Is a composite?
True
Suppose -11*q + 8 = -14. Suppose 4*m + 16 = 5*u, m = -q*u - 4*m + 13. Suppose 5*b = u*f - f - 3211, 0 = 4*f + 5*b - 4328. Is f a composite number?
True
Suppose -6*w - 6*w = -684. Suppose w*f - 59*f + 51778 = 0. Is f a composite number?
False
Let s = 20502 + -14389. Is s a prime number?
True
Let u(p) = -3*p - 142 + 143 + 191*p**2 - p - 22*p**2. Is u(-4) a prime number?
False
Let y(z) be the first derivative of -z**4/4 - 2*z**3 - 2*z**2 - 5*z - 7. Let d be y(-5). Is (2396/2)/(d + 12) prime?
True
Let u = 247 - 253. Is (-459581)/u + 12/72 prime?
True
Suppose 5*f = -6*u + 9*u + 1532, 0 = -3*u - f - 1544. Is 20/8*-2 - u prime?
True
Let l(y) = y. Let a(i) = -3*i + 1. Let c(t) = a(t) + l(t). Let k be c(4). Is 14/k + 17*29 composite?
False
Let i(t) = -2*t**3 + 2*t**2 + 6*t - 1. Let j be i(-2). Suppose 0 = -j*d + 16*d - 8265. Suppose -86 = l - d. Is l a prime number?
True
Suppose 0 = -1690*g + 1684*g + 263598. Is g a composite number?
False
Suppose -4*w - 5*b = -0*w + 7, 3*w + 2*b = -14. Let j(o) = -2*o**3 + 351 + 2*o**2 - 714 + 356 + o**2 + 5*o + 3*o**2. Is j(w) a prime number?
True
Let v(z) = z - 1. Let h(n) = -2539*n + 36. Let f(g) = h(g) + 3*v(g). Is f(-5) a prime number?
True
Suppose 8 = 5*d + 2*c, 5*d + 0*c - c + 4 = 0. Suppose d = s - 5*s + 36. Let k(f) = 2*f**3 - 11*f**2 - 13*f - 1. Is k(s) composite?
False
Suppose 0 = -a + 5*v + 1826, -9*a + 7304 = -5*a - v. Let c = a + -1083. Is c a prime number?
True
Suppose -10*s - 26086 + 75896 = 0. Is s a prime number?
False
Suppose 0 = 39*m - 9*m. Let i(a) = a**2 - 3*a + 1931. Is i(m) a prime number?
True
Suppose -2*g = -7*g - 20, 2*o - 147382 = 9*g. Is o composite?
False
Suppose 0 = -l - 0*b - 4*b - 10, -4*l = -b - 45. Suppose l*v - 104 = 2*v. Suppose 24932 = v*j - 22791. Is j prime?
True
Let a = 1479 + -144. Let z be (-4)/14 + (-6410)/7. Let m = a + z. Is m a composite number?
False
Suppose 2 - 12 = 5*v. Let b be (v/2)/((-8)/360). Let u = 112 - b. Is u a composite number?
False
Suppose -5*m + 10*r - 5*r + 369710 = 0, 5*m + 2*r = 369689. Is m a prime number?
True
Suppose 10*g - 21*g = -90*g + 11452709. Is g a composite number?
True
Suppose 11 = b + 12. Is 1/(b/14671)*-1 prime?
False
Suppose 0 = g - 0*g - 4. Suppose -4*j + 32 = g*r - j, -5*r + 37 = 3*j. Suppose -4*b + r*b - o - 1042 = 0, -3 = o. Is b composite?
False
Suppose 12*x = 5*x - 112. Let g(i) = i**3 + 20*i**2 - 7*i - 17. Is g(x) prime?
False
Let h(b) = 2*b**3 - 8*b**2 