 = -1 - 5. Is w/(-4) + 6 + -2 composite?
True
Let q(j) = 9303*j + 253. Is q(6) a composite number?
True
Suppose -3*z + 112 = -7*z. Let k = z - -45. Suppose d = 334 - k. Is d composite?
False
Suppose -32*w + 1624042 = 235530. Is w prime?
True
Let l = 222 + -222. Suppose 5*r + 5*x - 13160 = 0, -5*r + 4*x + l*x = -13169. Is r composite?
False
Let f(d) = 0*d**3 - 306 + 325 + 7*d - 5*d**3 + 11*d**2 + 4*d**3. Let v be f(11). Suppose 3747 = -v*n + 99*n. Is n a composite number?
False
Let y = 5421 - -41944. Is y prime?
False
Let c(p) = 14*p**2 + 14*p - 11. Let k be c(-8). Suppose 7*m - 2*m = -5*z + 1010, -z = -3*m + 614. Let f = k + m. Is f a composite number?
False
Suppose -2056*v + 2066*v - 1621690 = 0. Is v a composite number?
True
Let n = -44025 + 71200. Suppose 5*o + 5*t - n = 0, 2*o = -t + 8331 + 2539. Is o a composite number?
True
Let u(i) = -i**3 + i**2. Let o(g) = 7*g**3 - g - 3. Let h(d) = o(d) + 6*u(d). Let b be h(-6). Let p(x) = 901*x + 4. Is p(b) prime?
True
Suppose 2*h = -u + 377979, 10*u + 148*h - 3779646 = 146*h. Is u a prime number?
True
Let y be -4 - (-56900)/(0 + 2). Suppose 1544 + y = 2*l. Is l prime?
False
Let p = 69639 - 41193. Let u = 41447 - p. Is u a composite number?
False
Let k(w) = 385*w + 214. Is k(15) a prime number?
False
Let d(n) be the first derivative of -9 + 331*n - 1/3*n**3 + 0*n**2 + 1/4*n**4. Is d(0) composite?
False
Let y(d) = -3*d**2 - 5. Let r be y(-3). Let j be 240/r*(-892)/3. Suppose 4*o - j = -6*o. Is o composite?
False
Suppose 3*j + 1894 = q, 3*q + 0*j - 5688 = 3*j. Suppose 3*z - 1147 = 5*g, q = 5*z - g - 0*g. Is z a composite number?
False
Let g be (9 + 1)*8*9/180. Let c(s) = -s**2 + s + 10. Let i be c(g). Let l(u) = -138*u**3 + 4*u**2 + 7*u + 9. Is l(i) composite?
True
Let f = -39115 + 310946. Is f prime?
False
Let b = 403457 - 235642. Is b prime?
False
Let k be (-6)/4*(-8)/(-4) - -5. Suppose k*m - 3349 = -f, 3*f - 8348 = -5*m + 26. Is m a composite number?
True
Let x = 21 + 57. Suppose 0 = -4*j, 5*y - 4*j - 673 + x = 0. Is y a composite number?
True
Let k = 1406696 - 867543. Is k a composite number?
False
Let f be (-8 + 5 - -5) + -11*124. Is 2*31*f/(-12) a composite number?
True
Suppose -4*i - k - 87506 + 883827 = 0, 0 = -5*i - 2*k + 995399. Is i a composite number?
False
Suppose k - 5*l - 649572 = 0, -56*k - l = -57*k + 649564. Is k a composite number?
True
Let c(o) = -o**2 - 6*o + 6. Let g be c(-5). Suppose g*w = 8*w. Suppose -t + f + 69 = -f, w = -5*t - 5*f + 270. Is t a composite number?
False
Let u be 6 + (-228)/8*-110. Suppose -4*j - u = -n - 2*j, -2*n = 3*j - 6289. Is n composite?
True
Let a(z) = -z**3 + 7*z**2 - 7*z + 12. Let s be a(6). Is ((-21)/s)/(((-4)/1)/1096) composite?
True
Suppose 32 - 74 = -3*z. Let u be (-3)/(z/(-8) - (-7)/28). Suppose 485 = -l + u*l. Is l composite?
True
Let t = 12216 + -4223. Is t prime?
True
Let p = 6 - 3. Suppose 1062 = p*i + 5*l, -2*l - 2*l = 0. Let c = 765 - i. Is c a composite number?
True
Let d(c) = -241*c - 57. Let u(v) = -240*v - 56. Let k(m) = 3*d(m) - 4*u(m). Is k(8) prime?
True
Let a = -15 - -49. Let r be (a - -1) + 6/3. Let w = r - -150. Is w composite?
True
Let y = 39 + -22. Suppose y*p = 11*p + 4626. Is p prime?
False
Let d(t) = t**3 - 14*t**2 + 23*t + 17. Let i be d(12). Suppose -5*q = i*x - 4725, q + 0*q - 937 = 3*x. Is 1 + q - 11/11 a prime number?
False
Let k = 275890 - 131859. Is k a prime number?
True
Suppose 16 = -52*s - 36. Let x(g) = 13561*g**2 + 37*g + 37. Is x(s) a prime number?
False
Suppose 446 = -4*y + 138. Is 4863*(22/y + 26/42) composite?
False
Let f(r) be the third derivative of -1/6*r**5 + 0*r + 0 + 13/24*r**4 + 2/3*r**3 - 11*r**2 + 1/10*r**6. Is f(5) a prime number?
True
Let s = 1959579 - 790330. Is s a prime number?
True
Let b = -36285 + 20362. Let x = b - -22642. Is x a composite number?
False
Let o(l) = l**3 + 5*l**2 + 5*l + 4. Let b be o(-4). Suppose u - 3175 + 294 = b. Is u a composite number?
True
Is ((-3612)/48)/(-43)*292052 a composite number?
True
Let u(m) = 212*m**2 + 50*m - 269. Is u(6) prime?
False
Suppose -5*p = -2*t - 1406731 + 43768, 0 = 3*p + 5*t - 817753. Is p a prime number?
False
Let c = 728 - 721. Is -3 - (7/c + -755) prime?
True
Suppose 3*a = -0*x + 5*x - 63590, x = -2*a + 12718. Suppose 0 = 4*j - 2*f - x, 1828 = -j + 2*f + 5006. Let y = -1966 + j. Is y a composite number?
True
Suppose 10*d - 9 = 11. Suppose -2*a - d*z + z + 15038 = 0, a = -5*z + 7519. Is a a prime number?
False
Let i(r) be the first derivative of -73*r**2/2 + 10*r - 57. Is i(-7) a composite number?
False
Suppose 5*i + 2*f = -4, -2*i - f - 2 = -6*i. Suppose 5*a - 5865 = -2*q - 0*q, -5*q + 25 = i. Is a composite?
False
Let x(v) = -3*v**3 - v**2 + 1. Let g(b) = 91*b**3 - 6*b**2 + 23*b - 18. Let t(k) = g(k) + 5*x(k). Is t(6) a composite number?
True
Let l(u) be the second derivative of u**7/140 - u**6/120 + u**5/120 + 5*u**4/12 + 2*u. Let j(r) be the third derivative of l(r). Is j(-5) prime?
False
Let h(o) = 6*o**3 + 21*o**2 + 2*o + 203. Is h(16) a prime number?
True
Suppose 0 = 2*n + 3*n - 10, -n + 332 = 5*i. Is (188463/i)/(2/4) prime?
True
Let m(z) = 3 + 2*z + 4*z + 4. Let y = -415 - -430. Is m(y) a composite number?
False
Let k = -32 + 48. Suppose 0 = -5*w + k - 1. Is w/((-3)/(-3346)) - (-18)/6 composite?
True
Let j(u) = 21*u**2 + 6*u - 2. Let f be (2/4)/(9/(-1422)). Let a = f - -68. Is j(a) a prime number?
True
Let k = -193 + 198. Suppose 5*z + 448 = s, -k*s + 2*z + 2090 = -196. Is s a prime number?
False
Let j(x) = 18*x**2 + 43*x + 28. Let u be j(12). Let q be 0 - (1 - 2 - 5). Suppose -b + u = 2*s - q*b, -5*s - 5*b + 7805 = 0. Is s a composite number?
True
Let x = 134802 + -84953. Is x composite?
True
Let x = 177 - 177. Suppose 2*p - 5*c = 10439, -3*p - c = -x*p - 15684. Is p prime?
True
Suppose 38*w - 986893 = 510535. Suppose 13*m + w = 264787. Is m composite?
True
Suppose -3*p = 5*b - 348613 - 53291, b = -4*p + 535889. Is p a composite number?
True
Let s(c) be the second derivative of 261*c**4/2 - c**3/2 + 2*c**2 - c - 4. Is s(1) prime?
True
Let h = -101 - -103. Suppose 0 = 5*m - 2*c - 7400 - 11571, -h*m + 2*c + 7592 = 0. Is m a composite number?
False
Let k(d) = 11 + 13 + 15 + 0 - 33*d. Let j be k(-17). Suppose 0 = u - 2*x - 245, -5*x - j + 114 = -2*u. Is u prime?
False
Suppose -69*c + 61*c + 141744 = 0. Is (70/(-105))/((-4)/c) prime?
True
Let q(o) = o**3 - 9*o**2 + 2*o + 17. Let z be (-432)/104 + (-2)/(-13). Let d(v) = -4*v - 7. Let l be d(z). Is q(l) a composite number?
True
Let j(h) = -6762*h - 1627. Is j(-7) a prime number?
True
Let h(m) = 51*m**3 - 29*m**2 - 81*m + 1828. Is h(31) a prime number?
True
Let j be (-9 - 1274/(-16)) + (-3)/(-8). Suppose -13753 = -j*t + 70*t. Is t prime?
False
Suppose 23935 = c + 672. Let k = c + 2038. Is k a composite number?
False
Let b(s) = 6*s**3 - 19*s**2 + 5*s - 6. Let q be b(3). Let p be 1 + 0/1 - -1. Is -3 + p + 87 - (q - 3) a prime number?
True
Let n(h) be the second derivative of h**3 - 7*h**2 + 2*h. Suppose 12*v + 54 - 102 = 0. Is n(v) composite?
True
Let r(k) = 3 - 4 + 0 + k + 4. Let f be r(-11). Is (41436/(-48))/((-6)/f + -1) prime?
False
Let k be 6 + (-11 - -5)/6. Suppose k*f - 111790 = -9*f. Is f a prime number?
False
Let d(m) = -40*m**3 - m**2 - 3*m - 3. Suppose -3*i + 5*a = -i - 6, -2*a = -3*i + 9. Let k be (-1)/(35/10 - i). Is d(k) composite?
True
Let z = -26225 - -49018. Is z composite?
True
Let p(l) = -55*l + 89. Let q be p(16). Let i = 356 - q. Is i a composite number?
True
Let b = 15300 - -16827. Is b a prime number?
False
Let n be 28/154 - (-765)/(-33). Let g(t) be the second derivative of -2*t**3/3 + 27*t**2 - 6*t. Is g(n) a prime number?
False
Is ((-10)/20)/(15/(-119190)) a composite number?
True
Is (-332 + 328)*(-1412947)/4 prime?
True
Let x = 480 + 1468. Let v = 27 - 8. Suppose -15*h - x = -v*h. Is h a prime number?
True
Suppose 104*o - 117*o + 9982817 = 0. Is o a prime number?
True
Suppose 3*o = z + 8, 3*o - 5*z = 8 + 20. Is 879 - (1 + -1)/(-1)*o prime?
False
Let d be 51 + -43 - (0 - -5). Suppose -d*g = -2 + 11, s = 5*g + 7934. Is s composite?
False
Let f(j) = 44*j**2 - 2. Let z be f(1). Is z/(-98) - (2 - 433386/21) composite?
True
Let u be 1*((-100)/(-28) - 4)*-21. Suppose 0 = -u*o + 18617 + 17086. Is o a composite number?
False
Let l(c) = c**3 - 14*c**2 + 10*c - 15. Let y be l(