?
True
Let s(p) = p**2 - p - 1. Let w(z) = 188*z**2 + 10*z + 17. Let f(o) = 2*s(o) + w(o). Is f(11) prime?
False
Suppose -34*s - 5*i = -29*s - 569400, 0 = -s - 8*i + 113929. Is s a composite number?
True
Let j(f) = 47*f**3 + f**2 - 2*f + 2. Let b be j(-3). Let x = b + 1893. Is x composite?
False
Is 3080/(-220) + (-133395)/(-1) composite?
True
Suppose 167*l = 159*l + 16. Suppose n + 5*f = -11 - 11, 0 = -2*n + f + 11. Suppose n*t = -l*t + 265. Is t a composite number?
False
Let i be 2/8 - (-1547)/52. Let h be ((-5)/(-2) + -1)/(i/25020). Suppose -3*f + s + 3752 = -4*s, -2*s = -f + h. Is f a composite number?
False
Suppose -3*u - 20 = -5*b, -11*u + 9*u - 35 = b. Is ((-5)/u)/(2/498) prime?
True
Let i = -67 - -47. Suppose -2*m + m + 3*q - 7 = 0, -27 = -4*m + q. Is (-2268)/i - m/20 composite?
False
Let u be (-952434)/(-13) + 4/(-26). Suppose u = 10*n - 9796. Is n a prime number?
False
Suppose -2*q - 4*c + 34 = 0, -2*c = 3*q - 3*c - 16. Suppose -14*z + 35 - q = 0. Suppose z*m - 1214 = 344. Is m composite?
True
Suppose -5*z - 614622 = -5*z - 6*z. Is z a composite number?
False
Let r(f) = -4377*f + 319. Let v(l) = 2189*l - 146. Let h(t) = 5*r(t) + 11*v(t). Suppose -w + 5*z = -7 - 5, 3*z = -6. Is h(w) a prime number?
False
Let n be 5/(-75)*735873 - 1/(-5). Let t = -23535 - n. Is t composite?
False
Let y = -900 + 903. Is (1 + 84344/y)/(7/21) composite?
False
Suppose 92 = 24*f - 4. Suppose f*x - x - 10779 = 0. Is x a prime number?
True
Suppose t + 2*a - 201429 = 0, -2*t + 5*a = -215065 - 187757. Is t composite?
True
Suppose 4710 = 4*r - 3*v, 0*v - 1170 = -r - 3*v. Suppose -4*t = 3*t - r. Let s = -19 + t. Is s prime?
True
Let m be -4 + (-5)/5*(0 + 1). Let s(o) be the third derivative of -7*o**4/3 - 29*o**3/6 + 3*o**2. Is s(m) a composite number?
False
Let r(t) be the first derivative of -2*t**2 - 15*t + 30. Let b be r(-4). Is (8 + -7)*((1 - b) + 1077) a prime number?
False
Is -3*(9/((-243)/4302972) + -6 - 1) a composite number?
False
Suppose -2*q + 5*t = -91, 0 = -3*q - 0*q - 2*t + 184. Let m = q + -56. Suppose 2*d + 5*r - 832 = 0, -m*d - 5*r = 2*d - 1654. Is d composite?
True
Suppose 51*l - 74*l + 2807587 = 0. Is l composite?
False
Let w(r) = 7*r**2 + 86 - 2 + 96 - 10 - 2*r**2. Is w(-33) a prime number?
False
Suppose h - 4*r + 9 = -0*h, 4*h - 4*r = 0. Suppose -10 = -2*z, -m + 3*m - 1907 = -h*z. Let x = -175 + m. Is x a composite number?
True
Let h = 131 + -53. Let d = 2857 - 2280. Let t = h + d. Is t composite?
True
Suppose 108*r = 111*r - b - 34009, -4*r + 4*b + 45356 = 0. Is r a composite number?
True
Suppose -360 = -2*m + 2*i + 198, -3*i - 1405 = -5*m. Let l = 230 + m. Let t = l - -205. Is t composite?
False
Let r(w) = -6*w**2 - 7*w**2 - 49 - 3*w + 12*w**2. Let m be r(24). Let t = 1616 + m. Is t a prime number?
True
Let s = 188746 - 92987. Is s a composite number?
True
Suppose 4*l - 12 = -0*d - 3*d, 3*l = -9. Let s(r) = 245*r - 113. Is s(d) a composite number?
False
Let x(s) = -33246*s + 587. Is x(-6) prime?
True
Suppose 4*o + 2984 = 176. Let y = o - -11429. Is y a prime number?
False
Let x = 121 - 55. Let s = -65 + x. Is s/(1 + (-290)/295) a composite number?
False
Let l(n) = 9*n**3 + n**2. Let i be l(1). Let a be 72/48 - (-1 - i/(-4)). Suppose a = -5*p + 2*z + 9927, -8812 + 2867 = -3*p + 4*z. Is p a prime number?
True
Suppose -46*v + 49*v + 5*w = 2885659, 3*v + 3*w - 2885643 = 0. Is v a composite number?
True
Let b(f) be the second derivative of -f**7/2520 + 31*f**6/720 - 11*f**5/120 - f**4/4 + 9*f. Let o(d) be the third derivative of b(d). Is o(9) prime?
False
Let b(j) = 395*j**2 - 5*j - 443. Is b(-23) prime?
True
Suppose 0 = -4*b + 20, -5*g + g = -2*b - 3047234. Is g a composite number?
True
Is (((-15896)/3)/4)/(61/(348615/(-30))) a composite number?
True
Is 236934/72*204/(-18)*-6 a composite number?
True
Suppose 21*f - 4*f = -31365. Let v = f - -7964. Is v composite?
True
Let g(a) = 3*a**2 - 1. Suppose 2*j = 41 - 39. Let u be g(j). Is 1*1366*u/4 prime?
True
Is 195/60*55370 - (45/6)/(-5) prime?
False
Let s be 578 - (1020/270 + 2/9). Is 146042/s - 3/7 prime?
False
Let d = 15 - -25. Is (-7328)/(-5) - (-16)/d composite?
True
Is (5/60 - 735/180) + 451853 a prime number?
False
Let r(n) = -56*n**3 + 4*n**2 + 9*n - 10. Let p(t) = -t - 3. Let f be p(2). Is r(f) a composite number?
True
Suppose -12*j + 8 = -16. Is 20/(-90)*-723*21/j a prime number?
False
Suppose 53*o - 26470683 = -6*o + 94055284. Is o prime?
True
Is 10354904/51 - 35/(-21) a prime number?
True
Let w(s) = 6270*s**2 + 84*s + 629. Is w(-9) a composite number?
False
Let y(q) = -q**2 - 6*q - 3. Let x be y(-4). Suppose -2*m - s = -16, -2*m - x*s + 14 + 18 = 0. Let r(f) = 67*f - 8. Is r(m) a prime number?
False
Suppose x + 4*v - 96791 = 158056, -4*v + 1274219 = 5*x. Is x prime?
False
Suppose -6*a = -3693 + 1413. Let f be a/(-6) + (-6)/9. Is (-6)/(-10) - (-43)/(-5)*f a composite number?
True
Suppose -11*s = 418449 - 1409780. Is s a composite number?
False
Let m(x) = x**3 - 25*x**2 - 27*x + 28. Let f be m(26). Let a(k) = -k**2 + 3*k + 1. Let s be a(f). Suppose -s*j + 1353 = 216. Is j a composite number?
False
Let r(p) = -17*p**3 + 3*p**2 - 11*p + 25. Let b be r(7). Let l = -1559 - b. Is l composite?
False
Let j = -559865 + 1015648. Is j composite?
False
Let t = -14602 - -37791. Is t composite?
False
Suppose -132*o + 9283145 = 313*o. Is o prime?
False
Suppose 5*z - 18 = -u, 3*u - 12*z = -9*z. Let n(o) = 3*o**3 - o**2 - 9*o. Let r be n(7). Suppose -r = -3*b - t, t + 4*t = -u*b + 901. Is b a composite number?
False
Let q(h) = h**2 - 26*h + 85. Let l be q(4). Is 79065/27 + -2*(-2)/l a composite number?
False
Suppose -y + 325343 = -2*r, 3*y - 20*r + 24*r - 975979 = 0. Is y composite?
False
Let q be (-11)/(165/702)*40/(-6). Let b be -2 - q/(-14) - 26/91. Suppose b*i - 17*i - 1017 = 0. Is i composite?
True
Let r(d) be the second derivative of -31511*d**5/20 - d**4/6 + d**3/6 + 3*d**2/2 + 19*d + 2. Is r(-1) a prime number?
True
Let d(s) = 142*s**2 + 5*s + 17. Let n be d(8). Suppose n + 66510 = 5*z. Is z a prime number?
True
Let v(s) = 114*s - 100. Let j(b) = 113*b - 103. Let u(h) = 3*j(h) - 2*v(h). Is u(26) composite?
False
Suppose 0 = 3*a + 2*u + 59139 - 8834, 4*a - u = -67077. Let x = a - -24220. Is x a composite number?
False
Let k(x) = 8884*x + 3. Let z(y) = -y**3 + 14*y**2 + 13*y + 31. Let f be z(15). Is k(f) a composite number?
False
Suppose 3*b = 43*b - 601720. Suppose -52*v + 45*v = -b. Is v a prime number?
False
Suppose 0 = 971*o - 973*o + 40876. Let g = o + -14487. Is g a composite number?
True
Let p = -36422 - -23663. Let v = p - -22170. Is v composite?
True
Let h(q) = -4*q**2 - 5*q - 4. Let f be h(-6). Let y = f - -123. Let r(b) = 12*b + 25. Is r(y) a composite number?
True
Let v(m) = m**2 + 3*m - 10. Let n be v(5). Suppose 0 = -0*x + 6*x - n. Suppose -5*d = 5*z - 6015, x*z - 6027 = -d - d. Is z composite?
True
Suppose o - 8743 = -2*h, h - 40*o + 45*o - 4358 = 0. Is h prime?
True
Let f(h) = -28641*h**2 - 3*h + 2. Let c be f(2). Let k = c + 39594. Is (1/(-2))/(19/k) prime?
True
Let n = 3361 + 50182. Is n a prime number?
False
Suppose -3*j = 3*k - 354087, -5*j = -2*j + 4*k - 354083. Is j a prime number?
True
Let g = 26 - 23. Suppose 0 = -g*d - 2*d - 3*m + 19, -2*d + m = -1. Suppose -d*k + 89 + 217 = 4*r, -3*r = 4*k - 602. Is k composite?
False
Suppose -23*f - 4 = -26*f + b, -5*f = 4*b - 18. Suppose f*d - 16*k + 12*k - 10290 = 0, -2*d + 10289 = -5*k. Is d a prime number?
True
Let u(d) = -90*d + 1. Let r be u(-7). Suppose -4*z = r - 3703. Let k = z - 505. Is k a composite number?
False
Let a(r) be the first derivative of 17*r**2 + 78*r - 63. Is a(4) composite?
True
Let t(s) = 1928*s + 27. Let v be t(-5). Is 8/(-12) - 4/(-6) - v a composite number?
False
Let d be 3/(-4)*1 - 12/(-16). Suppose 6*u - 2247 - 15327 = d. Is u a prime number?
False
Let l(s) = 13*s + 156. Let d be l(-12). Suppose d = -98*o + 94*o + 35548. Is o a prime number?
True
Let o(q) = 58*q**3 + q**2 + 11*q - 8. Let u(j) = -j**3 + j**2 + j - 1. Let t(i) = o(i) - 5*u(i). Is t(4) a prime number?
True
Let a(z) = 184*z**2 - 11*z + 65. Is a(10) a composite number?
True
Is (-2 - -3)*(-3 - -2 - 464352/(-8)) prime?
True
Let a = 38507 + 7986. Is a a composite number?
True
Let z(b) = b**2 - 11*b + 18. Let x be z(2). Suppose x = 12*y - 22*y + 