 + (-8)/k composite?
True
Suppose 36*n - 75712 = 60836. Is n prime?
True
Let r be (16 - 12)/((-20)/(-131715)). Suppose -5*y - 2*f = -26341, 6*f - 7*f + r = 5*y. Is y a prime number?
False
Let k(x) = -2453*x**3 - x**2 + 4*x + 5. Let d(n) = -n**2 - 13*n - 1. Let z be d(-13). Is k(z) composite?
True
Let h be 8/(48/66) - (1 + -2). Is h/(-15) + (-17872)/(-40) a composite number?
True
Let g(z) = 821*z**2 + 5*z - 5. Suppose 341*p - 344*p + 3 = 0. Is g(p) prime?
True
Suppose 5*h - 20 = 5*j, -4*h - 3*j + 21 = -9. Is 2*((-66636)/(-72))/(h/22) a prime number?
False
Suppose -5*q + 0*q - t = 325212, 5*t - 130101 = 2*q. Let h = -42864 - q. Is h composite?
True
Let b = 134 + -86. Let s be -2 + 14/(-28) - (-29)/2. Is 17/(-4) + s/b - -375 a composite number?
True
Let d = -7 - -252. Let j = d + -122. Is j prime?
False
Let z(l) = 19571*l**2 - 139*l - 825. Is z(-5) prime?
False
Suppose 0 = 4*k - 2*g - 212, -84 = -4*k - 3*g + 118. Suppose k*f = 57*f - 10595. Is f composite?
True
Let y(s) = 171*s + 1. Let g be y(-3). Let z = g + 1865. Let f = z - 379. Is f a prime number?
False
Let h(k) = 5*k**3 + 85*k**2 + 102*k - 1025. Is h(39) composite?
False
Suppose 45*l - m = 49*l - 1945, -3*m - 983 = -2*l. Suppose -3*h = -l - 7076. Is h prime?
True
Let t(g) = -g**2 - 6*g - 8. Let l be t(-4). Suppose l = -d - 2*x - 23, x = -2*x - 6. Let q(v) = -58*v + 15. Is q(d) composite?
False
Suppose -5*d + 6*d - 3 = 0. Let w be d/1 + -3 - -279. Suppose -3*o + 3*c + w = 0, -5*o - 2*c = -6*o + 89. Is o prime?
True
Let r(a) = -2*a - 32. Let y be r(-19). Let g be 1/(-2) + y/4. Is g/4 - (-18978)/24 a composite number?
True
Is 7055 - (24/(-32))/(3/8) a prime number?
True
Suppose 55213 = 4*o + d - 126330, -3*o = -4*d - 136162. Suppose 7*n = 29*n - o. Is n composite?
False
Let v = 11339 + -8025. Suppose 8*r + v = 10*r. Is r composite?
False
Suppose 4*p - 23*v + 27*v = 4, v - 13 = -4*p. Is (16031/(-68))/((-1)/p) a prime number?
False
Suppose -2*a + 469556 = -5*n + 114057, 2*a + 4*n - 355526 = 0. Is a a prime number?
False
Suppose -27*d = 75 + 6. Let u(r) = -4*r - 1. Let o be u(1). Is d/(-6)*(-6310)/o composite?
False
Let o = -177 - -182. Suppose 4*x = -3*d + 19281, -101*d + 96*d + o*x = -32135. Is d composite?
False
Is (76/114)/((-1)/(-4503)*2) a composite number?
True
Let i(n) = n**3 - 3*n**2 - 46*n + 317. Is i(10) prime?
True
Suppose 31 = 3*n - 5*z, 3*n + 15 = -2*n - 5*z. Suppose -g + n*g = 0. Suppose -6*q + q + 295 = g. Is q a composite number?
False
Let s = -171579 - -303653. Is s a prime number?
False
Let y = -872141 - -1399618. Is y a composite number?
True
Suppose -4*m + 5*m - 100973 = -0*m. Is m a composite number?
True
Let r = 14292 - 8454. Let p = r + -3793. Is p prime?
False
Let a(g) = 254*g**2 - 5*g + 1175. Is a(34) prime?
True
Let r(x) = -x**2 - 47*x + 67. Let n be r(-48). Let l(u) = u**3 - 10*u**2 - 24*u + 86. Is l(n) prime?
True
Let i(b) = -b**2 + 5*b + 5. Let l be i(5). Suppose q = 6 - 4. Suppose -q*j + 488 = -0*j + l*p, 2*j + 3*p - 484 = 0. Is j a prime number?
True
Suppose 0 = 3*x - i, 0 = 3*x + x - 5*i. Suppose -12*m + 8*m - 144 = x. Is (2134/8*-2)/(18/m) composite?
True
Suppose 5*j - 8*c = -10*c + 1290829, 4*j - c - 1032645 = 0. Is j prime?
False
Let q = -24835 + 33146. Is q prime?
True
Let p be ((-8)/(-6))/((-124)/(-167493)). Is -2*(-6)/12*(-2 + p) a composite number?
True
Let d(m) = 7*m**3 - 4*m**2 + 64*m + 7. Let f be 2 - 4 - 2*(-9 - -5). Is d(f) a prime number?
True
Let g(u) = 642*u**2 - 16*u + 21. Let t be -10*(-7)/56*4. Is g(t) a composite number?
False
Let x(z) = -36*z - 24. Let c be x(-16). Suppose -5*j + 0*l = 4*l - 920, 2*l - c = -3*j. Is 4 + j/(-44) + (-10045)/(-11) a composite number?
True
Let j be (-114)/30 - 2/10. Let g be (-1244)/6*(0 + (-6)/j). Let o = 496 - g. Is o a prime number?
False
Suppose 2*p = -5*h + 683526, -2*h - 3*p = 57688 - 331116. Is h a composite number?
True
Let z = -210 - -209. Let r(y) = -1768*y**3 - 6*y**2 + 1. Is r(z) a prime number?
False
Let g(x) = 4788*x + 169. Is g(9) prime?
True
Let r(s) = 40*s**2 - 1 - s**3 + 11 + 4*s - 39*s**2 - 2. Let g be r(0). Suppose g*i - 16039 - 4593 = 0. Is i composite?
False
Let y(r) = -3*r**3 + r**2 + 2. Let f be y(1). Is 8871 + f/(5 + -11) composite?
True
Suppose -3083846 - 1752232 = -26*k. Suppose 57*p - k = 30*p. Is p a prime number?
False
Let r(o) = 21*o**2 + 4*o - 14. Let l be r(-7). Suppose 4*w - 2*v = 2880, 3*v - l - 1903 = -4*w. Is w prime?
False
Suppose 5*x + 5*f - 4 = 11, 0 = 5*x + 2*f - 24. Is x + 1620 - ((-6)/2 + -2) prime?
False
Suppose 4*f + 4*o = 856, 4*f - 6*f - o + 429 = 0. Let i = f + -634. Let n = i + 976. Is n a prime number?
True
Let a(m) = 17*m**2 - 18*m + 12. Let v = -48 - -75. Suppose -8*t = -5*t - v. Is a(t) prime?
False
Suppose -5*m + 12 = -m. Suppose m*g - 694 = g. Suppose -2*q = -635 - g. Is q prime?
True
Suppose -i = p - 4, 3*p + 6*i - 20 = i. Suppose p = -17*h + 20936 + 7709. Is h a composite number?
True
Let t(m) = -66*m**3 + 10*m**2 - 38*m - 175. Is t(-21) prime?
False
Let o(g) = 592*g**2 - 37*g + 240. Is o(-13) prime?
True
Let w(d) = 301*d - 14. Let i be w(15). Suppose -5*n = -17*q + 12*q + 22430, -4*n = q - i. Is q prime?
False
Suppose u - 24 = -u. Is -886*(u/8 + -3) prime?
False
Suppose 2*s - 3860 = -10378. Let m = s + 5372. Suppose 0 = -5*z + 2*g + 5311, m = 2*z + g + 2*g. Is z a prime number?
True
Let r(z) = z**2 + 17*z - 38. Let l be r(-19). Suppose -3*d - 4*p + 5*p + 2239 = l, -3*p = -4*d + 2992. Is d a prime number?
False
Suppose 2*g + m = 55075, -148*g + 2*m = -144*g - 110162. Is g a prime number?
True
Let g be 29*4/10*10/(-4). Suppose 2*v - 3*v + 4*w = 1394, 4*v = 5*w - 5565. Let c = g - v. Is c a prime number?
True
Suppose w + 58 = 15. Let u = -45 - w. Is ((-479)/2)/(u/4) a composite number?
False
Suppose 3*l + 53 = 5*c, 4*c - 6 = 2*l + 28. Let v = -16 - l. Suppose 0 = -v*b + 4298 + 1317. Is b prime?
True
Let g(u) = 1108*u**3 + 32*u**2 - 4*u + 15. Is g(2) a composite number?
False
Let t(v) = -3*v**2 - 5*v + 2. Let z(w) = -7*w**2 - 11*w + 4. Let u(f) = 5*t(f) - 2*z(f). Let c be u(0). Suppose c*j = 13*j - 8767. Is j prime?
True
Let y(p) = 47*p**2 + 6*p + 29. Let s be y(-12). Suppose 0 = z - 3*f + 1363, -5*z - s = 6*f - 3*f. Is (0 - z) + (-6)/2 a prime number?
False
Let x be 2/2*(3 + 1) + 0. Suppose x*z - 5*f - 74 = 0, z + 2*f - 9 = 3. Is (-3576)/z*4/(-6) prime?
True
Is ((-11)/33)/((-7)/1016526) a prime number?
False
Let q(j) = -j**3 - 5*j**2 + 6*j - 11. Let r be q(-6). Let y = r - -122. Is y composite?
True
Suppose 3*c + 2*z - 7*z = 5265, 2*z = -4*c + 6994. Suppose -5199 = -3*t - 2*x, -c = -10*t + 9*t + 5*x. Is t a prime number?
False
Let t be (52/(-20) + 2)/(8/120). Let s(r) = -4*r**3 + r**2 + 11*r - 37. Is s(t) composite?
False
Let f = -4825 - -2298. Let m = 2974 - f. Is m a composite number?
False
Let o be (-4)/(-8)*38 + 1. Suppose -11*p + o*p = 112059. Is p a prime number?
True
Suppose -4*w - 43377 = -10*r + 15*r, -2*w = -2*r + 21666. Let z = 16507 + w. Is z a prime number?
True
Let r = -1115439 - -1688202. Is r composite?
True
Suppose -4*l - 88 = -3*i, -6*i + 185 = -i + l. Let h = -33 + i. Is -1*(-18)/h*1 a composite number?
True
Let v be (-1 - (-141)/6)/(14/(-28)). Let s = 45 + v. Suppose -3*d + 4*b + 3093 + 5384 = 0, 5*d + b - 14090 = s. Is d a prime number?
True
Is ((-16612812)/24)/(-1*9/6) prime?
True
Suppose 0 = 604*l - 603*l + n - 157344, -n = -2*l + 314703. Is l prime?
True
Let r(z) = 4*z**2 - 12*z + 21. Let v = 77 - 64. Suppose 9 = -x + 4*j, -x - v = -0*x - 5*j. Is r(x) composite?
True
Let u(g) = -15 + 2997*g - 10 + 5 - 7800*g. Is u(-1) prime?
True
Suppose -13*s + 8*s = -5*h - 414605, 5*h = 0. Is s prime?
False
Suppose -12*m = -99 - 33. Is (-66)/(-121) - (-59735)/m a prime number?
True
Let b(s) = 40*s**3 - 25*s**2 + 20*s - 82. Is b(13) a prime number?
True
Is (-20)/(-110) - (37434/(-33))/((-12)/(-1446)) a composite number?
False
Suppose -3 + 5 = u. Suppose 0*c = -5*c + 2*y - 24, -u*c + 5*y - 18 = 0. Let j(x) = 11*x**2 + 8*x + 23. Is j(c) prime?
True
Let g be -275*(-3 - (2 + -3 + 0)). Suppose -737 - 2020 = -5*k + 2*b, g = k + b. Let q = k + 80. Is q prime?
True
Suppose 5*h - s - 2524565 = 0, -1515622 + 883 = -3*h + 5*s. Is h a prime number?
False
Suppose 5*w = w + 16. Suppose -5*s = -3*x - 1328, -5*x = -s + w*s + 2236. Let h = 189 - x. Is h prime?
Fals