posite?
True
Let g(p) = p**2 - 26*p + 2. Let v be g(26). Let r be -2 + 943*(-1 + v). Let o = 836 + r. Is o composite?
False
Suppose 3*b - 397 = t, -b + 3*t = 5*t - 144. Suppose -200 = -g + b. Let d = g + 339. Is d prime?
True
Suppose 859432 + 2398489 + 3887487 = 64*z. Is z composite?
True
Let v = -313 - -320. Let h(r) be the first derivative of 94*r**3/3 + 7*r**2 - 5*r - 7. Is h(v) a prime number?
False
Let x = 304 - 274. Is 8/x*-3 + (-588)/(-10) composite?
True
Let j be 482/(-5)*-5*1. Let q = j + -233. Is q a composite number?
True
Let f be (2/(-4))/((-7)/(-126)*-1). Let m(x) = x**3 + 8*x**2 + 11*x + 3. Let h(g) = -g**3 - 7*g**2 - 10*g - 4. Let a(z) = -4*h(z) - 3*m(z). Is a(f) prime?
True
Let n = 48575 - 33894. Is n a prime number?
False
Let j(a) = -5671*a + 992. Is j(-11) prime?
False
Suppose 0 = 2*k + 3*o + 265390 - 2402842, o = k - 1068731. Is k a prime number?
False
Let n = 23925 - -23756. Is n prime?
True
Suppose -4431821 - 4066887 = -34*r. Is r prime?
False
Let v(c) = -246*c**3 - 12*c**2 - 11*c + 20. Is v(-9) prime?
True
Let u = 279 + -277. Suppose -2*i - 30 = -2*n, -25 = 9*n - 12*n - u*i. Is n a prime number?
True
Let i = 1472657 - 860148. Is i composite?
True
Suppose 5*y + 21 = -2*z, 2 = -4*z - 4*y - 10. Suppose -z*k = 88 - 590. Is k composite?
False
Suppose 0*k + 4*k - 4*t = 4, -2*k - 2*t + 10 = 0. Let c(v) = v + 1. Let b be c(k). Suppose -216 = -5*f + b*a + 15669, -3*a - 9534 = -3*f. Is f composite?
True
Let p(y) = 6 - 6*y + 67*y**2 + 126*y**2 + 285*y**2 - 27*y**2. Is p(1) composite?
True
Suppose -2*b + 216464 = 3*s - 18524, -s - 2 = 0. Is b prime?
True
Is (5 - 4)*(67235/2 + (-60)/(-40)) a composite number?
False
Let l(a) = 10*a**3 - 18*a**2 + 21*a + 19. Is l(6) a composite number?
False
Let v = -879786 - -1941037. Is v a composite number?
False
Suppose -1418815 = -58742*s + 58737*s. Is s composite?
False
Let h = -17 + 20. Suppose -4*m + 3929 = -h*y - 30143, 5*y = 20. Is m a prime number?
True
Let o be (54/8)/((-21)/(-134120)) - 4. Suppose -125*y = -123*y - o. Is y a composite number?
True
Suppose 201*a - 227*a = -2923778. Is a a prime number?
False
Suppose -5*o - 4*b + 249143 = 0, -134*o + 135*o + 4*b = 49851. Is o a composite number?
False
Suppose -585783 + 10261213 + 7095452 = 114*b. Is b composite?
True
Let b(k) = 2*k**2 - 4*k + 5. Let f be b(2). Suppose 3*z - 3347 - 678 = -5*p, 4*z = f*p - 3990. Let v = p - 317. Is v a composite number?
True
Suppose -168 = -50*g + 44*g. Suppose -60236 + 216504 = g*u. Is u a composite number?
False
Let p = 256 + -256. Suppose 0*t = -t + 1198. Suppose 4*j + 2384 = 4*r, p = -0*r - 2*r + 4*j + t. Is r a prime number?
True
Let z(q) = -5*q - 20. Let k be z(-8). Let m be 30/k - 3/2. Suppose 5*h + 5*c - 65 = 25, m = -4*h + 4*c + 48. Is h prime?
False
Let u(w) = 175*w**3 + 5*w**2 - 9*w - 3. Let s(f) = -f**3 + 2*f + 2. Let h be s(0). Is u(h) a composite number?
False
Let i be 399*(3 + 0) + -1. Suppose i - 56 = -5*q. Let d = 35 - q. Is d prime?
True
Let m(b) = -177*b**2 + 24*b - 9. Let d be m(4). Let a = -1171 - d. Is a composite?
True
Let c(s) = 2*s**2 + 18*s - 4. Let v be c(-9). Let r(a) = -112*a - 17. Let n be r(v). Suppose -4*q = -381 - n. Is q a composite number?
True
Let y(l) = -l**3 + 14*l**2 - 53*l + 6. Let n be y(11). Let z(j) = -592*j**2 - 1. Let v be z(1). Let u = n - v. Is u prime?
True
Let n be 2/13 + 804/(-156). Is 85022/10 + 6/n a composite number?
False
Let o be 933*1/2*8. Let w = 6551 - o. Is w prime?
True
Suppose -11*n - 14*n + 220075 = 0. Is n a composite number?
False
Suppose 3*f - 1297 = 2687. Suppose -3*x + f = x. Let h = -106 + x. Is h a composite number?
True
Is (391314735/13230)/((-2)/(-24)*2) composite?
False
Let b(o) = -22118*o - 3783. Is b(-17) composite?
False
Let c be 14/(-1 + -6) + (45834 - 0). Suppose 49*h = 41*h + c. Is h a prime number?
False
Suppose 17*f - s - 14592 = 13*f, 10937 = 3*f + s. Suppose 15*x = 16*x - f. Is x composite?
True
Let t = 3187487 - 1036774. Is t a prime number?
True
Let f = -1317 + -742. Let x = 4550 + f. Is x composite?
True
Let r(v) = v**2 - 9*v + 16. Let s be r(7). Suppose x - s*x + 4 = 0. Suppose -x*f - q = -308, 3*f + 3*q - 2*q = 231. Is f composite?
True
Suppose 4*s - 12418 = -5*h, 38*s + 4*h = 40*s - 6222. Is s prime?
False
Is 182/(-28) + 3 - 431781/(-2) a composite number?
True
Let h(s) = 76*s - 73. Let n(g) = -g - 1. Let w(y) = -h(y) - 3*n(y). Is w(-25) composite?
False
Suppose 4*b + 11*b - 78270 = 0. Suppose -10630 - b = -8*n. Is n a composite number?
True
Let l(q) = 3*q**3 - 3*q**2 - 14*q - 12. Let i(f) = 6*f**3 - 7*f**2 - 27*f - 23. Let j(v) = -3*i(v) + 5*l(v). Let d = -157 + 153. Is j(d) composite?
True
Let y(w) be the second derivative of w**5/20 - 13*w**4/12 - 11*w**3/6 + 2*w**2 + 9*w + 47. Suppose 21 = g + 4*h, -18 = -3*g + 2*g - h. Is y(g) prime?
False
Let f(u) = 4299*u**3 - 7*u**2 + 10*u - 3. Is f(2) prime?
True
Let o(n) be the second derivative of -n**5/20 + 5*n**4/4 - n**3 - 4*n**2 - 23*n. Let k be o(10). Suppose 8*g - k = 1352. Is g a prime number?
True
Let p = 256 + -241. Is ((-5)/p)/((-8)/323112) a prime number?
True
Let y(q) = 50470*q**3 + 7*q**2 - 20*q + 4. Let o be y(2). Suppose 12*v - o = -12*v. Is v a prime number?
True
Let k(h) = 5*h - 8. Let c(t) = -t**2 - 4*t + 9. Let a(n) = -2*c(n) - 3*k(n). Let j be a(4). Is (j/(-8) + 1)*-316 a composite number?
False
Let c(k) = k**3 + 3*k**2 - 17*k + 46. Let m be c(9). Let l = -1 + 5. Suppose 4*y - 4307 = -i - l*i, y = i - m. Is i prime?
True
Is (-566 - -74387) + 2/(2/1) + -3 a prime number?
True
Let p(h) = 14959*h**3 - 2*h**2 + h + 5. Is p(2) a prime number?
True
Let d(c) = 6*c**2 - 50*c - 26. Let o be d(9). Let z(y) = 35*y**2 - 30*y + 51. Is z(o) a prime number?
True
Suppose 2*m - 1901 = 3*o, 4*m - 3829 = -7*o + 4*o. Suppose 4*z - 5*z + m = 0. Is z composite?
True
Let q(r) = 128313*r + 1081. Is q(2) a prime number?
True
Let c(q) be the third derivative of 211*q**5/60 - q**4/8 + 25*q**3/6 + 22*q**2. Is c(4) a composite number?
False
Let o(z) = -4*z**3 + 106*z**2 + 34*z - 55. Is o(24) a composite number?
False
Let a = 21309 - -15628. Let l = a + 18558. Suppose 11*g - l = -0*g. Is g a composite number?
True
Is (1 + (268947 - 6))/(-2)*-1 a prime number?
True
Suppose -66*a = -6783231 - 1690443. Is a prime?
True
Let t = 28549 - 11101. Suppose -13*z + t = 4331. Is z a composite number?
False
Let t(o) = 1211*o**2 - 114*o + 5. Let u be t(5). Let z = u - 14283. Is z a composite number?
False
Let s(b) = -b**3 + 17*b**2 - 10*b + 16. Let c(n) = 11*n**3 + n**2. Let k be c(1). Let m be s(k). Suppose m = p - 343. Is p a composite number?
True
Let n = 3034 + -982. Suppose 2*s - o = 9025, 0*o - 9007 = -2*s - 5*o. Let k = s - n. Is k prime?
True
Is 9996 - 15/((-30)/4) a composite number?
True
Let z(r) = -3*r**2 - 7*r - 1. Let w be z(-5). Let x = -24 - w. Let v(q) = q**2 - 2*q - 4. Is v(x) a composite number?
False
Suppose 0 = 20*g + 3 - 43. Suppose -2*c = 4*z + z - 6039, 1211 = z + g*c. Is z prime?
False
Let g(b) = b**3 + 18*b + 5. Let k be g(0). Suppose 0 = -n + 1, -53530 = 5*a + k*n - 306550. Is a composite?
True
Let r = -281 - -285. Suppose -n = 4*o - 6633, 6*o = -3*n + r*o + 19939. Is n prime?
False
Let w(z) = 7*z**2 - 39*z + 154559. Is w(0) composite?
True
Let r = -11 + -10. Let p = -1 - r. Is (-138)/5*2*(-25)/p a prime number?
False
Let x be 24/(-90)*22 + 4/(-30). Let o(j) = -530*j + 79. Is o(x) composite?
False
Let f(c) = 4*c**3 + 23*c**2 - 7*c - 3. Let j be f(-6). Is (-3)/(-9) - ((-69272)/j - 2) prime?
False
Is 20/(-3 + 5) + (-346734912)/(-192) a composite number?
True
Suppose 0 = z - 0*z - 4*j - 32161, 0 = -4*z - j + 128593. Suppose 0 = 17*r - 30*r + z. Is r composite?
False
Let i(l) = 595*l**2 + 88*l + 1037. Is i(38) a composite number?
False
Suppose -10*y + 3197506 = 36*y. Is y a composite number?
True
Let a = 24712 - -2443. Is a prime?
False
Suppose 5*h - 2904 = -a, -57*h = -4*a - 59*h + 11706. Is a composite?
True
Let i(q) = q**3 + 8*q**2 + 19*q + 17. Let m be i(-4). Suppose 2*t + 4*r - 56685 = -10497, 3*t - 69304 = m*r. Is t composite?
True
Let y(v) = 45*v**2 + 16*v + 51. Let k be 28/(-2) - (23 + -27). Is y(k) prime?
True
Let x(f) = -2*f**3 - 2*f**2 - 5*f + 13. Let q be x(3). Let y = -600 + 845. Let o = y - q. Is o prime?
False
Suppose 646014 = n + v - 189850, 2*v + 4179369 = 5*n.