composite?
True
Suppose -3*v - 2765 = -5*l + 2*v, 4*l = 3*v + 2208. Suppose 2*f + l = -3*k, -2*f - 1063 = 2*f - k. Let y = -170 - f. Is y prime?
True
Let w be 4/((-36)/(-99)) + -8 + 2. Suppose 0 = w*k - 47050 - 60085. Is k prime?
False
Suppose 2763511 + 21426213 = 26*t. Is t prime?
False
Suppose 0 = 45*x - 2502240 - 1182945. Suppose 101*k = 108*k - x. Is k composite?
False
Let o(t) = t - 6. Let u be o(11). Suppose 3610 = -5*j + 7*j - 4*q, u*j - 5*q = 9040. Is j composite?
False
Suppose -9*z = -24*z - 225645. Let f = -6624 - z. Is f a composite number?
False
Let z be (48/30)/(18/45). Suppose z*p - 3201 = -3*b - 2*b, 0 = -4*p - 4. Is b composite?
False
Suppose 14251 = 5*d - r + 3*r, -4*d + 11396 = 4*r. Let w = d - 672. Is w a composite number?
False
Suppose 3*z + 4*a - 31411 = 61550, -5*z = 3*a - 154946. Is z a prime number?
False
Is 447*(33/(-264))/(9/(-54408)) a composite number?
True
Suppose 20124 = 2*x - 36994. Suppose 9435 = -14*u + x. Is u prime?
False
Let y = -18169 - -89106. Is y prime?
True
Let l(y) = -4*y + 3. Suppose -5 = 8*i + 3. Let t be l(i). Is 1082/(-6)*(-21)/t a composite number?
False
Is (-2 + 0)/(57/(-226214)*36/81) composite?
True
Let v(k) be the third derivative of 19*k**5/15 + k**3/2 + 39*k**2 - 2*k. Is v(-2) composite?
False
Let h(f) = -1176*f. Let i be h(2). Let k(y) = 163*y**3 - 2*y**2 - 20*y - 44. Let x be k(-3). Let m = i - x. Is m a prime number?
False
Suppose -138*f + 76227827 = -28717999. Is f composite?
False
Suppose -5*p = 4*l + 1259, 1269 = -4*l + 5*p - 0*p. Let k be 126/72 + (-1270)/8. Let u = k - l. Is u a composite number?
True
Let f be ((-20)/(-6) - 3) + (-20)/(-12). Let c be (7*(-3)/f)/((-6)/252). Let j = c + 308. Is j a composite number?
True
Suppose 0 = 118*q - 113*q - 14215. Is q a prime number?
True
Let j = 15 + -15. Suppose -g - 56 - 71 = j. Is g/((-1 - 0)*7/7) a prime number?
True
Let a(l) = 132*l**3 + 3*l**2 + 73*l + 1. Is a(6) composite?
False
Let y = -47 - -52. Suppose -y*i + 5994 = i. Suppose 466 + i = 5*p. Is p a composite number?
False
Let n = 222147 + -66776. Is n a prime number?
True
Suppose 230*j - 24695985 - 19701835 = 0. Is j a composite number?
True
Suppose 5*g + 10*g + 28*g = 2149183. Is g prime?
False
Is ((-587)/1174)/(2*(-1)/1495396) a prime number?
False
Is 4/(-54) - (-568586200)/1512 composite?
False
Let b = 424828 - 101465. Is b a composite number?
True
Let f be 10*(30/(-4) + 4 + 0). Is 1*(-7)/(f/10895) a composite number?
False
Let q(i) = i**2 + 3*i - 2. Let a = -79 - -75. Let s be q(a). Suppose -124 = -s*c + 3*u, -3*c + u + 162 + 17 = 0. Is c a prime number?
True
Suppose 5*h - 7*h + 18632 = 0. Suppose -o - 3*o = -h. Is o prime?
False
Is -35885*(48/(-10))/8 composite?
True
Suppose 14*m - 9546 = 3152. Is m a prime number?
True
Let y(g) = -21682*g**3 + 4*g**2 + 6*g + 3. Is y(-1) composite?
False
Suppose n = -3*d + 161063, -598*n + 644228 = -594*n + 4*d. Is n prime?
False
Let m be (-280)/(-88) - 2/11. Suppose -5*d + 3*z + 23 = 0, 1 = -m*d + 2*d - 5*z. Suppose 0 = 14*n - d*n - 890. Is n a composite number?
False
Let d(x) = 23*x**3 - 3*x**2 - 4*x - 3. Let y(q) = -q**3 + 3*q**2 + 4*q - 6. Let s be y(3). Let n be d(s). Suppose 5*j - n = -4*j. Is j a prime number?
False
Suppose 568 = 5*x - 2*i - 0*i, -i - 340 = -3*x. Is (-64)/x - 16122/(-14) composite?
False
Is (29189792/(-20))/(-4) + 243/405 composite?
False
Suppose -g - 2*x = 6, -2*x - 15 = g + 3*x. Let r be (6*((-4)/6 + g))/(-2). Suppose -3*s + 2041 = 2*s - m, r*s - 814 = m. Is s a prime number?
True
Let u(f) = 98*f + 2. Let d be u(3). Let x be (d/(-56) + 2/7)/1. Is (x - 7)/4 - 2*-103 a prime number?
False
Suppose -3*f = -5*v - 3330890, 2*v - 5854115 = -5*f - 302642. Is f a prime number?
False
Let m be (-50386)/35 - 0 - (-4)/(-10). Let w = m + 2099. Is w composite?
False
Let s be ((-9377)/3)/((11 + -2)/(-27)). Let v = -5266 + s. Is v a prime number?
True
Is 10*1 + 247205/(-70)*-62 prime?
True
Suppose 2*l + 4756 = 25064. Let x = l + -5183. Is x a prime number?
False
Let v = 44609 - 16660. Is v a composite number?
True
Let w(j) = -45*j + 2. Let n be w(-5). Let a(m) = -m**3 - 40*m**2 - 32*m + 195. Let r be a(-39). Let q = n + r. Is q a composite number?
False
Is ((-117)/26)/9 + (-664174)/(-4) a prime number?
True
Let q = 117 - 95. Let n = q - 18. Suppose -423 = -c + 2*l, -5*c - n*l + 2602 - 515 = 0. Is c a composite number?
False
Let c be 14/((-378)/45)*36/(-5). Suppose -c*r + 2315 + 97 = 0. Is r composite?
True
Let o(p) = 207804*p + 165. Let k be o(9). Is k/234 + 2/(-12) composite?
False
Suppose 9*n + 20968 = 70981. Is n a composite number?
False
Let s(f) = 11*f**2 - 27*f - 31. Is s(23) a prime number?
True
Let n(z) = 2708*z**2 - 95*z + 109. Is n(-14) a prime number?
False
Let h be 1/9 - 208/(-72). Let n(l) = h*l**2 + 6*l - 24*l - l**2 - l**2 - 17. Is n(24) prime?
True
Let k be ((-90)/3)/(-3) + -5. Is k/(-10) - 28348/(-8) composite?
True
Is (-661234 - -6)*39/(-156) prime?
False
Suppose 0 = -50*j + 68*j - 908586. Is j a composite number?
True
Let z = -4 - -7. Suppose -271 = 2*i - 4*i + 3*d, -419 = -z*i + 2*d. Let n = i + 210. Is n a prime number?
True
Suppose -2*n = -849*t + 845*t - 2037366, -2037310 = -2*n - 4*t. Is n a prime number?
True
Suppose 0 = 18*v - 427333 - 1746329. Is v composite?
True
Let f(n) be the third derivative of -n**4/12 - 13*n**3/2 + 20*n**2. Let j be f(-17). Is -2*146*-1 + (j - -2) prime?
False
Is (504/(-216))/(2/(-6)) - -232492 composite?
False
Suppose -190*o + 191*o - 5 = 0. Suppose -m - o*z + 23964 = 2*m, -3*m = -3*z - 23988. Is m a prime number?
True
Let h(a) = 407*a**2 - 21*a - 3. Let o be h(9). Suppose 27309 = 4*m - o. Suppose -6*l - 3*l = -m. Is l composite?
False
Let v be 2/9 - 37219/(-63). Let p = v + -405. Suppose -2*i + 328 = 4*o - p, 4*o + 490 = 2*i. Is i a composite number?
False
Let y(n) = 23*n**2 - 21*n**3 + 4*n + 67 - 2*n**3 + 42*n**3 - 20*n**3. Is y(16) a prime number?
False
Let s be (-29)/(-4) - (74/8 + -9). Let x(d) = d**2 - 4*d - 14. Let j be x(s). Suppose -j*f - 19705 = -14*f. Is f prime?
False
Let n be 291718/112 + (-3)/(-8). Suppose -36*t - n = -41*t. Is t a prime number?
True
Suppose -9*p = -57 + 39. Suppose 0 = -3*t - 0*t + 2*b + 1775, -p*b - 2364 = -4*t. Is t prime?
False
Suppose 8*x = -17*x - 281336 + 2002911. Is x a prime number?
True
Let s(v) = 12*v + 5. Let f(z) = z. Let l(d) = -6*f(d) + 2*s(d). Let r be l(-3). Let y = r + 201. Is y a prime number?
True
Let r be (-96104)/(-28) - ((-24)/14 + 2). Let b = r - 1278. Let c = 5453 - b. Is c composite?
False
Let z(c) = c**3 - 24*c**2 + 45*c - 22. Let g be z(22). Suppose -5*f = 5*b - 11270, 4*b - 2*b + 5*f - 4517 = g. Is b a composite number?
False
Is (-3266102)/(-6) - (-37 - (-3815)/105) composite?
True
Suppose 0 = -4*d + 2*p - 896, 5*p - 557 = 4*d + 351. Let n = d - -1295. Is n composite?
True
Let w be 1*1*(2 - -33). Let t = w + -39. Is 497/(-4)*16/t a prime number?
False
Is (0 - 1) + 5 + -10 + 17000 + 3 composite?
True
Let f = 1642750 - 955523. Is f composite?
True
Suppose 4*i = -2*c - 14, -28 = 8*c - 4*c - 5*i. Is 3010 + (49/c - -8) prime?
True
Is -2 + 6 - (4 + -153851) a prime number?
False
Let t(d) = 10721*d**3 + 8*d**2 - 12*d + 17. Is t(2) prime?
True
Let q(o) = 2*o**3 + 28*o**2 + 4*o + 60. Let r be q(-14). Suppose -r*j + j - 2*c + 6803 = 0, 4*c = -3*j + 6805. Is j composite?
False
Let b(z) = z**3 - 9*z**2 + z + 19. Let n be b(-9). Let d = -949 - n. Is d a prime number?
True
Let k = 317 - 47. Let z = 1369 - k. Let r = z - 686. Is r composite?
True
Let y = -208 + 218. Suppose 0 = y*p - 6584 - 7026. Is p a composite number?
False
Suppose 6*l = 33 + 27. Is 505/2 - (2 + l/(-4)) a prime number?
False
Let o be 8/16*(-164)/2. Is (o/123)/(1/(-7899)) a prime number?
True
Let m = -73 - -123. Let v = m + -47. Suppose 2*o - 6 = 0, -173 = -v*b + o + 703. Is b a prime number?
True
Suppose -5*q - 147035 = -0*q. Is -1*(-5)/((-35)/q) a prime number?
True
Suppose -23*d = -42*d + 653999. Is d prime?
True
Let q be (50496/20)/(13/(-15) - -1). Let s be 26/65 - q/(-10). Suppose 5*g = 5*x + 2470, -5*g + 3*x + s = -586. Is g a composite number?
False
Let d(j) = j**3 + 7*j**2 + 6*j + 1. Let u be d(-6). Let x(l) = -76*l**2 + 3*l - 3. Let q be x(u). Is 1 + -1 - -1 - q a prime number?
False
Let r(m) = -m**2 - 18*m + 41. Let i be r(-20). Let b be (110/(-30))/(i/(-75