
Let d = 2721 - 2674. Is d a prime number?
True
Let b(h) = 2*h - 143 + 127 + h**3 + 8*h**2 - 2*h**3 + 0*h**3. Let w be b(8). Suppose 4*j + 2*x - 2230 = w, -j - 3*x = j - 1117. Is j composite?
False
Let r(o) = o**3 - 34*o**2 + 64*o + 3. Let k be r(32). Suppose -4*i + v = -11353, i - k*v - 185 = 2645. Is i composite?
True
Let n = 1876741 - 549164. Is n prime?
True
Let n(a) = 10*a - 62. Let x be n(6). Let k(f) = -211*f**3 - 4*f - 3. Is k(x) a composite number?
False
Suppose 780027 = -3191*i + 3196*i - 2*t, -i + 156019 = 3*t. Is i prime?
True
Let y = 40 - 37. Suppose 6*u - 9 = y*u. Is (4 - u)/(1/449) composite?
False
Suppose 15*a + 30984778 = 48*a + a. Is a a prime number?
False
Let c(t) = 5 + 93*t**2 - 48*t**2 - 42*t**2 - 7*t + 285*t**3 - 91*t**3. Is c(2) a prime number?
False
Let p = -15803 - -27479. Suppose -36*o + 37*o = k + p, 0 = -o + 2*k + 11674. Is o prime?
False
Let t(i) = -3271*i + 621. Is t(-12) a prime number?
False
Let f = -1285 + 1291. Let h(m) be the second derivative of 58*m**3/3 + 3*m**2/2 + m. Is h(f) composite?
True
Let o(v) = v + 26. Let m be o(-14). Let q = 4 + 0. Is 547 - (-2)/((m/(-3))/q) composite?
True
Suppose -4*o - 4*j + 10408 = 0, 7811 = 3*o + 2*j - 4*j. Suppose -318 = -y + o. Is y composite?
True
Suppose -f - 96467 = -3*g - 6*f, 5*g = 5*f + 160805. Is g a prime number?
True
Is (-1930883)/(-11) + 156/858 prime?
False
Suppose -a + 3117 = -2067. Suppose 1044 = q - 5*o, -3*q + a = 4*o + 2071. Is q composite?
False
Suppose -1156085 = -3*q - 4*n, q - 385375 = 26*n - 29*n. Is q prime?
True
Suppose 0*z = -3*z - 4*u + 6074, -2*z + 4040 = -2*u. Let i = z + -1092. Suppose -6785 - i = -5*b. Is b composite?
False
Let q = 158815 - 101600. Is q composite?
True
Suppose 336607 = 32*g - 9184904 - 2890873. Is g composite?
True
Let g = 29 + -27. Suppose 0 = -g*l - 3*l - 25. Is -1*4/2 + l + 228 a prime number?
False
Let c(n) = 255*n**2 + 2*n - 1. Let f(g) = -g**2 - 9*g - 17. Let s be f(-4). Let t be c(s). Is (t/(-15) + 1)*-3 a prime number?
True
Suppose -z + 3*x + 68326 = 0, -38*x + 40*x = 2*z - 136632. Is z composite?
False
Let k(h) = 9365*h + 674. Is k(31) composite?
True
Let a = 19937 - 9244. Let l = a + -3329. Is ((-6)/4)/((-6)/l) prime?
False
Let y(n) = 3*n**2 + 17*n - 11. Let u be y(-6). Is (-596)/(-3) - 5 - u/15 composite?
True
Let t be (-8580)/(-3) + (-2 + 0)/2. Let k = 3791 + -1835. Suppose 5*g = 3*n - 901 + t, k = 5*g - n. Is g composite?
True
Let f = -116934 - -287513. Is f a prime number?
True
Let s = -6648 + 13067. Suppose -10 = 5*c, -b = -8*c + 9*c - s. Is b a prime number?
True
Let t be (-28)/(-6)*(-198)/44. Let x be (-3 - 57/t)*-14 - 1. Is (1759/x + 0)/(20/60) composite?
False
Suppose 28*j = 24*j - 424. Let u = 71 + j. Is 1/((-10)/u*2/892) a prime number?
False
Is 1/((-24)/(-12100305)) - (-57)/(-2432)*16 prime?
False
Let w(d) = 46*d**2 - 4*d + 3. Let i(x) = x**3 - x**2 - 1. Let j be i(2). Let o be w(j). Suppose c + c - 538 = -4*v, 2*c = -3*v + o. Is v prime?
False
Let v(t) = -2*t**3 + 3*t - 9 - t**3 - 1162*t**2 + 1160*t**2. Let o be v(6). Let m = o - -1342. Is m prime?
True
Let s = -1882 - -5618. Let b = -555 + s. Is b prime?
True
Let k(v) = -v - 1. Let y(c) = 232*c - 34. Let r(q) = 2*k(q) - y(q). Let h be r(-26). Suppose -13*g + h = -9*g. Is g composite?
True
Let d be (-6)/(-4)*(-4)/(-1). Suppose 3*w - d - 3 = 0. Suppose -b = -4*i - 385 + 54, -i = -w*b + 1004. Is b composite?
True
Let m = 35982 + 329087. Is m composite?
False
Let a be 5*1 - (0 - -512)*-61. Suppose 0*m + 5*m = -4*f + a, m - 6236 = 3*f. Is m prime?
False
Is 151546 - (13 + 88/(-11)) prime?
False
Suppose 0 = 64*g - 58*g - 642. Suppose 93*m = g*m - 27076. Is m prime?
False
Suppose 63*i + 17836 = 78*i + 6031. Is i a composite number?
False
Is ((-240)/(-375))/(-8) - 828954/(-50) prime?
False
Suppose -8*u = -3579410 - 5790998. Is u a composite number?
False
Let p(l) = -l**3 - 5*l**2 + 15*l + 10747. Is p(0) composite?
True
Suppose 5*q - 2*h - 30 = 0, q - 6*h + 5*h = 3. Is (q - (13 - 1)) + (8556 - -1) a composite number?
True
Let d(h) = 112*h + 79. Let k = -1 - -16. Is d(k) prime?
True
Suppose -2*b - 11 = -3. Let p(k) = -k**2 + 13*k - 27. Let y be p(11). Is -2 + 819/(b - y) a prime number?
False
Let x(q) = 117*q + 50. Let o be x(5). Suppose -n - t + 483 = -148, n - t = o. Is n composite?
True
Is (-11126)/(((-1)/(-2))/((-7)/28)) prime?
True
Suppose -132645 + 515794 = 13*p. Is p a composite number?
False
Suppose -5*y + u - 9 = 0, 3*y = 6*u - 9*u + 9. Let k(d) = 752*d**2 - 3*d - 2. Is k(y) prime?
False
Suppose 0 = f - 4*f + 675. Let r = 206 + f. Let j = -84 + r. Is j a prime number?
True
Let i = 63900 - 31171. Is i a composite number?
True
Let t(q) = q**3 + 12*q**2 + 13*q - 3. Let s = 46 - 57. Let c be t(s). Is -12 - -8 - c*1 a prime number?
False
Let b(s) be the first derivative of 2*s**5/15 - s**4/12 - 5*s**3/6 + 29*s**2/2 - 10. Let h(q) be the second derivative of b(q). Is h(4) prime?
False
Is (5/(-20))/((-6)/8)*-1*-525057 composite?
True
Suppose -780*q - 129887 = -781*q. Is q a prime number?
True
Is 15/((-975)/10) + 15358665/65 composite?
False
Let m be 9918/(-29) - (-7)/1. Let u = 3166 + m. Is u prime?
False
Let k = 23 + -21. Suppose -6*j + k*j + 48 = 0. Suppose -1 = s - j. Is s composite?
False
Let t = 110 - 105. Let p be -5 + -2 + (-3)/(-3). Is (2722/t)/(p/(-15)) prime?
True
Let a(f) = 3*f**3 + 10*f**2 - 11*f + 18. Let u be a(14). Suppose 2311 = -x - u. Let l = -8370 - x. Is l a prime number?
False
Is (-9 + (-25005)/(-2))*((-20)/3)/(-2) a composite number?
True
Suppose -4*i - 3*j + 19 = -21, -i + 19 = 3*j. Suppose 6 = i*d - 8. Suppose 4*w - 5747 = -5*c, -3*w - d*w - 1161 = -c. Is c prime?
True
Let n be 136 + 15/3 + -3. Is ((-178)/6)/(688/n + -5) a composite number?
True
Let r = 206 - 203. Is (-41355)/(-9)*r/15 prime?
True
Let k = -1 - -7. Suppose -2*h - 5*o = 1, 10 = -2*h + k*h - 2*o. Suppose 0 = 2*y - 4*q + h*q - 4134, -3*q + 8240 = 4*y. Is y prime?
True
Let p(y) be the second derivative of -43/2*y**2 + 5*y + 0 - 13/6*y**3. Is p(-6) a composite number?
True
Let m be 4*((-27)/(-6) + -4). Let x be (-3)/m*(-26588)/69. Suppose -x = -0*a - 2*a. Is a a prime number?
False
Let c be 12/2 - 3/(-3). Let r be (1 - -1 - 6) + c. Suppose 3*v = 4*v + 1, r*h = 2*v + 779. Is h a prime number?
False
Suppose -4*a + 23537 = w - 23565, -3*a + 35343 = -2*w. Is a prime?
True
Let r(y) = -21489*y - 6623. Is r(-28) composite?
False
Let j(z) = 41*z + 71. Let y be j(28). Let v = y - -34. Is v a composite number?
True
Suppose -955*o + 914*o = -3250193. Is o prime?
True
Let d(t) = 31*t**2 - 12*t - 57. Let r be ((-30)/6 - -4)*5. Is d(r) a prime number?
False
Suppose -77 = g + 2*j, 2*j - 75 = 5*g + 358. Let f = g + 89. Suppose k - 2091 = -5*m, -3*m + 680 = f*k - 561. Is m a prime number?
True
Let l(x) = -17*x - 6. Let b be l(0). Is 5/10 - 81135/b composite?
False
Is (-416353212)/297*3/(-4) composite?
False
Let h(b) = 4 - 10 - 38*b**3 - 7*b + b**2 + 5*b + 7 - b. Is h(-5) prime?
False
Let h be (-10)/(-15)*(-12)/8. Let m(q) = -9*q - 7. Let y be m(h). Suppose -17*l = y*l - 75791. Is l a composite number?
False
Suppose -33 = 2*x - 39. Suppose 3*j - x*z - z + 1133 = 0, 2*j - 4*z = -758. Let k = -196 - j. Is k composite?
False
Suppose -n + 2857*i = 2860*i - 192637, 0 = -3*i - 21. Is n a composite number?
True
Suppose -4*l + 170039 = 5*d, 7*d - 5*d - l = 68000. Is d prime?
False
Let h be 3 + -1 + 1 - 1. Suppose 0 = -28*y + 23*y - 2*v + 23, -v - 1 = 0. Suppose -4*n - 3163 = -y*x, -2406 = -3*x + h*n - 507. Is x prime?
False
Let w(d) = 7559*d**2 - 5*d + 11. Let z be w(2). Suppose -z = 143*o - 146*o. Is o a prime number?
True
Let l = 1447948 - 741545. Is l prime?
True
Suppose 3*q + 7 - 46 = 0. Let c = q + -133. Is (2/(-1) + c/(-50))*65 a composite number?
True
Let n = -413 - -419. Suppose 285808 = 22*f - n*f. Is f composite?
False
Suppose 5*a + 24 = -4*c, 4*a = -2*c + 4*c - 14. Is ((-1 + 7)/6)/(a/(-3044)) a composite number?
False
Suppose 0 = -7*a + 146865 + 251729. Suppose 19295 = g - a. Is g composite?
True
Suppose 0 = 7*i - 9238 - 12322. Let a = 12921 - i. Is a a composite number?
True
Let v(n) = -6*n**2 + 40*n - 19. Let p be v(6). Suppose -2*f + 0*q + 27063 = -p*q, 0 = -3*q - 15. Is f prime?
False
Suppose -13*x = -108566 - 183063. Is x a composite number?
False
Let h = -10052 + 18315. Is h a com