d derivative of 4*v**3/3 - 9*v**2/2 - 15*v. Is w(11) prime?
True
Let d(b) be the first derivative of -b**4/4 - 4*b**3/3 + 2*b**2 - 2*b - 6. Let k be d(-5). Is 368 - k*4/(-4) a composite number?
True
Let u(o) = 5*o + 13. Let t be u(-3). Is 3/9*(894/t)/(-1) a composite number?
False
Let g(t) = t**3 + 26*t**2 + 27*t - 59. Is g(-23) a composite number?
False
Let i = -1538 - -2496. Is i a composite number?
True
Suppose -3*n + 4*z + 10333 - 1166 = 0, 0 = 2*n + 4*z - 6078. Is n composite?
False
Suppose -2*i + 0*i = -y - 35, -3*y + 75 = 3*i. Is ((-708)/18)/((i/42)/(-5)) a prime number?
False
Suppose -1162 = 4*v - 2*g, 5*v - 507 = 4*g - 1961. Let y = -96 - v. Is y prime?
False
Suppose -2*z + 11 = c - 4*z, -17 = -3*c + 2*z. Suppose -18 = -3*n - c*n. Suppose n*t - 1748 = -t. Is t prime?
False
Let y = 6976 - 4847. Is y prime?
True
Is (-4 - 1)*-1*(398 - 1) prime?
False
Let n = 7 - 3. Let q(k) = k**2 - 6*k + 5. Let s be q(n). Is (s + (-1)/(-2))*-14 a prime number?
False
Suppose -4157 = 4*w - 38425. Is w a prime number?
False
Suppose -24*l + 3740 = -4*l. Is l a prime number?
False
Let r = -5 - -7. Let z be (-4)/r + -2 + 1148. Is z/6 + (-4)/(-12) a prime number?
True
Let t(x) = -x**3 + 3*x**2 + 5*x - 2. Let g be t(4). Suppose c - 39 - 399 = -4*v, 898 = g*c - 3*v. Is c a prime number?
False
Suppose -10*i + 157381 = -145239. Is i a composite number?
True
Suppose 0 = -4*x - 0*x + 56. Suppose -t + x = -507. Is t prime?
True
Suppose 9057 = l - 14056. Is l composite?
True
Suppose 4*b + 85429 = 5*l - 33256, 3*b + 23726 = l. Is l prime?
True
Let r = 22 - 19. Let h(a) = a**3 - 4*a**2 + 2*a + 1. Let v be h(r). Is v/(-3) - 26929/(-21) prime?
True
Is ((-630512)/24)/(12/(-18)) composite?
True
Suppose 0 = 3*k + 2*c - 6*c - 6455, 0 = -2*k - 2*c + 4308. Is k composite?
False
Let l = 4883 - -3740. Is l a composite number?
False
Let x = -16 - -23. Is (-23174)/(-14) - 2/x a composite number?
True
Let i = -93 + 97. Suppose -1586 = -i*x + 1110. Is x composite?
True
Suppose 53*q - 68*q + 408885 = 0. Is q a composite number?
False
Let z(h) = 87*h + 23. Suppose k = -2 + 8. Is z(k) a prime number?
False
Suppose -4*n = -3*n. Suppose -5*p = t + t - 41, n = -2*p + 3*t + 24. Suppose -75 = -4*x + p. Is x prime?
False
Let z be 0/25 + 138/2. Suppose 0 = 65*w - z*w + 26692. Is w prime?
True
Let z = -44019 + 81704. Is z a prime number?
False
Let w(q) = 2*q**3 + 14*q**2 + 2. Let b be w(-7). Is b*(-6)/(-24)*6898 a prime number?
True
Let q(v) = 3*v**2 + v. Let j be q(1). Let x = j - 4. Suppose -4*b + 2*z + 852 = 0, x = -4*b - 2*z + 166 + 670. Is b a composite number?
False
Let t(c) = 6*c**3 + 13*c**2 - 25*c + 17. Is t(17) a composite number?
True
Let j = 15008 + -7023. Is j composite?
True
Is (-262061)/(-3) + 1 + 322/966 prime?
False
Let y be -3*-2*(-3)/(-6). Suppose -2*f + 6 = -2*r, y*r + 0*r - 12 = -4*f. Suppose 5*k - 20 = 0, g + 3*g - 2*k - 148 = r. Is g composite?
True
Let g(u) = 28756*u**2 + 6*u - 3. Is g(1) prime?
True
Let h = -3 - -8. Suppose -h*r = -6*r. Suppose r = 3*a - 1881 - 1326. Is a a prime number?
True
Let h be (1/(-2))/(1/(-746)). Let u = h + 778. Is u a composite number?
False
Let f = -1433 - -2446. Suppose -5*p = -f + 138. Suppose -d - 4*d = -p. Is d a composite number?
True
Let k be 1 + ((-4)/10 - 2/(-5)). Is k*3/((-6)/(-1982)) a prime number?
True
Let p(q) = -15*q + 4 - 8 + q**3 - 10*q**2 + 0*q**3 - 7. Is p(14) a composite number?
False
Is (8 - 5) + -2 - -6242 a prime number?
False
Let j(q) = q**3 - 6*q**2 - 8*q + 4. Let u be j(7). Let k(y) = 4*y. Let n be k(u). Is n/4 - -120 - 4 a prime number?
True
Suppose -57*a + 766566 + 203973 = 0. Is a prime?
True
Let a be (-1)/((1 - 3)/6). Let t(h) = 3*h + 10. Let f be t(14). Suppose -2*l + a*l = -y + f, -4*l = -3*y + 149. Is y prime?
False
Let a = 33 + -54. Let x = a + 9. Let l = 43 - x. Is l a prime number?
False
Let h(m) = m - 1. Let a(j) = -2*j - 4. Let n(g) = a(g) - 3*h(g). Let v = -60 + 56. Is n(v) composite?
False
Let i be (4*1)/(22/8481). Suppose -27*n + 24*n = -i. Is n composite?
True
Let g = 17 + -21. Let n be g + 4 + 141 + 0. Let q = -28 + n. Is q prime?
True
Is (3/12*5482)/((-2)/(-4)) a prime number?
True
Let x = 227 + 356. Is x a prime number?
False
Let o(k) = 103*k**3 + 2*k**2 + 4*k + 4. Let z be o(-2). Let b = 1229 + z. Is b a composite number?
False
Suppose f + 26 = 18. Let t = f + 126. Is t a composite number?
True
Let m(t) = -t**3 + t**2 + 2*t - 463. Let x be m(0). Let o = x + 878. Is o a prime number?
False
Suppose 3*x - 4*f + 22 = 3, -2*x - 2*f + 6 = 0. Let i be 1 - (0 - -1)*x. Is ((-761)/i)/((-4)/8) a composite number?
False
Let r = 60 - 63. Is 1644 + (-1 - ((-12)/r + -3)) composite?
True
Suppose 0 = -0*c - c + 2. Suppose 7*s + 30 = c*s. Is (-590)/(-8) + s/(-24) prime?
False
Let m = 98 - 88. Let j = m + 1031. Is j composite?
True
Let u(p) = -3*p + 52. Let n be u(15). Let s(l) = 29*l**2 + 13*l - 1. Is s(n) prime?
True
Let a(c) = -504*c + 85. Is a(-16) composite?
True
Let m(o) = -o**3 + 6*o**2 + 2*o + 1. Suppose 4*q = 3*r - 22, -52 = -5*r - 2*q + q. Let f be (-10)/(-15)*(r - 1). Is m(f) a composite number?
False
Suppose -81*r = -99*r + 32922. Is r a composite number?
True
Let c = 0 + 3. Let l(u) be the first derivative of 16*u**3/3 - 2*u**2 - u + 22. Is l(c) composite?
False
Let l be (-1)/(-2)*(-31 - -45). Suppose 0 = -l*y + 603 + 286. Is y a composite number?
False
Let c = -2 + 9. Suppose 2*t - c*t - 5*a + 315 = 0, -67 = -t - 2*a. Suppose -w = -t - 32. Is w composite?
True
Let a(k) = 57*k**2 + k + 2 - 51*k**2 + 60*k**2. Is a(5) prime?
True
Suppose -2*a + 30202 = 4*d, -2*a + 4*d - 6441 + 36675 = 0. Is a composite?
True
Suppose 3*x = 8*x - 77975. Is x a composite number?
True
Let k(m) = -6*m**3 - 2*m**2 - 3*m + 4. Suppose u = -4 + 10. Let y be u/(3*2/(-3)). Is k(y) composite?
False
Let l be 18/5*(8 + -13)*64. Let v = -661 - l. Is v a composite number?
False
Let l = 24 + 33. Let s = 148 - l. Is s prime?
False
Suppose -3*g = 3*l - 12, 2*l - 2*g + 12 = 6*l. Suppose -l - 13 = 5*o. Is 333/o*(-2)/6 prime?
True
Is (3 + (-40)/12)*(-342351)/3 a composite number?
False
Suppose -5*p = 5*z - 6915, -3*z + z + p = -2775. Let i = -751 + z. Is i a composite number?
True
Is 6/(-6) - -2558 - -4 prime?
False
Let d(t) be the second derivative of 28*t**4/3 - 2*t**3 + 7*t**2/2 - 9*t. Is d(-4) composite?
False
Is 19182 - (2/4)/(10/20) composite?
False
Let n be (-56)/(-40) - (-6)/10. Suppose 0 = n*j - 0*j - 3168. Is (-22)/77 - j/(-7) prime?
False
Let d(a) = 2041*a**3 - 3*a**2 - 6*a + 11. Is d(3) a composite number?
False
Let n = 2086 - -657. Is n composite?
True
Is 3/(-54) + (-3634529)/(-414) prime?
True
Suppose -16*u + 83732 = -115484. Is u prime?
True
Let k(s) = 8*s**2 - 2 - 4*s + s**3 + 13*s + 5. Let d(i) = 64*i + 186. Let v be d(-3). Is k(v) a composite number?
True
Let z(f) = -f**3 - 4*f**2 - 7*f - 1. Let t(p) be the first derivative of p**4/2 + 2*p**3/3 + 2*p - 3. Let l be t(-2). Is z(l) composite?
False
Is ((-47904)/(-18))/(-16)*-6 a prime number?
False
Let i(b) = 10*b + 1. Let l be -13*(3 - (-2 - -6)). Is i(l) prime?
True
Let b = 52 + -77. Let z = 174 - b. Is z prime?
True
Let a = 15699 + -6760. Is a prime?
False
Let x be (-3)/(-12) + 5/((-80)/(-92)). Suppose -x*j + j = -1945. Is j prime?
True
Suppose 7*z - 2*z = r - 3358, -2*r + 6692 = -2*z. Is r a composite number?
False
Suppose 2*c + 643 = 3*c. Suppose 9*m + 70 = 4*m. Is c/2 - (-7)/m composite?
True
Is ((-2)/(-4))/(2 + 35244/(-17624)) a composite number?
False
Suppose -2*d = -4*c - 2468, c = -c - d - 1234. Let b = c + 1155. Is b a prime number?
False
Let r be (-4)/14 + (-1626)/42. Let a = r - -118. Suppose -c + a = -64. Is c composite?
True
Suppose 0*g + 4*g = 2*l + 7728, 1938 = g + l. Is g composite?
True
Suppose 5*w - 20 = -0*w. Suppose 0 = 5*l - a - 728, 3*l + 162 - 585 = -w*a. Is l prime?
False
Let s(b) = 2*b**3 - b - 940. Let a be s(0). Is (-4)/(-16) + a/(-16) a composite number?
False
Let j = 95 + -90. Suppose -j*g = 3*a - 426, -a = 2*g - 37 - 105. Is a composite?
True
Suppose -s = -2*s. Suppose s = 2*f - 5 - 5. Let w(t) = 9*t + 1. Is w(f) prime?
False
Let w(b) be the first derivative of b**3/3 + 15*b**2/2 - 24*b + 2. Let c = -91 + 74. Is w(c) a composite number?
True
Let i = 2700 + -1682. Is i prime?
False
Suppose 4*j + 50155 = g - 0*j, -5*g + 250839 = -4*j. Is g a co