s 22173/9 - 0 - (-16)/u a prime number?
False
Let o(k) = -4*k**3 + 6*k**2 + 5*k + 10. Let d = -33 - -38. Let l be o(d). Let s = 572 + l. Is s prime?
True
Let q(g) = -9005*g - 3744. Is q(-7) a prime number?
False
Let d(v) = v**2 + 5*v - 14. Let f be d(0). Is (215/25 + -1)*(-35)/f composite?
False
Is -2 + 12 + -3 - (-34735 - 35) a prime number?
False
Let l(v) = -v**3 + 23*v**2 + 31*v - 29. Suppose -5*x - 2*i = -x + 414, -5*x + 3*i = 501. Let t = -78 - x. Is l(t) composite?
False
Suppose -3*p = m - 263010, 24*m = 19*m + p + 1315066. Is m a prime number?
False
Let p be (-5 - -4)*1/((-2)/8). Suppose 0 = p*h + t - 14, 0 = -3*h + h + 2*t + 12. Suppose 0*v = -h*v + 4196. Is v prime?
True
Is -4 + (-2 - -3) + (199924 - (8 + -6)) prime?
False
Suppose 4523 = 2*z - 4933. Suppose 781 = -q + 3*k + z, 0 = 3*q - 2*k - 11813. Is q a composite number?
True
Suppose 9*w - 4*w + 5 = 0. Let v(l) be the first derivative of 265*l**3 - 2*l**2 - 2*l + 344. Is v(w) prime?
True
Let x(h) = 143*h + 23. Let q(f) = 286*f + 45. Let o(g) = 6*q(g) - 13*x(g). Is o(-8) prime?
False
Let u be ((26/(-4))/(-13))/(6/25356). Suppose 20248 = -2109*s + u*s. Is s a composite number?
True
Let w(f) = 10*f**3 - 6*f**2 + 19*f - 57. Let d(q) = q**2 - 15. Let x be d(5). Is w(x) a composite number?
False
Let i = -210975 + 364664. Is i prime?
True
Let j(c) = -c**2 - 9*c - 12. Let p be j(-7). Let y be (p/((-44)/16 + 3))/2. Is 418 + 2*2/y a composite number?
False
Let f = 16369 - -27790. Is f composite?
False
Suppose -k + 12*k + 110 = 0. Is (-307)/(k/(-45) - 39/54) composite?
True
Let d(b) = 347*b - 71. Let u(g) = -356*g + 80. Let h(l) = -237*l + 53. Let v(f) = 8*h(f) - 5*u(f). Let t(m) = -3*d(m) - 8*v(m). Is t(-5) a composite number?
True
Is (-18296)/(-5) + (4 - (-126)/(-30)) a prime number?
True
Suppose -3*i - 4*g = 13150, -4*i - i - 5*g = 21920. Let r = i - -10179. Is r composite?
True
Suppose -11*t - 32 + 65 = 0. Is 3/(4/(6308/t)) prime?
False
Let y(c) be the first derivative of 7/3*c**3 + 58*c + 2*c**2 + 16. Is y(13) composite?
True
Let b(i) = i**3 - 13*i**2 + 59*i + 40. Suppose 4*p - 78 = -3*r, -2*r + 37 + 3 = 2*p. Is b(p) a prime number?
False
Let m = 650 - 650. Suppose h = 2*x - 42521, -63771 = -m*x - 3*x - 2*h. Is x a composite number?
True
Let f(w) = -4*w - 173. Let m be f(-44). Let g be (-5)/(-3) - (-2)/6. Suppose -3*k = m*c - 2142, 0 = -4*k - g*c + 910 + 1956. Is k a composite number?
False
Let q(m) = m**2 - 9*m + 54. Suppose 8*k = 5*k - 33. Is q(k) a composite number?
True
Let f be 14/49 + 177790/35. Suppose 15603 - f = 5*l + h, 3*h + 2111 = l. Is l composite?
True
Is 322/(-77) - -4 - ((-307980)/(-22))/(-6) composite?
False
Suppose -5404*n = -5393*n + 1452. Let p(b) = -45*b. Let x be p(-5). Let u = n + x. Is u a prime number?
False
Suppose -m + 5734 = c, 3*c + 2*c - 28664 = -3*m. Is c a composite number?
True
Let k(b) = b**3 + 14*b**2 - 35*b - 48. Let h be k(-16). Suppose h = 26*z + 1642 - 18308. Is z prime?
True
Suppose -4*t = 3*z - t - 5145, 5*t + 6851 = 4*z. Suppose -2*n = -2*o - z, o + 1228 = 2*n - 488. Is n prime?
True
Let x = 187 - 183. Suppose 4 = x*u, 0 = 5*t + 3*u + 6221 - 25759. Is t a composite number?
False
Suppose -l + 2752 = 3*r, -3651 = -4*r + 4*l - 3. Let v be (-2)/(-3 - -2) + 146. Suppose -3*y - s = -r, 0 = -y - s + 454 - v. Is y a prime number?
False
Let l be (-1 + -178)/((-2 - 1)/(-6)). Let c be 5/25 - l/10. Is 43245/c - (-1)/(-4) prime?
True
Let l = 75 - 70. Suppose l*s - 79 - 41 = 0. Is ((-2)/(8/6))/(s/(-16976)) composite?
False
Let c(t) = 6*t**2 + 195*t - 619. Is c(76) a prime number?
True
Let s be 38 + (4/(-2) - -4). Suppose -9*t + 4*t = 20. Is 5/(t/37*(-10)/s) prime?
False
Let l(d) = -d + 2. Let u be l(0). Let a be (1224/(-714))/(10/(-14) + 1). Is (-2)/a + (1520/6)/u a prime number?
True
Suppose 5*q - 16 = -7*k + 3*k, 20 = q + 5*k. Suppose -16 + q = 4*c, -5*y + c = -66659. Is y prime?
True
Let f be 3/2*(-52)/6. Let v(p) be the third derivative of p**6/120 + 7*p**5/20 - 5*p**4/12 - 5*p**3/6 + 12*p**2. Is v(f) a prime number?
False
Let a(c) = -15680*c**3 + 2*c + 1. Is a(-1) composite?
False
Let s(i) = -4*i - 30. Let r be s(-9). Suppose j + 5*d = 198, -j = -r*d + 3*d - 166. Let v = j + -29. Is v composite?
False
Let s = 319 - 99. Suppose 0 = -n + 3*n + s. Let l = n - -1017. Is l composite?
False
Suppose 0 = 26*c - 34*c + 160. Is (104644/c)/(4/(-100)*-5) prime?
True
Suppose 4*r + 5*v - 15264 = 0, -8*v = -13*v. Suppose -7*a + 7804 = -r. Suppose -4*l + 1696 = -5*w, -w - 3*w + a = 4*l. Is l composite?
False
Let k(z) = -z**3 + 7*z**2 + 3*z - 21. Let w be k(7). Suppose w = -f + 4*p + 37501 - 10980, -2*f + p + 53007 = 0. Is f composite?
False
Let q = 12075 - 2916. Suppose q = b - 2210. Is b a prime number?
True
Let k(s) = -2551*s + 861. Is k(-8) composite?
False
Let f = -38105 + 119614. Is f composite?
False
Let l = -155714 + 354873. Is l prime?
False
Let a be (-639)/(-36) - (-2 - 21/(-12)). Suppose a*j = 30*j - 17484. Is j prime?
False
Let l(w) = -9*w + 45. Let i be l(5). Suppose i = -8*t + 21 - 5. Is (-8622)/4*(t + 16/(-6)) composite?
True
Suppose -10*h + 48752 = -2058. Suppose 2*v - h = -1795. Let d = 4530 - v. Is d a prime number?
True
Let m = -310 + 670. Let r = m - 206. Let q = r - -13. Is q composite?
False
Let u = 30684 + 83294. Is u a prime number?
False
Let d(g) = 743087*g**2 - g + 1. Is d(1) a prime number?
False
Suppose q - 2*r + 60872 = 205367, 0 = 4*q + 4*r - 577884. Is q prime?
True
Let m(i) = 29 - i**3 - i + 2*i**3 - 4*i + 4. Is m(4) prime?
False
Let u be ((-28)/13 - -2) + (-76)/(-494). Suppose u = -24*f + 92431 + 9977. Is f composite?
True
Let s be (-2796)/9*10/((-20)/3). Suppose -s*k = -460*k - 29826. Is k prime?
False
Let q = 297 - 1189. Let o = 1506 + q. Let g = 1237 - o. Is g composite?
True
Suppose -2*q - 32 = -42. Suppose 2*u + 3*w + 6 = 24, 3*w = -q*u + 27. Is (-1 + u)/((-4)/(-382)) composite?
False
Let q(n) = 7*n**2 - 7*n - 17. Let a(c) = c**2 - c - 1. Let p(z) = -6*a(z) + q(z). Suppose -5*i = -4*r - 47, -5*i + 0*i - r = -32. Is p(i) composite?
False
Let m(l) = 13*l + 18. Let k be m(-1). Suppose -3*n = -9 - 3, -k*n = -o + 1523. Is o prime?
True
Let u(q) = -3*q - 30. Let r be u(-10). Let s(i) = -i**3 - 2*i**2 - i + 4448. Let p be s(r). Suppose p = -7*h + 15193. Is h a composite number?
True
Let q(c) = 16*c**2 - 30*c + 2. Let z be q(2). Is (15706/z)/((-7)/(-42)) a composite number?
True
Suppose 3*l - 1124 = 4*m - 12822, -2*l - 7808 = -5*m. Let d = 1983 + l. Let g = d - -3098. Is g a composite number?
False
Let d(w) = -2*w - 21. Let a be d(-12). Suppose p - 2365 = -x + a*x, -4*x = 5*p - 11797. Suppose 204*j = 201*j + p. Is j prime?
True
Let d(l) = 54*l**3 - 3*l**2 - 15*l - 9. Let n be d(6). Let m = n + 2006. Is m prime?
True
Let g be 2/(-2 + (-30288)/(-15141)). Suppose 0*z - 3*s - 3759 = 3*z, 0 = -4*z + 3*s - g. Let x = z + 1761. Is x prime?
True
Let u(c) = -23*c**2 + 19 + c**3 - 2*c - 3*c**3 - 17*c + 10. Is u(-15) prime?
True
Let d(q) = -4*q + 292. Let t be d(-21). Let c(y) = -y**2 + 5*y + 3. Let v be c(4). Suppose -v = -3*k - 4, 0 = r - k - t. Is r composite?
True
Let r(c) be the second derivative of 21*c**4 + c**3 - 7*c**2/2 - 7*c + 7. Is r(1) a prime number?
True
Suppose -35*a - 20 = -39*a. Suppose 0 = -l + 4*v + 3403, -l + v - a*v + 3371 = 0. Is l a composite number?
True
Suppose -4*s + 342355 = 61*q - 58*q, -8 = -2*s. Is q a composite number?
False
Let a = -29 + 37. Suppose m - 5*j = -15, 5 = -j + a. Suppose -3*u - g = -416, -u - 2*g - g + 136 = m. Is u a composite number?
False
Suppose -1464914 = -9*g - 6*g - 7*g. Is g composite?
False
Let l(h) = h**2 + 4*h - 8. Let t be l(-7). Suppose -5*f - 8 = -t. Is 416 + 6 + 3/(f/(-1)) prime?
True
Let o = -434609 + 774930. Is o a prime number?
True
Let p(n) = -2846*n - 377. Is p(-11) a composite number?
True
Let v = -45 + 5. Let h be -7*(1 + v/28). Is (1400/24 - 6)*1*h a prime number?
True
Let o = -116 + 99. Let t(b) = -54*b - 41. Is t(o) a prime number?
True
Let p(u) = 3*u + 18. Let v(b) = -b**2 + 30. Let l be v(6). Let w be p(l). Suppose w = -4*d + 74 + 642. Is d a prime number?
True
Suppose -40*v - 4311006 = -145*v + 6058689. Is v composite?
True
Let r = -68262 + 104853. Is r prime?
False
Suppose 13*h = 12*h + 679. Suppose -7*c - 1218 = h. Let q = 462 + c. Is q a prime number?
True
Let v be ((-32)/