s ((-3693642)/(-21))/(82/287) a prime number?
True
Is 46/(-4)*8/3*(-127812)/16 a prime number?
False
Suppose -212490 - 580434 = -33*k. Suppose -k = -n - 3*n. Is n composite?
False
Let m = -23301 - -34580. Is m composite?
False
Let o(n) = -138*n**3 + 13*n**2 - 18. Let i be o(5). Let g = -8146 - i. Is g composite?
True
Let u be (-1)/(3/(-3)) - 3 - -11. Let c(m) = -7 + 463*m - 851*m - 971*m + u. Is c(-1) a prime number?
True
Suppose -4*x - 60642 = -2*l, -2*l + 14*x - 9*x = -60643. Is l prime?
True
Let o(m) = 43*m**2 - 7*m - 18. Let y(x) = x**2 + 26*x + 13. Let p be y(-25). Let k be o(p). Suppose 4787 = 4*u + d - k, 0 = 5*u - 4*d - 13801. Is u composite?
True
Let g = -114 + 114. Suppose -6454 = -2*h - 2*h + 3*z, -3220 = -2*h - 2*z. Suppose -5*m + h - 587 = g. Is m composite?
True
Let c(h) = 13*h**2 - 12*h + 57. Suppose 0 = -5*j - f + 73, 11*f = 2*j + 7*f - 16. Is c(j) a composite number?
False
Suppose -7*n + 43508 = -3*n - 4*i, -5*n + 54357 = 2*i. Suppose -19*c = 746 - n. Is c a composite number?
True
Is (26515469/76)/(2/8) prime?
True
Let x = -58 + 62. Suppose 8*g - 468 = -x*g. Is (1 - 4)*(-5447)/g a prime number?
True
Suppose -23*w + 816757 = -18*w - 2*n, 5*w - 816758 = 3*n. Is w prime?
True
Let h(f) be the third derivative of -f**6/120 - f**5/12 - f**4/3 - 4*f**3/3 + 6*f**2. Let j be h(-4). Suppose 0 = 3*v - j*v + 9445. Is v composite?
False
Is (-70)/90*3 - 4484328/(-18) a composite number?
False
Suppose 4*a - 103136 + 29932 = 0. Is a a composite number?
False
Let a(r) = r**3 + 13*r**2 - 9*r + 14. Let q be a(-12). Suppose 4*m - 1030 = -q. Suppose -3*z = -136 - m. Is z a prime number?
True
Let n = 590399 - 188258. Is n prime?
False
Let j(r) = -662*r**2 - 8*r - 12. Let v be j(-3). Let m be ((-7)/14)/(3/v). Suppose 3*h - 1676 = m. Is h a composite number?
True
Let z = -274 - -277. Suppose -5*d = -z*c - 57320, -2*d + 3*d + 2*c - 11477 = 0. Is d a composite number?
False
Let r(y) = -25451*y - 2478. Is r(-5) a prime number?
True
Let o(q) = q**2 - 14*q + 85. Let c be o(9). Let x be 24/(((-6)/(-87))/1). Suppose x = -34*m + c*m. Is m a prime number?
False
Suppose -2*g + v + 1435966 = 0, -3*v - 5025877 = -7*g - 0*g. Is g a composite number?
False
Let l = -310209 - -447278. Is l prime?
False
Let b(f) = 52*f**3 - 7*f**2 + 5*f + 5. Let n be b(6). Suppose -64*q + 69*q = n. Is q composite?
False
Let s(t) = -2846*t - 57. Let h be (-18)/4 - (-12)/(-24). Is s(h) a prime number?
True
Let h(n) = -662*n + 111. Suppose 253 = -33*q - 110. Is h(q) composite?
False
Let a be ((-28)/(-42))/((-2)/(-40134)*-1). Is a/(-20) - (-4)/40 composite?
True
Let s(z) = 10047*z**2 + 1. Let m be s(-1). Suppose -2*k + 13176 = 2*p, -4*k - p + 3405 = -22956. Let j = m - k. Is j composite?
False
Let q = -887473 + 1347012. Is q prime?
False
Suppose y - 2*t = 87107, 14*y = 15*y + 3*t - 87137. Is y composite?
False
Let u(w) = -191*w + 254. Let m be u(-13). Suppose 11269 + m = 2*x. Is x prime?
False
Let f = 288219 - 130132. Is f prime?
False
Let s(b) be the third derivative of b**4/6 - 14*b**3/3 - 11*b**2. Let n be s(6). Let r(x) = 57*x**2 + 5*x + 9. Is r(n) a prime number?
False
Let v(h) = 86587*h**2 + 11*h + 11. Is v(3) composite?
False
Let k = -268828 - -390671. Is k a prime number?
True
Let n(t) = -2*t + 443 + 3*t**2 - t**2 + 3*t - t**3. Suppose -3*q + 6*q = 0. Is n(q) a prime number?
True
Is (((-20)/6)/((-336)/(-252)))/(5/(-699590)) a prime number?
False
Let g(a) = -a**3 - 19*a**2 + 13*a - 32. Let u = 33 - 54. Let s be g(u). Suppose 9*l = 188 + s. Is l composite?
True
Is ((-4)/(-1) - 2)*1 + 609906/6 a composite number?
False
Suppose 4*o = -3*t + 1236, 6*o + t = 3*o + 932. Suppose -2*w - 6*m + o = -m, 2*w = m + 324. Is w a prime number?
False
Let c(n) = n**3 + n**2 - n. Let i be c(3). Suppose -7*g = -4*g - i. Suppose -7*m + 332 + g = 0. Is m composite?
True
Is -38 - -48 - (-4 + -8179 + 4) a prime number?
False
Suppose 14*y - 190 = 160. Suppose -24*i - 5*t = -y*i + 24437, -t + 97748 = 4*i. Is i composite?
True
Let f(p) = p**3 + 3*p**2 + 13*p + 9. Let z be f(-8). Let c = 3194 - 1380. Let y = c + z. Is y prime?
True
Is (15842712/36)/((-8)/(-12)) a composite number?
True
Let r = -94268 - -180379. Is r composite?
False
Let r = 169 - 169. Suppose 4*v + 38064 = 4*x + 8*v, r = -5*x + 2*v + 47545. Is x prime?
True
Suppose 5*o + 435144 = 3*u, 0 = -2*u - 2*o + 156056 + 134024. Is u composite?
False
Suppose -6*h + 4*w + 515266 = 0, -3*h + w + 90081 = -167545. Is h composite?
True
Suppose 0 = -220*x + 148782248 - 26271948. Is x composite?
True
Is (-2)/(-9)*(-3105)/(-60)*14954 a composite number?
True
Let a(b) = b**3 - 2*b**2 + 26*b + 12. Let k(l) = 2*l**3 - 4*l**2 + 52*l + 24. Let m(g) = -5*a(g) + 3*k(g). Is m(11) prime?
False
Suppose -2*h - 132 = -13*h. Suppose 3 = -h*m - 9. Is 51 - (m + 5 - -1) prime?
False
Is 4/(-10) + (-19111035)/(-775) composite?
False
Let q = 342954 + -241735. Is q composite?
True
Suppose -274*f = -4*g - 276*f + 105344, 4*g = 5*f + 105386. Is g a composite number?
False
Suppose -7*r + 2*r + 3*u + 3211 = 0, 3*u + 6 = 0. Suppose -4*d = -a - 2564, 2*a = d - 0*a - r. Is d composite?
False
Let f(i) = i**2 - 1. Let p(x) = 14*x**3 + 2*x**2 + 22*x + 35. Let o(a) = 2*f(a) - p(a). Is o(-11) a prime number?
True
Let y be 9*(-2)/12*-2. Suppose y*z - 4*z = -2. Is (z - 3) + 676 - -4 a prime number?
False
Suppose 2*b + 40 = -p, -2*b = 3*b - 5*p + 70. Let k be 10/b*-543 - (-1)/3. Is k*1*((-3 - -3) + 1) a prime number?
False
Let j = 3932 - 5962. Let l = 5620 + j. Let d = -2037 + l. Is d composite?
False
Suppose 326*h - 338*h = -739236. Is h prime?
True
Let p = 646 - 642. Suppose -7*o + 12*o + 20 = 0, 27519 = 5*n + p*o. Is n a composite number?
False
Suppose -2*o + 2520 = 3*o. Suppose 4*w + o = -4*d + 2308, 0 = 5*d - 4*w - 2219. Is 12/(-3) - d/(-3) prime?
False
Suppose 0 = 2*u - 2, -8374 + 2265 = -4*s + 3*u. Let z = s + -171. Is z a composite number?
True
Let l be (-85)/15 + 5 + (-494)/6. Let d = l + 87. Is (-310)/(-3) - (-1)/(-7 + d) a composite number?
False
Suppose 29*c - 26*c - 4*a - 317391 = 0, -c = a - 105790. Is c prime?
False
Let b = 55 + -51. Suppose b = -4*n - 16. Is (-2)/(n/((-13190)/(-4))) composite?
False
Suppose -22*v + 21*v = -y + 89732, 7*v - 89708 = -y. Is y prime?
False
Suppose -3*y + 12 = 2*y + 4*g, 4*g - 12 = 0. Suppose 0 = 5*h, -5*q - 2*h - h + 100 = y. Let f(u) = 7*u**2 - 18*u + 31. Is f(q) prime?
False
Let f(r) = 125*r**3 - 9*r**2 + 7*r - 8. Suppose 6*d + 90 = 24*d. Is f(d) prime?
True
Suppose -46*t = -55*t + 1056618. Is (t/(-408))/(1/(-4)) a prime number?
True
Suppose -46*h + h = -9564 - 393231. Is h a composite number?
False
Let v = -848 - -1643. Suppose -2*z + 161 = -v. Is z a composite number?
True
Suppose 69*k + 4976191 = 5667728 + 9841382. Is k a prime number?
False
Is (219438/(-15) + 5)/((-1)/5) a composite number?
False
Let n = -288 + 279. Is (-11)/((-792)/16) + (-13705)/n prime?
True
Suppose 4186 = 3*z + 4*c, 4*z = -4*c + 3*c + 5603. Suppose -s - s + z = 0. Is s a prime number?
True
Suppose -27*d + 20*d = 6188. Is -3 - (d + -3 + (7 - 2)) composite?
True
Let a(h) = -h**3 - 5*h**2 + h + 12. Let p be (-2 - (0 - 1) - 5)/(-1). Let o be a(p). Let m = -244 - o. Is m a composite number?
True
Suppose -3 = -o - 2. Suppose -6*q - o = 11. Is (-6 - q)*(-2 + (-444)/16) a prime number?
False
Let q(p) = -20*p**3 - 7*p**2 + 4*p - 1. Let c(n) = n**2 + 3*n + 10. Let x be c(-4). Let j be ((-12)/x)/3 - (-78)/(-21). Is q(j) composite?
False
Let p = -238 + 243. Suppose 4*m - 6674 = p*j, 0 = 4*m + 3*j + 2338 - 9028. Is m a composite number?
True
Let w(a) = 25*a**2 + 5*a - 16. Let f be w(-12). Suppose -3523 = -2*c + 3*m, -m = 2*c - 3*m - f. Is c a composite number?
True
Let z be -2 + (3 - 2) - 1*-81. Suppose 6*o = o - z. Let v = 7 - o. Is v prime?
True
Let a(h) = -6*h**3 - 3*h**2 - 8*h - 7. Let f be a(-6). Suppose -12*x = -f - 51775. Is x a prime number?
False
Suppose 24*z - 1379539 = 1192949. Is z composite?
True
Suppose 0 = -141*l - 104713 - 15560. Suppose 0 = -4*t - 4*n + 580, 2*t - 310 + 27 = 5*n. Let y = t - l. Is y composite?
False
Let k be 12967/5 + 6/(-15). Let y(n) = 28*n - 660. Let q be y(57). Let p = k - q. Is p prime?
True
Suppose 80644*g + 1713512 = 80652*g. Is g a composite number?
False
Let b be 10/(-55) + 4501/11. Suppose -404*y = -b*y + 635. Is y composite?
False
Is (-