7980 = -3*y + y. Let n = u + y. Is n composite?
True
Let y(j) = 894*j**2 + 14*j + 81. Is y(-5) a prime number?
False
Let a be 1173/69 - (8 - 1). Is (-12)/a - (-21)/5 composite?
False
Let t = 443783 + 240368. Is t a prime number?
False
Let d(p) = 511*p**2 - 216*p + 22. Is d(-11) a composite number?
True
Let p = 79089 + -51368. Suppose -5*g - 46185 = -5*d, 0*g = 3*d - g - p. Is d a composite number?
True
Let c = -113 - -110. Let d be (-54)/15*(-1)/c*5. Let g(u) = -9*u**3 - 12*u**2 - 2*u + 7. Is g(d) composite?
False
Let q(c) = -c**3 - 12*c**2 + 177*c - 53. Is q(-37) composite?
True
Suppose -6*o = -16*o - 320. Let p(g) = -g**3 - 22*g**2 + 118*g + 27. Is p(o) a prime number?
True
Suppose 3*n - 8*r - 73976 = -3*r, -123330 = -5*n + r. Is n prime?
False
Suppose 147*l + 4*l = 15210683. Is l a prime number?
True
Suppose v + 3*i - 362334 = 66248, 5*v + 4*i - 2142833 = 0. Is v prime?
False
Let q(h) = h**3 + 7*h**2 - 3*h + 2. Let k be q(-6). Is (-1)/(7/2) + 321288/k a prime number?
True
Let j = 6559 - 2589. Is j + (-4)/(-12)*(2 - -7) composite?
True
Let a be (0 + (-3)/1)/(-1). Let m(c) = c - 7. Let r be m(a). Is r/(-8) - 5754/(-4) a composite number?
False
Let s(c) = 3*c**2 - 119*c + 75. Let g be s(39). Is (-27928)/g - 2*25/(-30) composite?
False
Suppose 0*b + 303 = 4*z - 5*b, b = -4*z + 285. Is 6/(z/60470) - 2/12 composite?
False
Let n = -44 - -26. Let b(i) = i + 58. Let g be b(n). Is ((-762)/20*4)/((-16)/g) prime?
False
Suppose -109*b + 19*b + 48680010 = 0. Is b a prime number?
False
Suppose 13*r = 6054746 + 4043028 - 73123. Is r prime?
False
Let f be 2/6*(3 - 3). Suppose 0 = 2*j + 3*a - 149 - 11, -j - 2*a + 79 = f. Is j prime?
True
Suppose -32*p - 10484 = -36*p. Suppose -2*n - p = -h, -h - 2*n + 5*n = -2618. Is h a composite number?
True
Suppose -3*n - 793 = 11*i - 16*i, 3*i = -5*n + 503. Suppose i*s - 172*s = -502777. Is s a composite number?
False
Let a(p) = -133060*p**3 - 167*p**2 - 326*p + 3. Is a(-2) prime?
True
Suppose -90*w + 49796693 + 22506654 = -17640763. Is w composite?
True
Let j be ((-82)/10 + 1)/((-54)/180). Suppose -177615 = 15*o - j*o. Is o composite?
True
Let u(m) = 15*m**2 + 246*m + 235. Is u(-40) composite?
True
Is ((-12)/(-126))/1 - 108085/(-21) a composite number?
False
Let z be -17 + 30 + 1 + 0. Suppose -z*n = -16*n - 10. Let o(h) = -9*h**3 - 4*h**2 + 8*h - 8. Is o(n) a composite number?
False
Suppose 14*r + 46*r = 34463024 - 7552484. Is r prime?
False
Suppose 11*d - 25813 = 1786. Let t = d + -1730. Is t a composite number?
True
Suppose -14*i + 63995 = 4243. Let a be -701*((1 - -1) + -5). Let x = i - a. Is x a prime number?
False
Suppose 468*j - 536*j + 462740 = 0. Is j prime?
False
Let i = 44 + -40. Let g(j) = j - 4. Let a be g(i). Suppose a = -0*r - 2*r - 5*u + 518, -5*u - 558 = -2*r. Is r composite?
False
Let s(l) = -l**2 - 10*l + 24. Let w be s(-12). Suppose w = 18*t - 3941 - 11629. Is t composite?
True
Let m(g) = 129*g - 94. Let h be (-27)/(-4) - 23/(-92). Is m(h) a prime number?
True
Let t = 1526997 + -985832. Is t prime?
False
Let d = 38146 - 25407. Is d composite?
False
Let q be (-3006)/60 + (-3)/(-30). Is (-10)/(q/(-35)) + 1944 composite?
True
Let d(u) = 2203*u**2 + 2*u - 25. Is d(6) composite?
True
Suppose 37397 + 5875 = -9*u. Let z = u + 7835. Is z a composite number?
True
Let c be 16881 + 15 + 3 + -10. Suppose -4*g + 26593 = -x + 4089, -2*x + c = 3*g. Is g composite?
True
Let a(w) = 27*w**3 - 25*w**2 - 39*w + 24. Is a(7) a composite number?
True
Let t(g) = 2*g - 6. Let m be t(4). Suppose 3*p = 4*s - 23, -m*s + 2*p = 5*p - 7. Suppose -4*q = -3*f - 9*q + 235, 0 = -s*f - 2*q + 417. Is f a composite number?
True
Let c = -32177 - -61278. Is c a composite number?
False
Let y = -398544 - -1522895. Is y prime?
True
Let g = 105 + -139. Is (g/3)/((-76)/6042) a prime number?
False
Suppose 2*m - m + 5*j + 432 = 0, -2*m + 3*j - 929 = 0. Let s be (-6)/(-57) - (-20224)/(-76). Let l = s - m. Is l composite?
False
Suppose g = 2, 2*g + g = o + 1. Let f(k) = 798*k - 29. Is f(o) composite?
True
Suppose -15032 = 69*t - 70*t. Suppose 0 = -5*d + 21933 + t. Is d composite?
False
Let m = 81 + -78. Suppose -5*w + m*d + 1905 = 6*d, 2*d = -5*w + 1900. Let t = w + 41. Is t prime?
True
Let m(d) = -134*d**2 - 5*d - 1. Let i be m(5). Let k(n) = -n**3 - 24*n**2 + n + 30. Let f be k(-24). Is (i/24)/(f/(-9)) a composite number?
False
Suppose 0 = 36*t - 30357516 - 11931680 + 10731344. Is t prime?
True
Let t = 231 + -229. Suppose -t*o + 2*p = -2228, 6*o - o - 5561 = 2*p. Is o prime?
False
Suppose -o - 4*z + 66096 = 0, -4*o - 36*z = -31*z - 264340. Suppose -2*p = 2*p + 4, 4*p + o = 4*r. Is r a composite number?
False
Suppose -5*u = 4*r - 45, -5*r + 60 = -u + 6*u. Let p be (r*4)/(2/7). Suppose m = 331 + p. Is m a composite number?
False
Let y = -184 + 185. Let l(h) = 1910*h**2 + 3*h - 4. Is l(y) prime?
False
Let a be (-223)/(-9) + 42/189. Suppose a*r = 28*r - 17211. Is r a composite number?
False
Suppose 3*a = -4*h + 406417 + 140830, 0 = -h - 1. Is a prime?
True
Suppose 0 = 5*u - 38 - 72. Suppose -3*b - 4796 = -14*b. Suppose 0 = -u*v + 20*v + b. Is v prime?
False
Let f(q) be the third derivative of q**5/12 + q**4/24 + 47*q**3/6 + 5*q**2 - q. Is f(-21) a prime number?
False
Let o = -12663 + 75980. Is o a composite number?
False
Let f(j) = 8*j + 1599. Is f(28) a prime number?
True
Suppose 2*n - 10 = -4. Suppose 0*p - 3*f = -3*p + 12, f - 4 = -n*p. Suppose 3*v - p*v - 35 = 0. Is v a prime number?
False
Suppose 0 = 4*h - 2*x - 76, 1 = -3*x + 13. Suppose h*w = 8*w. Suppose 2*t - 758 = -w*t. Is t a composite number?
False
Suppose -c = 4*p + 302, 0 = -2*c - 0*c - p - 576. Let y = 186 + c. Let g = -41 - y. Is g prime?
True
Let a(f) = 83*f - 4. Suppose -3*q = 2*n - 121, 4*n = -4*q + 249 - 81. Is a(q) a composite number?
False
Let y be ((-1)/(-2))/((-3)/(-12)*1). Suppose -l = y*l - 7689. Is l composite?
True
Let d(f) = 58738*f + 913. Is d(27) prime?
False
Let u(y) = 21401*y**2 + 11*y + 13. Is u(2) prime?
True
Suppose 13 = -5*d + 3*u, 2*u = 1 + 1. Let m(i) = 5*i**3 + i**2 - 3*i - 2. Let k be m(d). Let t = 739 + k. Is t a prime number?
False
Let j(g) = -8*g**2 - 15*g + 3. Let c(a) = -9*a**2 - 16*a + 2. Let r(i) = 3*c(i) - 4*j(i). Let d = -14 - -3. Is r(d) prime?
True
Is (-4737455)/596*(-12)/5 composite?
True
Is (0 - -2) + -5 - (-10)/(-3)*-13344 composite?
True
Is 167593/3*(-2)/((-18)/27) a composite number?
False
Let r(g) = -10983*g - 440. Is r(-19) a prime number?
False
Let r(a) = -a + 1. Let z(j) = -15*j + 12. Let c(n) = 5*r(n) - z(n). Let d be c(2). Suppose -l + 1130 - d = 0. Is l a composite number?
False
Let b = -108984 + 213831. Is b prime?
False
Suppose 13*o - 1038186 = 656525 + 1156488. Is o a prime number?
False
Let l = 88 - 84. Suppose -4*z + 5*v + 12887 = 0, 2*z + 0*v - 6450 = -l*v. Is z prime?
False
Let p = 250 - 149. Let f = 105 - p. Is 388 - f/(-8)*2 composite?
False
Let b be 1/12*42*(-1)/(-7)*-246. Suppose 7*r = 4*r + 1002. Let n = r + b. Is n composite?
False
Suppose 134*b - 100070085 + 8800943 = 0. Is b a composite number?
False
Suppose 4*m - 13*m + 4140 = 0. Let y = m + -337. Is y composite?
True
Suppose 110*y - 113*y + 1329543 = 0. Is y prime?
False
Suppose -9*r + 983 = -115. Let l = r + -117. Suppose 3*f - 1511 = l*c, 0 = -3*f + 3*c + 2184 - 675. Is f composite?
True
Let y(m) = 1. Let x(b) = 1211*b - 2. Let n(a) = a**2 - 3*a - 5. Let r be n(4). Let c(d) = r*x(d) - 6*y(d). Is c(-1) a composite number?
True
Suppose -4*w + 55579 = -5*c, w + 3*c = 12105 + 1777. Is w a composite number?
True
Let z(y) be the first derivative of -200*y**4 - y**3/3 + 7*y**2/2 + 6*y + 36. Let v be z(-2). Is (v/6)/((-8)/(-12)) a prime number?
True
Let j(o) = 245*o**3 - 27*o**2 + 53*o - 6. Is j(7) a prime number?
True
Suppose -4*f + 3*q = -4621, 3*f = -0*f - q + 3469. Suppose 3*k - 4*w - 1784 = -50, -f = -2*k + 4*w. Suppose -k = 5*j - 7*j. Is j prime?
False
Let w = 239 + -160. Let z = w - 69. Let v(l) = 7*l**2 + 4*l - 7. Is v(z) a composite number?
False
Let x(t) be the third derivative of -217*t**4/8 - 143*t**3/6 - 166*t**2. Is x(-20) a prime number?
False
Let q(w) = -2*w - 3. Let i be q(-4). Let n be (-461787)/(-81) + 54/(-729). Suppose 4*l = -i*o + n, l - 207 = 2*o - 2477. Is o composite?
True
Let g(f) = -9*f - 53*f + 37 + 13 - 44*f. Let a be g(-16). Suppose 0 = i - 18