. Suppose -2*w + 6*w = s + 352, 4*s - o = -w. Is w composite?
False
Suppose -3*m = -z - 2138, 0 = -27*z + 25*z - 4*m - 4266. Let p = -1158 - z. Is p a prime number?
True
Let b(d) = d**3 + 17*d**2 + d + 21. Let f be b(-17). Suppose u = -3*u - 5*v - 13, -20 = f*v. Suppose -2238 = -u*j - 315. Is j prime?
True
Let g(k) = 41*k**2 + 4*k - 11. Suppose -324 = 5*j - 9. Let s = j + 57. Is g(s) a prime number?
False
Let l(w) = 14205*w + 7597. Is l(40) a composite number?
True
Suppose 11*z + 46 = -12*z. Is z/16 + ((-31108)/(-32) - 5) prime?
True
Suppose -597997 + 105669 = -38*h. Let j = h - 3813. Is j a composite number?
True
Suppose 6527389 = 36*r - 493655. Is r composite?
False
Suppose 5*i + 3*c - 205074 + 12263 = 0, -5*i = -2*c - 192826. Let j = i + -24619. Is j composite?
True
Let o be (110/8 - 4)*-4. Is ((-2)/4)/(o/279786) a prime number?
False
Let y(v) = 57*v**2 + 25*v + 32. Let l be y(-33). Suppose 0 = 9*u - l - 20755. Is u composite?
True
Let h = -171377 + 315988. Is h prime?
True
Let m be 25 - -8*(-5)/40. Is m/252 + (-48109)/(-21) composite?
True
Let k(d) = -9 + 22*d + 2*d**3 - 3*d**3 - 14*d**2 - 7*d. Let q be k(-15). Let l(b) = -2*b**3 - 13*b**2 - 5*b - 5. Is l(q) composite?
True
Let s = 398 - -1651. Suppose -3*c = -s - 504. Suppose -4*h + 12 = 0, 2*x = 3*h + 422 + c. Is x a composite number?
False
Let t = -51 + 56. Suppose -k - 1 = -t. Suppose 2*s = -2*b + 7*s + 3296, -3278 = -2*b - k*s. Is b a composite number?
True
Let z = -69147 - -176036. Is z prime?
False
Is (-2483)/(-1146)*(-1356)/(-2) prime?
False
Let c = 61063 + -41616. Is c composite?
False
Let v = 2681 + 9627. Let n = v - 2481. Is n a composite number?
True
Let l = -657 + 2737. Is l - ((8 - 3) + 4 + -6) a prime number?
False
Let l(w) = -2*w**3 - 77*w**2 + 41*w + 71. Let n be l(-39). Let g(y) = 52*y**2 + 11*y + 32. Is g(n) prime?
True
Let b(r) = 440*r**3 + 2*r**2 - 2*r. Let d be b(1). Suppose -5*l = -175 - d. Suppose -3*h + v + 103 + l = 0, 2*v = 5*h - 375. Is h prime?
False
Let m(z) = 715*z + 24. Let g = 185 + -183. Is m(g) a prime number?
False
Suppose o - 426810 = 33*z - 37*z, -4*o = -3*z + 320117. Is z prime?
True
Suppose l - 5 = -6*h + 7*h, 0 = -h - l + 3. Let g(c) = c + 8. Let u be g(-7). Is -61*(u - 12) + h*2 a composite number?
True
Let o(x) = -72856*x + 785. Is o(-1) composite?
True
Suppose 0 = 9*f + 25*f - 544. Let i(s) = s**3 - 27*s**2 - 9*s - 21. Let z(p) = -3*p**3 + 80*p**2 + 26*p + 63. Let k(q) = 11*i(q) + 4*z(q). Is k(f) prime?
False
Let u(s) = -s**3 - 12*s**2 + 36*s + 911. Is u(-38) a composite number?
False
Suppose 0 = -4*n - 80 + 132. Suppose n*y - 8*y = 17465. Is y composite?
True
Let l(x) = x**3 + 11*x**2 + 10*x + 8. Let m be l(-10). Suppose -5*i + 3 = -2*t, m = -3*t + 2*i + 20. Is (-5 + t)*(211 - 0)/1 composite?
False
Let i(j) = -3*j**3 - 9*j**2 + 3*j + 7. Let n(a) be the first derivative of -a**4/4 + 16*a**3/3 - a**2/2 + 12*a - 17. Let y be n(16). Is i(y) a composite number?
False
Let x(a) = -a**2 + 4. Let q be x(3). Let s(n) = -4*n**3 + 2*n - 7. Let b be s(q). Suppose 0 = 2*t - 123 - b. Is t prime?
False
Suppose 5*q - 24463 = -4*o, -46*o = -5*q - 47*o + 24457. Is q prime?
False
Let w(u) = 11*u**3 - u**2 + 39*u - 1. Let k(t) = 11*t**3 - 3*t**2 + 38*t - 1. Let c(m) = -2*k(m) + 3*w(m). Is c(14) composite?
True
Suppose 672119 + 1477987 = 14*d. Is d a composite number?
True
Let f = -249 + 254. Is 1762 - (3/(f - 2) + 4) a prime number?
False
Let y = -63 + 65. Suppose -y = -5*o + 13. Suppose -o*w = x - 603, 402 = -3*w + 5*w - 3*x. Is w a prime number?
False
Let a = -42488 - -71001. Is a prime?
True
Let z be -7 - 2118018/(-24) - 3/4. Suppose -21384 - z = -7*s. Is s prime?
True
Let j(s) = -2*s**3 + 43*s**2 - 13*s + 3. Let v be j(21). Suppose 0 = 31*c - 28*c - v. Is c prime?
False
Is (-97)/((-6)/(-4)*(-11)/(191928/16)) a composite number?
True
Suppose 0 = 3*r - 3*b - 380787, 3358 = -4*r + 2*b + 511090. Is r composite?
True
Let v(d) = 306*d - 179*d + 0 + 3. Is v(22) prime?
True
Let b = -53 - -48. Let p(h) = 733*h - 7. Let i be p(b). Let q = 5595 + i. Is q a composite number?
True
Suppose -5*a + 3 + 47 = 0. Is 20/(-8)*((-15946)/a - 1) a composite number?
False
Let t(n) = -27479*n + 400. Is t(-3) a prime number?
True
Let q = 8674 + -255. Is q prime?
True
Let t = 825150 - 380497. Is t a composite number?
True
Let c(o) = -2*o**3 + 17*o**2 - 7*o - 6. Let v be c(8). Let b be 99 + 1 - v - 0. Is -4 + (-3 - -6) - b*-7 a composite number?
True
Suppose 4*f = 6*f - 4*t + 150, f - 5*t + 63 = 0. Let x = -75 - f. Suppose 0 = -x*l + 1177 + 1535. Is l a composite number?
True
Is 12/((-72)/30) - (1129896/(-2))/2 prime?
False
Let b(w) = 10405*w + 145. Suppose 0 = 272*j - 277*j + 20. Is b(j) prime?
False
Let o(t) = -t**3 + 8*t**2 - 17*t + 7. Let b be o(4). Suppose -13914 = -3*m + b*z, -3*m = 4*z - 8907 - 5000. Is m composite?
False
Suppose k - 94933 = 2*y, -58*y + 53*y = 7*k - 664417. Is k a composite number?
True
Let f = -153 + 157. Suppose f*k - 5491 = -5*v - 0*v, -3*k - 3*v + 4122 = 0. Is k prime?
False
Let z(b) = -2*b**2 - 6*b + 7. Let h be z(-4). Let i be 2*h - (6 - -749). Let c = 1292 + i. Is c prime?
False
Let d = -274 - -253. Let p(w) = -w**3 - 21*w**2 - 51*w - 34. Is p(d) composite?
True
Let l(u) be the second derivative of u**5/20 + 5*u**4/6 - 11*u**3/3 + 10*u**2 + 82*u. Is l(9) a composite number?
False
Let y(o) be the first derivative of o**4/4 + 3*o**2/2 + 6218*o + 175. Is y(0) prime?
False
Let a = 7 - 4. Suppose -6 = -o - n, a*n + 11 = 3*o - n. Suppose 273 = 3*l + u, o*u - 46 - 45 = -l. Is l a prime number?
False
Let q = 56 + -56. Suppose -2*n - 3*s + 11 = q, -n - 4*s = -4*n - 9. Is ((-25040)/(-12))/5 - n/3 prime?
False
Let f = -16844 + 8927. Let i = f - -20396. Is i a composite number?
False
Let a(c) = 757*c**2 + 199*c + 29. Is a(-7) composite?
False
Let z be -1 - ((-1 - 2) + 140/2). Let t = z - -72. Suppose 2285 = q - 2*n, 7*q + n - 6855 = t*q. Is q a prime number?
False
Let i(t) = 32*t + 5. Let k(o) = -3 - 4*o + 3*o + 1. Let l be k(-4). Is i(l) a composite number?
True
Let c(w) = -w**2 - 21*w + 26. Let b be c(-17). Let v = b + -94. Suppose v = 42*h - 48*h + 2802. Is h a prime number?
True
Let h(p) = -172*p**2 + 146*p - 101. Let o(v) = 43*v**2 - 36*v + 25. Let l(s) = 2*h(s) + 9*o(s). Is l(-12) prime?
True
Let z(w) = 3*w**2 + 31*w - 27. Suppose 1 = 8*s + 121. Is z(s) composite?
True
Let w = -872 - -2254. Suppose -3*a + 3049 = -4*r, -2*r + 5*r - 4*a = -2285. Let u = w + r. Is u composite?
False
Suppose -5*m - n + 171066 = 0, 693*n = 4*m + 692*n - 136860. Is m a composite number?
True
Let u(g) = 3094*g - 2084. Is u(25) a composite number?
True
Suppose -3*u + 90483 = 3*n, 0*n - 5*n - 30137 = -u. Is u prime?
False
Let x(y) = 158*y**2 + 2*y + 1. Let q = 43 - 38. Suppose 4*t - 9 = a, 0 = -5*a - t - q + 2. Is x(a) prime?
True
Let u be (-8)/(-648)*-9 - 19/(-9). Is (42891/174)/(u/4) composite?
True
Suppose -3*s = 5*t - 939097, 0*s = -s - 6. Is t a composite number?
False
Let c be -3 + (-152)/(-48) - 915/(-18). Is c + -44 - (-63576)/2 a prime number?
False
Let d = 52 + -80. Let m = d + -139. Is (-4 - 1)/(1/m) prime?
False
Let c(j) be the second derivative of j**5/20 - j**4/2 + 4*j**3/3 + 3*j**2 + 14*j. Let f be c(4). Is (-2140)/(-12) - f/(-9) prime?
True
Let s(x) = 238*x - 238*x + 4*x**2 + 27 - 24*x**3 + 0*x**3. Is s(-5) a prime number?
False
Let d = -9124 + 5819. Suppose -237 - 187 = 4*i. Let p = i - d. Is p a prime number?
False
Suppose -182*s = -276*s + 5011234. Is s a composite number?
True
Let y = -56 + 58. Let h(b) = -b**3 + 3*b**2. Let a be h(y). Is (-6300)/(-8) - 2/a a composite number?
False
Suppose 3*q = -p + 2*p - 10113, -5*q - 50605 = -5*p. Let o = p + -3939. Suppose 14*v + o = 20*v. Is v a composite number?
False
Let c(r) = 4*r**2 - 4*r + 79. Let n(l) = l**3 + 13*l**2 + 22*l + 24. Let z be n(-11). Is c(z) a prime number?
True
Suppose 4*v = 4*w - 736948, -65*w = -69*w - 2*v + 736972. Is w prime?
True
Suppose 37*t - 19*t = 65*t - 42123233. Is t a prime number?
False
Let v = 142 + -353. Suppose -k - 4*k - 4*i = 7, k + 3*i = -8. Is k/1 - (v + 1) a prime number?
True
Let y = 1421 - 2034. Is -8 + 4 - y - -4 a prime number?
True
Let z(u) be the second derivative of -3*u**5/20 - u**4 - 5*u**3/2 - u**2/2 - 71*u. Is z(-10) prime?
True
Suppose -366238226 = -877*f + 731*f. Is f a co