((-1)/(-4) - 356657/(-28)). Let b = s + 18465. Is b composite?
True
Let y(z) = z**3 + 27*z**2 - 58*z - 10. Suppose -104 = 11*u - 7*u. Is y(u) composite?
True
Suppose 3*n + 1 = -4*v, -2*v + 3 = -2*n - 7. Let r be ((-12)/(2 + v))/(6/(-2284)). Suppose q + 6623 = 4*s, -3*s + q + r = -3824. Is s a prime number?
True
Suppose 6*a = -4*a. Suppose 2*x + 6*x + 54488 = a. Let m = -3358 - x. Is m prime?
False
Suppose v + 7 = -h - 7, 22 = -v + h. Let t be (-48)/v*((-9)/(-12) - 0). Suppose t*m + 1008 = -3*g + 4319, 0 = 2*g + 4*m - 2218. Is g a prime number?
False
Let a(d) be the first derivative of 3*d**4/4 - d**3/2 - 13*d**2 - 22*d - 29. Let k(c) be the first derivative of a(c). Is k(8) prime?
False
Let d = -825716 - -2545903. Is d a prime number?
False
Let u(m) = -45*m**2 - 29*m - 22. Let i(k) = k. Let c(x) = -i(x) - u(x). Is c(-5) a prime number?
False
Let p = -495 - 1045. Let g = 924 + p. Let r = 873 + g. Is r a prime number?
True
Let k be 50/(-275) + (-71161)/(-11). Suppose -k = 329*g - 330*g. Is g prime?
True
Suppose -4*t = -4*i - 0*i + 635412, -5*i - 3*t = -794329. Is i prime?
False
Let l(v) = 2*v**2 - 12*v + 29. Suppose 188*z - 192*z + 20 = 0. Let s be l(z). Suppose 14049 = s*r - 10*r. Is r composite?
True
Suppose 49*x = -48*x + 16684097. Is x composite?
False
Let c(p) = 69*p**2 - 5*p + 3. Suppose -5*q + 2*r + 45 = -0*r, 0 = 2*q - 3*r - 29. Suppose x + 3*b - q = 0, b = 4*x + 5*b - 20. Is c(x) a prime number?
True
Suppose 0 = -s + 4, -4*j + 1846644 = 27*s - 23*s. Is j a prime number?
False
Let z be (-11)/4 + 4 - (-98865)/12. Let p = -571 + z. Is p composite?
False
Let r = -366 - -634. Let x = -109 + r. Let y = 233 - x. Is y a composite number?
True
Suppose -5*y - 5*x + 3*x = -70, 4*x = 3*y - 42. Let i be (y/(-3))/(-2) - (-15)/(-45). Is ((-36)/8 + 3)*i - -350 composite?
False
Let l(a) = -28*a**3 + 6*a**2 + 95*a - 2. Is l(-13) composite?
True
Let c be 316/28 - 4/(-56)*-4. Suppose -3*y - 3*z = -4 + 13, 3*y + c = -z. Is y + -1 + -1 + 27/3 a prime number?
True
Let p(n) = 63842*n - 3713. Is p(3) a composite number?
True
Suppose -2*a = -4*s - 95244, s = -2*a + 2*s + 95256. Suppose -2*k + y = -31755, -15*k + 12*k = y - a. Is k prime?
True
Let l(q) = -3*q - 9. Let r be l(-2). Let i be (3 - 1) + (r - -1). Suppose 0 = -2*o - z + 5*z + 418, i = -5*o - 4*z + 989. Is o composite?
True
Suppose 0 = 3*l - 9*c + 5*c - 9881, -l + 5*c = -3312. Let o = l - -1579. Suppose 2*b - o = -3*j, 3*b + 1622 = j + 4*b. Is j a prime number?
False
Suppose -4*h + 51 = -5. Suppose 0 = -2*x + 2 + h. Suppose x*p = 5175 + 1121. Is p prime?
True
Let o(b) = 3407*b**2 + 3499*b**2 + 2418*b - 2 - 4839*b + 2422*b. Is o(1) prime?
False
Suppose -42*q = -45*q + 3, 2*m = -5*q + 40367. Suppose m = 5*r - 6*i + 7*i, 5*i + 8094 = 2*r. Is r prime?
False
Let u(k) = 1899*k**2 + 31*k - 381. Is u(8) prime?
True
Suppose -4*y = 5*n + 5, y = 5*n + 4*y. Suppose r - 12 = -n*r. Suppose 3537 = r*a + 66. Is a a prime number?
False
Suppose 0 = -152*a + 1812 + 1117 - 345. Let f(i) = 16*i**2 - 179*i - 20. Let d(z) = 3*z**2 - 36*z - 4. Let h(k) = -11*d(k) + 2*f(k). Is h(a) a prime number?
False
Let s(a) = a**3 + 11*a**2 + 13*a - 11. Let i be s(-7). Is i/(1/(56/16)) a composite number?
True
Suppose -16*y - 2922926 = -6*y - 84*y. Is y composite?
False
Let k be -19812*3/6*(-6)/4. Suppose 2*i + 14600 + 238 = 4*h, 4*h + 5*i = k. Is h a prime number?
False
Suppose -87 = -16*t - 13*t. Suppose 2*j = -6*c + 982, t*j + 7*c - 2*c - 1465 = 0. Is j prime?
False
Let l(q) = 552*q**3 + 108*q**2 + 13*q - 6. Is l(11) composite?
False
Let c = -6 + 5. Let i be (8 - 7) + (-4)/c. Suppose 344 = i*h - 5*u - 951, -2*h + u = -522. Is h a composite number?
False
Suppose t - 3*h = -7*h - 10, -4 = -5*t - 2*h. Let u be -3 + (2 + 1 - t) + 2. Is (-2 - u)*(-579)/2 a composite number?
True
Suppose -2*n + 2 = -c + 3, 30 = -2*c - 4*n. Let p be c/((-7)/(-4)) + 231. Suppose -v + 1236 - p = 0. Is v a prime number?
True
Let c = 21 - 22. Let g be (-2371*(1 - 2))/(c/(-2)). Suppose -y + g = y. Is y prime?
True
Suppose 0*g + 12 = 2*g. Let b be ((-190)/g)/(20/1380). Let o = -134 - b. Is o a composite number?
True
Let z = -4452 + 7277. Suppose 18*r - z - 14437 = 0. Is r a prime number?
False
Let f = 300134 - 96843. Is f composite?
True
Suppose -980 - 80470 = -10*q. Let w = -4496 + q. Is w composite?
True
Let x = 250 + -243. Suppose -17471 + 1854 = -x*k. Is k prime?
False
Let v(k) be the second derivative of -2923*k**3/6 - 46*k**2 + 4*k - 17. Is v(-15) prime?
True
Suppose 0 = 4*j - 3*b - 106999, 99*b = 5*j + 100*b - 133744. Is j a prime number?
False
Let w be (-72)/(-108) - (9442/6 - 2). Let p = 2772 + w. Is p a composite number?
False
Let i(f) = -2*f**3 + 19*f**2 + 99*f + 209. Is i(-28) a prime number?
True
Let c(a) be the third derivative of -2*a**6/15 - a**5/30 + a**4/4 + 4*a**3/3 - 18*a**2. Let j be c(-5). Is j/2 - (-3)/3 a composite number?
True
Let w = 193244 + 124527. Is w a prime number?
True
Suppose -240 - 216 = -12*y. Suppose 5*f + y = -5*c + 108, 0 = -3*c - 2*f + 46. Suppose -c - 173 = -q. Is q a composite number?
False
Suppose -11*x + 22 = -0. Suppose -2*s + 6*s = 4*r - 12, 18 = 4*s + x*r. Is s/((-6)/(-9)) + 108 a composite number?
True
Let j = -165208 + 294459. Is j prime?
False
Let f be -3 - ((12557 - (-4)/(-4)) + 4). Let x = -8308 - f. Suppose 32*p - x = 27*p. Is p prime?
False
Let u be (-24)/10*15/(-6). Let t(f) = 153*f + 3. Let o be t(u). Suppose 6*g + o = 9*g. Is g a prime number?
True
Suppose 5*v - 30 = 4*m, 0 = -5*m - v - 0 - 52. Let a = -9 - m. Is (a - (-8)/(-12))*(-3 - -1626) composite?
False
Suppose -o + 2*w = 10, -10*o = -5*o - w + 68. Is (-1)/7 + 4/o*-23692 a composite number?
True
Let o = 96 - 93. Suppose 2*v = 3*m + 11042, -8470 = o*m - 5*v + 2575. Is m/(-6) + 3/(-9) composite?
False
Let o = -664647 + 1403624. Is o a prime number?
True
Suppose 3*l = -s + 1880, 4*s - 2873 = -5*l + 251. Suppose -2*d - 4 = 0, -241 = 5*t + 3*d + 1800. Let c = t + l. Is c a composite number?
True
Suppose -71*t + 8632436 + 5526084 = -31*t. Is t prime?
True
Let n = -519 - -1083. Suppose -i + n = 32. Suppose -4*p - 5*d + i = 0, 0*p - 4*d = p - 133. Is p a prime number?
False
Suppose 4*d - d - 15 = 3*a, -2*d + 10 = 2*a. Suppose -4606 = -d*x - 7*u + 6*u, 2*x - 1840 = 2*u. Is x a composite number?
True
Let t be 0/(-25) + -1 + 20974. Is 1*(t + (-48)/(-6)) composite?
False
Is 24533 + (88/(-8) - -5) a composite number?
False
Let a = 158600 + -95698. Suppose -15*m + m + a = 0. Is m a composite number?
False
Suppose -14*q + 5*q + 937908 = 0. Suppose -70*s + 66*s + q = 0. Is s composite?
False
Suppose -2*v + 92818 = 4*t, 0 = -3*v + 4*t + 49482 + 89695. Is v a composite number?
False
Let g(r) = -r**3 - r**2 + 2*r + 4. Let m be g(-2). Suppose m*x + 146 = 2*x - 4*k, -x + 5*k - 87 = 0. Let y = 1305 - x. Is y prime?
False
Suppose 0 = 16*u - 53*u - 22*u + 5422631. Is u composite?
False
Let q(x) = -x**2 - 12*x + 28. Let u be q(-14). Suppose h + 619 + 284 = u. Let i = 568 - h. Is i a prime number?
True
Let s = -114 + 118. Suppose 2*d - 6 - 4 = -x, 4*x - 20 = -s*d. Suppose v - 1257 = -x*v. Is v a composite number?
True
Let j(i) = -1177*i - 613. Is j(-6) prime?
True
Let f = 29 + -25. Suppose f*p + p + 14790 = 0. Let b = -1939 - p. Is b a prime number?
True
Let t be 2/(-1) + (-8)/(-2). Suppose -4*h + 942 = t*s, 0*s - 491 = -s + 3*h. Let c = -268 + s. Is c a prime number?
True
Suppose -5 = -9*u + 8*u. Suppose -3*p - 5*c + 43 = 0, u*p + 2 = 2*p + 4*c. Is 1772/p + (-4)/(-36)*-3 a composite number?
True
Let n(l) = 13*l**2 - 13*l - 11. Suppose 5*o + 56 = 2*i, 3*i - 40 = 4*o - i. Let v be n(o). Let p = v + -26. Is p a prime number?
False
Let d be 135*(26/10 + -2). Let l be d/(-4) + 3/(-4). Let b = 562 - l. Is b prime?
False
Is (31/5 - (-7 + 13)) + (-1396584)/(-30) a composite number?
True
Let x(z) be the third derivative of 11*z**5/5 + z**4/8 + z**3/3 - z**2. Suppose 57*w = -88*w + 43*w - 102. Is x(w) a prime number?
True
Suppose -w - 9 = -2*x, 4*w - 2*x - x = -11. Let r be -9 - (-936)/9 - 5. Is -9 + r - (w - -1) a prime number?
True
Let h(z) = 1177*z**2 + 270*z - 13. Is h(12) prime?
False
Suppose 6*i - 8630 = -4*i. Is (i/(-7))/((-41)/287) a prime number?
True
Let l = 76803 - 34646. Is l composite?
False
Let n = 44 - 40. Suppose -z + 3*p - 7*p = -183, -2*p = n. Suppose -k = -2*k + z.