 Is u(n) composite?
True
Let s = 37 - 7. Is ((-34)/10 - 18/s) + 2099 composite?
True
Suppose -111 = -2*q - 13. Is (44 - q) + 18*78 prime?
True
Let i be 31870 + 1 + 4*(-3)/(-12). Let c be (-34)/(-4)*i/8. Suppose -8*j + c + 30592 = 0. Is j a prime number?
False
Suppose 29*j + 351160 = 21*j. Is j/(-2)*(-5 - 4 - -11) a prime number?
False
Let k(i) = 7994*i + 7833. Is k(14) prime?
False
Let x = 4914438 - 2765741. Is x composite?
True
Let b(z) = 1348*z**3 - 20*z**2 - 20*z + 203. Is b(7) composite?
True
Suppose -525*w - 274250 = -530*w. Let h = w + -34367. Is h composite?
False
Let h = -443 - -183. Let q be -6*(1/(-4) - h/(-240)). Is 4/q - 0 - 2475/(-6) a prime number?
False
Let x(h) be the first derivative of -131/4*h**4 + 1/3*h**3 + 5*h - 48 + h**2. Is x(-3) a prime number?
False
Let c = -843 - -11560. Is c prime?
False
Let i = 12687 - 2660. Is i composite?
True
Suppose -3*s - 78 = 2*m - 202, -171 = -3*m + 3*s. Suppose -m*j + 77*j - 199854 = 0. Is j composite?
True
Let k(v) = 2930*v**2 - 9*v - 4. Is k(-5) prime?
True
Let l = -80 - -86. Suppose -l*y - 4*c = -y + 442, 0 = 2*y - 3*c + 186. Let t = 93 + y. Is t composite?
False
Let g = -597111 + 1107334. Is g a composite number?
True
Let w be ((-36)/(-27))/(4/6). Suppose 5*c + 10 = -5, 3*q = -w*c + 20607. Suppose 7*u - 66 - q = 0. Is u a prime number?
True
Let o(d) = -d**3 + 20*d**2 - 15*d - 62. Let l be o(19). Suppose 25 = 5*h, -19*h = w - l*h - 12782. Is w composite?
False
Let x be (-253*(3 - 2) + 2)*-15. Let v be (-2 - 0) + 2 + x/3. Suppose 0 = -4*b - b + v. Is b a composite number?
False
Let y(i) = -3*i - 9 - 7*i + 19*i + 2*i**2 + 6*i**2. Is y(-16) prime?
False
Suppose -3*n - 4*l = -9167, 3*l - 1 + 4 = 0. Suppose -z - n + 10030 = 2*q, -2*q + z = -6975. Is q composite?
True
Is -8*(-18)/72 - -610475 prime?
False
Let l(q) = 1 - 121*q + 120*q + 1. Let n be l(6). Is 1276/2 - 9/(n - -1) prime?
True
Let f(q) = 3 + 43*q - 31 + 52*q. Suppose -103 = -9*d + 86. Is f(d) prime?
False
Let c(w) = -392*w - 3. Suppose -q = 7 - 3. Let b be c(q). Suppose 0 = 2*v - x - 3116, -5*v - 4*x + 6238 = -b. Is v a prime number?
True
Let j(r) be the first derivative of -175*r**2/2 + 86*r + 16. Is j(-23) a prime number?
True
Suppose -4*y + 4*k = -2316053 + 169685, 5*k + 1073181 = 2*y. Is y a prime number?
True
Suppose 0 = -5*z + 3*v + 2367, -4*z - 4*v = -8*v - 1900. Let x = 4373 + z. Suppose 5*t - x = t. Is t a composite number?
True
Let v(c) = 32*c**3 - 6*c**2 - 2*c + 49. Let y(r) = 65*r**3 - 11*r**2 - 5*r + 99. Let o(h) = -5*v(h) + 3*y(h). Is o(5) a prime number?
True
Let c = 240487 - 121818. Is c a prime number?
True
Suppose -4*l + 5*h + 328628 = 0, 100*h - 105*h = l - 82132. Let b = l - 58429. Is b prime?
False
Let q(j) = -8*j**3 + 8*j**2 - 12*j + 15. Let p be q(12). Let k = p + 26359. Suppose 0 = 10*o - 6172 - k. Is o prime?
True
Let j(g) = -63 + 37 + 1128*g**3 + 28 - 175*g**3 + g**2 - g. Suppose -3*a - 5*d = -28, -4*d + 11 + 13 = 4*a. Is j(a) a prime number?
False
Let m(y) = 1399*y + 4553. Is m(0) prime?
False
Suppose 0 = 3*o - j + 8129 - 84287, 0 = -4*o - 2*j + 101534. Is o a composite number?
True
Suppose 3*q + 51*y - 52*y = 13748, q = y + 4582. Is q composite?
False
Suppose 5*g = 2*u + 142197, -5*g + 72300 = -4*u - 69899. Is g composite?
False
Let y(z) = -z**2 - 10*z + 6. Let t be y(-10). Is 141 - (t - 7) - 0 a composite number?
True
Suppose 151 = 9*x + 16. Suppose 9 - x = -3*d. Suppose -d*t - t + 879 = -4*z, 0 = -4*t - z + 1172. Is t a composite number?
False
Let i(a) = 15 + 150*a**2 + 2*a + 10*a - 140*a**2. Is i(-4) prime?
True
Let o(g) = 357*g**2 + 65*g + 223. Is o(35) prime?
True
Let j(d) be the first derivative of -67*d**4/2 + 3*d**2 + 7*d + 192. Is j(-3) a composite number?
False
Let t(w) = -w**3 + 44*w**2 - 25*w - 73. Let m be t(37). Suppose 2*a = 5*u + 4*a - 8615, -5*u + 4*a + m = 0. Is u prime?
True
Let o be 8 + (7 - -56292) - -5. Is 57/38*o/6 a composite number?
True
Let p be (-2584015)/(-159) + (-4)/6. Let h = 28072 - p. Is h prime?
True
Let n be (64/36)/(-8) - (-4)/18. Let a(v) = -11*v + n*v + 15 + 2 + 2*v**2 - 1. Is a(13) composite?
False
Suppose 467*b = 228*b + 232*b - 166082. Suppose -y + 6 = y. Is (y/3)/((-2)/b) a prime number?
True
Suppose -2*o = 13*o - 58860. Let w = o + 1699. Is w a composite number?
False
Is 54225/3 - (53 + -57) a prime number?
False
Let a = 2399448 + -702647. Is a prime?
True
Let w = 1245810 - 570601. Is w composite?
True
Let z(q) = 253*q**2 - 24*q - 83. Is z(-5) a prime number?
False
Suppose -5*w = 5*z - 9830, -2*z - 3*w = w - 3938. Suppose -2*c + z = c - 4*y, -1311 = -2*c + 5*y. Is c prime?
True
Let r be (-180)/(-36)*(1 - 0). Let s(k) = 4*k**3 + 6*k**2 + 4*k + 7. Is s(r) a composite number?
False
Let h(k) = -16*k + 11. Suppose -8*a = -3*a - 25. Suppose -8*y + a*x - 61 = -4*y, 37 = -3*y - 5*x. Is h(y) prime?
False
Suppose -13*n + 23*n - 2*n = 272152. Is n prime?
True
Suppose -1490 = 19*z - 4910. Suppose 3*o + p = 1781, 5*p - 1621 - z = -3*o. Suppose -3*m + m + o = 5*s, m = 3*s + 285. Is m composite?
True
Let u(g) = -149*g - 105. Suppose 0 = 5*z - 10, b + 1 = 3*z - 13. Is u(b) a prime number?
True
Let t(x) = -x - 7. Let k be t(-10). Suppose 2 = -5*a - k. Let i = a + 60. Is i a composite number?
False
Suppose -5*a = 3*r - 16, 2*r - 5 = -4*a + 9. Let j be (-80)/(-50)*a/2. Suppose u - 355 = -4*x, -3*u - u - j = 0. Is x prime?
True
Let l = 80 - 44. Let x = l - 25. Suppose 8212 = x*u - 7*u. Is u prime?
True
Let u be (166/(-249))/((-2)/24). Let j(n) = 30*n - 77. Is j(u) prime?
True
Suppose -12444 = -19*z + 2623. Let v = z - 56. Is v a composite number?
True
Let y = 94842 - -29045. Is y prime?
True
Let o(g) = 73072*g + 1103. Is o(9) prime?
True
Let o = -8028 - -17257. Is o a composite number?
True
Let x be (4/16*-6)/(6 + 135/(-20)). Let g be (-423)/(-2) + (-2)/(-4). Suppose 2*p - x*h = g + 302, 2*h = -p + 257. Is p a composite number?
False
Suppose i + 765 = -2*b, 0 = -10*b + 6*b - 3*i - 1525. Let r = b + 2314. Is r a prime number?
False
Let h(n) = -8 + 4 + 14*n + 1 + 41*n. Let v = 35 + -16. Is h(v) a composite number?
True
Suppose 2*z + 4*x = 536206, -19*z - 3*x - 804282 = -22*z. Is z composite?
True
Let z(c) = -401*c + 19. Let n be z(-7). Suppose -p - 893 - 1933 = -2*w, -4*p = -2*w + n. Suppose -w = 105*g - 108*g. Is g composite?
True
Suppose 4*g - 369120 = 4*h, 340*g = 341*g + 4*h - 92285. Is g composite?
True
Let u(c) = 15*c**3 + 26*c**2 + 4*c + 82. Is u(9) prime?
True
Let h = -41 - 12. Let n = 75 + h. Suppose 3*u + 4*q - n = 0, 2*q = -7*u + 5*u + 14. Is u prime?
False
Let c(n) = -5*n**2 + n + 4. Let j be c(2). Let m(k) = k + 28. Let r be m(j). Suppose -r = -w + 19. Is w a prime number?
False
Let j be -8 + 3 - (1 - 3 - 11). Is 4/j*(-96457 - 7)/(-8) a composite number?
False
Let r be ((-4)/(-10) + 13/(-20))*-12. Suppose 5*q = r*c + 44600, -3*q + 8174 + 18590 = -c. Is q a prime number?
True
Let y be 67888/20 - 0 - (-6)/(-15). Let f = -1895 + y. Is f a composite number?
False
Is 98251*((-98)/(-7) - 13) a prime number?
True
Let d(j) be the second derivative of 7*j**4/2 + 13*j**3/6 - 5*j**2 - 31*j. Let v(p) be the first derivative of d(p). Is v(8) composite?
True
Let p = 141424 - 54921. Is p a composite number?
True
Is (-1474795)/(-25) + (-84)/105 a composite number?
False
Suppose -5*s = -7*s + 3*t + 7, -t - 1 = 0. Suppose -r = -s*v + 2776, -r - 2746 = -2*v + 6*v. Let h = r - -4580. Is h composite?
True
Let j(w) be the first derivative of -2*w**3 + 29*w**2/2 + 19*w + 5. Let i(s) be the first derivative of j(s). Is i(-25) a prime number?
False
Let b(c) = -1397*c**3 + 11*c**2 + 44*c + 25. Is b(-3) a composite number?
True
Let z be 9782 + (-24)/(4 - 10). Suppose 0 = -5*r - r + z. Is r a composite number?
True
Let s(t) = t. Let d be s(3). Suppose -d*q - 2857 = -2*r, -5*r - q + 6962 + 138 = 0. Is r*1 - (8/2 + 0) a composite number?
True
Let b = 133 - 128. Suppose b*m + 2758 = 38943. Is m a composite number?
False
Let y = 208280 - 146677. Is y a composite number?
False
Is 33169 + (-2)/(-1) + 3072/384 a prime number?
True
Let g(t) = 4*t**3 - t**2 + 3*t + 1. Let h be g(3). Let j = -110 + h. Is j*4786/6*(12 + -15) prime?
True
Suppose 271*f + 8 = 273*f, 5*m = f + 1379901. Is m prime?
True
Is ((-10253180)/(-420))/((-2)/(-6)) a prime number?
True
Is 307155/(-22 - -7)*(4 - 2 - 5) composite?
True
Le