-17 + 19. Is (-1324)/5*(-5)/h composite?
True
Suppose w - 4*x - 24482 = 0, 0*w - 3*x - 73482 = -3*w. Suppose -24*n = -30*n + w. Is n a composite number?
True
Let n(p) be the first derivative of 772*p**3/3 - 5*p**2 + 9*p - 80. Is n(3) composite?
True
Let s = 177164 - 108301. Is s composite?
False
Let z(p) = 2*p**3 + 33*p**2 + 31*p - 197. Is z(17) composite?
True
Let v(g) = -2459*g**3 - 4*g**2 - 8*g - 11. Let p be v(-2). Is p + -2 - (-21 - -19) prime?
True
Let c = -9127 + 15596. Is c composite?
False
Suppose 0 = 10*p - 5 - 15. Suppose -5*y + 9289 = -7*k + 6*k, -9293 = -5*y + p*k. Let q = 110 + y. Is q prime?
False
Suppose -8*j + 12506 = -40382. Suppose 2*z - 675 = -5*h + j, -3*z + 5*h + 10929 = 0. Is z a composite number?
False
Let x = -3279 - -2311. Let a = x + 3725. Is a a composite number?
True
Let j(a) = 13*a + 4. Let v be j(0). Suppose -401 = -3*d - v*g, -d = d - 2*g - 244. Is d prime?
True
Suppose -4*d - 3634 = 3*t - 0*t, -t + 4552 = -5*d. Let u = 1563 + d. Suppose 6*b = 2*o + b - u, 5*o - 1555 = -3*b. Is o a prime number?
False
Suppose g = 3*k - 573284, -21*k + 24*k = -4*g + 573289. Is k composite?
True
Let t(w) = 437*w**3 - 3*w**2 + 41*w - 118. Is t(3) prime?
True
Suppose -14 = -b + 2*y, b - 4*y - 76 = -4*b. Suppose b*a - 26090 = -2*h + 19*a, -h = 2*a - 13045. Is h a prime number?
False
Suppose -u + 441483 = -3*l + 160739, 2*u + 2*l - 561528 = 0. Is u a prime number?
True
Let g(z) = -z**2 + 4*z - 14. Let d be g(-6). Let m = 87 + d. Is (54/(-39))/(-9) + 2481/m a composite number?
False
Let q(s) = -s**3 + s - 2. Let n be q(-3). Let z = n - 49. Is (-10628)/(-36) - (-6)/z prime?
False
Suppose 0 = -82*v + 83*v + 2*j - 483739, 1934932 = 4*v + 12*j. Is v prime?
True
Let x(b) = -965*b + 46. Let t(f) = -967*f + 47. Let k(n) = -6*t(n) + 5*x(n). Is k(9) prime?
True
Let k be (-1)/2 - 327*(-4)/24. Let f be (-16)/(-9) + (-4)/k*-3. Suppose 5*j - 485 = -4*p, 7*j - f*p + 194 = 9*j. Is j a prime number?
True
Suppose -2*l = r - 404 - 1310, -l - 1708 = -r. Let u = 3071 - r. Is u a composite number?
False
Let l(y) be the first derivative of 5*y**3 - y - 15/2*y**2 + 26. Is l(-7) a prime number?
True
Let p = -168 + 144. Let x(a) = 2*a**2 + 11*a - 23. Is x(p) composite?
True
Suppose -232204 = -9*j + 449429. Is j a prime number?
False
Suppose 3*v - 77004 = 279225. Is v a prime number?
False
Let y = -115 + 373. Let p = y - -1648. Is p a composite number?
True
Is (-8)/(-2)*16/192*246387 prime?
True
Let h = -1612279 - -2370138. Is h composite?
True
Suppose 5*b + 4*w = 949159, -4*b = -5*b + 3*w + 189809. Is b a composite number?
True
Let t = -125 - -85. Let a = t - -39. Is 1190 - (-6 + 4 + a) a prime number?
True
Let d(b) = -57*b - 11. Suppose 0 = -v - 4*i - 38, 201 = -5*v + i + 32. Is d(v) a composite number?
True
Let u(w) = 688*w - 1171. Is u(18) a composite number?
False
Let w(t) = -2*t**3 - 9*t + 12*t**2 - t**2 + 11 + 0*t**3 + t**3. Let g be 105/25*2 + (-2)/5. Is w(g) a composite number?
False
Let b(j) = 910*j + 777*j - 570*j. Is b(1) a composite number?
False
Suppose -4*q - 5 + 17 = 0, 0 = 4*m + q - 35. Is (-6 - -7834) + 12*4/m composite?
True
Let x(r) = -1208*r**2 - 3*r - 2. Let l(m) = -m**2. Let v(u) = -6*l(u) - x(u). Is v(-1) prime?
True
Let d = 20 - 23. Let c be d/(-12) + (-26234)/8. Let t = -1100 - c. Is t prime?
True
Suppose 2*h - 1784 = -2*b + 4*h, 5*b + 2*h - 4495 = 0. Let y = 640 + b. Is y a prime number?
False
Let i = -5531 - -6346. Is i composite?
True
Is ((19 - -5) + -38)*44686/(-4) prime?
False
Let s = 13077 + -7493. Let u = 19749 - s. Is u prime?
False
Let o(z) = 11*z**3 - 6*z**2 + 3*z - 10. Let b = -24 + 30. Let s be o(b). Suppose 53 = l + 3*n - s, 3*l - 6663 = 2*n. Is l prime?
True
Suppose -21*b = -3*b + 23*b - 8059165. Is b a composite number?
True
Let z(s) = 7213*s**2 + 13*s - 73. Is z(9) a prime number?
False
Let q = -80 - -92. Let u be 243/q*(-3)/((-6)/8). Suppose 0 = -8*c - u + 1385. Is c a composite number?
False
Let c(k) = 11*k + 23. Let b be c(-11). Let z = b - -495. Is z composite?
False
Let b = 560 + 225. Let v = -16 + b. Is v a composite number?
False
Let t(m) = 11188*m**2 + 21*m - 107. Is t(4) a composite number?
True
Let g(w) = -114*w**3 - 20*w**2 - 120*w - 59. Is g(-13) a prime number?
True
Is 1 - (-6)/18 - (-1570114)/42 prime?
False
Let r = 8309 + -112. Is r prime?
False
Let p be -1 + 4 + 17 + 4956. Suppose -3*l + o + 7447 = -0*o, 5*o - p = -2*l. Is l a composite number?
True
Suppose 131*b + 894578 = 2429505. Is b a prime number?
True
Let l = 21 + -19. Suppose -17 = l*k + 5. Let b(y) = 3*y**2 + 3*y + 1. Is b(k) a prime number?
True
Let u = -268423 - -403982. Is u a composite number?
False
Suppose 5*m = -2*g - 10, 20 = -5*m - 3*g - g. Suppose 2*o + 4 + m = 0. Is (1468/(o - 2))/(-1) composite?
False
Let i(r) be the first derivative of 115*r**2 - 21*r - 4. Let y be i(-9). Let k = -1406 - y. Is k a prime number?
False
Is (-2 - 28805/(-15))/((-5)/(120/(-8))) a composite number?
True
Let h(y) = 2*y**3 + 7*y**2 + 6*y - 2. Let g be (-4)/(-2) + ((-105)/7)/(-3). Is h(g) a composite number?
False
Let i be 77/(-14) - -6 - 5529/(-6). Let a = i + 283. Is a a prime number?
False
Let n = 151441 - -1018. Is n a composite number?
False
Suppose 13118 = 25*b - 1132. Let s = b - -16. Is s a composite number?
True
Let f(i) = 31*i + 33 + 28 - 20. Let j be f(18). Let h = -78 + j. Is h a prime number?
True
Suppose 62520 = 4*k + 3*n, -10*k - 2*n - 78127 = -15*k. Is k prime?
False
Let v(r) = 500186*r**2 + 224*r + 221. Is v(-1) composite?
True
Suppose -3*s + 2 = -p, s + p - 2*p - 2 = 0. Suppose b = 3*d + 314 + 668, s = -2*b + 4*d + 1964. Is b composite?
True
Let y = -29 - -33. Let p be -1*(y/(-18) + 291/(-27)). Suppose p*u - 926 = 9*u. Is u a composite number?
False
Let q(c) = c**3 + 9*c**2 + c + 13. Let a be q(-9). Suppose -3*g - 8*x - 34 = -a*x, -4*x = 16. Is 3/(-2)*23*284/g a composite number?
True
Let m = -38084 - -81415. Is m a prime number?
True
Let c be 6/4 + (-688)/32. Let m be ((-84)/(-10))/((32/c)/(-4)). Let v(f) = -f + 72. Is v(m) composite?
True
Is (-1931668)/6*(-315)/210 a prime number?
True
Let s(n) = -n**3 + 100*n**2 - 366*n + 366. Is s(74) composite?
True
Let z be 44/(-28) + 12/(-28). Let y be 1 + 1 - 4/z. Suppose 5*j - y*u - 19049 = -2*u, 5*j - 19043 = -u. Is j composite?
True
Let v(g) be the second derivative of 99*g**3 + 95*g**2/2 + 46*g. Is v(7) a prime number?
True
Suppose -62*w + 46*w = -320. Suppose w*k - 67825 = 15*k. Is k a prime number?
False
Let z(f) be the third derivative of 23*f**5/30 + f**4/24 + f**3/2 - 14*f**2. Let x be z(-3). Let u = -265 + x. Is u a prime number?
True
Let h = 696143 - 436006. Is h a prime number?
True
Suppose 0 = -4*f + 421 - 421. Let r(s) = s**3 + 12*s + 2819. Is r(f) a composite number?
False
Let u be 1684/(-36) - (-2)/(-9). Let p = u - -48. Is 1/((-2)/(-2387 + 1/p)) a composite number?
False
Let n(u) = u**3 + 161*u**2 + 1117*u - 89. Is n(-130) a composite number?
False
Suppose -44597 = -3*h + 4*u, 3*h - 81*u - 44603 = -83*u. Is h prime?
True
Suppose 3*w - 3*l + 6936 = 0, -3*w = -6*w + 4*l - 6940. Let c be (-8)/(-28) + w/(-7). Suppose 0 = t - 4*b - c, -2*t + 5*t - 934 = -2*b. Is t a prime number?
False
Let t(d) = 2*d**2 + 8*d + 10. Let i be t(-5). Let o be i/(-150) - (-4273)/(-15). Let y = o + 2064. Is y composite?
True
Suppose -5*c + 31672 = 4*u, 0*c = -2*u - 4*c + 15836. Let g = -4679 + u. Is g prime?
False
Let z(i) = i**3 - 3*i**2 + 8. Let b be z(-2). Is (280/b + 4)*-3 a composite number?
True
Let d = 342 - 54. Suppose -5*v - 4*q + 481 = 0, 4*v + 5*q - d = 95. Is v a composite number?
False
Suppose 4*p - 559918 + 144016 = p. Is p prime?
False
Suppose 3*k + 18 = 0, 0 = -3*i + 3*k + 1550859 + 4747902. Is i prime?
False
Let h(c) = -c**3 + 3*c**2 + 3*c - 6. Let b be h(3). Let s be (331/3)/(1/b). Suppose -4*t - s = -839. Is t prime?
True
Suppose -22*y = -25*y + 189. Suppose -36*i + y*i = 456867. Is i composite?
False
Let u be 2 - 7/((-21)/(-54)). Let q be 8/((-64)/6)*4. Is ((-6604)/u + q)*4 composite?
True
Let k be (1545 - -1)*(-6)/(6 - 8). Is -5 + k/3 + -3 a prime number?
False
Is ((-2)/(-21) - 2/(-6)) + (-57392064)/(-567) prime?
True
Let w be (-120)/(-90) + (-4)/(-6). Suppose -w*q = -9325 - 7381. Is q a prime number?
True
Suppose -f = -q + 3, 20*q - 19*q + 3 = -2*f. Is (f - 0)*(-15218)/4 a prime numb