4*x - 3823 = 0. Is w composite?
True
Suppose 0*b - 4*b = 2*u - 2952, -3*u = -12. Suppose m = 5*z - 2938 + 1085, 3*m + b = 2*z. Is z prime?
False
Let p(o) be the first derivative of -11*o**4/4 - 2*o**3/3 + o**2/2 - o + 718. Suppose 0 = 5*x + 5 + 5. Is p(x) prime?
False
Is (58 + -59)/((-6)/4*(-2)/(-401073)) a composite number?
False
Let n(z) = z**3 + 8*z**2 + 2*z - 1. Let j be n(-7). Suppose 0 = 5*o + 24 - j. Suppose -3078 = -2*y - o*i, -3*y + 6152 = y + 5*i. Is y a composite number?
False
Let t = 7895 + 3132. Is t composite?
False
Let i(s) = -10*s + 148. Let p be i(15). Let n(v) = -128*v**3 - 4*v**2 + 4*v + 3. Is n(p) a composite number?
True
Let w(f) = 18*f**3 - 29*f**2 - 41*f - 5. Is w(12) a prime number?
True
Suppose -6*m - m = -49. Suppose y + 0 + m = 5*u, 2*y = 4*u - 2. Is 2 - (u + -1) - (20 - 228) prime?
False
Let x be 40/6 - 20/30. Let w(s) = -s**2 + 12*s - 31. Let i be w(x). Is 157 - i - (4 - 9) prime?
True
Is (-12)/(1632/(-1063027)) - 30/(-48) composite?
False
Let g = -681 - -1218. Suppose -6*h - 1106 = h. Let m = h + g. Is m prime?
True
Let b be 29/4 + (-4)/16. Suppose -11*a + b*a = -2116. Let c = a - 308. Is c composite?
True
Is ((-554874)/(-8))/((-3)/(-4)) composite?
False
Let r = 81 + -180. Let i = -103 - r. Is (-1)/(i/12 + 0) + 3758 composite?
False
Suppose 3*z + 2*z + 3*t = 7896, -5*z + 7894 = 2*t. Let k = 7209 - z. Is k a composite number?
True
Suppose 9*y + 10*y = 3*y + 532720. Is y a prime number?
False
Let t = -706 - -720. Suppose -4*w - 19*l + 1733 = -t*l, -2*l + 868 = 2*w. Is w a composite number?
True
Suppose -16*h + 9533 = -15*h. Suppose 22*t - 23*t + h = 0. Is t composite?
False
Suppose 0 = -3*o + 2*o + 3. Suppose x + 4*w - 1280 = 1239, 7602 = o*x + 3*w. Is x a prime number?
True
Let b(i) = i**2 + 19*i + 68. Let x be b(-15). Suppose -z - 46109 = -x*z. Is z a prime number?
False
Let z(m) = -3*m**3 + 5*m**2 - 4*m - 16. Let i be z(6). Let v = i + 55. Let g = 812 + v. Is g a composite number?
False
Suppose 0*k + k - 99015 = 70736. Is k composite?
False
Let m(r) = r**3 - 8*r**2 + 10*r + 2. Let a be m(7). Suppose -5*x + 2 + a = 0. Suppose x*w + 16353 = 14*w. Is w a composite number?
True
Let i(f) = 1100*f**2 - 47*f + 91. Is i(2) a composite number?
False
Let a = 378100 - 220029. Is a prime?
True
Suppose 0*d + 18616 = 13*d. Let j = -1021 + d. Is j composite?
True
Suppose -2*l - 3*m + 959 = 0, l + 3*l = -m + 1933. Let i = 743 + l. Is i a composite number?
True
Suppose b - 26 = 5*m - 7, -3*m + 3 = 3*b. Let u be b/24 - 34/(-12). Suppose -a = -u*a + 1946. Is a a prime number?
False
Let l(j) = 2*j + 16. Let k be l(-13). Let d(z) = -11*z**3 - z + 9. Let p be d(-3). Is (k/(-30))/(1/p) a composite number?
False
Suppose 0 = 49*i - 1787315 - 6190130. Is i a prime number?
False
Let f be 3 + 3 - -4*(-5 - -4). Suppose -42654 = r - 5*r + 2*u, -5*r - f*u = -53313. Is r a composite number?
False
Suppose 0*n = 5*n - 10. Let t = 1463 + -1168. Suppose -n*v + 0*v - t = -3*k, 5*v - 475 = -5*k. Is k prime?
True
Let t be (-2440)/(-4) - (0 + -1 + -4). Suppose 0 = 3*w - 6*w - 5*i + t, 0 = 5*w + 2*i - 1025. Is w a composite number?
True
Suppose 5*v - 3*z + 1612 = 0, -v - 5*z - 161 - 167 = 0. Let s = v - -1416. Suppose s - 207 = 2*b. Is b a composite number?
False
Suppose 5*q = 2*x + 8042, -3*q + 7*q = -4*x + 6428. Suppose -q - 1163 = -r. Is r a prime number?
False
Is (451864/112*(11 - 0))/((-1)/(-2)) a composite number?
True
Let r(l) = -13*l**3 - 56*l**2 + 204*l + 44. Is r(-27) a prime number?
False
Let a(i) = -3*i + 406. Let p be a(0). Suppose 0 = -2*o - 400 - 126. Let y = p + o. Is y a composite number?
True
Let t(w) = 5354*w**2 + 5*w + 30. Is t(-3) a composite number?
True
Let r = -467 - -526. Suppose 2*w + j - 321 = 0, w - r = -3*j + 99. Is w prime?
False
Suppose h + 58 = 5*s, -2*h - 44 = -12*s + 8*s. Suppose 5*v - 5*n + 16248 - 64613 = 0, -3*n + s = 0. Is v a composite number?
False
Suppose -2*h + 3*u = -147613, 25*h - 28*h = 5*u - 221448. Is h a composite number?
True
Suppose -6*a + 119*a = 58631378 + 171517191. Is a a prime number?
False
Let a(d) be the third derivative of -593*d**4/24 + 20*d**3/3 - 9*d**2 - 1. Is a(-1) composite?
True
Let o(r) = -8*r**3 + 3*r**2 + 30*r + 27. Is o(-16) a prime number?
True
Suppose 2864582 = 118*p - 90*p - 518910. Is p a composite number?
True
Suppose -40*s + 11792294 = 825158 - 12465584. Is s prime?
False
Let j be (-6)/14 - 436617/(-63). Suppose -53*p - j = -58*p. Let o = 53 + p. Is o a composite number?
False
Let m = 0 - -1. Suppose 2*h - 21 = -q + 58, m = h. Is q composite?
True
Let w = -25 + 27. Let h(b) = -w*b + b**2 - 3*b**2 + 3 + 20 + 6*b**2. Is h(-8) composite?
True
Suppose 0 = -4*d - 409*c + 404*c + 107661, 3*c = 6*d - 161481. Is d a composite number?
True
Suppose 31535 = -4*v + 1224555. Is v a prime number?
False
Suppose w + 15 - 23 = 0. Let r(j) = -6*j + 25*j + w*j + 35*j - 3. Is r(5) a prime number?
True
Let b be (43 + -31)/(4/(-2)). Is 2800 - (-4)/(8/b) a prime number?
True
Let k be (0 - 3/15) + 26/5. Suppose -4*b = -0*b + k*r - 1172, 4*b - 2*r = 1172. Is b a composite number?
False
Suppose 0 = -4*f - 20, 2*z - 2*f + 7*f = 85981. Is z prime?
True
Suppose 0 = 5*v + 4*i - 112, 2*v - 2*i - 75 = -23. Suppose -v*t = -6*t - 105246. Is t prime?
False
Suppose -12*x - q + 163043 = -10*x, 0 = 2*q - 2. Is x prime?
False
Let n be 2/4 + (-2)/(4/(-3)). Let m be (7/n + -4)*0/(-1). Suppose 0 = -p + 4, 3*x - 4*p - 3053 - 5712 = m. Is x a composite number?
False
Let j = -4 + 6. Suppose -5097 - 6249 = -j*z + 2*g, -g = z - 5665. Is z a prime number?
True
Let c(b) be the second derivative of 5*b**4/12 - 5*b**3/3 - 61*b**2/2 - 54*b. Is c(-16) prime?
False
Is -4 + 1500/380 + 3987988/38 prime?
True
Let u be 421220/180 + (-2)/18. Let h = 758 - u. Let p = -995 - h. Is p a prime number?
True
Suppose 15*g - 16746 = 47049. Is g composite?
False
Suppose 18*i + 33*i - 11469334 = 58847987. Is i composite?
True
Is ((-6)/(72/51))/(6 - 2410184/401696) a composite number?
True
Suppose -5*j - 4320 = -3*m + 8, -5*j + 5759 = 4*m. Let y = m + 1116. Is y a prime number?
True
Let d(h) = 3*h. Let o be d(-3). Let r(f) = -10*f**2 - 16*f + 14. Let s be r(o). Let q = -153 - s. Is q prime?
True
Let r(t) = 3*t**3 + 7*t**2 - 19*t - 76. Let s(w) = 6*w**3 + 6*w**2 - 20*w - 75. Let f(b) = 6*r(b) - 7*s(b). Is f(-4) prime?
False
Let w(l) = 145 + 5*l + 420*l**2 - 311 + 157. Is w(4) composite?
True
Suppose 2*n = -892 + 890. Is -9 - ((-2)/n - 8760) prime?
False
Let y(g) = 232*g**2 - 59*g - 9. Is y(-12) a prime number?
False
Suppose 8*o - 6*o - 3*j - 8998294 = 0, -4*o + 17996652 = 2*j. Is o composite?
True
Suppose 9*m + 12 = 12*m. Let c be ((-28)/8)/((-2)/m). Suppose 4*s = c*s + 15, -962 = -r - 3*s. Is r prime?
True
Let s(p) = -566*p + 3096. Is s(-31) composite?
True
Let i = 22 + -16. Let m be ((27/i)/3)/(1/2). Is m - (-16 - (-4 + 0)) prime?
False
Let t be -22 + 21666 - 16/2. Suppose -25213 = -11*d + t. Is d a prime number?
True
Let j be (-374267)/(-4) + (-155)/(-124). Is (3 - 6)/(5 + j/(-18713)) prime?
True
Let z(m) = -18*m**3 + 31*m**2 + 254*m + 108. Is z(-25) a prime number?
True
Let f(z) = 51*z**2 + 4*z - 1. Let w(j) = -103*j**2 - 9*j + 2. Let t(l) = 9*f(l) + 4*w(l). Let n be t(-1). Suppose 47*i - n*i = 893. Is i a prime number?
False
Let d(h) = 4*h - 4*h**2 + 7*h**3 - 6 - 4 - 4*h**3 - 4*h**3. Is d(-7) composite?
False
Suppose 5*f - 194450 = 438785. Is f a composite number?
True
Let h(o) = -3*o**3 + 3*o + 3. Let y be h(-1). Is 0/y - (-1934 + -3) a composite number?
True
Let p(y) be the second derivative of -2*y**2 + 12*y + 0 - 1/3*y**3 + 19/12*y**4. Is p(3) prime?
False
Is (792114 - (-7)/(-7))/1 a composite number?
True
Is 16907 - 35/((-245)/14) a prime number?
False
Let h = 215102 - 102753. Is h composite?
False
Is (-7 + 5 - 0) + 88764/4 prime?
True
Let c(h) = h**2 - 4*h + 3. Let g be c(3). Suppose 8318 = w - f, g = 6*w - w - f - 41578. Is w/(-10)*1*-2 a composite number?
False
Suppose 4*n - 42039 = -x, 4*n = -14*x + 17*x - 126133. Is x a prime number?
True
Suppose 0 = 2*q - q - 7. Suppose q*t + 30190 - 6348 = 0. Let p = -2359 - t. Is p a composite number?
True
Let s(x) = 721*x - 486. Is s(31) a prime number?
False
Suppose -4*o + 145390 = 11*z - 8*z, 4*z + 8 = 0. Is o prime?
False
Suppose 3*q - 2*w = -3*w + 612158, 2*q = 4*w + 408110. Is q a prime n