. Let d = s - 2307. Is d a prime number?
False
Suppose 0 = 6*o - 3*o - 5*l - 975057, 18 = 3*l. Is o prime?
False
Let k(t) = 2*t**3 - 7*t**2 + 5*t - 29. Let h be 4*(-15)/(-12) + 44. Suppose -3*q - 4*r = -31, 6*r - h = -5*q + 2*r. Is k(q) prime?
True
Let f(r) = -r**3 + 10*r**2 - 7*r + 9. Let q be f(4). Let t(x) = -291*x + x**2 + 996 + q + 292*x + 0*x**2. Is t(0) composite?
True
Suppose 2*o + t - 318774 = 25884, 2*t - 516989 = -3*o. Is o prime?
False
Suppose -157000 - 411028 = -4*j. Is j a prime number?
True
Suppose 7*t - 8*t + 39655 = 3*b, 4*t - 2*b - 158564 = 0. Is t composite?
True
Let b = -37291 + 103320. Is b composite?
False
Is (130/(-15) - -8)/(24/(-1562076)) a composite number?
False
Suppose -2*w + 2*j + 23 = -3*w, 5*w + 5*j = -115. Let o = 25 + w. Suppose -5*k = 3*i - 23068, o*i = -0*k + 2*k - 9224. Is k a prime number?
False
Let z be 8181 + -1 + 20/(-1 + 5). Suppose 24*g = 19*g + z. Is g prime?
True
Suppose 3*j - 519736 - 381023 = 0. Is j a composite number?
True
Let a = 79089 - 31378. Is a a composite number?
False
Suppose -z = -a - 3*z - 29, a - 4*z + 47 = 0. Let d = a - -48. Suppose 9873 = -4*b + d*b. Is b prime?
True
Let n be (((-224)/(-20))/7)/(4/(-10)). Let c be 5*-1*(n/(-10))/1. Is (-789)/c*4/6 composite?
False
Suppose 3*k = 209*o - 208*o - 18053, 2*k = -8. Is o a prime number?
True
Suppose 28*x - 3285159 = 657325. Is x composite?
True
Suppose 5*z = -5*r + 10, 8*z + 5*r - 2 = 7*z. Is (z + 0)*(-40617)/(-6) a prime number?
False
Let h(v) = -30 - 30 + 108 + 556*v - 31. Is h(6) a composite number?
True
Suppose 0 = 5*k + 4*s - 2*s - 202323, 2*k = 4*s + 80910. Suppose k = 12*b + 3431. Is (b*(-3)/24 - 4)*-4 prime?
True
Suppose 3*s - 4*c + 523 = c, 3*c - 513 = 3*s. Suppose 3*u + 2*f = -0*u + 61, 0 = 2*u - 2*f - 34. Let p = u - s. Is p a composite number?
True
Let y be -8*(-3)/(-9)*27/(-36). Is 3049 + -3 - 18/(-4 - y) composite?
False
Let s = 35032 - 14159. Is s composite?
False
Let c(k) = -1746*k - 661. Is c(-23) prime?
False
Suppose -163*l = -164*l - 5*n + 152734, 4*l = n + 610789. Is l prime?
False
Let n(t) = 99*t**2 + 2*t + 4. Let c be n(4). Let p be -592*(-3)/(-2) - 7. Let w = p + c. Is w a composite number?
False
Suppose -2*t + 14529 = -6*b - b, 4*t = 4*b + 29008. Suppose t = 8*k - 2809. Is k prime?
False
Let u = -137 + 141. Suppose 7*a - 4*l + 3554 = 9*a, -5*a + 8885 = u*l. Is a a composite number?
False
Let n(v) = -81761*v + 11966. Is n(-7) composite?
True
Let t be 11783/(-3)*(40 - 43). Suppose -f = 5*o - 3896, -6*o + 2*o - t = -3*f. Is f a composite number?
True
Suppose 28*k - 27*k - 3*q = 77294, 5 = q. Is k prime?
False
Is -9 - (890685/(-6) + (-7)/14) a prime number?
True
Let r(z) be the second derivative of 3*z**5/10 - z**4/4 + 2*z**3/3 + 3*z**2/2 - 109*z. Is r(2) prime?
True
Let d(t) = -33*t - 42. Let h(q) = -62*q - 83. Let r(w) = -125*w - 166. Let b(s) = 5*h(s) - 3*r(s). Let o(u) = -3*b(u) - 5*d(u). Is o(-15) a prime number?
False
Suppose -2*y - 10 = 5*i, -2*i - 2*y = 1 + 3. Let q be ((-14)/35)/(i/20). Is (355/(-10))/((-2)/q*1) a composite number?
False
Suppose 0 = -z + 4*j - 6, -j + 2*j = z + 9. Let x be 4/((-5)/z*4). Is 25624/40 - x/(-5) prime?
True
Suppose 1967 = 5*k - 12*k. Let d = k - 1110. Let b = 1163 - d. Is b prime?
False
Suppose 4*g - 99 = -2*u + 3*g, 5*u + 3*g = 247. Suppose 0 = -45*w + u*w - 16015. Is w composite?
False
Suppose -11*x - 2230541 = -6829300. Is x a prime number?
True
Let x(u) = u**3 - 16*u**2 - 30*u - 104. Let z be x(18). Suppose -2*a - 2882 = 2*h - 4*h, -z*h - 5*a + 5746 = 0. Is h a composite number?
False
Is (-93)/((-11)/(636438/18)) a composite number?
True
Suppose m + 4*f + 98 = 0, 2*f = 9*m - 5*m + 392. Let k = -110 - m. Is ((-216304)/k)/4 - 8/(-12) prime?
True
Let y(z) = 198*z + 1139. Is y(18) a composite number?
False
Let q(j) = 105*j**2 - 2*j + 28. Let t be q(-6). Suppose t = 4*n - m - 3*m, 0 = 4*m. Is n a composite number?
True
Let t = -45 - -66. Let m(g) = -30*g - 677. Let x be m(-23). Let v = t + x. Is v composite?
True
Let o(z) = 84*z - 24. Let l be o(3). Suppose 3*r + 666 = 3*t - 0*r, t - l = -5*r. Is t composite?
False
Let u = -671771 - -1295334. Is u composite?
False
Let x(l) = -6*l + 8. Let f be x(2). Let q be (-1)/1*4*(-839)/f. Let n = 1938 + q. Is n composite?
True
Let s = 635 - 369. Suppose 5*z + 5*x - 724 = s, -4*z + 4*x + 824 = 0. Is z prime?
False
Let a(k) = 4*k + 3. Let v(o) = -2*o - 2. Let c(g) = -6*a(g) - 13*v(g). Let t be c(-2). Is t + -3 - -2*444 prime?
False
Suppose -353*t + 143214 = -347*t. Is t a prime number?
True
Suppose 0 = -16*g + 13*g - 41904. Let d be (-28)/(-6)*g/32. Let i = d - -4006. Is i a prime number?
False
Let d(f) = 6*f**3 - 1. Suppose 5*m + 6 - 26 = -5*i, 4*i = -2*m + 10. Let z be d(i). Suppose -2*x + n + 1261 = 0, 0 = -3*n + 8 - z. Is x a prime number?
True
Suppose -4*a = 4*i - 40, -5*i + 2 = -4*a - 12. Suppose u + i*u - 9779 = 0. Is u a composite number?
True
Suppose -211*p = -70*p - 4505937. Is p prime?
True
Let c = -29333 + 333136. Is c composite?
False
Let t = 12692 - -35241. Is t composite?
False
Let z(w) = 24*w**2 + 854*w - 40. Is z(-39) a prime number?
False
Let k = -53446 - -144539. Is k composite?
True
Let q be 6/4*(-2)/(-1) - 1. Let k be (-1 - 1 - 11)/(q/14). Let v = 210 + k. Is v a prime number?
False
Is -2*(-3)/(-4) + 83210700/120 composite?
False
Let a = 203522 - 64843. Is a prime?
True
Suppose 6*s + 4*f - 6*f - 4370828 = 0, -3*s - f + 2185424 = 0. Is s a composite number?
True
Let z = 11132 - 6296. Let x = 11 + -6. Suppose x*r - 3*w - z = -2*w, 5*r + 3*w = 4832. Is r a composite number?
False
Suppose -5*h + 5*j + 45 = 0, -2*h - 24*j = -29*j - 33. Suppose -2*r - h*w + 9738 = -0*w, -14587 = -3*r - w. Is r prime?
True
Suppose 153*x - 206*x + 2673373 = 0. Is x a prime number?
True
Let b(u) = 26 - 917*u + 38 - 420*u. Is b(-9) prime?
True
Suppose 0 = -2*l - 3*l - 18570. Let y = l - -5243. Is y a composite number?
True
Suppose 13*z = -1047655 + 4911866. Is z prime?
True
Suppose -16*l - 15*l = -29*l. Suppose l = -11*c + 4*c + 49. Suppose -c*f + 17*f - 1610 = 0. Is f composite?
True
Is (180 - 186) + (-3)/((-6)/37634) composite?
True
Let j(t) = 302*t - 31. Let z(w) = -909*w + 94. Let l(k) = -17*j(k) - 6*z(k). Is l(5) a prime number?
False
Let a = 85 + -82. Suppose 6*z = a*z + 27717. Is z a composite number?
False
Let k = -37 + 55. Let j be (-54488)/k + 5/45 + -2. Let q = -1912 - j. Is q a composite number?
False
Let v(i) = 17337*i + 866. Is v(49) composite?
True
Let r be 4/(-38) + 116/19 + 3. Is (0 - -4570) + (-9 - -21 - r) prime?
False
Let j be (-4)/(-10)*1565/(-4)*-12. Let g = 3285 - j. Suppose g = 5*y + 152. Is y composite?
False
Let t(a) = 4892*a**3 + 20*a**2 - 12*a - 23. Is t(4) composite?
True
Let g = 734933 + 4086. Is g prime?
False
Let q(v) = -15 - 15 + 45 + 397*v - 12. Let s be (8/(-10))/((-8)/20). Is q(s) a composite number?
False
Suppose 0 = 473*i - 469*i - 8052. Let k = -232 + i. Is k a prime number?
False
Let i be -1 - (-5 + (-5 - -9)). Suppose 5*f + 2*f - 13461 = i. Suppose -f = -18*g + 15*g. Is g a composite number?
False
Is ((-351912044)/(-20))/11 - 12/(-45)*3 a prime number?
True
Let h be (-384)/33*-5 + (-4)/22. Suppose -j = -2*c + 34, c + 2*j = -2*c + h. Suppose -2*y + c + 60 = 0. Is y composite?
True
Let k(l) = 4*l**3 - l**2 + 6*l - 4493. Let a(x) = -3*x**3 + x**2 - 5*x + 4493. Let t(c) = 5*a(c) + 4*k(c). Let h(d) = -d + 3. Let f be h(3). Is t(f) prime?
True
Let x = 36376 + -15528. Suppose -5*c + x = -21262. Is c composite?
True
Suppose -4*u + 4*m = -228, 0 = -0*u + 5*u + 2*m - 271. Is 11/(u/4500) + 1 a prime number?
False
Suppose 30 = 15*s - 0. Suppose -2*o - 420 = -3*k, -s*o - 844 = 2*o - 5*k. Let a = o - -373. Is a composite?
False
Suppose 18 = 3*m + 2*a, 3*a = -19 + 28. Let x(z) = 10303*z - 51. Is x(m) composite?
False
Let b(y) = 114*y**2 - 26*y - 1. Is b(18) a composite number?
False
Let l = -12 + 9. Let n(r) = -10*r**3 - r - 14. Let p be n(l). Let h = 402 - p. Is h a prime number?
False
Let z(y) be the third derivative of -y**6/60 + y**4/8 - y**3/3 - 14*y**2. Let s be z(2). Is -2 - 631/(-1) - 0/s composite?
True
Let w(o) = -664*o - 65. Let a be w(3). Let z = a - -11148. Is z a composite number?
False
Suppose d + 209*l - 211*l = 12550, -l + 12556 = d. Is d a composite number?
True
Suppose 2 = 3*t + 8. Let r be ((-3)/t)/(9/