(-16)/(-2430656)) a composite number?
True
Let k(o) = -1376*o + 407. Is k(-9) a composite number?
False
Let k(t) = t - 70 + 17 - t**2 + t**3 + 502. Let i be (0/(-3 + 1))/2. Is k(i) composite?
False
Let t(c) = -6*c + 0*c**3 + 4*c**2 + 3*c**2 - 2*c**2 + c**3. Let h be t(-6). Suppose 0 = -4*y + 5*u + 2579, -2*y + h*y + 1279 = u. Is y prime?
True
Let i = -44 + 52. Is 1/(-4) + 2890/i prime?
False
Let g(j) be the third derivative of -902*j**6/15 + j**5/20 + j**4/6 + j**3/3 - 18*j**2. Is g(-1) composite?
True
Let w(h) = 2*h**2 - h - 4. Let d(g) = 6*g - 10. Let s be d(5). Let n = 29 - s. Is w(n) a composite number?
False
Suppose -15 = 5*a - 60. Suppose 3*v + a*f = 4*f - 6, -3*v - f = -6. Suppose o = -v*o + 1972. Is o a composite number?
True
Let s = -877 - -1564. Is s a prime number?
False
Let b(p) be the third derivative of 2*p**4 - 19*p**3/6 + 4*p**2. Is b(9) prime?
False
Let g = -19045 + 44432. Is g a prime number?
False
Let o = -324 + 403. Is o composite?
False
Let o = 2587 - -1514. Is o composite?
True
Suppose 670*d - 659*d = 262427. Is d a prime number?
True
Let x be -201*85/(-30) + (-2)/(-4). Let l = 1199 - x. Is l prime?
False
Suppose -5*p - 55 = -3*w, -p = -5*p - 8. Suppose -s + w = 4*s. Is (s + 1)*316/16 prime?
True
Suppose -811675 = -19*i - 6*i. Is i composite?
False
Let a(r) = -3*r**3 - 2*r**2 - 8*r + 9. Let x be a(4). Let q = -36 - x. Is q a prime number?
True
Let a = -60 - -1142. Suppose 5*b - 15 = 0, 3*b - a = -2*y - b. Is y prime?
False
Suppose -25*t - 53855 = -30*t. Is t a prime number?
True
Let n = 10794 - 6617. Is n composite?
False
Is 4/(-12)*-2 - 17821/(-3) composite?
True
Let o(x) = 105*x - 1. Let a be o(-3). Let s be (-4)/(-8)*a/(-2). Suppose -s = -3*l - 13. Is l prime?
False
Suppose 0 = -2*b - k + 39, 3*k - 13 - 84 = -5*b. Let p be 200/(-14)*(-4 - (-6)/12). Is p/b*172/5 a prime number?
False
Let c(f) = 120*f - 19. Is c(9) prime?
True
Let g(r) = 3*r**3 + 4*r**2 - 7*r - 1. Let b be 4/1 - (2 + -3). Is g(b) a composite number?
False
Is -1*(-2 + -1 + -9388) a prime number?
True
Let q = 2156 - 1533. Suppose -q + 102 = -l. Is l prime?
True
Let n(q) = -702*q - 19. Is n(-1) prime?
True
Let y = -2601 + 5462. Is y a prime number?
True
Suppose 0 = 7*k - 2833 - 8766. Is k composite?
False
Let x = 22 - 17. Suppose -4*h = 5*g, 3*h + x*g = 2*h - 15. Suppose h*z - 805 = -5*q, -656 = -3*z + 4*q - 159. Is z a composite number?
False
Suppose 0 = -9*v + 10025 + 5212. Is v a composite number?
False
Suppose -140052 = -30*x + 2062458. Is x a prime number?
True
Suppose -333 = -3*f - 0*f. Let p = f - -146. Is p a prime number?
True
Is 50319/18*4/2 a composite number?
False
Let q(j) = 6*j**3 + 7*j**2 - 2*j + 6. Is q(7) a composite number?
False
Let w(b) be the third derivative of -11*b**6/120 + b**5/20 - b**4/24 - b**3/6 - 3*b**2. Let c be w(2). Let f = c - -146. Is f a prime number?
True
Suppose 3*c + 16 = -5*d, 9*c = -d + 4*c - 12. Is 4049/(0/d - -1) a composite number?
False
Let l(v) = -42*v + 1. Let c(i) = 85*i + 4. Let t(q) = -1. Let y(k) = -c(k) - 6*t(k). Let f(r) = -7*l(r) + 3*y(r). Is f(1) a prime number?
False
Suppose 23 = 6*d + 5. Is (1 - d)/(-4)*(999 - 1) a prime number?
True
Let s = -8 + 12. Let r be (-2)/(-8) + 5643/s. Suppose 3*g - 122 = r. Is g composite?
True
Let y = -1332 + 2960. Suppose 407 = p - 2*d + 3*d, 3*d + y = 4*p. Is p a prime number?
False
Suppose 5717298 = 111*t - 4943475. Is t prime?
True
Suppose 7668 = 6*n + 6*n. Let g = n - 98. Is g prime?
True
Suppose 0 = m - 1 - 2. Let d be 121 - m/6*-4. Suppose 5*v + d = 738. Is v a composite number?
True
Is (-1 - -3) + 125*45 a composite number?
True
Let i be (-650)/(-60) - (-1)/6. Suppose -i = 5*w + 4. Is (-5 - w)*66/(-4) prime?
False
Suppose 5*s - 8*s = 0. Suppose 4*v + v - 15 = s. Suppose 2*x - 39 = -x + 4*u, -v*x + 5*u = -39. Is x a prime number?
True
Suppose -145 = -4*j - j. Suppose -5 + j = 4*t. Suppose 10*r = t*r + 1196. Is r prime?
False
Let q(z) = 209*z + 15. Let h = 38 + -34. Is q(h) composite?
True
Let o = -6723 - -9556. Suppose 6*j - o = 3569. Is j a composite number?
True
Suppose i - 13 = -8. Suppose 1775 = 4*a + i*d, -4*a + 305 = -3*d - 1478. Is a prime?
False
Suppose -193*z = -191*z - 1172. Is z composite?
True
Suppose 58*g = 59*g - 2327. Is g a composite number?
True
Let b be 3 - ((-64884)/5 - 11/55). Let t = b - -1415. Is t a prime number?
False
Is (198820/(-92))/(-1) + 32/(-368) composite?
False
Let o = 53 + -42. Let y(a) = a**2 + a - 21. Is y(o) a composite number?
True
Let z(t) = 3587*t**2 - 16*t + 16. Is z(1) composite?
True
Let t(h) = -42*h + 2. Let v(c) = -21*c + 1. Let a(q) = 4*t(q) - 9*v(q). Let b be a(-3). Let i = b + 227. Is i a prime number?
True
Suppose 0 = 4*r + 2*r - 8400. Suppose r = z - 1243. Is z composite?
True
Let o(u) = -u**3 - 9*u**2 + 6*u - 10. Let n be o(-7). Let z = n - -215. Is z a prime number?
False
Let p = 30 - 25. Suppose -3 - 10 = -v - f, 53 = p*v - f. Suppose 282 = -v*g + 13*g. Is g composite?
True
Let o = -70 - -72. Suppose -o*g = -142 - 174. Is g a composite number?
True
Suppose 0 = -41*h + 146441 + 325920. Is h composite?
True
Let l(t) be the third derivative of -t**6/15 + t**3/6 - 2*t**2. Let c be l(1). Let x = c - -14. Is x prime?
True
Is (-4440)/((-42)/7) + 5 composite?
True
Let m be (12/9)/(10/15). Suppose -8*f + 19770 = -m*f. Is f a prime number?
False
Suppose 5*g + 63863 = 2*c, 3*c - 7*g - 95742 = -10*g. Is c composite?
True
Let l be 33234/(-66) + (-12)/(-22). Let r = -774 + 420. Let p = r - l. Is p composite?
False
Let k be (-99)/(-44) + 2/(-8). Let n be (-1 - 1)*(2 - 4). Suppose 0 = n*q - k*q - 118. Is q composite?
False
Suppose -t = -3*j - 6 - 3, 5*t - 5 = -5*j. Let d be j/4 + 90/20. Suppose -b = -d*f - 209 + 10, 0 = 3*f + 9. Is b composite?
True
Let q(y) = -5*y**3 + 10*y**2 + 19*y + 46. Is q(-11) composite?
True
Suppose -2*b - 5*y = -2, 0*y - 4 = 2*y. Suppose -4*t = -b*t + 322. Is t prime?
False
Let k(b) = -188*b - 39. Let w be k(-10). Suppose 0 = -4*i + 20, m + 6*i = 2*i + w. Is m composite?
True
Let t(j) = -23*j**3 - 4*j**2 + 5. Let r be 5/10 + 7/(-2). Let h be t(r). Let p = h - 403. Is p composite?
True
Suppose -4*f + 4784 = 3*m, 4*f + 3*m = 3*f + 1205. Is f prime?
True
Suppose 0 = -2*o + 4*v - 216, -4*v - v - 10 = 0. Let i = -361 - -550. Let u = o + i. Is u composite?
True
Is (-5337)/(-18) + 6/8*-2 a prime number?
False
Let g(x) = -7*x - 2. Let z be g(-2). Let o = -10 + z. Suppose -3*v - 577 = -o*n, 2*v = n - 2*n + 299. Is n composite?
False
Let h(r) = 548*r**2 + 21*r + 35. Is h(6) composite?
False
Suppose 11*g - 8*g = 15. Suppose -r + 32 = 5*t - 4*r, g*r - 40 = -5*t. Suppose 1432 = q + t*q. Is q prime?
True
Let g = -27 + 48. Let c = 21 - g. Suppose c = -3*r + 1162 + 95. Is r prime?
True
Let r(w) = w**3 + 6*w**2 - w - 6. Let l be r(-6). Suppose 8*f - f - 2233 = l. Is f prime?
False
Let a(y) = -3*y**3 - y**2 - 2*y - 2. Let o be a(-2). Let l = -18 + o. Suppose 5 = -z, -2*z + 20 = l*g - 126. Is g prime?
False
Let x(m) = -45272*m - 93. Is x(-2) a prime number?
False
Let o be 4/20*5 + 3. Suppose 4*d = o*g - 592, -728 = -8*g + 3*g + d. Is g a composite number?
True
Let i be (-43 + 41)*(1 + 1)/(-2). Let z = 5 - -4. Is (z/(-15))/(i/(-290)) prime?
False
Suppose 223*g = 226*g - 191847. Is g a composite number?
False
Let q = -66 + 30. Is (-8)/q - (-4867)/9 a composite number?
False
Suppose o = -2*x + 26, -o + 44 = 5*x - 18. Let n = x + -8. Suppose -4*i - s = -315, i + n*s - 75 = -0*i. Is i a prime number?
True
Suppose -3*u = -154 - 287. Let l = 448 - u. Is l composite?
True
Suppose -2*q = 4*p + 2*q + 4, -4*p - 5*q = 7. Suppose 1086 + 668 = p*g. Is g prime?
True
Suppose -35 = -39*l + 32*l. Let d = 3571 - 1541. Suppose 0 = l*y - 215 - d. Is y a composite number?
False
Let w(b) = 40*b. Let x = 9 - 8. Let i be w(x). Suppose i + 541 = j. Is j a prime number?
False
Suppose -2*v = -v + 25730. Let u be 9/12 + v/(-8). Suppose -m + 1698 = 5*z - 1511, u = 5*z + 3*m. Is z a composite number?
False
Suppose 4*t + t - 9200 = -u, -9185 = -5*t - 4*u. Is t composite?
True
Let b(j) = -727*j**3 - 7*j**2 + j + 4. Is b(-3) a composite number?
True
Suppose -4 = -9*g + 23. Is g/(-2)*(5091/(-9) - 3) composite?
False
Let k(o) = -o**3 - 4*o**2 + o - 4. Let n be k(-4). Let y be (6/(-12))/(2/n). Is ((-337)/(-2) + 2)*y a composite number?
True
Let w(h) = -2*