+ 5*y(m). Let r be s(-25). Let t(x) = 19*x - 23. Is t(r) prime?
False
Let w(k) = -2754*k - 77. Suppose 0 = 3*c + 10*n - 5*n + 14, -8 = 4*c - 4*n. Is w(c) a prime number?
False
Suppose -28*c + 14580 = -19*c. Suppose -2385 = -4*y + 8699. Let k = y - c. Is k a prime number?
True
Suppose 68 - 8 = 20*q. Suppose -4*p + 437 = -3*p + 4*t, q*t = -5*p + 2185. Is p a composite number?
True
Suppose 4*z = -2*h + 1209600, z + h - 213509 = 88892. Is z composite?
False
Let j be 10/3*1*16737. Suppose -10*t = -8540 - j. Is t composite?
True
Suppose 3*k = -4*t + 2196, -5*t + 8*t = -3*k + 2199. Suppose 6*p - 5018 = k. Is p a prime number?
False
Is (-8 + 1208444/16)*4 prime?
False
Let r be ((-35)/(-10))/(2 + 22/(-12)). Is (-791)/(r/(-3))*7 a prime number?
False
Suppose 51*i - 449350 = 94553 + 364764. Is i prime?
False
Let m = 11095 + -17672. Let y = -2784 - m. Is y prime?
True
Let t(g) = g**3 - 13*g**2 + 38*g - 5. Let r be t(9). Suppose -r = -3*q - 5*h, -4*q + 14 = 5*h - 0*h. Is 4383/(-12)*(q + (-35)/15) a prime number?
True
Let i(h) be the third derivative of -7/12*h**4 + 0*h + 0 + 1/60*h**5 - 13*h**2 - 3/2*h**3. Is i(16) a composite number?
False
Suppose -2*r + 2*v + 404920 + 73082 = 0, r + v = 238993. Is r a composite number?
True
Suppose 57*z - 831242 - 363328 + 207501 = 0. Is z composite?
False
Let d = 51170 - 13959. Is d composite?
True
Let i be (33 - 0)*14/(-21). Let o be (472/5)/(i/(-55)). Suppose 4*r - 384 - o = 0. Is r a prime number?
False
Suppose 29*y = 190227 + 67496. Is y a composite number?
False
Let q = 16338 + -6119. Is q a composite number?
True
Suppose 0 = k - o - 14620, -o + 5*o = 20. Suppose -5*w + 4*n + k = -0*w, 4*w + 3*n = 11731. Is w prime?
False
Let p be 1*(13 - 8) + -10 + -1. Let c(x) = -15*x**3 + 7*x**2 + 5*x - 9. Is c(p) a prime number?
False
Let i(d) = 660*d**3 + 4*d**2 - 20*d + 6. Let a be i(7). Suppose 0 = -7*c - 6915 + a. Is c prime?
False
Let x be (1*124 + 1)*876276/505. Suppose 5*u - 5*j = x, 32021 = -4*u - 3*j + 205576. Is u a composite number?
True
Let r = 15020 - -6258. Suppose -r = -6*v + 14764. Is v a composite number?
False
Suppose 0 = -11*q - 21*q - 3*q + 1104635. Is q composite?
True
Suppose -16*c = -97952 - 70704. Is c a composite number?
True
Is (5 - -451563) + 407/37 composite?
False
Suppose 3*t - 37202 = -2*f, 0*t - 3*t = 3*f - 55806. Let k = f + -5015. Is k a composite number?
True
Let g = 916 - 913. Suppose -39*p + 41*p = -3*b + 214, -g*p - 3*b + 327 = 0. Is p prime?
True
Let k(f) = -1091*f**3 + 7*f**2 + 61*f - 8. Is k(-5) composite?
False
Suppose -94*h = -64*h - 7410. Let i = h - -100. Is i composite?
False
Suppose 28*r - 62294142 = -294*r + 230346220. Is r a prime number?
True
Let n(g) = -g**2 - 12*g - 4. Let b(o) = 2*o**2 + 24*o + 8. Let m(x) = -2*b(x) - 5*n(x). Let w be m(-14). Suppose 34*j = w*j + 254. Is j a prime number?
True
Let m be (-2026)/(-3) + 12/(-36). Suppose m + 2443 = -a. Is 8/28 - a/14 a composite number?
False
Let f(d) = -2*d + 1. Let n(j) = 232*j - 38. Let t(r) = -5*f(r) + n(r). Is t(7) prime?
False
Suppose 31*b = 16*b. Suppose -5*f + 11010 = 5*x, -5*x + x - f + 8805 = b. Is x composite?
True
Suppose p = -3*o + 6, 0 = -3*p + 2*o + 35 + 5. Suppose p*k + 0*k = 58332. Is k composite?
False
Suppose 7*l + 2*l - 81 = 0. Suppose 7*k - 30 = -l. Let z(q) = 49*q**3 - 4*q**2 + 3*q + 3. Is z(k) a composite number?
True
Let a(m) = 10*m**2 - 2*m - 7. Let f be (-48)/9*6/(-4). Suppose f = -4*j + 28. Is a(j) a composite number?
False
Is (-19 - 355788/16)/((-1)/4) a prime number?
False
Let b(i) be the first derivative of -3*i**4/2 + i**3 - i**2/2 + 9*i + 85. Is b(-10) a composite number?
True
Let c(k) = -9*k + 7. Let o(l) = -4*l + 3. Let y(m) = -6*c(m) + 14*o(m). Let d be y(-2). Suppose 2*t - x - x = 3786, 0 = -d*x - 16. Is t prime?
True
Suppose -19*i = -13 - 25. Suppose i*p + 35*y - 4722 = 30*y, -4*y = -3*p + 7083. Is p composite?
True
Let r(m) = 2008*m**2 + 13*m - 31. Let h be r(5). Let j = 90669 - h. Is j a prime number?
False
Let w(c) be the third derivative of 7*c**5/5 - 25*c**4/24 + 65*c**3/6 - c**2 - 5. Is w(3) a prime number?
False
Let f(g) = -559*g + 6. Let w be f(-3). Let j = -1190 + w. Is j a prime number?
False
Suppose 57*n - 45209570 = -13*n. Is n prime?
True
Suppose f = -2*j - 67, -5*j + 125 = 2*f - 4*f. Let k = f - -213. Let s = 401 - k. Is s a prime number?
False
Is (-3275 + 2)*(-2 + 300/(-18) + 1) a prime number?
False
Is (-2 - (-15)/6)/((-18948807)/(-1722618) - 11) composite?
False
Let u(q) = -4*q**3 + q**2 + 3*q + 2. Let d be u(-1). Suppose -d*z + 0*z = -4156. Let h = z + -286. Is h a prime number?
False
Suppose 30 = 2*m + 38. Let u be 764 - 9/(m - -7). Suppose u = 4*a - 1195. Is a prime?
False
Let b = -81 - -82. Is ((-2409)/2 - b)/(65/(-130)) a prime number?
True
Is ((-182203)/35)/(4/20*-1) a composite number?
False
Let w(i) = -11*i - 31. Let l be w(-21). Suppose l*z = 188*z + 51204. Is z a prime number?
False
Suppose 0 = -m + 23*m. Is (m - 0/(-7)) + 1822 a composite number?
True
Let i = -77 - -142. Let f = 65 - i. Suppose -x + 1079 + 464 = f. Is x composite?
False
Is ((-1 - 0) + 14)/((-23)/(-52831)) a composite number?
True
Suppose -3*d + 0*d - 2*j = -12, 5*d + 4*j - 22 = 0. Let n(t) = -8*t + 150*t**2 - 5*t + 6 + 134*t**d - 7. Is n(2) a prime number?
True
Let j = 5666 - 3659. Is (-30 + j)*1/3 a prime number?
True
Let u(m) be the first derivative of -25/2*m**2 - 17*m + 22 - 3*m**3 + 1/4*m**4. Is u(14) composite?
False
Let c(k) = 7*k**2 + 7*k - 15. Let t be c(9). Suppose -81 = -5*d - i + 509, -5*d + t = -4*i. Is d prime?
False
Let y(j) = -54*j**2 - 27*j + 28. Let b be y(-19). Is b/(-99) + 16/(-36) composite?
False
Suppose 0 = -5*b - 5*c + 968 + 24047, -3*b + 15014 = -2*c. Let v = b - 3125. Is v prime?
True
Let n(b) = -5*b**3 + 16*b**2 + 11*b + 29. Let r(w) = w**2 - 21*w + 27. Let o be r(19). Is n(o) a composite number?
True
Let b(v) = 24*v**2 - v - 16. Let m be b(-7). Suppose -2*h = -h - m. Let w = h + -754. Is w prime?
False
Let o(s) = s**2 - 9*s - 16. Let f be o(-2). Suppose -5*m - 5*u = 10, f = -3*m - 2*u + 3*u. Is m/12 + (-59891)/(-102) a composite number?
False
Let u = 538035 - 230682. Is u prime?
False
Suppose 3*f - 4*k - 10 - 8 = 0, 12 = 3*f - 2*k. Suppose 0 = 4*i - 3*w - 266, f*i - 4*w - 264 = -2*i. Suppose -i*t - 91 = -69*t. Is t a prime number?
False
Is 2/(-4)*11*-45226*(-3)/(-3) a composite number?
True
Let c = -184482 - -426037. Is c a prime number?
False
Let c(i) = 1364*i**2 - 142*i - 989. Is c(-7) prime?
True
Suppose -5*x + 57724 + 37434 = c, 4*c - 380557 = 5*x. Is c prime?
True
Let i(c) = c**3 + 18*c - 22*c + 5 + 11*c**2 - 3*c**3 + 3*c**3. Is i(-9) a composite number?
True
Let f(a) = -83*a - 36*a - 7 - 4 - 8. Is f(-4) a prime number?
True
Let d(g) = -29439*g + 5369. Is d(-6) a composite number?
True
Let w be (-2)/(-4)*(-12)/3. Let v be 4/6 - w/(-3). Suppose -2*y - 8 = v, -3*q - q = 2*y - 1988. Is q composite?
False
Is ((-5 - 3) + 1020/119)*(-1158577)/(-2) composite?
True
Suppose 8 = 4*x, -b = x + 4687 - 20957. Suppose -29*n = -n - b. Is n prime?
False
Let q(p) = p**2 + 2*p - 3. Let b be q(0). Is (b - (3 - 5))/(4/(-4292)) composite?
True
Is 260446*(-25)/150*-3 a composite number?
False
Is 0/(-5 + 2)*1 - -786881 a composite number?
False
Let v(i) = -i**3 + 6*i**2 - 7*i + 14. Let r be v(5). Suppose 5*b = 20036 + 949. Suppose r*u = 7*u - b. Is u composite?
False
Let v = 1889488 - 1316309. Is v a composite number?
False
Let u(m) = -2*m**3 + 68*m**2 - 8*m - 157. Is u(30) composite?
False
Let p = -1052 + 11451. Is p a prime number?
True
Suppose 45616 = 9*b - 58577. Suppose 11*p - b = -6*p. Is p a prime number?
False
Is (-2)/(((-936)/221)/9)*60212/1 composite?
True
Let s(i) = 142*i**2 - 22*i - 3. Is s(5) a composite number?
True
Suppose 2*j = k + 1905080, 5*j + k = 4546849 + 215858. Is j composite?
False
Let o(g) = -35*g**2 - 10*g - 6. Let i(l) = -106*l**2 - 31*l - 18. Suppose -k + 23 = 21. Let z(y) = k*i(y) - 7*o(y). Is z(-5) prime?
False
Let x = -21128 - -37399. Is x prime?
False
Suppose -13*b - 2856 = -14*b + 3173. Is b a prime number?
True
Let l(g) = 898*g**3 + 2*g**2 - 3*g + 2. Let d be 2/(-4) - ((-58)/4 - 0). Let c be 42/d*(4/(-6))/(-2). Is l(c) a composite number?
True
Suppose 17*o - 3*o - 44574 = 3766744. Is o prime?
False
Suppose -2*j + 2637 = -1179. Suppose j + 8522 = 14*v.