13841/2 a prime number?
True
Let g be (4 + -1)/(4/((-786352)/(-21))). Let y = -19289 + g. Is y a composite number?
True
Let m(x) be the third derivative of -5/6*x**3 + 2/15*x**5 + 0*x + 0 - 1/4*x**4 + 16*x**2. Is m(-12) composite?
True
Let k be (2056/(-10))/((-2)/(-10)). Suppose -10189 = -5*i - 2*a, 47*i - 43*i - 8158 = -5*a. Let w = k + i. Is w a prime number?
True
Suppose -19 = -3*z - 1. Let i be z/2*6/9. Suppose 0 = 3*h - 3*c - 78, -2*h + 0*h + 72 = i*c. Is h a prime number?
True
Let n(v) = -42*v**2 - v + 1. Let r(u) = 42*u**2 + 1. Let y(b) = 2*n(b) + 3*r(b). Is y(9) composite?
False
Let i = 3621 - -26428. Is i a prime number?
False
Let f(b) = b + 7. Let w be f(-7). Is (w - 7)/(-8 - (-1111)/139) a prime number?
False
Let z(l) = 1081*l**2 + 56*l - 47. Is z(-32) composite?
True
Suppose -j - 35 + 8 = -2*g, 27 = 3*g + 3*j. Is g/(-18) + (-3 - (-6504)/9) a composite number?
False
Let c(q) = 34*q**2 + 9*q - 18. Let r = 193 + -204. Is c(r) composite?
True
Suppose 50*v - 63110 = -5*g + 47*v, -5*v = 0. Is g composite?
True
Suppose -49*d - 85*d = -4655732 - 8130950. Is d composite?
True
Let d(t) = 1185*t**2 - 41*t + 315. Is d(13) composite?
True
Let c(r) = 6*r + 18. Let m = -60 - -57. Let l be c(m). Suppose l = 6*t + 3*t - 1269. Is t composite?
True
Suppose -5*l = -0*l + 2*j - 6662, l - 5*j = 1354. Suppose 0 = -4*c + o + 1326, 2*o = 4*c - 3*o - l. Is c prime?
True
Let b(a) = 5846*a - 809. Is b(23) a prime number?
True
Let d(i) = -44009*i - 6506. Is d(-23) a composite number?
False
Let z(b) = b + 6. Let l be z(3). Let p(t) = t + 6. Let o be p(l). Is (o/12 - 1/4) + 1312 a composite number?
True
Let x = 53036 - 19141. Suppose -772*t = -767*t - x. Is t composite?
False
Is (-5)/(-2)*(-10618898)/(-235) prime?
True
Suppose -5*w + 474 + 1281 = 0. Let q = w + -44. Is q a composite number?
False
Let a(i) = 3*i**2 + 5*i + 11. Suppose 5*d + 16 = 26. Suppose -5*r = 2*g + 5 - d, 30 = 4*g - 2*r. Is a(g) prime?
True
Let g(j) = -j + 1. Let y(d) = -33*d - 21. Let b(p) = -4*g(p) + y(p). Is b(-6) composite?
False
Suppose 0 = -24*w - 23*w + 16*w + 6854317. Is w a prime number?
False
Let j = 336604 + -111294. Suppose 18*d - j = 8*d. Is d a prime number?
True
Suppose -57*k = -47*k + 15080. Is (-3)/((-6020)/k + -4) a composite number?
True
Let j be 9000/26 - 4/26. Let t = 248 - 107. Let w = j + t. Is w prime?
True
Let s be -2 - -1974*2/(-12)*-154. Suppose -19*d + 7*d + s = 0. Is d a composite number?
True
Let d = 68 + -64. Suppose d*k = -10 + 14. Is ((-2)/(-3) - k)*-3 - -1470 prime?
True
Let f = -73 - -74. Let h be 1 + (4 + f - 2) + -2. Suppose -h*n + 1592 = -870. Is n composite?
False
Let w(p) = 6*p**3 - 44*p**2 - p + 131. Is w(26) prime?
False
Suppose 12785 = 6*t - t + 5*h, -2554 = -t - 2*h. Suppose t = d + 377. Is d composite?
True
Let r = 47916 - 4255. Is r a prime number?
True
Let h = 96 - 94. Suppose -6*l - h*l = -4*l. Suppose 92*b - 87*b - 3815 = l. Is b a composite number?
True
Suppose 2071800 = -10*r + 59*r - 1371773. Is r prime?
False
Let t be (3714/(-4))/(2/(-240)). Suppose 9*m + 2*i = 6*m + 66853, 5*m + 5*i = t. Is m a composite number?
True
Let n = -44379 - -394862. Is n a composite number?
True
Let x(m) = m**2 - 3*m - 9. Let g(s) = -s**2 + 25*s + 67. Let f be g(28). Is x(f) a prime number?
True
Is -8 + -8 + 13 - -10*44384 composite?
False
Is (2/(-6))/(6/(-42980688)*8) composite?
False
Let z(h) = 2*h**2 - 3*h - 3. Let a be z(2). Let d be (a/2)/(3/(-132)). Is (-5)/(d/6 + -4) a prime number?
False
Let g(y) = 141*y - 23. Let u(b) = b + 1. Let q(v) = -g(v) + 2*u(v). Let p = 759 + -765. Is q(p) prime?
True
Let s(t) be the third derivative of 6*t**5/5 - t**4/3 - 17*t**3/6 - 36*t**2. Is s(-3) a prime number?
False
Let b be 1/(2*-1 + (-49)/(-21)). Let t be -2*(b/6 - (-654)/(-1)). Is 6/10 + t/5 prime?
False
Let y = 4239 + -1264. Let g = -1510 + y. Is g prime?
False
Let j(w) = w**3 - 21*w**2 + 18*w + 11. Let o be j(20). Let n = 153 - o. Suppose 5*c - n = 3773. Is c prime?
False
Let j(f) = f**3 - 6*f**2 - 2*f + 1. Let g be j(7). Let d be ((-48)/g - 1/(-3)) + 4. Suppose d*z + 633 = 6*z. Is z a prime number?
True
Let f = 1171 + -788. Let c = 526 - f. Is c a prime number?
False
Let d(i) = 20*i**2 + 44*i - 123. Is d(76) a prime number?
False
Suppose 11*l - 46 = -12*l. Suppose -p = -2*w + 2230, 3*w = 7*w + l*p - 4476. Is w prime?
True
Let t be 6*(-2)/(-4)*3. Suppose -228 = 9*q - 255. Suppose -q*o - 1338 = -t*o. Is o composite?
False
Suppose 30 = 7*j + 16. Suppose j*x + 20 = 7*x. Suppose -x*z = -0*z - 4376. Is z a prime number?
False
Suppose 2*d + 222573 = 4*u - 18241, -4*u + 240805 = d. Let n = u + -32693. Is n prime?
True
Let r = -26 - -29. Suppose r*s = 5*s - 688. Let m = -97 + s. Is m a prime number?
False
Suppose 239*t = 237*t + 394378. Is t composite?
True
Let f(o) = -9*o - 39. Suppose 6*c + 8*c + 140 = 0. Let d be f(c). Is 1654 + ((-17)/d - (-20)/6) prime?
True
Let l be (2 + -1)*4 + 0 + -2. Let w be 11025/27 + l/3. Let y = w - 246. Is y composite?
False
Suppose -2*k + 7 - 3 = 0. Let o(d) = 80 + k*d - 30 - 21 - 21 - 6*d**2 - 3*d**3. Is o(-5) a composite number?
False
Suppose 18564 = -36*a + 29*a. Suppose 2*j - 2*u = 8452, 2*j = 3*u - 2624 + 11071. Let t = j + a. Is t composite?
False
Let c(b) = -8*b**3 + 8*b**2 - 5*b + 31. Suppose 128 - 8 = -12*z. Is c(z) composite?
True
Suppose -11*g = -82 - 6. Suppose -g*q + 2*f + 4478 = -4*q, -f = 2*q - 2229. Is q prime?
True
Let f(s) = -85*s - 12 - 73*s - 12. Suppose 1050 = -242*n + 92*n. Is f(n) a prime number?
False
Let u = -411 - 766. Let o be 5/(-10)*12/(-2). Is (u/o)/(2/(-6)) composite?
True
Suppose 20 = 5*k + 7*i - 9*i, 0 = -i. Suppose 5*g - 5*q = 15, -k*q = -5*g - 6*q + 15. Suppose g*s - 7988 = -1622. Is s prime?
False
Let i = -439053 - -648044. Is i composite?
False
Let j = -135 - -153. Is 44842/j + 14/(-63) prime?
False
Let u = 11579 + 29754. Is u prime?
True
Let s be 3 - 1 - 231/3. Let f = 179 + s. Suppose f + 6 = 2*o. Is o composite?
True
Let c(y) = -2*y - 28. Let l be c(-17). Suppose -10245 = l*v - v. Is v/(-21) + (-36)/63 composite?
False
Suppose -20*i = 11*i - 45 - 17. Let j = -4 + 6. Suppose i*u = -j*p + 1762, -p - 2*u - 2*u + 893 = 0. Is p a composite number?
False
Suppose 4*x = -3*a + 60 - 25, -38 = -3*a - x. Suppose d + a = 3*w + 2*d, 3*d - 12 = 0. Suppose -5*m - 3*s = -5962, -w*m + s + 5217 - 1637 = 0. Is m prime?
True
Let k(b) = 20 + 1 + 251*b - 17. Let t(m) = 250*m + 5. Let p(r) = -3*k(r) + 4*t(r). Is p(9) a prime number?
False
Let w(q) = 54 - 64 - 17 - 33*q**3 - 20*q**2 - 9*q. Is w(-8) prime?
True
Let j = 15375 - 8246. Suppose 11*h - 8084 = j. Is h prime?
False
Suppose 3*z = 4*i + 276819, z - 112549 + 20276 = -i. Is z composite?
True
Suppose 3535374 - 1161393 = 38*k - 1091885. Is k composite?
True
Suppose d + 48 = 5*b, -24*d + 10 = -19*d. Is 49399/35*(b + (-20)/4) composite?
False
Suppose 3*d - h - 261 = 0, -4*d + 3*d + 2*h = -82. Let u be 1034/d - (-2)/8. Suppose -u*w = -9*w - 471. Is w a composite number?
False
Let a be (-12)/14 + 333/21. Suppose -2*m - f + 90 - 7 = 0, -a = -3*f. Is m composite?
True
Let r = 82 - 85. Let u be 1 - (r - -6) - (3 + -3). Is (40/(-4))/(u/137) a prime number?
False
Let f be 1*6 - (21 + -10 + -8). Let g(y) = 223*y**3 - 6*y**2 + y + 11. Is g(f) a composite number?
False
Suppose -580 = 48*m - 53*m. Let l(x) = -3 + 89*x + 376*x + m*x + 85*x. Is l(2) prime?
False
Let y(n) = 3*n**2 - 11*n - 7. Let m be y(5). Suppose -m*x = -6423 - 2924. Is x a prime number?
True
Suppose 33 = 22*t - 11*t. Suppose -t*v + 7840 = -3539. Is v composite?
False
Let w(r) = 6*r**2 + 49*r - 17. Let n be w(-12). Let t = n + -74. Is t prime?
False
Let y(t) = -15*t**3 - 5*t**2 - 5*t - 7. Let k be y(-6). Suppose -n + 1638 = -k. Let m = n - 3262. Is m prime?
True
Suppose 0 = -5*l - 3*l + 25160. Suppose 2*k = f + l, k + 4*f - 2012 = -435. Let d = k - 456. Is d a composite number?
False
Let l(t) = 6903*t + 16. Let o be l(9). Let f = 117499 - o. Suppose -6*d - 6*d + f = 0. Is d prime?
False
Suppose 143668 = -5*t - 5*y + 688003, 0 = 4*t + 5*y - 435472. Is t a prime number?
True
Let l(u) = 21*u**2 + 78*u + 115. Let i be 1030/(-30) + 30/(-18). Is l(i) prime?
False
Let o(t) be the first derivative of t**3/3 + t**2/2 - 9*t - 37. Let l be o(3). Suppose -5173 = -l*c + 4082. Is c a prime number?
False
Let s be 12/(-15)*(-335)/2