et t = 714409 - 431562. Is t a prime number?
True
Suppose -4*t = -7*t - 4*v + 668367, -t = 3*v - 222799. Is t a composite number?
True
Suppose m = 7*m - 12. Suppose 0 = 3*x + m*b + 40, 0*x = -x - 4*b - 30. Is (-1846)/x + (-4)/(-10) a composite number?
True
Suppose -2*k + 49324 = 4*s, -4*s + 46219 = -k - 3093. Let o = -8280 + s. Is o a prime number?
True
Suppose 0 = i - 5, 2*d + 5*i - 96 + 35 = 0. Suppose 11*l - 6*l = 20. Is 1146/d*(-1 + l) a composite number?
False
Let q(r) = 17942*r + 1. Let s be q(1). Suppose 4*j = j + s. Is j a prime number?
True
Is (9/36 + 1282845/(-36))*-3 a prime number?
True
Suppose -10340*n + 10356*n - 511984 = 0. Is n prime?
False
Let r = -110 - -211. Let u = r - 101. Suppose u = t - 83 - 354. Is t a composite number?
True
Let u = 490367 - 215130. Is u a composite number?
True
Suppose 54*k = -589*k + 577817161. Is k a composite number?
True
Suppose -3*w = 4*h - 643247, 4*w + h - 529136 - 328505 = 0. Is w a composite number?
True
Let p(h) = 44050*h - 33. Let z be p(1). Let o = -16406 + z. Is o a prime number?
True
Let i = -18219 + 51056. Is i prime?
False
Let z be (-3 - 0)/(1557/(-387) - -4). Let l = 170 + z. Is l prime?
False
Let f(l) = -3*l - 3. Let w be f(-1). Let n be w/(-1 - 0) - -362. Is n/1*(-35)/(-10) prime?
False
Let l = 26 + -23. Suppose l*p = 7*p + 32. Is 779/2*(-5)/(20/p) composite?
True
Suppose -3225 = 3*w - 3*g, 7*g + 1080 = -w + 3*g. Is 12/54 + -346*w/72 a prime number?
True
Let k = -22932 + 11092. Is (-1)/(-7 - -10 - k/(-3946)) a prime number?
True
Let x(h) = -5 + 8*h - 558*h**3 - 2*h**2 - h + 7*h**2 + 16 + 90*h**3. Is x(-3) composite?
False
Suppose 1204*f - 1218*f + 1981714 = 0. Is f composite?
False
Suppose 5*r = -4*d + 50692, -7*d + 3*d + 12 = 0. Let u = r - 3633. Is u prime?
False
Is (17/((-34)/(-269259)))/((-21)/(-14)) a prime number?
True
Is (2 - -38361 - -26) + 1 + 0 + 3 a composite number?
False
Is 34388 + ((-25)/10 - (-3)/2) composite?
True
Let k = 102 + 13. Let s = -111 + k. Suppose 1399 = b - s*n, 8665 = 5*b + 2*n + 1670. Is b prime?
True
Suppose -2684362 - 9680531 = -210*f + 1134327. Is f a composite number?
True
Let l(f) = 99*f - 34. Let j(b) = 197*b - 68. Let a(p) = 2*j(p) - 5*l(p). Is a(-3) prime?
True
Let s = -15217 + 15208. Let d(p) = 11*p + 9*p**2 + 0*p**2 + p**2 - 10. Is d(s) a composite number?
False
Suppose -q = 4*y + 24, 2*y = -q - q - 18. Let w(f) = 377*f**2 + 13*f + 29. Is w(q) a composite number?
True
Let b(g) = 4*g**2 - 8*g + 359. Is b(-14) a composite number?
True
Let l be 70/28*(-20)/25. Is -9923*(-2 - (l/2 - 0)) a prime number?
True
Let r be (-54)/(-24)*16/3. Suppose -15*j + r*j - 6 = 0. Is (-70980)/(-18) + (-1)/(-6)*j a prime number?
True
Let g(a) = a**3 + 13*a**2 - 6*a - 24. Let p be g(-13). Suppose -3*j + p*u = 52*u - 19917, -13285 = -2*j - u. Is j a prime number?
False
Suppose -34*c + 26*c + 216 = 0. Let b(t) = 19*t**2 - 170*t + 32. Is b(c) composite?
False
Let k be ((-2)/2)/(((-24)/(-4))/(-30)). Suppose -2*j - 7*o = -5*o - 1154, 0 = 2*j + k*o - 1166. Is j a prime number?
False
Is 4/8 + (-12)/30 + (-17125254)/(-60) prime?
True
Suppose -74*f = -51*f + 86*f - 1595215. Is f composite?
True
Is (-64569)/(-2)*(60/(-6) + 12) composite?
True
Suppose -33491 - 322686 = -34*s + 391721. Is s composite?
False
Let m = 1328091 + -791104. Is m composite?
True
Let m(p) = 9457*p - 1145. Is m(6) a prime number?
False
Let q = -592676 - -871945. Is q composite?
False
Let c(s) = 321*s - 62. Let q(i) = 7*i - 82. Let f be q(13). Is c(f) prime?
False
Let h be -4 + ((-16)/12*-3 - -11). Suppose -3 = -12*n + h*n. Suppose 2*b + 0*u = n*u + 4799, -2*u = 3*b - 7179. Is b prime?
False
Suppose 97*p - 66911046 = -341*p + 10835268. Is p a composite number?
True
Is ((-1418)/8)/(-21 + (-4509)/(-216)) prime?
False
Suppose 6*m - 395940 = -72942. Suppose -70015 = -8*d + m. Is d a prime number?
False
Let g be 6606/3*4/(-6). Let m be (3 - 2 - 3) + 2729. Let u = m + g. Is u composite?
False
Let d(w) = 11*w**2 + 3*w + 11. Let z be (24/10)/((-84)/(-140)). Is d(z) prime?
True
Suppose 6*l - 11*l = -5, 5*l = 4*u + 60901. Let w = 29397 + u. Is w a prime number?
True
Is -7*(-2)/(8 - 591300/73930) a prime number?
True
Let d(o) = 71*o**2 + 166*o + 61. Is d(-18) a prime number?
False
Let f = -4893 - -8300. Is f a composite number?
False
Let z(d) = 1237*d**3 - 74*d**2 - 11*d + 7. Is z(5) composite?
True
Let h(m) = 25*m - 121. Let p be h(7). Is ((-27)/p)/((-1)/7226) composite?
False
Let d = 37 - 33. Suppose -d*c + 49 = -327. Let b = -60 + c. Is b a prime number?
False
Suppose 0 = -4*s + 8*h - 11*h + 479363, 2*s + 2*h = 239684. Is s a prime number?
False
Let f(h) = 268*h + 12 + 97*h - 2 + 17 + 279*h. Is f(16) a prime number?
True
Let k(z) = z**2 - 3*z - 9. Let c(g) be the first derivative of -g**4/4 + 16*g**3/3 + 8*g + 11. Let r be c(16). Is k(r) composite?
False
Let q be -2 - (-2 - 1 - -14). Is (-3)/(-24) + (10783695/(-40))/q a prime number?
False
Suppose 264*g - 280631 = -5*k + 268*g, 4*k - 2*g = 224500. Is k composite?
False
Let i = -680 + 710. Let x(q) = 2*q**3 - 53*q**2 - q - 73. Is x(i) a composite number?
False
Let y(x) = -39*x**2 - 6*x - 5. Let j be y(-6). Let t = j - -2772. Is t composite?
False
Let x = -136 + 91. Let d = -49 - x. Is (d/(-8))/(3/6294) composite?
False
Let z(o) = o**3 + 5*o**2 + o + 1. Let g be z(-4). Suppose g = 4*w + 33, -w + 18183 = 4*b. Is b prime?
True
Suppose -11 = x + 5*c + 5, -16 = -5*x - c. Suppose -x*f = -8*f. Suppose 0 = -5*b + 4 + 6, -3*h - 5*b + 52 = f. Is h composite?
True
Suppose -3*x = -5*h + 29, 2*x + 3*h - 9 = -3. Let t(v) = 14*v**2 - 3*v - 8. Is t(x) a prime number?
True
Suppose 0 = -157*l - 190*l + 296*l + 15679491. Is l a prime number?
False
Let p = 262946 + -153165. Suppose 3*h - 82352 = f - 2*f, p = 4*h - 3*f. Is h prime?
True
Let m(g) = 30*g**2 - 5*g**2 - 12 + 20*g + 21*g**2 - 105. Is m(-13) prime?
False
Let x = 129175 + 62634. Is x prime?
False
Suppose -9*t - 33 - 156 = 0. Let i(a) = 24*a**2 + 16*a - 25. Is i(t) a composite number?
False
Suppose 436517 = -4*g + 9*g + 2*b, -g - b + 87304 = 0. Suppose 2*r = 5*j - 10*j + g, 2*r = -3*j + 87301. Is r a prime number?
True
Let z = -261 - 1487. Let m = z - -8551. Is m prime?
True
Let d(k) = 81866*k**3 - 4*k**2 + 23*k - 27. Is d(2) a composite number?
False
Let w(f) = 2*f**2 - 60*f - 54. Let h be w(31). Suppose 5*b - h*b = 3*d - 33564, b - 33558 = -3*d. Is d prime?
False
Suppose 0 = 3*o - 3*v + 10140, -4*v = 4*o - 3*o + 3395. Let b = o + 5992. Is b a prime number?
True
Is (5 + (186619 - 3))*(-6)/(-18) prime?
True
Suppose 23 = 5*n - 12. Suppose 2*q = -n*q - 27. Is (46/(-6))/(q/45) a composite number?
True
Suppose 280203 = -30*g + 51*g. Is g composite?
True
Is 128421 - (-23 - (-1024)/48)/((-5)/6) prime?
False
Let c(n) be the first derivative of -n**4/4 + 223*n**3/6 - 17*n**2/2 + 1. Let z(j) be the second derivative of c(j). Is z(0) a composite number?
False
Suppose 0 = 4*a - 5*w + 6 - 0, 5*a = 4*w - 3. Is -3 + 1884 + (3 - a) composite?
True
Let f(j) = -j**2 + 2*j. Let k(i) = -i**3 + 17*i**2 + 16*i + 4. Let q(h) = -3*f(h) + k(h). Is q(-7) prime?
False
Let t = 828 + -443. Suppose 20 = 5*q, 0 = -j + 4*q + t + 98. Is (j/3)/((14/6)/7) a composite number?
False
Suppose -2*j + 446920 = 2*n, -4*n + 45*j = 40*j - 893813. Is n prime?
False
Suppose -3 = -2*h + 3, 0 = 3*x + h. Let b = x - -1. Suppose b = -z - o + 136 + 953, 2*z + o - 2176 = 0. Is z a prime number?
True
Suppose 3*m + 3 = 4*m, -86 = -2*h - 2*m. Let r = 36 - h. Is (9635/20 - -3) + (-1)/r a prime number?
False
Let j = 136683 + 69814. Is j composite?
True
Let m be ((-2)/7)/(4/(-84)). Let z be (-4)/m - (-112)/24. Suppose -z*j = -679 + 35. Is j a composite number?
True
Let n(q) = 24*q**2 - 25*q - 36. Is n(-26) a composite number?
True
Suppose -21085 = -3*z - 2*i + 17700, 3*z + 5*i - 38782 = 0. Is z a composite number?
True
Let c(m) = 820*m**2 - 10*m - 8. Let d be c(-5). Suppose 3*u - 2643 = 4*g - d, -4478 = -g + 4*u. Is g composite?
True
Suppose 5*x + 6165338 = 9*h, 685036 = -2*h + 3*h + x. Is h prime?
False
Let q = 3522 + -3488. Suppose 4*a + 2*k - 494 = 0, -84 = -a + 2*k + 37. Let j = a - q. Is j a prime number?
True
Let y(t) = 68*t**2 + 3*t - 2. Let q(p) = 2*p - 3. Let h be q(2). Let g be y(h). Suppose -z = -676 - g. Is z a prime number?
False
Is (6 - 1)*134592/960 a prime number?
