 a composite number?
True
Is (-1 + (-13 - -127))*3868/4 a prime number?
False
Let g be 12/30 - (-1 + 3/(-5)). Suppose 0 = -5*o - 10, -2*o + 10434 - 2340 = g*f. Is f composite?
False
Let v(z) = z**3 - 6*z**2 + 2*z - 11. Let u be v(6). Is 81/243*u*(1 - -11828) a composite number?
False
Suppose -15*b - 42*b + 1466781 = 0. Is b composite?
False
Let b(c) = 4*c - 14. Let a be b(8). Suppose 0 = -2*u - a - 2. Is ((-2)/u)/(102730/14675 - 7) prime?
True
Let c(v) = -v - 3. Let i be c(-3). Suppose i*s - 5*s + 330 = 0. Is s/2 - (-1 + 3) composite?
False
Let b be ((-2835)/(-20))/((-6)/(-32)). Suppose -g + 3065 = b. Is g a prime number?
True
Let w = -2 - -19. Suppose 0 = -w*g + 28526 + 5525. Is g composite?
False
Let q = -870752 - -2148363. Is q a prime number?
False
Suppose 0 = 4*j + 3*w - 110005, -41*j - w + 137520 = -36*j. Is j prime?
False
Suppose 0*a = a - 192. Suppose 15*o = 4*o + 6215. Let m = a + o. Is m composite?
False
Suppose 29*u + 3984051 - 10715328 = 16001504. Is u a prime number?
False
Let f(p) be the third derivative of -1/3*p**3 - 9*p**2 + 0*p - 583/24*p**4 + 0. Is f(-1) prime?
False
Let v(q) = 10614*q - 3305. Is v(26) a composite number?
False
Let b be -4*(12 + -9) - 1*-3. Is (b/(-9) - -5) + 6605 a prime number?
False
Let h(a) = 2*a**3 + 40*a**2 - 22*a + 2. Let b be 11/(12 - -10) + 33/(-2). Is h(b) a composite number?
True
Let r(n) = -1120*n - 5133. Is r(-56) a composite number?
False
Let q(j) = 3*j**2 - 3*j - 4. Let o be q(-2). Suppose -40 = -6*i + o. Suppose -i*n + 0*n + 3771 = 0. Is n prime?
True
Let l = -885362 + 1788295. Is l prime?
True
Let c be (-495)/6*-3*8/36. Suppose -l + v - 21 = -3*l, c = 5*l + 5*v. Is ((24185/l)/(-7))/((-3)/6) prime?
True
Let n(w) = 23*w + 1. Let o be n(-3). Let a be 2/(-5) + o/40*-12. Is (-10)/a*-1*1490 prime?
False
Let z(p) = 3*p**2 - 16*p - 9. Let k be z(6). Suppose -2*o + 7*g = k*g - 23366, -2*g = 4*o - 46702. Is o prime?
True
Suppose 0 = 3*s - 2*s, -s - 75 = -5*f. Let k = f - 13. Suppose -k*p - 2*p - 681 = -3*a, -4*a - 3*p + 883 = 0. Is a composite?
False
Let z(s) = 6209*s**3 + 16*s**2 - 18*s + 14. Is z(3) composite?
False
Suppose -403 = l - 14*l. Suppose -l*i + 140575 = -6*i. Is i a composite number?
False
Let y(u) = u**3 + 2*u**2 - 15*u + 5. Let w be y(3). Suppose 5*q - 7*q + 14819 = w*m, 0 = -3*m + q + 8898. Is m prime?
False
Suppose -2*a - 248501 = -3*g, 201964 - 36310 = 2*g - 4*a. Is g a composite number?
False
Let g(b) = 17897*b + 2779. Is g(6) prime?
True
Let p be (-6)/(-10) - 112/20. Let w(n) = -48 + 92 - 2*n - 50 + 87*n**2. Is w(p) prime?
True
Let n = -18 + 13. Let i(w) = 5*w**2 + w + 1. Let h(z) = -22*z**2 - 16*z - 22. Let p(g) = h(g) + 5*i(g). Is p(n) a composite number?
False
Let a(d) = 62*d**2 + 4*d - 115. Let c(v) = -41*v**2 - 2*v + 77. Let w(b) = -5*a(b) - 8*c(b). Is w(-7) a composite number?
True
Let l(d) = -d**3 + 2*d**2 + 2*d - 2. Let x be l(1). Suppose -2*g - x = -13. Suppose 5*a = g*a - 353. Is a a prime number?
True
Let b = 467 - 428. Suppose 8*m - b*m + 379285 = 0. Is m composite?
True
Let p = 75 + -65. Let u be 2 + (-24)/15 - (-26)/p. Suppose -23487 = -6*s + 2*s + k, 4*s - 23507 = -u*k. Is s composite?
True
Suppose -q = -3*a + 684, 3*q - 4*a + 1927 = -115. Let i = -299 - q. Is i prime?
True
Let t(j) = j**3 + 20*j**2 + 16*j - 36. Let r be t(-19). Is 6/r + 140040/56 a prime number?
False
Suppose -14*a + 309734 = -1749008. Is a a composite number?
True
Suppose 0 = 5*m - 41 + 31. Suppose 5*r = 2*t + 105 + 315, -3*r + 256 = -m*t. Is r composite?
True
Let x be 478008/(-180) + (-2)/5. Is 5 - (-1 - (-5 - x)) prime?
True
Let m be (6/8)/((-18)/(-120)). Suppose 5*o - 948 = 2*n, m*n - 5*o + 147 = -2193. Let u = n + 669. Is u composite?
True
Let x(i) = 8*i**2 + 3*i - 2. Let a = -15 - -16. Suppose 0 = 6*p - a - 29. Is x(p) a prime number?
False
Suppose 15*l - 14208 - 177 = 0. Is l a composite number?
True
Is (-2)/12 - (-23 + (-685464)/144) composite?
False
Let m(g) = g**2 - 5*g + 1. Let z be m(5). Let v be (-25 - -22) + 6 + z. Is (1 - -1) + 1649 - v/(-1) a prime number?
False
Let v = -98632 - -257625. Is v a prime number?
True
Let o(w) = -33762*w - 293. Is o(-10) a prime number?
True
Suppose -3*v + 398795 = -4*d, 52949 = v - 5*d - 79990. Is v composite?
False
Let o be 36/45*(-31550)/4. Is (4*(-9)/(-24))/((-15)/o) a prime number?
True
Let l(a) = -66*a**3 - 3*a**2 + 9*a - 101. Let t be l(6). Let i = -1750 - t. Is i a composite number?
True
Let w = -47 + 47. Let v(f) = 5*f**2 - 10*f + 8*f**2 + w*f**2 - 11*f - 15. Is v(17) a prime number?
False
Suppose 18*a - 3440 = 13*a. Let q = 1034 - a. Is q a prime number?
False
Let j = 118470 - -31265. Is j composite?
True
Let w(o) = 2*o**2 - 23*o - 4. Let z be w(30). Suppose z = 9*m - 18451. Is m composite?
True
Let j = -453 - -1157. Suppose 3*w - 4*w = -3*o + 417, w = -5*o + 703. Suppose o = 4*p - j. Is p prime?
True
Suppose -4*m = -2*k - 6, m - 45 = -5*k - m. Suppose 0*d = k*d - 21. Suppose -w = -2*c - 2*w + 63, -92 = -d*c + w. Is c composite?
False
Let r(h) = 2*h**3 + 53*h**2 - 19*h - 177. Let d = -926 + 901. Is r(d) composite?
True
Let c = -3554769 - -5897762. Is c composite?
False
Let w = 4688 + -3705. Is w composite?
False
Suppose -u - 3*u = -32. Let a be 1/(-1)*(u - 0). Let l = a - -129. Is l composite?
True
Let x(q) = -q**3 + 5*q**2 - 3*q + 1. Let c be 1*(-2 + 5) + 1. Let b be x(c). Suppose -k + r = -537, -b*k + 3*r = -28 - 2665. Is k prime?
True
Let l(m) = 17*m + 150. Let h be l(-9). Is 26043 - (0 + h - (-50)/10) prime?
True
Let w = 853620 + -403481. Is w a composite number?
True
Let v = 236380 + -91497. Is v a composite number?
False
Suppose -20*i = 96*i - 13591613 - 3753983. Is i a prime number?
True
Let d = -10422 + 17777. Is d a prime number?
False
Let a(x) be the second derivative of -137*x**5/20 + 5*x**4/12 + 3*x**3/2 + 7*x**2/2 - 25*x. Let y be a(-5). Suppose y = 5*c - c. Is c a prime number?
False
Is -1*(18 - (-9782808)/(-24)) prime?
True
Suppose 0 = -b + 4*b - 5*z + 24, -5*b - 9 = 2*z. Let n(x) = 391*x + 19. Let o be n(b). Is o*(1 + (-6)/4) composite?
False
Let u(n) = -32*n + 17. Let w be u(-9). Let m = w - -174. Suppose 3*k = -b + m - 129, 5*b + k - 1736 = 0. Is b prime?
True
Let s(o) = 60*o**2 + 27*o - 24. Let f be s(-18). Suppose -f = -8*c + 83798. Is c a prime number?
True
Let u be 0/(-3 - (-4 + 5 + -2)). Suppose 1 - 5 = d, u = -5*c + 3*d + 2077. Is c a prime number?
False
Suppose -63474 - 31845 = 9*i. Is (2 - -1) + (-2 + -3 - i) a prime number?
True
Suppose -2*r - 11813 = -d, 4*d = -0*d + 5*r + 47258. Suppose 10*s - d = -3*s. Suppose 5*z = 3*l - s, -4*l - z - 4*z = -1177. Is l a composite number?
True
Is ((-11334)/9 + -3)/((-3)/9) composite?
True
Suppose 5*y = -3*s - 7, -6 = 2*s + 2*y + 2*y. Let u(t) = 22*t**2 - 1 - t**3 - 11*t + 9 + s. Is u(21) a prime number?
False
Let b = 4231721 + -2944398. Is b composite?
False
Is -4 - -21 - (-2917 - -33) composite?
True
Is (29 + -9 - 24) + (-516455)/(-1) prime?
False
Suppose -4*c + p + 186 = -17, -3*p + 141 = 3*c. Suppose -2*v - c = 38. Let l = -9 - v. Is l prime?
False
Suppose -2*i = 2*i. Let k = 1684 + -1648. Suppose i = k*g - 32*g - 1172. Is g composite?
False
Let y(m) = 33*m - 2070. Let w be y(0). Let v = 4223 + w. Is v composite?
False
Is -1 - -504345 - (14 + 0 + (-19 - -12)) a prime number?
True
Suppose 5*c - 10*u - 210659 = -8*u, u = -5*c + 210653. Is c prime?
True
Let o be ((-28)/84)/(-2*1/1266). Suppose -2*m = -4*z + 102, -4*z - 4*m = -117 - 3. Suppose n + 3*p = z, -3*n - o = -8*n + 4*p. Is n a composite number?
True
Let f be -2*((-22)/(-4))/(-1). Let m(n) = 253*n - n**3 - 274*n + 321*n**2 - 9 - 307*n**2. Is m(f) a prime number?
False
Let i(h) = -h + 19. Let w be i(5). Let g = w + -10. Is 527 - 3/((-6)/g) a prime number?
False
Let t be (-22 - 4)*(-4 - 17305/10). Suppose 3*i = 4*p + 4*i - 36065, 0 = -5*p + 4*i + t. Is p a prime number?
False
Is 20/(-5) - ((-18)/81 + (-35077715)/45) composite?
True
Let u(s) = -11*s + 48. Let z be u(4). Suppose -z*y + 3167 = 19. Is y composite?
False
Suppose 234*w - 235*w - r = -930685, -3*r - 1861390 = -2*w. Is w composite?
False
Is 4 + -61239*((-154)/21 - -7) composite?
True
Let t(q) = -2*q - q + 10*q + 1. Let p be t(25). Is p + (3 + -5 - -5) composite?
False
Let v be (113/3)/((-11)/2277). Let w = v + 11250. Is w a composite number?
True
Let s(r) = 245*r