er?
True
Suppose -4*n + 808211 = 4*w - 7*n, 808186 = 4*w + 2*n. Is w prime?
True
Suppose -n + b + 0*b = -5729, n = -2*b + 5717. Suppose -u = 3*s - 20409, s - u - n - 1078 = 0. Is s prime?
True
Suppose -10684 = -7*i + 3*i. Suppose -3*b = i + 1025. Let l = 1819 + b. Is l composite?
False
Suppose k = 4, -5*k + 46 = 5*p - 4. Suppose 2*j - 702 = -4*g, j + p*g - 361 = 2*g. Let y = 846 + j. Is y a composite number?
False
Suppose 4*b + 5*k - 21 = 0, -3*b + 4*k = 2*k - 33. Is (0 - (-33)/b)*(-2 + 3581) prime?
False
Suppose -3*j + 9717 = 2*q, -5*j - q = -0*q - 16188. Let x be 200/(-3)*(-31 + 17 + -10). Let p = j - x. Is p composite?
False
Let c(w) = 44*w - 2. Let r be c(1). Let o = r - 35. Suppose -o*k + 10057 = 2448. Is k a composite number?
False
Suppose 0 = -2*g - 2*p + 4204, -g + 3*p = -1095 - 995. Is g prime?
True
Let k(f) = -f**3 + 14*f**2 + 15*f + 1. Let q be k(15). Let o(z) = -z. Let g(a) = 77*a + 86. Let l(v) = q*g(v) + 6*o(v). Is l(31) composite?
False
Let l = -18074 + 25823. Suppose -3*s + 4*y + l = 0, -3*s + 1161 = 2*y - 6570. Is s composite?
False
Let c(x) = -33*x**2 + 2*x**3 - 24 - 4*x**2 + 29 - 6*x + 21*x + 15*x. Is c(24) a composite number?
True
Let l(k) = -k**3 - 21*k**2 + 335*k + 67. Is l(-38) composite?
True
Let n(i) = -3347*i**2 + 41*i - 21. Let g(h) = 1672*h**2 - 20*h + 11. Let z(w) = -11*g(w) - 6*n(w). Is z(6) composite?
False
Let n(w) = w**3 - 49*w**2 - 177*w - 95. Is n(72) a prime number?
False
Let g be (3/(-12))/1 - 1914/24. Let r = -40 - g. Suppose -r = -4*j + 17524. Is j a composite number?
False
Suppose -3*j + 8 = j. Suppose -j*c - 17 = -11. Is (22232/21)/(-4)*c/2 prime?
True
Suppose 0 = 2*j - 3*j - 2*r + 4435, 0 = -2*j + 5*r + 8906. Let f = -929 - -934. Suppose -f*o = -j - 2022. Is o composite?
True
Suppose 23*f - 29*f = -14406. Suppose 5216 + f = 3*w. Is w prime?
True
Let g(c) = -7 + c - 3*c + c**2 - 2*c**2 + 8*c. Let u be g(3). Suppose u*r = 3*j + 3*r - 6882, 4*j - 3*r = 9163. Is j composite?
False
Let j(f) = -f**3 - 3*f**2 + 5*f + 4. Let q be j(-4). Suppose q = -5*p - 20 - 5. Is (0 - 422)/(p + 3) composite?
False
Let v(u) = 2*u**2 + 11*u - 4. Let l be v(-6). Let b be 1/(10/(-12))*(-115)/46. Suppose -165 = -b*s - l*s. Is s prime?
False
Suppose -3*p + 15 = 0, -4*f + p - 27 + 6 = 0. Let x be ((-2)/f)/(9/12186). Let o = x - -680. Is o composite?
True
Let n(q) = 9*q - 73. Let w(m) = -m. Let d(g) = n(g) - 2*w(g). Let l = 5228 + -5207. Is d(l) composite?
True
Let d(i) = 374310*i - 167. Is d(2) a composite number?
False
Suppose -5*p - p + 36 = 0. Let g(y) = y**3 - 6*y**2 + 2. Let t be g(p). Suppose -t*c + 3*c - 10 = 0. Is c a composite number?
True
Let d = 100275 - -920356. Is d composite?
False
Suppose -2*l + 33558 = 12*l. Let z = -1315 + l. Is z a prime number?
False
Suppose 5*c + 5 = 5*l - 10, 0 = l - 2. Is (-1425)/30*(c + 906/(-10)) prime?
False
Suppose 5*g = 266399 + 462606. Is g a composite number?
True
Let u(g) = 7*g**2 - g. Let o be u(-1). Suppose -o*i = -14*i. Is 2 + i - ((-4)/(-2) + -413) prime?
False
Let q(i) = 4200*i - 739. Is q(39) a composite number?
False
Suppose 27*q + 20 = 32*q. Suppose q*s - 778 = 866. Suppose -363 = -6*r + s. Is r a composite number?
True
Let i(v) be the second derivative of -1/2*v**2 - 1/3*v**3 + 23/10*v**5 + 1/6*v**4 + 0 + 9*v. Is i(2) a prime number?
False
Let s(o) = -5*o - 52. Let q be s(-11). Suppose -5*f + 4*f - 5 = -q*l, 5*f = 2*l - 25. Suppose -728 = -l*y - 8*y. Is y a composite number?
True
Let j(w) = 1702*w**2 - 187*w + 124. Is j(-17) prime?
True
Let b(y) = 2230*y + 13731. Is b(86) a prime number?
False
Let d = -91368 - -940127. Is d a prime number?
False
Let w = 286075 + 207924. Is w composite?
True
Let m(j) = 4*j**3 + 34*j**2 + 11*j + 7. Let t be m(-11). Let o(b) = 5*b**3 + 15*b**2 + 8*b + 1. Let c be o(-11). Let a = t - c. Is a composite?
True
Let j(t) = -8*t - 23. Let b be j(-9). Suppose 6*f = -b - 17. Let n(q) = -2*q**3 - 15*q**2 - 3*q + 15. Is n(f) prime?
False
Suppose 4*n + 5*c = 318, 420 = 4*n - 2*c + 88. Suppose n = o + 8. Suppose -6*p + 7*p = o. Is p a prime number?
False
Suppose 2*q + 18608 = 56242. Is q prime?
False
Suppose 37*y = 39*y. Is (724/12 - y)*(-36)/(-4) composite?
True
Let t be 986610/10 + (4 - -1) + -2. Suppose -33*a + 25*a + t = 0. Is a composite?
True
Let d = 6880 - -12241. Is d prime?
True
Suppose 2*v + 10060 = 5*v + z, -5*v + 16752 = -2*z. Suppose 4*g + 4*j - 8792 + v = 0, 5*j = g - 1366. Is g prime?
True
Suppose 0 = 121*l - 80*l - 13090685. Is l composite?
True
Let x = 54363 - 37894. Is x a prime number?
False
Let c = 304 - 302. Suppose -3*z + 5*m = -2*z - 2244, -2*z - c*m = -4548. Is z composite?
False
Let n(y) = -102*y - 19. Let a be n(-3). Suppose 0*i + i - 21 = 0. Suppose -a = -7*p - i. Is p a prime number?
False
Suppose 336*h - 127257244 = 128*h - 6847500. Is h a composite number?
True
Let k(a) = 39*a**2 + 87*a + 70. Let w be k(-42). Suppose 2*y - 7167 = -f + w, -f - 72369 = -2*y. Is y composite?
False
Suppose -2 = -d - 2*d + 2*a, 5 = -5*d - 5*a. Suppose -g - 13*m + 9*m + 2283 = d, -2*g + 4575 = -m. Is g prime?
True
Let n(l) be the first derivative of -l**4/4 - l**3/3 + 1973*l - 5. Is n(0) prime?
True
Let h be 3 + (-3)/(-3)*2423. Suppose 9*u - 931 - h = 0. Let f = 238 + u. Is f a composite number?
True
Is 1/(9/6) - (-4461847)/156*4 a composite number?
False
Suppose -4*t = -2*r - 746062, 3*t + r = 418668 + 140866. Is t composite?
True
Let p = 101 + -103. Is (660 - 31) + (3 + -1 - p) prime?
False
Suppose -51*m + 38429174 = 43*m. Is m prime?
False
Let v be (-89848)/(-20) - -5*(-10)/125. Let w = -2799 + v. Is w a prime number?
True
Suppose 710 - 98 = 9*h. Suppose 73*m = h*m + 21245. Is m composite?
True
Let g(t) be the third derivative of -t**4/3 - 209*t**3/6 - 6*t**2 - 2*t. Is g(-32) composite?
False
Suppose -111*m + 7973603 - 1291514 = 0. Is m a prime number?
False
Suppose u - 7062 = 2*u - 904981. Is u a prime number?
False
Let c be 84/(3 + (-235)/80). Let u = c + 289. Is u composite?
True
Suppose 9*l - 173968 - 237073 - 610648 = 0. Is l prime?
False
Is 924/616*232822/3 a prime number?
True
Let p(h) be the first derivative of h**4/2 - 2*h**3 + 6*h**2 + h - 3. Suppose 3*m - 2*v = -v + 23, -5*v = -5. Is p(m) prime?
False
Suppose -32*q + 23*q + 3870 = 0. Let f = q - -2275. Is f composite?
True
Let d(b) = -6*b - 3. Let u = -11 + 10. Let w be d(u). Suppose 5*m - 2*p = 1899, w*m - 4*p = 8*m - 1887. Is m prime?
True
Let d = -52 + 55. Suppose -5*s + n - 40 = -4*n, 0 = -3*s - d*n. Is (4 - 5)*13084/s a composite number?
False
Is 2 + 5/(-3) - (-18470746)/123 a prime number?
True
Let y(h) = -5417*h - 524. Is y(-3) prime?
True
Suppose 0 = -0*j + j + p - 2, 4*j = 4*p + 16. Suppose j*k = 3*f - 56 + 563, k + f = 179. Let d = k + -40. Is d a composite number?
True
Let c = 686224 + -401175. Is c a prime number?
True
Let c(k) be the third derivative of k**5/20 - 5*k**4/8 + 29*k**3/6 + 4*k**2. Is c(-34) a prime number?
True
Let w(j) = -127685*j + 3586. Is w(-5) a prime number?
True
Suppose -14*g - 85 = 69. Let m(d) = -34*d + 17. Let w(i) = -69*i + 33. Let s(o) = g*m(o) + 6*w(o). Is s(-5) a composite number?
False
Let f(q) be the second derivative of 22*q**3/3 + 209*q**2/2 - 95*q. Is f(21) composite?
True
Let s be 6*(3 + 25/(-10)). Suppose 0 = 2*a - 13*i + 15*i - 10756, -s*i = -2*a + 10771. Is a a composite number?
False
Let n(k) = 1041*k - 21. Let f(i) = 1043*i - 33. Let g(z) = -2*f(z) + 3*n(z). Let a(r) = -r**3 - 8*r**2 - 6*r + 9. Let t be a(-7). Is g(t) composite?
True
Let p be (-28)/(-5)*10*3/4. Suppose -p*w = -38*w - 652. Let n = 302 - w. Is n a prime number?
True
Suppose 0 = -17*l + 12083 + 265850. Is l prime?
True
Let u(z) = 320*z**2 - 13*z + 374. Is u(-25) a prime number?
True
Let g(u) = 180*u**2 - 64*u + 797. Is g(76) composite?
False
Suppose y + 18*s - 56007 = 14*s, -5*y = -4*s - 279987. Is y composite?
True
Suppose 0 = 153*k - 109*k - 2418196. Is k a composite number?
False
Suppose 55 = -3*m + 1873. Let r = -195 + m. Is r a composite number?
True
Is 3/(312/(-56) - -6) - -4552 a composite number?
True
Let l(o) = -192*o**3 - 14*o**2 + 13*o - 74. Is l(-7) a composite number?
True
Let k = 101152 + 3099813. Is k a prime number?
False
Let q = -4 + 4. Suppose q = b + 5*d - 16749, 3*b - 5*d - 65941 = -15594. Suppose 7*k = 3799 + b. Is k prime?
True
Suppose -155327 - 3