?
True
Let a = -5213 - -6674. Is a a composite number?
True
Let j(w) = 55*w**2 + 706*w + 101. Is j(-34) a composite number?
True
Is (-104)/(-182) + 3/((-105)/(-1436450)) prime?
False
Let z = 34 - 28. Suppose -4*g = -z*g + 20. Is (0 + 877/2)/(5/g) composite?
False
Suppose -4*y - 50388 = -6*y. Let t = y + -15595. Is t a composite number?
True
Let f(d) = 4*d**3 + d**2 + 5*d + 7. Let b be f(-2). Let z = b - 47. Is ((-124)/6)/(((-4)/z)/(-1)) a composite number?
True
Is (-168395)/(-2)*(-1 - 42/(-30)) composite?
False
Suppose -30*j - 998 = -32*j. Suppose 2*h = 3*i - 3*h + 5, 3*i + 5*h = 5. Let l = j + i. Is l prime?
True
Suppose 0 = -2*x - 5*b + 4673, 0 = -0*b - b + 3. Suppose -r + j + x = 0, 2*j - 9340 = -r - 3*r. Is r a prime number?
True
Let q = 57585 + -21394. Is q a prime number?
True
Let v be ((-6)/3)/(-4 - (-8)/4). Is 128871/12 + v/(-4) composite?
False
Suppose -3*f + 13908 = -3*a, -4*f = -183*a + 178*a - 18543. Is f a prime number?
True
Let f(b) = -74*b - 195. Let z be f(-7). Suppose -314*d = -z*d + 18459. Is d composite?
True
Is 208317*(12/9 + -1) prime?
True
Let d = -145474 - -45203. Let g = d + 185064. Is g a composite number?
False
Let x(q) = 2020*q - 783. Is x(58) a prime number?
False
Is ((-173292)/70 - 19)/((-1)/5) a prime number?
True
Suppose 3*p - 3*c = -c + 3, -5*p - 2*c + 21 = 0. Suppose -14*x + p*x + 5137 = 0. Is x a composite number?
False
Let h = 5369 - 2506. Let n = -980 + h. Is n a composite number?
True
Is (-1)/(-10) + (-2015009975)/(-2750) a composite number?
False
Suppose 0 = -2*w - 2*g - 7 - 11, w = -3*g - 11. Let x be (-1 + 0)/((-2)/6). Is ((-4)/w)/(x/2814) a prime number?
False
Suppose 3*c - 3706 = -0*x + x, -4*c = 5*x - 4954. Let w(t) = t**3 - 12*t**2 - 19*t - 19. Let n be w(-7). Let j = c + n. Is j a composite number?
False
Let d(l) = l**3 + 12*l**2 - 32*l + 123. Suppose f + 121 = 137. Is d(f) a composite number?
False
Let q(r) = r + 6. Let a be q(0). Suppose 12*j - a*j = 6042. Is j a prime number?
False
Suppose 7*r = -3*r + 150. Is (4 - -17031)*3*1/r prime?
True
Suppose -2*o + p - 765 - 7922 = 0, 3*o = 4*p - 13033. Let x = -3090 - o. Is x composite?
True
Let r = -192 + 195. Suppose -r*x + 814 = 8*x. Is x a composite number?
True
Let k be (36/(-8))/(-3)*2. Let b be 581 + 1*(-2 + k). Suppose 16*q = 14*q + b. Is q prime?
False
Let s(z) = -z**3 - 8*z**2 - 13*z - 20. Let a be s(-7). Suppose 0 = -a*c + 12*c + 14090. Is c a composite number?
False
Let x = 639 - 895. Let r be (-6 - 6 - 2)*13. Let o = r - x. Is o prime?
False
Let s = 18205 - 463. Is (-2)/((-124206)/s + 7) a prime number?
True
Suppose -d - 2*y + 8 = 0, 0*y + 35 = 4*d + 5*y. Let s(r) = -r**2 + 10*r - 3. Let c be s(d). Let u(f) = -5*f**3 - 5*f**2 - 3*f - 2. Is u(c) composite?
False
Let f be (-8274)/(-56) + (-1)/(-4). Let v = f - 52. Is (1 + v)/(-5 + 6) prime?
True
Suppose 0 = -191*k + 2384740 + 9685123. Is k a prime number?
False
Suppose 230*v = 136252400 + 151838010. Is v prime?
False
Let r = 2977814 - 1530244. Suppose 0 = -15*w - 1133360 - r. Is 6/4 + w/(-36) composite?
True
Let n = 8241 - 16655. Let m = -4667 - n. Is m prime?
False
Suppose 62*o = 79*o - 537931. Is o composite?
False
Suppose 0 = -11*l + 6*l. Let v(u) = -14*u + 3719. Is v(l) prime?
True
Suppose -4*y - 100519 = 2*d - 1599065, -5*y - 3*d = -1873180. Is y a prime number?
True
Suppose -4 = -2*f, 144061 = 171*r - 168*r + 5*f. Is r composite?
False
Suppose -4*u + 797038 = 3*x - 1019802, -u + 454187 = -5*x. Is u prime?
False
Let v(i) = -47*i**2 + 11*i + 39. Let a(y) = y - 1. Let n(f) = -4*a(f) - v(f). Is n(-6) composite?
False
Let h(v) = 22*v**3 - 7*v - 2 + 37*v**3 + 2*v + 5. Let u be h(2). Suppose -2*q + u = 3*n - 614, -2*n - 5*q + 723 = 0. Is n prime?
True
Let b be (-2)/(-3)*(-4)/(12/(-63)). Suppose b*h - 9*h = 23690. Suppose 5*w - 13043 = -h. Is w composite?
True
Let h = 4 - -1. Suppose 4*c - 5*j - 4601 = 0, -h*c + 3*j + 1192 + 4556 = 0. Is c composite?
True
Let i(a) = 63*a**2 + 127*a - 81. Is i(-62) a composite number?
False
Let w(b) = b**3 + 10*b**2 - 11*b - 20. Let h be w(-11). Let f = -16 - h. Suppose -s - f*t + 65 = 0, -5*s - 2*t + 415 = -0*s. Is s a prime number?
False
Let h(r) = -3*r - 127. Let q be h(-49). Suppose 33*n - q*n = 411047. Is n a composite number?
True
Suppose 0 = 36*v - 40*v + 3*a - 172252, 0 = -2*a - 8. Let x = v + 81879. Is x prime?
False
Let d = -4 - -31. Let z be 0 + 9/(d/30). Suppose -11631 = -z*f + 14359. Is f a composite number?
True
Suppose 331878 + 3968217 = 9*x + 6*x. Is x prime?
True
Let l be (3/(-6))/(4/(-575736)). Suppose 15*b = -6*b + l. Is b prime?
False
Suppose 0 = -9*i - 178 + 178. Suppose -l = l + 4*u + 6, 5*l + 3*u = 6. Suppose i = -0*x - l*x + 2235. Is x prime?
False
Let b = 550 - 553. Is b - (2 - (993/1 - -3)) a composite number?
False
Let k be 37*3/(-4) - 2/8. Let v = k + 29. Is 765 + (v - -2) - (1 - -1) prime?
False
Let f = -1721 - -974. Suppose -2*d = -l - 318, -5*l + d - 617 - 1018 = 0. Let q = l - f. Is q a prime number?
True
Let l(x) = x + 4. Let z be l(5). Suppose 11 = 5*s - z. Suppose -t - s*i + 89 = 0, -t + 0*i = -4*i - 105. Is t composite?
False
Suppose -3*s = -5*s + 22. Let a(x) be the first derivative of -x**3/3 + 17*x**2/2 - 23*x - 22. Is a(s) composite?
False
Let n(o) = 17*o**2 - 10 - 47 + 0*o - 10*o. Is n(10) a composite number?
False
Let x(w) = w**3 + 5*w**2 - 16*w - 76. Let d be x(-4). Suppose d*y - 26194 + 2278 = 0. Is y a prime number?
False
Suppose 17*r = 10*r + 7. Let y be r/5 - (-5646)/(-5). Let i = 1938 + y. Is i a composite number?
False
Let r = 3811220 - 2717055. Is r prime?
False
Let b(s) be the third derivative of s**6/120 - s**5/60 - s**4/24 + 608*s**3/3 + 11*s**2. Let k be b(0). Suppose -k = 5*a - 3661. Is a composite?
True
Let f be 92/1 - ((3 - -7) + -8). Suppose -96*l + 4812 = -f*l. Is l prime?
False
Let z = -123574 + 300953. Is z prime?
True
Suppose 70*v - 66*v + 107172 = 8*j, -5*j + v + 66984 = 0. Is j a composite number?
False
Let c be (150/(-200))/((-22)/16 - -1). Suppose 0 = -c*a + 15696 + 1502. Is (-9)/12 + a*(-3)/(-12) composite?
True
Suppose -16*g + 14632 = -12*g. Suppose -7*l + 4665 = -g. Is l composite?
True
Suppose 6611744 + 38305724 = 68*j. Is j composite?
True
Let g be -301*1*2/4*-2. Let u = -82 + 222. Let r = g - u. Is r prime?
False
Let o(i) = -6*i**3 - 3*i**2 - 3*i - 1. Suppose -17*l = -21*l - 4. Let p be o(l). Suppose -4*v + 0*s - s + 509 = 0, p*v - 633 = 2*s. Is v prime?
True
Suppose 0 = -3224*a + 3213*a + 80971. Is a prime?
False
Suppose -19*b = -22*b + 297. Suppose -11*l = -0*l - b. Let i(h) = -h**3 + 21*h**2 - 7*h + 46. Is i(l) a prime number?
False
Suppose 0 = -2*p + 2*x + 36, 5*p - x = -2*x + 60. Let k(r) = 11*r - p - r**3 - 9*r - 12*r**2 - r**3. Is k(-12) prime?
False
Let y(v) = v + 14. Let k be y(-11). Let x(t) = -57*t + 10. Let z(q) = -54*q + 11. Let r(b) = -4*x(b) + 3*z(b). Is r(k) composite?
False
Suppose -2*a = -a + 3*i - 8, 0 = 2*a - 5*i - 16. Suppose -19 = -a*g + 21. Suppose w - 1347 = -2*o - 3*o, 5*o = -g*w + 6815. Is w composite?
False
Let k = 1935 + 2265. Let u = 38803 + k. Is u composite?
False
Let d(l) = 246*l**2 + 20*l - 7263. Is d(-97) composite?
False
Let w(y) = -2*y + 23*y - 12*y - 3 - 39*y. Suppose -2*z - 34 = 3*m + 3*z, -4*z - 8 = -4*m. Is w(m) prime?
False
Suppose -5*y = -28 + 13. Suppose -p + 6*p = -y*x + 19024, 3*p + 4*x = 11410. Suppose -g + p = g. Is g composite?
True
Let l(v) = v**3 + v**2 - v + 107. Suppose 3*b - 5*j - 10 = 0, 5*b + 2*j - 4 = 4*j. Let r be l(b). Suppose r = c - 102. Is c prime?
False
Is (5 - 0)*(-41812)/12*-3 composite?
True
Let j(p) = 12*p - 55. Let f be j(5). Suppose -7*w + 23772 = f*w. Is w prime?
False
Is (5 + -4 + 2)*5686153/33 prime?
False
Suppose -185 + 2047 = 2*v - 2972. Is v a prime number?
True
Let j = 850 + -832. Let y = -6 + 8. Suppose y*c - 2894 = 4*w, -14*w + 4333 = 3*c - j*w. Is c a composite number?
False
Suppose -8*q = 162*q - 13281590. Is q a composite number?
True
Let y be (1 - 0)*(1 - 1). Let p be -7*(-8)/56 - -8793. Suppose -5*x + t + 9413 = y, -625 - p = -5*x - 2*t. Is x a composite number?
True
Is 39/((-663)/(-164084)) + (-5 - 0) composite?
True
Let z be 2*212/(-8)*-23. Let l = z + 154. Is l a composite number?
False
Suppose z + z = 0. Suppose z = -2*o + 4*t - 281 + 1173, 0 = o - 4*t - 436. Suppose -o - 290 = -2*j. Is j a prime number?