Is k a composite number?
True
Let i(c) = 147*c - 6. Let t be i(1). Let j = 143 - t. Is (j + -1)/(5/((-71130)/(-6))) a composite number?
False
Let r = -73220 + 207301. Is r a composite number?
False
Let w(p) = -1678*p - 1. Let v be w(-3). Let h(t) = -t**3 + 31*t**2 - 74*t + 482. Let q be h(29). Suppose q*b - v = 11*b. Is b prime?
True
Suppose -8 = t - 5*t. Let j be (1016/(-24))/(t/(-6)). Let z = 618 + j. Is z a prime number?
False
Let z(m) = 5*m**3 - 2*m - 1. Let f be z(-1). Let u be -2 - 57*152/f. Suppose -6*n + u = -2*n + 4*v, 2164 = 4*n - 2*v. Is n prime?
True
Let d(g) be the second derivative of 3*g**5/10 + 3*g**4/2 + 10*g**3 + 15*g**2/2 - 156*g. Is d(11) composite?
True
Let j = -11637 - -22034. Suppose -5*b + 6*w - 11*w = -51985, -j = -b + 4*w. Is b composite?
True
Let j = 214803 - -108398. Is j composite?
False
Suppose 3*m = 5*i - 365, -3*i = -0*m + 3*m - 195. Let w be -237*(4 + i/(-15)). Is (-2 - w/(-8))*4 prime?
True
Let u(q) = 62*q**2 + 24*q - 101. Suppose -5*z = 5*k + 95, 0*z = 5*k - 3*z + 111. Is u(k) prime?
True
Let v = 15079 - 1050. Is v a composite number?
False
Let p = -2673 + 3922. Is p prime?
True
Suppose -k + 57712 = -98953. Is k prime?
False
Let f(c) = c**2 + 19*c + 38. Let o be f(-18). Suppose -80 = 25*y - o*y. Let u(k) = 3*k**2 + 16*k - 25. Is u(y) a prime number?
True
Let s = -48 - -446. Suppose -s = -z - 0*z + 2*r, 4*r + 1966 = 5*z. Suppose 0 = l + 4*t + 10 - 231, 5*t + z = 2*l. Is l composite?
True
Let r(h) = -22 + 13*h**2 - 8*h - 21*h**2 + h**2. Let u be r(-4). Let a = u + 169. Is a prime?
True
Is 238782 + 189 + 1*20 a composite number?
False
Is 2/5 + (-57584475)/(-375) prime?
False
Let y be 3/12 + (-18)/8. Is 230 - (-3 - y - 2) a composite number?
False
Let l(a) = -5*a**3 - a**2 - 4*a + 2. Let u be l(2). Let i = u + 54. Suppose 627 = i*k + 2*p + 3*p, 3*k = -p + 484. Is k composite?
False
Suppose 0 = -3*c - 2*s - 10, c - 5*s = -30 + 4. Is (-18)/(-27) + (-866)/c composite?
True
Is -2*-4*(-2897394)/(-48) composite?
False
Suppose 15687 = 30*t - 27*t. Suppose t = 2*x + 7*x. Is 4/(4/x) - 0 composite?
True
Let r(n) = -13069*n + 5826. Is r(-11) prime?
False
Suppose -430 = -0*c - 5*c. Suppose 0 = -3*w + 4*w + 3*b - 12, b - 28 = -3*w. Let i = c - w. Is i a prime number?
False
Let q be 1/((-1)/(-3034 + 2)). Let b be (-17 + 10)*9/(-21). Suppose q = b*d + 5*d. Is d composite?
False
Let o(z) = -34929*z + 77. Is o(-4) a prime number?
False
Let t = -36 + 39. Suppose -t*g = -97 - 872. Suppose 3*d - 4*m - 362 = 577, d + 2*m = g. Is d a prime number?
True
Suppose -125*g + 4745058 + 12055980 = -3254087. Is g prime?
True
Suppose -305842 = -2*j + 6*u, 4*j - 2*u + 112611 = 724255. Is j composite?
False
Suppose 14*c + 212 + 404 = 0. Let r be 2/((4 + -3)/c). Let o = -74 - r. Is o a composite number?
True
Let g = 40 + -35. Suppose -o = -g*p - 4*o + 27, 0 = 5*p + o - 29. Suppose -p*i + 1905 = -3*i. Is i a composite number?
True
Let k = -9854 + 21429. Is 1 + -3 + 6 - k/(-1) prime?
True
Suppose -2*y - 4*d = -0*y - 27264, -3*y - d = -40881. Let u = y + -8765. Is u a prime number?
True
Let r(v) = -27*v**3 - 35*v**2 + 389*v + 70. Is r(-23) prime?
False
Let f(p) be the first derivative of 960*p**2 + 121*p + 81. Is f(9) prime?
True
Let t be 111 + -116 + (-2)/(2/(-19293)). Suppose -3*g - 4*s - s = -t, 3*s = g - 6406. Is g a prime number?
True
Let v(y) = -56646*y + 1559. Is v(-12) a composite number?
False
Suppose 4*w - 20 = -w. Suppose -w*i + 0*i = 24. Let j(g) = 9*g**2 + g + 5. Is j(i) a prime number?
False
Let z(o) = 1621*o**2 - 4*o + 6. Let i be z(2). Let q = 3137 + i. Is q a composite number?
False
Let u be -105*131*2/(-6). Let s = u - -544. Is s a composite number?
True
Let o(r) = -8*r**3 - 5*r**2 - 34*r + 5. Let x(f) = f**3 + f - 2. Let b(a) = o(a) + 6*x(a). Let c be 0 - 12/1 - 0. Is b(c) a prime number?
False
Let k(d) = 3*d**2 - 6*d. Let b be k(3). Suppose 0 = 12*a - b*a - 4*g - 20727, -5*g - 13811 = -2*a. Is a composite?
True
Let j(v) = -v. Let m = -11 + 9. Let a be j(m). Suppose 38 = -x + 5*d + 176, x - a*d = 153. Is x prime?
True
Let g(x) = -x**3 - 21*x**2 + 6*x - 61. Let h be g(-9). Let j = 5352 + h. Is j composite?
True
Is -4 + 42/11 + (-13120847)/(-319) composite?
False
Let j = -380 - -382. Suppose 0 = -5*o + j*h + 56033, -3*h - 12708 = -2*o + 9703. Is o prime?
False
Let t(d) = 58 - 188 + 2054*d - 577*d + 89 - 195. Is t(13) composite?
True
Let u = 18246 - -4858. Suppose -4*s - 5*z + u = -z, -4*s - z = -23113. Is s a composite number?
False
Let h = 297 + -288. Suppose -9*p - h*p = -187686. Is p prime?
True
Suppose 4*d = 5*d - k - 78982, -5*d + 2*k + 394895 = 0. Is d composite?
False
Let j(o) = -301*o + 1. Let b be (-1 - 2*-1)/(56/(-1232)). Is j(b) composite?
True
Let g(x) = -9*x - 57. Let j = -99 + 86. Let b be g(j). Let p = 73 - b. Is p composite?
False
Let u be 32211/(-18)*(-16)/6. Suppose -z - u = -3*z + 3*j, -10 = -5*j. Suppose 0 = -3*c + 3*f + 626 + 805, 5*c - 4*f - z = 0. Is c composite?
True
Suppose i = -4*q + 28609, -4*q = -49*i + 48*i - 28599. Is q a composite number?
False
Let b(z) = -233514*z - 4393. Is b(-3) prime?
True
Suppose 127*w = 143*w - 144. Suppose 25*l - w*l - 355024 = 0. Is l a composite number?
False
Let n(j) = 99*j + 1907. Is n(0) prime?
True
Let l = 35636 + -25069. Is l a composite number?
False
Suppose -p + 11414 = 5*a, 3*p = -122*a + 118*a + 34209. Is p prime?
True
Suppose -7*g + 140601 = -19335. Suppose -i = 4*l - 22840, -19*i + 20*i + g = 4*l. Is l composite?
False
Let i(x) = -1086*x - 115. Let r(n) = n - 1. Let u(q) = i(q) - 4*r(q). Is u(-4) composite?
True
Let m(g) = 104*g + 74. Is m(22) composite?
True
Let d(g) = 5*g + 10. Let i(k) = 9*k + 19. Let q(a) = 9*d(a) - 4*i(a). Let v be q(4). Suppose 2*u = 216 - v. Is u a composite number?
False
Suppose -5*k + 51149 = 4*c, 0 = -13*c + 10*c + 3*k + 38328. Is c composite?
False
Let r(y) = y**3 + y**2. Let p(g) = -12*g**3 + 3*g**2 + 4*g - 2. Let o(b) = -p(b) + 3*r(b). Let i be o(1). Let w = i - -2266. Is w a prime number?
False
Is (2 + 10/25 - 2) + (-194957475)/(-375) a prime number?
False
Let c = 209325 + -55742. Is c a prime number?
False
Suppose 3*t = 5*l + 90435 + 719527, -t - 5*l = -269994. Is t a prime number?
False
Suppose 3*m + 4*i = 456059, -10*m - 8*i + 456055 = -7*m. Is m prime?
False
Let t(n) = 2*n**2 - 23*n - 18. Let x be t(12). Let m be 18/(-4)*-1*(-8)/x. Let g(l) = 288*l - 71. Is g(m) a composite number?
False
Suppose 4*z - 22 = 414. Let b = z - 102. Suppose 0 = 8*l - b*l - 2815. Is l prime?
False
Suppose -362*j + 361*j + 22332 = 0. Let q = j - 2779. Is q prime?
True
Let d = -1469214 + 2132731. Is d composite?
False
Suppose 5*h - 13601 - 22153 = 3*c, 4*h - 28618 = -5*c. Let u = h + -3245. Is u prime?
True
Suppose -4*l = -7*l + 261. Let m = l + -83. Suppose 102 = 3*c + 5*j - 367, 0 = m*c + j - 631. Is c a composite number?
True
Suppose 55*b - 59*b = -2*a + 7186, 0 = -2*a + 3*b + 7184. Is a prime?
False
Let c(x) = -2*x**3 + 3*x**2 - 3*x - 5. Let w be c(-7). Suppose 25 = -4*o + w. Let t = o + -85. Is t a prime number?
False
Let b(x) = x**3 + 9*x**2 - 5*x - 36. Let i be b(-9). Let m(n) = 36*n - 22. Is m(i) composite?
True
Let c be (-4)/(6/(-180)*1). Suppose c*r + 40295 = 125*r. Is r prime?
True
Suppose 0 = 128*d - 131*d + 128697. Is d a prime number?
True
Let c be 1198/10 - 2/(-10). Suppose 122*i - 8530 = c*i. Is i a composite number?
True
Let b be 2/8 - (-13)/(-4) - -10. Let k(w) = 10*w**3 - 6*w**2 - 28*w - 1. Is k(b) prime?
True
Let d = 78070 - 50489. Is d a composite number?
False
Let v = -64 + 67. Suppose 3*l - 19403 = -a, -3*l + 2*l = -v*a - 6481. Is l prime?
True
Let y(m) = -203*m - 4. Let s be ((-50)/(-30) + (-1 - 1))*-21. Suppose 0 = s*r - r + 6. Is y(r) composite?
False
Let s(g) = 51*g**3 + 44*g**3 + 9*g - 5 + 5*g**2 - 10*g**2 + 30*g**3. Is s(2) a composite number?
True
Let x(n) = -n**3 - 10*n**2 - 24*n + 11. Let z be x(-6). Is ((-6)/4)/(z/(192786/(-9))) a prime number?
False
Let m = -500588 + 770835. Is m prime?
False
Suppose -4*q + 11 + 5 = 4*h, 0 = -5*h + q - 4. Let u = 14 - h. Suppose -u*g + 7*g + 1673 = 0. Is g a composite number?
False
Let n = -37067 + 54229. Suppose -s - x - 2224 = -n, s = -2*x + 14937. Is s composite?
False
Let h(c) = 1113*c**3 - 5*c**2 + 11*c - 5. Let w(q) = q**2 + 30*q + 193. Let s be w(-21). Is h(s) a prime number?
Tr