mber?
False
Let f(t) = -216*t**3 - 17*t**2 - 52*t + 3. Is f(-4) a composite number?
False
Suppose 2*y = 6*y - 1664. Suppose -3*q + 4*c + 18 = 0, 5*q - 5*c = 7 + 18. Suppose s + 0*s - 223 = 4*o, q*o + y = 2*s. Is s a prime number?
False
Let h = -833 + 3480. Is h a composite number?
False
Suppose 4*v - 4 = 0, 0*v - 21 = -5*r - v. Suppose -3*f + r*t + 1091 = -1568, -t = -4*f + 3554. Is f prime?
False
Let z(t) = 1995*t - 224. Is z(37) prime?
False
Let t(g) = -5*g + 1741. Is t(0) a prime number?
True
Let u(j) = 227*j**2 + 2*j + 3. Suppose 6 = -2*k + 2. Is u(k) prime?
True
Suppose 11914 = -0*k + 2*k - 4*a, 23807 = 4*k - a. Is k composite?
True
Let d(f) = -89*f**2 - 7*f - 3. Let w = -25 + 42. Let u(q) = 268*q**2 + 20*q + 8. Let v(a) = w*d(a) + 6*u(a). Is v(2) a prime number?
True
Let m(b) = -2. Let i(g) = 1. Let h(y) = 9*i(y) + 4*m(y). Let s(v) = -7*v**2 - 3*v + 13. Let k(c) = 2*h(c) - s(c). Is k(-8) prime?
False
Let r(l) = l**3 - 54*l**2 - 52*l - 109. Is r(56) a prime number?
True
Let b(v) = 195*v**3 - v**2 + 23*v - 47. Is b(2) prime?
False
Let p be 18/12*(-28)/(-6). Suppose -39 = -2*d + 3*b, -p*d - b = -3*d - 57. Is d composite?
True
Let k(n) be the first derivative of n**2/2 - 13*n + 5. Let l be k(13). Is l - -105 - (-2 - -4) composite?
False
Suppose -q = 4*i - 0*i - 25, -5*q + 79 = -3*i. Suppose 0 = -q*r + 20*r - 6873. Is r a composite number?
True
Let r = 2 + 4. Suppose r*j = j - 30. Is j/(-10) - (-1648)/20 composite?
False
Let p = 1178 - -2905. Is p a prime number?
False
Suppose 15 = -0*y + 5*y, -3494 = 5*m + 2*y. Let t = m - -1179. Suppose 4*n = 77 + t. Is n composite?
False
Suppose 18*h - 7673 - 50989 = 0. Is h a composite number?
False
Let b = 5 - -5. Let i(l) = 4*l**3 - 5*l**3 - 5*l + 6 - 11 + 18*l**2 - 6*l**2. Is i(b) a composite number?
True
Is 332*((-35)/(-28) - 1) a prime number?
True
Let d = -19 - -22. Suppose 2*p - 4*s - 10 = d*p, 22 = -p - s. Let c = 47 + p. Is c composite?
True
Let t(l) = -307*l**3 - 2*l**2 - 6*l - 4. Is t(-1) prime?
True
Let l = -31 + 34. Suppose -p - 457 = -l*p + s, 0 = 3*p - 4*s - 698. Is p a prime number?
False
Suppose 9*n = 5*n + 888. Suppose -2*l = 4*y - 312, -3*l + 235 + n = -5*y. Let u = l - -3. Is u a composite number?
False
Let i(c) = 1 - 16*c + 7*c - 22*c + 4. Suppose 4*b = 6*b + 12. Is i(b) a composite number?
False
Let x be (20 - 15)/(0 - -1). Suppose 3*i = 4*m + 8789, x*i + 0*m = 4*m + 14635. Is i prime?
False
Let c(i) be the third derivative of 7*i**5/60 - i**4/24 + 11*i**3/2 - 13*i**2. Is c(-15) composite?
True
Is 29602/304 + 3/(-8) a prime number?
True
Is ((-101877)/(-58))/(-6*1/(-4)) a prime number?
True
Suppose -10205 = 22*j - 27*j. Is j composite?
True
Let v(i) be the third derivative of i**5/60 + i**4/6 + i**3 - 6*i**2. Is v(-3) a prime number?
True
Let d(r) = r**2 - 43*r + 65. Is d(46) composite?
True
Let s be (-5)/20 + (-42)/(-8). Suppose 3*o + y - 28 = 0, -4*y + 3 = -o - s. Let z(a) = -a**3 + 10*a**2 - 1. Is z(o) composite?
False
Let d = 8381 + -766. Is d prime?
False
Suppose 5*s + 81 = -3*r - 91, 2*s = -r - 68. Let n = s - -37. Suppose 0*c + 841 = 2*w - c, w - 434 = n*c. Is w a composite number?
False
Let q be (-1)/(72/(-160)) + (-10)/45. Let d = 2 + 0. Suppose a - d*h - h = 80, 387 = 5*a - q*h. Is a prime?
False
Let j(m) be the second derivative of m**5/20 + 7*m**4/12 - 5*m**3/3 + 2*m**2 + 19*m. Is j(-7) a prime number?
False
Suppose 0 = 17*o - 17216 - 33971. Is o composite?
False
Let i = 5540 + -3151. Is i composite?
False
Let b = 4493 - 953. Suppose b = 7*i - 16193. Is i prime?
True
Let i = 11 - 22. Let t be (-64)/i + 6/33. Suppose -t*m - 1743 = -9*m. Is m composite?
True
Let h(y) = 20*y**2 - 111*y - 628. Is h(-6) composite?
True
Let z be 0 + 4227/4 - 6/8. Suppose b = z - 47. Is b a prime number?
True
Let y be (-8)/((-8)/2) + -2. Let t be y - 8/(-4) - 15. Let b = 136 - t. Is b a prime number?
True
Let t(a) = a**3 + 2*a**2 + 5*a + 9. Suppose 4*u - 3*u = 5. Is t(u) composite?
True
Let d(q) be the first derivative of 35*q**3 + q**2/2 + 7*q + 42. Is d(6) composite?
False
Is (-1)/(-2 - (-6 + 3)) - -4212 a composite number?
False
Suppose 3*z - 3196 = -5*u, -10*u - 1267 = -12*u - 5*z. Is u a composite number?
False
Let z(f) = 6*f**2 - 7*f + 5. Let o(q) = 5*q**2 - 6*q + 4. Let l(u) = -5*o(u) + 4*z(u). Let d be l(2). Suppose -7 + d = -j. Is j composite?
False
Let h(i) = i**3 - 5*i**2 + 5*i + 3. Let m be h(4). Let r(p) = -5 + 22 - 25 + 3*p. Is r(m) prime?
True
Suppose -4*d + 6*s + 9551 = 5*s, 4793 = 2*d + 3*s. Is d a prime number?
True
Suppose -2*y - 3*q + 6 = 2*y, q - 2 = -y. Suppose -3054 = -6*i - y*i. Is i a prime number?
True
Let i = 583 - -3841. Suppose -5*l = -161 - i. Is l a composite number?
True
Suppose 4*s = -z + 6*z + 17069, 0 = 4*z - 12. Is s composite?
False
Suppose 10883 = 11*c - 39134. Is c a composite number?
False
Let f be -10*(9/90)/(1/4). Is ((-5635)/(-28) - f)*(2 - -2) a prime number?
True
Is (3010 + 1)/(9/27) composite?
True
Let m(c) = c**2 - 1. Let t(k) = -9*k**2 - 8*k - 14. Let h(f) = -2*m(f) - t(f). Is h(7) prime?
False
Let p(a) = a**3 - 5*a**2 - 8*a + 13. Let m be p(5). Suppose 2*w = -3*z + 972, -439 = -z + 2*w - 107. Let t = m + z. Is t a prime number?
False
Let r(b) = 32*b. Let q be r(1). Let o = 38 - q. Is (14/(-21))/(o/(-2331)) a composite number?
True
Let d(y) = y**3 - 2*y**2 - 3*y - 6. Let u be d(5). Suppose 62 = 2*v - r, 2*v - r - u = 2*r. Let h = 22 + v. Is h composite?
True
Let v = -3441 - -16252. Is v a composite number?
True
Let s(y) = 308*y**2 + 2*y + 1. Let v(m) = -m**3 - 9*m**2 - 15*m - 6. Let h be v(-7). Let r be 3 + (0/h - 4). Is s(r) a composite number?
False
Suppose 0 = c - 5*k - 25816, 0 = -3*k + k - 2. Is c a composite number?
True
Let o be (12/10)/((-14)/(-35)). Suppose 4 = -2*w - 2*g, 2*w + g - o + 2 = 0. Suppose 0*t + w*t - 201 = 0. Is t a composite number?
False
Let i be 6 + -6 - (-20 - 1*-2). Is 1 + (-15)/i + 13997/6 a prime number?
True
Suppose -11587 = -5*o - 357. Is o composite?
True
Suppose 4*x - 3*g = 5739 + 13321, 5*x + 2*g - 23825 = 0. Is x a prime number?
False
Let w(i) = 528*i**3 - i**2 - 4*i + 2. Let k = -18 - -13. Let t(b) = -264*b**3 + 2*b - 1. Let f(u) = k*t(u) - 2*w(u). Is f(1) composite?
True
Suppose -m + 1 = -0*m. Is m/3*-3 + 572 a prime number?
True
Let r(t) = t**2 + 2*t - 2. Let k be r(3). Let a(j) = 43 + 40 - 75 + 4*j**2 - 11*j. Is a(k) a composite number?
False
Suppose -4*r + 174 = -142. Is r composite?
False
Let u(o) = o**2 + 5*o. Let q be u(-6). Let p be 16/(-12) - (-8)/q. Suppose p = 4*h - 0*h - 276. Is h a composite number?
True
Let m(b) = 376*b**2 + 2*b - 97. Is m(-9) a composite number?
False
Let g(u) = u**3 - 14*u**2 + 5*u + 1. Let l be g(16). Let h(t) = 43*t**2 - 1. Let z be h(1). Suppose -l = -r + z. Is r a composite number?
True
Suppose 0 = 5*d - 3*a - 28189, 12*d + a = 8*d + 22558. Is d a composite number?
False
Suppose -59 = -6*u + 133. Let p be (-12)/42 + u/14. Suppose 0 = p*k + 3*y - 422, 3*y - 4*y - 211 = -k. Is k a prime number?
True
Suppose -15*o + 15446 = -9409. Is o composite?
False
Let j(c) be the first derivative of -4*c**2 - 9*c - 26. Is j(-7) composite?
False
Let u(c) = 2140*c + 317. Is u(5) a prime number?
False
Let j(w) = -w**3 - 12*w**2 + 12*w - 4. Let o be j(-13). Suppose o*f - 11363 + 1004 = 0. Is f a prime number?
True
Let z(w) be the third derivative of 191*w**5/60 - w**4/24 + w**3/6 + w**2. Is z(1) a prime number?
True
Let z = -162 - -283. Suppose -s - 41 = 3*i + i, -5*s + i = z. Let r = s + 39. Is r a prime number?
False
Let c(l) be the third derivative of 0 + l**2 + 0*l + 3/2*l**3 + 1/8*l**4 + 1/60*l**5. Is c(-7) a prime number?
True
Let v(o) = 147*o + 208. Is v(49) a composite number?
False
Let g(l) = 11*l**2 + 2*l + 62. Is g(-6) composite?
True
Suppose 3*d - 6 = d. Suppose 0 = -c - 2*z + 11, -d*c - 11 = -9*z + 4*z. Suppose 34 = c*q + 3*u + 2*u, 0 = 5*q - 5*u - 70. Is q composite?
False
Let o(v) = -v**3 - 8*v**2 - 7*v + 1. Let p be o(-5). Let q = -150 + p. Let b = 22 - q. Is b composite?
False
Is (2 + -3)/(1 - 2016/2007) prime?
True
Suppose -4*c - 2060 + 114 = -5*o, -370 = -o - 4*c. Suppose 0 = -8*m + 1554 - o. Is m prime?
False
Let h = -3390 + -74. Is h/(-10) + 0 - 8/20 a composite number?
True
Suppose 2*b = 10807 + 3631. Suppose 2*p = -3*l + 4313, 2*p = -5*l - 28 + b. Is l composite?
False