23. Let b be l(-8). Suppose 0 = -b*m + 190*m - 20185. Is m composite?
True
Let x = -440704 - -795897. Is x prime?
True
Suppose 0 = 3*k - 2*i - 291837, 23*k - 28*k = 5*i - 486420. Let n = k + -58336. Is n a prime number?
False
Suppose 130*k = 232*k - 116*k + 275338. Is k prime?
False
Let d be (-4 - -2)*(-7 - (4 - 5)). Suppose -6*h + 22014 = d*h. Is h prime?
True
Let k(c) = 4*c**2 - 15*c - 24. Let n = 21 + 22. Suppose 4*u - n = 5*o, 4*u + 8 = 3*u + 5*o. Is k(u) composite?
False
Let r(w) = -3*w + 24. Let t be r(6). Let z be 3 - 3/t*-4. Suppose 4*b = z*d - 1063, -2*d - 6*b + 2*b + 414 = 0. Is d prime?
True
Let w = 5 + -10. Let g = 5 + w. Suppose 3*c - 4*s - 1161 = g, -1567 = -4*c + 3*s - 4*s. Is c a composite number?
True
Suppose -14*f - 2*p + 193384 = -10*f, -96698 = -2*f - 2*p. Is f a prime number?
False
Let o be (-3)/(1/(10/6 + -2)). Is (405 + (-6 - -8))*o a composite number?
True
Suppose -53*t + 51*t + 6034 = -4*w, 10 = 2*t. Suppose o - 1 = 1. Is (-5)/(o/(w/3)) composite?
True
Let j = 28885 - 25136. Is j composite?
True
Suppose 2*u - 54173 = -2*l - 1131, 0 = -5*u + 3*l + 132581. Is u a prime number?
False
Let o(s) = -950*s + 82 - 93 - 1432*s. Is o(-1) a prime number?
True
Let j(g) = -2*g**2 + 9*g + 111158. Is j(0) prime?
False
Let y(k) = -109*k**3 + k**2 - 8*k + 7. Let g be y(-5). Suppose -5*p + 4*r + 98482 = 30084, -p - 5*r + g = 0. Is p composite?
True
Suppose 0 = 774*s - 747*s - 13512069. Is s a prime number?
False
Suppose -112 = -2*k + 580. Let t = 36 + 91. Let z = k - t. Is z a prime number?
False
Let y = -7 + 7. Let k be (-6 + 3)/(1 - y). Let p(i) = 9*i**2 + i + 5. Is p(k) composite?
False
Let y be ((-36)/(-1))/(-2)*2394/(-63). Let t = y - 451. Is t a prime number?
True
Let g(b) be the third derivative of 827*b**4/12 - 17*b**3/2 - 65*b**2. Is g(3) composite?
True
Let i = 215325 + -139472. Is i composite?
False
Suppose -88*w + 6 = -85*w. Suppose w*v - 13 = -3. Is (-1)/v - (-1)/(10/1492) a prime number?
True
Is (55/((-2805)/(-4161702)))/((-4)/(-14)) a prime number?
False
Is (64/114 - (-8)/(-12)) + (-51942756)/(-228) prime?
False
Let g(f) = -f**2 + 9. Let a be g(-3). Suppose -2*y - y + 1623 = a. Is y a prime number?
True
Let r = 4 - -1. Suppose 2*f + 15 = -r. Is (-56)/f*4/(-24)*-15 a prime number?
False
Let f = -84 + -3340. Let x = -375 - f. Is x a composite number?
False
Let j(w) = -15*w**3 + 4*w**2 - 3*w - 9. Let i be j(3). Let h be ((-14)/6)/((-5)/(-480)). Let t = h - i. Is t prime?
True
Let b(c) = 15 + 9 - 17*c - 8. Suppose -5*g - 77 = o, -3*o - 17 + 41 = -2*g. Is b(g) a prime number?
True
Suppose -4*i - 3 = -i - 4*y, 2*y = -2*i + 12. Let z be (446/i)/((-12)/99)*-2. Suppose v = -94 + z. Is v a composite number?
True
Suppose 3*x + 2*d = -21676, 14453 = 7*x - 9*x + d. Let r = x - -11495. Is r a composite number?
True
Suppose 884*c = 882*c + 126062. Is c a composite number?
False
Let x(v) be the first derivative of v**4/4 + 7*v**3 + 4*v**2 + 17*v - 6. Let q be x(-16). Suppose -k = -2*k + q. Is k a prime number?
False
Suppose -41*y + 30*y + 46510 + 60432 = 0. Is y a composite number?
True
Suppose 0 = 4*l - 2*u - 478268, -97532 = -5*l + u + 500309. Is l a prime number?
True
Is 748207/5 + (-21)/(-245)*7 + -1 prime?
False
Let o = 24199 - 12762. Is o prime?
True
Suppose -4*c + c - 2*m = 22, -3*c - 16 = -m. Let b be 2/(1 + -1 - c/12). Suppose -b*f = l + f - 386, -5*l + 1901 = -4*f. Is l a composite number?
True
Let g(p) be the second derivative of 13*p**6/180 + 11*p**5/120 - p**4/6 + 2*p**3/3 + 16*p. Let r(t) be the second derivative of g(t). Is r(-9) a prime number?
True
Suppose -2*o - 3*o = 10, 46 = 5*i - 3*o. Suppose 0 = 18*p - i*p - 1480. Let w = p + 1003. Is w prime?
True
Let v(c) = -c**2 - 3*c + 6. Let g be v(3). Let n = g - 27. Let s = n + 92. Is s composite?
False
Let q(y) = y**3 + 6*y**2 - 7*y + 5. Let r be q(-7). Suppose -3*n - 12 = 0, 0 = -s - n + r - 79. Let u = 989 + s. Is u composite?
False
Suppose -637*u - 2855175 = -712*u. Is u a prime number?
True
Let i(m) be the second derivative of 7*m**4/12 + m**3 - 10*m**2 + 15*m. Let b(a) = -a + 1. Let z(p) = 3*b(p) + i(p). Is z(-8) a composite number?
True
Let f(r) = -17*r - 19. Let c(k) = 53*k + 55. Let d(w) = 6*c(w) + 17*f(w). Let v be (-9)/(-6)*(-16)/(-3). Is d(v) a prime number?
True
Suppose -4*h - 4*u = 176, 2*h + 2*u = -3*h - 235. Is (-14)/h + 24268/(-7)*-2 a prime number?
False
Let c be (-51)/2*((2 - -4) + -8). Let b = c - 43. Is (1 - 21*b/(-36))*9 prime?
False
Let q = -1830 - -5506. Let y = 9195 - q. Is y a composite number?
False
Suppose 2*g = -16*g + 108. Is 13 - g - -9464 - 4 a prime number?
True
Let y be (-15)/((-300)/(-152))*-265. Suppose 0 = -d - 2*v + y, -3*v = -4*d + 6720 + 1358. Is d a composite number?
True
Let r be (-2)/((-6)/5) + 220/(-132). Suppose 2*p - 3 - 3 = 0. Suppose r = -p*n + 39 + 66. Is n composite?
True
Suppose -2*o - y + 165 = 3*o, 3*o - 5*y = 99. Let i(f) = -f**3 - 7*f**2 - 5*f - 8. Let w be i(-6). Let t = o - w. Is t a prime number?
True
Let w(r) = -41827*r - 477. Is w(-2) composite?
False
Let c = 4957 + -2288. Is c composite?
True
Suppose -488877 = 92*p - 11852441. Is p a prime number?
True
Suppose 0 = f + 5*v - 79, 5*v + 241 = -0*f + 4*f. Suppose 0 = -d - 3*d + f. Suppose -15*s + d*s = 887. Is s a composite number?
False
Let c = 67 + -65. Suppose -3*p = -z + 62, -7 = z - c*p - 71. Suppose 226 - z = w. Is w a prime number?
False
Let u(z) = z**3 - 24*z**2 - 16*z + 922. Is u(69) a composite number?
False
Suppose 7*q + 21*q = 0. Suppose -12*i - 23*i + 182945 = q. Is i a prime number?
True
Suppose 0 = 3*b - 4*y - 4103, -5*b = -2*b - 3*y - 4104. Suppose -3*a = -4*s - s + 4729, s - 945 = a. Let d = b - s. Is d a composite number?
True
Is 2084/8336 - (-3)/(-8)*190178/(-1) prime?
True
Let u be 1/(-5) - (-3 + 141617/(-35)). Suppose -36*i = -35*i - u. Is i composite?
False
Let c(s) = -743*s**3 + 13*s**2 + 108*s + 11. Is c(-7) a prime number?
True
Suppose 69*z - 850840 = 437183. Is z a prime number?
False
Let u(v) = -v**2 + v - 1. Let x(r) = -7*r**3 + 5*r**2 - 17*r + 16. Let o(t) = -3*u(t) + x(t). Is o(-12) a prime number?
False
Suppose 2*r - 11*r + 4986 = 0. Let w = r - 207. Is w composite?
False
Let h(m) = 2*m**2 + 4*m - 1. Let p be h(-3). Suppose -5*i - 4*r = -10123, 0 = p*i - 0*i - 2*r - 10141. Is i composite?
False
Suppose 2*p + 7*p = 18. Suppose 5*k + 3*u - 14 = 0, -k = p*k - 4*u - 20. Suppose 0*l - k*l - 4584 = -4*f, -2*f + l + 2297 = 0. Is f a prime number?
True
Is 1/(-10)*4 - 538257/(-5) composite?
True
Suppose 4*c - 4*n - 33412 = 0, -n + 23375 = 4*c - 10062. Suppose c = 35*k - 29*k. Is k a composite number?
True
Let a = 3 + 1. Suppose a*d - 2084 = 4*w, 3*d - w = -4*w + 1545. Let m = d + -211. Is m a composite number?
False
Let t be (-10587 - (12 + -11))/(2/1). Let y = t - -10333. Is y composite?
False
Let l(a) be the second derivative of a**4/12 - 6*a**3 - 69*a**2/2 - 121*a. Is l(-26) composite?
False
Is (229566/33)/((-74)/(-407)) prime?
True
Suppose -12*z + 1 = -13*z. Let h be -1 - (1 + z) - -638. Suppose 4*r - 4145 = -h. Is r prime?
True
Suppose -4*v + 18 = l - 2*l, -3*v = -6. Let i be l/3*78/65. Is 12077/39 - i/(-6) composite?
True
Is 656732/2*(105/14 + -7) prime?
True
Let t(a) = -25*a**2 - 9*a - 72. Let k be t(-29). Is k/6*90/(-60) composite?
False
Suppose 10*w = 39*w + 5*w - 80206. Is w prime?
False
Let f(i) = 177*i**2 + 179*i - 5167. Is f(48) composite?
False
Suppose 56 + 16 = -9*n. Let w(b) = -217*b + 107. Is w(n) composite?
True
Is (-1)/1 + 71840 - (-92)/23 composite?
False
Let b = 604 + -606. Is (-5*8/(-80))/(b/(-31676)) a composite number?
False
Let d(k) = 181784*k**3 + 2*k**2 - 5*k + 2. Is d(1) prime?
False
Let l(i) be the first derivative of i**4/4 + 6*i**3 + 19*i**2/2 - 5*i - 10. Is l(-11) a prime number?
False
Suppose 12*c = 38*c + 134914. Let s = c - -9096. Is s a prime number?
True
Let q be -1 + 1/1 + 1. Let i be -738*((-546)/28)/(-1). Is q/(i/(-3597) + -4) a composite number?
True
Let x = -55 - -60. Suppose x*h - 37 - 38 = 0. Is -3 + h/6 - 155/(-2) composite?
True
Is 29/(754/(-6020742))*(-2)/6 prime?
False
Let o = 10461 - 4774. Suppose -9*n = 2*n - o. Is n a composite number?
True
Let q(z) = 3*z**2 - 108*z - 548. Is q(-79) a composite number?
True
Suppose 7*u + 0 = 14. Suppose 6*p - 9*p - u*j + 20 = 0, -2*j = p - 12. Is p/(-10) - 23*1