s s a composite number?
False
Let s(u) = 385*u + 5. Let x(h) = -h**3 - 3*h**2 - 4. Let j be x(-3). Let l be s(j). Is l/(-20) - (-1)/4 a composite number?
True
Let y(c) be the third derivative of c**6/120 + 3*c**5/20 - c**4/2 - 13*c**3/6 - 2*c**2. Is y(-10) a prime number?
True
Let w(n) be the third derivative of n**8/20160 - n**7/2520 - n**6/720 + n**5/60 - 2*n**2. Let y(b) be the third derivative of w(b). Is y(-4) composite?
False
Let f(o) = 65*o**2 - 4*o + 5. Is f(2) a prime number?
True
Let m = 0 - 2. Let l(c) = -10*c + 2 - c - c. Is l(m) a prime number?
False
Suppose 0 = 2*i - 169 + 15. Is i a prime number?
False
Let d be -24*3/(-12)*2. Suppose 5*n + 2 = d. Suppose -n*v - v + 141 = 0. Is v a composite number?
False
Let a = 285 + 88. Is a a prime number?
True
Suppose -o + 6*o = 2*g - 103, -2*g + 3*o = -105. Let b = -23 + g. Is b a prime number?
True
Suppose 4*f = -23 + 3, -5*o - 4*f + 245 = 0. Is o prime?
True
Let m = 2039 + -1157. Let g = 91 + m. Is g a composite number?
True
Suppose j - y = 387, 2*j + 5*y - 1145 = -j. Suppose -m - 4*m + j = 0. Is m a composite number?
True
Let x(a) = 557*a**3 + a**2 - 1. Is x(1) prime?
True
Suppose 250 = -0*y + 2*y. Suppose 0 = -4*w + w + 18. Suppose w*s = s + y. Is s composite?
True
Let k be (-8)/44 - 1710/33. Is (0 + -22)/(8/k) composite?
True
Let y(o) = 5. Let q(i) = i - 1. Let m(g) = 2*q(g) - y(g). Let u be m(5). Let h = u + 28. Is h a composite number?
False
Suppose -3*u - 70 - 59 = 0. Let n = -24 - u. Is n a prime number?
True
Suppose 0 = -3*j + a + 3 + 4, 5*j + 3*a = 21. Suppose 3*s + 5*o = 93, 3*o - 36 = -j*s + 57. Is s prime?
True
Let d(h) = h**2 - 1. Let v be (-4)/(-10) - 24/(-15). Let q be d(v). Suppose q = -4*s + 31. Is s prime?
True
Suppose -10848 = -6*o - 2682. Is o prime?
True
Is (-5 + 5 + -1)*-3683 a prime number?
False
Is (1 - (-53228)/49) + 2/(-7) composite?
False
Let s be 2462/8 + (-9)/(-36). Suppose 3*w - o = 174, -5*w + s = -4*o + 18. Is w composite?
True
Let p(v) = 2*v - 4. Let z be p(8). Is 152/z*(-3)/(-2) prime?
True
Suppose -3*d - 271 = -4*d + 2*l, -1058 = -4*d - 5*l. Is d composite?
True
Let b(s) = 2*s + 20. Let n be b(0). Suppose -6*w + w = -n. Let h(j) = 3*j**2 - 5*j - 3. Is h(w) a prime number?
False
Let r(w) = -w + 14. Let y be (44/(-12))/(2/(-6)). Let u be r(y). Suppose u*b + 12 = 0, -7*b = -i - 2*b + 223. Is i a composite number?
True
Let u(z) = -z**3 + 10*z**2 - 10*z + 11. Let y be u(9). Suppose -y*l - 4*i + 0*i = -44, -5*l - 3*i + 82 = 0. Is l a composite number?
True
Suppose -2*j - j = -2*y - 439, 286 = 2*j - 3*y. Is j prime?
True
Let l(v) = 63*v + 40. Is l(5) prime?
False
Let f(v) = -2*v**3 + 2*v**2 + v. Let b be f(-1). Let x = b + 0. Is 1/x + (-85)/(-15) a prime number?
False
Let l = -758 + 3075. Is l a composite number?
True
Suppose 2*r = 6*r + 1864. Let k = -255 - r. Is k prime?
True
Let w = 58 - 25. Is w a prime number?
False
Let y be 3/(2/(-92)*-2). Let d = y - 34. Is d a prime number?
False
Let o(j) = -j**2 + 7*j - 6. Let p be o(5). Suppose m = -4*h + 55, -m + p*h = 2*m - 101. Is m a composite number?
True
Let n be 0*(1 + (-3)/6). Let v(x) = -x**3 + x + 37. Is v(n) a prime number?
True
Let l(m) = m**3 + 7*m**2 - 14*m - 3. Is l(-7) a prime number?
False
Let p(m) be the first derivative of -3 + 9*m - 7/2*m**2 + 1/3*m**3. Is p(6) composite?
False
Suppose 5*p - 40 = -0*p. Suppose -43 = -3*m + 5*f + p, m + 3*f - 31 = 0. Is m prime?
False
Suppose -2*s + 4 = -4. Suppose -10 - 66 = -s*x. Is x a prime number?
True
Let o be (8/(-10))/(2/1230). Let g be (-2)/(-4) - o/8. Suppose -c = -g + 16. Is c a composite number?
True
Suppose -5*c = 4*k - 6 - 216, 5*c - 10 = 0. Is k prime?
True
Let p = 2194 + -1425. Is p a composite number?
False
Let g(c) = 53*c**3 + c**2 - c. Is g(3) a prime number?
False
Let i = -13 + 19. Suppose 4*g - 43 = -3*x, 0 = -2*x - 2*g + i*g + 2. Is x composite?
True
Is (-4)/16 + (2 - (-10525)/4) prime?
True
Let d = -1498 - -2121. Is d prime?
False
Let t(s) = -s**3 + 10*s**2 - 10*s + 13. Let a be t(9). Suppose -3*w - 5*b + 13 = -w, -a*w + b = -81. Is w composite?
False
Let p be 0 - (0 + 2 - 2). Let h = p + -5. Is (116/h)/(4/(-10)) composite?
True
Let r(y) = 64*y**2 - 5*y - 12. Is r(-2) a composite number?
True
Suppose -2783 = -6*o - 5*o. Is o a prime number?
False
Let x(i) = -16*i + 5. Let q(y) = -y**2 - y - 3. Let a be q(-3). Is x(a) a prime number?
True
Let i = -7 - -12. Suppose 0 = -5*w + i*l + 805, -5*w + 836 = 4*l + 67. Is w composite?
False
Suppose -x + 3*l + 80 = 0, 104 = x - 0*x + 5*l. Is x a prime number?
True
Let m be 30 + (5 - 2)*-1. Let o = -2 + m. Is o composite?
True
Is (-2)/10 - 11436/(-30) composite?
True
Suppose -4*s + 20 = -0. Suppose 6*o - 24 = 2*o. Suppose -o*z = -3*z - s*c - 189, 4*z - 247 = 5*c. Is z a composite number?
True
Let l be -1 - (-4)/((-4)/(-3)). Suppose 3*d + l*g = 54 + 43, g = 2. Is d a prime number?
True
Let b be 1/(4 - 39/9). Let m(v) = -13*v - 5. Is m(b) prime?
False
Let r be 0*(-1 - 3/(-6)). Suppose 5*l = 5*q - 885, r = q - 0*q + l - 167. Let o = -119 + q. Is o a prime number?
True
Is (-3 - (-4065)/(-2))*(-6)/9 composite?
True
Suppose -5*l + 6673 = 4*u, -4*u - u = 2*l - 2659. Is l a composite number?
True
Suppose 3*s = -75 - 195. Let p = -188 + 61. Let o = s - p. Is o a prime number?
True
Let d be (-8*1)/4 - -4. Suppose a - 4*a + l = -442, 2*l = d*a - 288. Is a prime?
True
Let d(x) = -8*x - 15. Let u = 4 - 20. Is d(u) a composite number?
False
Let g(y) = y**3 - 5*y**2 + 5*y - 3. Let x be g(3). Is (7/(-2))/(x/60) prime?
False
Let h(z) = 18*z + 1. Is h(5) a prime number?
False
Let j(y) = 35*y**2 - 2*y + 1. Is j(-2) prime?
False
Let c(a) be the third derivative of a**5/30 + a**4/6 - a**3/6 - 2*a**2. Is c(-6) a composite number?
False
Let i be (-5)/((-10)/(-76)) - 2. Let g = i + 75. Is g composite?
True
Let a(n) = 2*n**2 - 4*n + 73. Is a(13) prime?
True
Let u(d) = 3*d**2 - 4*d - 12. Let a be u(13). Let b = a + -208. Is b prime?
False
Suppose j - 3 = f, -16 = -3*j - 4*f + 7. Let p = j - 3. Suppose -2*i + k + 47 = -0*k, -i - p*k = -16. Is i a composite number?
True
Let y = -6 + 0. Let d be (0/y)/((-2)/(-1)). Suppose 4*i = n + 2*i - 71, d = 4*i - 12. Is n prime?
False
Is (-1)/3*0/(-5) - -37 a prime number?
True
Let w(i) be the third derivative of -i**6/15 - i**5/60 + i**4/24 - i**3/6 - 4*i**2. Is w(-2) composite?
True
Let f(s) be the third derivative of s**5/30 - s**4/2 + 13*s**3/6 - s**2. Is f(9) a composite number?
False
Is -1 - (-4 - -5)*-72 composite?
False
Let i be ((-1)/2)/(10/(-40)). Suppose -z - i*z + 327 = 0. Is z composite?
False
Let k(o) be the third derivative of o**6/120 - 7*o**5/60 + o**4/8 - o**3/3 + o**2. Is k(7) a composite number?
False
Let p(c) = -c**2 + 7*c - 5. Let s be p(6). Let w(t) = 2*t + s - t**2 + 6 + 2*t. Is w(5) composite?
False
Let n = 2 + 1. Let k(r) = 19*r - 4. Is k(n) prime?
True
Let o(j) = j**3 - 3*j - 1. Let w(f) = -f**3 - 3*f**2 - 2*f - 2. Let m be w(-3). Is o(m) composite?
True
Let u(b) = b**2 + 6*b + 3. Let g be u(-5). Let x(v) = -v**3 + 3*v**2 - 3*v + 4. Let l be x(3). Is g/l - 323/(-5) a prime number?
False
Let t = 1 - 1. Suppose 6 = -t*p + 3*p. Suppose p*w + 2 = 4*g, 4*w - 5*w - 5 = -3*g. Is w prime?
True
Let f(x) be the third derivative of 0 - 1/120*x**6 + 1/6*x**3 + x**2 + 0*x + 3/20*x**5 + 1/6*x**4. Is f(9) prime?
True
Let l be (280/25)/(1/(-25)). Let m = l + 503. Is m prime?
True
Suppose 3*u = 2*u + 5, 0 = 4*n + u - 137. Is n composite?
True
Is ((-18)/4 - -4)*-508 composite?
True
Suppose 0 = -4*j + 3*j + 571. Is j composite?
False
Let n be -8*(-1 - (-3)/12). Let b be (-225)/n*(-4)/3. Suppose -3*t + b = -t. Is t prime?
False
Let p(q) = q - 16. Let w be p(7). Is (-439)/w + (-16)/(-72) composite?
True
Let a = -10 + 15. Suppose -68 = 3*j - a*j. Is j prime?
False
Suppose 0 = -0*u - 2*u + 16. Let z = 7 - u. Is ((-1)/1)/(z/39) a composite number?
True
Let o be 51/15 - (-2)/(-5). Suppose 0 = o*d - 2*d - 30. Suppose 0 = 3*m - 33 - d. Is m prime?
False
Let n(b) = 11*b**2 - 15. Is n(4) prime?
False
Let a = -8 - -29. Is a a prime number?
False
Let x be 2/(-5) + (-816)/(-40). Suppose 3*h = 5*h - x. Is (21/(-3))/((-2)/h) a prime number?
False
Suppose 3*t + 2*t - 15 = 0, -5*x + 13 = t. Suppose r = x*z - 105, 2*r = -2*z + 4*z - 106. Suppose -2*f = 2*f - z. Is f a composite number?
False
Let x(k) =