/120 - k**5/10 + k**4/4 - 3*k**3/2 + 6*k**2. Let o be z(-7). Is 4 + o - 249/(-1) a prime number?
True
Let c(l) = 12*l**2 + 346*l - 2401. Is c(-165) prime?
False
Suppose 0 = -5*o + 4*h - 514, 2*o + 73 = -3*h - 128. Let g = o + 236. Is g composite?
True
Suppose -p - 4*s + 58361 = 0, -p - 32810 = -2*s - 91171. Is p composite?
True
Suppose 50*u - 32158 + 4158 = 0. Let c be (-9 - 1)/(-2)*2. Suppose 0 = c*y - u - 290. Is y a composite number?
True
Is ((-1064612)/20 + 2/(-5))*(-6 - -5) a composite number?
False
Let u(l) = -92*l**3 + l**2. Let i be u(1). Let b be 242 - (-3 + (-6 - -15)). Let z = b + i. Is z composite?
True
Let s(n) be the first derivative of -2*n**2 + 65*n - 30. Is s(-7) prime?
False
Suppose 7*j - 4620130 = -0*j - 3*j. Is j composite?
False
Suppose -456147 = -14*v + 5*v. Suppose 3*o - v = -5*b + 4191, 3*o - 43901 = -4*b. Is b prime?
True
Suppose 0 = -125*n + 221*n - 1227552. Is n prime?
False
Let v be 10/3*(-9)/6. Let x(n) = 8*n**2 - n + 10. Let r(j) = 7*j**2 - j + 10. Let o(u) = v*x(u) + 6*r(u). Is o(9) a prime number?
True
Let v(u) be the third derivative of -247*u**5/120 + u**4/4 + 5*u**3/3 - 21*u**2. Let k(w) be the first derivative of v(w). Is k(-1) composite?
True
Suppose -2*c - 54*h + 53*h + 879300 = 0, 2*c = h + 879304. Is c a prime number?
False
Suppose 0 = -466*i + 453*i + 5115149. Is i a prime number?
True
Let v(o) = -169*o**3 - 22*o**2 + 4*o - 17. Let d be (-9)/(108/8) + (-16)/3. Is v(d) composite?
False
Suppose 0 = -3*t - 77 - 19. Let s(u) = -192*u - 371. Is s(t) a composite number?
True
Suppose -2*b + 3*g = 0, -2*b = 15*g - 12*g. Suppose b = -c + 3, f + 4*f - 3*c - 4236 = 0. Is f a composite number?
True
Let y(z) = -2*z**2 + z + 170. Let k be y(0). Let h = 353 + k. Suppose -7*w + h = -219. Is w a prime number?
False
Let g be (-21 - -2)/((-110)/1760). Let z(r) = 9*r**2 + 3. Let q be z(4). Let l = g - q. Is l prime?
True
Let x = -2560 + 6119. Is x prime?
True
Let o(j) = -38805*j + 46. Is o(-3) composite?
False
Suppose 149*z - 3004780 = 5731537. Is z a prime number?
False
Let b(q) = 4*q - 4. Let i be b(1). Suppose -21*m = -i*m - 92673. Is m a prime number?
False
Let c(k) be the first derivative of 43*k**3/6 - k**2 + 10*k + 1. Let m(i) be the first derivative of c(i). Is m(3) a composite number?
False
Let v(k) be the first derivative of 2*k - k**3 - 14 + 17/4*k**4 - 5/2*k**2. Is v(3) prime?
True
Suppose 2*w + 5*h + 30 = 0, 3*w - 5*h = -2*w - 75. Let z(t) = -586*t + 2. Let i be z(w). Suppose 5*j - i = -3*o, -o = 4*o + 5. Is j a prime number?
True
Let h = 122516 - 27769. Is h composite?
False
Let t(c) = 22*c**2 + 4*c + 11. Suppose 2*y - 6 = -10. Let i be -2 + (y - -10) - 1. Is t(i) a composite number?
True
Suppose 0 = 102*y - 106*y. Suppose -35*g + 36*g - 1027 = y. Is g a composite number?
True
Let d = 199615 - 20624. Is d prime?
False
Let m = -1651 + -57. Let t = -1321 + m. Is t/(-3) + (-10)/15 a composite number?
False
Suppose -80 = -2*y + 2*c, 16 = -3*c + 4. Let t be y/21 - (-10)/35. Suppose 5*o - 4*l - 1302 - 241 = 0, -4 = t*l. Is o composite?
False
Let p = 97857 + 87628. Is p a composite number?
True
Let i = -51 - -65. Let c(y) = 2*y**2 - 11*y - 59. Is c(i) a prime number?
True
Let c(f) = 1420*f**2 + 2*f - 4. Let m be c(-3). Suppose 5*l = -5*o - 0*l + m, 2554 = o + 3*l. Is ((-49)/(-21))/(-7) + o/3 composite?
True
Let o(t) = -t**2 - 6*t - 2. Let d be o(-5). Suppose d*r - 85 = -19. Suppose 25*y - r*y = 1335. Is y composite?
True
Let c(o) = -60*o**3 - 88*o**2 - 32*o - 13. Is c(-17) a prime number?
True
Let m = -44 - -63. Suppose 10*o + 18477 = m*o. Is o composite?
False
Suppose -11*t - 2*t + 2232376 = -5*t. Is t a composite number?
False
Let s be (2*10/(-50))/(1/(-5)). Suppose -2*a + 1468 = -s*t - 5706, 0 = 5*a - 4*t - 17935. Is a composite?
True
Suppose m = 6*m - 2*y + 2, -5*m - 1 = -y. Suppose -4*h + 3*t = -45128, 4*h + 2*t - 45108 = -m*t. Is h a composite number?
False
Let l be (-8)/(-14) - ((-200)/35)/4. Suppose -4*q + 50065 = -3*y - 37002, 0 = -2*q - l*y + 43516. Is q composite?
True
Suppose 0 = 15*b - 17*b - 3*g + 128780, -128768 = -2*b - 5*g. Is b a composite number?
False
Suppose k + 3708 = -2*k. Let g = -2954 - k. Let c = 3411 + g. Is c a prime number?
True
Suppose -26*r - 12 = -90. Suppose -r*w - 96898 = -5*w. Is w a prime number?
True
Let v = 25773 + 11428. Is v a prime number?
True
Let t(c) = -4*c + 344. Let k be t(-35). Is 1/(-4) - (-6191933)/k a composite number?
True
Let i = 99245 - 63366. Is i a composite number?
False
Is 5717316/36*15 + -8*(-2)/(-4) composite?
True
Let r(u) = 29 - 110*u**3 + 9*u**2 - 8*u**2 - 15*u + 111*u**3 - 13*u**2. Let b be r(13). Suppose -2*z = 2, -b*a = -0*a - 2*z - 203. Is a a prime number?
True
Suppose -2*a - d + 6 = 0, 5*d + 0*d = 5*a - 45. Suppose 4*w = 6*i - 4*i - 50814, -127050 = -a*i - 5*w. Is i composite?
False
Suppose 36*h - 6*h - 2598332 = 8*h. Is h composite?
True
Suppose 34*u - 27365332 = 57153126. Is u a composite number?
True
Let q = -310147 - -439940. Is q a composite number?
False
Suppose 0 = 5*d - 10, 8 = -2*r - d + 16. Let t(c) = c + 5. Let k be t(0). Is 70*(k/(-20) + r/4) prime?
False
Suppose -4*u - 26 = -5*h, 5*u - 2*h = -0*h - 24. Let b(d) = -d**2 - 4*d + 4. Let f be b(u). Suppose 0 = 5*z + 10, -o + 489 = z + f*z. Is o composite?
False
Suppose 10*f - 15 = 7*f. Suppose 3*g + 0 = 2*u + 6, -f*g + 20 = 0. Suppose 5413 = -b + u*b - c, 2*b - 5*c = 5409. Is b a composite number?
False
Let x(o) = -o**3 + 14*o**2 - 5*o - 12. Suppose g + 50 = 6*g. Let j be x(g). Let n = j + -183. Is n a prime number?
False
Let k(w) = 16*w**2 - 5*w - 15. Let g(c) = -63*c**2 + 21*c + 61. Let h(s) = 2*g(s) + 9*k(s). Is h(8) prime?
False
Suppose 0*l + 7831814 + 8995966 = 12*l. Is l prime?
False
Let s be 123594/(-4 - -7) + (-1)/1. Suppose s = 3*m + 13480. Is m a composite number?
False
Suppose b + b = -2*c + 10, 2*b = -5*c + 22. Suppose -2*u - 77091 = -3*n - 0*u, -u = -c*n + 102788. Is n a composite number?
True
Suppose 0 = 5*r + r. Suppose r*x + 5 = -x. Let p(n) = -16*n**3 - 8*n**2 - 6*n + 5. Is p(x) prime?
False
Let x(j) = 9*j**2 - 12*j + 4. Let b be x(8). Let p(d) = -21*d - 92. Let c be p(-11). Let y = c + b. Is y composite?
True
Suppose -2*b + 2 = 2*p, b = 4*p + 5 + 1. Suppose 1 = b*m - 3. Suppose 0 = -4*g + 5*g + 4*l - 177, -m*g - l = -340. Is g composite?
True
Suppose 176268 - 11260 = 36*r + 23060. Is r a prime number?
True
Suppose -3*u - 36 = -9*u. Let l be ((-834)/4)/((-3)/u). Suppose -3*b - 2*j = -4*j - 1235, -b + 2*j = -l. Is b a composite number?
False
Suppose 6*c + 959 = 63107. Is c/9 - 23/(-207) a prime number?
True
Let h be (-76)/(-16) - 2/(-8). Suppose 5*g + x - 6*x = 15, h*x = -4*g - 15. Suppose -7*z + 2*z + 4*r = -2365, g = -z + r + 474. Is z a prime number?
False
Let y(z) = -z**3 - 10*z**2 - 2*z - 15. Let g be y(-10). Suppose 0*r - i = -r - 5, -g*r = 3*i + 57. Is (-24)/108 - (0 + 11243/r) prime?
True
Let b be ((-978)/(-5))/((-6)/(-20)). Suppose -2*w + 8084 = b. Let o = -2219 + w. Is o composite?
True
Let p(v) = 19*v**3 + 3*v**2 - 6*v - 7. Suppose 3*u = 3*b - 0*u, u = 3*b - 10. Let d be p(b). Suppose 4*r - y - d = 907, 0 = -r - 2*y + 839. Is r composite?
True
Let d(h) = -1458*h + 10937. Is d(-52) a composite number?
False
Suppose 1423 = f + 5*a - 2018, -2*f + 6855 = a. Let c = 4835 - f. Is c a composite number?
False
Let n = -8006 + -8544. Let j be (-8)/(-2) - (n - 6/2). Is 6/(-27) + j/27 a composite number?
False
Let u(i) = -44*i**3 - 4*i**2 - 2*i - 7. Let n be (-3 + 5)*1*18/(-12). Is u(n) a composite number?
False
Suppose 0 = 4*o - 4*u - 50996, 0 = -3*o + 5*o - 4*u - 25496. Let t = o - 7883. Is t prime?
False
Let r be 113/5 - 4/(-10). Suppose r*y - 921 = 22*y. Suppose 2*w + w = y. Is w a composite number?
False
Let x(f) = 1417*f**2 - 64*f - 51. Is x(26) prime?
True
Suppose 12*g + 14 = 2*k + 7*g, -k - 6 = 4*g. Suppose -k*b + 6*r = 8*r - 10228, 3*r = -2*b + 10231. Is b a composite number?
True
Let r = -32 - -38. Suppose r*x + 2929 = 9259. Is x prime?
False
Let t(r) = -59*r**2 + 40*r - 6. Let u(n) = -294*n**2 + 201*n - 30. Let k(f) = -21*t(f) + 4*u(f). Is k(5) a composite number?
True
Let x(h) = -h**2 - 10*h + 43. Let w be x(-13). Suppose -w*a + d + 429 = 0, 2*d + 82 = 2*a - 128. Is 24/a + -295*(-2)/18 a composite number?
True
Suppose 35*h = 34*h + 8, -3*h = -5*t + 5224681. I