y(a) prime?
True
Let f = 27603 - -4514. Is f a composite number?
False
Let n = 7047 - -4083. Let m = n + -1727. Is m a composite number?
False
Suppose 806432 = 3*z + 83*b - 82*b, 6*z - 4*b - 1612870 = 0. Is z a composite number?
False
Is (-20)/14 + (-4)/((-28)/3781613) prime?
False
Let a(w) = -36*w**3 - w**2 + 14*w - 18. Let n be a(-14). Suppose 21*v - 3329 = n. Is v a composite number?
True
Suppose 71*t + 2*c + 41879 = 74*t, -2*t - 3*c = -27941. Is t composite?
False
Is -9 + (47554 - (5 + -3)) a composite number?
False
Let o = 15502 + 17335. Is o a prime number?
False
Let f(i) = 3*i**2 + 12*i - 4. Let p be f(-6). Let w be p*((-46)/4 - 3). Is w/(-20) + 2/(-10) prime?
True
Suppose 0 = -7*m + 1818 + 2627. Suppose 0 = -8*j + m + 173. Suppose -j*x = -103*x + 778. Is x a composite number?
False
Let f(c) = 19*c**3 - 45*c**2 - 3*c + 1198. Is f(39) composite?
False
Let v = 54570 + -32923. Is v prime?
True
Let l(r) = -45*r**3 + 4*r**2 - 2*r + 5. Suppose -6*y - 5 = 19. Is l(y) a composite number?
False
Let y(z) = -13*z + 156. Let k be y(12). Suppose 4*u + 12505 + 37243 = 4*h, 4*h - 5*u - 49746 = k. Is h a prime number?
False
Is ((-25)/(-15) - 2)*-889167 composite?
True
Suppose 3*l = g + 168884, -48383 = -l - 2*g + 7900. Is l a composite number?
True
Suppose 0 = t + 26*t. Suppose t = 15*o - 4672 - 20603. Is o a composite number?
True
Suppose 3*n - 72009 = -i - 844, -i - 2*n + 71163 = 0. Is i prime?
False
Let a(f) = 763*f**2 - 29*f - 65. Is a(6) prime?
False
Is 4/(-8)*(-450240 + (15 - 13)) composite?
False
Let y be (1/(-1))/(2/(-4)). Suppose 5*j = 5*g - 32710, 3*j - 13109 = -y*g - 0*j. Is g prime?
True
Let a be -2*(-50)/(-4) - 3. Let y = 234 + -235. Is y/((-986)/(-2317) + 12/a) prime?
True
Let n be 849/7 - (-4)/(-14). Suppose -n*i + 2116 = -117*i. Is i prime?
False
Let m = -224 + 224. Suppose 5*k - 2*v - 65471 = m, -k - k + 3*v = -26195. Is k composite?
False
Let s(w) = -9*w**3 + 6*w**2 - 6*w - 7. Is s(-12) composite?
False
Let u be 124/(-31) - (16 - -1). Is (-123957)/u + (-10)/(-35) prime?
True
Let h = 75726 + 21463. Is h a prime number?
False
Let k(i) = -2469*i + 64. Is k(-5) a composite number?
False
Suppose -292804 = -15414*d + 15410*d. Is d prime?
False
Let j be 3 - (-29 - (0 + -3)). Let k = -58 + j. Let u = k + 288. Is u a composite number?
True
Let u(r) = -232*r**3 + 2*r**2 - 7*r - 19. Let a be u(-2). Suppose -2*v + a = 45. Is v prime?
True
Let h be (160/(-12))/((-6)/(-2259)). Let m = h - -3352. Is m/(-5) + 2/5 prime?
False
Let h be -1 + 1164 - 1/(2/(-4)). Suppose -5*m = -2*a + h, 5*a = -0*m + 4*m + 2870. Let r = -311 + a. Is r a composite number?
True
Let r(z) be the first derivative of z**4/4 - 8*z**3 + 12*z**2 - 13*z - 7. Let q be r(16). Is q/(-2) + 9/18 a prime number?
True
Let o(r) = 151*r - 330. Is o(49) a composite number?
False
Suppose 14*r + 7*r = 672. Suppose -33*b = -r*b - 2053. Is b a composite number?
False
Let f = 15 - 12. Let s be f + (0 - 0) + -3. Suppose -2172 = -6*k + 3*k + 3*p, s = 2*k + 5*p - 1413. Is k prime?
True
Let n = -598 + 618. Let d(s) = 17*s**2 + 13*s - 255. Is d(n) composite?
True
Let g(l) = l**3 - 6*l**2 + 5*l. Let h(x) = 6*x**2 + 2*x + 1. Let v be h(-1). Let p be g(v). Suppose p = -5*r - 5*n + 890, 2 = -5*n - 3. Is r composite?
False
Suppose -7*c = -72988 - 81082. Suppose c = 11*p - 13839. Is p a prime number?
True
Let d be 35/(-4) - (-1)/(-4). Let s(f) = -14*f**2 - 20*f - 15. Let t(i) = -13*i**2 - 20*i - 14. Let p(c) = 3*s(c) - 4*t(c). Is p(d) composite?
False
Let o = 97166 - -30603. Is o composite?
True
Suppose -5*v = -50607 + 12367. Let b = v + -5346. Is b composite?
True
Suppose 2421 = 3*c + y, -y = -2*c + 1319 + 290. Suppose -2*u + 3*u - c = 0. Let z = -315 + u. Is z prime?
True
Suppose 8*b - 11*b + 9 = 0. Let u be (21/2)/b*10/(-5). Is 100480/140 - 2/u a prime number?
False
Let g be 0 - (-734)/18 - 12/(-54). Suppose -2*v = g - 45. Suppose -a = v*d - 2993, 2*a + 2*a + 7515 = 5*d. Is d composite?
False
Is (-15)/6 - -2 - 1719814/(-4) composite?
False
Let k(t) = 2*t**2 + 8*t + 7. Let d be k(-1). Let l be (-386*d)/(((-3)/(-2))/3). Let c = 1923 + l. Is c composite?
False
Let j(r) = 26*r**3 + 16*r**2 + 17*r + 9. Let v(a) = -53*a**3 - 31*a**2 - 34*a - 19. Let z(q) = -11*j(q) - 6*v(q). Is z(10) a composite number?
True
Suppose -36*m + 41*m = 10. Suppose x + 0*o - 1923 = -m*o, -4*x - o = -7706. Is x prime?
False
Suppose -16 = 4*a - 2*h, 0 = -4*a + a - 4*h + 10. Let z be a/12 - -817*(-62)/(-12). Suppose -z = -4*b + 5*u, -4*b + 8*b - u - 4201 = 0. Is b composite?
False
Suppose 20*g - 18645 = 25*g. Let a = -700 - g. Is a a prime number?
False
Suppose -5*c + 8*x = 6*x - 4, 0 = 5*c - 5*x + 5. Let l(s) = 1118*s - 57. Is l(c) composite?
False
Let n(l) = -3637*l - 1026. Is n(-5) prime?
True
Suppose 29*j = -56*j - 50*j + 179072235. Is j a prime number?
True
Suppose 23*p + 7*p - 34702974 = -5461764. Is p prime?
True
Let h = -12585 - -34771. Is h composite?
True
Let r be 32/256 - (-1118)/16. Let y = 63 + r. Is y a composite number?
True
Suppose -d + 4*f + 31 = 2*d, 0 = -4*f - 16. Let c be (7*d/105)/(1/957). Suppose 0 = -7*w + 8*w - c. Is w a prime number?
False
Let p(v) = -19*v**3 - 39*v**2 + 197. Is p(-18) a prime number?
True
Let l(o) = 10*o**3 + o**2 - 19*o + 55. Let c(m) = -21*m**3 - 3*m**2 + 38*m - 109. Let i(s) = 6*c(s) + 13*l(s). Is i(14) a prime number?
True
Is ((-1)/(-1) - -1)/(-17*(-26)/46393867) a prime number?
True
Let b(p) = -3*p - 61. Let g be b(-20). Let n be 3 - g - 10/(-2). Let a(h) = 47*h - 4. Is a(n) composite?
False
Is 11 + (-3957394)/(-91) + (-8)/(-52) prime?
True
Suppose 0 = -152*k + 151*k + 110183. Is k a prime number?
True
Let o = -167 + 187. Suppose o*j - 24927 = 17*j. Is j composite?
True
Suppose w + 0*w + t - 37 = 0, -2*w + 68 = 4*t. Let f be (21/4 - 0) + (-10)/w. Suppose -1194 = -f*v - 269. Is v prime?
False
Let x be (3/(-6) - 14/(-4)) + -30. Let c(z) = z**3 + 41*z**2 + 16*z - 103. Is c(x) composite?
True
Suppose -59*q - d + 447420 = -55*q, 3*q + 2*d = 335555. Is q composite?
False
Suppose 555 + 8645 = -4*k. Suppose -15*l + 10*l - 11858 = -3*f, -3*l = -3*f + 11856. Let x = f + k. Is x a composite number?
True
Let y = 325080 - 104071. Is y a prime number?
False
Suppose 5*s = -10*o + 5*o + 43460, 2*s = -4*o + 17382. Let n = 21778 - s. Is n composite?
True
Is 2553528/(-30)*75/(-60) composite?
False
Let y(l) = 885*l**2 + 194*l - 31. Is y(12) composite?
False
Suppose 51*p + 2927790 = 141*p. Is p prime?
True
Let c(p) = 3*p**2 - 10 - 2*p**3 + 3*p**3 - 8*p**2 - 14. Is c(7) a prime number?
False
Suppose 0 = -4*q + 20 - 4. Let k be 9 - ((-20)/5 + q). Suppose k = 4*z - z, 0 = -4*w - 4*z + 3880. Is w a prime number?
True
Let o(b) = 5*b + 45. Let v be o(-9). Suppose v = 4*z - 18327 + 5675. Is z prime?
True
Let t be (-17)/((-374)/(-33))*8/(-6). Suppose 0 = t*z - 24029 - 32801. Is z a prime number?
False
Let k be 2*-2*(-4 - (-3)/1). Suppose 2*c = -k*y + 3830, -1 + 6 = c. Is y a prime number?
False
Suppose 4*c = u + 3*u + 9292, 5*u + 11588 = -4*c. Let a = u - -3998. Is a prime?
False
Suppose -24*z = -19*z - 10. Suppose z*y + 121 = -221. Let j = 370 + y. Is j a prime number?
True
Suppose -4*l - 17672 = -8*f + 4*f, -5*l = 2*f - 8801. Is f a prime number?
False
Let s = -7806 + 4864. Let u = 5926 + s. Suppose 5*y - y = 4*i + u, 3*y = -4*i + 2273. Is y a composite number?
False
Suppose t - 416 = -415. Let y = -6 - -3. Is 2 + y - (-1951 + t) prime?
True
Suppose -24*i = -3*i - 147. Suppose 3*r + 13599 = 5*o, 4*r - 2729 = i*o - 8*o. Is o composite?
True
Let u = 21688 - 7329. Is u a prime number?
False
Let r = -1295109 + 2115974. Is r prime?
False
Let r = 38 + -10. Let n = r - 23. Suppose -2*p + 2763 = 4*a - 343, -1541 = -p - n*a. Is p a prime number?
False
Let f(q) = 2*q**2 - 22*q - 35. Let g be f(13). Suppose -g*v + 2074 = -107559. Is v composite?
False
Let c(b) be the third derivative of -b**6/60 - 13*b**5/60 + 8*b**4/3 - b**3 - 164*b**2. Is c(-11) a composite number?
False
Let w(s) = -2594*s - 1463. Is w(-3) a composite number?
True
Suppose 2393*o - 550031 = 2374*o. Is o a composite number?
False
Suppose 4*m = -0*m + 2636. Suppose 14 = 21*t - 49. Is m - (t + (-2)/(-2)) a composite number?
True
Let h(r) be the second derivative of r**5/20 + 15*r**4/4 - 29*r**3/6 + 41*r**2 + 4*r + 40. Is h(-31) composite?
True
Let x = -153