Let u(v) = -287*v**2 + 34*v - 44. Let d(m) = 5*t(m) + 2*u(m). Is d(-6) prime?
False
Let v(z) = 2310*z**2 + 642*z + 4511. Is v(-7) composite?
True
Suppose -8081 = 7*a + 81596. Let v = a + 21962. Is v a composite number?
False
Suppose -18 = 3*h, -4404726 = -6*d + 7*h - 3*h. Is d prime?
False
Let i(y) = -513*y - 115. Let l(s) = s. Let z(k) = i(k) + 5*l(k). Is z(-28) composite?
True
Let q(u) = 32*u**2 + 1. Let j(a) = -129*a**2 - 3. Let o(g) = -2*j(g) - 9*q(g). Let y be o(8). Is (-3)/9*1*y a composite number?
False
Let u = 17015 + -17011. Suppose -x - 8 + 3 = 2*v, -4*x + 2*v = -30. Suppose -3390 = -5*n + x*q, -u*n + q = 1070 - 3791. Is n prime?
False
Let g = 330302 + -234769. Is g a composite number?
True
Suppose 17*c - 1175937 + 125456 = 0. Is c a composite number?
True
Let z(j) = 1211*j**2 - 12*j - 61. Is z(-22) a composite number?
True
Let v(i) = 54*i**2 - 2*i + 17. Suppose -5*p + 2*b = -3*b + 30, -2*b + 30 = -5*p. Is v(p) a prime number?
True
Let u(d) = -5*d + 45*d**2 - 44*d**2 - 20*d**3 + 40 + 21*d**3. Is u(11) a composite number?
True
Suppose 0 = o - a - 5, -5*a + 9 = -6. Is 304/(-40) + o + 47406/10 a composite number?
True
Let j(v) = 2*v**2 + 13*v - 66. Let x be j(4). Suppose -16*i + x*i = 3126. Is i composite?
True
Suppose -x - 14 = -5*x + 2*v, 3 = 2*x - 5*v. Suppose 0 = 3*y + x*k - 30887, 2*y - 3*k - 20596 = -k. Is y composite?
True
Suppose -234*f + 178*f + 30810920 = 0. Is f a prime number?
False
Let b = -47 + 89. Let g = b + -42. Suppose g*v + v = 769. Is v a composite number?
False
Is 2/(15/14370*4) a prime number?
True
Let o(q) = q**2 - 4*q + 9. Let s be o(4). Let j(l) = -l**2 + 14*l - 5. Let v be j(s). Is (v/(-28))/(-5) + (-2147)/(-7) a composite number?
False
Let f(g) = -29*g + 147. Let k be f(5). Suppose -2*j - 2*v + 4 = -4*v, v + 8 = 3*j. Suppose k*b - 6 = 0, -73 = -3*w - j*b + 29. Is w a composite number?
False
Suppose -l = -792 + 250. Suppose 0 = l*w - 534*w - 16040. Is w a composite number?
True
Let j = -19352 + 46501. Is j a prime number?
False
Let y(a) = a**3 - 31*a**2 + 201*a - 22. Let p be y(9). Let f = -5 - -7. Suppose 0 = 5*j - f*h - 2241, -4*h + p*h = -j + 451. Is j prime?
True
Suppose -5*k - 2*b = -1551201, 574*k = 573*k - 3*b + 310261. Is k a prime number?
True
Suppose -56 = -3*v - 5*n, 2*v - 3 = 4*n + 5. Let f be -8 - -4 - (3 - v). Suppose -f*k + 2433 = 2*z, 3*k + 279 = z + 1741. Is k a prime number?
True
Suppose 3*s + 5*z - 14890 = 0, -s - 3*z - 9914 = -3*s. Let v = s - 2121. Is v a composite number?
True
Let y(u) = 19*u**2 + 2*u - 3. Let s = 86 - 84. Let o be y(s). Let x = o + 158. Is x prime?
False
Let q(c) = 27*c**3 + 8*c**2 + 5*c - 21. Let b(a) = -8*a + 5 + 5*a + 6 - 4*a**2 - 13*a**3. Let z(t) = -7*b(t) - 4*q(t). Is z(-3) composite?
True
Let l(v) = -13777*v - 26. Suppose -3*c = 357 - 354. Is l(c) composite?
False
Suppose -s = -4*x - 537, 2*x - 2*s = -166 - 104. Is (x + 7)*(-6 + -3 + 2) a composite number?
True
Let o(t) be the second derivative of -200*t**3/3 + 207*t**2/2 + t + 19. Is o(-26) composite?
False
Suppose 10*f + 72202 = 200012. Is f a composite number?
False
Let q = 103 + -97. Is q/(-18)*-1959 - (-1 - -1) a prime number?
True
Let g(y) = -1107*y**3 - y**2 - 5*y - 3. Let x be g(-2). Let f = x - 2699. Suppose -f = 8*r - 15848. Is r a prime number?
False
Let t(j) = j**2 - 19*j + 82. Let i be t(13). Suppose -i*b + 3371 + 14657 = 0. Is b composite?
False
Suppose 0 = -3*w + 2*o + 577603, -368*o + 367*o = 4*w - 770108. Is w prime?
True
Suppose -34*s = -27*s + 343091. Let w = -1678 - s. Is w prime?
False
Let d(u) = -2*u**3 - 11*u**2 + 22*u + 7. Let z be d(-7). Suppose 2*b - 8913 - 16649 = z. Suppose 4*l + b = 5*c, l - 4251 = -2*c + 864. Is c a composite number?
False
Suppose -25*i - 17*i + 2036762 = -1834504. Is i a prime number?
True
Let p = 1310556 + -744073. Is p composite?
True
Let t(q) = -4*q**3 + 8*q**2 + 3*q + 1. Let f(o) = 3*o - 2. Let z be f(-20). Let k = -68 - z. Is t(k) a composite number?
True
Suppose -p = -4*p - 4*n - 458, 4*n = -20. Let h be 12/(-8)*p/(-3). Is (-9)/(-18) + h*(-351)/6 composite?
False
Let b = 6926569 - 4830918. Is b composite?
False
Let a(g) = -7478*g - 235. Is a(-12) prime?
True
Is 16/2 + -565 + 26158 prime?
True
Let h(b) be the third derivative of -b**6/120 - b**5/30 + b**4/24 + 5*b**3/6 - 32*b**2. Let n be h(-2). Suppose -8*y + 3955 = -n*y. Is y a composite number?
True
Let v(y) = 2*y**2 + y - 1. Let t(m) = -3164*m**2 - 12*m - 3. Let u(f) = -t(f) - 4*v(f). Is u(-3) prime?
True
Suppose -2*l + 4*l + 8968 = 0. Let f = -2408 - l. Suppose 0 = -10*r + 16*r - f. Is r prime?
False
Let l be (-595)/34*(-774)/15. Is (l - (2 - 1)) + 7 + -2 composite?
False
Let z(x) = 404*x**3 - 420*x**3 + 19 - 2*x**2 - 18*x + 3*x**2. Is z(-8) composite?
False
Suppose 41 = -15*f + 92 - 21. Suppose 6 + 6 = 3*y. Suppose f*x - 5*d - 2398 = -d, 3*x = y*d + 3593. Is x composite?
True
Let x(r) = 8104*r - 307. Is x(14) prime?
True
Suppose 15*r = 257119 + 433616. Is r composite?
False
Suppose -54*f + l + 23 = -50*f, -4*l = f + 7. Suppose 3*v + f*z - 17237 = 0, -8*v + 17243 = -5*v + 2*z. Is v prime?
True
Suppose 66*t - 115709 - 69685 = 0. Is t composite?
True
Let v be 64/(-96) - (-24)/9. Let y(o) = -o - 2. Let l be y(-2). Suppose l = -v*r + 4*r - 116. Is r prime?
False
Is (-148)/(-12)*-2*(-7 + (-319187)/22) composite?
True
Suppose 8*s - 177 = 5*s. Let r be (s + 9)*1/4. Let z(m) = 24*m - 41. Is z(r) prime?
True
Suppose 3 = -2*s + 7. Let c be -4 - 1191*(-10)/30. Suppose -s*w + c = 61. Is w a prime number?
False
Suppose -6*l = -4*l. Suppose h + 2*s - 4 = -0*h, l = -h - 3*s + 6. Suppose -7*m + 3*m + 44 = h. Is m composite?
False
Let n = 23 + -26. Let l be 75/(-10)*4/n. Is 201 + 0 - (l + -10) prime?
False
Let o = -267337 + 694406. Is o prime?
True
Suppose -43*d + 15 = -48*d. Suppose -a + 4*s - 2*s = 800, -2*s + 4008 = -5*a. Is d - (a + 4/8*0) a composite number?
True
Let t be (1 - -1) + -1 - (-6)/3. Suppose -3*k - 5 = -t*m + 4, -3*k = -2*m + 4. Is (k - (-9764)/(-8))*-2 composite?
False
Suppose -h + 34000 = 4*g - 20629, -4*h - g + 218456 = 0. Is h composite?
True
Let l = 2131 + -943. Let f = -509 + l. Is f a prime number?
False
Suppose 4*p = -12*m - 2*m + 731362, -p - m = -182848. Is p a composite number?
False
Suppose 44*w - 51*w + 162085 = 0. Suppose 4*t + 1210 - 24362 = -4*k, 4*k = -t + w. Is k a composite number?
True
Suppose 27*c = 13*c - 33*c + 2043419. Is c composite?
True
Let s(j) = -20*j - 29. Let y be s(-6). Let t be (-14)/y + 59432/(-26). Is -3 + 14/2 - t/2 prime?
False
Let r = -48258 - -82979. Is r a prime number?
True
Let o = 45425 - 11398. Is o prime?
False
Suppose 2*n = z + 47953, -70*z = -3*n - 66*z + 71917. Is n a composite number?
True
Suppose -3*b = -3*a + 139644, -54*a + 53*a + 46553 = 4*b. Is a composite?
False
Let o(f) = 114*f + 1. Suppose g - 5 = -1. Is o(g) prime?
True
Let w = -78 + 77. Is (6234/18)/(w/(-3)) a composite number?
False
Let c(b) = 8185*b + 558. Is c(17) a prime number?
True
Let q(j) = 55*j**3 + 3*j**2 - 4*j - 5. Let f(p) = -54*p**3 - 2*p**2 + 4*p + 5. Let n(c) = 3*f(c) + 2*q(c). Is n(-2) a composite number?
True
Suppose -33218*n + 33234*n = 599888. Is n prime?
True
Let d(i) = i**2. Let c(n) = -31*n**3 - 2*n**2 - 3*n + 3. Let r(f) = -c(f) - 2*d(f). Is r(3) composite?
True
Let s(u) = 2*u**3 + u**2 - 2*u + 52807. Is s(0) prime?
True
Is 32869/(20/300*3) prime?
False
Let f(n) = 49*n**2 + 6*n + 22. Let b be f(-14). Suppose -s = 5*w - b, s + 4*w - 9*w = 9512. Is s prime?
False
Suppose 3*a + 17 - 23 = 0, 0 = -5*g + 4*a + 51497. Is g a prime number?
True
Suppose y - 10 - 15 = 0. Suppose 0 = 5*g + 5 + y. Is 3208/g*(5 - 13/2) composite?
True
Let b = 80756 - 48799. Is b a prime number?
True
Let t(z) = 614*z**3 + z - 2. Let i be t(7). Is (i/(-94))/(-1 - (-2)/4) prime?
True
Suppose 0*q = -3*q + 234906. Suppose q + 5914 = -4*t. Is (-4)/10 + t/(-10) composite?
True
Let v(q) be the third derivative of 391*q**4/6 - 11*q**3/6 - 108*q**2. Is v(3) a composite number?
True
Let v = -182 + 175. Is 1018/8*(-196)/v prime?
False
Let j(b) = 111*b + 13. Let d be j(-19). Let n = 2949 + d. Is n prime?
True
Is (10/8)/5 - 22/((-792)/1160811) a prime number?
False
Let n(j) = -22088*j - 8501. Is n(-5) a composite number?
False
Suppose -7419 + 622642 = 7*t. Is t composite?
True
Let z be (-63)/(1 + 2)*(8 + -42). Let y 