5*(-1)/3). Is -2 + -58*(n + (-2177)/14) prime?
False
Let j = 813 - -2704. Let w(t) = 9*t**2 + 3*t - 13. Let u be w(-9). Suppose -i + u = -3*k, -k = 5*i + 2*k - j. Is i prime?
True
Suppose 29808 + 57067 = 5*y. Let g = y + -4938. Is g a prime number?
True
Let c be -11791*(3 + -6 + 5). Let q = -8899 - c. Is q composite?
False
Let m = 104889 + 186854. Is m prime?
True
Suppose 0 = a + 7*a - 5128. Let d = a + 2378. Is d composite?
False
Let l = 4403 - 2731. Let q = -1576 + 1576. Suppose 4*h - l + 380 = q. Is h composite?
True
Suppose -17*x - 9*x + 747630 = 0. Suppose -x = -13*u + 43330. Is u a prime number?
False
Let r = -2770 + 14311. Suppose -2*o + 2065 = -4*i - r, 0 = 3*o - i - 20409. Is o a composite number?
False
Suppose 2*f - 1 - 13 = 0. Is f*(7 + 2502) + 6 composite?
False
Suppose 26*x - 17*x = 16*x - 170821. Is x prime?
False
Let v be (-10)/(-3)*19935/15. Suppose v = 5*b - 2565. Is b a prime number?
True
Suppose 5 = r - 0*r. Suppose 2*h = -r*h + 28. Suppose -h*o + 416 = -1260. Is o prime?
True
Suppose -3408 = -8*g + 18952. Let k = g - 948. Is k prime?
True
Suppose 2*k + 2 + 8 = -4*w, -2*k - 6 = 3*w. Let m(n) = n**3 - 3*n**2 + 2*n - 1. Let r be m(k). Suppose 0 = 6*a - r*a - 413. Is a prime?
False
Let n = 5902 + 3865. Is n a composite number?
False
Let w = 40311 - 26794. Is w prime?
False
Let p = 45610 - -54199. Is p composite?
False
Let v(f) = 14 + 56 + 11 + 7*f - 7 + 39*f**2 + 49. Is v(-14) prime?
True
Suppose -486 + 316 = z. Let a(u) = 13*u**3 - u**2 + 4*u - 3. Let o be a(4). Let y = o + z. Is y a composite number?
False
Let t(v) = -8 + 3*v**3 + 26*v**2 + 12*v + 2*v - 31*v**2 + 25. Let w be t(12). Let k = w + -3250. Is k composite?
False
Suppose 91*i - 39215 = 96*i. Let m = -4292 - i. Is m prime?
False
Let q(g) = -36*g**3 - 14*g**2 + 360*g - 63. Is q(-19) composite?
False
Suppose -3*i = 3*u, 0*u + u + 15 = 4*i. Suppose -3*m = -i, 3*w + 2*m + 0*m = 14. Is ((-35)/(-4))/(1/w) prime?
False
Let w(x) = 757*x**3 - 2*x**2 + 8*x + 8. Let v(n) = -252*n**3 + n**2 - 3*n - 3. Let o(m) = -8*v(m) - 3*w(m). Is o(-1) composite?
True
Let f(l) be the second derivative of -1/3*l**3 + 43/12*l**4 + 0 - 31*l - 13/2*l**2. Is f(4) a composite number?
True
Let n(o) = 7 - 2*o - 5 - 2. Let w be n(-3). Suppose 3*s + w*s = 117. Is s prime?
True
Let b(w) = -w**3 - 2*w**2 - 9*w - 6. Let u be b(-6). Suppose 0 = -3*c + 7*c - j - u, 2*j + 48 = c. Suppose -c*z = -52*z + 2132. Is z composite?
True
Suppose 32 = -3*o + 5*o. Suppose -5*k = -c - o + 47, -5*c + 11 = -k. Is (126/(-4) + 2)*k composite?
True
Let s = -188 + 169. Let k(t) = 20*t**2 + 10*t + 121. Is k(s) a prime number?
True
Let s(z) be the third derivative of z**5/5 + 7*z**4/24 - 3*z**3/2 + 44*z**2 + z. Is s(4) prime?
True
Let d = 38 + -33. Suppose -2*k + a = -10, d*k + 6 = 3*a + 31. Suppose -907 - 1192 = -k*z + 2*n, 5*z = -2*n + 2091. Is z composite?
False
Suppose -14*n + 17950 = 4*a - 13*n, 2*n = -a + 4491. Suppose 2 = -2*g - 2*l, 0*g + 3*g = 5*l + 37. Suppose -g*r - 463 = -a. Is r a prime number?
False
Let g = 197 - 193. Suppose 22754 = g*a - 71050. Is a a composite number?
True
Suppose -17*t = -735 - 9108. Let w = t - 142. Is w a composite number?
True
Suppose 5*u - 83 = b, 90 = -2*b - 5*u - 136. Let k = b - -168. Is k a prime number?
False
Let o = -2391 - -13100. Is o composite?
False
Let c(n) be the third derivative of -n**6/40 - n**5/15 - 17*n**4/24 + 65*n**3/6 - 235*n**2. Is c(-8) composite?
False
Let o be 10/4*(-16)/(-20). Let z(y) = 3*y + 0*y + 2*y + 14*y**o + 7. Is z(6) prime?
True
Suppose 3*l - 4*l - 236 = 3*a, 3*l + 768 = 3*a. Suppose 0 = -3*r + 4*f - 7, -3*r + 2*f - 4 = 1. Is (-1 - -2)/(r/l) prime?
True
Let z(w) = -43*w**3 + 12*w**2 - w + 17. Let l be z(5). Let q = 10972 + l. Is q composite?
True
Let a(n) = 3*n + 29. Let s be a(-9). Suppose -4*i + 288 = -i + w, s*i + 5*w = 205. Suppose 2*u = -3*u + i. Is u prime?
True
Suppose 5*q = -3*f + 1150617, 5*f = -110*q + 108*q + 1917733. Is f a composite number?
False
Let j = -1134 - -51445. Is j composite?
False
Let t(y) = -4926*y + 145. Is t(-4) prime?
False
Let x(j) = -j**3 + 8*j**2 - 2*j + 18. Let h be x(8). Suppose 4*k = -h*k + 1038. Suppose k = w - 608. Is w a prime number?
False
Let u = 391 + 2286. Let s(p) = -10*p**2 - 140*p - 28. Let j be s(-22). Let h = j + u. Is h prime?
False
Let h be (-28 - -3909)*-1*1. Let b = -1404 - h. Is b a prime number?
True
Let u(q) = -7*q**3 - 4*q**2 + 34*q + 14. Let k be u(6). Let f = -516 - k. Is f composite?
True
Suppose 3*r - 210 = -147. Is (-48)/(-112) - (-226812)/r a prime number?
False
Let j = 280 - 163. Let f = 328 - j. Is f composite?
False
Let z = 1405997 + -889068. Is z composite?
True
Let p(x) = 596*x**3 + 14*x**2 - 66*x + 31. Is p(5) a prime number?
True
Let t(m) = 1000*m**2 - 22*m - 407. Is t(-18) a prime number?
False
Let b = 125478 - 65212. Is b a composite number?
True
Suppose 10 = 2*a - w, 22 = 5*a - 7*w + 6*w. Suppose -48000 = -0*q - a*q + 4*i, -3*i = 4*q - 47965. Is q composite?
True
Let q(r) = 508*r**2 + 34*r + 35. Is q(-11) a composite number?
False
Let a = 1377 + -4819. Let h = -1289 - a. Is h prime?
True
Suppose -58 = 4*z + 2*y, -6*y = -2*z - 3*y - 9. Let h(b) = -7*b**3 + 18*b**2 - 2*b - 13. Is h(z) prime?
True
Let n(m) = 3*m**3 - 46*m**2 + 7*m - 1061. Is n(45) a prime number?
True
Let l(v) = 4*v + 4. Let o be l(-2). Let h(a) = -99*a**2 - 3*a - 2. Let d be h(o). Is (d*(-2)/(-4))/(-1) composite?
False
Let z(f) = -f**3 + 6*f**2 + 5*f - 9. Let y be z(6). Suppose -y = -10*w + 19. Is 1/(w*1/6268) a composite number?
False
Is 22607 + (-104)/13 + 14 composite?
False
Is (17/(204/(-124932)))/(-2 + 1) prime?
False
Suppose 101*p - p = 69737300. Is p prime?
True
Suppose u = 15*u + 294. Is 4/(-7) + (-98523)/u a composite number?
False
Suppose -3*i - n + 335544 = 0, -27*n = i - 29*n - 111841. Is i a prime number?
True
Suppose 0 = -b + 4, -5*b - 12 = 3*r - 5. Let y be 2/(-9) - (-1)/r*-3242. Is ((-12)/10)/((-48)/y) a prime number?
False
Suppose y - 2 = f, 27 = 3*y + 2*f + 11. Suppose -y*o + 38620 = -0*o. Is o prime?
False
Suppose -272671 = -3*n - 2*c, -12*n + 9*n + 5*c = -272657. Is n a composite number?
True
Suppose 11028283 = 35360*i - 35353*i. Is i a composite number?
True
Let s(c) = -44*c - 1. Suppose 4*n + 4*v - 78 = n, 4*n + 4*v - 104 = 0. Let i = 20 - n. Is s(i) a composite number?
False
Let w be (-3*1)/(69/36524). Let z = -579 - w. Is z a composite number?
False
Is ((80/24 + -3)*-6)/(2/(-191669)) a composite number?
False
Suppose 25*r + 1 = 51. Suppose -r*y + 711 = 10*b - 9*b, -2134 = -3*b - 5*y. Is b a composite number?
True
Let v(d) = 16*d - 158. Let u be v(10). Is (3591/u + 2)*(-2)/(-1) prime?
False
Let p(v) = -v**2 + 7*v + 5. Let m be p(8). Let k(r) = 594*r**2 + 7*r + 10. Let z be k(m). Suppose -3*q = 5*u - z, -860 = 2*u - 3*q - 2994. Is u a prime number?
False
Let m(n) = n**2 + 410 + 100 - n + 4*n - 2*n**2. Let o be m(0). Suppose 3*r + o + 4154 = 4*z, 4*z + r = 4648. Is z a prime number?
True
Let m be ((-316928)/(-4))/8 - (1 + -1). Suppose -4*l - 17466 = -2*p, 3*p - l - 16305 - m = 0. Is p a composite number?
False
Suppose 11 = -5*q + 4*x, -q - 19 = -0*q - 5*x. Let d be ((-1)/4*0)/(q*-1). Suppose -3*c = 2*o - 2385, 3*c = -d*o + 2*o + 2397. Is c a composite number?
False
Suppose 29*g - 30*g - 2 = 0. Let d(o) = 397*o**2 + 12*o + 21. Is d(g) prime?
False
Suppose -4*r + 5*q = -4180603, 0 = -256*r + 259*r - 2*q - 3135461. Is r a prime number?
True
Let k(w) = 77*w**2 - 17*w + 109. Is k(-13) a prime number?
False
Let b(f) = f**2 + 2*f - 1. Let p be b(2). Let v = p - 14. Let c(n) = -11*n + 2. Is c(v) prime?
True
Suppose -2*v + 6*v + 11 = 5*z, 9 = 3*z. Suppose -14 = -3*x + v. Suppose -2539 = -x*c + 1846. Is c a prime number?
True
Suppose 4*p + 5*o - 21 = 3, 3*p + o = 29. Suppose p*q = 493 + 38480. Is q composite?
True
Let f be (-15)/10 - (-3)/(24/44). Suppose f*v - n - 658 = 2*n, 2*n + 819 = 5*v. Is v prime?
True
Suppose -214062 = -4*q - 2*k, -68*q + 3*k + 53533 = -67*q. Is q a prime number?
False
Let t(g) = -g**2 - g - 1. Let v(f) = f**3 - 2*f**2 + 7*f + 14. Let p(x) = -6*t(x) - v(x). Let z be p(7). Suppose -28*o - 3102 = -z*o. Is o a prime number?
False
Let x(i) = i + 22. Let f be x(-18). Let t be -22*6/(-48) - (-1)/f. Suppose -3*l = -t*y - l + 1347, 3*y + 4*l - 1365 = 0. Is y prime?
False
Let d(y) = -2823*y*