-y**5/20 + y**4/12 + 10427*y**3/6 - 15*y**2 - 10. Is x(0) composite?
False
Let v be (12/8)/((-3)/12). Let y be (-14)/21*1574/4*v. Suppose x = 3*j - 1034 - 150, -x = 4*j - y. Is j prime?
False
Is 68/((-6120)/(-2290005))*28/6 composite?
True
Let m be (3/(-6))/((31/8)/(-31)). Let a = 1537 - 312. Suppose 0 = -m*i + 3245 - a. Is i composite?
True
Let y be 4/(-10) - (-3745)/175. Suppose -y*x = -13029 - 15552. Is x prime?
True
Let u = -2131 - -4969. Let y = 4427 - u. Is y composite?
True
Let f = 183227 + -74364. Is f composite?
False
Let t be (-1144)/(-20) + 3/(-11 - 4). Suppose t*l = 54*l + 7461. Is l a prime number?
False
Let r(b) = -60*b**3 - 7*b**2 + 17*b - 37. Is r(-13) composite?
False
Let u be 7/4*(2996 - -16). Let x = u + -2438. Is x composite?
False
Let p = -957 - 3840. Suppose 3217 = 5*v - 4*k - 37279, -5*v + 5*k = -40500. Let h = p + v. Is h composite?
False
Let k = 54 - 74. Let p be (6*1)/((-6)/k). Suppose -4*u = -2*u - 5*i - 2363, -4*i = p. Is u a composite number?
True
Let b(s) be the first derivative of 3*s**4/4 - 5*s**3/3 - 8*s**2 - s - 90. Is b(12) a prime number?
True
Let i be (2/(-3))/(285204/28521 - 10). Let a = -1808 + i. Is a a prime number?
True
Suppose 24 = -12*x + 15*x. Suppose x*w + 3295 = 5*v + 3*w, -5*v + 3279 = 3*w. Let r = 1492 - v. Is r prime?
False
Let x be (-2 - (-15)/12) + (-6858)/8. Let b(y) = 245*y**3 + y**2 - 1. Let i be b(-1). Let f = i - x. Is f a composite number?
False
Suppose 4*g - s - 17 = 0, -4*s = 2*g - 3*s - 7. Suppose 0 = g*w - 3*b - 3200, -4*w - 3*b + 638 = -2538. Is w a composite number?
False
Let s be (-5 - -11)*4/((-24)/(-3759)). Suppose 0 = -g - v + s, 2*g - 7*g + 18811 = -3*v. Is g a prime number?
True
Let u(z) = 8*z - 5 - 3*z**2 - 1069*z**3 + 1068*z**3 + 2*z + 9*z**2. Suppose -13 = 5*x + 27. Is u(x) a prime number?
True
Let a = 1869971 + -743652. Is a composite?
False
Let k = -816 - 4599. Let h = k + 9010. Is h composite?
True
Suppose 22 = 4*h - 15*h. Is 33 + -6 - 3 - h prime?
False
Let s = 4 + 15. Let r be 2976/(-114) - (-2)/s. Is 4/r + (-13824)/(-117) a composite number?
True
Suppose 369*j = 5*i + 372*j - 1952491, 780990 = 2*i + 2*j. Is i composite?
False
Suppose 119*u - 47*u - 28945656 = 0. Is u a composite number?
False
Let p = -1473 - -2532. Let a be p/6*-22 + -4 + 3. Is a/8*(-2 + 0)*1 prime?
True
Suppose -h + 53041 = 3*v, -13*h + v + 212190 = -9*h. Is h prime?
True
Let y = -119 + 125. Suppose y*a - 1301 = 3553. Is a a composite number?
False
Suppose -8480847 = 29*v - 136*v + 7835155. Is v a prime number?
False
Suppose 133*i + 17396860 = 20953294 + 29933365. Is i a prime number?
False
Suppose -14*w = -262 + 52. Suppose -w*b - 821 = -4856. Is b prime?
True
Let s = 678 + -377. Suppose 0 = 5*x - 3*a + 225 + 651, 354 = -2*x + 3*a. Let p = s + x. Is p a prime number?
True
Is 1242440/35 - (-28)/(-4) - (-8)/(-28) prime?
True
Let u = 25 + -23. Suppose -i - y + 0*y + 3203 = 0, -5*y + 6406 = u*i. Is i composite?
False
Suppose 3*a - 42 = 3*w, -3*w - 32 = 73*a - 75*a. Suppose 24*o - 3682 = a*o. Is o a prime number?
True
Let o = -2858 + 5274. Suppose b + o = 4*s - 3*s, 5*b = 4*s - 9663. Is s a prime number?
True
Let s(v) = -v**3 + 8*v**2 + v - 13. Let r be s(-6). Suppose -46*l = -51*l + r. Is l a composite number?
False
Is 24548 + (-92)/(-368) + 10/(-8) prime?
True
Suppose 0 = k + 7, z - 3*k = 15496 + 176674. Is z a composite number?
False
Let m be (-1 - -6752) + (-2 - -1 - -2). Suppose 0 = -8*f + 5*f + 4*u + 10123, m = 2*f - u. Is f a composite number?
True
Suppose 115*l - 215*l = -110*l + 3788690. Is l composite?
False
Let g be -4*(-3)/(-2)*(-6)/(-18). Let f be (40/(-100))/(g/(-70)). Is (-6)/14 - 11500/f a composite number?
False
Suppose 0 = 5*m - 481 + 476. Is 4*m*(-11784)/(-96) prime?
True
Let z(r) = 916*r - 1. Let n be z(3). Suppose b + 5*i = -1534, -82*b + 4*i - 6232 = -78*b. Let j = b + n. Is j a prime number?
True
Let r(c) = 5126*c**3 + 2*c**2 - 1. Let u = 333 - 332. Is r(u) prime?
False
Suppose 29 + 25 = 27*u. Let f(g) = 3098*g - 18. Is f(u) composite?
True
Let t be 1*(2 - (-2)/1). Let b be (-5)/(-25) + t/5. Is b/(-2 + 1) + 1478 prime?
False
Let i(a) = a**2 + a - 3. Let w be ((-8)/(-12))/(2/(-93)). Let u = w + 40. Is i(u) a prime number?
False
Let u be (99/(-2))/(-9)*2. Let b(o) = 13*o**2 - 12*o - 68. Is b(u) a composite number?
False
Let x(m) = 906*m**2 - 10*m + 13. Let l be x(2). Let z = l - 1960. Is z a prime number?
True
Let s(q) = 9985*q**2 - 36*q + 115. Is s(8) a composite number?
True
Let y(u) = -99*u + 6. Let n(b) = -5. Let x(t) = -1. Let f(k) = 2*n(k) - 11*x(k). Let o(s) = 4*f(s) + y(s). Is o(-13) a prime number?
True
Suppose -478*l = -5*k - 473*l + 1485460, k = -4*l + 297077. Is k a composite number?
True
Suppose -l + 4*j = -j - 45339, -l + 2*j + 45333 = 0. Let y = l - 5801. Suppose -12213 = 9*o - y. Is o prime?
False
Suppose 0 = -924*c + 930*c - 54. Is 5682872/936 - 4/c a prime number?
False
Let q be (-1)/((-4)/(-44)) + 3. Let u be -5 - (-3)/((-6)/q). Is (-13 - -12) + 36 + u prime?
False
Suppose 137 + 243 = -o. Let y = o - -1131. Is y a prime number?
True
Let a(p) be the first derivative of 15 + 7/2*p**2 - 9*p + 161*p**3. Is a(2) composite?
True
Let q be 1 - ((-1 + 3 - 5) + 14). Let g be 1950/(6/(-3))*q/15. Suppose 0 = 2*p + 5*d - d - g, -5*d - 346 = -p. Is p a composite number?
False
Suppose 3*s + 4 = -w - 2, -4*w + 27 = -5*s. Suppose 25*r - 120 = r. Suppose -r*t - w*k + 1005 = -835, k = -t + 370. Is t composite?
True
Let x = -3722 - -7906. Let n be ((7 + -2)/(-10))/((-2)/x). Suppose 3*u = n + 2200. Is u prime?
False
Let l be 1/(-2) + (-3)/10*-15. Is (77370/(-24))/(-5)*l a prime number?
True
Is (-32774)/(-10) - (36/15 - 2) a composite number?
True
Let w(x) = 2266*x + 9. Let j(l) = 4*l. Let y be j(2). Is w(y) prime?
False
Suppose -2259 = -g + 4*n, -5*g + 3768 = n - 7632. Is g a composite number?
True
Suppose -26*i - 32 = -30*i. Suppose -16884 = -i*h + 39092. Is h composite?
False
Is (35418/(-72))/((-13)/156) prime?
True
Let q = -27 + 29. Let x(u) = -5 + 13*u**q - 9*u - 2 - 8 + 6*u. Is x(-6) composite?
True
Suppose 7*s - 3*s - 40 = 0. Let p(r) = -r**3 + 17*r**2 + 5*r - 10. Let a be p(s). Suppose -14*m + 18*m - a = 0. Is m composite?
True
Let c = 77522 + -27145. Is c a prime number?
True
Suppose -5*g - s + 3755 = 0, 3*g - 3072 = 3*s - 801. Let w(n) = -n**3 + n**2 - n - 4. Let k be w(-7). Let a = k + g. Is a a composite number?
True
Let a = -25 - -17. Let h(n) = n**3 + 8*n**2 + 4*n + 4. Let d be h(a). Is (-8)/d - (-1662)/14 a prime number?
False
Let t(z) = z**3 + 6*z**2 + 3*z + 3. Let q be t(-6). Let h(b) = -2*b**2 - 29*b + 17. Let l be h(q). Suppose -335 - 3495 = -l*u. Is u composite?
True
Let x = 282642 - 84103. Is x prime?
False
Let a(s) = 14577*s + 6430. Is a(69) prime?
False
Suppose -714*m = -352*m - 332*m - 5047710. Is m prime?
False
Is 47/((-893)/(-3525982)) + 7 a prime number?
False
Let q be 2/6 - (-92)/(-6). Let o be 132/9 - 3/(-9). Is 2/o + (-20713)/q a composite number?
False
Suppose 10*o + 4*o - 14 = 0. Is -2 - (-986 - o - 48/12) composite?
True
Suppose 0*i = -7*i + 70. Suppose 5*j - 103245 = -i*j. Is j a prime number?
True
Suppose 0 = -4*v + 5*m + 2047028, 3*m - 1462770 = -4*v + 584258. Is v composite?
False
Let i be (-24320)/(-90)*6/4*18. Suppose -5*t + 4843 = 2*z - 0*t, -3*t = -3*z + i. Is z a prime number?
False
Let u(t) = -2*t**2 + 56 - 7*t - 50 + t**2 + t**3 + 3*t**2. Let r be u(-4). Suppose -436 = -4*p - 2*z, -5*p + 419 + 126 = -r*z. Is p prime?
True
Let o(c) = -c**3 - 7*c**2 - 4*c + 4. Let q be o(-7). Is (-2)/(16/(-1282)) - (-24)/q prime?
False
Let q = 737706 + -434219. Is q a prime number?
False
Let x be (-18169*2/5)/(31/1395). Is ((-2 - -1)*1)/(18/x) a prime number?
True
Suppose 0 = 2*c + 9*c - 71203. Suppose 0 = -4*x + 7*x + 2*z - c, 2*x = 3*z + 4311. Is x prime?
False
Suppose 275*u = 285*u - 1373030. Is u prime?
True
Let d(h) = -5*h**3 - 32*h**2 + 8*h + 3. Suppose 6*t + 3 = 3*t. Let x(q) = -q**3 - q**2 - 1. Let b(i) = t*d(i) + 6*x(i). Is b(20) a prime number?
False
Suppose 5*n + 95671 + 248749 = 5*v, -275541 = -4*v + 5*n. Is v a composite number?
False
Let g(x) be the second derivative of -2/3*x**3 + 56/3*x**4 + 0 + 10*x - 5/2*x**2. Is g(-1) prime?
True
Let t = 50356 - 31497. Is t prime?
True
Let t = 227 - 231. Is 11098/2 + t + 2 - 6 a prime number?
False
Let 