v(-6). Suppose k*d - 84028 = 2*z, -z = -5*d + 10641 + 94388. Is d prime?
False
Let d be 436*(1 - -1 - (6 - 473)). Suppose -8744 = -18*f + d. Is f composite?
True
Let s(r) = -2413*r**3 + 10*r**2 - 2*r + 61. Is s(-6) a prime number?
True
Suppose -312*m + 317*m = -5*i + 1910, 0 = m. Suppose -4*f = 2*j + 618, 0*j + 5*j - f + 1600 = 0. Let g = i - j. Is g a composite number?
False
Suppose -30305 = 10*p + 39255. Let h = -1005 - p. Is h prime?
False
Let y be 4*((-59)/1 - -1). Let f be 3/((-6)/16)*-1 - 7. Let u = f - y. Is u a composite number?
False
Let c be 3/(-7) + 18/(-7). Let h be (-3 + 60/8)*2/c. Let z(p) = -26*p - 1. Is z(h) prime?
False
Is -2 - 296/(-16)*3086 a composite number?
False
Let w = -32 - -37. Let k(n) = n + w*n**2 - 114*n**3 + 126*n**3 - 4*n + 3. Is k(4) a composite number?
False
Let p(s) = -157*s**3 + s**2 - s - 1. Let h be p(-1). Let t(z) = 9*z - 139. Let q be t(17). Is (-12 + q)*h/4 a prime number?
True
Let u(l) = 2*l**3 + 2*l**2 - 2*l. Let d be u(1). Let p be (((-140)/12)/(-5))/(d/318). Let z = p - -186. Is z composite?
False
Let b be 5456 - -5 - (2 - -1). Let t = -3376 + b. Is t/(-2)*(-4 - (-44)/12) prime?
True
Let i = -22 + 22. Suppose i = -3*l + 74 - 32. Suppose 9*q - l*q + 6485 = 0. Is q composite?
False
Suppose 5*s = 330 + 515. Suppose -12*l + 13*l = s. Let m = l - -240. Is m prime?
True
Suppose -5*d + d + 3*m = -1311227, 0 = 2*d + m - 655601. Is d composite?
True
Suppose f - q = 22541 - 6356, 64738 = 4*f - 3*q. Is f a composite number?
False
Let y(d) = 300*d**2 + 3*d + 12. Let z(k) = -k**3 - 25*k**2 + k + 23. Let i be z(-25). Let b be (1 + i)/((-1)/3). Is y(b) composite?
True
Suppose -398*h = -413*h + 7767015. Is h a composite number?
True
Let v be 41/2 - ((-14)/4 - -4). Let h = v - 18. Suppose 0*x = h*x - 154. Is x composite?
True
Let x(t) = -10*t - 79. Let u be x(-10). Suppose -u*p = -962994 - 832401. Is p a prime number?
False
Let u(q) = -q**3 - q. Let n(i) = 2*i + 20. Let r be n(-10). Let c be u(r). Suppose c = -3*o + 128 + 541. Is o composite?
False
Let q = -53044 - -102621. Is q composite?
True
Let u = 4866 - 1061. Let q = -2116 + u. Is q a composite number?
True
Let r(t) = 1718*t**3 - 2*t**2 - 44*t + 211. Is r(5) a composite number?
False
Let b be (-72)/(-48)*(-4)/6*0. Suppose b = -8*c + 44385 + 9799. Is c a composite number?
True
Let c = -19453 + 29022. Is c a composite number?
True
Let b(x) = 11559*x + 11. Let k(l) = 11567*l + 10. Let p(n) = -3*b(n) + 4*k(n). Is p(2) composite?
False
Let w = 12 + -12. Suppose w*x - 25 = -5*x. Suppose x*j - l = 6266, 5311 + 959 = 5*j - 5*l. Is j composite?
True
Is (-42)/(-133) - 70102837/(-361) a prime number?
False
Let p = 11242 + -6518. Let c = -4 + 6. Suppose 0 = y + c*w - 3435, -w + 18492 - p = 4*y. Is y composite?
True
Let f be (-20)/(-30)*-1 - 33/(-9). Suppose -5*l - 5*y + 42525 = 0, l - 529 - 7960 = f*y. Is l prime?
True
Suppose 0 = 5*l - x + 131, -4*l = -7*l - x - 85. Let n(g) = 22*g**2 - 2*g + 298. Let a be n(-17). Is a/4 + l/(-54) composite?
True
Suppose -221 = -21*y + 4*y. Is (5 + 70/(-15))*201*y composite?
True
Let u = -780 + 2109. Let m = u - -1490. Is m a composite number?
False
Let c(s) be the second derivative of -s**5/20 + 3*s**4/4 - s**3/6 + 2*s**2 + s. Suppose -7*v + 3*v - 4 = -2*l, 0 = -5*l + 3*v + 24. Is c(l) a prime number?
False
Let r = 429989 + 101284. Is r a composite number?
True
Suppose 0 = 41*q - 32052 - 31457. Let t be (-1 + (-6)/(-2))*1876. Let o = t - q. Is o composite?
False
Suppose 16*n + 15 = 13*n. Is (16/n - -3)*(8 - 34993) a composite number?
False
Suppose -301*w = -336*w + 1796095. Is w a prime number?
False
Let k(d) be the third derivative of -d**6/120 + 7*d**5/30 + 13*d**4/24 + 16*d**3/3 + 9*d**2. Let q be k(15). Is (13 + -9)*((-273)/(-4) - q) composite?
True
Suppose 19899 = 6*z - 22233. Is z/6 + 2/3 a prime number?
True
Let y be (-6 + -4)*(-4)/30*3. Let n(k) = 1003*k**2 + 30*k - 7. Is n(y) a composite number?
True
Is -1 - (-322991 - 6 - -9) a prime number?
False
Suppose -5*a + 21*d + 287057 = 23*d, -5*d = a - 57393. Is a prime?
True
Let y = -6491 + 4531. Let k = y + 4923. Is k a prime number?
True
Let z(y) = y**3 - 46*y**2 + 16*y - 680. Is z(73) prime?
False
Is ((-21)/36)/((-42)/18) + 223929/12 prime?
True
Let b = -147 - -66. Let c = b + 80. Is 148*(-12)/(-16)*c/(-3) a prime number?
True
Let k be ((15 - -3) + 5)*3*-2. Let z = 157 + k. Is z a prime number?
True
Suppose 8685 = 3*b + 3*t - 5259, -4*b = -3*t - 18606. Suppose -65846 = -5*w + 27*w. Let a = b + w. Is a prime?
True
Suppose -4*n + s + 0 + 12 = 0, -5*n + 15 = -4*s. Let h(f) = -150*f + 2. Let r be h(-10). Suppose r = n*m - m. Is m a prime number?
True
Let n(x) = 245*x**2 - 122*x**2 + 62*x - 84*x**2 - 37. Is n(-26) composite?
True
Let n(w) be the first derivative of w**3/3 - 9*w**2/2 + 6*w - 26. Let m be n(9). Suppose -m*k + 4*k = 3*s - 502, -k = 4*s - 251. Is k prime?
True
Let t(a) = -a**3 + 20*a**2 + 28*a - 25. Let i(w) = -2*w**2 + 4*w + 21. Let g be i(0). Is t(g) a composite number?
True
Let b(q) = 5*q - 28. Let o be b(6). Let t be -4*6/12 + 0 + o. Suppose t = 9*z - 10*z + 769. Is z a prime number?
True
Let u = -406771 + 599630. Is u a prime number?
True
Let v(d) = 11*d - 61. Let r be v(6). Suppose -r*z + 153810 = 13*z. Is z a composite number?
True
Suppose -2*t + 24*i - 22*i = -55796, 0 = t - 2*i - 27895. Is t prime?
True
Let q = -67614 - -249940. Is q prime?
False
Let y be (-10158)/(-18)*9 + 4. Let w = 1916 + y. Is w prime?
False
Let o = 207 + -203. Suppose 5*c + 5*t - 5375 = 0, -o*t + 0*t = c - 1069. Is c a composite number?
True
Let o = 205719 + -90662. Is o composite?
False
Let h = 7381 + -10702. Suppose -22*s = 79415 - 27319. Let l = s - h. Is l a composite number?
False
Suppose 0*j + j - 130 = 0. Let a be j/40 - (-1)/(-4). Is (1474 - 1) + (1 - a) composite?
False
Let m(q) = -69*q**3 - q**2 - 10*q - 103. Is m(-9) a composite number?
False
Suppose 17639 = m - 5*i, -27*m - 2*i = -28*m + 17639. Is m a composite number?
True
Let i(a) = -15*a + 14. Let w(v) = -v**2 + 12*v - 23. Let l be w(10). Let p(x) = -x. Let s(t) = l*p(t) - i(t). Is s(4) a composite number?
True
Let r = 306713 - 92296. Is r composite?
True
Is ((-93486)/16 - (-67)/(-536))*-19 - 6 prime?
False
Let z = -206 + 191. Is 10/25 - 28719/z composite?
True
Let h(d) = -d**3 - 31*d**2 + 18*d + 20. Let y be h(-28). Let m = 7115 + y. Is m prime?
False
Suppose 2403*k - 2415*k = -115044. Is k a composite number?
False
Suppose 14*b + 10*b = -4440. Suppose -8*c + 6740 = -3*c. Let l = b + c. Is l composite?
False
Let m(i) = 6*i**3 + 4*i**2 + 6*i - 3. Let h be (-1)/2*-4*437/46. Suppose -1 - h = -5*k, -5*p - 4*k + 41 = 0. Is m(p) composite?
False
Suppose -5*h = 3*b - 2557082, 0 = -h - 3*b + 729587 - 218173. Is h a composite number?
False
Let a(p) be the third derivative of 163*p**4/24 + 11*p**3/3 - p**2 + 26*p. Is a(43) prime?
False
Let l = -14 - -25. Suppose 3*m + 4*f - 6 = 3*f, -2*m - 3*f + l = 0. Is (m - 2) + (-3504)/(-3) prime?
False
Suppose 215 = -24*f + 23*f. Suppose -1287 - 1001 = 2*s - 5*d, 0 = -s - 2*d - 1126. Let n = f - s. Is n composite?
False
Is (-3)/((-324)/48) - (-1418014)/18 composite?
False
Let x(i) = 113*i**3 + 3*i**2 - 16*i + 39. Let b(k) = -56*k**3 - 2*k**2 + 8*k - 17. Let p(w) = -5*b(w) - 2*x(w). Is p(5) a prime number?
False
Let r = -135023 - -259252. Is r prime?
False
Let z(q) = 29*q**2 + 14*q + 51. Let f be z(-6). Suppose -19105 = -5*o + 5*l, 4*o = 6*o + l - 7654. Suppose -f = 6*u - o. Is u a composite number?
True
Let o be 1 + 14 - (8 - 18)/(-5). Suppose -l - 3*t - 2*t + o = 0, -5*l - 4*t = -23. Suppose -5282 = -l*m - 5*x, -m - 2*x - 1779 = -2*m. Is m a prime number?
False
Let l be (-4)/(-6) - (-130)/39. Suppose -5*f = -l*m - 79, 5*f - 3*m = -6*m + 72. Is (-12)/8 + -293*f/(-6) a prime number?
False
Let o = 18 + -6. Let j be ((-4)/(-6))/((-24)/19332). Is (j/2)/(0 + o/(-40)) a composite number?
True
Suppose 2*z - 330*l = -332*l + 171896, 171900 = 2*z - 2*l. Is z a prime number?
False
Let q(z) = 4693*z**2 - 229*z + 11. Is q(9) a composite number?
False
Suppose 5*x - 5*z - 27 = -3*z, 5*x - 26 = z. Let w be (x/(-4)*-59)/((-1)/4). Let y = w + 584. Is y prime?
False
Suppose 2*z = -2*m - 8 - 16, 4*m - z = -23. Let p be -12*(2 - m/(-3)). Suppose -3105 + 457 = -p*r. Is r a prime number?
False
Let t = -39 + 34. Let 