6) a composite number?
True
Suppose 5*s = h - 56, 4*s + 3 = -4*h - 37. Is 2/s - (-145881)/297 a prime number?
True
Let b = -20 + 23. Let i = 67 + b. Suppose i = -3*z + 307. Is z composite?
False
Suppose 3*b = 1 - 4. Is (-3487)/22*1/(b/2) a prime number?
True
Suppose -4*y + 8019 + 5065 = 0. Is y composite?
False
Let c be (-7)/((-140)/(-1248))*5. Let p = -79 - c. Is p composite?
False
Let v be 1 - -11 - (-9 + 6). Suppose -3*d + 5*m + v = 0, -4*d + 2*m + 1 = -5. Suppose -5*o = -d*o - 20. Is o a prime number?
False
Suppose -56 = -11*o + 10*o. Let j(b) = o*b + 0 + 78*b**3 - 55*b + 0. Is j(1) composite?
False
Let v(i) = 2*i**3 + 15*i**2 + 9*i + 17. Let f be v(-7). Suppose f*n - 5*g = 2129, 4*n - 2*g - 2*g = 2828. Is n a prime number?
False
Suppose 0 = -19*x + 17*x + 2. Is ((-15)/12)/(x + (-693)/692) a prime number?
False
Suppose -101300 = -5*o - 4*y - 12761, -3 = -3*y. Is o prime?
True
Suppose 6*y - 4 = 10*y. Let g be (18 + (-12)/4)*y. Is (-6)/g - (-813)/5 prime?
True
Suppose 4820 + 3114 = 2*o. Is o a prime number?
True
Let n = 258 - -371. Is n a composite number?
True
Let i(y) = -31*y**3 + 7*y**2 - 10*y + 1. Let r be i(-6). Suppose 15*x - 6974 = 12*x - 5*o, 2*o = 3*x - r. Is x composite?
False
Let u be (8/(-14))/(2/(-14)). Suppose -4*r - u*y = 52, 4*y - 39 = 2*r + 17. Is 562/5 - r/30 a composite number?
False
Suppose 14*x - 24878 = -0*x. Is x prime?
True
Suppose 2*y + y = 54. Is 2343/27 - (-4)/y prime?
False
Let a = -4641 - -9488. Is a prime?
False
Let s be ((-2)/(-6)*1)/(1/(-21)). Is 209/(-38)*s/(-2)*-4 prime?
False
Suppose 3*f - 39 - 54 = 0. Suppose -33 = -b - 4*s, -4*b = s + f - 178. Suppose -4*v + 3*v + b = 0. Is v composite?
False
Suppose -g - 7*p + 6*p = -12318, -2*g + 24641 = -3*p. Is g composite?
True
Let m(x) = 16*x - 7*x + 1 + 14 + x**3 - 5*x - x**2. Is m(7) prime?
True
Let k(m) = 1. Let w(o) = -2*o + 20. Let b be -4 + (1 - -8*1). Let t(r) = b*k(r) - w(r). Is t(11) a composite number?
False
Suppose 4*h + 4 = 12. Is 2671/(h + -1 - 0) prime?
True
Suppose j = 2*p + 4375, -8*j = -12*j - 4*p + 17452. Is j prime?
False
Let c = 668 - -2159. Is c a composite number?
True
Suppose 2*m = -5*y - 81, y = 3*y + 5*m + 45. Let f be (6/(-10))/(y/75). Suppose 6*k - 159 = f*k. Is k a composite number?
False
Let z be (3 + -8)*1*11. Let u = -27 - z. Suppose -y = 2*p - u, 3*p - 45 = -y - 3. Is p a prime number?
False
Let z(h) = -h**3 - 14*h**2 - 17*h - 31. Let a be z(-13). Suppose -a*l + 19*l = -662. Is l prime?
True
Let n(s) = 7 - s + 4*s**2 - 5*s**2 - 2*s. Let l be n(-4). Is (-2 + l)/(2/254) prime?
True
Let y(x) = x - 12. Let s be y(10). Is (-200 + s)/(4/(-10)) prime?
False
Let k be 212 - 2/4*2. Let t be -134*-4*(-5)/20. Let s = t + k. Is s composite?
True
Let d(q) be the third derivative of -7*q**4/6 - 29*q**3/6 - 6*q**2. Is d(-15) a prime number?
False
Let y(w) = 10*w**2 + 5*w + 158. Is y(-39) a composite number?
False
Is 42/(-36)*9*1042/(-3) a prime number?
False
Let d(q) = -q**2 - 16*q + 6. Let k(r) = r - 2. Let h(b) = -4*b + 9. Let u(z) = 2*h(z) + 9*k(z). Let n(p) = -d(p) - 4*u(p). Is n(5) a composite number?
False
Suppose -a + 12862 = 3*k, -5*a + 2*k + 23538 = -40721. Is a a prime number?
True
Let x(a) = 2*a**2 - a - 2. Suppose 7*i - 2*i - 72 = v, -5*i + 68 = v. Let g = i - 10. Is x(g) a composite number?
True
Let v be 1 - -2 - (-2)/(4 - 2). Suppose -2*b = 3*i - 2131, v*b - 3*i - 571 = 3700. Is b a prime number?
False
Let j(o) = -8*o**3 + 9*o**2 - 20*o - 44. Is j(-9) a prime number?
False
Suppose n + 3*a = 4*a + 53, 5*n = a + 281. Suppose 4*v = -10*v + 15610. Suppose -4*x = -n - v. Is x composite?
False
Suppose 786 = -5*o + 4096. Let p = o - 369. Is p a composite number?
False
Let x(k) = -k**3 + 17*k**2 - 9*k - 11. Let u(n) = -n**2 - 10*n + 14. Let w be u(-10). Is x(w) a composite number?
True
Let v(k) be the first derivative of k**4/2 + 7*k**3/3 + 7*k**2/2 + 4*k + 3. Let l be v(-5). Let w = 157 + l. Is w prime?
False
Let a(w) = 6*w**2 - 9*w + 7. Let y be a(-12). Suppose 0 = -z + 1, x = 2*x - 4*z - y. Is x a composite number?
False
Let h(v) = 7*v + 44. Let o(q) = 14*q + 87. Let w(b) = -11*h(b) + 6*o(b). Is w(11) prime?
False
Suppose -7941 + 261 = i. Let f = i - -10919. Is f a composite number?
True
Suppose -2*d - d - 48 = 0. Let t = 18 + d. Is (-1)/(t/(-74)) - -1 a prime number?
False
Suppose -3*x + 7*x = 3*y + 7675, 0 = -2*x - 5*y + 3857. Is x a composite number?
True
Suppose -3*j = 2*i + 12, 2*i - 56 = 5*i - 5*j. Let q = i + -32. Let m = -22 - q. Is m composite?
True
Let w be (-6)/4*(3 + -1). Let q(a) = -102*a + 7. Let o(x) = -102*x + 6. Let k(h) = 6*o(h) - 5*q(h). Is k(w) a composite number?
False
Let r(c) = c**2 + 4*c. Let h be r(-6). Suppose -4*z + h + 0 = 0. Suppose 37 - 211 = -z*w. Is w a composite number?
True
Suppose -2*a - 2 + 8 = 0. Suppose a*y = -4*z - 2*y + 17, -19 = -5*z - 4*y. Suppose -5*c + 945 = 5*b, -z*b - c + 235 = -324. Is b a prime number?
False
Suppose -7*d = -3*d - 5*r + 10, -d = 2*r - 4. Suppose -x + 35 = 5*h, 4*x = 2*h - d*x + 8. Is (-26430)/(-42) + h/(-21) a prime number?
False
Suppose 4716 = 10*m - 1904. Is m a prime number?
False
Let t = 11 - 3. Let n(o) = -22*o - 9. Let w(s) = s. Let j(p) = -n(p) - 3*w(p). Is j(t) a composite number?
True
Let o = -603 + 878. Let c = o + -126. Is c composite?
False
Let c(n) = n**3 + 15*n**2 - 5*n + 291. Is c(22) prime?
True
Suppose 1 + 7 = 4*a. Suppose -i + 4 = -a*i. Let q(s) = s**2 + s - 2. Is q(i) prime?
False
Suppose 41*x = 40*x + 2757. Is x composite?
True
Let z(n) be the first derivative of -n**4/4 - 7*n**3/3 - 3*n**2/2 - 3*n - 5. Let l = 0 + -8. Is z(l) a prime number?
False
Suppose -1766 = -17*o + 13*o + 2*r, -r - 1326 = -3*o. Is o a prime number?
True
Let g(v) = -9*v**2 - 2*v + 7. Let z(k) = 19*k**2 + 5*k - 15. Let i(d) = -13*g(d) - 6*z(d). Suppose 0*a = -a + 4. Is i(a) a prime number?
True
Let t(g) = g**3 - 9*g**2 - 13*g - 173. Is t(16) a prime number?
False
Suppose 10*f - 36183 = 682507. Is f a composite number?
True
Let p = -78 - -389. Suppose 1018 = x - p. Is x composite?
True
Let r = 54 + 343. Suppose 8*k - r = 619. Is k a prime number?
True
Let g(q) = 3*q**2 - 9*q - 7. Suppose -2*n + b = 2*n - 14, 24 = 4*n + 4*b. Suppose -2*h - n = 2*j + 3*h, -41 = 5*j - 3*h. Is g(j) composite?
True
Suppose -11 = -2*j + 9. Suppose -j*q = -8*q - 762. Suppose 4*v - v = q. Is v prime?
True
Is (41892/30)/(11/(110/4)) composite?
False
Suppose 3*v + 4*k - 781 = 0, 10*v - 11*v + 5*k + 273 = 0. Is v a composite number?
False
Suppose 73 = -3*h - 11. Is 42/h*(-436)/6 a prime number?
True
Suppose m + 13 = -6. Let g = m + 15. Is (-1107)/(-36) + (-1)/g a prime number?
True
Let f be 2*(-3)/(-6) + 4. Suppose -4 = -f*d + 11. Suppose -3*m + t = -132, t = -d*m - 3*t + 117. Is m a composite number?
False
Let c be -1*1 + -6 + 10. Suppose -4*h + 2 = -c*d, -h - 2*h = 5*d - 16. Suppose -h*a + 3*a - 126 = 2*s, 3*s = -6. Is a prime?
False
Suppose 58*y - 35375 = 183691. Is y a prime number?
False
Let q(a) = 165*a - 2. Suppose 0 = m + 5*z + 24, -2 = z + 3. Is q(m) composite?
False
Let k be (3 - 16)/((-2)/(-4)). Let m = -30 - k. Is 12796/44 - m/22 prime?
False
Is (-6)/(-16) + (-141541)/(-8) composite?
True
Let d(y) = 4897*y**3 - 3*y**2 + 6*y - 3. Is d(1) a composite number?
True
Let s(d) be the third derivative of -d**4/24 + 5*d**3/3 - 8*d**2. Let t be s(17). Let h(n) = n**2 + 4. Is h(t) a prime number?
True
Let w(o) = -o + 137. Is w(-12) composite?
False
Let w(f) be the third derivative of -23*f**4/12 + 29*f**3/6 - 13*f**2. Is w(-14) a composite number?
False
Suppose -7 = 3*k + 14. Let t = 11 + k. Suppose 0*h + t*h = 764. Is h a composite number?
False
Suppose -6*u + u + 15 = 0, 5*u = -5*y + 310. Suppose -191 - y = 2*x. Let c = x - -282. Is c composite?
False
Let y be ((-32)/5 + 4)*830. Let r = y + 3641. Is r a prime number?
False
Suppose 0*f + 1312 = 4*f. Let o = f - 222. Is (1 - 2)/(-1)*o prime?
False
Suppose h - 40569 = -2*v, -121719 = -0*h - 3*h - 3*v. Is h prime?
True
Let m be ((-923)/39)/((-2)/18). Suppose -g + 4*f + m = 0, g - 4*f = 3*g - 390. Is g a prime number?
False
Let z = -1708 - -4593. Is z prime?
False
Suppose -3*c + 2*l = -28, 2*l = -c + 9 + 3. Suppose s - 3*u - c = u, 5*s + 4 = 2*u. Is (-17*26)/(s + 0) composite?
True
Suppose 1239 = -4*l + 4603. Is l a composite number?
True
Is 96855/27 - -5*2/(-45)