v a composite number?
True
Let q(n) = -n**2 + 23*n - 20. Let k be q(17). Let x = k - 78. Is -3 - (2915/10)/((-1)/x) composite?
False
Let f(b) = b**3 - 5*b**2 - 12*b - 5. Let d be f(6). Let u = d + 46. Suppose q - 17 = -0*q + u*k, 3*q + 5*k - 11 = 0. Is q composite?
False
Let a be 24/5*(-90)/(-27). Suppose -n + 0*v + 2*v - 2 = 0, -n - 4*v = -a. Suppose -2*u - n*x = -u - 2207, -x = -1. Is u a composite number?
False
Suppose -1249325 = 30*p - 35*p + 3*j, 0 = j. Is 9/12*(p/21 + -1) a composite number?
False
Let o be -5 - (5 - 6845/(-5)). Let x = o - -4302. Is x composite?
True
Suppose 4*s + 5043797 = 3*r, 0 = 5*r + 5*s - 1029437 - 7376938. Is r prime?
True
Let y(z) = -z**3 - 9*z**2 - 12*z - 11. Let b be y(-8). Let d be b/(-35) + (-4956)/(-10). Let k = d - 278. Is k a composite number?
True
Suppose -3*f + 1997124 = 2*o - 499749, 3329164 = 4*f + o. Is f composite?
False
Let n = -7924 + 27585. Is n a composite number?
False
Suppose r = 3*r - u - 455, 0 = -3*r - 2*u + 665. Let j be r + 6/3 + -5. Suppose -j = -12*v + 10*v. Is v a composite number?
True
Let g = 186 + -173. Let v(f) = -f**3 + 3*f - 5 + 22*f**2 - 6*f**2 + 0*f**3. Is v(g) a prime number?
True
Let o = 136737 + -83094. Is o a prime number?
False
Is 2/(((-3)/5)/(522567/(-30) - -15)) prime?
True
Suppose 0 = 30*z - 37*z + 14. Suppose 2*h + 5*w - 20194 = 0, 0*h - z*w + 20200 = 2*h. Is h composite?
True
Let h = -103683 - -176848. Is h composite?
True
Suppose 352*t = 221*t + 476709. Is t composite?
True
Let z be ((-21)/(-6) - 4)*1166. Let i = 200 + z. Let f = i - -790. Is f a composite number?
True
Suppose 38*q - 282*q = -101596476. Is q prime?
False
Suppose -3*h - 131 = 4*x, 2*h + 52 + 38 = -2*x. Let f = 51 + h. Suppose -53 = -3*j + f*j. Is j prime?
True
Let o(s) = -6*s**2 + 1746*s - 79. Is o(76) prime?
True
Suppose 0 = -646*o + 643*o + 42. Is 408/476 - (-126422)/o a prime number?
False
Is ((-15524700)/(-1000)*(-4)/6)/((-1)/5) a composite number?
False
Let u = -643 + 1225. Let j = u - -1219. Is j a composite number?
False
Suppose -10*d + 7517 = 94577. Let c = 16049 + d. Is c prime?
False
Is (138/(-12) + 11)/(5/(2 + -5512812)) a prime number?
True
Let l be (-880)/(-154) + -1 + 27/21. Suppose 11*b - l*b = 11605. Is b prime?
False
Suppose -3 = -3*l - 0*h + h, 2*l + h = -3. Suppose v + l*v = 4*j + 2816, -5*v - 2089 = 3*j. Let w = -368 - j. Is w a composite number?
True
Let u be 10*5/(9 + 1). Suppose 0 = -u*y - 7*y - 12576. Let f = y - -2447. Is f a prime number?
True
Let d be (-28)/(-7)*(373 + 3 + -3). Suppose -9*r - d = -11*r. Is r a composite number?
True
Let k(f) = -34343*f**3 - 17*f**2 - 18*f + 11. Is k(-2) a prime number?
True
Let n(f) be the second derivative of 29*f**4/4 - 25*f**3/6 + 103*f**2/2 - 13*f. Is n(5) composite?
False
Let o = -542846 + 1035055. Is o a composite number?
True
Suppose -4*y + 5*j = -4415, -2*y + 4*y - 2191 = -3*j. Suppose l + 6226 = 3*k + y, 4*k - 6833 = 3*l. Is k a prime number?
True
Let z = 233046 + -15077. Is z a composite number?
False
Let k(d) = 4*d**3 - 2*d**2 - 10*d + 11. Let w be k(1). Suppose 19066 = w*r + 4*c - 5735, 0 = 3*r - 2*c - 24783. Is r a prime number?
True
Suppose 3*u + 7 = 25. Suppose -276 = 4*h - u*h. Suppose 0*z + h = 3*z. Is z a prime number?
False
Let b = -5874 + 18815. Is b prime?
True
Let y(a) = -13*a**3 - 4*a + 20*a**3 - 57*a**3 + 1 - 37*a**3 + 3*a - 2*a**2. Let g = -3 + 2. Is y(g) prime?
False
Suppose -4*o + 3022359 = -8*s - 1134261, -2*s - 2078296 = -2*o. Is o composite?
True
Let z be (-4)/22 - (-460)/110. Suppose -z*i + 13 = 9. Is (i*-1)/((-4)/((-10884)/(-3))) a composite number?
False
Let u(s) = -123*s + 22. Let v = 669 + -682. Is u(v) composite?
False
Let f(o) be the third derivative of 75*o**6/4 - o**4/12 + o**3/6 + 56*o**2. Is f(1) a prime number?
False
Let v = -56753 - -1028302. Is v prime?
True
Let a be 2*((-4)/(8/(-171)) - 4). Suppose a - 502 = -3*t. Is t a prime number?
True
Let f(c) = 2*c**2 + 3*c + 4. Let y be f(-1). Let d(i) = 782*i - 2. Let g be d(y). Suppose 3*k + 853 = 3*m - 908, g = 4*m - 3*k. Is m prime?
False
Is ((-363)/44)/((-27)/363708) a prime number?
False
Let s(j) = -10*j**3 + 35*j**2 + 493*j - 13. Is s(-12) prime?
False
Let p(n) = -5*n + 5. Let o be p(1). Suppose -6*g + 33*g - 229203 = o. Is g a composite number?
True
Let q(x) = -1911*x - 10. Suppose -5 = 10*l + 5. Is q(l) composite?
False
Suppose 4*f - 314 = -98. Suppose 18*q + 127836 = f*q. Is q a composite number?
True
Suppose 3*x - 5*f - 116 = 0, -2*x - 5*f + 8*f = -76. Suppose x*q - 126158 - 126738 = 0. Is q a prime number?
False
Let v = -94 + 102. Suppose a = -2*a - 4*w + v, -3*w + 11 = a. Is a/6*108159/(-62) prime?
True
Is (-26)/(-65)*(-484465)/(-2) a prime number?
True
Let y = 47 + -43. Suppose -y*c = -4872 + 13136. Let k = 171 - c. Is k composite?
False
Suppose -2*g - 89854 = -4*c, -3*c + 98*g = 95*g - 67392. Is c prime?
False
Is (-22)/(-1 - 1) + (343430 - 698) composite?
True
Let y = 198994 + -110273. Is y prime?
True
Suppose -6*h + 11*h - 22145 = 0. Suppose -2*i = 15157 - h. Let g = 9005 + i. Is g composite?
True
Let x(o) be the third derivative of 651*o**5/10 + o**3/6 + 65*o**2. Is x(1) a prime number?
True
Let h = 875 + -840. Suppose -20*b + h*b = 136095. Is b a composite number?
True
Let c(v) = 2*v**3 + 13*v**2 - 10*v - 16. Let k be c(-7). Let u(r) = 70*r**2 - 8*r + 11. Is u(k) a prime number?
True
Suppose -3408433 = 281*h - 294*h + g, 0 = g + 2. Is h a prime number?
True
Let n be 6*(-5)/(-15) - -54. Let v = -74 + n. Is -9*3/v + 171/2 a prime number?
False
Suppose -5*y + 20 = -0*y. Let m be 2/((-2 + -2)/y)*-2. Suppose 0 = -m*t + 903 + 93. Is t a prime number?
False
Let p be (0 - (-21)/3)*77. Suppose 2*k + 5 + 2 = 3*d, -5*d - k = -29. Suppose -1120 = -d*a - 5*u, -3*a + p + 126 = -4*u. Is a a prime number?
True
Suppose 4*r - 4*t - 723276 = 288444, 4*r - 5*t - 1011713 = 0. Is r a prime number?
True
Let m(b) = 108438*b + 1091. Is m(5) a composite number?
False
Let z(p) = p**3 - p**2 + 2*p + 97. Let m be z(0). Let u = m + 168. Is u a composite number?
True
Suppose 10786746 = -21*w + 19028943 + 18688518. Is w a prime number?
False
Let j be 6*((-128)/12)/(-8). Suppose 4*x = j*x - 2564. Is x composite?
False
Suppose 88*x - 83*x = 4*b - 1737796, -x = b - 434467. Is b prime?
True
Let q be (7 + 507/(-2))*-74. Suppose -12139 = -2*h + 2*v + v, 2*v = -3*h + q. Is h prime?
False
Let v = 767713 + -466934. Is v a prime number?
True
Suppose -4*g = 23 - 11. Let p(j) = 348*j**2 + 9*j + 4. Is p(g) a prime number?
True
Is -29794*-1*(4 + (-14)/4) a composite number?
False
Let r(h) = h**3 - 11*h**2 - 12*h - 1. Suppose -48 = 3*o - 7*o. Let d be r(o). Is (-60800)/(-30) - d/3 prime?
True
Let f(i) = -i + 17. Let l be f(12). Suppose -5*a + 21911 = 3*c, -5*a + a = -16. Suppose -l*x = -k + 1828, 3*k - 5*x - c = -k. Is k a prime number?
True
Suppose 0 = -8*y - 14035 + 90939. Is y a composite number?
False
Suppose -466 + 1289 = -q. Let m = q - -1764. Is m a prime number?
True
Suppose u = -3*a + 187687, -2*u + 63270 = 5*a - 312108. Is u prime?
True
Let g(b) = -2*b - 14*b + 103 + b**2 - 84 + 3*b. Let w be g(13). Suppose w*a - 20*a + 113 = 0. Is a a composite number?
False
Let a be 4/1*(-15)/(-2). Suppose -k = 9*k - a. Suppose 4*n = -k*n + 2093. Is n a prime number?
False
Let u be 6/(-4)*(-15528)/(-18). Let f = u - -859. Is f*((-21)/9)/7 prime?
False
Let a = -65 + 50. Is 151*(7 + a + 15) prime?
False
Let d = 235150 - 108027. Is d prime?
True
Let l be 8*((-10)/(-2) + -4). Let y = -9 + l. Is (-6 - 214/(-6))*(10 + y) a prime number?
False
Suppose 32*i - 128 = 30*i. Let c = 64 - i. Suppose 2*m + 0*v + 4*v = 1474, c = -5*m - 5*v + 3670. Is m a composite number?
True
Suppose u + 907 + 5130 = 0. Let d = -2990 - u. Let c = d + -1788. Is c a composite number?
False
Suppose -18 = -7*x + 17. Suppose -593 = -r + 2*v, 7*v = x*r + 4*v - 2944. Is r a prime number?
True
Let n(p) = 23*p**3 - p**2 + 3*p - 2. Let l be n(1). Suppose m + 20 = l. Suppose 5 = r + 10, -65 = -2*o + m*r. Is o a prime number?
False
Let t(f) = f**3 + 16*f**2 + 28*f. Let u be t(-14). Is (1 + u)*(-26627 + 6)/(-7) composite?
False
Let t = 81825 - -164618. Is t composite?
True
Let h(g) = 223902*g**2 - 159*g - 158. Is h(-1) a prime number?
True
Let x(j) = -2149*j + 107. Let o(a) = 4296*a - 210. Let r(s) = -3*o(s) - 7*x(s). Is r(4) com