17*y - 336837 = -111621. Let m = y + 22171. Is m composite?
False
Let c(v) be the third derivative of 267*v**5/4 + 11*v**4/24 + v**3/6 + 46*v**2. Is c(-2) composite?
True
Suppose 0 = 21*t - 23*t + 122714. Is t a composite number?
False
Let m = 101 + -97. Suppose 0 = -f - 3*t - 20, m*f + 5*t + 11 + 34 = 0. Let u(d) = 45*d**2 + d + 31. Is u(f) prime?
True
Let c(p) = 797*p - 86. Let t = 60 + -55. Is c(t) a prime number?
False
Let j(n) = -11*n**3 - 29*n**2 - 145*n + 25. Is j(-66) prime?
True
Let o(x) = 62*x**3 - 5*x**2 - 56*x + 211. Is o(16) composite?
True
Let u = -611799 - -1318522. Is u a composite number?
True
Let i(k) = -k**3 - 5*k**2 - 5*k + 1. Let u = -33 + 29. Let z be i(u). Suppose -z*b + 10796 = c, 8*c = -4*b + 3*c + 8641. Is b a composite number?
True
Suppose 1464115 = 8*c + 21*c - 2021076. Is c a prime number?
False
Let n be -7 - -9 - (-5 + 3)/(-2). Suppose j = -4, 2*j = f - n - 6. Is (f - 1)/(15/(419160/(-16))) a composite number?
True
Let k = -12 + -4. Let v(o) = 14*o**3 + 20 + 4*o - 13*o**2 - 3*o - 15*o**3 + 15. Is v(k) a prime number?
True
Let u(g) = 1431*g**2 - 4*g - 9. Suppose -f + 30 = -16*f. Is u(f) composite?
True
Let t be (2/4)/(1/2). Let z be 1 - -1 - t/(-1 - 0). Is (-6)/9*-1821 + z a composite number?
False
Is -30*(2*(-18472)/(-32))/(-3) a prime number?
False
Let y = -2549 - -2567. Let i(o) be the second derivative of o**5/20 - o**4 - 17*o**3/6 + 33*o**2/2 - o. Is i(y) a composite number?
True
Let j = -50548 - -172541. Is j composite?
False
Let g(q) be the third derivative of q**6/120 - q**5/6 + q**4/2 - 31*q**3/6 - 60*q**2. Is g(10) a prime number?
True
Suppose -17873307 = 92*g - 245*g. Is g prime?
True
Suppose -4*f + 4*w = -661152, -4*f - 6*w + w = -661143. Is f prime?
True
Suppose -m + 4*h - 961 = -10105, 3*m - h - 27388 = 0. Let n(k) = -203*k**3 - 4*k**2 - 33*k + 81. Let t be n(3). Let c = m + t. Is c composite?
False
Let v = -22228 - -34127. Suppose v = 2*o - j, -3*o + 17865 = 11*j - 7*j. Is o prime?
False
Suppose -873 = -13*o + 10*o + 4*r, -o + r + 292 = 0. Is o composite?
True
Let p(y) = 41*y**3 - 35*y**2 + 5*y + 36. Is p(13) prime?
True
Suppose 25192 = -3*d + 4*d - 2*g, 4*d = -5*g + 100794. Suppose -221*q = -217*q - d. Is q a prime number?
True
Let d(c) = 132*c - 1. Let v = -36 - -4. Let k be (v/28)/((-3)/21). Is d(k) prime?
False
Let p(j) = -166471*j - 3718. Is p(-5) prime?
True
Suppose 26*q + 711658 + 819690 = 0. Is 90/108 + 1/((-12)/q) prime?
True
Let t(x) = -2*x**3 + 38*x**2 - 34*x - 32. Let m be t(18). Suppose 5*i - 6*l = 78403, 2*i + 31374 = m*i + 4*l. Is i a composite number?
False
Let p = -1359 - -2145. Let v = -377 + p. Suppose -5*x = -6*x + v. Is x a composite number?
False
Let y be (-4)/(-3) + -1 + 304/(-228). Let u be (175/10)/(y/(-1262)). Suppose 49*l - 54*l = -u. Is l composite?
True
Let x be (5/(-2))/((-1)/2). Let j be (7 - 77/35*5) + 9. Suppose 0 = 5*c + x*f - 247 - 18, -3*c + 155 = j*f. Is c a composite number?
True
Let z = -38 - -40. Suppose z + 7 = 3*q. Suppose -q*o + 0*o + 1679 = -5*u, 4*u = 3*o - 1681. Is o prime?
True
Let g be 8/32 + 393*(-6)/(-72). Suppose -2*n - z = -34043, -n + 28*z - g*z + 17008 = 0. Is n a prime number?
False
Let q(u) = -13*u**3 - u**2 + 2*u. Let d be q(1). Let b = d + 17. Suppose -3*o - b*r + r = -1013, 0 = -2*o + 4*r + 642. Is o composite?
False
Suppose -453*k + 765105927 - 295627726 = -516441418. Is k a composite number?
False
Let m(y) = -17*y**3 - 6*y**2 + 11*y + 11. Let f(z) = -z**3 - 8*z**2 - 9*z - 19. Let r be f(-7). Is m(r) prime?
True
Let c(l) = l + 45. Let u be c(-47). Let z(g) = 4*g - 4 - 64*g - 43*g + 7. Is z(u) a prime number?
False
Is 33/(-110)*248195*6/(-9) composite?
False
Suppose -4*k + 189218 = -99306. Is k a composite number?
True
Let a = 74 + -20. Suppose 0 = -12*c + 14*c - a. Is (-1258)/(-3) + (-9)/c prime?
True
Let y be 32 - ((1 - 0) + -4). Suppose 0 = -30*v + y*v - 30. Suppose 3*q - v*q = -5541. Is q composite?
False
Suppose -w = -3*t + 43798, 2*w - 7*w = 4*t - 58410. Let v = t - -22836. Suppose -v = -8*u + 16988. Is u a prime number?
True
Let q be (-5665)/(-65) + 6/(-39) - -4. Let y = 510 - q. Is y a prime number?
True
Suppose q = 79 + 81. Let f = 282 - q. Is f a composite number?
True
Suppose 113*u + 27*u = 9636216 + 26242844. Is u composite?
False
Let q = -335 + 535. Is 3084220/q + 2/(-20) a prime number?
False
Let m = 246 - 226. Let v = 123 + m. Is v prime?
False
Let w(u) = -3 + 13 - u - 6. Let i be w(-4). Let k(c) = 90*c - 31. Is k(i) a composite number?
True
Let q(k) = 21*k**3 - 29*k**2 + 54*k + 199. Is q(20) composite?
False
Let a be (-22 - -8)*(-2)/4. Suppose 3*f + 6*k - 3*k = 15, a = 3*f + k. Suppose s = f, 2*p - 314 = 3*s - 7*s. Is p composite?
True
Let k(u) = -73*u**2 + 3 + 0 + 0 + 11*u + 71*u**2 + u**3. Let g be k(8). Suppose 0 = -3*a - 15, -5*f - a - a + g = 0. Is f a composite number?
False
Let n(y) = -y + 314 + 113 - 2*y + 240 + y**2. Suppose 10*x = 10*x + 10*x. Is n(x) composite?
True
Let n(f) = -9*f**2 - 18*f - 66. Let w = 46 - 31. Let d be n(w). Is d/(-17) + 38/323 composite?
False
Let k = 2599 + 17843. Let n = k + -4391. Is n a composite number?
True
Let h = 611309 - -838620. Is h prime?
False
Suppose 39*m = 36*m + 21. Let s(a) = -a**3 + 5*a**2 + 15*a - 6. Let r be s(m). Is ((-4 - -7)/3)/(r/179) composite?
False
Let z(p) = 2851*p**3 - p**2 - 8*p - 5. Let n be z(-2). Is (18/8)/((-99)/(-264)) - n a prime number?
True
Let o be ((-216)/378)/((-2)/56*1). Is (-225)/600 + 13622/o prime?
False
Let v = -4050 + 6272. Suppose -6656 = 5*r - 8*r - 5*z, 0 = -r - z + v. Is r a composite number?
True
Let c(o) = -15507*o - 2914. Is c(-11) prime?
True
Let l = -219 - -131. Let p = 599 + l. Is p a prime number?
False
Suppose 3*q - 12516 - 4863 = 0. Suppose 15*c = 18*c - q. Is c a prime number?
True
Let s be (-1 - (1 - -1))*-7. Let x be (45/10)/((-1)/(-586)). Suppose 0 = -s*f + 12*f + x. Is f composite?
False
Suppose -5*l - 1054*o + 1244855 = -1052*o, -4*l - 3*o + 995884 = 0. Is l prime?
True
Let c(m) = -57*m**2 - 15*m - 29. Let r(z) = 227*z**2 + 61*z + 116. Let f(v) = -9*c(v) - 2*r(v). Is f(-5) a prime number?
True
Suppose 3*o + 0*d = -3*d + 60609, 0 = -4*o + 2*d + 80812. Is o composite?
True
Suppose 0 = 13*t - 49 - 3. Suppose 3*b - 131299 = 2*c, 3*b + t*c - 58368 = 72919. Is b a composite number?
True
Suppose -5*p - 4*q + 445185 = 0, -165*q = -164*q + 5. Is p a prime number?
True
Suppose -49*h + 58*h = 0. Let t be h/(1*(0 - -1)). Suppose t = -7*y - 134 + 1373. Is y a prime number?
False
Suppose 2*z - 123525 = b, 75*b + 2 = 77*b. Is z a composite number?
True
Suppose -99*u + 12553212 + 4965979 = 74*u. Is u composite?
False
Let j(l) = -3*l**3 - 38*l**2 + 23*l + 20. Let w be j(-16). Suppose -2311 = -5*o - 2*v + w, -2*o + 4*v = -1814. Is o prime?
False
Is 6/4 - (50 + -46 - 258156/8) prime?
False
Suppose -12*r + k - 35763 = -14*r, -3*k - 89402 = -5*r. Suppose -h + 4*v = -r, 13*h + v = 17*h - 71449. Is h prime?
False
Let i = 552426 + -246905. Is i a composite number?
False
Suppose 22*i = 21*i + 3. Suppose -d = -i*d + 6, 4*r - 10418 = 2*d. Is r prime?
False
Let b be 20/(-25) - (-144)/(-20). Let i be 212/(-5)*(-43 - b). Let o = 2599 - i. Is o composite?
True
Let n(v) = -2*v**2 + 9*v - 1. Let y be n(4). Suppose 0 = -i + 4*m + 210 + 33, -12 = y*m. Let k = i + 26. Is k a composite number?
True
Suppose 3*p - 9333504 = -9*m, -2*p + 1598481 = 3*m - 1512696. Is m a prime number?
True
Let c = -23501 + 35796. Is c composite?
True
Suppose -b - 2*g + 16242 = b, -b = 2*g - 8123. Let r = b - 3918. Is r prime?
True
Let q(z) = z**2 - 15*z + 13. Let s be q(13). Let k = s - -16. Suppose -4*j + 4*p = -1508, -p = -k*p + 8. Is j a composite number?
True
Let j(o) = 1198*o - 12. Let x be j(-1). Suppose n + 2*n = -1179. Let z = n - x. Is z composite?
True
Suppose -3*z - k - 32 = k, 0 = -z - k - 11. Let c = -8 - z. Suppose -764 = -3*g - 2*i + 7*i, -g + c*i = -255. Is g composite?
True
Let d(z) = -z**2 + 7. Let h be d(-3). Let r be h/(-3) - (-4264)/3. Suppose 2*v - 532 - r = 0. Is v composite?
False
Let p = -37 - -32. Let c(i) = -1570*i - 43. Is c(p) a composite number?
True
Let p(i) = 263*i**2 - 12*i + 26. Let m = 258 + -253. Is p(m) a composite number?
True
Suppose 4*g = 0, -g = 3*u - 4*u. Suppose u = -11*x + 8557 + 20340. Is x prime?
False
Let h be (-24)/(-30) - (-1)/((-5)/(