37*f - 89. Is k(5) a prime number?
True
Let b(r) = r**3 + 8*r**2 - 3*r + 49. Let l be b(-9). Let j(c) = -928*c - 19. Is j(l) a prime number?
True
Let u(g) be the third derivative of -g**5/60 - 5*g**4/24 - g**3/2 + 9*g**2. Let q be u(-6). Is q/3*(-710)/15 a composite number?
True
Let h = 2265388 + -328077. Is h composite?
False
Suppose 46*z = -147849 + 4479623. Is z composite?
False
Is 17236955/55 - 2/(-11)*-1 a prime number?
True
Suppose -12*b - 11*p + 776898 = -14*p, 5*p - 258954 = -4*b. Is b prime?
False
Let q be 0/((-3)/5 + (-7)/5). Suppose s = -3, -4*z + q*z - 4*s = 0. Suppose 2*o - 4*c - 1194 = 0, 4*o - c = -z*c + 2338. Is o prime?
True
Suppose 0 = -0*f + 4*f + 5*h - 15, -12 = 3*f - 4*h. Suppose f = -k + 3, -4*k - 4 = -5*g - 16. Suppose g = n, 0*s + 4*n - 1868 = -4*s. Is s a composite number?
False
Suppose 0 = 464*x - 451*x - 2560153 - 570520. Is x prime?
False
Is ((-10710804)/(82 + -30))/((-3)/41) prime?
False
Let q(k) = 11*k**3 + 2*k - 7. Let j be q(4). Let r(i) = -14*i - 16. Let u be r(-3). Suppose c + u = j. Is c a composite number?
True
Let f be 7156*(15*1/12 + -1). Let v = f + 5508. Is v a prime number?
True
Let p be 818/3 - 14/(-42). Suppose 9*l - 4*l - 3*a = 1359, 3*a + 819 = 3*l. Suppose z + l - 1446 = -4*s, 5*z = s - p. Is s composite?
False
Let o = 68 + -72. Let v be (4*(-2)/(-12))/(o/6). Is (-1 + -447)/(-2) + v composite?
False
Suppose r = 12965 - 2958. Is r composite?
False
Is -5 + (201575 - 0) + -11 prime?
False
Let u(d) = -d - 12. Let r be u(-9). Let l be (-8861)/((20/8 + r)*-2). Let w = l + 15214. Is w a composite number?
False
Suppose -2*o + 5*o - 21 = 0. Let i be o + -8 - 8/(-2). Suppose i*f + 2*y - 45 = 0, 5*f - 14 = 2*y + 45. Is f a composite number?
False
Suppose 94*y - 47*y - 30226687 = 0. Is y prime?
True
Let v be (28/(-6))/(-5 + 3988/798). Suppose 0 = -5*f - x + v, 33*x + 388 = f + 28*x. Is f a prime number?
True
Let k(l) = l**3 - l**2 + 2*l - 4. Let o be k(2). Let f(z) = -z**2 + 4*z + 3. Let h be f(o). Is 5387/(((-2)/h)/((-20)/30)) composite?
False
Let k = 3200 - -214. Suppose -2*o + k = 2*z, 4*z + 1508 = -o + 8333. Is z a prime number?
False
Suppose 0 = 2*m - 950*c + 955*c - 3320384, 8300879 = 5*m - c. Is m a prime number?
True
Let u(r) = 288*r + 11. Suppose -8*s + 2 = 10. Let h be (s + 2/(-6))/(16/(-24)). Is u(h) a prime number?
True
Let h(i) = -20*i**3 - i**2 + 8*i - 12. Suppose -8*q + 7*q - 7 = 0. Is h(q) a composite number?
True
Let x be 0 + 4 + (-1 - -6). Suppose 2*n = -4*i + 3018, 4*n - x*i + 5*i = 5976. Is n prime?
True
Let h(g) = 10*g**2 + 49*g + 432. Let p be h(-31). Suppose 3301 = -2*r + p. Is r a prime number?
False
Suppose -2*t = -29 + 115. Let d = t + 51. Is (1 - (-140)/d)*26 a composite number?
True
Let p = -20 + 25. Suppose -t + 7307 = p*k - 3305, 0 = -5*t + 2*k + 53087. Is t composite?
True
Let p be 1088/42 - 58/(-609). Suppose 0 = p*h - 40540 - 253338. Is h composite?
True
Let p = 153115 + -20841. Is p prime?
False
Suppose 71*z = 3850915 + 2755422. Is z a prime number?
True
Let n = 74530 - 10211. Is n a prime number?
True
Let y(h) be the second derivative of -h**5/20 - h**4/12 - 3*h**3 - 7*h**2/2 - 122*h. Is y(-7) a prime number?
False
Suppose 4*b - 480 = -4688. Let v = -718 - b. Is v prime?
False
Suppose -2*r + 141512 = 2*u, -224*r + 70759 = u - 222*r. Is u prime?
True
Let c be 4 - (-2 - 18/(-3)). Suppose c = -4*w - 4*k + 189 + 615, 2*w = -4*k + 404. Let x = 423 - w. Is x a composite number?
False
Let b = -236 + 240. Is (-15)/(1 + b) + 1376/4 prime?
False
Let d(k) = -k**3 - 67*k**2 - 44*k - 747. Is d(-71) a composite number?
False
Let n(g) = 35*g + 3. Let s(q) = 17*q + 1. Let f(p) = -4*n(p) + 9*s(p). Let m be f(1). Suppose 3*l + 4445 = m*l. Is l a prime number?
False
Let o(w) = -20*w + 42. Let c be o(2). Suppose r = 11*j - 15*j + 6388, 4*j - 6388 = c*r. Is j prime?
True
Let f(p) be the third derivative of -p**6/40 + p**5/10 + 7*p**4/24 + 7*p**3/3 - 224*p**2. Suppose 0 = 4*g - c + 10 + 8, -4*g = -2*c + 20. Is f(g) composite?
True
Let p = 6 - 5. Let a be 4/6*p/2*-12. Is 305*2 - (a - (-12)/4) prime?
False
Let q = 274 + -275. Is ((-2)/(0 + q))/((-6)/(-14349)) prime?
True
Suppose -390*j + 124507955 = 325*j. Is j composite?
False
Let l = 1680499 - 816288. Is l composite?
False
Let l be ((-2 - 3) + 1)/(2 - 4). Suppose p = 4, -3*i + 6*p + 8273 = l*p. Suppose -1192 = -5*g + i. Is g composite?
True
Let h = 1582 + 2626. Let n = 7751 - h. Is n composite?
True
Suppose 14*c = 23*c - 9072. Let u = c - -14471. Is u a prime number?
False
Suppose 8874171 = 50*x - 6813730 - 2082349. Is x composite?
True
Suppose -20 = -3*b - 4*r, -13 = -2*b - 4*r + 3. Suppose -28 = b*n - 4*o, 0*n + 5*o - 23 = 3*n. Is (-2901)/n*(8 - 6) a prime number?
True
Let h(w) = 17*w**2 - 6*w - 25. Let a be h(9). Suppose -2544 = -2*b + a. Is b a prime number?
False
Let b(w) = 6*w + 28*w - 76 + 24 + 22*w**2 - w**3. Suppose -2*l + 38 = 4*c, 8*l - 5*l - 67 = -c. Is b(l) a composite number?
True
Let j be (-192)/30*100/(-5). Suppose -j*g + 9505 = -123*g. Is g prime?
True
Is ((-78)/14 + (-15)/35 - -55264) + 1 prime?
True
Suppose -2*w + 319 + 925 = -4*x, -2*w + 1238 = 2*x. Let k = -342 + w. Suppose -k = -i - i. Is i a composite number?
False
Let q = -23128 - -36596. Suppose 0 = f + v - 6746, -2*f - 8*v = -12*v - q. Is f a composite number?
True
Is -3 + (-22165952)/(-48)*3 a prime number?
True
Let z = 2337 + 4174. Let t = z - 3078. Is t a prime number?
True
Let h(a) = a**3 + 15*a**2 + 6*a - 13. Let y be (114/(-133))/((-6)/140). Is h(y) prime?
True
Suppose 5*z = -17 - 13. Let v be 0 - (-2 + z/(-3)). Suppose -4*k + 376 = -4*c, -3*k + 5*c = -v*c - 284. Is k a prime number?
False
Suppose 4*i = 15*i - 22. Suppose 2*a + 2237 = i*b + 3*a, 0 = -4*a + 12. Is b a composite number?
False
Let f(t) = -42*t - 123. Let r be f(-3). Suppose -10*i = -6*i - 8, r*o + 3*i = 16419. Is o prime?
True
Suppose -9*m - 20 = 43. Is m/((-42)/21177)*(-16)/(-24) composite?
True
Let c(b) = 47651*b**3 - 3*b**2 - 14*b + 13. Is c(3) a prime number?
True
Let g be 2 - 6 - (-3 + -212). Let d(l) = g + l + 4*l - l - 3*l. Is d(0) composite?
False
Let c(r) = -r**3 - 78*r**2 - 53*r - 471. Is c(-84) prime?
False
Let c = 23 - 36. Let z be (-16)/104 + (-84333)/c. Suppose 0*r - r + 3*w = -1612, 4*r + w - z = 0. Is r prime?
True
Let k = 708475 - 303206. Is k composite?
False
Let o(z) = 1951 - 2033 + 617*z + 5092*z. Is o(5) composite?
False
Let o be 57/18 - (-6)/(-36). Suppose -236 = -o*w + 199. Is w prime?
False
Let i(s) = 83*s - 11. Let r = 18 - 12. Let t(z) = z. Let k(v) = r*t(v) - i(v). Is k(-4) composite?
True
Let d(a) = 5222*a**2 - 263*a + 2185. Is d(8) a composite number?
False
Suppose -134*s - 60*s + 5929020 = -14*s. Is s prime?
True
Suppose 4*k - 30 = 3*s, 3*s = -2*k - 2*k + 18. Let h = 107 - 116. Is k/h + 4709/3 prime?
False
Let i(h) = 361*h**3 - 28*h**2 + 182*h - 1. Is i(6) prime?
True
Let a be ((-12)/9)/(2/(-2625)). Suppose -a = 4*h - 44314. Suppose 5*o = 0, h = l + 2*l + 2*o. Is l composite?
False
Suppose 3*z - z = -2. Is 12698/(-63)*3*3/z a prime number?
False
Let k(m) = 15605*m - 834. Is k(7) prime?
True
Suppose -11*o = -o - o. Suppose 0*f + 16*f - 356912 = o. Is f prime?
True
Suppose 1050707 = -4*i + 26*i + 27*i. Is i a prime number?
False
Suppose -119*p = -25*p + 11*p - 12031005. Is p a composite number?
True
Suppose 6*l + 3*z = 2407860, 23*l - 802622 = 21*l - 2*z. Is l a prime number?
True
Let w(m) = 18501*m**3 + m**2 - 34*m + 31. Is w(1) composite?
True
Suppose -3*k + 3 - 4 = -i, 3*k - 4*i = 5. Is (-10 - -4) + k + 4128 composite?
True
Let i(v) = v**3 + 26*v**2 + 25*v + 12. Let g(j) = j**3 - 7*j**2 + 5*j. Let a be g(5). Let n be i(a). Is 15/10*34424/n composite?
True
Let w(g) = -28*g**3 - 10*g**2 + 34*g + 453. Is w(-19) composite?
False
Let h(b) = 7*b**2 + 16*b + 49. Let u be h(-29). Let y = u + -2683. Is y composite?
False
Suppose 12*i = 13*i - 13. Suppose 4*k = 147 + i. Is (k/12)/(6/63) a composite number?
True
Let u(l) be the third derivative of -13*l**2 + 5/4*l**4 + 0*l - 43/6*l**3 + 0. Is u(18) composite?
True
Suppose 3*m = 4*g + 46619, -3*m + 45996 = 2*g - 647. Suppose 14*r + 1867 = m. Is r a prime number?
True
Let a(w) = 1097*w**2 - 96*w - 922. Is a(-9) a composite number?
False
Let n(q) = 308*q - 51. Let w be n(29). Let k = w - 4616. Is k a prime number?
False
Let x(c) =