et r = -3 + 5. Suppose -3*s - 5*i + 1998 = t, -7*s + r*i = -2*s - 3361. Is s composite?
True
Suppose 13 - 16 = 3*a. Let x be a + (4 + 478 - -4). Suppose -2*c - 2*c + 5*b + 1931 = 0, c - 2*b - x = 0. Is c prime?
True
Let s(i) = -i**2 + 24*i - 50. Let c be s(21). Suppose -3*l = -c*l + 145670. Is l a prime number?
False
Let u(p) = 127*p**2 - 7*p + 31. Let k = -151 - -157. Is u(k) prime?
True
Let q(n) = n + 1. Let h(i) = -9*i**2 - 3*i + 96. Let r(g) = -h(g) - 5*q(g). Is r(16) a composite number?
True
Let k(p) = -5*p - 112. Let d be k(-25). Let v(o) = 3*o**2 - 22*o + 33. Is v(d) a composite number?
True
Is ((-331217)/7*-7)/1 a composite number?
False
Let p = 68728 - -21331. Is p prime?
True
Let o(y) = 182*y**3 + 3*y**2 - 2*y + 3. Let i be o(2). Suppose -4*p + 1129 = 4017. Let z = i + p. Is z a composite number?
True
Suppose -u + 6 = -29. Let n = u - 31. Suppose 1172 = 4*t - 3*i, n*t + 4*i - 3*i = 1172. Is t a composite number?
False
Let p(r) = 4*r**3 + 2*r**2 + 7*r - 2. Let b = -92 + 98. Let c be p(b). Let o = 3699 - c. Is o a composite number?
True
Is -41 + (-9386)/(-228) - (-1)/(6/254525) a composite number?
True
Suppose -2*o - 2*k = 452 + 514, 2*o + 951 = -5*k. Let a = o + 1107. Is a a prime number?
True
Let i(x) = 3*x**2 - 14*x - 25. Let k(n) = -n**2 - 31*n - 112. Let m be k(-28). Is i(m) a composite number?
False
Let n(w) = -64*w + 117. Let h be n(11). Let u = h + 1336. Is u a prime number?
False
Let g(r) = -6 + 8 + 0 + 2*r - 12*r**3. Let p be g(-1). Is (p/(-72) - (-9146)/12) + -1 a prime number?
True
Suppose 100 = 13*y - 8*y. Suppose 3*k - 4*k - 24 = 4*h, 0 = -5*k - y. Is (-5616)/h - (-9)/(-45) a prime number?
True
Let r = 964 - 448. Let p = 741 - r. Let d = p + -98. Is d composite?
False
Let g = -35 - -32. Is g - (-9 + 3 - 4408) prime?
False
Let h(i) = 95*i**3 - 4*i**2 - 14*i + 17. Let b be h(8). Suppose 4*r - 47*r + b = 0. Is r a composite number?
False
Let r(h) = 6*h**3 - h**2 + 2*h - 1. Let g be r(1). Let o be 4/(-6) + (1940/12 - g). Suppose -3*c + 316 = -o. Is c composite?
False
Let c be 6*(-2 - (-5)/2). Let w = -596 + 836. Suppose 1287 + w = c*l. Is l composite?
False
Suppose r = 5*l - 2*r - 680212, 272068 = 2*l - 4*r. Is l prime?
False
Let u = -14645 + 61554. Is u a prime number?
False
Is ((-5)/2)/((-460)/12193864) composite?
False
Let j = -5795222 + 10536933. Is j composite?
True
Suppose 0 = -3*k + 3*j + 24, 4 = -2*k - k - 4*j. Suppose -4*b - k*t = -3*b - 435, -4*b = 5*t - 1696. Is b prime?
True
Suppose -242232601 = -31*x - 78*x - 60*x. Is x prime?
True
Let s = 1585 - 845. Suppose 148 + s = i. Let w = i + -509. Is w prime?
True
Let t be (-19958385)/(-57) - (0 + (-2)/(-19)). Suppose 39*n - t = 32*n. Is n composite?
False
Suppose 2701612 + 12599979 = 85*b - 30654424. Is b prime?
False
Let j = 83 + -70. Let l(s) = -s**3 - 3*s**2 - 3*s + 1. Let c be l(-5). Suppose -5*k = 4*d - 223, -k + c - j = -2*d. Is k a prime number?
True
Is (-3569510)/(-63) - (70/18 + -4) a composite number?
False
Is -4 + (-2184)/(-532) - 2/((-38)/2336637) a composite number?
True
Let f be (2/(-8) + 98/168)*48. Is 201280/f + 3/3 prime?
False
Let d be (-1)/((-6)/(-2841)) - 6/(-12). Let a = -175 - d. Is a composite?
True
Suppose -o - 35*d = -34*d - 163970, -4*o + 655901 = -3*d. Is o prime?
True
Let s(i) = -i**3 + 7*i**2 - 6*i + 3. Let k(l) = l. Let p be k(6). Let y be s(p). Suppose -5*v = 4*c - 927, -2*c + y*v - 56 + 525 = 0. Is c composite?
False
Let v(z) be the third derivative of 97*z**5/60 - 5*z**4/24 + z**3/2 - 3*z**2. Is v(-7) composite?
True
Suppose 1459407086 = -175*m + 717*m. Is m a composite number?
True
Suppose 0 = -2*q - 108 - 72. Let z = -85 - q. Is -1316*((-126)/24 + z) composite?
True
Let b = -91 - -93. Suppose -4*t = -b*q + 2666, 5*q - 8051 = 5*t - 1361. Is q a composite number?
True
Let h(g) = 123*g**2 + 59*g - 7. Is h(-40) a prime number?
False
Suppose 3*l - 4*l = -46. Let t = l - 46. Let z(q) = -q**3 - 2*q**2 + q + 307. Is z(t) composite?
False
Is (21385175/21)/((-160)/(-96)) composite?
True
Suppose 5*p + 158*p = -23*p + 10133094. Is p a composite number?
True
Let s be (-6)/(-3)*1 + 1. Suppose -2555 = -s*c + 3232. Is c a composite number?
True
Suppose -4*o = -4*o + 11*o - 1364957. Is o composite?
False
Let b(z) = 4*z**2 - 7*z + 22. Let h be b(8). Suppose 3*j = -5*n + 138 + h, -3*n - 480 = -4*j. Let p = 887 + j. Is p a prime number?
False
Let f = 85 + -78. Suppose -6 = -f*x + 29. Is (x/(-15))/((-3)/1341) a prime number?
True
Suppose -19 = -5*m + 2*u - 9, -m + 3*u = -2. Suppose -19785 = -3*n - 0*n + 5*h, -m*n - 3*h = -13190. Is n prime?
False
Let z(p) = 2510*p + 115. Is z(27) composite?
True
Let g be 3/(-2)*(-11)/(99/24). Is 191/(-3 + 0 + g) prime?
True
Let m(i) = i - 5130. Let y be m(0). Suppose -2*s = 6, 4*o + 16622 = -3*s + 2353. Let b = o - y. Is b a composite number?
True
Suppose 16*j + 9*j = 6337044 - 906269. Is j composite?
True
Suppose -35 = -z - 161. Let d = -121 - z. Suppose 2*n = d*u + 4*n - 2389, 0 = -3*n - 9. Is u a composite number?
False
Let t(k) = 3172*k**2 - 8*k - 6. Let w be t(3). Suppose 4*h = -w + 148826. Is h a composite number?
True
Let v be (6/9)/(2/108). Suppose 3*q + c = v, 5*q - 4*c - 49 = -2*c. Let a(p) = 3*p**2 - 6*p - 4. Is a(q) a prime number?
True
Suppose -88*q - 11400368 = -200*q. Is q composite?
False
Let q be 16/(-24) + ((-24)/9)/(-4). Suppose 0 = 5*v + 3*j - 6 - 3, 4*v - 3*j - 18 = q. Suppose 0 = 4*w + 20, v*o - 4*w - 72 = -o. Is o prime?
True
Let l = 981 - 2797. Let c = l + 3075. Is c a prime number?
True
Let c(s) = s**3 - 22*s**2 - 2. Let r be c(22). Let l be ((-32)/12)/(-2*(-4)/(-72)). Is l/12*(-3691)/r a composite number?
False
Suppose 14*c + 9 = 5*c. Let j be c/(-2)*((-4 - -11) + 1). Suppose 315 + 17 = j*i. Is i prime?
True
Suppose -i + 3*n + 3 = 0, -n + 0*n - 6 = -2*i. Let a be 0/(i - 5 - (-2 + -2)). Suppose -3*p - 2*d + 0*d = -9699, a = -d. Is p a prime number?
False
Let y(m) = m**2 + 60*m - 110. Let w be y(-50). Let l = w - -1193. Is l prime?
False
Let i(q) = -146494*q - 867. Is i(-2) prime?
False
Let i(j) = -j**3 - 9*j**2 - 8*j - 13. Suppose 5*f - 3*v = -5, 0*f - 2*f - 2 = -3*v. Let z be (f + (-12)/(-9))/1*-39. Is i(z) composite?
True
Suppose -4*l + l + 4 = 4*b, 0 = -b - 4*l + 1. Let n be (b - (-4208)/(-2))/(2/6). Is ((-2)/(-11) + n/33)*-1 a prime number?
True
Suppose 397*h + 2 = 395*h. Is 1/(h/7) + 3600 composite?
False
Let z = -1773 - -3422. Is z composite?
True
Suppose 3*g - 3*r - 3 = -0, -19 = -3*g - r. Suppose -4*n - 34995 = -g*a, -8*a + 2*n = -4*a - 28002. Is a a prime number?
False
Let n(f) be the first derivative of f**4/4 + 7*f**3/3 + f**2 + 3*f + 1. Suppose 5*k - 32 = v, -6*k + v = -2*k - 25. Is n(k) a composite number?
True
Let u be 0*(3/6 - 0). Suppose -5*g - 35 = -4*l + 8*l, u = -5*g + 4*l + 5. Is (-26)/39 + (-293)/g a prime number?
True
Suppose 0 = 3*p + 4*o - 56557, o = -11*p + 7*p + 75431. Is p a prime number?
True
Suppose -3*n + 0*n = 5*w - 25, -w = -4*n - 5. Suppose f + 555 = 5*u, -4*u = -u - w*f - 311. Let r = u - 33. Is r a composite number?
False
Suppose -2894860 - 600362 = -18*h. Is h composite?
False
Suppose 0 = -2*r + v + 727973, r + 1158*v - 363979 = 1160*v. Is r a composite number?
False
Suppose -4*o = 2*o - 60. Suppose o*g - 12*g + 2926 = 0. Suppose 0 = -5*m + 2*p + g, 4*m - p = 1179 - 11. Is m prime?
False
Let f be 7 - ((-7)/(-28) - (-30)/8). Suppose 0 = f*z + 379 - 2578. Is z a prime number?
True
Suppose 8 = -5*x - 2, 4*j = 5*x + 17358. Let r = j - 3078. Is r composite?
False
Let n = 2707619 - 1595008. Is n a prime number?
True
Suppose -4*h - 17792 + 46295 = -33765. Is h prime?
False
Let k(m) = 36*m**2 - 4*m - 6. Let d be k(8). Let g = 1892 - 3017. Let n = g + d. Is n prime?
False
Let s = -227654 - -397111. Is s a composite number?
False
Let f = 91 - 71. Suppose -7*o = -2*o - f. Suppose 2*t - o*b - 966 = 0, -5*t + 2393 = -0*t + b. Is t prime?
True
Let i = -10294 + 64067. Is i a prime number?
True
Let r be (-4)/(-26) - (-1260)/91. Suppose -4*n = -r*n + 50. Suppose -d - 832 = -n*d + 4*b, -5*d + b = -1052. Is d prime?
True
Suppose -2*v + 41092 + 65898 = 4*o, 5*o = -2*v + 133739. Is o a composite number?
True
Suppose -3*n + 1 + 5 = 0. Let g(h) = -29*h + 285. Let c be g(10). Is c/30*n*2229/(-1) a composite number?
False
Let k = -5729 + 14073. Suppose -4*h = u - 3348 - 821, 5*h = -