 number?
False
Suppose -6*r - 13*r + 16*r = 0. Suppose 17767 = 5*j + 4*v, v = -r*v + 3. Is j composite?
True
Suppose 5*m = 28*k - 32*k + 5556, -3*m - k + 3328 = 0. Suppose -26 = -4*h - 6. Suppose -h*p + 4523 - m = 0. Is p a prime number?
True
Suppose -11*h = -15*h + 20. Let i(r) be the first derivative of 11*r**3/3 - r**2 + 4*r - 7. Is i(h) a prime number?
True
Let x = -817242 + 1329199. Is x a composite number?
True
Suppose 130586 = 4*r - s, -r + 3*s + 26004 = -6637. Is r a prime number?
True
Let p(v) = 10179 - 4*v - 7*v + 12*v. Let i be p(0). Suppose i = 13*z - 3380. Is z composite?
True
Let s(b) = 598*b + 45. Let c(j) = -599*j - 45. Let o(z) = -4*c(z) - 3*s(z). Is o(8) composite?
False
Let d(j) be the second derivative of -2*j**5/5 - 5*j**4/6 - 5*j**3/3 + 11*j**2/2 + 9*j + 2. Is d(-14) composite?
False
Suppose 0 = u - 3*g - 2*g + 133, 587 = -5*u - g. Let j = -113 - u. Let h(k) = k**3 + k**2 - 13*k - 2. Is h(j) a composite number?
False
Is 111831 + 180/(2 + -20) a composite number?
False
Suppose 52*o + 80 = 72*o. Suppose o*v - 34820 = -4*p, -2*p + 3*p = 3*v - 26123. Is v prime?
True
Let u = 35105 - -2846. Is u a prime number?
True
Let i be ((-1372)/70 - -20)/((-3)/30). Suppose -4*u + 2*u + 18 = 0. Is u + (-9 - i) + 214 a composite number?
True
Is 104764/8*1 + (-115)/46 composite?
False
Let g be (-1 - -8220)*(-4)/(7 - 3). Let j be 2*g/(-2) + 2 + 1. Suppose -2*s + 0*s + j = 0. Is s a composite number?
False
Let f(u) = 44*u**2 + 5*u - 11. Let q(s) be the third derivative of -s**4/12 - s**3/3 + 23*s**2. Let g be q(2). Is f(g) prime?
True
Let n(x) = x**3 + 4*x**2 - 13*x + 3. Let a be n(-6). Suppose a*j - 11*j = -5*u - 2139, -3*j = 4*u - 3151. Is j a composite number?
True
Suppose -10 = 2*x - 3*h, 2*x + 13*h = 9*h + 4. Is ((168/(-18))/x)/((-6)/(-2637)) composite?
True
Let l(r) = -r - 1. Let a(v) = -582*v + 38. Let q(i) = a(i) - 3*l(i). Let w be q(10). Let s = -3354 - w. Is s prime?
False
Let q(u) = 6*u + 36. Let r be q(-6). Suppose 3*a + 5*o - 8920 = r, 4*o = 3*a - 11111 + 2236. Is a a prime number?
False
Let u(q) = -q + 1. Let y(h) = 1420*h**3 + 2*h**2 - 5*h - 3. Let p(d) = -4*u(d) + y(d). Is p(2) a composite number?
True
Suppose 21*x - 3 = 18. Is x/(-6)*-4*(-1509)/(-2) a prime number?
True
Suppose -15*x = -12*x - 156. Let z = -1 + x. Is z a prime number?
False
Suppose -12*r = v - 14*r - 247, -4*v = 4*r - 1000. Let n = v + -192. Is n a composite number?
True
Let w(z) = -21174*z**3 + 2*z**2 + 76*z + 151. Is w(-2) prime?
True
Suppose 1 + 1 = -q + 2*c, 12 = 3*q + 3*c. Let h(n) = -6*n - 2*n**2 - 7*n - 9 + 4*n**2 - n**q. Is h(16) prime?
False
Let d = -3 - -3. Suppose d*r + 3*r = -3*z + 9, -22 = -2*z + 2*r. Is (7/2)/(z/154) a prime number?
False
Let h(l) = 2*l**3 - 11*l**2 + l - 2. Let m be h(10). Let b = m + -9. Is b a composite number?
True
Let a = -505929 + 853200. Is a prime?
False
Suppose 2*j - t - 10 = 0, 6*t - 6 = -j + 7*t. Let n(d) = 152*d + 6. Let z be n(1). Suppose 2*c + 3*c = j*y + 381, 2*c = -4*y + z. Is c a composite number?
True
Let l(g) = 146816*g + 4751. Is l(3) composite?
False
Let i = 236793 + -138386. Is i composite?
False
Let y be (315/(-28))/(-15) + 9/4. Suppose y*u - 302 = 3169. Is u composite?
True
Let n(s) be the third derivative of -8*s**2 + 0 + 0*s - 19/6*s**3 + 1/3*s**4. Is n(21) a composite number?
False
Suppose -36 = 33*u - 35*u. Let z(p) = u*p**2 - 9 + 5*p - 20*p**2 + 17*p**2. Is z(-7) composite?
False
Suppose 2*h + 73 = 83. Suppose -4*v + 2 = -2, 4*z - 5*v = 15. Suppose -t + 4*t - 2098 = -h*y, 2*t - 2097 = -z*y. Is y composite?
False
Let y(l) = -330*l**3 - 18*l**2 + 31*l + 33. Is y(-8) a composite number?
False
Suppose -d = 3*p - 6, 0 = 5*d - 5*p + 13 - 63. Suppose -5*y - 774 = -f + 1622, 3*y = d. Is f a prime number?
True
Is 660029*(14/12 + (-85)/510)*1 a prime number?
True
Let v(o) = -300*o + 26. Let q(a) be the third derivative of 25*a**4/4 - 13*a**3/6 + 7*a**2. Let l(n) = 9*q(n) + 4*v(n). Is l(9) prime?
False
Let v(p) = -8*p**2 - 29*p + 5. Let j be v(-4). Let d(f) = -f. Let g(b) = -62*b + 52. Let q(l) = d(l) + g(l). Is q(j) a composite number?
True
Suppose -442814 - 110351 = -2*f - z, f - 2*z = 276575. Is f a composite number?
False
Let l be (-3 - -3)/2 + 3 + 4053. Suppose -3*g + l = -5*b, -18*g + b = -22*g + 5385. Is g prime?
False
Let p = -3250 - -4612. Let n = p - -221. Is n a composite number?
False
Let q(d) = d - 13. Let h be q(14). Suppose 2*g - 5 - h = 0. Suppose 0 = -4*f - 16, 3*j + f = -g*f + 1049. Is j prime?
False
Suppose -292*t = -296*t + 36. Suppose -t*g + 992 = -8287. Is g composite?
False
Let p(b) = -31422*b + 2909. Is p(-12) prime?
False
Let y(g) = 43*g**2 - 2*g + 7. Let x be y(-9). Suppose -d + 6*d - 30 = 0. Is (d/12)/(2/x) prime?
True
Let n be 55 - 3/(9/12). Suppose -16 + n = s. Is 1986/15*s/14 prime?
True
Let c(y) = 97*y**2 + 3*y. Suppose -6*r + 48 = 6*r. Let d be c(r). Suppose 5*x - d - 931 = -4*p, x - p = 499. Is x a composite number?
False
Let h(q) = 11*q**2 - 58*q + 5. Let l be h(7). Suppose -l*z = -136*z - 1502. Is z a prime number?
True
Let t(h) = 28427*h**2 + 106*h + 209. Is t(-2) composite?
True
Let b(r) = -13*r**3 + 8*r**2 - 4*r - 2. Let w(k) = 4*k - 23. Let h be w(-5). Let x = -47 - h. Is b(x) prime?
False
Let f(j) = 1682*j + 205. Let k be f(14). Let w = -16480 + k. Is w prime?
False
Is -343641*(-3 + (-14)/(-63)*12) a composite number?
False
Let m = -15997 - -22944. Is m composite?
False
Suppose 11*n + 220355 - 659538 = 3365728. Is n a prime number?
False
Let g(c) = -23*c**2 - 1 + 15*c**2 + 20*c**2 - 6*c + 38*c**2. Suppose -n + 2*p = 2 - 8, -5*n - 3*p - 22 = 0. Is g(n) composite?
False
Let m(p) = -24*p**2 - 13*p + 12 - 7*p**2 + 20*p**2 + 3*p**3. Is m(17) a prime number?
True
Let o = -86 + 84. Let f(n) = -293*n + 49. Is f(o) a composite number?
True
Suppose a + 16 = 5*a, 5*j - 28086 = -4*a. Let i = -3831 + j. Is i composite?
False
Let c = -16 + 19. Suppose -q - 5*b = -17, 0 = c*q + 5*b - 24 + 3. Suppose q*u = -2*a + 348, -u - 3*u - 728 = -4*a. Is a composite?
True
Let d = 148982 + -43731. Is d a composite number?
False
Let r = -29169 + 60346. Is r composite?
False
Let q be 1 - -3 - (-2 + 11). Let y(p) = -49*p**2 - 11*p + 27. Let o(z) = -24*z**2 - 6*z + 14. Let a(u) = 5*o(u) - 3*y(u). Is a(q) a composite number?
True
Let g = 110 + -105. Suppose g*h - 5*d - 3065 - 5345 = 0, -3*d - 1684 = -h. Is h a composite number?
True
Let k(x) = 15*x**2 - 14*x + 33. Is k(-40) composite?
False
Suppose -42*m - 5635235 - 7481064 = -161*m. Is m a composite number?
False
Suppose -5*l = -2*k + 4, -k + 39 = 4*l + 11. Suppose 3*z = -5*q, -3*z = -5*q + q - 27. Is 29248/k + z/(-15) composite?
False
Let u = 3858 + -2134. Suppose 1727 = h - 4*t, h - 4*t = t + u. Is h a composite number?
True
Let t = -2388747 - -4247554. Is t a prime number?
True
Let r = -379523 - -901240. Is r a prime number?
False
Suppose 0 = -k + 5, o + 0*k = 2*k - 60. Is 25/(o/12) + 8291 prime?
False
Suppose -1785241 = -14*r + 12940113. Is r prime?
True
Let j(n) = 7*n**2 + 2*n + 8939. Let w = -205 - -205. Is j(w) composite?
True
Let m = 20197 - 5821. Suppose m = 22*j - 161910. Is j a prime number?
False
Let m(s) = 47*s + 31*s**2 + 0 - 5 - 10*s**3 - 8 + 9*s**3. Is m(32) a composite number?
False
Suppose -4*x - c = -6048, -5*c + 92 = -3*x + 4605. Is x composite?
False
Suppose 7*f - 4*b - 122 = 6*f, 4*b = -3*f + 286. Suppose 0*g + f = 2*g. Is g composite?
True
Suppose 170280 = -6*p + 11*p - 5*s, 3*s + 136229 = 4*p. Is p prime?
True
Let q = -14 - -18. Let d be q/(-12)*3*-8. Is (-3)/12 - (-2410)/d prime?
False
Suppose -16*d - 102729 = -292537. Is d composite?
False
Let v = 2069 - 662. Suppose -12*l + 12147 = v. Is l a prime number?
False
Suppose 23*d = -23*d + 966. Is ((-7874)/6)/((-7)/d) composite?
True
Is -3573*(1 + 2076/(-27)) a prime number?
False
Let u(k) be the first derivative of k**4/4 + 2*k**3/3 + 7*k**2/2 + 17*k - 2. Suppose -24*h - 2*h + 234 = 0. Is u(h) prime?
True
Suppose 0 = 3*y - 2*y - 5*r - 172, -2*y + 279 = 3*r. Let l = y + -145. Suppose -s + 3*s - 106 = -5*z, -120 = -2*s + l*z. Is s a prime number?
False
Let u(q) be the second derivative of -q**3/6 - q**2/2 + 7*q. Let z be u(2). Is 213 - (-3 - -2 - z) prime?
True
Let b be (171/6)/((-15)/(-40)). Let w = b - 135. Is (-6)/3 - w - 1*-1 a composite number?
True
Suppose -5*c + 12*t = 7*