2*d. Is d prime?
True
Let j = 60004 + -23775. Is j a prime number?
True
Let d = 117 + 20. Suppose o - 5*u = 5*o - 543, o + u - d = 0. Suppose -3*t = -2*v + 441 + o, -4*v - 3*t + 1139 = 0. Is v prime?
False
Suppose -22*x + 24*x = 12. Suppose -2*n + 310 = x*g - 2*g, 4*g - 280 = 4*n. Suppose -2*k + k = 2*l - g, -5*k + 4*l = -431. Is k a composite number?
False
Let u(y) = -138*y**3 + 4*y**2 + y. Let z(l) = 689*l**3 - 21*l**2 - 4*l - 1. Let h(x) = 11*u(x) + 2*z(x). Is h(-3) composite?
True
Is (28 - (4 - -25))*(-1 + -18898) prime?
True
Let d be (-2)/13 - (-437470)/130. Is 3/((-30)/d)*10/(-5) a prime number?
True
Suppose -28*y + 25*y = 0. Suppose 4*o - 5*d = -y*d + 25031, d = -4*o + 25037. Is o a composite number?
True
Let h = -125 - -140. Let o(n) be the third derivative of n**6/120 - 11*n**5/60 - 11*n**4/12 + n**3/6 + 3*n**2. Is o(h) composite?
False
Let j(h) = -24*h - 40. Let p(y) = -8*y - 13. Let b(o) = 6*j(o) - 17*p(o). Let q be b(-9). Is q/1*(-15)/(-5) a prime number?
False
Let y(h) = -102*h**3 - 4*h**2 + 76*h + 75. Is y(-16) prime?
True
Suppose -g + 6631 = -5*p + 2*p, 3*p = 5*g - 6635. Let n = -363 - p. Is n prime?
True
Suppose 21*u = 2*y + 22*u - 493221, -3*y + 739828 = 5*u. Is y a composite number?
False
Suppose -p + 3*p = 0. Suppose 0 = -3*r - p + 12. Suppose r*m - 581 = 3*k, -4*k - 25 = -9*k. Is m a composite number?
False
Let l(s) = 50*s**2 + 1114*s + 53. Is l(-61) a prime number?
False
Suppose 5*b = 4*m + 14, -m - 46 = 5*b - 55. Is (35457/b)/((-81)/(-54)) a composite number?
True
Suppose -2*b - 4*i + 2 = -0, 10 = 4*b + 2*i. Is ((-76929)/(-6) + b)*2 a composite number?
True
Let k(d) be the second derivative of 355*d**3 - 131*d**2/2 + d + 120. Is k(5) a composite number?
True
Is (-19)/19 + (-18 - -226946) composite?
True
Suppose 2*q + q - 3984 = 0. Suppose -5*b - q = 1127. Is (b + 0)/(1 - 2) prime?
True
Let g = -88 + 146. Let h = g + -54. Suppose -3*i - 777 = -2*l, -i = h*l - 2*i - 1529. Is l a composite number?
True
Suppose -110991 = 5*h + l, -4*h + 3*l - 14852 = 73937. Let t = 42039 + h. Is t composite?
False
Let p be 75*((-82)/6 - -2). Let t be -3*(-2)/6 - (-1544 + -9). Let j = p + t. Is j a prime number?
False
Let p = 2517338 + -1390257. Is p prime?
True
Let s(w) = 15*w**2 - 4*w + 45. Let c(f) = 23*f**2 - 6*f + 68. Let d(h) = -5*c(h) + 8*s(h). Let u = 133 + -120. Is d(u) a prime number?
True
Let u(z) be the first derivative of 2*z**3/3 - 3*z**2 + 29*z + 1. Let x(w) = 2*w**2 + 99*w + 392. Let c be x(-45). Is u(c) a composite number?
True
Let v(a) = -3*a**2 + 22*a - 25. Let o be v(5). Is ((-4456)/o)/((-102)/255) prime?
False
Let l = -125643 - -192880. Is l a prime number?
False
Suppose 0 = 63*y - 2737645 - 1403141 + 832467. Is y a prime number?
False
Let y = -19753 + 48708. Is y composite?
True
Suppose 4*x + 5*c = -25998, -4*x + 3*c = 29607 - 3625. Let t = 12310 + x. Is t prime?
True
Let q(c) = -3*c + 11*c**2 - 11 - 7*c**3 + 0*c**3 + 8 - 14*c**2. Let o = -18 + 14. Is q(o) a prime number?
True
Suppose -5*y + 4*l = 7, -y - l = -4*l + 8. Is 2154 + y/((8/(-4))/2) prime?
True
Let i(l) be the second derivative of l**5/20 - 7*l**4/4 + l**3/2 - 5*l**2 + 2*l + 6. Let o be (21 + 0)*(0 + 1). Is i(o) a composite number?
False
Suppose 62*u = -4316383 + 11832581. Is u a prime number?
True
Suppose -6*q = 8*q + 30898. Is -3 - ((-3)/(-3) + q) prime?
True
Suppose 83*l + 24 = 87*l. Suppose -3*s + 4*n = -36949, -4*s - 7*n + l*n = -49297. Is s prime?
True
Let u(a) = a**2 - 22*a - 48. Let v(t) = t + 1. Let b(f) = u(f) + v(f). Suppose -51 - 35 = -7*j + 82. Is b(j) a composite number?
True
Let j(f) = 2*f. Let b be j(-4). Let k(z) be the first derivative of 14*z**3 + 7*z**2/2 - 27*z + 476. Is k(b) a composite number?
True
Let j(t) = 7*t + 24. Let i be 9 + 0/(-5 + 4) + -4. Is j(i) prime?
True
Let q(i) = -i**3 + 15*i**2 + 24*i + 15. Let g be q(17). Suppose -p = 3*p - 2632. Let k = p + g. Is k prime?
True
Let j(o) = -764*o + 106. Let f be j(-15). Let q = f - 8055. Is q a prime number?
True
Let j = 32909 - 16918. Is j a prime number?
True
Let f be (-11436)/(-20) - 1/(-5). Let w = f - -1631. Is w a composite number?
False
Let k(f) = 89*f**2 + 5. Let q be (4/(-28)*0)/(1/1). Let c be 2/(q + 1*(-2 + 1)). Is k(c) composite?
True
Suppose -12*t + 1346922 = 15*t. Is t composite?
True
Suppose -4*f - 128995 = 26*f - 716125. Is f prime?
True
Suppose 5*x - x + c = 28857, -3*x + 3*c + 21654 = 0. Let z = 191 + -179. Suppose -z*a = 3*a - x. Is a composite?
True
Suppose -4968 = -6*v - 21018. Let z = v + 7270. Is z composite?
True
Let n(i) = -i**2 - i - 1. Let k(z) = 2*z**2 - 3*z - 7. Let x(p) = k(p) + n(p). Let s be x(6). Suppose 7386 = s*u + v - 2*v, -v = -2. Is u a prime number?
True
Let s = -13074 - -9008. Let k = -2135 - s. Is k a prime number?
True
Suppose r - 206462 = 3*c, -4*r + 26*c = 25*c - 825903. Is r a composite number?
False
Let a be (249/(-2))/((-21)/448). Suppose -9*h + 368 + a = 0. Suppose -j + 62 = 5*d, j - d - h = -4*j. Is j prime?
True
Is -934*3516/(-24)*1 composite?
True
Suppose 2266604 = 216*y - 457372. Is y composite?
False
Suppose -c - 11616 + 183457 = 4*u, -u = 5*c - 859148. Is c composite?
True
Let m(w) be the first derivative of 11*w**4/12 - 5*w**3/3 - 2*w**2 + 3*w + 10. Let r(l) be the first derivative of m(l). Is r(-9) prime?
True
Let j = 2963 + -1391. Suppose k - 2*g = -0*g - j, 4*g + 3168 = -2*k. Let s = -1040 - k. Is s prime?
False
Let s(n) = -n**3 - 21*n**2 + 19*n - 10. Let k be s(-22). Let d = 58 - k. Suppose -4*x + d*f = 6*f - 4232, 2*x - 2113 = -3*f. Is x composite?
False
Let o be 2/(-12) + (-4)/((-96)/1012). Suppose -o*b = -32*b - 34070. Is b a composite number?
False
Let y(a) = 5860*a**2 - 33*a + 78. Is y(4) composite?
True
Is ((-3)/15)/(15 - 150642912/10042860) a composite number?
False
Is (22/20*(-882)/(-1617))/(2/5990) a prime number?
False
Let n be 3 + 4 - (0 + -2). Let f(k) = -k + n + 48*k**3 + k**2 - 47*k**3 - k - 6*k. Is f(5) a composite number?
True
Suppose -3*g + c + 12 = 0, -g - 3*c = -6*g + 24. Suppose -77080 = -0*n - 5*n - g*y, 0 = -3*y + 15. Is n a composite number?
False
Let u = 14352 + 7837. Is u a prime number?
True
Suppose 2*d + 8 = -2*d, -2*d - 304 = -4*p. Let x = p + 758. Let b = 1464 - x. Is b prime?
True
Is (-222844)/(-5) - (-16 - (-1106)/70) a composite number?
True
Suppose 140 = 5*p - 4*f + 2*f, -2*p - 2*f = -42. Suppose 2065 = 46*b - 11*b. Let s = p + b. Is s a prime number?
False
Suppose -u = -5*u - 16. Let d(k) = 16 + k**2 + 5*k - 6 - 2*k + 1. Is d(u) a composite number?
True
Let b = -74922 - -129209. Is b composite?
False
Let w = 3840 + -7447. Let q be w*(0 + -5)/5. Let r = q + -2388. Is r prime?
False
Let r be (14/21 + (-3)/(-9))*0. Suppose -23*t + 252 + 93 = r. Is t a composite number?
True
Let b = -456 + 519. Is 3283 + ((-12)/(-14))/((-9)/b) prime?
False
Let p(k) be the second derivative of k**6/60 + k**4/4 + 17*k**3/6 + k**2/2 + 8*k. Let h(i) be the first derivative of p(i). Is h(7) composite?
True
Let s be (4 - 14/4)*(2 - -10766). Suppose -17*p - s = -25*p. Is p a composite number?
False
Suppose -2*u + 0*u - 12644 + 41566 = 0. Is u composite?
False
Suppose b = 4*r - 34, -4*b - 87 = 5*r + 91. Let c be (-12)/7*b/12. Is c + -3 + -5 - -349 a prime number?
True
Is (-133315)/(-5) - (6 + 3*(-8 - -4)) a composite number?
False
Let l(w) = 627*w - 15. Let p(n) = n + 2. Let v(f) = -l(f) + 4*p(f). Is v(-4) a composite number?
True
Suppose -19*r = -137*r + 26012189 + 11263421. Is r prime?
False
Is (-7061440)/(-25) - -3 - 42/(-105) prime?
True
Let r = -250 + 253. Suppose 5*z - z - 32529 = -r*t, 4*t = -4*z + 43376. Is t composite?
False
Suppose 2361314 = 190*c - 2673306. Is c composite?
True
Suppose 2*y + 6794 = 3*n - 38079, -3*y + 29950 = 2*n. Is n a prime number?
False
Is ((-16)/((-96)/(-3417954)))/(1*-1) a prime number?
True
Let r(x) = -x**2 + 2437 + 7*x**3 - 4*x + 0*x**3 - 3*x**3 - 3*x**3. Is r(0) a composite number?
False
Let h be 0/(-1) - (11 + -5 + 92). Is 0 + 0 - h*(-4)/(-8) a composite number?
True
Let s(d) = -18*d + 34. Let b be s(3). Is (9/((-18)/(-4)))/(b/(-22430)) a composite number?
False
Let s = -3426 - -4925. Suppose 0 = 2*x - 6321 + s. Is x prime?
True
Let r(l) = -6356*l**3 + 2*l**2 - 2*l + 1. Let g be r(1). Suppose -4*x - 15775 = x + 5*s, 3*x - 4*s + 9472 = 0. Let c = x - g. Is c composite?
True
Let k = 15