et p be 356/24 - (-1)/((-12)/(-2)). Let y be d(p). Is m(y) prime?
True
Let t(n) = -10*n + 414. Let b be t(41). Let c be ((-8)/5)/(1/(-5)). Is 249 + b/c*8 composite?
True
Let z(b) = b**3 - 6*b**2. Let p be z(5). Let i = 22 + p. Is i - 8*(-484)/8 a composite number?
True
Suppose i - 2*n + 28925 = -3*n, 3*n - 144617 = 5*i. Let q = i - -47763. Is q a prime number?
True
Suppose 4*q + 2*w - 6*w = 112096, 112101 = 4*q - 5*w. Is q a composite number?
False
Suppose 2*r = 638 + 1326. Let b = -461 + r. Is b composite?
False
Let a(k) = 36 + 1380*k - 1192*k + 23. Let s(m) = -189*m - 58. Let b(w) = -3*a(w) - 2*s(w). Is b(-6) prime?
False
Suppose 137*h - 3715140 - 2246132 = 5387397. Is h composite?
False
Suppose -2*g - 4*w - 4 = 0, -w - 4 = 2*g - 4*w. Let d be ((2 + -3)*-10)/(0 - g). Suppose -d*u + 2427 = -728. Is u a prime number?
True
Suppose 145*a - 150*a + 3160127 = 6*n, 2528125 = 4*a - 3*n. Is a composite?
False
Let m(b) = -1066*b + 3665. Is m(-78) composite?
False
Let s = -9 + 14. Let x be s/(-1)*(4274/(-5) - -1). Suppose -16*d + 13*d = -x. Is d a composite number?
False
Let q(a) = -2*a**2 - 15*a - 12. Let f be q(-6). Let c be (8/(-14))/(f/(-18627)). Is c/14 + 12/42 prime?
True
Suppose -2 = y + 4*b, -2*y + b = 2*y - 9. Suppose 3*c - 14974 = -5*z, -6*z + 11987 = -y*z + 5*c. Suppose 78 = -11*j + z. Is j prime?
False
Let k(i) = 816 - 2775*i - 719 + 590*i - 2380*i - 403. Is k(-5) composite?
True
Let q(y) = -187*y - 1. Let c be q(1). Let u = -377 + 804. Let s = u + c. Is s composite?
False
Let i(h) = h**2 - 35*h + 45. Let x be i(31). Let r = 963 - x. Is r a prime number?
False
Suppose -4*o + 18136 = -25360. Is -3 + o*(-1 + 3) prime?
False
Let b = -225 + 320. Let z = b - -1154. Is z prime?
True
Is (-2727892090)/140*4/(-22) composite?
False
Let d(i) = 391*i - 61. Let l be (-1 - (-13)/11) + 384/66. Is d(l) a prime number?
False
Let j(d) be the third derivative of 0*d + 1/6*d**4 - 1/20*d**5 - 1/120*d**6 - 10*d**2 + 0 - 13/6*d**3. Is j(-7) prime?
False
Let f be (1179/3)/(11/(-136719)). Is (-4 - (-360)/92) + f/(-207) prime?
False
Let i(v) = -v**2 - 5*v + 422. Let p = 114 - 114. Is i(p) composite?
True
Let k be (-32)/(-6) - (348/(-36) + 11). Suppose 2*w = -3*c + 43461, -9*c + 72437 = -k*c + 4*w. Is c a prime number?
False
Suppose -47 = 3*n - 44. Let u be 1/(-2)*(16 - 14)*1. Is 2923*(n - 2/u) + 4 composite?
False
Suppose -24 = -12*c + 4*c. Suppose -5039 = -c*b - 4*q, -3*b + 936 + 4105 = 2*q. Suppose 0 = 4*j - b + 261. Is j composite?
True
Is (2 + 1)/((-9)/21 + (-5046552)/(-11773230)) prime?
False
Suppose -i = -5*w + 130379, -69*w - 104320 = -73*w - 2*i. Is w composite?
True
Let r(z) = 237*z + 9. Let b(v) = -238*v - 10. Let u(m) = 2*b(m) + 3*r(m). Let a be u(3). Suppose 4*w + 4*f = a, w = 2*w - 2*f - 181. Is w a prime number?
True
Let a(r) = 2894*r**3 - 7*r**2 - 43*r + 121. Is a(2) composite?
False
Let y(z) = -2*z + 14. Let f be y(7). Let k(i) = -3*i + 42. Let m be k(f). Suppose -2*g + 4*g = r + m, 2*r = 8. Is g a composite number?
False
Let s be (-6)/48 + (649/(-8))/(-1). Let l be 10537/(-9) - 18/s. Let u = 2232 + l. Is u prime?
True
Suppose 0 = -4*u + 3*u - 3. Let m be 19*(-39)/(u - 0). Suppose x - 2088 = -m. Is x a prime number?
False
Let s(k) = -k - 3. Let t be s(-8). Suppose -373 - 2 = -t*z + 4*a, -5*a + 25 = 0. Let h = z + 184. Is h prime?
True
Let d = 27024 + -16930. Let w = 47030 - d. Suppose -3*a + c + w = 0, -5*a + 2*c + 61553 = -2*c. Is a a prime number?
False
Suppose 21 = -4*z + 5*x, 0 = z - 6*x + 3*x + 14. Let a(q) = 212 - 313*q**2 + 446*q**2 + q + 0*q + 572*q**2 - 215. Is a(z) composite?
True
Is 2/(-1*6*(-5)/272385) composite?
True
Let x(d) = -139*d + 42. Let v(s) = -419*s + 125. Let k(u) = 4*v(u) - 11*x(u). Is k(-9) composite?
False
Suppose -7904 = -4*p - 3*y, 2*y + y = 0. Let s be (p/16)/((-9)/6 - -1). Is s/(-26)*(0 + 2)*29 a composite number?
True
Let m(d) = -5*d**3 + 9*d + 5*d**3 - 3 + 14*d**2 + d**3. Let f be (18/30)/3 + (-102)/10. Is m(f) composite?
False
Let g = -135 - -21. Let z = g + 193. Suppose z = -6*l + 661. Is l composite?
False
Suppose -3*t = -2*g - 34, -17 = -5*t - 4*g + 3. Let w be 52*(230/t)/5. Is (-9 + 10)*(w + -1) prime?
False
Let j(y) = y**3 + 8*y**2 + 6*y - 7. Let d be j(-7). Suppose 5*p + 3910 = q + 2*q, d = 3*p - 3. Suppose q = -7*i + 5106. Is i a prime number?
False
Suppose -j + i = -5453, j + 4*i - 7241 = -1768. Suppose -6*q = j - 25515. Is q a prime number?
True
Let y = 480454 + -278437. Is y prime?
False
Suppose 5*a - 153 = -138. Suppose 2*x = -0*x + 2184. Suppose 465 = a*d - x. Is d a prime number?
False
Let k = -13590 + 30989. Is k a prime number?
False
Let h = 30 + -27. Is ((-3)/((-21561)/7186 + h))/2 composite?
False
Is 71673 + 7*(-110)/77 composite?
False
Suppose -340311 - 113710 = -3*j - 5*y, 756681 = 5*j - 2*y. Is j a composite number?
False
Suppose -9*m + 19 = -8. Suppose -233 - 1768 = -m*y. Is y prime?
False
Let s(k) = -4815*k - 557. Let t be s(6). Let d = 15698 - t. Is d prime?
False
Let i(v) = 39*v + 26. Let n(h) = -117*h - 75. Let x(j) = -11*i(j) - 4*n(j). Suppose 5*b = r + 38, r - 2*r = 3*b - 26. Is x(b) a composite number?
True
Is (-2)/(6/(-27)) - (-386252 - 168) a prime number?
True
Is (3617545/1240)/((-1)/(-8)) a composite number?
False
Let h = -65 + 37. Let q be 21/(-6)*24/h. Suppose -q*j + 841 - 208 = 0. Is j composite?
False
Let c = -6 + 8. Let u(h) = 5*h + 941 - h - h**c - 2*h. Is u(0) composite?
False
Suppose -2*r = -0*q - 5*q - 13, -2*q + 3*r = 14. Is 4/16*4*q*-23599 a composite number?
False
Let q(w) = -4*w + 107. Let v be q(29). Is (13461/((-6)/2))/(9/v) a composite number?
True
Let l(s) = s**3 - 18*s**2 - 15*s - 78. Let o be l(19). Let z(u) = -287*u**3 + 4*u**2 - 4*u - 13. Is z(o) a prime number?
False
Is (-1331)/6655 - (1/2 - 146897/10) prime?
False
Is 5660776/17 - 1848/(-10472) composite?
False
Let u(z) = -469*z + 4*z**3 - 3*z**3 + 4*z**3 - 4*z**3 - 16*z**2 + 412*z + 31. Is u(24) prime?
True
Let c(h) = h**2 - 7*h + 1. Let p be c(9). Let t(z) = 13 - 4 + 18 + 5*z. Is t(p) a composite number?
True
Suppose 0 = -4*t + 5*t - 6489. Suppose -13*o + t = 119. Suppose 2*b = -2*z + 988, 3*z = -2*b + 3*b - o. Is b prime?
False
Let z be 2/10 - 552/(-40). Suppose 9*c = z*c - 20. Suppose -5*r + 1259 + 835 = c*p, 5*r = 2*p - 1032. Is p a composite number?
False
Is (-640843 + -63)/(1 - 3) a composite number?
True
Let i be 4*5/10 - (-6 - -7). Is ((-5933)/i)/((7 - 2)/(-5)) composite?
True
Let y(j) = -2*j**3 + 14*j**2 + 5*j - 24. Let d be y(7). Is (-13)/(-286)*71526 - 2/d a prime number?
True
Let w = 124808 + -81921. Is w a composite number?
True
Let d = -19 + 15. Let q(k) = 185*k + 3. Let i be q(d). Is (1 + -4 - -2)*i composite?
True
Let x = -1181 - -25540. Is x prime?
True
Let o(w) = -w**3 + 6*w**2 - 3*w + 6. Let h be o(5). Suppose 5*k - h = k. Is -4 - (-4548)/k*3 prime?
True
Let k(s) = -368*s + 19. Let w be k(1). Let b = 550 + w. Is b a prime number?
False
Let q(z) = z**2 + 15*z. Let c be q(-15). Let l be (-18)/(-27) + c + 32/6. Suppose l*v - 3623 - 421 = 0. Is v a prime number?
False
Let c(t) = 69*t - 35*t + 16 + 76*t + 8*t. Let l be c(7). Suppose -5*i + 1583 = 2*p, -3*i + 5*p + l = -114. Is i prime?
True
Let y = 89139 + 383890. Is y a prime number?
False
Let h(u) = -u**2 - 6*u + 74. Let d be h(6). Is (-1 - 37245)*d/(-4) a composite number?
True
Let h be (4 + -2)/(-2 + 216/102). Suppose d = 3*j - h - 9, 5*j = 3*d + 50. Suppose -2*o - j*o + 4113 = 0. Is o composite?
False
Let r be (31072/10)/(10/25). Suppose -11*n - 2851 = -r. Suppose -2*s + n = s. Is s composite?
False
Let r(p) = 2*p**2 - 13*p - 5. Let i = 35 - 6. Let n = i + -21. Is r(n) a prime number?
True
Let c(j) = j**2 + 2*j - 1. Let q be c(1). Let z be (-3 + q - -8)/(28/2604). Suppose 0 = -3*b + 1794 - z. Is b prime?
False
Let r(y) = -234*y**3 + y**2 + 3*y + 1. Let x be r(-1). Suppose -3*t + 148 = -x. Let d = t + 984. Is d prime?
False
Let i = -25704 - -64789. Is i composite?
True
Let x(n) = -n**3 + 16*n**2 - n + 16. Let f be x(16). Let l = 15 - 12. Suppose 2*i - 7025 = -5*a + 7*i, f = 2*a - l*i - 2806. Is a composite?
False
Suppose 0 = 4*s + 4*l - 6472, 343 = 3*s - 4*l - 4546. Let y = s - -3544. Is y a prime number?
True
Suppose -541*w + 517*w = -150287880. Is w prime?
False
Suppose -5*f + 1 = -q, f - 4*q - q - 5 = 0. Suppose 5*s = 25, f = 2*j + 2*s - 