(-3 - (-2 + 1)) + 144 + 15871 a composite number?
True
Suppose -q - 182709 = -6*q + 2*g, -2*q - 3*g + 73076 = 0. Is q prime?
True
Is 0 - (-1)/5 - 10352342/(-715) a composite number?
False
Let v = 152200 - 76919. Is v composite?
True
Is (201574/4)/(342/684) prime?
True
Let a = -700 - -704. Is 20/15 + (a - 455/(-3)) a composite number?
False
Let o(x) = 702288*x**2 - 683*x - 1373. Is o(-2) a prime number?
False
Suppose -13*o - 130528 = -k - 10*o, 4*o = -4*k + 522032. Is k a composite number?
False
Suppose -5*w + 6*d = 3*d - 247076, -3*w + 148257 = 2*d. Is w a composite number?
False
Suppose 4*w - 6*l + 2*l - 32 = 0, 4*l + 12 = -w. Suppose g = -3*c - 0*c + 3, 2*c = w*g - 54. Suppose 0 = g*n - 62204 + 24488. Is n composite?
True
Let s = -40 + 40. Let l be 2 + (4 - 8) + s/2. Is (l/16)/(-1) - 3141/(-24) a composite number?
False
Suppose -3*s + 635733 = -3*u, 3*u + 222454 = s + 10547. Is s a prime number?
False
Let t(a) = -a**3 + 14*a**2 + 13*a + 6. Let w be t(-9). Let q = 4589 - w. Let y = q - -1106. Is y a prime number?
True
Suppose 8656 = q - 5*p + 21096, 2*q + 4*p = -24838. Is q/(-10) - (-1)/2 prime?
False
Suppose -3*w + 7*n + 74420 = 0, -4*n + 24813 = -16*w + 17*w. Is w a composite number?
False
Suppose -2*t = -4*w + 6, 2*w - 23 = 4*t - 7*t. Suppose -t*b + 2 = -2*i - 23, 3*i = b - 5. Suppose -2*n + b*o + 3586 = 3*o, 0 = 4*o. Is n composite?
True
Suppose -25*h - 16*h - 328 = 0. Let z(f) be the second derivative of -f**4/12 - 3*f**3 + 11*f**2/2 + f. Is z(h) composite?
True
Suppose 49*o + 65*o = 104538. Is o prime?
False
Let n(p) = 1136*p + 9. Let l be n(-2). Let d = 6024 + l. Is d composite?
False
Suppose -y + 63228 = 4*l - 171685, -176186 = -3*l - y. Is l composite?
False
Let t = 398942 - 273445. Is t a prime number?
True
Let k be 391/357 - 10/105. Is -7 - 6 - -9428 - (5 - k) a composite number?
True
Let z(n) = n**2 - 12*n + 14. Let k be z(11). Suppose -5*s = k*c - 46, -5 = -3*s + 5*c + 43. Suppose -j + 31 = u, 2*j - s = j + 3*u. Is j prime?
False
Suppose -5*v = -114862 - 229748. Suppose -215288 = -10*n + v. Is n a prime number?
False
Suppose 14*d = 19*d - 4*a - 180411, -5*a = 20. Is d prime?
False
Let r = 105130 + -20519. Is r prime?
False
Let s(d) be the second derivative of d**4 - d**3/6 + 11*d**2 + 59*d. Is s(15) composite?
False
Let h = 2499352 + -847895. Is h composite?
False
Let b be 1*-2*(-1963 + 14). Suppose 2*w + b = -0*x + 5*x, w - 4*x = -1949. Let s = 3016 + w. Is s a composite number?
True
Is (-480607)/(-7) - 720/(-840) composite?
False
Let j(b) be the third derivative of 13*b**6/15 - b**5/10 + b**4/4 + b**3/6 - b**2. Let z = -718 - -720. Is j(z) a composite number?
False
Let l(j) = j - 4. Let i be l(7). Suppose -v - 1639 = c, -i*v = -v + 3*c + 3274. Is v*(-1*(1 + 0) + 0) a prime number?
False
Let y be ((-2)/(-11))/(10/(-220)*-2). Is ((-6)/(-9))/(y/70791) a composite number?
True
Suppose -k - 25*t + 2237 = -24*t, k - 2237 = -5*t. Is k a composite number?
False
Let i(n) = -7*n + 15. Let u be i(15). Let b be (2 - 1) + u + 0. Is b*(-2)/1 - 1 prime?
False
Let v(p) = 19*p**2 + 3*p + 17. Let r(h) = h - 19. Let d(q) = -q**2 + 18*q - 17. Let a be d(16). Let f be r(a). Is v(f) prime?
False
Let v(d) = 334*d + 331. Is v(24) a prime number?
False
Let z(d) = -216*d + 212*d - 7 - 3 + 57*d**2. Suppose 3*s + 2*b = 37, -25 = -4*b - b. Is z(s) a prime number?
False
Is (-5)/50*(-120)/6 + 112059 a composite number?
False
Suppose -2*y + 19853 = -5*r, 4*r + 7*y - 9*y = -15882. Let t = r - -5860. Is t prime?
True
Let f = -2 + 7. Suppose 0 = 3*j + f*y + 12, -4*j + 3*y = -0*j - 13. Is j/(-3) + (-14088)/(-36) composite?
True
Let o be (-57)/4*(-11 + -2905 + 0). Let h = o - 16846. Is h a composite number?
True
Is -4 + (0 - -4712) + 13 composite?
False
Let a(w) = -w**2 + 9*w - 18. Let x be a(5). Suppose 4*m - x*m + 4*l = 1350, 2*m = 4*l + 1366. Is m a composite number?
True
Let k = 109513 + 5886. Is k prime?
True
Suppose 4940 + 3850 = -5*q. Is ((-221)/39)/(2/q) composite?
True
Let o(z) be the third derivative of -123*z**4/8 - 113*z**3/6 + 13*z**2 + 2. Is o(-32) prime?
False
Suppose 5*i - 159 - 206 = 5*p, 195 = 3*i + 3*p. Let r = 9 - -139. Let a = r + i. Is a composite?
True
Suppose -5*d - 881 = -4*t - 4070, 4*t = 4*d - 3188. Let z be 1/(3*1 - (-2384)/t). Is (z + 2)*2 + 5 a composite number?
True
Let c(r) = r**2 - 47*r - 47. Let h be c(48). Is 5*h/5 - -8980 a prime number?
False
Let x(b) be the second derivative of 20*b**3/3 + 11*b**2/2 - b - 14. Is x(11) composite?
True
Suppose 4*j - j - 36 = 0. Let y = -246 + 303. Let i = j + y. Is i prime?
False
Let c be (-1 - 0) + -26 + 29. Suppose c*t - 9994 = -3012. Is t prime?
True
Suppose 123*i - 91*i - 761056 = 0. Is i a prime number?
False
Suppose -5*f + 207099 = 4*w, f - 14*w - 41443 = -9*w. Is f prime?
False
Let h = -16455 - -88588. Is h prime?
False
Suppose 208*g - 204*g - 5*f - 3880943 = 0, 3*g = -2*f + 2910713. Is g a prime number?
True
Let c = -40 + 48. Suppose -4*n + 3*y + 4491 = c*y, 3*y + 2273 = 2*n. Suppose -3*g + 8*s + n = 3*s, -3*s = g - 367. Is g a composite number?
False
Is 256628/10 + (-12 - 2/(40/(-244))) a prime number?
False
Let x(v) = 142*v - 17. Let w be x(-6). Let n = 698 - w. Is n a composite number?
False
Suppose -27 = -l - 24. Is 1*(l + 3505 + 3)/1 prime?
True
Suppose 9334572 = -15*a + 21*a. Is 1/((-2)/(-3))*a/159 composite?
True
Let u = -1398002 - -1966033. Is u prime?
False
Let v(z) = z**3 + 23*z**2 + 20*z - 46. Let h = -53 - -31. Let c be v(h). Is 464 + -1 - -4 - c a prime number?
False
Let l(u) = -6 + 8*u - 15 + 0 + u**2. Let y be l(-10). Is (y - 0)/(-4 - -3)*1115 a prime number?
False
Let y(b) = 49099*b + 2. Let a be y(2). Suppose a = 4*z + 3*c, 0 = 3*c - 12 - 0. Is z a prime number?
True
Let d be ((-6)/36 - 134855/6) + 0. Let s(j) = -j**3 + 7*j**2 + 7*j + 19. Let p be s(8). Is d/(-44) - (-2)/p a prime number?
False
Let s(v) = 72*v**2 - 18*v + 371. Is s(25) prime?
False
Let p = -2151 + 2312. Suppose 0 = 4*g - 9*g. Suppose 4*n - 2*o = -6*o + 208, g = -3*n - 2*o + p. Is n a prime number?
False
Let h(b) = -179*b - 95. Let p be h(-20). Suppose -12*j + 12857 - p = 0. Is j a prime number?
False
Let x(y) = 63*y**2 - 2*y - 2. Let s be (-16)/(-4) + (2 - 2 - -1). Suppose 0 = -2*g + f - s, -4*f - 7 = -0*g + g. Is x(g) prime?
True
Let r(n) = -5*n**2 + 24*n + 28. Let b(y) = -14*y**2 + 72*y + 83. Let c(d) = 6*b(d) - 17*r(d). Is c(-41) composite?
False
Let g = 948884 - 443445. Is g prime?
False
Let t = -1422 + 4641. Suppose 5*j + p + t + 5291 = 0, -2*j = -5*p + 3431. Let a = 2854 + j. Is a a prime number?
True
Let f = -5 - -1. Let q = 2937 + -5101. Is (1 - (-1)/f)/((-1)/q) prime?
False
Let x = -87 - -103. Let q(i) = x*i - 15 + 1151*i**2 - 17*i + 14. Is q(-1) a prime number?
True
Let v = 462 + -420. Is (v + 13731)*2/6 prime?
True
Let l = 138 - -5685. Let q = 10370 - l. Is q a prime number?
True
Let u(t) = 826097*t + 816. Is u(1) composite?
True
Suppose -2*c = c + 3*c. Suppose c = -0*r + 5*r - 2360. Suppose -2*l = 6*l - r. Is l composite?
False
Suppose 0 = 16*u + u - 238. Is 2/u + 405828/126 composite?
False
Let o be -4 + 8 + -1 + -15. Let r be (3 - 9)*274/o. Suppose w - 33 = 3*p + 2*p, 0 = 3*w + 4*p - r. Is w a prime number?
True
Let s(w) be the second derivative of 79/6*w**3 - 3/2*w**2 - 3*w + 0. Is s(10) prime?
True
Let m(g) = -g**3 + 17*g**2 + 35*g + 63. Let r be m(19). Let z(s) = 11*s**3 + 6*s**2 - 4*s + 11. Is z(r) a prime number?
True
Suppose -54 + 449 = 5*m. Suppose -10*t - 41 = m. Let h(l) = -21*l + 11. Is h(t) composite?
False
Suppose -7*z = 5*a - 228476 - 305141, 3*z - 228693 = -3*a. Is z composite?
False
Suppose -6284 = -m + 5*s, -50*m + 46*m = -5*s - 25181. Is m composite?
False
Let w be 4/(-4) - ((2 - 5) + 2). Suppose w = 5*v + v - 12606. Is v a prime number?
False
Let n = -30027 + 52928. Is n a prime number?
True
Let v be (-4)/(20/(-5)) - (6 - 11). Is (-3)/(4/(-1522 + v)) composite?
True
Let d(p) = -7*p + 3112 + 3994 - 637. Is d(0) composite?
False
Is 1581552/18 - 18 - -7 a prime number?
True
Let g(h) = 5*h**2 + 8*h. Suppose -3*r - 2*w = -w - 320, -2*w + 115 = r. Let d = -92 + r. Is g(d) a prime number?
False
Let l(p) = p**3 - p**2 + 3*p + 59865. Suppose 7*x + 0*x - 3*x = 0. Let r be l(x). Suppose -r = -12*b - 3*b. Is b composite?
True
Suppose 60 = -2*j + 8*j. Let f be (1 + -1 - -2)*20/j. 