(-10) prime?
True
Let n(f) be the first derivative of 19*f**3/3 + 31*f**2/2 + 45*f - 126. Is n(25) a prime number?
False
Let y = 231480 + -135791. Is y a prime number?
False
Suppose 5*b + 2*k = 93874 + 16103, -4*k = 4*b - 87996. Is b prime?
False
Let x(a) = 20619*a + 173. Is x(4) a prime number?
False
Let d(p) = p - 27. Let s be d(13). Let c = -9 - s. Suppose -2*j - 1324 = -3*k - 258, -c*k + 1778 = -3*j. Is k prime?
False
Let m(d) = 856*d**2 - 10*d - 143. Is m(-8) a composite number?
False
Let n(b) = 3*b**2 - 3*b - 5. Let k be n(3). Suppose -k*v - 3*v + 6064 = 0. Is v prime?
True
Is 6 - 3 - 40/15 - (-490628)/3 composite?
False
Let t(g) = 152*g**2 - 184*g - 463. Is t(-37) a composite number?
False
Suppose -2*x = -f - 579 - 193, -1943 = -5*x - 4*f. Suppose 4*s - 3*z + 268 = 0, -5*s + 3*s + z - 136 = 0. Let o = s + x. Is o prime?
True
Suppose 2*h = -3*y + 51206, 5*h = 2*h + 3. Suppose y = 11*q - 3403. Is q a composite number?
False
Let g(v) be the third derivative of -v**4/12 - 23*v**3/6 + 19*v**2. Let d be g(-7). Let h(k) = 24*k**2 - 14*k - 17. Is h(d) prime?
True
Let f be -3 - 4878/(-14) - 4/(-7). Let n = -223 + f. Is n a composite number?
True
Let m(a) be the third derivative of a**6/40 - 17*a**5/60 + a**4/12 + 5*a**3/6 + a**2. Let b(k) = k**3 + 7*k**2 - k + 1. Let i be b(-7). Is m(i) composite?
True
Let y be (15/(-9) - -1)*(-3 - -6). Is 20 - -5668 - (y - -4) composite?
True
Suppose 2*a - 3*r - 168920 = 0, -359*a - 168924 = -361*a + 5*r. Is a composite?
False
Let v(b) = -5869*b**3 - 4*b**2 - 5*b - 3. Let f be v(-2). Suppose 7*p = f + 27768. Is p a prime number?
False
Let a = 154 + -90. Let d = a - 61. Suppose d*b - 5*y - 1790 - 1209 = 0, -b + 977 = 4*y. Is b a composite number?
True
Let q(i) = -i**3 + 31*i**2 + 21*i + 17. Let m be q(25). Let n = m - 1888. Let h = -1307 + n. Is h prime?
True
Let q(v) = -22*v - 65. Let t be q(-15). Let b = 1172 - t. Is b a composite number?
False
Let o be (-1*18658)/(2 + 0 + -1). Let g = -10673 - o. Is g composite?
True
Suppose -168 = 2*y - 23*y. Is 48018/26 + y/52 composite?
False
Let m be (0 + 5)*(-42)/14. Is 5*((-16824)/m)/8 a composite number?
False
Let p = -441 + 89. Let q = 67 - p. Is q prime?
True
Let m = 14 + -115. Let j = m + 96. Is ((-4)/j*1)/(64/35680) prime?
False
Let j(m) = 547*m - 6. Let z(v) = v**3 + 26*v**2 + v + 30. Let f be z(-26). Suppose 0 = 4*a + 2*h - f, a = -0*h + 5*h + 1. Is j(a) a composite number?
False
Let t = 36702 + 64896. Suppose -54*v = -12*v - t. Is v prime?
False
Suppose 31*o - 105 = 16*o. Let p(a) = 180*a - 101. Is p(o) a prime number?
False
Let w(d) = -2*d**2 + 10*d - 12. Let p be w(-8). Let n = p - -487. Suppose 1574 = g - n. Is g a composite number?
True
Let g = 278760 + -126787. Is g a composite number?
True
Suppose 5*r - 5295 = -3*v, -v - 609 = -2*r + 1520. Suppose -r = -11*s + 8695. Is s a composite number?
False
Let u(k) be the first derivative of -20*k**2 - 11*k + 8. Let d(x) = -x + 1. Let w(q) = -6*d(q) - u(q). Is w(9) a composite number?
False
Suppose -3*m + 595 - 55 = 0. Is (72/m)/((4/(-31810))/(-1)) prime?
True
Let w(z) = -10*z**2 - 2*z + 24. Let x be w(-10). Let g be (-9)/45 - -2*x/(-10). Suppose -5*u + g + 854 = 0. Is u a prime number?
False
Suppose 5*u + 2*t = 92050 + 142743, 5*u - 234805 = -5*t. Is u composite?
False
Suppose 4*q - 69 + 25 = 0. Suppose -3*l - 5*l + q*l = 0. Suppose l = 4*t - a - 522, 3*a = 5*t + 6*a - 661. Is t composite?
False
Suppose 107539 + 93498 = 3*n + b, 0 = -2*n - 4*b + 134018. Is n prime?
False
Suppose 4*h + 5 = -5*c + 28, h + 31 = 4*c. Suppose 0 = c*q - 9*q + 7104. Suppose 0*v + 2*j = -4*v + q, 2*v - 1768 = -5*j. Is v a prime number?
False
Is (-5)/7 - (-17161036)/721 a prime number?
True
Suppose 0 = -2*u - 2*a - 12, u - 3*u + a = 0. Let s be (2 + -1)*-1 + (-10366)/u. Suppose -46*v = -48*v + s. Is v a prime number?
True
Suppose 5*t = 3*l - 63237, 13*l - t = 14*l - 21095. Is l prime?
True
Let g(o) = 10942*o**2 - 131*o + 754. Is g(5) prime?
False
Suppose 202*d = 198*d + 3*j + 196991, 2*d - 98513 = -j. Is d prime?
True
Let c be 355/15 - (-2)/(-3). Suppose -5*r + 29 = 4*a, 0*a + c = 4*a - r. Suppose a*q - 1069 = 269. Is q a prime number?
True
Let x = -3204 - -5812. Let k = -3841 - -2074. Let t = k + x. Is t composite?
True
Suppose 5*m + 151*g - 149493 = 150*g, -3*m - g + 89695 = 0. Is m a prime number?
False
Suppose 2*n - 4*j = 148886, -4*j = -39*n + 42*n - 223289. Is n a composite number?
True
Let i be -1 + (-3)/((-3)/5). Let q be (-1)/(i/((-8)/1)). Let d(u) = 1312*u**2 - 4*u + 5. Is d(q) composite?
True
Let a(y) = -578*y**3 - 2*y**2 + 2*y + 7. Suppose 2*t - 50*h = -49*h, 4*h = -3*t - 22. Is a(t) composite?
True
Suppose -77*b + 1248454 = -3*b. Is b a prime number?
True
Let p = 81193 + -41490. Is p prime?
True
Suppose 16*p + 5*p - 756051 = 840558. Is p prime?
False
Let r = -15 - -6. Let h(c) = -1574*c + 41. Is h(r) a prime number?
True
Let b(p) = 4*p + 8. Let w be b(-4). Let u(v) = -16*v - 17. Is u(w) a composite number?
True
Suppose -16 = 4*y, 791*l - 787*l - 4*y = 5388. Is l prime?
False
Suppose -5*o = 25, -174017 = -4*f + 3*o - 18670. Is f composite?
False
Suppose -2*r + 975 + 3959 = 0. Let q = r - -2700. Is q a prime number?
True
Is (-60)/(-3) - (-229 + -546142) composite?
False
Let u = 25 - 12. Suppose u*r = -15452 + 41699. Suppose 3*i + r = 4*t, -1842 = -5*t + 3*i + 678. Is t prime?
False
Let y be (-3 - 1) + 1 + 84 + -76 + 2. Suppose -l + 5*d = -27, 5*d + 33 + 2 = 5*l. Is (y/(-14))/(l/(-1268)) prime?
True
Suppose 596*p - 592*p - 486184 = -r, -2*p + 4*r + 243110 = 0. Is p a prime number?
True
Suppose -4*l - 3*b + 118107 = -44173, 3*l + 5*b - 121721 = 0. Is l a composite number?
True
Suppose -12*n = 8*n + 3*n. Is (-308)/44 + (n - -2085) prime?
False
Suppose -q - 9 = -4. Let i be (-5172)/10 - q/25. Let f = i - -924. Is f a composite number?
True
Let x(w) = -113 - 1358*w - 99 + 223. Is x(-5) a composite number?
True
Suppose 4*k - 12432 - 206986 = -5*d, 219422 = 4*k + 3*d. Is k a prime number?
False
Suppose 0*t = t - 3869. Suppose m - t - 23028 = 0. Suppose -7*h = -20*h + m. Is h a composite number?
False
Suppose h = 144 - 1258. Let l = 313 + h. Let m = l + 1240. Is m composite?
False
Let j(g) = 4*g**2 + 23*g + 26. Let d be 12/(-3)*171/(-36). Is j(d) composite?
False
Let b(o) = 17*o**2 + 4*o + 4 + 202*o**2 + 156*o**2. Let p be b(-1). Suppose -9*c + 1968 = p. Is c composite?
True
Let m = -963 + 967. Let d(g) = 897*g**2 - 11*g + 43. Is d(m) prime?
False
Suppose 0 = 3*w + 4*j - 363703, -3*w + 176*j - 175*j = -363683. Is w composite?
False
Let n(p) = 505*p**2 - 10*p - 1. Let c = 183 - 179. Is n(c) a prime number?
True
Let z(q) be the first derivative of -100*q**2 - 39*q + 16. Is z(-7) a prime number?
True
Let x = 229698 + -153229. Is x a composite number?
True
Let z(k) = 171*k - 54. Let l be z(10). Let u be ((-2)/6)/(5/(-60)) + l. Let s = 2853 - u. Is s a prime number?
True
Suppose 3*u = 5*u + 2, -3*u = 4*p - 4041. Let m = p + -557. Suppose 1436 = 2*k + m. Is k prime?
True
Let a be 1/((-2)/(0 + -212)). Suppose a*z = 103*z + 30021. Is z a prime number?
True
Let z(y) = -73 - 7*y + 73. Let u be 259/(-35) + 2/5. Is z(u) a composite number?
True
Let k(s) = 733*s**2 - 35*s + 31. Is k(5) a composite number?
False
Let m(l) = l**3 + 112*l**2 + 54*l - 494. Is m(-109) composite?
True
Let f = -5639 + 8325. Suppose 0 = -2*n + 4*t + 2702, -26*n - f = -28*n - 4*t. Is n prime?
False
Suppose 5*u = -2*x + 59981, 0 = 53*x - 50*x + 5*u - 89964. Is x a prime number?
True
Let k(u) = 1658*u**2 - 8*u - 3. Let i = 250 + -254. Is k(i) composite?
False
Let z(u) = 20*u - 124. Let p be z(6). Is ((-3170)/p)/((-36)/(-72)) a prime number?
False
Let o(y) be the first derivative of 4*y**3/3 - 8*y**2 - 17*y + 2. Let q(r) = -r**3 - 26*r**2 + 26*r - 14. Let z be q(-27). Is o(z) prime?
False
Let n(q) = 118*q**2 + 11*q + 1. Let a = -148 - -146. Is n(a) a composite number?
True
Suppose -2*f = 8, 4*j + 2*f + 3390 = -7142. Is j*1/(-5)*(2 - -3) composite?
True
Let a = 11519 - -13076. Is a composite?
True
Suppose -14*q + 15*q = 635. Is 67/(3815/q + -6) a composite number?
True
Let f be -626 + -2 + 1 + 4. Let i(x) = 1288*x**2 + x + 1. Let m be i(1). Let r = f + m. Is r a composite number?
True
Is 6/(-9) - (3/(63/(-6074159)) - -4) prime?
True
Suppose 2044*o - 2104*o = -5309580. Is o co