, 0 = -4*m + i*a + 7281. Is m composite?
True
Suppose -9*y = -14 - 4. Suppose 0 = y*v - 352 - 656. Suppose s - v = 829. Is s a prime number?
False
Let o = -35 + 58. Suppose -t + 2*l = 2*t - 29, -t - 2*l = -o. Let d(q) = q**2 - 2*q - 32. Is d(t) a composite number?
True
Let c = -10351 - -10787. Suppose f = -4*f + 20. Suppose d - 331 = -m - 2*m, -4*m = f*d - c. Is m prime?
False
Let a = 1123 + -505. Suppose 5*k - a = -k. Is k a composite number?
False
Suppose 986*h - 5618961 = 977*h. Is h composite?
False
Suppose 33*x - 29188085 = -62*x. Is x a prime number?
True
Let x = 67 + -65. Let s = x - 0. Is (s - 1)*((448 - -6) + 4) a prime number?
False
Let q(z) = 221*z**2 - 24*z - 232. Is q(-7) a composite number?
True
Suppose 19*b - 3*y - 26605 = 14*b, 3*b = -3*y + 15963. Is b a composite number?
True
Suppose 37*z = 35*z. Suppose z = -q - 5*h + 32, -3*q - 4*h + 57 = -2*h. Let f(b) = 2*b**3 - 23*b**2 - 7*b + 23. Is f(q) a prime number?
True
Let f(h) = 14*h + 64*h + 25 - 34*h + 126*h. Let n be f(12). Let w = n - 996. Is w composite?
False
Let k = -973691 + 3781228. Is k a composite number?
False
Let q be 380453 - (-1 - (-2 + -7)). Suppose 55*y - q = 16*y. Is y composite?
True
Let o = 16813 - 10109. Suppose 2*z + 4*q = 5*z - 3, 2*z - 25 = -5*q. Suppose 0 = 2*w - z*h - o, w + 0*h - 5*h - 3357 = 0. Is w prime?
True
Let b(v) = 25*v**3 + v**2 - 4*v + 1. Let r(u) = 4*u**2 + 9*u + 21. Let d be r(-6). Let y = 114 - d. Is b(y) a prime number?
True
Let g = -553004 + 789111. Is g a prime number?
True
Let v(w) = w + 451. Suppose -3*z = -4*b + 2*b + 10, 4*z = 5*b - 25. Let m be v(z). Is (m/3)/((-42)/(-18) + -2) a composite number?
True
Let i(y) = -2*y**3 - 3*y**2 + y. Suppose -3*l + 13 = 10. Let b be i(l). Is 3789/4 - (b - 102/(-24)) a composite number?
False
Let k = -129 - 36. Let s be (14/21)/((-2)/(-1257)). Let n = s + k. Is n a prime number?
False
Let a = 1263260 - 827271. Is a prime?
False
Let m(s) = -2*s - 6. Let b be m(-6). Let z(k) = 1847*k + 59. Let v be z(1). Suppose 14 + b = 4*u, 4*c - 2*u = v. Is c a prime number?
True
Let z = -143512 + 318039. Is z a composite number?
False
Let x(k) = -21*k**3 + 6*k**2 + 3*k + 11. Let r be x(-7). Suppose r - 2182 = a. Is a composite?
True
Let b = -8786 - -131785. Is b composite?
True
Let b be ((-20)/(-12) + -1)*1746/(-12). Let m = 1782 + b. Is m prime?
False
Suppose -15 = -4*p - 91. Let s be p/(-3 - (-5361)/1788). Suppose s = -3*i + 7*i. Is i prime?
False
Let t be 34/((-290)/200 + 6/5). Is (-8 - t/16)/((-2)/(-388)) a prime number?
True
Suppose 19*a = 16*a + 15, 0 = -5*v - 3*a - 5. Is ((-7)/(-42)*-43863)/(2/v) a composite number?
False
Let r(y) = 278*y**3 + 13*y**2 + 207*y - 49. Is r(12) a composite number?
False
Suppose 3*s - 3*m = 2*m + 232467, -s - 4*m = -77506. Is s a prime number?
False
Suppose -3*l + 4*r + 35 = 0, l - 2*r = 12 + 3. Suppose l*n - 808 = 1522. Is n a composite number?
True
Let n(s) = -7*s**2 - 7 + 6*s - 2*s**2 + s**3 + 4*s**2 + 36. Is n(11) a prime number?
True
Suppose -60*h + 879912 = -738948. Is h prime?
True
Let j be (8/(-10))/(2485/(-825) - -3). Let n(h) = -4*h**3 - 64*h**2 + j*h**2 + 467 - 2*h + h + 3*h**3. Is n(0) a prime number?
True
Suppose 0 = -w + 10 - 7. Let s be ((-1)/(-3) + 0)/(w/117). Suppose -s*k + 1923 = -10*k. Is k composite?
False
Let l = -63677 - -239004. Is l a prime number?
True
Suppose -15*l - 144 = -654. Let f(m) = 110*m + 53. Is f(l) a composite number?
False
Is (0 + 4 - 629063)/((-9)/(-9)*-1) a composite number?
False
Suppose 19*k + 1293 - 305 = 0. Is (3 - 1)*(-73814)/k a composite number?
True
Let q = -30783 - -58112. Is q a composite number?
False
Suppose -449*a + 442*a + 28749 = 0. Let n = 4312 + a. Is n a prime number?
True
Let a = 415 + -413. Is ((-5)/(4 - -6))/(a/(-508)) prime?
True
Let p be -1*(-4)/(-16)*4. Let n(s) = -2*s - 2. Let r be n(p). Suppose 8*h - 1134 - 1594 = r. Is h prime?
False
Suppose -1373 = -2*y - 1363, 5*y = 2*c - 2369149. Is c a composite number?
False
Let a(g) = g**3 - 18*g**2 - 49*g + 125. Is a(38) a prime number?
True
Is 21/7*(-1)/(24/(-22744)) composite?
False
Let g(z) = -6866*z + 2421. Is g(-67) composite?
False
Let q = 459253 - -439354. Is q prime?
True
Suppose -14706 - 74130 = -12*i. Is i a composite number?
True
Let q be (5 - 6)/(2*4/(-24)). Suppose q*a - 381 = -5*v, a + v + 635 = 6*a. Is a a composite number?
False
Suppose -145*i + 5823893 = -56*i. Is i composite?
False
Let z(h) = -6184*h + 14913. Is z(-92) a composite number?
False
Suppose -750 = 5*t - 5*u, -4*t + 3*u - 575 = 4*u. Suppose -2*o = -o + 450. Let g = t - o. Is g a composite number?
True
Let r(o) = 11923*o**2 - 117*o + 763. Is r(9) a prime number?
False
Let o = -125 + 141. Suppose 0 = -o*w + 184247 - 51303. Is w prime?
False
Let n be 3/5 + -74*(-115)/25. Suppose 1056 - n = g. Suppose -5*f - 2*z = -894, -4*z + g = 3*f + 173. Is f prime?
False
Is (0 - 4/(-18)) + 20/((-1620)/(-1507959)) a composite number?
False
Is (1769302/(-6))/(17/(-51)) a prime number?
True
Suppose 12*o = 5*f + 15*o - 18, -3*f + 5*o = -4. Suppose -f*r - 3*l + 7386 = 0, -12*r - 2*l = -17*r + 12317. Is r a composite number?
True
Suppose 13 = -q + 13. Is (2/(-1))/(-2)*(1623 - q) a prime number?
False
Let b(h) = -2*h**3 + 14*h**2 - 6*h - 31. Suppose -p - 57 = 5*o, 3*p = 5*o + 28 + 21. Is b(o) a prime number?
True
Suppose 657*z - 654*z - 609 = 0. Is z prime?
False
Let r(w) = -173*w - 14. Let c be r(-3). Suppose 4*x + c - 2229 = 0. Let k = 238 + x. Is k prime?
False
Let h = 60 + -50. Suppose h*y = 24 + 6. Suppose y*n - 892 = -n. Is n a composite number?
False
Let n(g) = g - 13. Let y be n(14). Let r(u) = 1442*u + 3. Let s be r(y). Suppose 2*i = 3*j - 8*j + 2399, s = 3*j + 4*i. Is j composite?
False
Let b(m) be the second derivative of -208*m**5/5 - m**4/12 - m**3/3 - m**2 - 8*m. Let w be b(-1). Suppose -3*d + 1596 = -w. Is d composite?
False
Let c(w) = -21*w**3 - 16*w**2 + 89*w + 911. Is c(-16) a prime number?
False
Let o(l) = -l**3 + 35*l**2 - 22*l - 11. Suppose -107 = g - 137. Is o(g) a composite number?
True
Let g be 2/(24/(-2)) + 872/48. Suppose 9*l - 3*l = -g. Is 3958/(6*l/(-9)) a prime number?
True
Let u = -101740 - -254459. Is u prime?
False
Let j be 0 - ((-3)/4)/((-8)/(-64)). Suppose 24 = j*f - 6. Is (5/5)/(f/9235) a composite number?
False
Let f(z) = -776*z - 363. Is f(-35) a composite number?
True
Suppose -7*s + 8*s - 9089 = 0. Is s composite?
True
Suppose 4*f - v - 27 = 0, 9*v - 6*v - 17 = -2*f. Suppose 13495 = f*z + 1896. Is z a composite number?
False
Suppose 0 = -701*d + 698*d + 304338. Is d a composite number?
True
Let g = -152989 - -97589. Is (-1)/9 + (-13)/(585/g) a composite number?
False
Suppose -4*b + 2860316 = 2*i, 4*i + 2860364 = -88*b + 92*b. Is b composite?
True
Suppose -2886 + 521 = -5*y. Let a be 6 + (8*-1 - -2 - -2). Let d = y - a. Is d a prime number?
False
Let n = 89341 - 24680. Is n prime?
True
Let o = -35035 + 59394. Is o a prime number?
True
Let r(j) = j**2 - 4*j - 8. Let q be r(-4). Let w be 16542/q + (-2)/8. Suppose 8*s - 9*s + w = 0. Is s a prime number?
False
Is 37341330/520*(-152)/(-6) a prime number?
False
Let v = -757688 - -1344751. Is v prime?
True
Suppose 861*l = 857*l - 8, -2*c + 1714060 = -3*l. Is c prime?
True
Let i(z) = -4*z + 20. Let r be i(5). Suppose r = -4*t + 3*q + 413 + 320, 3*q = -5*t + 950. Is t a composite number?
True
Let c be -5055 - (-6)/30*-5. Let m = -869 - c. Is m a composite number?
True
Let w(p) = -77719*p + 610. Is w(-3) composite?
True
Let y(i) = 30789*i**2 + 45*i + 43. Is y(-1) composite?
True
Let h = -92 + 95. Is (1992/9 - -2 - 5)*h composite?
True
Let l = -2561 + 4216. Is l prime?
False
Let w(l) = -l**3 + 11*l**2 + 17*l - 22. Let o be w(12). Suppose 0 = -3*x + 50 - o. Is (649/(-55))/(x/10)*-26 prime?
False
Suppose -41213 + 11209 = 4*m. Let s = 13740 + m. Is s a composite number?
True
Let l = -148 - -150. Suppose n - f - l*f = 5384, -n - 3*f = -5378. Is n prime?
True
Suppose 14124065 + 8734794 = 27*m + 10*m. Is m a composite number?
True
Let a = -63691 + 106664. Suppose 668*j = 661*j + a. Is j composite?
True
Let a be (32/(-20))/(-4) - (-1177)/(-55). Is a/(-189) - (-444752)/9 a prime number?
True
Suppose 2*j - 10*j - 27*j = -21223195. Is j a prime number?
False
Let r(y) = 35*y**2 + 9*y + 24. Let u be r(-4). Suppose 5*i - 3897 = u. Is i prime?
False
S