*3 + 7*h**2 - 2*h - 3. Let t be w(-6). Let y = -27 + t. Let x = y + 503. Is x a prime number?
True
Is (-12597310)/(-870) + 2/4*(-8)/6 a prime number?
True
Let f be 2*(0 - -1) + -2. Let q be (19 - -5)/(-8) - (-5)/1. Suppose -5*l + q*n + 16349 = f, 5*n - 6534 = -2*l + 3*n. Is l a prime number?
False
Let l be -1*(-2)/(-4) + 5/(-2). Let f be 28/7 + -2*l/(-2). Suppose -h = -r + 490, 26 = -5*h + f. Is r a prime number?
False
Let p(q) = 7*q**2 + 5. Let d = -81 + 142. Let n = d - 55. Is p(n) a prime number?
True
Suppose -2*g + 12 = 3*a, 3*a + 0 = 4*g - 6. Suppose 5*y = -4*p, -g*y + 2*y + 4*p = 24. Is -2 - (-6 - y) - -5*409 a prime number?
False
Let y = 2802 - -44777. Let n = y - 23862. Is n a prime number?
False
Let w = -1019 - -2676. Is w prime?
True
Suppose 0 = -0*c + 3*c - 20348 - 18643. Is c prime?
False
Let v(c) = 1702*c**3 + 22*c**2 - 115*c + 52. Is v(5) composite?
False
Suppose -8*x - 8784 = -11*x. Let w = 5459 - x. Is w a composite number?
False
Suppose -22*k = -21*k - 590868. Is k/378*7/2 prime?
True
Let i(n) = n**3 + 6*n**2 + 2*n + 14. Let w(t) = -t**2 - 2*t + 42. Let q be w(6). Let k be i(q). Is (-1733)/(-4)*k*(2 - 0) a prime number?
True
Suppose 0 = 4*f + 4*w - 80132, 0*w = -5*f - 2*w + 100174. Suppose -4*v = 1456 - f. Is v prime?
False
Let k(j) = 17155*j - 1204. Is k(2) prime?
False
Suppose -3*d - 88 = 4*w, -d + 3*d - 66 = 3*w. Let r(f) be the third derivative of -53*f**4/24 + 29*f**3/6 - 3*f**2. Is r(w) composite?
True
Suppose 15534 = -2*s + 2114. Is 3/(-6)*(s + -8) composite?
False
Is 955456/12 + (-10)/(-6) + -9 + 7 prime?
True
Let i(d) = 68743*d - 126. Is i(1) prime?
False
Let y be (23103/36)/((-1)/(-4)). Let l = y - 1186. Is l a prime number?
True
Let v(s) = -37*s**2 + 14*s - 187. Let r be v(8). Is (-12*6/12 - r) + -2 prime?
False
Let d = -3444 - -8143. Is d composite?
True
Let x(u) = -34*u - 398. Let m be x(-12). Let p(d) = -3*d**2 + 12*d - 2. Let r(i) = 1. Let s(q) = -p(q) - 3*r(q). Is s(m) a prime number?
True
Let b(s) = 5*s**3 - 29*s**2 + 13*s - 16. Is b(9) a prime number?
False
Let k = -4602 - -8685. Is k a composite number?
True
Let m(p) = 28*p + 29. Let n be m(-8). Let a = n + 2426. Is a composite?
True
Suppose 2*j + 2*o = -5 + 19, -3*o + 5 = j. Suppose -j*b + 8796 = 4*b. Is b prime?
True
Let h = 639 - 657. Is 2/4*(h - -9740) a prime number?
True
Suppose 3*y - 4*y = -20992 - 7357. Is y a composite number?
False
Let n = -4861 - -21068. Is n a prime number?
False
Let t = -10210 - -23170. Is 3/(-1) + 19/(190/t) a prime number?
False
Let p = 71 + -70. Let f be (40/6)/(1/150*p). Let l = 1709 - f. Is l a prime number?
True
Let n(k) = -10*k + 80. Let v be n(7). Is (-4)/v + 184*(-63)/(-30) prime?
False
Let c = 37358 - 10775. Is c prime?
False
Let s(p) = 10*p**3 + 4*p**2 - 5*p + 2. Is s(9) composite?
True
Let r be -6 + 5/35 + 51942/(-14). Let n = -285 - r. Is n a prime number?
False
Let l(m) = -m**3 + 17*m**2 + 22*m + 8. Let g(p) = 7*p**2 - 9*p + 3. Let d(k) = 13*k**2 - 18*k + 5. Let o(h) = -6*d(h) + 11*g(h). Let f be o(7). Is l(f) prime?
False
Suppose 0 = 28*a - 8832271 + 474635. Is a prime?
False
Suppose -2*t = 3*r - 8456, 0 = -5*t - r + 8597 + 12517. Let j = 7473 - t. Is j composite?
False
Is (-273)/364 + 915899/4 composite?
True
Let r = 77 - 78. Let k be (-1)/(1/(-79)*-1*r). Suppose -l + 6*h + k = 5*h, 5*h = 0. Is l composite?
False
Let j(n) = n**2 + 14*n - 2 - 2*n**2 - 293*n**3 - 17*n. Is j(-1) a composite number?
False
Suppose -12*o + 9*o + 3 = 0. Let x(s) = s**2 + 1. Let i be x(o). Suppose -i*l + 10 + 12 = 0. Is l prime?
True
Suppose 7557070 = -5012*p + 5022*p. Is p prime?
True
Suppose 0 = -9*t + 1206133 + 1386956. Is t prime?
False
Is 139021*(-24)/(-32)*(176/24 + -6) a prime number?
True
Let g(x) = -2*x**2 + 27*x - 26. Let h be g(12). Suppose -8*t = -h*t - 4, -15681 = -m - 4*t. Is m prime?
False
Suppose -813 - 9352 = -19*h. Suppose -2024 = -5*v + 3*v. Suppose 0 = -7*z + v + h. Is z prime?
False
Let s(w) be the second derivative of -955*w**3/6 - 102*w**2 + 87*w. Is s(-13) a prime number?
True
Let p(b) = -b**3 - 8*b**2 + b + 4. Let h be p(-6). Let d be (-349)/(-6)*h + 6/(-9). Let s = -316 - d. Is s composite?
False
Suppose 6*r - 209256 = 4*r. Suppose 11114 = 22*i - r. Is i prime?
True
Let y(v) = 5114*v - 79. Let c be y(12). Suppose 8*m + 12273 = c. Is m prime?
False
Let a = -287068 - -607247. Is a prime?
True
Let d = -8983 - -37860. Is d prime?
False
Let b = 525 - 294. Let w = b - -11342. Is w composite?
True
Let m(h) = -44*h**3 - 59*h**2 - 728*h - 70. Is m(-31) composite?
False
Let j = 47 - 19. Let a = j - 26. Suppose -6*k = -4*i - a*k + 828, 4*k = -4*i + 844. Is i composite?
True
Let w(a) be the first derivative of a**4/4 - 2*a**3 + 13*a**2/2 - a + 378. Let i = -3 - -12. Is w(i) a prime number?
True
Let d(z) = z**2 + 12*z + 12. Let h be d(-11). Is ((-2 - 2)/12)/(h/(-2391)) composite?
False
Let r(b) = -153*b - 4. Let m(f) = 459*f + 12. Let w(h) = -2*m(h) - 7*r(h). Let d be 2/29 + 39*253/2001. Is w(d) composite?
False
Let l = -966 - -1801. Suppose 3*t = -x + l, t = -2*x + 919 + 761. Is x a composite number?
True
Let k be -3*(3 + 3761/(-3)). Suppose -4*i - k = -3*j, -3*j = 2*i - 3*i - 938. Let b = -121 - i. Is b a prime number?
False
Let c(p) = -126*p + 16. Let l(v) = 672*v - 69. Let t(a) = -67*a + 7. Let r(o) = 2*l(o) + 21*t(o). Let x(i) = -4*c(i) + 7*r(i). Is x(20) prime?
True
Let j = 6824 + 229. Is j prime?
False
Let s = -274969 + 711168. Suppose -26*v + 67*v = s. Is v a prime number?
True
Suppose -4*l + 2*l = -82. Suppose 0 = 43*o - l*o - 21322. Is o a composite number?
True
Let p = 15 - 10. Suppose p*o - 3305 = 150. Is o prime?
True
Let l be (9/(-6))/((-11)/(154/3)). Let h(x) = 825*x - 108. Is h(l) prime?
False
Let v be 103/(-2)*142*(-3)/3. Suppose -7*z = 376 - v. Is z composite?
False
Let w = -444669 - -652792. Is w prime?
False
Suppose 65*c - 5 = 70*c. Let g(r) = r**2 + r + 2. Let o be g(c). Suppose -703 = -s + o*v, -6*s = -8*s + v + 1415. Is s a prime number?
True
Let j = 390 + -390. Suppose 2*y + x - 33387 = j, -y + 18437 = -5*x + 1771. Is y prime?
True
Let v(a) be the third derivative of 2*a**2 + 1/60*a**5 - 17/6*a**3 + 0*a + 0 - 13/24*a**4. Is v(16) prime?
True
Is 4*8077 + (11 - 18) + -4 prime?
True
Suppose -8 = d + d, 17226 = p - 2*d. Suppose -20390 = -8*y + p. Is y prime?
False
Let o(z) = z**2 - 6*z + 6. Let r be o(5). Let m be (-3)/(-4) + 1/4. Is 374 + r + -2 + (m - 3) a prime number?
False
Let m(h) = -h**2 - 8*h - 16. Let d be m(-4). Suppose 3*x + 78 = -4*i + 863, d = x - 3*i - 266. Is x a prime number?
True
Let m = 493 - -752. Let v = m - 664. Is v a prime number?
False
Suppose 0 = -6*x - 6*x + 132. Suppose 5*f = -x*g + 12*g + 19026, g = 3*f - 11416. Is f a composite number?
True
Is (-1 - 7) + (-5)/(55/(-90497)) a prime number?
True
Suppose 0 = -6*j - 4*c + 564134, 35*j - 94034 = 34*j - 3*c. Is j a composite number?
True
Suppose -4*i + 4155326 = -19*i + 18413921. Is i a prime number?
False
Let l(a) be the second derivative of a**5/20 + 11*a**4/12 + a**3/2 + 33*a**2/2 - 18*a. Let k be l(-11). Suppose 38*h - 35*h - 4551 = k. Is h composite?
True
Let o = 16 - 14. Let k be 1 + -2 + (-2 + 600)/o. Suppose k = -5*a + 7*a. Is a composite?
False
Let i be (4 - (-3)/(-1)) + 237/3. Let t = 1296 - i. Suppose t + 1666 = 2*d - 2*m, 5754 = 4*d + m. Is d a composite number?
False
Let k(g) = 4*g + 38. Let r be k(-6). Is ((-5884)/r)/((-10)/35) a composite number?
False
Suppose -5*t + 14 = 2*d, 0 = 4*d - 9 + 1. Let q(g) = 7*g + g**3 + 6 + 4 + t*g**2 - 3*g. Is q(7) prime?
True
Is 52733/5 + (-38)/(-95) composite?
True
Suppose 0 = 7*l + 4506 + 6638. Let j = -961 - l. Is j a prime number?
True
Let n(l) = 3*l**2 + 8*l - 2. Suppose -5*i = -2*p - 2, i + 12 = -3*p + 43. Let w be (-6)/p - 88/(-6). Is n(w) a prime number?
False
Suppose -600 = -g + 589. Let r = 100 + -97. Suppose -i + 267 = -2*v - 926, g = i - r*v. Is i a prime number?
True
Is -35094*(19/(-12) - 195/(-260)) prime?
False
Suppose 5*h - 1197450 = 5*p, 20*h = 24*h + 5*p - 957951. Is h a prime number?
True
Suppose -2*l + 5*l = -h + 727690, 5*h = 3*l - 727648. Is l a composite number?
True
Let r = 243 + -250. Is (r - 440)*5/(-3) prime?
False
Let k = 54 - 57. Let w be (5 - -1)/((-6)/k). Is (19/w)/(0 - 4/(-132)) prime?
False
Suppose 4*f = -5*x - 596, 242 = -0*x - 2*x + 2*f. Let n be