= 7*d(m) + 5*o(m). Is s(5) prime?
False
Suppose y - 28 = 5*k, 0*k - 3*k - 30 = -5*y. Suppose 3 = -y*z + 12. Is z + 9237/6 + (-6)/(-12) a prime number?
True
Let b(p) be the first derivative of 8*p**6/15 - p**5/60 - p**4/8 - 2*p**3 - 1. Let r(d) be the third derivative of b(d). Is r(-1) prime?
True
Is (2 + -84865)/(7/(12 - 19)) composite?
True
Let i(k) = -5073*k + 373. Is i(-30) composite?
False
Let q = -317011 + 475900. Is q a prime number?
False
Let p(x) = x**3 - 27*x**2 - 98*x - 75. Is p(47) composite?
False
Suppose -w - c + 9 = c, -9 = -5*w - c. Let b be w - 4 - -4*(-686)/(-4). Suppose -37*n = -36*n - b. Is n a composite number?
False
Let y(v) = 8*v**2 - 23*v - 41. Let i be y(-2). Suppose -586012 = 9*l - i*l. Is l a composite number?
False
Let y be ((-12)/8)/1*6. Let r be (11 + 4)*(-3)/y. Suppose 4942 - 532 = 5*b - r*h, -5*h = -3*b + 2636. Is b prime?
True
Let o(z) = -22*z**3 - 2*z**2 - z + 1. Let w be o(4). Suppose -4*q + 1452 = -5*k - 2*q, 0 = 3*k + q + 880. Let v = k - w. Is v prime?
True
Suppose -2*s + 10*d = 7*d - 61, -2*s = d - 57. Suppose s*c - 85270 = 19*c. Is c prime?
True
Let k(y) be the first derivative of -y**4/4 + 13*y**3/3 + 17*y**2/2 + 5*y - 30. Suppose 7 + 7 = n. Is k(n) prime?
True
Let a = -23565 + 57416. Is a a composite number?
False
Suppose 16 = 6*d - 8. Suppose -d*y = y. Let f(g) = g**2 - g + 391. Is f(y) a composite number?
True
Let d = -83249 + 122188. Is d composite?
True
Suppose -25*j + 865 = -6185. Let p = j - -4832. Is p composite?
True
Suppose 24991 = 5*x - 22879. Suppose 2*a = 6 - 2, -x = -2*q - 5*a. Let u = -2329 + q. Is u prime?
False
Let y(w) = 30*w**2 - 13*w + 18. Let r be (3 - 10)*1/3*3. Is y(r) prime?
True
Suppose -345001 = -w + 2*a, 12*a - 7*a = -2*w + 690002. Is w a prime number?
True
Suppose 103 = 6*r + 43. Is ((-6074)/10)/((-2)/r) prime?
True
Suppose -36*q + 41*q - 80245352 = -83*q. Is q prime?
True
Let a(z) be the first derivative of -z**2/2 + 18*z - 16. Let b be a(6). Is (-2 - 4172/b)*-3 a prime number?
True
Let v(w) = w**3 - 2 - 2*w**3 - 7*w + 3. Let y be -6 - ((-1)/(-2) + (-66)/44). Is v(y) a composite number?
True
Let g(k) = k - 4. Let d be g(11). Is 15428/(d + 0) - 1 prime?
True
Suppose -7 = -5*x + 6*x. Let n = -152 + 328. Is (-3649)/x - (n/28 - 6) composite?
False
Is 130*(-135239)/(-78) - 4/(-6) a composite number?
True
Is (2 + 1)/((-10374051)/(-741003) - 14) prime?
True
Let w(l) = 723*l + 19. Let b(s) = -s - 3. Let g(z) = -6*b(z) + w(z). Is g(6) a composite number?
True
Suppose 0*a + 4*v - 155 = -a, v - 775 = -5*a. Suppose -x = -28 - a. Let q = 3616 - x. Is q a prime number?
True
Let v(n) = -n**3 - 8*n**2 - 4*n + 4. Let j(q) = 7*q**2 + 5*q - 3. Let d(x) = -3*j(x) - 2*v(x). Let f = 17 - 11. Is d(f) a composite number?
False
Let f = -180 + 99. Let r = f + 86. Is ((-449)/4)/(r + (-63)/12) prime?
True
Let q = 33161 - 68114. Let c = q + 49940. Is c a prime number?
False
Let z(f) = -f + 25. Let j be z(5). Suppose 3*a = -j - 223. Let p = -2 - a. Is p composite?
False
Is (-436423 - -1)*((-1068)/(-72) + -15) composite?
True
Let t = 42246 - 11779. Is t prime?
True
Let x(r) = 162*r - 112. Let y be x(-13). Let a = 4107 + y. Is a a composite number?
False
Suppose 28*x - 31*x = 5*m - 434905, 86981 = m - x. Is m prime?
True
Suppose 46*n - 41*n = 100. Suppose 4*r = -0*r - n. Is -1*(-4 + 1109)/r a prime number?
False
Let h(g) = -g**2 - 12*g - 10. Let w be h(-10). Suppose -m - w + 6 = 0. Is (m - 324/8)/((-1)/34) a composite number?
True
Is 298742/((-1)/(-1))*(16 - 186/12) a prime number?
True
Let c(i) be the third derivative of 0*i - 5/24*i**4 - 2*i**2 + 5/3*i**3 + 0. Is c(-5) composite?
True
Suppose 53*h = 55*h - 120. Is 829732/h + 4/30 prime?
True
Suppose -728220 = -17*l + 511973 - 5347. Is l composite?
True
Let j = -3 - -3. Suppose j*d - 2*d = 4. Is 5 + d + 3/((-9)/(-1110)) composite?
False
Let g be 316*(0 + 1/2). Let o = -14 + g. Suppose 0 = -l + o + 5. Is l a prime number?
True
Suppose -5*f = 26*f + 10*f - 1415279. Is f a composite number?
False
Suppose -8629401 = -306*h + 9229065. Is h a composite number?
True
Suppose -10*p + 21249 = -7*p. Suppose v + p = 10*v. Is v prime?
True
Let n(d) = d**3 + 22*d**2 - 22*d + 25. Let c be n(-23). Suppose c*u = 32187 + 5771. Is u prime?
True
Suppose 5*a = 11 + 19. Suppose 0 = -5*k + a*k - 1. Let t(u) = 677*u**2 + 2*u - 2. Is t(k) composite?
False
Is 656748432/(-1440)*40/(-12) prime?
True
Let h(t) = -36*t**2 + 2*t - 2. Let g be h(4). Let a = g + -282. Let z = 1409 + a. Is z a prime number?
True
Is 36017102/2387 - (-15)/7 prime?
True
Is 517713 - -2*((-54)/58 - (-16)/(-232)) composite?
False
Let w(p) = -p**3 - 5*p**2 + 7*p + 6. Let d be w(-6). Suppose 1 = -s - 2*h, -5*s = -d*s + h - 13. Suppose 0*c = 2*f + c - 26, f = -3*c + s. Is f a prime number?
False
Suppose 18 = 3*d, 144894 + 136777 = g + 2*d. Is g a prime number?
False
Suppose -22*z - 40 = -14*z. Is (-1435)/14*22/z a prime number?
False
Let m be (-20)/15*(-1 + 2 - 100). Suppose -4*r = -m - 504. Is 14/(r/51 - 3) prime?
False
Suppose -2*t = t - 11511. Suppose -6 = 4*h - 2*h, 0 = -4*k + h - t. Let m = k + 1697. Is m prime?
False
Let d(q) = -36811*q - 44. Is d(-3) a prime number?
False
Let r(q) = -143710*q**3 + q**2 - 16*q - 16. Is r(-1) a composite number?
False
Let x(m) = -6*m - 40. Suppose 0 = a + 14 - 7. Let f be x(a). Is 14/f*(216 + -5) a prime number?
False
Let s be (2 - 1)*-2 - -18. Suppose 4*m = -k - k - 48, -4*k = -s. Let d(b) = -50*b + 33. Is d(m) a composite number?
False
Suppose 3*y = -j - 0*j + 80, y + 5*j - 36 = 0. Let h = 31 - y. Suppose -2*a - h*f + 927 = 0, 2*f + 168 = -2*a + 1080. Is a prime?
False
Suppose -157371 = -3*t - 3*u, 45*u - 40*u = -30. Is t a prime number?
False
Let k be (0/2)/(3 + -6). Suppose k = 5*r - 7*r + 4*d + 1648, -3*r = -3*d - 2484. Let z = r + -141. Is z prime?
True
Let z(d) be the second derivative of -1621*d**5/20 + d**4/12 - d**3/2 - d**2 + 57*d. Is z(-1) composite?
True
Let j(a) = -6*a - 78. Let f be j(9). Let o = 137 + f. Suppose 11179 = 3*v - 2*k - 4644, -o*v = 4*k - 26357. Is v prime?
True
Let s be 180/14*(-12446)/21. Let x = s + 11261. Is x prime?
False
Is 0 + ((-206831)/(-5))/(-1 - 66/(-55)) a prime number?
False
Let k(s) = -119*s**3 + 2*s**2 + 3*s + 1. Let c(w) = w**2 + 2*w - 3. Let n be c(3). Let r = -13 + n. Is k(r) a composite number?
True
Let g = 13184 + 74369. Is g prime?
True
Let q(d) = -6464*d + 4431. Is q(-58) prime?
True
Let i be (-2 + (-2 - -10))*13782/12. Let v = i - 508. Is v composite?
True
Suppose 2*q = -3*u + 9611, u = -3*q + 2403 + 803. Is u a prime number?
True
Suppose -3*u - 5*w - 4 = 0, -2 = -0*u + 2*u + 3*w. Suppose 0 = -u*z + 3838 + 286. Is z a prime number?
False
Let u be ((-482)/3)/(4/(-6)) + 3. Let y = u + 87. Is y a composite number?
False
Let t be (3208/(-16))/1*-2*94. Suppose -12477 - t = -f. Is f a composite number?
True
Let p = 80988 - -43655. Is p composite?
False
Let o = 27 + -52. Let a(r) = -r**3 + 10*r**2 - 5*r - 18. Let l be a(11). Let i = o - l. Is i a prime number?
False
Suppose -2*l + 3*p = 9469, 6*l - 11*l - 5*p - 23685 = 0. Let y = l - -11445. Is y a prime number?
True
Suppose 1455*h = 1456*h + 3. Is h*((-33208)/12 + 5) a prime number?
True
Suppose -j = 5*b - 6*b - 2748, 13776 = 5*j + 4*b. Let o = j - -2605. Is o composite?
True
Let t(c) = 144*c**2 - 7*c - 2. Let d be 2/(-5) + 153/(-5). Let p = 28 + d. Is t(p) a prime number?
False
Let p = -311584 - -893595. Is p prime?
True
Let u(a) = 5*a**2 + 7*a - 4. Let p(z) = z**2 - 1. Let r(x) = 6*p(x) + u(x). Let w be r(-4). Suppose 4*d = l - w, 2*l + 3*d - 5*d - 282 = 0. Is l a prime number?
False
Let k = 285108 - 158087. Is k a prime number?
False
Let c = -199863 + 376726. Is c a composite number?
True
Let c(r) = 10543*r**2 - 5*r - 625. Is c(9) prime?
False
Suppose -5*x + 22 = 5*g - 278, -3*g - 198 = -3*x. Suppose -59*t + x*t = 1556. Suppose 4*f + 3*u = -u + 520, -3*f - 2*u = -t. Is f composite?
True
Suppose -2*p + 85*z + 378211 = 86*z, -4*z - 28 = 0. Is p a prime number?
False
Let f(l) = 54*l**2 + 14*l + 745. Is f(54) a prime number?
False
Let g be 40/12*(-6)/(-4). Suppose -3*f - 5*h + 666 + 4066 = 0, g*f + 3*h - 7876 = 0. Suppose -6*i = -16 - f. Is i composite?
True
Let k(a) = 14 - 2*a - 6 - 3042*a**3 + 7226*a**3 - 7. Is k(1) a prime number?
False
Let t(l) = -7718*l + 1475. Is t(-9) prim