t a prime number?
True
Suppose 3*m + 2*m = 1600. Suppose -m = -20*n + 660. Is n composite?
True
Suppose 4*o - 5*m - 173581 = 0, -77*o = -78*o - 5*m + 43414. Is o prime?
True
Let g = 6359 + 125222. Is g composite?
False
Suppose -3149611 = -1733*k + 1714*k. Is k a composite number?
True
Let i(o) = 964*o - 239. Is i(16) prime?
False
Suppose -5*s + 3*p + 18 + 1 = 0, -3*p = -4*s + 17. Is 3/((4/s)/2) a composite number?
False
Let n = -24337 + 39734. Let q = n - 8798. Is q composite?
False
Suppose 11 = -2*a + 7. Suppose 3*i + 2*c = c + 985, -662 = -2*i + 2*c. Let s = i - a. Is s prime?
True
Let h be (((-36)/(-15))/2)/((-6)/(-20)). Suppose 10*f = -h*f + 280. Suppose -14*x - 1884 = -f*x. Is x a prime number?
False
Let g be 6/2*((-16)/(-12))/1. Suppose -6*u - 3*u + g*u = 0. Suppose -3*s = 2*n - 12765, 7*s - 6*s + 5*n - 4268 = u. Is s composite?
False
Is (-34288940)/(-630) + 3/27 prime?
False
Let v = -2136 - 409. Let p = 252 - v. Is p composite?
False
Suppose 106*p = 11*p + 5026165. Is p composite?
True
Let z be (-70564)/(-39) + (-1)/3. Let j = z + -1231. Let o = j + -181. Is o a composite number?
False
Let c(q) = -q**3 - 11*q**2 - 25*q - 5. Let n be c(-8). Let k(l) = 266*l**3 - 3*l**2 - l - 1. Is k(n) prime?
True
Let k be 15/(-40) - (-9)/24 - -1531. Suppose 3*t = -2*i + 794 + 353, 4*t = -3*i + k. Is t prime?
True
Let f = -72 - -68. Is 34*-131*f/8 prime?
False
Let o = 1202 + -596. Suppose -3*f + 0*f = 5*q - o, 0 = -f + 5*q + 202. Let u = 495 - f. Is u a prime number?
True
Let o be (0 + 18048)*(1 - 2)/(-1). Suppose 9*p - 1401 - o = 0. Is p composite?
False
Let h(c) = -55*c**2 + 216*c + 7. Let d be h(4). Let g = 2 + 1. Is (d - 668)/(g/(-3)) a composite number?
False
Let h(b) = 455*b**2 + 8*b. Let t be h(-6). Is (-5)/2*t/(-30) a prime number?
True
Suppose -r = -5742 - 11869. Is r a composite number?
True
Suppose 2*p - 35 = -s, 0 = -5*p + 5*s - 2 + 82. Let k(w) = -3*w**2 - 4*w - 27. Let n(d) = -2*d**2 - 2*d - 13. Let j(x) = 2*k(x) - 5*n(x). Is j(p) composite?
False
Suppose -j = 73*c - 69*c - 162554, c + 4*j - 40661 = 0. Is c a prime number?
True
Let c(o) = 3127*o**2 + 4*o - 4. Let j = -287 + 288. Is c(j) a composite number?
True
Let n(i) be the second derivative of 201*i**3/2 + 8*i**2 - i + 36. Is n(5) a prime number?
False
Let p = 1944251 - 1151464. Is p a composite number?
True
Let j(l) be the second derivative of -l**6/60 - l**5/60 + 551*l**3/6 - l**2/2 - 9*l. Let q(a) be the first derivative of j(a). Is q(0) composite?
True
Suppose 13*o + 23*o = 202104. Suppose -1285*b + 1287*b = o. Is b a composite number?
True
Suppose 59*d - 13*d - 899438 = 0. Is d prime?
True
Suppose -1868673 = -59*c + 12015974. Is c a composite number?
True
Suppose 3964476 = 75*i - 28*i - 35*i. Is i composite?
True
Suppose -4*n - 175*o = -180*o - 547464, 0 = -2*n + o + 273738. Is n composite?
True
Is (-29132*(-9)/72)/(4/8) a composite number?
False
Let r(p) = 7415*p**2 - 508*p + 10. Is r(-6) prime?
False
Let a(y) = -137*y + 4. Let o(s) be the third derivative of -137*s**4/12 + 3*s**3/2 - 20*s**2. Let t(i) = -5*a(i) + 2*o(i). Is t(15) prime?
True
Let j = 255698 - -77175. Is j a prime number?
True
Let q(b) = 44*b + 104. Let l be q(-28). Let n = l - -1999. Is n a prime number?
False
Suppose 266*h = 262*h + 546764. Is h a composite number?
False
Suppose -5*c = -4*b, b = 19*c - 14*c. Suppose 10*r - 15*r + 46445 = b. Is r a prime number?
False
Suppose -2*v + 4*v + 6088 = 4*z, 0 = -z - v + 1516. Let i(c) = -3*c**2 + 6*c + 13. Let u be i(-14). Let q = z - u. Is q a prime number?
True
Suppose 2*f + 102 = 4*s - 68, -s - f = -47. Let d be 1/(68/s*2 - 3). Suppose d*k - 8*k - 402 = 0. Is k a prime number?
False
Suppose -46*x + 239033 = -295131 - 137022. Is x prime?
True
Suppose -2*y - 6*n + 2*n + 81964 = 0, -40980 = -y - 4*n. Suppose 29*l - 21*l = y. Is l composite?
True
Suppose -48*a = -49*a + 18. Suppose -138281 = 5*t - a*t. Is t a prime number?
False
Let o(b) = 250*b**2 + 6*b + 13. Is o(9) composite?
True
Suppose -13*m + 109382 = -0*m. Let h(i) = i**2 + 7*i + 14. Let x be h(-7). Suppose x*y - 9212 = m. Is y a composite number?
False
Suppose 0 = -56*r + 62*r - 30. Suppose -2*f = -2*i - 2308, 6*f - 2*f - r*i = 4619. Is f a prime number?
True
Let a = -49062 + 27273. Let w = -12128 - a. Is w composite?
False
Suppose -15*l + 12*l + 230307 = 3*a, 153534 = 2*l + 4*a. Is l composite?
False
Suppose 142*g + 7*g - 17281702 = 2856989. Is g a composite number?
True
Let s(c) be the second derivative of 53*c**3 - 3*c**2/2 + 19*c. Let l be s(2). Let y = 296 + l. Is y composite?
False
Suppose 0 = -5*w - 35 + 60. Suppose -402 = r + 3*c, -4*r - 1580 = w*c + 21. Let t = 848 + r. Is t a prime number?
True
Let d(i) = -38764*i - 3401. Is d(-7) a prime number?
False
Is 768/3072*(1831269 + -1) prime?
True
Suppose -10853 + 2453 = 8*c. Let j = 2053 + c. Suppose 2*f - 1990 = 2*s, -s = -f + 4*s + j. Is f composite?
True
Suppose -3*k = -4*i - 51, 66 = -4*i + 5*k + 5. Let c = -16 - i. Is 6105/21 - 2/c a composite number?
True
Suppose 12*d = -9 + 69. Suppose 4*q - 7*a - 40132 = -11*a, d*a = 0. Is q a prime number?
False
Suppose -31*u + 1398256 + 2797036 + 2328255 = 0. Is u prime?
True
Let a be 9/((-18)/(-2020)) - -1. Suppose 3*t - 2*d - 371 = 0, a = 5*t + 3*d + 418. Suppose -u - 3*s + 139 = 0, -2*u + 129 = -s - t. Is u a prime number?
True
Let l = -92 + 93. Let k be l - (3 - 7*310). Let d = k + 1617. Is d composite?
True
Let a be ((-366905)/15)/((-1)/27). Is a/66 - (-2)/4 a composite number?
False
Let d(v) = 102*v**3 + 2*v**2 + 6*v + 4. Let i = -23 + 29. Let j be d(i). Suppose 5*z + 6129 = j. Is z a composite number?
False
Let u = -28 + 27. Let f be 0/((-4 - u)/(-3)). Suppose f = -4*q + 8, -i + 331 = 4*q - 3*q. Is i a prime number?
False
Suppose 0 = 3*p - 5*p + 6. Suppose s - 5*o - 15 = 7, p*s - o + 4 = 0. Is s/(-9) - 26844/(-9) a composite number?
True
Let x(t) = 3*t + 11. Let g be x(-3). Let k be -5*2*5/(-10). Suppose 4571 = r - k*l + 2*l, g*l = 5*r - 22907. Is r prime?
True
Suppose -3*h - 987 = -5*p + 243, 5*p = h + 1240. Is 2/((-492)/p - -2) a prime number?
True
Let z be -193541*((-1)/5)/(11/55). Suppose 68149 = -16*q + z. Is q a prime number?
False
Suppose -15*s = 11*s - 780. Is (14 - (-2994)/s)/(1/185) a composite number?
True
Suppose -2*h - 2080460 = -17*h + 993235. Is h a prime number?
True
Let z(g) = 8*g - 140. Let c be z(18). Let h(f) = 86*f**2 - 5*f + 17. Is h(c) a prime number?
True
Suppose 16*g - 22*g - 22*g + 5713932 = 0. Is g a prime number?
False
Let o be (-162)/108*-18*5/1. Suppose 125*d - o*d + 12010 = 0. Is d composite?
False
Let h(t) = 72*t**2 - 2. Let p(z) = z + 6. Let g be p(-3). Let w be h(g). Suppose -526 = -4*s + w. Is s prime?
True
Suppose l = 3, -284976 = -5*b + l + 353206. Is b a prime number?
True
Let u(n) = 33*n + 74. Let k be u(-3). Is (-480)/k - 9/45 prime?
True
Let o = 141 - 241. Let w be 2018/(((-8)/o*5)/3). Suppose -4*g = 11*g - w. Is g composite?
False
Suppose 344*p - 6140489 = 123*p + 12831698. Is p a prime number?
True
Suppose 3*s = 5*j - 163253, 0 = 35*j - 37*j + 3*s + 65312. Is j prime?
True
Let r be 7 + 2*5/10. Is 1703325/156 - (-2 - (-14)/r) a composite number?
True
Let q be (734/3)/(34/3009). Suppose -5*k + q = -f - 8168, 0 = -2*k - 2*f + 11938. Is k composite?
True
Let x = 135 + -150. Let m(f) = -1149*f - 68. Is m(x) composite?
False
Suppose 2*f = -8*l + 1311722, -5*f + 779677 + 2499772 = 4*l. Is f prime?
False
Is (-1)/(-7*3/(-2468109)*-1) a prime number?
True
Suppose -7 = 5*p - 2, p - 106411 = -4*n. Is n prime?
False
Let y(z) = 66*z - 72. Let q be y(22). Let n = 4601 + q. Is n a composite number?
False
Let h(x) = 5*x**2 - 282*x - 3. Is h(-56) composite?
False
Let k(b) be the second derivative of -5*b**3/2 - 27*b**2/2 - 35*b. Let d be k(-2). Is (d + 0 + -2)/1 + 2040 a composite number?
True
Suppose 3*p - 12*p + 162 = 0. Suppose p = -n + 4*n. Is (n - 7)/((-1)/877) a composite number?
False
Let i = -90 + 92. Let d(f) = 376*f**3 + 2*f**2 + 3*f - 3. Is d(i) composite?
False
Suppose 0 = -15*p + 10*p + 15*p - 1491740. Is p a composite number?
True
Suppose 5*v + 4*d = -242, -5*v + d - 108 = 144. Let a = v + 56. Is ((-52)/a)/((-18)/783) prime?
False
Let o = -20818 - -43212. Is o prime?
False
Let y be (-2)/((-2)/(-5)) - -2. Suppose 14*r + 20 = -176. Let x = y - r. Is x composite?
False