Is i a composite number?
True
Let t(a) = -2*a - 9. Let u be t(-3). Let d be ((-1)/3)/(u/(-27)). Is d/(-2)*76/6 prime?
True
Let i = 103 + -94. Suppose -2*v - 1524 = -5*v + 4*l, -3*l = -i. Suppose -4*y + 5*o + v + 857 = 0, 3*o + 1375 = 4*y. Is y prime?
False
Suppose -54770 + 7418 = -3*l. Is l/8 - (-1 + 1) composite?
False
Suppose 9*y - 18 = 11*y. Is 15/10*(-41286)/y a prime number?
False
Is 3*(-13 + 77981 + 1) prime?
False
Let t = 85 + -66. Suppose t*a - 9980 = -2209. Is a a prime number?
True
Let r = 166 + -101. Suppose 4*g + 2*h = -74, -5*g - 45 - r = -h. Is (-14756)/g + (-1)/(-3) a prime number?
False
Let t = -35542 - -74913. Suppose 0 = -18*r + t + 60763. Is r prime?
True
Suppose -8*o + 186215 = -36377. Let t be o/48 + (-1)/(-3). Let g = 1227 - t. Is g a composite number?
False
Let h = 303 - 298. Suppose 3*n + 3*f - 7513 = 2*f, -h*n = -3*f - 12503. Is n a composite number?
False
Let j = 26855 - 1488. Is j prime?
True
Suppose -43217 = -b - 4*k, k = 1592*b - 1593*b + 43214. Is b a prime number?
False
Let c(o) = 11*o**2 - 84 - o + 84. Suppose 10*g = 2 - 22. Is c(g) composite?
True
Let h(j) = j**2 + 9. Let g be h(0). Suppose -6*l + 60 = -g*l. Is (33/(-2))/(35/l - -1) a prime number?
False
Let u(v) = 56*v**2 + 55*v + 115. Is u(-6) composite?
False
Suppose 79*v - 4985377 = 36*v. Is v a composite number?
True
Suppose -2 = 2*s, -5*h - 4*s + 3822 = -2909. Suppose -150 = z + 283. Let d = h + z. Is d a prime number?
False
Suppose -8*c - a = -4512000, 0 = -4*c - 41*a + 40*a + 2255996. Is c prime?
False
Suppose 2*w - 61000 = 3*l + 34203, -l + 190385 = 4*w. Is w a prime number?
False
Suppose 214 = 3*a - p, 160 = 2*a + 4*p + 8. Let g = a + -69. Is (1039/g)/((-2)/(-6)) prime?
True
Let f be (-2 - -2)*(-15 + 16). Suppose -6*i - 11*i + 26605 = f. Is i a prime number?
False
Let a(x) = -180*x**3 - 8*x**2 - 7*x - 5. Let w(k) = 3*k**3 + 3*k**2 + k. Let b(r) = a(r) + 4*w(r). Let g = -8 + 6. Is b(g) composite?
False
Suppose -6*i + 10*i = 3*p + 62009, i + 2*p = 15516. Suppose -y - 4*y - i = -3*v, -3*y = -4*v + 20693. Is v a prime number?
False
Is (-436292)/6*(-16)/96*9 prime?
True
Let x = 15 + -12. Let u be x*(-4)/78 - 67/(-13). Suppose -u*k = -n - 4*n - 4845, 5*n = -3*k + 2939. Is k a composite number?
True
Let k(y) = -y**3 - 16*y**2 + 4. Let o be k(-16). Suppose 5*x - 11 - 1 = 2*d, 2*d = x - o. Let f(h) = -231*h + 2. Is f(d) a composite number?
False
Let r(g) be the second derivative of g**5/4 - 5*g**4/4 - g**3/2 - g**2/2 + 28*g. Let p be r(7). Suppose -2*y + 1363 = 5*q - 528, -5*q = y - p. Is y prime?
False
Let q(j) = 172*j - 91. Let o be q(9). Suppose 0 = -25*k - o + 58632. Is k a composite number?
False
Let u be 6916/(-4) + 2 + 0. Let r = u - -994. Is (r/(-5))/(3/15) composite?
False
Let r(l) = -290*l**3 - 5*l**2 + 8*l + 225. Is r(-7) composite?
True
Suppose 8740803 = 5*m - 2*n + 2692145, 5*m - 6048676 = -n. Is m prime?
False
Let v(u) = u - 5. Let i be v(7). Let s(c) = 3*c**2 + 3 + 13*c + 143*c**3 + 16*c + 16*c - 49*c. Is s(i) composite?
False
Let r(s) = 911*s + 1786*s - 489*s + 209 - 90*s. Is r(5) composite?
False
Let b = 145052 + 597105. Is b a composite number?
True
Suppose 0 = -14*x - 4*f + 374230, -16*f + 20*f + 53466 = 2*x. Is x prime?
True
Let g(w) be the first derivative of 3*w**4/4 + w**3 - w - 24. Let a be g(-1). Is 1/((-5)/2195)*a prime?
True
Suppose 21 + 7 = 14*y. Suppose -4*z + 3*j + 41956 = 7*j, y*z = 4*j + 20966. Is z a prime number?
True
Suppose 0 = b + 2*b - 5*w + 19, -2*w = 3*b + 5. Let i be (2/3)/(b/(-9)). Suppose 7*q = -i*q + 31923. Is q prime?
True
Suppose -7*q = 1406 + 2388. Is 3*(-8)/48*(q + 0) a prime number?
True
Suppose 1496009 = 2*i + 5*c, -6*i - 35*c + 39*c = -4487970. Is i prime?
False
Let l = -12486 + 33972. Suppose 0 = -9*h - 7113 + l. Is h a prime number?
True
Is 4/18 - (20 - 21149142/54) prime?
True
Let z = -40612 - -490925. Is z prime?
False
Suppose s - 11*s = -3*b + 876247, s = -4. Is b prime?
True
Suppose -2*y = 6*y - 8. Let f be 2*y/2 + (218 - 6). Let n = 1568 + f. Is n composite?
True
Let r = -854 + 493. Let h = r + 1099. Suppose 6*k = h + 3048. Is k a composite number?
False
Let w = 18060 - 4493. Is w prime?
True
Let r = 34448 - -8501. Is r prime?
False
Let s(g) = -17*g - 85. Let k be s(-5). Is -2 + k/(-3) + 2239 a prime number?
True
Let j = -3076 + 5659. Suppose 1201 = -5*w - 2*p + 7673, -5*p = -2*w + j. Is w a prime number?
False
Let c = -28 + 33. Suppose c*r = -0*r + 15620. Suppose 5*d - r = -1059. Is d a composite number?
True
Is (-24650 + -5)*(-28)/20 composite?
True
Let f(d) = d**2 + 4*d - 11. Let u be f(4). Suppose -5*w - u - 19 = 0. Let q(o) = -o**3 + 4*o - 11. Is q(w) prime?
False
Suppose 0 = -44*r + 94113 + 72779. Is r a composite number?
False
Suppose 22 = 45*h - 46*h. Let u be (h/(-4))/(-1*4/(-928)). Suppose -4218 + u = -2*p. Is p prime?
True
Let i(b) = b**2 + 19*b + 28. Let p be i(-17). Is (6/p - -5) + 8497 a composite number?
False
Suppose 42*h - 43*h = 12. Let n be -15 + h/(-4) + 1. Let q(y) = -2*y**3 - 15*y**2 - 9*y + 25. Is q(n) composite?
False
Suppose -3*n - 2*w = -4*n - 4, n - 5*w = -16. Let y = -335 + 508. Suppose -123 = -n*j + y. Is j prime?
False
Suppose 10*f = -227634 - 303186. Let q = f - -79165. Is q composite?
False
Suppose 2*j = 6*j - 16. Suppose -j*m = -3*z + 19808 - 4135, 0 = -3*z + 5*m + 15677. Is z a composite number?
True
Suppose 4*i = 5*k - 280, -4*k + 395 = -5*i - 9*k. Is 22276*(i/(-4))/15 a composite number?
True
Let p(f) = 6*f - 13. Let m be p(5). Let r = 26 - m. Is (30/r - 1/3)*101 a prime number?
False
Suppose 228 = 2*x + 4*v, v - 12 = -2*v. Let h be (-9 - 6)/(x/54 + -2). Suppose -h = 3*l - 2304. Is l a prime number?
False
Suppose 6 = -z + 22. Suppose -2*m - 7 + 27 = 2*k, -z = -m + 2*k. Suppose -m*s + 19*s - 14959 = 0. Is s a prime number?
True
Suppose l - 1640 = -63. Is l a prime number?
False
Suppose 0 = -d - 4*j + 12, -5*d = -j - 7 - 11. Suppose -y = 0, -d*r + 2*r = -2*y - 6056. Suppose -3*g + 6911 = -r. Is g prime?
True
Let m(t) = -4415*t - 2238. Is m(-11) a composite number?
False
Let d(i) = 17*i - i**3 - 17*i**2 + 0*i**3 - i**3 + 3*i**3 - 14. Let m be d(16). Is m + 1 + 988/2 a composite number?
True
Suppose 4 = 2*y + n, 4*y - 24 = 4*n - 2*n. Let b be (-1)/y - 45/(-20). Suppose -4*i - 426 = -3*m - i, -2*i - b = 0. Is m composite?
True
Let x(f) = -12*f**2 - 2469*f - 47. Is x(-34) composite?
True
Let o = 122 + -119. Suppose -2275 - 581 = o*k. Let p = 159 - k. Is p a composite number?
True
Is (1277878/84 - 14)*6 composite?
False
Suppose 0 = -p + 5*y + 19, 2*p - 33 = y + 4*y. Suppose -p*j + 125591 = -60987. Is j a composite number?
False
Let b(p) = 86028*p**2 + 197*p + 393. Is b(-2) prime?
True
Suppose 7*j + 47829 = 4*v, -5*j + 6*j = 2*v - 23917. Is v a prime number?
True
Let c(v) = -v**3 + v**2 - 5*v + 4. Let z be c(2). Let t = 360 - z. Suppose -4*k + t + 2074 = 0. Is k composite?
True
Is (7 - (-188915)/(-10))*-2 a composite number?
True
Let z(b) = 22*b**3 + 2*b - 4. Let y be z(2). Let i(g) = y*g + 23 - 14 - 16. Is i(6) prime?
True
Suppose 3*i = -5*m + 162075, 0 = -11*m + 6*m + 2*i + 162075. Let v be ((-6)/(-7))/(4/224). Is v/108 - m/(-27) composite?
False
Suppose 0 = 2*s + 24*s - 104. Suppose -5*r - 5*o = -31845, -1189 = s*r - 3*o - 26693. Is r composite?
False
Let o = 21154 + 126259. Is o a prime number?
False
Let f be 24654 + 0 - (-16 - -10). Suppose -40923 = -2*z + 5*d, -3*z = 3*d - 36714 - f. Is z prime?
False
Let b(h) = -h**2 + 300*h + 76667. Is b(0) a prime number?
True
Let z be (10*-3)/(-6) + (1 - -38). Suppose 41*f - z*f + 72946 = 2*h, 3*f - 109413 = -3*h. Is h a composite number?
False
Let n = -324102 + 708163. Is n composite?
False
Let p be (165/(-4))/((-4)/32*2). Suppose 0 = -3*o, -5*d + 3*o + o + p = 0. Let j = 220 - d. Is j composite?
True
Suppose 5*b - 20 = 0, -5*d + 6709 + 39038 = -2*b. Is d prime?
True
Suppose 4 = 4*h - 3*v + 48, -4*v - 16 = 4*h. Let x be 2 - -1 - (-60)/h*2. Is ((-18)/x + -2)/(1/(-238)) a prime number?
False
Let n(j) = 49650*j**2 - 81*j + 163. Is n(2) a composite number?
True
Suppose -64509832 = 14*n - 6*n - 144*n. Is n a prime number?
True
Suppose 93977 = 5*l - 4*a, -5*a + 10*a = 5*l - 93975. Is l composite?
False
Suppose -66*x + 43*x + 2881601 = 0. Is x a composite number?
False
Let h = 219 + -26. Suppose -u - 2*u + 1467 = 3*j, 0 = 2*u + 3*j -