e?
True
Let p(s) = 2191*s - 23. Is p(2) a composite number?
True
Let o be -6*4/(-12) + -1. Let t(s) = 53*s + 1 + 2 - o. Is t(1) composite?
True
Suppose -5*x + a + 162997 = 3*a, -x + 5*a + 32594 = 0. Is x prime?
False
Suppose -8*d + 12*d - 8 = 0, -18062 = -2*m + 2*d. Is m a prime number?
False
Let h(l) = 28*l**2 + 5*l + 4. Let b(c) = -2*c**3 + 3*c**2 - 1. Let j be b(2). Is h(j) composite?
True
Suppose q = -q - 10, -3*n - 287 = -5*q. Let p = -35 - n. Suppose p + 157 = 2*u. Is u a composite number?
False
Is (-1 - -19445)*(-3)/(-12) prime?
True
Suppose 556 = 3*k - 1043. Suppose 0 = -2*d + k + 425. Is d a composite number?
False
Let d(z) = 9*z**2 - 14*z - 2. Let v(i) = 35*i**2 - 56*i - 7. Let x(m) = 21*d(m) - 5*v(m). Is x(-14) composite?
True
Let u = 8659 - 2954. Suppose -8*v = -v - u. Is v prime?
False
Suppose -h + 5820 = 2*h. Suppose 4*z + h = 4960. Suppose 127 = -4*m + z. Is m prime?
True
Suppose 0 = 2*d - 4*k - 1064, -2*d + k + 1076 = -0*k. Suppose 0 = 5*n - d - 10435. Is n composite?
True
Let h = -2446 + 2229. Let x = 5 + -95. Let d = x - h. Is d a prime number?
True
Let k = 57 + -40. Let b = -13 + k. Suppose z + 169 = 2*n + 4*z, -254 = -3*n - b*z. Is n a composite number?
True
Let k = 14 + -9. Suppose -k*t = -2*t - 6. Suppose t*l - 145 = l. Is l a composite number?
True
Let k(z) be the third derivative of 1/120*z**6 + 0*z + 1/12*z**5 - 1/3*z**4 - z**2 + 1/2*z**3 + 0. Is k(-6) prime?
False
Let j(c) = -c**3 + 2*c. Let k be j(0). Suppose -1869 = -3*z - k*z. Is z a composite number?
True
Suppose 931 - 3635 = -4*j. Let p = j - -15. Is p composite?
False
Let s = -35 - -59. Let l = s - 21. Suppose -l*r - 12 = 0, -5*g - r = -g - 2288. Is g composite?
True
Suppose 0*t + t - 418 = 0. Let h = 46 - t. Let a = 623 + h. Is a prime?
True
Let a(h) = 2*h - 2. Let g be a(1). Suppose -4*u + 478 = z, -5*u - z + g*z + 597 = 0. Is u composite?
True
Let j(b) = -163*b**3 - b. Let r be j(-2). Let w = -817 + r. Is w composite?
True
Let x(h) = -h**2 + 4*h - 5. Let b be x(4). Let s(i) = -21*i**3 - 5*i**2 + 6*i + 3. Let a be s(b). Let c = -1752 + a. Is c prime?
False
Let q be (-60)/(-1 - 3) + -2. Let c = q - 10. Suppose -p - c*j = -5*j - 29, -16 = -4*j. Is p composite?
False
Suppose 74*s + 1733703 = 4753273. Is s a composite number?
True
Let v(o) = 3*o - 2*o - 2*o + 1 + 4*o. Let g be v(-8). Let b = g - -45. Is b composite?
True
Let c(m) = -161*m - 30. Is c(-11) composite?
False
Suppose 5*f + 40 = -5*v + 3*v, 0 = 3*v + 4*f + 46. Is 111*1 + (-20)/v a composite number?
False
Let f(s) = 2*s**2 - 15*s + 9. Let u be f(7). Is 0 - 1 - (-516)/u prime?
True
Suppose 0 = 4*y - 5592 - 7300. Is y a composite number?
True
Let k = -5 + 12. Suppose 2*c = k*c - 5575. Is c a composite number?
True
Suppose 3*u = -5*x + 1039, 4*u + 105 = x - 89. Let i = x + 87. Is i a composite number?
False
Let c(p) = 14429*p**2 - p + 3. Is c(1) prime?
True
Let o(u) = 30*u**2 - 24*u - 73. Is o(19) composite?
False
Let c = 1038 + -640. Let s = c - 91. Is s prime?
True
Let s = 279 + 162. Let t = 1249 - s. Suppose 5*u - t = 867. Is u composite?
True
Let g be 1 + -5 - (-1 - -3). Let l be ((-12)/(-8))/(g/(-8)). Suppose l*k = -k + 267. Is k composite?
False
Let n(q) = -51*q - 4. Let h be n(8). Suppose 0 = g + 13*x - 10*x + 286, -5*x - 1109 = 4*g. Let m = g - h. Is m prime?
False
Let h(s) be the second derivative of 0 + 1/2*s**3 + 19/6*s**4 + 5*s + 3/2*s**2. Is h(-2) a composite number?
False
Suppose 2*i - 36 = -18. Let v be 4/3*i/6. Suppose -5*k = -v*d - 263, -2*d + 1 = -1. Is k a prime number?
True
Suppose -2*c = -5*t + 9, 4*t - 3*c = -2 + 5. Suppose 0 = 2*s + 4*k - 1758, 4*s - t*k + 1757 = 6*s. Is s prime?
True
Let a = -18 - -30. Let d be a/15*50/4. Suppose -d*t + 15*t - 170 = 0. Is t a composite number?
True
Suppose -4*w = 2*t + 4, 3*t = -t - 4*w. Suppose -2810 = -t*x + 4*g, g = x + 5*g - 1381. Is x composite?
True
Suppose 0 = 60*i - 46*i - 242774. Is i a composite number?
False
Suppose 5*z = 10*z - 15. Suppose -z*j - 84 = -0*b - 3*b, 3*b = -j + 96. Is b prime?
True
Suppose 0 = 4*r - 686 - 27102. Is r a composite number?
False
Suppose -k = -5*h - 3402, -5*k - 2*h = -12001 - 5036. Is k prime?
True
Let z be (21/(-6))/((-2)/4). Suppose 2*h + 1085 = z*h. Is h composite?
True
Suppose -122*w + 265 = -117*w. Let x = 8 + -6. Suppose 0 = -x*z + 49 + w. Is z a composite number?
True
Let g(n) = 2*n + 12. Let k be g(-6). Suppose 3*z + 3*h - 24 = k, 4*h - 1 = 2*z + 7. Is 314/4 - (-2)/z a prime number?
True
Let i = -3 - -6. Suppose 0 = i*q - 51 - 54. Is q a prime number?
False
Suppose -46*k - 159355 = -419117. Is k a composite number?
False
Let l(q) = -q**2 - q + 4. Let w be 2 + -1 - 2/2. Let t be l(w). Suppose -632 = -t*d + x + x, -632 = -4*d - 4*x. Is d a composite number?
True
Suppose -5*j + 15799 = 3*o, -2*o = 2*j - j - 10528. Is o prime?
False
Let c(k) = k - 15. Let n be c(18). Is 1 + (n - 3) - -204 a composite number?
True
Let w = 15 - 20. Let q(l) = 7 - 1 - 5*l + 0 + 6. Is q(w) prime?
True
Let m(d) = d**2 + 11*d + 22. Let a be m(-5). Is (-1)/((a/1508)/2) composite?
True
Let u(j) = 2*j - 37. Is u(35) a composite number?
True
Suppose -l + 7 = d + d, -3*l = 5*d - 18. Suppose 0 = d*k - k - 556. Is k a composite number?
True
Let u = -95 - -39. Let c = 93 + u. Is c a composite number?
False
Suppose 27 = -2*h - 5*b, -b - 3 + 2 = 0. Suppose -5*s = 4*i - 34 - 23, -3*i - 4*s + 44 = 0. Let j = i - h. Is j prime?
True
Let b(y) = -y - 48*y**3 - 2*y + 1 + 5*y. Let k = 21 + -22. Is b(k) composite?
False
Let z = -28 - -75. Suppose 0 = -13*f + 14*f - z. Suppose -g + 102 = -f. Is g a prime number?
True
Let h be (-170)/(-8) + (-24)/(-32). Let f = 24 - h. Suppose -f*s + 83 = -415. Is s a prime number?
False
Suppose -5*a = m - 6959 - 8955, -2*m = -4*a - 31758. Is m composite?
False
Let h be -2 - (-3 - 20/(-4)). Let v be h/((-4)/(-228)*1). Let y = 479 + v. Is y a prime number?
True
Let j = -12149 - -17706. Is j composite?
False
Suppose 4*j - 2909 = 8595. Suppose 0 = 5*u - 4204 - j. Let d = -479 + u. Is d prime?
True
Let w(z) = 2*z**2 + 11*z + 8. Let r = 9 - 17. Let h be w(r). Suppose -l + 57 = 4*c, h = -3*l + 4*l - 5*c. Is l prime?
True
Let d(l) be the first derivative of l**3/3 + 7*l**2 + 29*l + 11. Is d(12) prime?
False
Let o = -65 - -67. Is ((o - -1) + 9750)/(6 + -3) a prime number?
True
Suppose -4*z - 2751 = 2*b + 1561, -4300 = 4*z + 5*b. Let g = z - -2161. Is g a prime number?
False
Suppose -2*a = -4*h + 6250, 0 = -4*h - 4*a + 1236 + 4996. Is h composite?
True
Let a(o) = o**2 + 3*o + 3. Let b be a(-4). Let y = 43 + 8. Let z = b + y. Is z prime?
False
Let c(z) = -z**2 + 12*z - 79. Let k be c(14). Let i = 1017 + -684. Let s = k + i. Is s a prime number?
False
Suppose -11*b + 24425 + 15714 = 0. Is b a prime number?
False
Suppose -990801 = -65*k + 2*k. Is k a prime number?
True
Let j = 32 + -30. Is (j/6)/(2/1842) composite?
False
Let i(u) = 3*u**2 + 2*u - 1. Let q be i(1). Is 1478 + q/4 - -4 prime?
True
Is 5934 + 2/((-1)/(15/(-6))) composite?
False
Suppose 0 = 11*n - 4373 - 2810. Is n composite?
False
Let v(z) be the third derivative of -5*z**5/12 - z**4/6 - 5*z**3/6 + 5*z**2. Let o be v(-4). Is 1*o/(-3)*3 a prime number?
True
Let z(k) be the third derivative of -k**5/60 + 769*k**3/6 + 10*k**2. Is z(0) prime?
True
Suppose 3*q - 15918 = q + 2*w, 5*q - 3*w - 39803 = 0. Is q prime?
True
Let h = 15 - -761. Let a = h + -233. Is a composite?
True
Let d(m) = -6*m**3 - 10*m**2 - 12*m - 1. Suppose -2*p + 0*n - 12 = -2*n, -n = 3*p + 18. Is d(p) composite?
True
Let k(h) = -22*h + 18 + 20 + 9. Is k(-23) composite?
True
Let r(s) = -s**2 - 10*s + 27. Let f be r(-12). Suppose 2*a - a = 3*c + 178, f*a + 5*c - 576 = 0. Is a a prime number?
False
Let r = -8730 - -27695. Suppose 20*n - r = 15*n. Is n a prime number?
True
Let k be 3/(-5) - (-230)/50. Suppose k*c - 997 = 799. Is c prime?
True
Let s(w) = -714*w - 211. Is s(-3) a composite number?
False
Let t be 8/36 - (-152)/(-36). Is (6295/10)/((-2)/t) composite?
False
Suppose -4*l - 11 - 5 = 0. Let a(u) = 4*u**2 + 2*u + 6. Is a(l) composite?
True
Suppose -n = -2*n + 2. Suppose -w + 5*q - 379 = -n*w, q = -5*w + 1799. Is w a composite number?
False
Let n(p) = 1834*p**2 - 2*p - 5. Let k be n(3). Is (k/(-10) + 0/(-3))*-2 composite?
False
Let k be (-6)/(-2)*5/3. Suppose -4*i + 1440 = 4*h, 4*i - k*i + 369 = 