omposite?
False
Let n(c) = -c**2 - c + 1. Let g be n(1). Is (g - 1)*3573/(-18) prime?
True
Suppose -2*m - 87 = 15. Is -3 + 2/2 - m composite?
True
Suppose 2 = 2*k + 3*j, 0*k - j + 3 = 3*k. Let x(q) = 47*q**2 - q + 2. Let t be x(k). Is (-3)/(-24) + 42570/t composite?
False
Suppose -198752 + 42472 = -40*l. Is l prime?
True
Is -5 - (-17171 + (-7)/(-1)) a prime number?
True
Let i = 2 - 0. Let c = -6 + 8. Suppose k - c*s = 967, -i*s + 669 = 3*k - 2232. Is k a composite number?
False
Suppose 0 = -6*p - 3908 - 52. Let o = -241 - p. Is o a composite number?
False
Is (-3 + (-2677)/(-2))/(4/8) composite?
False
Let p = -8 - -29. Let c = 49 - p. Is ((-34)/4)/((-2)/c) composite?
True
Let u(z) = 65175*z**2 - 7*z + 9. Is u(1) a prime number?
False
Suppose -2*h = 6 + 2. Let p be -3 - (-5 + h/(-2)). Suppose -2*b - m = -p*m - 362, 378 = 2*b + 5*m. Is b a prime number?
True
Let c be (3 + (-10)/4)*4. Suppose c - 11 = -3*j. Suppose j*l - 145 = 2*l. Is l prime?
False
Suppose 3*i - 8 = 16. Let p(y) = 2*y**3 - 3*y**2 + 11*y - 3. Is p(i) composite?
True
Suppose -28 - 22 = -5*a. Suppose 3*l = a + 5. Suppose -l*j = 3*t - 159, -38 - 22 = -2*j - 3*t. Is j composite?
True
Suppose -13*k = -38240 - 16841. Suppose 7*w + 492 = k. Is w a prime number?
False
Let m = -414 + 296. Let f = -61 - m. Let j = f + 2. Is j a composite number?
False
Let b = 6 + -15. Let h(p) = -p**2 - 15*p - 15. Is h(b) a composite number?
True
Let q = 428 + -1002. Let h = 13 - q. Is h a prime number?
True
Is (-2)/(-2) + 5/((-35)/(-957012)) prime?
False
Suppose 0 = 2*o - 7*o + 15. Let g = 6 - o. Suppose -g*i + 404 = 23. Is i a composite number?
False
Suppose 4*f + 0*f + 2*q - 63054 = 0, -4*f - 5*q + 63069 = 0. Is f a prime number?
True
Suppose 0 = 4*b - 2*o - 45638, 2*b + 3*b = -4*o + 57067. Is b a composite number?
False
Suppose 2*x - 3*l + 1052 = 0, -4*x + 0*l = -l + 2104. Let k = -303 - x. Is k a composite number?
False
Let p = -6 - -4. Let w = 6 + p. Is ((-174)/w)/((-4)/8) composite?
True
Let s = 232 - 142. Let k = s - 13. Is k a composite number?
True
Suppose -27*n + 130862 = -1497697. Is n a composite number?
False
Let a(y) = -3*y**3 - 13*y**2 + 6*y + 37. Is a(-9) a composite number?
False
Let r be 3 - 1 - (-2 - -2). Let d be 9*555/3 - r. Suppose 0*x - d = -3*k - x, 2*x - 1114 = -2*k. Is k a prime number?
False
Let f be (9/3 - 2)*-4070. Let q = f - -9095. Is (-2)/(-8) - q/(-12) a prime number?
True
Let u be ((-2)/(-3))/((-10)/(-45)). Suppose -2*s - 1270 = -5*c, -3*s - 1270 = -2*c - u*c. Is c composite?
True
Suppose 6*u - 52 = -22. Let g be (-2)/9 - 3658/(-18). Suppose -6*r + 2*r = v - g, 0 = 5*v - u*r - 1140. Is v composite?
False
Let p be (24/(-20))/((-18)/7170). Suppose -2910 = -3*x + 3*v, 4*x - 3*v + p = 4359. Is x prime?
True
Let x = 17665 - 9848. Is x a prime number?
True
Suppose 0 = -3*k + 5*i - 4*i + 40, -3*k + 3*i + 42 = 0. Let o(a) = a**2 - 3*a + 15. Is o(k) a prime number?
False
Suppose 3*d = 5*d - 16. Suppose 4*c = 2*c + d. Suppose 426 = c*q - 26. Is q a composite number?
False
Suppose 5*s - s = 35756. Is s composite?
True
Is (62405/25)/((-8)/(-40)) a prime number?
False
Let w = 24 - 22. Let p be ((-19)/w)/(3/(-150)). Suppose -5*j + 580 = -p. Is j prime?
True
Let d(w) = -w**3 + 25*w**2 - 4*w + 13. Is d(21) composite?
False
Let a be 1 + (0 - 4) + 66. Let o be 156/(-3)*a/(-28). Suppose 0 = -3*j - o + 1248. Is j a prime number?
False
Let r be 0*(-3)/12 + 739. Let u = r - 260. Is u prime?
True
Let o(z) = -z**3 + 3*z**2 + 6. Let l be o(3). Is (-1 - (-5289)/l)*(-8)/(-12) a prime number?
True
Suppose 11*m = 28615 + 12756. Is m a composite number?
False
Let t be ((-18)/(-12))/((-3)/(-464)). Let p be (-2)/(-13) + t/13. Is 608/p + 6/27 a prime number?
False
Let t(z) = 129*z - 2. Let j(y) = y**2 + 2*y - 16. Let k be j(-7). Suppose k = 3*a - 4*d, 2 + 3 = a - d. Is t(a) a composite number?
False
Let a be 6/(1 + -3) - 0. Let h be -2 - (-3)/((-9)/a). Is (456/(-3) + 3)*h composite?
False
Let i = 51 - 15. Let p = 51 - i. Suppose 0 = -p*j + 10*j + 2065. Is j a composite number?
True
Let g be 22/(-4) + (-51)/(-34). Let m be g - 548 - 0/1. Let t = 1051 + m. Is t a composite number?
False
Suppose -o + 17 = 2*o + 2*p, 24 = 4*o + 3*p. Suppose -6*k = -o*k - 1371. Is k a prime number?
True
Suppose 57*p - 48*p = 279999. Is p a prime number?
False
Suppose 0 = -w - 5*s - 2, -3*w - 18 = -4*w + 5*s. Suppose w*d - 2271 = 5*d. Suppose 0 = -4*k + 439 + d. Is k prime?
False
Suppose -4*b + 370 + 632 = 2*y, -4*y + 4*b = -2064. Let n = y + -248. Is n composite?
False
Let a = 1607 - -983. Suppose -2*w + a = 740. Suppose 0 = -3*r - 316 + w. Is r a prime number?
False
Let d be (-84 - (0 + 1))*-1. Let l be ((-1026)/133)/(1/(-7)). Let g = d - l. Is g a prime number?
True
Suppose -7*w = -6*w + 2. Let x be -6*(9/w - -4). Suppose -3*y = x*z - 2*z - 376, -4*z + 107 = y. Is y a composite number?
False
Suppose -1081 = -8*m - 161. Is m a prime number?
False
Suppose u = -1, -3*r = -0*r + 4*u - 17. Is r/((-63)/(-1824)) - 1/(-3) composite?
True
Suppose -8775 = -4*y - 5*v, -3202 - 5582 = -4*y + 4*v. Is y composite?
True
Suppose 12*l - 17*l - 4*n = -9411, -3*n = -4*l + 7535. Is l prime?
False
Suppose 3*m - 173 = 4*q + 394, -2*m + 3*q = -377. Suppose -s = -163 - m. Suppose -w = -s - 321. Is w a prime number?
True
Suppose 2*r = -6 - 18. Let u be (r/(-10))/(8/20). Suppose -u*i - 3*s = -s - 111, -3*s = 3*i - 111. Is i composite?
False
Let w(j) = 293*j**2 - 34*j + 24. Is w(7) prime?
True
Suppose -382710 = -4*d - 110962. Is d a composite number?
True
Let l = 16751 + 1682. Is l a composite number?
False
Let l(f) be the second derivative of f**4/4 + 7*f**3/6 - 7*f**2 + 6*f. Is l(3) prime?
False
Suppose 2*u + u - r = -61, u + 27 = 2*r. Let s = u - -284. Is s composite?
True
Suppose -214487 = -15*f + 2*f. Is f prime?
False
Let u(n) be the second derivative of -349*n**3/3 + 7*n**2/2 - 17*n. Is u(-3) composite?
True
Let q(s) = s**3 + 7*s**2 + 5*s - 3. Let t be q(-6). Suppose 5*d + 2 = -4*u, 2*d + 1 - 14 = t*u. Suppose -d*c - 2*p + 3*p = -325, 5*p = 5*c - 810. Is c prime?
True
Let h(o) = -945*o + 112. Is h(-39) composite?
True
Is 1706*(-1)/(-12)*6 composite?
False
Let k be 3 - -1 - (10 + -5). Is 11 - 8 - (-132 - k) a prime number?
False
Is -79113*-6*7/126 composite?
False
Is (-5 - 119/(-14))/(3/1662) a composite number?
True
Let x = -2269 + 3195. Is x composite?
True
Let c(y) = 81*y**2 - 3*y - y - 3*y - 4*y + 7. Is c(4) a prime number?
True
Let g be (2 - (3 + 2))*-6. Let x = 12 - g. Is (-80)/(-6) - x/9 a prime number?
False
Suppose 4*s - 8*r = -3*r + 23871, 2*r + 17905 = 3*s. Is s prime?
False
Let d(m) = -50*m**3 - m**2 - 2*m + 5. Let i be d(-3). Let s = i + -589. Is (-10)/(-45) + s/9 a composite number?
True
Let r(m) = m**2 - m - 1. Let n be r(3). Suppose -558 = -n*j + 1217. Is j a composite number?
True
Let s(k) = k**2 + 4*k + 12. Let n be s(-3). Is 265 - (-1 - n)/(-5) a prime number?
True
Let v = 66 - -394. Let k = v + -165. Is k composite?
True
Let r(o) = -243*o + 2. Let d(n) = -1215*n + 9. Let q(a) = -2*d(a) + 11*r(a). Is q(-3) prime?
True
Let j = -13 - -13. Suppose 5*f - 12*f + 889 = j. Is f prime?
True
Let h = -971 + 4000. Is h a composite number?
True
Let b be ((-12)/(-6))/(4/10). Let k(t) = 48*t**2 + 3*t + 3. Let w be k(b). Suppose 5*j = -j + w. Is j a composite number?
True
Suppose -k - 3*k = -2*f - 23806, -2*f = -k + 5953. Is k composite?
True
Suppose 3*y - 21 = -3*b, -2*b - y + 15 = -4. Suppose 3 + b = 3*k. Suppose z - k = -2. Is z a prime number?
True
Let a = 486 - 322. Let z(q) = q**3 - 11*q**2 + 11*q - 7. Let c be z(8). Let u = c + a. Is u a prime number?
True
Let p = 1131 - 176. Is p a prime number?
False
Let p = 50257 + -30030. Is p a prime number?
False
Let c(j) = -j - 5. Let g be c(-8). Is ((-1087)/(-4))/(g/12) a prime number?
True
Is ((-119)/(-85))/((-3)/(-6285)*1) prime?
False
Let n = -13 + 11. Is 43/(n/(-9 + 3)) prime?
False
Suppose -3*s = s + 12. Let y be s/6*512/(-2). Suppose 2*a - 123 = -o - 2*a, o - y = a. Is o prime?
True
Let o(f) = 8*f**3 + 2*f**2 + 2*f - 1. Let a be o(4). Suppose -5*d + 6*d = a. Is d a prime number?
False
Let s be (0 - 1)*(-39 - -1). Suppose -f = -s - 31. Is f a composite number?
True
Suppose 2*t - 4*u = -6*u + 4, t = -3*u + 12. Let g(x) = -219*x - 8. Is g(t) prime?
False
Suppose -3*j + 5162 + 8749 = 0. 