 = 28*a. Is a/16 - (9/(-4))/3 a prime number?
False
Suppose -15*d = -2260600 + 252145. Is d a composite number?
True
Suppose 147*a + 2*b - 29105 = 146*a, 0 = 3*a - 4*b - 87295. Is a composite?
False
Let f(w) = -3*w**2 + 4*w - 4. Let g = 150 + -126. Let c be f(g). Is (-6)/4*c/6 a prime number?
True
Let t = -211 + 443. Let p be (6/(-4))/(-13 - (-1270)/100). Suppose -t = -3*q + p. Is q a prime number?
True
Is -1524*(-9 - 9) + -5 a prime number?
True
Suppose -38*f = -29*f + 672219. Is (-6)/15 + (0 - f/15) composite?
True
Let r(i) = -11*i - 1. Let p be r(1). Let f(t) = 9*t**2 + 12*t + 1. Let d(h) = -25*h**2 - 35*h - 4. Let o(z) = -4*d(z) - 11*f(z). Is o(p) a composite number?
False
Let s(b) be the first derivative of b**4/4 - b**3 + 11*b**2/2 - 3*b - 11. Let k be s(9). Suppose 6*c = 4*c + k. Is c a prime number?
False
Suppose 3*i - 7*i + 5168 = 0. Let a be i*10/3*(-9)/(-24). Let o = a - 1049. Is o a prime number?
False
Let a(v) = 108*v - 1. Let d be a(2). Let f = -148 + d. Is f prime?
True
Suppose -2*c = -8, -2961 - 94874 = -5*q + 5*c. Is q composite?
False
Let o be ((-1)/2)/((0 + -2)/(-24)). Let u be o/(-9)*-27*29/(-2). Suppose 0 = a + u - 2914. Is a a prime number?
False
Let u(m) = 19190*m + 1137. Is u(4) composite?
True
Let w = -37923 - -74506. Is w prime?
True
Let q(c) = 27*c - 22*c**2 + 14 - 28*c - 2 + 0*c**3 - 2*c**3. Is q(-23) composite?
True
Let p(z) be the second derivative of z**4/12 + z**3/3 - 13*z**2/2 - 72*z + 5. Suppose w + 14 = 3*m + 1, -18 = 4*w + 5*m. Is p(w) composite?
True
Suppose 157*c + 1014431 = 178*c - 1326376. Is c composite?
False
Suppose 3*z = -2*z - 105. Let o be 9/6 - 1 - z/6. Suppose o*a - 4*g - g = 2785, 0 = 3*a - 4*g - 2089. Is a prime?
False
Let g(q) = 5*q**2 + 2*q + 16. Let u = -109 - -125. Let z be (-2)/12*2 - u/6. Is g(z) prime?
False
Let z be 0 - ((-5 - -7) + 10/(-2)). Suppose -z*j = -12 + 3. Is j a composite number?
False
Let o = 428 + -232. Is o/882 + ((-75560)/(-18) - 1) composite?
True
Suppose 82*d - 84*d = 3*m - 34731, 3*m - 2*d - 34743 = 0. Is m prime?
True
Is ((-297490)/3 - -2)*3/(-4) a composite number?
True
Suppose -23 = -9*m + 22. Suppose m*w = -2*q + 2801, w - 1418 = -q + 2*w. Suppose 2*n + n = q. Is n a composite number?
True
Let g = 66 + -70. Let f(c) = 31*c**2 + 5*c + 11. Let o be f(g). Is -2*(21/(-14))/(3/o) prime?
True
Suppose 0 = 3*u - 4*r - 10, -4*u + 2*r = 4*r + 16. Let t be 8626/u - (-9 - -8). Is t/(-6) - 1/(-3) composite?
False
Let m(n) be the third derivative of 3*n**4/4 - 23*n**3/3 + 12*n**2. Let c be m(-19). Let g = c + 655. Is g composite?
True
Let l = -1001 - -1400. Suppose -l*y - 36741 = -402*y. Is y a composite number?
True
Let s = -9045 + 12344. Is s a prime number?
True
Let i(s) = 12*s**3 + 1. Let n(a) = -12*a**3 - 1. Let f(r) = 5*i(r) + 6*n(r). Let b be f(1). Let j = 434 - b. Is j prime?
False
Suppose 0 = 2*q + 3*f - 60308, 5*f - 30157 = -q + 2*f. Let i = -16749 + q. Is i a prime number?
False
Let y = 46 + -41. Suppose 5*a + 110 = 5*k, -y*a = 4*k - 14 - 74. Let m(h) = -h**3 + 24*h**2 - 22*h - 15. Is m(k) a composite number?
True
Let v = -39 - -21. Let r be (-1)/(-3) + (-30)/v + -2. Let g(o) = -o**3 + 2*o**2 + 33. Is g(r) a prime number?
False
Let f = 1371 - 2504. Let l = f - -2202. Is l a composite number?
False
Is (301962/(-12) - -21)*2/(-5) composite?
True
Let x(m) be the second derivative of m**5/20 - 13*m**4/12 + 23*m**3/6 - 73*m**2/2 - 12*m. Is x(12) a composite number?
False
Let g = 85080 - 35971. Is g prime?
True
Let g(p) = 30079*p**3 + 2*p**2 - 15*p + 13. Suppose -4*r - 10*k = -7*k + 8, 11 = 3*r - 2*k. Is g(r) a prime number?
False
Let x = 966050 + -603361. Is x a prime number?
False
Suppose 0*m - 2*y - 12 = -5*m, -4*m + 5*y = 4. Let k(i) = -7*i**3 - 2*i**2 + 10*i - 5. Let j be k(m). Let g = j + 656. Is g a prime number?
True
Let x(k) = 203*k**2 + 6864*k + 42. Is x(41) a composite number?
False
Let n(a) = 1120*a. Let k be n(6). Suppose 5*d - 3*y = k, -2704 = -2*d - 8*y + 6*y. Is d a composite number?
True
Let d = 6187 - -820. Suppose n + n = 3*w + 4646, 0 = 3*n + 5*w - d. Is n prime?
False
Let j = 56655 - 9790. Suppose 4*c = 6*s - 9*s + j, 0 = -5*s + 2*c + 78091. Is s a composite number?
False
Suppose 3*s - 9062 = -4*j, 5693 + 6383 = 4*s + 4*j. Let h be 2/3 + s/(-66). Is 128 + ((-2)/6)/(5/h) prime?
True
Let j be (-2)/((2/(-10))/((-20)/(-25))). Let p be 1 - (j - 5) - 3359*-1. Suppose o + p = 3*l + 3*o, -3*o - 1108 = -l. Is l a prime number?
True
Let b = 1264471 + -866412. Is b prime?
True
Let m = 60 - -60. Suppose -5*p + 1590 + 3175 = 0. Suppose m = -7*d + p. Is d a prime number?
False
Let m(y) = -y**2 + 6*y - 4. Let h be m(7). Let d be (((-6765)/(-10))/h)/(2/(-16)). Suppose -3*g = 2*z + z - 369, 3*z = -4*g + d. Is g a prime number?
False
Let c(u) = -u**2 + 11*u - 11. Let i be c(9). Let f be (5 - i) + 1 + 0 + 43. Is (37/(-2))/(f/44 - 1) a composite number?
True
Let j = 17 - 15. Suppose -4*l - m + 39064 = 0, 20*m = -j*l + 17*m + 19522. Is l prime?
True
Suppose 2*x - 6*x = -64. Let s(m) = 21*m + 40*m + 82*m - x. Is s(3) a prime number?
False
Suppose 0 = 2*z - c - 8913, -2*z + 2*c = 6*c - 8938. Let k = z + -698. Is k a prime number?
True
Suppose -1220 = -5*k + 4*z, 0*k - z + 749 = 3*k. Is -6 - (5 - k/4) prime?
False
Let w be (((-261285)/6)/5)/((-1)/(-2)). Let z = w + 32898. Is z prime?
False
Let i = -127 + 127. Suppose h - 4*s - 20 = i, -3*h + 2*s = 4*s + 10. Suppose -2472 = -f - h*f + 5*n, 0 = 5*f + 5*n - 12510. Is f prime?
False
Is (-4)/1 - (-20 + -465883)/9 composite?
True
Is (-20 - -2)/(-2) - (-26729760)/240 a composite number?
True
Let d(m) = -87*m**3 + 2*m**2 + 10*m + 3. Suppose l + 20 = -4*n, 6*n = 3*n + 4*l + 4. Is d(n) composite?
False
Let f = 3520000 - 1739279. Is f composite?
True
Is 202/12*2*-14*5079/(-14) a composite number?
True
Let b be 1 + (1 + 0 - -1). Suppose -21 = -5*r - 4*t, -2*r - b*t + 17 = 2*r. Suppose -1416 = -h - r*y, 7052 = 5*h + y - 4*y. Is h a prime number?
False
Suppose -2*x = -n + 16706 + 16113, -3*n = -2*x - 98473. Is n a composite number?
True
Let m = 1574492 - 436621. Is m a composite number?
True
Let a = -9 - -43. Let o = a + 38. Suppose -j - 3*k + k = -o, j - 3*k = 47. Is j a prime number?
False
Let l(m) = m**3 + 6*m**2 + 6*m + 5. Let s be l(-6). Let h(b) = -32*b - 13. Is h(s) prime?
False
Is -40*1740/(-8) + -6 + 4 composite?
True
Suppose -26918 + 310243 + 636181 = 21*n. Is n prime?
False
Let d = -9298 - -17739. Is d prime?
False
Suppose 315001 - 56506 = 15*h. Is h a composite number?
True
Let s(v) = 6535*v**3 - 16*v**2 + 4*v + 1. Let i(u) = -4357*u**3 + 10*u**2 - 3*u - 1. Let x(o) = 8*i(o) + 5*s(o). Is x(-1) a composite number?
True
Let m = -368 - -1677. Let v = -481 + m. Suppose 344 + v = 4*h. Is h a composite number?
False
Let y be 3*(-5 + (-196)/(-21)). Suppose -y*x + 18008 = -7758. Is x a prime number?
False
Let c be 2/(-6)*-9 - 94/(-2). Suppose -46 + c = 2*s. Is s/((-11421)/(-56655) - 2/10) a composite number?
False
Suppose 0 = -13*d + 6415 + 25448. Suppose -8*f + d = -229. Is f a composite number?
True
Let k = -2243 - -3130. Is k prime?
True
Suppose -3*l = x - 4742 - 21372, 0 = 4*x + 5*l - 104421. Is x prime?
True
Suppose -7*l + 288060 = 3*l. Suppose 2*j - l = -4*s, s - 2*j + 36007 = 6*s. Is s a composite number?
True
Suppose o = -4*d - 305, 3*o - 5*d + 988 = 5. Let x = o - -508. Is x a prime number?
False
Suppose 0 = 3*z - 4*r - 199309, 0 = 2*z - 5*r - 114744 - 18138. Is z a prime number?
True
Suppose 0 = 2*m + 20*m - 24047254. Is m a prime number?
False
Suppose 2*n - 16 - 24 = 0. Suppose -15*c + n = -10*c. Suppose 0 = c*i + i - 2095. Is i composite?
False
Let w be 2/6 - (-41)/(-123). Suppose w = 2*g - 5*m + 2953 - 58643, 0 = -5*g - 2*m + 139225. Is g composite?
True
Suppose -m + 35 - 34 = 0. Let p be 4/(-18) - (m - (-59512)/(-18)). Suppose 4*f - p = -6*c + 3*c, 0 = -5*c + f + 5516. Is c a prime number?
True
Suppose -18241946 = -162*b + 52357168. Is b composite?
True
Let r be 2/5*(-17 + -23). Let l(h) = h**3 + 19*h**2 + 9*h - 29. Let p be l(r). Let u = 1166 - p. Is u a prime number?
True
Let a(j) = 30*j**2 + 63*j + 20. Is a(31) a prime number?
True
Suppose 235*f = 218*f + 10591. Suppose -141995 = -628*n + f*n. Is n a composite number?
True
Let y(x) = 5*x**3 - x. Let l be y(1). Suppose -5*v - 20 = 5*z, v - z - l = -2*v. Suppose -2*s