826, -x*i = -15*i + d - 2549. Is i composite?
False
Let q = -24 + 55. Suppose 5*j = -q - 4. Is 8/(-12) - j/((-42)/(-1888)) prime?
False
Is (2778/(-14))/((-241)/1687) a composite number?
True
Let j = 18 - 16. Let a be (357 - -3)/(3/j). Let u = a - 122. Is u composite?
True
Let h(t) = 3950*t**2 + 1188*t + 3553. Is h(-3) a composite number?
True
Is 2 - 7/4 - (-2384965)/220 a composite number?
True
Is ((-21)/(-6))/((-78265)/(-182602) - 36/84) a prime number?
False
Let j(u) = -4*u + 10. Let v be j(4). Let c = -4 + v. Is (-502 - 0)/(c/5) composite?
False
Suppose -4*h = -5*f - 4, -h - 3*f - 5 = -6*h. Suppose -11*k + 32 = -h. Suppose -u + 5214 = 2*m - 5*u, -4*m = -k*u - 10433. Is m a composite number?
False
Suppose -q + 644 + 171 = 0. Is 60/12 + (q/1 - -1) a composite number?
False
Let s(p) = p**2 + 9*p - 2. Let i be s(0). Is i/(-18) - (-387260)/90 prime?
False
Let i be (-7 - 11)*6/(-4). Suppose -7*q + 85 = -i. Suppose -11*l + q*l - 935 = 0. Is l a composite number?
True
Let g = 136714 - -23503. Is g a composite number?
False
Is (-152)/190*(-114535)/4 a prime number?
True
Suppose 0*d + p + 85 = 4*d, 3*p + 75 = 3*d. Let b be ((-156)/(-10))/(14/105). Suppose -b = -k - d. Is k prime?
True
Suppose 76*z - 1671893 = 58*z + 2190709. Is z a composite number?
False
Suppose 0 = -6*t + 4*t - 2*o + 966, 3*t - 1453 = -2*o. Let q = t - 114. Is q a prime number?
True
Suppose 5*z = 4*k + 5, 30 = z + 5*k - 0*k. Let v be 166/581*(-70)/(-4). Suppose -356 = -2*g + z*j, -v*g - 3*j = -6*j - 890. Is g a prime number?
False
Let q(x) = 27695*x**2 + 557*x + 17. Is q(6) a prime number?
False
Let h = 4595 + -2585. Suppose 3*a + 4*x + 0*x = 3029, 2*x = 2*a - h. Is a a prime number?
False
Suppose 80 = -7*d + 178. Suppose -d*o + 6706 = -0*o. Is o composite?
False
Let b be 5 + (-231)/49 - (-12)/7. Let p(r) = 246*r**3 + r**2 + 8*r - 9. Is p(b) a composite number?
False
Suppose -11*f - 1517842 = -6961115. Is f a prime number?
True
Let w(s) = -8*s**2 - 3*s**2 + 24 - 3*s - 2*s**2 + 2*s**2 + 27 - 7*s**3. Is w(-10) a prime number?
True
Let c(w) = 5*w**3 + 7*w**2 - 15*w - 24. Let r be c(-17). Let s be (-1)/3 - r/27. Let k = s + -445. Is k composite?
True
Suppose 4*y - 19 = -11. Suppose -y*h - 3*h = 20. Let t(i) = 30*i**2 - i + 13. Is t(h) prime?
False
Let f be (-1)/(-4) - (-3 - 502/8). Suppose -2*s - 21 = -3*s. Is (f/4)/(s/406) prime?
False
Suppose 0 = -5*i + 3*j + 12, -4*i = -j + 2 - 6. Let n(z) = -5*z + 1851. Let b(g) = 9*g - 3701. Let q(u) = -4*b(u) - 7*n(u). Is q(i) composite?
False
Suppose -4*u + 11 = r + 3, -r = -u + 2. Suppose u*j + 2*j = 7972. Is j a prime number?
True
Suppose 5*g + 5771*f = 5768*f + 146156, -5*g + 5*f = -146100. Is g prime?
False
Let s = -19670 + 132357. Is s composite?
False
Suppose -x = -3*x + 5*s - 2593, -5*x + 5*s = 6475. Let k = x - -7425. Is k prime?
True
Suppose -2*w - 6 = i + 2, -2*i + 4*w + 24 = 0. Suppose i*b + 29259 = 3*f, -5*f - 1083 = -b - 49848. Is f composite?
True
Let w(a) = 172*a**2 + 45*a - 184. Is w(5) composite?
True
Let n(k) be the second derivative of 134*k**3/3 + 11*k**2/2 + 295*k. Is n(30) a composite number?
True
Suppose -z = x - 125513 - 178336, 6*x - 1823116 = 5*z. Is x prime?
False
Let s(u) be the third derivative of 19*u**5/30 + u**4/4 + 7*u**3/6 + 944*u**2. Suppose 2 - 8 = 2*w. Is s(w) a composite number?
False
Let q(s) be the third derivative of 53*s**6/360 + 7*s**5/120 + 3*s**4/8 + 17*s**3/6 - 10*s**2. Let l(k) be the first derivative of q(k). Is l(-4) composite?
False
Let q = 42184 + 5889. Is q a composite number?
False
Let k = -171 - -168. Is 5142/(k*(1 + 5/(-3))) a composite number?
True
Let t be 9 + (-13)/((-91)/(-42)). Let r(y) = 362*y + 33. Is r(t) a prime number?
False
Let y(u) = 9897*u**2 - 44*u + 204. Is y(5) prime?
True
Suppose 11*t = -5*l + 7*t + 303551, t + 182117 = 3*l. Is l composite?
True
Let h be -688*((-29)/28 - (-42)/147). Suppose j - 995 - h = 0. Is j composite?
False
Suppose -39*w = -11*w - 21*w - 4490885. Is w a prime number?
False
Let g(s) = 96*s**3 + 4*s**2 + 23*s - 87. Is g(8) composite?
True
Suppose -a - 4*a = 5*r + 25, r + 5 = 4*a. Let b(o) = -252*o + 13. Let q be b(r). Suppose 1233 = 2*p + 4*c - q, 4*p - c = 4967. Is p composite?
True
Let o(u) = 26*u**3 - 3*u**2 + 2*u + 2. Suppose -2*s + s - 3*j = -6, -4*s - j + 13 = 0. Is o(s) a composite number?
False
Suppose -5*q - 156 + 501 = 0. Let a be 3 + (2/8 - q/(-12)). Suppose a*w = 11006 - 2951. Is w a prime number?
False
Let g = -28343 + 43110. Is g a composite number?
False
Is 189138/16 - 452/3616 a prime number?
True
Suppose -2*a - 21 + 27 = 0. Suppose 2*n = -2*k + 1680, -2*k + 2518 = a*n - 0*n. Is n prime?
False
Suppose 0 = 1400*q - 1392*q - 1016. Is q prime?
True
Is 4/6*(48 + -51) + 2 + 481549 a composite number?
False
Let y(h) = 18593*h - 13697. Is y(38) a prime number?
False
Let f = 32 + 221. Let b = -62 + f. Is b prime?
True
Suppose -19 - 24 = o - 42. Let a(d) = 2*d - 3*d - 251*d**3 - 95*d**3. Is a(o) composite?
False
Let h(z) = -34775*z - 489. Is h(-4) prime?
False
Let c(v) be the second derivative of 11*v**4/6 - 17*v**3/3 + 125*v**2/2 - 136*v. Is c(-17) a composite number?
True
Suppose 4*l = 921 + 595. Suppose -3*o = 0, 0 = -3*b - 0*b - 4*o + 6. Suppose b*f = f, -f - l = -n. Is n composite?
False
Suppose q + 2*w - 492 = 4*w, -4*q - 4*w + 1920 = 0. Let h = 1243 + q. Is h a prime number?
False
Let c(g) be the second derivative of 31/3*g**3 - 39*g - 5/2*g**2 + 0. Is c(9) prime?
False
Suppose -p - 7*a + 4394 = -6*a, 0 = 3*p + 4*a - 13186. Let l = -507 - 2060. Let i = l + p. Is i prime?
True
Let c(r) = 116*r - 91. Let g(z) = -175*z + 90. Let k(b) = 2*b. Let m(d) = g(d) + 30*k(d). Let t(u) = -6*c(u) - 5*m(u). Is t(-19) composite?
True
Let p = -443 + 477. Suppose p*i + 207 = 37*i. Is i a composite number?
True
Let p(i) = -3453*i - 250*i + 4 + 2 - 18. Is p(-1) a composite number?
False
Suppose -8*u - 228 + 6028 = 0. Let w = -1271 - -883. Let j = u + w. Is j composite?
False
Let h(d) = -3*d + 23. Let c be h(6). Suppose -c*v = 3*i - 5444, 3229 = -5*v + 2*i + 8658. Is v a composite number?
False
Is (1089151/14)/((98/(-28))/(-7)) a prime number?
True
Suppose 0 = -243*n + 151*n + 59311388. Is n a prime number?
False
Let h = -16290 + 32956. Suppose 0 = 77*p - 75*p - h. Is p composite?
True
Suppose 4*m + 225 = 9*m. Let k be 4/(-30) + 96/m. Suppose 4*s = k*s + 508. Is s prime?
False
Let j(m) = -3*m**3 - 14*m**2 + 10*m + 2. Let f be 4/(-18) - ((-388)/(-18))/2. Is j(f) a composite number?
True
Let a = -618554 + 1095655. Is a prime?
False
Let g(o) = -o**2 + o + 1. Let s(f) = 28*f**2 - f - 3. Let w(x) = 2*g(x) + s(x). Let j be w(-4). Let m = j - 188. Is m prime?
True
Suppose 128*v - 21241429 = 7*v. Is v a prime number?
False
Suppose l - 2*l + 4*s + 232187 = 0, 0 = 2*l + 2*s - 464334. Is l a composite number?
False
Is (1/(-20)*2)/(363/(-31867770)) composite?
False
Suppose 6*g - 24 = 3*g. Is 554*228/g - 2 composite?
False
Let n(p) = 2*p**2 - 30*p + 58. Let f = 94 + -65. Suppose -5*x + f = 4*w - 61, -4*x - 4*w + 72 = 0. Is n(x) composite?
True
Let u(m) be the third derivative of -m**7/840 + m**6/30 + m**5/30 - 5*m**4/12 + 19*m**3/6 - 27*m**2. Let d(p) be the first derivative of u(p). Is d(5) prime?
False
Suppose 17*k + 9*k - 13936 = 0. Is 727419/k - 1/8 composite?
True
Let o be -2 + 0 - -2 - (-3 - -1). Let y = -2 + o. Suppose y*s = -a + 2*s + 912, -3*a = -4*s - 2746. Is a prime?
False
Let f(l) = 55*l**2 - 130*l - 1862. Is f(-71) prime?
True
Suppose -21*w = -33*w + 1497516. Is w a composite number?
False
Let y(k) be the third derivative of 0*k - 1/24*k**4 - 9*k**2 + 0 - 5/3*k**3 + 1/120*k**6 + 7/20*k**5. Is y(-19) composite?
True
Let w(c) = -5*c**2 - 13*c - 7 - c**3 - 3 + c**2 - 9*c**2. Let p be w(-12). Is (-3 - 0)*(1367/(-3) + p) prime?
True
Let i be 4 + 791/28 - (-3)/4. Let l = i + -31. Suppose 3*n + b = 486, -7*b - 178 = -n - l*b. Is n composite?
False
Let l = 399 - -584. Let b = 2664 - l. Is b a prime number?
False
Let b(c) be the third derivative of 97*c**6/24 - c**5/20 - c**4/24 + c**3/2 + 15*c**2 + 1. Is b(2) a composite number?
True
Let q = -123 - -125. Suppose -q*c - c - 2*o + 34805 = 0, 2*c = 2*o + 23190. Is c composite?
True
Suppose -2*l = -2*x - 5*l - 29, l + 35 = -2*x. Let v(y) = -y**3 - 18*y**2 + 20*y + 20. Let r be v(x). Let o(u) = 293*u**3 + u**2 - 3*u + 