4 + 23*y - 31/2*y**2. Is q(-23) prime?
True
Suppose 0 = -3*s + 56 - 44. Suppose -2*o = -n - n - 4, s*o - 23 = -n. Is n - (5 - 4622/2) composite?
False
Let a(c) = c**3 + 16*c**2 + 8*c + 29. Suppose s - 53 + 7 = 0. Suppose -5*d - s = 2*n + 25, n - 62 = 4*d. Is a(d) composite?
True
Let i(b) be the second derivative of 395*b**3/6 - 5*b**2 - 12*b. Let u be i(3). Suppose 0*d - 3*d + u = -2*f, 3*f + 3 = 0. Is d composite?
True
Suppose -5*h = -r - 257554, 0 = h + 3*r + 2*r - 51516. Is h a composite number?
False
Suppose 3*c - 9*h - 57388 = -14*h, 4*c = 5*h + 76459. Is c a prime number?
True
Suppose -183*r + 1215261013 = 388*r. Is r prime?
True
Suppose 0 = -4*z - 11 + 51. Suppose 2*u - z = -5*p + 5*u, 6 = 3*p + 4*u. Is ((4 + -10)/12)/(p/(-10676)) a prime number?
False
Suppose -8105 = 62*x - 67*x. Is (14 - 8)*x/3 composite?
True
Let d be -6 + ((-12)/(-6) + 6 - 2). Let g(y) = -y**3 - 2*y**2 - y + 1858. Is g(d) prime?
False
Suppose 0 = -37*f + 30*f - 20188. Let n = f + 13473. Is n prime?
True
Let p(m) = m**3 + 20*m**2 - 16*m + 2. Suppose -4*z + 106 = 62. Let c = z + -30. Is p(c) a composite number?
True
Suppose 16*m - 307492 = -4836. Suppose -4*c - 3053 + m = -t, -7924 = -2*c + 2*t. Is c a prime number?
True
Suppose -3*m + 7 = 5*w, 0*w + m + 5 = 2*w. Let d(f) = f - 3 + 2 + 29*f**w - 3 + 3. Is d(6) composite?
False
Let m(a) = -3*a**3 - 1 - a**2 - a**2 - 5*a + 6*a. Let l(b) = 10*b + 95. Let j be l(-10). Is m(j) a composite number?
True
Let w be (2 + (1 - -23))*2*6. Let o = -169 + w. Let y = 200 - o. Is y a composite number?
True
Suppose -389513 = -26*m + 846449. Is m a composite number?
True
Let s(v) be the third derivative of 23*v**5/60 + v**4/8 + 3*v**3/2 + 6*v**2 + 9*v. Is s(-7) composite?
True
Let t(r) = 2*r + 10*r**2 + 7*r**2 + 12*r**3 + 38*r**3 + 2 - 18*r**2. Let b be t(-1). Let k = 8 - b. Is k composite?
False
Is (-286)/52*(-10556060)/110 prime?
True
Suppose -267 + 37 = -46*a. Suppose 33607 = 3*o - 4*b, -8*o = -9*o - a*b + 11177. Is o a composite number?
False
Is (30981 - 24) + -2*4 a composite number?
False
Suppose -5*m = 6*x - 4*x - 439411, 263646 = 3*m + x. Is m prime?
True
Let i(o) = 70 + 23 - 7*o**2 - 29*o**2 - o**3 - o. Is i(-37) a prime number?
True
Suppose 0*v + 2*v = 2*n - 23224, 5*v = -5. Suppose o + 3*b = n, 46376 = 4*o - 2*b - 3*b. Is o a composite number?
True
Suppose 68676 = 52*y - 12080. Is y a prime number?
True
Is ((-30)/510)/(1/(-3601603)) prime?
True
Suppose 0 = 47*p - 33247151 + 11063950. Is p a composite number?
True
Let i(c) = c**3 + 10*c**2 + 10*c + 4. Let v be i(-9). Let o be v*(-2 + 97/(-5) + -2). Let r = -20 + o. Is r a composite number?
False
Is (-3)/(-2) + -10 + (-8401533)/(-14) prime?
True
Suppose -5*j = -23 + 93. Let o(s) = -2*s**3 + 7*s**2 + 51*s + 33. Is o(j) composite?
True
Is ((-174778)/8)/((244/16)/(-61)) a composite number?
True
Let w(j) = 12043*j + 158. Is w(11) composite?
False
Suppose -3*w = -3*j - 1151604, -1919342 = -5*w - 50*j + 53*j. Is w a composite number?
False
Suppose 9*l - 410 = -23. Is (l/2)/(0 - (-1)/38) composite?
True
Let i = -778746 + 1100297. Is i prime?
False
Is 10/4*1*4*(-379033)/(-10) composite?
False
Is (-4 + -144210 + -4)/(-4) - 1/(-2) prime?
False
Suppose -2*c + 2*z - 4 = -c, -19 = -2*c - 5*z. Suppose 3*x = -2*j - 9, x - c*x = -5*j + 3. Suppose -3*o + 2*r + 14741 = j, -135 = -2*o - 5*r + 9705. Is o prime?
False
Suppose 3*z + 858658 = 2*t, -3*t = -4*z - 779800 - 508183. Is t a composite number?
True
Suppose 5*b - o - 9235 = 0, 5*b - 8390 = -2*o + 830. Suppose 5709 + b = 5*i. Is i composite?
False
Let s be ((-48)/(-20))/(-2 + 93/45). Let l be (-140 - 2) + (-2 - -1). Let t = s - l. Is t prime?
True
Suppose s + 74 = -0*s - 3*w, -5*s - 294 = -4*w. Let c = s - -60. Let y(l) = -15*l**3 + l**2 - 6*l - 9. Is y(c) prime?
True
Let g be (87/(-58))/((-3)/4). Suppose 5*s - g = 8. Is ((-2203)/s)/((-11)/22) a composite number?
False
Let n(m) = 18133*m - 1029. Is n(22) a prime number?
True
Let p(o) = -7*o + 78. Let s be p(13). Let l(h) = -69*h - 20. Is l(s) composite?
False
Suppose -5 = -0*n - n. Suppose 0 = -n*f + 136 - 6. Is (1 + 1)/(f/6227) composite?
False
Suppose -89*c = -161263 - 509530. Is c a composite number?
False
Suppose -2 - 4 = -2*v. Suppose -v*z + z + 5 = -3*b, 2*z - 10 = 4*b. Is 1153 - -5*2/z prime?
True
Suppose -7*b - 18 + 11 = 0. Is (107 + b)*(-308)/(-56) a composite number?
True
Suppose -p - 14*p = -15. Let r(t) = -174*t - 3. Let j be r(p). Is 4 - (j + 1 - -1) a prime number?
True
Let l(x) = 88*x**3 + 19*x**2 + 4*x - 5. Suppose 25*m - 52*m = -108. Is l(m) a prime number?
False
Is (-9 - 52/8*-2) + 53397 prime?
True
Let i = -217919 - -467330. Is i composite?
True
Let a(b) be the second derivative of 0 - 8*b + 25/2*b**2 + 23/2*b**3. Is a(12) composite?
False
Is 1 + (-2778203)/(-5) - 5/((-1100)/(-132)) a prime number?
False
Suppose -40*z + 504917 + 589403 = 0. Is z a composite number?
True
Let l(d) = 155*d + 46. Let q be l(12). Let k = 1320 - -2437. Let n = q + k. Is n prime?
False
Is ((-10)/100 + (-8)/20)*-17002 prime?
True
Suppose -7*x + 5485 = -35808. Is x a composite number?
True
Suppose -8*x + 705 = 3833. Let j = 1064 + x. Is j a prime number?
True
Suppose -2*j + 0*j + 90 = 0. Suppose -13*s + 75 = -107. Let d = j + s. Is d a prime number?
True
Let z(j) = 357*j**2 + 67*j + 673. Is z(-14) a composite number?
True
Let y(a) = -205*a + 31. Let l(f) = 204*f - 31. Let r(s) = 7*l(s) + 6*y(s). Let p = -409 - -416. Is r(p) a prime number?
False
Suppose 2*d = 3*l - 500, -46 = 3*d - 2*l + 694. Let u = d + 403. Is 1*(2 - u)*-1 prime?
True
Suppose -o - 12965 + 2336 = 0. Is 50/(-15)*o/6 prime?
False
Let i be 2037 - 0*(-3)/3. Let c = -172 - -174. Suppose 0 = -c*h - h + i. Is h a prime number?
False
Suppose -2*b + 5*z + 1821391 = 0, -5*b + 2*z + 2524649 + 2028818 = 0. Is b a composite number?
True
Suppose 31 = 5*t + 5*a - 29, 42 = 5*t - 4*a. Suppose 6*s - 3*g + 9257 = t*s, 2*s = 4*g + 4634. Is s a prime number?
False
Let u(j) = -j + 3. Suppose -4*a = -5*x + 1 - 6, 4 = 5*a - 4*x. Let z be u(a). Suppose -88 = -q + 3*p, -z*q + 3*p = -0*p - 246. Is q a prime number?
True
Let h(j) = 264*j**2 + 97*j - 1010. Is h(-27) composite?
False
Let j = -511161 + 1834646. Is j composite?
True
Suppose 4*c - k + 56263 = 0, -3*c - 4*k + 13628 = 55830. Let q = 21223 + c. Is q composite?
True
Let t be (-4 - 306)/(60/31 + -2). Suppose 42*u - t = 37*u. Is u a prime number?
False
Suppose -3*d - 4*p + 5*p - 2888 = 0, -4*p - 3840 = 4*d. Let h be (20 + -18)*(-4350)/(-4). Let w = d + h. Is w composite?
False
Let q(x) = 1171*x**2 + 124*x + 44. Is q(-9) prime?
False
Let o(m) = 292*m**2 + 7*m - 7. Let a be o(2). Let b = a - -924. Is b composite?
False
Let n(j) = 1040*j**2 + 76*j + 466. Is n(-7) prime?
False
Suppose -16333499 = -66*a + 2532423 + 3062644. Is a a prime number?
True
Let r(j) = -j**2 - 8*j - 13. Let o be r(-4). Suppose 5*h - 4 = o*h. Suppose -3*s - 5*t = -264, -3*t - h*t - 400 = -5*s. Is s composite?
False
Let r(u) = -2*u**2 - u + 4649. Let l be r(0). Let f = l - -660. Is f a composite number?
False
Let m(l) = 11*l**2 - 255*l - 567. Is m(79) prime?
True
Suppose 2*b = 4, -10*s - 22 = -12*s + b. Suppose -s*i + 1040 = -14*i. Let o = i - -733. Is o a prime number?
False
Let x = 1470 - -779. Let y = x + -1482. Suppose 4*l = 4131 - y. Is l a prime number?
False
Let z be (52/(-156))/((-1)/38622). Suppose -12229 = -4*a + h + 13504, -2*a - 2*h = -z. Is a a prime number?
False
Is (-728624)/(-12) + 150/90 - (-4)/(-3) a composite number?
False
Let b(a) = 11*a + 6*a**2 - 18*a**3 + 23*a**3 + 29 + 6*a**3 - 15*a**3 - 18*a**2. Is b(-14) prime?
False
Let p(b) = b**3 + 58*b**2 - 13*b + 3. Let i be p(-39). Suppose 6*n = 3*n + i. Is n prime?
True
Let c(p) = -1167*p**3 - p**2 + 18*p + 87. Is c(-4) prime?
True
Suppose 0 = -4*l + 42 - 26. Is (-1)/l + 1844/16 a prime number?
False
Suppose -3*q - 66228 = -4*f - 14449, 0 = -5*f + q + 64710. Is f a composite number?
False
Let b(g) = 22*g + 84. Let r be b(-3). Suppose 0 = -r*x + 212530 - 41692. Is x a composite number?
False
Suppose -3*a = 0, 0 = -2*u - 3*u - 4*a + 8675. Let b = -992 + u. Is b a composite number?
False
Let l(f) = 113*f**2 - 50*f - 409. Is l(-8) a prime number?
False
Let r(n) = -n - 8. Let v(o) = -o. Let l(b) = r(b) - 3*v(b). Let c be l(6). Suppose 3*a = c*d - 450 + 4489, 0 = -3*a + 5