?
True
Let f = -232313 - -676830. Is f a prime number?
True
Let w(x) = -4248*x**3 + 13*x**2 + 41*x - 19. Is w(-3) prime?
True
Suppose -322 + 378 = 8*o. Let t(n) = 5814*n - 49. Is t(o) a prime number?
False
Let q(r) = -r**3 + 13*r**2 + 15*r - 11. Let w = -11 - 20. Let y = 45 + w. Is q(y) a composite number?
False
Suppose 2*a - 4*a - 18 = -5*o, -26 = -5*o + 4*a. Suppose -21996 = -3*c + 2*i, o*i - 24583 = -4*c + 4731. Suppose 6*p - 4364 = c. Is p a composite number?
False
Let s = -26 - -25. Let q be (s + 5 + (-5)/5)*-103. Is (-1)/((-1544)/q + -5) a composite number?
True
Is (-351)/(-234)*3/(-9)*-195422 a prime number?
True
Let w(y) = 1916*y + 18. Let g be w(5). Suppose -405*m - g = -406*m. Is m a prime number?
False
Let q be 21/(-189) + (1 - 56/(-18)). Suppose 13*j + 5908 = 2*s + 11*j, -2979 = -s - q*j. Is s a composite number?
True
Let u = 219739 - 105382. Suppose -538979 = -22*o - u. Is o prime?
True
Suppose -6*r - 6*r - 42588 = 0. Let l = -1962 - r. Suppose 572 = -5*t + l. Is t prime?
False
Let h(u) be the second derivative of -u**5/20 - 23*u**4/12 - 7*u**3/2 + 29*u**2/2 - 46*u. Is h(-22) prime?
True
Let m(b) = -109*b**3 + 57*b**2 + 217*b + 16. Is m(-13) a composite number?
True
Let u = 408155 - 13510. Is u prime?
False
Let m = 730 - -1274. Let h = -41 + m. Suppose -3*a + 248 = -h. Is a composite?
True
Let p(y) = 155*y + 15 - 129*y + 14 - 331*y. Is p(-10) a prime number?
True
Let i(f) = -3*f**3 + 42*f - 29 + 3*f**2 - 22*f**2 - 22. Is i(-18) composite?
True
Let j = 725 - 697. Suppose 3777 - 151421 = -j*i. Is i a prime number?
True
Let p(d) = -41*d - 39 + 95*d - 48*d. Is p(33) composite?
True
Let r = -109521 - -227974. Is r a composite number?
False
Suppose -h = 27 - 80. Let k = h - 47. Suppose -2*l + 100 - k = 0. Is l a prime number?
True
Let x(h) = 4*h**3 - 69*h**2 + 41*h + 665. Is x(44) a prime number?
True
Let f = 26 + -26. Suppose 0 = -2*d - 3*x + 4264 + 2319, f = -d + 4*x + 3297. Let q = d + -1534. Is q a prime number?
True
Suppose -10*f - 274721 = -439239 - 620052. Is f prime?
False
Let k = -242310 - -340627. Is k a prime number?
True
Let i(f) be the third derivative of 23*f**5/15 + 11*f**4/6 - f**3/3 + 191*f**2. Is i(-8) composite?
True
Suppose 2*p + 0*p - 46 = 0. Is (-6194)/(-4)*4 - (20 - p) composite?
False
Suppose x - 44 = 11. Let n = x - 43. Suppose 5*c + 26831 = n*c. Is c a composite number?
False
Let l(i) = 545*i**2 - 36*i - 285. Is l(-26) composite?
False
Is (6/(-1))/(-1) + 32641 composite?
False
Let q(k) = -k**3 - 39*k**2 - 39*k + 59. Let y be q(-26). Is ((-6)/(-15))/(0 + (-2)/y) prime?
True
Suppose 5*i = 2*u + 1624805, 3*u - 423367 = -3*i + 551495. Is i composite?
True
Let q(w) = -6931*w**2 - 8*w - 7. Let v be q(-1). Let x = v + -40292. Is 2/(-8) - x/56 composite?
True
Suppose -4*w + 43535 = 6*i - 3*i, 2*i = -w + 10890. Let h = w - 6471. Is h a prime number?
True
Suppose 3*o = 5*o. Suppose -2 = -v - o. Is (-1 + v)/(1/35) composite?
True
Suppose -9*y + 80 = -1. Suppose -y*j + 434 = -646. Let o = 11 + j. Is o prime?
True
Suppose -548*u - 412175 = -552*u + 3*z, -2*z = 2*u - 206084. Is u prime?
True
Suppose 16*y + 2*y - 72 = 0. Suppose 0*d + d - 2*h = 2571, -y*d = -3*h - 10264. Is d a composite number?
True
Let a be 0/(-7 + 3)*1. Suppose a = -t + 1, 0 = -4*o - t + 1063 + 218. Suppose 270 = 2*y - o. Is y prime?
False
Suppose 3*r - 4*d = -16924 + 131111, -d = r - 38074. Is r prime?
True
Suppose -1424*x + 1429*x - 138925 = 0. Is x prime?
False
Let b = 52 + -49. Suppose -b*d + 9 = -0. Suppose 2*z - 275 = -d*z. Is z a prime number?
False
Let y(z) be the second derivative of -1/6*z**3 + 0 + 77/12*z**4 - 1/2*z**2 - 8*z. Is y(-1) composite?
True
Let w be (-348276)/(-6) + 6 - -9. Let o = -5712 + w. Is o a prime number?
False
Let l(i) = -958 - 4*i - 10*i + 937. Suppose 10*w - 7*w = -21. Is l(w) a prime number?
False
Let b(q) = 10 - 3*q**2 - 2*q**3 + 106*q - 101*q + q**2. Let y be -5 + (0 + 4)/(-3 + 1). Is b(y) a composite number?
False
Let g(s) = 30*s + 25. Let h be (-1)/(-3 - 20/(-6)). Let y be -4*(h - 1) + 0. Is g(y) a prime number?
False
Suppose -u + 895075 = -m, -411*m = -409*m - 12. Is u a composite number?
True
Let b(f) = -3*f - 19. Let n be b(10). Let t = n - -51. Suppose -t*y - 2*m = y - 1045, m = -4*y + 1390. Is y prime?
True
Suppose t - 1 = y - 3, 4*t = 5*y - 8. Is (6 - 5) + (y - -2052) a composite number?
False
Let o(m) = -2486*m - 29. Let p be (26/(-4) + 6)/(2/8). Is o(p) prime?
True
Suppose 5*z + 4*g - 339687 = 0, -271746 = -39*z + 35*z - 5*g. Is z a prime number?
True
Let j(i) = 52*i - 5. Let d be j(2). Let c = d - 94. Suppose s + 0*s + 3*m = 706, 0 = 5*s + c*m - 3480. Is s a prime number?
True
Suppose x + 2*z = -203, 0 = -3*x - z - 549 - 50. Let w = -8 - x. Is w a composite number?
False
Let h be ((-36)/(-10))/(0 - (-12)/(-11720)). Let y = -1859 - h. Is y a prime number?
True
Suppose -51 = -34*m + 425. Suppose m*b - 1236 - 6968 = 0. Is b composite?
True
Let l(n) be the third derivative of 0 + 39/8*n**4 - 5/6*n**3 + 25*n**2 + 0*n. Is l(18) a composite number?
True
Suppose 0 = -b + 3 + 9. Let d be 3/(7/(112/b)). Suppose -8 = 2*g + 2, 0 = 5*s + d*g - 3915. Is s a composite number?
False
Let a = 4984 - 1871. Suppose -a = -3*q + 2*x, 2 = x - 0*x. Is q composite?
False
Suppose -5*c = -4*k + 191103, -5*c - 5822 + 101381 = 2*k. Suppose 132864 + k = 29*g. Is g a prime number?
True
Let y(s) = 2*s**3 - s**2 + s + 41. Let i(w) = 4*w + 110. Let p be i(-25). Is y(p) prime?
True
Suppose 608233 - 199072 = 87*h. Is h composite?
False
Let z = -153 + 155. Suppose -z*b + 4861 = -2053. Is b a composite number?
False
Suppose 6*k - 2*k + n + 1 = 0, 5*k + 3*n = -10. Let v(w) = -5138*w**2 - 2*w + 1. Let g be v(k). Let z = -3208 - g. Is z a prime number?
True
Let p(y) be the second derivative of -23*y**3/6 - 10*y**2 - 14*y. Let d(m) = m**2 + 8*m + 10. Let w be d(-4). Is p(w) prime?
False
Let f(s) = 116*s**3 - 6*s + 17*s**3 + 1 - 3*s**2 - 4 - 20*s**3. Let z be f(-2). Let d = z - -1554. Is d a prime number?
True
Let t(c) = 2*c**2 - 4*c - 55. Let a be (18 - 17)*(2*4)/(-1). Let i be t(a). Let q = 22 + i. Is q a prime number?
True
Is (3 - -8) + 3 - -69425 a composite number?
False
Let a(m) be the third derivative of m**6/120 + m**5/12 - m**4/8 - 8*m**3/3 + 26*m**2. Let v be a(-5). Is (0 - v) + 2803 + 4 + -1 a prime number?
False
Let a(u) be the first derivative of -89*u**4/4 + u**3 + 9*u**2/2 + 10*u - 64. Is a(-3) a composite number?
True
Suppose 100*g = 1472120 - 97020. Is g composite?
False
Suppose 4*v + 6*u = 121192, -5*u = 2*v - 44686 - 15898. Is v prime?
True
Let n(u) be the third derivative of u**6/120 - 2*u**5/5 - u**4 - 5*u**3/2 - 25*u**2. Let y be n(25). Is (9254/5)/7 + 6/y a prime number?
False
Suppose 1 + 4 = 5*p. Suppose -11 = -4*l + p. Suppose 0 = l*d + 12, -6*d + 3*d = -5*k + 2957. Is k a prime number?
False
Let g = -1204 - -12321. Suppose -2*v + g = 3*c, -6*v + 3*v = -c - 16670. Is v a composite number?
False
Suppose 1431783 = 36*n - 4*n + 43271. Is n a prime number?
True
Let x(d) = -151*d - 158. Let q be x(-15). Suppose 5*z + q = i, z + 10583 = 3*i + 2*i. Is i composite?
True
Is 933376/36 + -5 + 132/27 a composite number?
True
Let v = -383271 - -548540. Is v prime?
False
Suppose -h - 25 = -28. Suppose 24 = -5*o + h*q - 1, 3*o = -5*q + 19. Is 1/(o - 794/(-396)) - -1 prime?
True
Let m = -1802 - -2609. Suppose 17103 = -m*x + 810*x. Is x a prime number?
True
Let s(g) = -11153*g**2 + 23*g - 10. Let q be s(-5). Is 5/2*q/(-125) composite?
True
Suppose -3*u + u + 10 = 0. Suppose -2*k = -u*p - 11 - 2426, -2*p = 4*k - 4862. Suppose 5*m - 3*j = -4*j + 2034, 3*m - k = -5*j. Is m prime?
False
Let f = 71 - 59. Suppose 6*v = 4*v + f. Let k(n) = 13*n + 19. Is k(v) a prime number?
True
Suppose 7*s - 5*s = -6092. Let y = -2157 - s. Suppose -q + 2667 = 3*k - 3*q, 0 = k - 4*q - y. Is k a prime number?
False
Let q = 28807 - 18945. Is (-1)/(q/9863 + -1) a composite number?
True
Suppose -5*c + 2218 = i, 153*i - 152*i = 3*c + 2266. Suppose 3*z = -2*z. Suppose 968 + i = 3*v - 3*h, 4*v + h - 4293 = z. Is v prime?
False
Suppose 3*v + 68 - 59 = 0. Is (-10892)/v + (-140)/84 a composite number?
True
Is (25 + -29)*(-2208773)/84*3 a prime number?
False
Is (85 - 70) + 2*24523 a prime number?
False
Suppose 42044 = 4*r - 4*x, -12*r + 13*r + 5*x - 10499 = 0. Let i = 14930 