+ 526 = 2*o - 267, 0 = -2*k + c*o + 322. Is k a composite number?
True
Let a = 134 + -128. Is ((-4)/a)/(38/(-22857)) prime?
True
Suppose -108818529 = -343*l + 85291609 + 34053805. Is l composite?
False
Suppose -2*l = 2*x - 346956, -2*l + 520394 = 3*x - 7*l. Is x a prime number?
True
Let n(a) = a**3 + 19*a**2 + a - 9. Let c be n(-8). Let o = 1006 + c. Is o prime?
True
Suppose 68*c - 73*c + 19260 = 0. Let n = -1909 + c. Is n prime?
False
Suppose 2*i + x = 15347, -3*x - 14520 = -5*i + 23853. Suppose 13*j - i = 13867. Is j prime?
True
Let w be 8*(-2)/(-4) - -1. Suppose -w*n = -13930 - 4245. Is n a prime number?
False
Let s be (14 - 12)*(-6)/4. Is (-369)/(-2)*(s + (-88)/(-24)) composite?
True
Let m be (-6573)/(-14)*4/3*116. Is (-1)/(-5) - m/(-20) prime?
True
Let u(d) = 34224*d - 1353. Is u(13) composite?
True
Suppose 0 = -0*x - x + 12. Suppose -4*g + 29864 = 4*q, -2*q - 2*g + 37342 = 3*q. Is q/x + (-1)/(-2) + 0 composite?
True
Let c(r) = r**3 - 5*r**2 + 70*r + 15. Let p(a) = a**2 - a - 1. Let b be p(4). Is c(b) a prime number?
True
Is (127097 - -2) + (2 - (-12 - -16)) prime?
False
Suppose 55*i - 5218301 - 11656584 - 11550710 = 0. Is i a composite number?
False
Let g = 60 + -56. Suppose q = -5*b + 12, 1 - 7 = -g*b + q. Suppose b*h = 2*v - 1264, 3*v - 5*h - 1225 - 673 = 0. Is v a composite number?
False
Let c be 4 - -2*(-1)/2. Suppose -y + 1050 = y - c*q, -3*y + 1576 = -4*q. Let o = y - 305. Is o a composite number?
False
Suppose 3*g = 0, 4*c + 2*g - 45 = 11. Let s(v) = 10*v**2 + 19*v + 11. Is s(c) prime?
True
Let n(s) = -80*s**3 + 13*s**2 - 20*s + 8. Let t be n(-10). Is (-21 - -13) + t/4 prime?
True
Suppose 5*v = 3*y + 28, 0*v + y + 36 = 5*v. Let b(g) be the second derivative of 1127*g**3/6 - 11*g**2/2 - 422*g. Is b(v) prime?
False
Let j(w) = 5*w**3 - 7*w**2 + 6*w - 3. Let z be 2*(18/9 - 5/2). Let c(n) = n**3 - 1. Let r(l) = z*c(l) - j(l). Is r(-5) a prime number?
False
Let x = -209 - -212. Suppose -4*y - r = -552, 0 = x*r + 12. Is y a composite number?
False
Let x(i) = -1 + i**2 - 22*i - 3 - 2*i**2. Suppose -11 = 3*z + 16. Is x(z) prime?
True
Is (-43)/86 + 861*957/6 prime?
False
Let j be ((-5931)/(-6))/(9/(-132)). Is (12/3)/4*j/(-2) composite?
True
Suppose 34*g = 21*g - 106*g + 42914613. Is g prime?
False
Suppose 0 = -2*l + 7*l + 2*s + 111, -3*s = 4*l + 93. Let c(w) = w**3 + 22*w**2 + 20*w - 21. Let z be c(l). Suppose z = t - 1862 + 741. Is t composite?
True
Let i = -102 - -86. Let d be (-1)/((-4)/i) + 3. Is (d + 212/(-8))*-2 a composite number?
True
Let v = -54 + 3698. Let u = v - 2075. Is u a prime number?
False
Suppose 690456 = 22*a + 222362. Is a prime?
True
Let w(r) = -r + 11. Let a be w(10). Suppose a = f - 1. Is f*(-5574)/(-12)*2/2 composite?
False
Is (12/((-1320)/7030078))/((-2)/10) composite?
True
Is 2 + -4 - 44994*-1 - (-12 + 15) composite?
True
Let a be (-1)/(-2)*4*(-82042)/(-76). Suppose 1102 = 3*y - a. Is y a prime number?
True
Is (4/48*-3)/(6 - (-4341725)/(-723620)) prime?
False
Suppose 2*y - 8914071 = p - 1799573, y + p = 3557243. Is y composite?
True
Let x(k) = 114*k**3 - 2*k**2 + 15. Let c(l) = -4*l**2 + 56*l + 4. Let o be c(14). Is x(o) composite?
True
Let i = 218219 + 534. Is i a prime number?
False
Suppose -2*o + 562470 + 154788 = 4*l, -5*o - 717209 = -4*l. Is l composite?
True
Suppose -58*j - 24 = -64*j. Suppose d = -j*l + 557, -2*d + 1094 = -2*l + 5*l. Is d a prime number?
True
Let j(h) = 10 - 15*h - 8*h + 381*h**2 + 37*h - 14*h. Is j(-7) a composite number?
False
Suppose -5*r + 55*p - 51*p + 241519 = 0, 2*p = -12. Is r composite?
False
Let m(h) = 15*h**3 - 18*h**2 - 13*h + 37. Is m(18) prime?
False
Let c be -3 + 2 - 14/1. Let d be ((-12)/(-15))/(((-18)/c)/3). Suppose -t + 5*r = t - 8329, 16718 = 4*t + d*r. Is t prime?
True
Let y = 2796 + 1077. Let r = y - 1502. Is r prime?
True
Let h(o) = 9267*o - 1033. Is h(21) a prime number?
False
Let n(g) = -9*g**3 + 52*g**2 - 41*g - 751. Is n(-42) prime?
True
Let x = -887 - -1455. Suppose 4*d + 2*h + x = 5*h, 4*d = 4*h - 564. Let f = d - -324. Is f a prime number?
True
Let v(k) = -13*k**3 - 30*k**2 + 13*k + 56. Is v(-13) prime?
False
Suppose -9*p + 1197 + 315 = 0. Let b = -129 + p. Is b prime?
False
Let h(b) = 2788*b**3 + 2*b**2 + 5*b - 6. Let d = -199 + 200. Is h(d) prime?
True
Let j be (7820/(-272))/((-5)/264). Suppose f + b - 365 = 2224, 5*f - 4*b - 12963 = 0. Let c = f - j. Is c a composite number?
True
Let y(n) = -742*n + 79. Let d(c) = -495*c + 52. Let q(k) = -7*d(k) + 5*y(k). Is q(-2) a composite number?
False
Let q(l) = 2*l**3 + 116*l**2 + 68*l - 73. Is q(-56) a prime number?
True
Suppose -7*c = -1056 + 17828. Let n = 3582 + c. Is n composite?
True
Let w(d) = -52*d**3 + 0*d + 3*d + 8*d**2 + 53*d**3 + 26. Let b be w(-8). Suppose b*h = 5*p - 3239, -h - 3*h + 661 = p. Is p composite?
True
Let g = -58 + 672. Let a = 14167 - g. Is a a composite number?
False
Let d be ((-6)/10)/(2/(-31870)). Suppose s + 19127 = 4*u + 6*s, 2*u - d = -5*s. Suppose r + 5*v = 6710 - 1927, 0 = -r - 4*v + u. Is r a prime number?
True
Let m = -225355 - -319182. Is m composite?
False
Suppose -2*b = q - 365847 + 27786, 0 = 4*q - 4*b - 1352196. Is q a prime number?
False
Suppose 2*j - j = -108. Let f be j/(-20) - (-9)/15. Suppose -4*r + f*r = 238. Is r composite?
True
Suppose 25*w - 46901285 - 9667040 = 0. Is w prime?
False
Let s(h) = h**3 - 16*h**2 - h + 38. Let t be s(16). Suppose -t = -x - 10*x. Suppose 7*z = x*z + 12295. Is z a prime number?
True
Let s = 6307 + -4282. Suppose r = d - 4*d + 421, 5*r - 5*d = s. Is r prime?
True
Suppose -2*w = 4*m - 616, -3*w + 852 = -m - 79. Suppose 19 - 2 = -p. Let n = w + p. Is n prime?
True
Let p(a) = -a**3 + 7*a**2 - 17*a + 33. Let h be p(5). Is ((-1)/h)/((-64)/(-86144)) a prime number?
True
Is ((-2)/12)/(-6 + (-704166678)/(-117361116)) composite?
False
Let h be 2*-1*(-7154)/28. Let i = h - -460. Is i a composite number?
False
Let a(m) = 373416*m - 445. Is a(1) composite?
False
Suppose 5*p - 282*q - 60494 = -285*q, 0 = -4*p + 2*q + 48382. Is p prime?
True
Let m(q) = q**3 + 2*q**2 + 3*q + 2. Let y(j) = -j**2 + 9*j - 10. Let b be y(8). Let t be m(b). Let d(c) = 98*c**2 + 8*c - 1. Is d(t) a composite number?
True
Let z be (-2)/4 - 839228/(-104). Suppose 176 = -9*x + z. Is x prime?
True
Suppose 353751 = 14*v - 31375. Is v prime?
True
Suppose -822 = -4*p + 4242. Suppose -43*c + 635 + 26670 = 0. Let t = p - c. Is t a composite number?
False
Let w(y) be the third derivative of 539*y**5/30 - y**4/3 - 49*y**3/6 + 2*y**2 + 9. Is w(-4) a composite number?
False
Is 7 + (-267)/39 - (-147882)/39 - 1 a prime number?
False
Let g(i) = 3*i**2 + 54*i + 17. Let o be g(-28). Let f = o + 1638. Is f a composite number?
True
Let n(z) = 355*z + 14. Suppose -2*v = -7 - 1. Let x be n(v). Let p = x - 893. Is p prime?
True
Let r(l) be the first derivative of l**2/2 - l - 7. Let s(v) = 114*v - 7. Let a(d) = 6*r(d) + s(d). Is a(4) composite?
False
Is (4/2 - 16/10) + (-1365327)/(-45) a prime number?
True
Suppose -43*a - 154*a = -77817758. Is a prime?
False
Is (6 + -23 - -11) + 164875 + -2 composite?
True
Let z = 58 + -53. Suppose -4*m + 233 = -n + 1372, z*n + 5*m = 5695. Is n prime?
False
Let y(q) = 374*q**3 - 6*q**2 - 51*q + 3. Is y(8) prime?
True
Suppose 8*d - 98276 = 4676. Is d a prime number?
False
Is (-163838)/(-3) - 7/(-21) prime?
False
Let x = -166880 - -80342. Is 34/51 - (x/9 + -1) prime?
False
Let b = -36 + 135. Let u = 199 + b. Let q = u - -207. Is q composite?
True
Let n(o) = -o**3 - 3*o**2 - 6*o + 4. Let y be n(0). Suppose 8*z + 16412 = 4*w + 3*z, 0 = -y*w - 4*z + 16412. Is w prime?
False
Let i(t) = -3. Let g(d) = -11*d - 220. Let b(p) = g(p) - 33*i(p). Is b(-34) a composite number?
True
Suppose 21*b = 11*b - 14*b + 763368. Is b composite?
True
Let u(p) = p**3 + 25*p**2 - 9*p - 37. Let d be u(-21). Suppose -d = -5*m - 2*h, -h - 1143 = -5*m + 2*m. Is m composite?
True
Let g(i) = 7*i**3 - 2*i**2 + 2*i + 2. Let t be g(-1). Is ((-2136)/18)/4*t a prime number?
False
Suppose 282*z = -93194987 + 608677733. Is z a prime number?
True
Let b be 3*-2*(-48)/(-32). Let h(q) = 4*q + 40. Let w be h(b). Suppose 5*f = -k + 1871, 2*k + 7436 = 6*k - w*f. Is k prime?
True
Is 3 + (-136160)/(-3) + -6 + 240/45 composite?
False
Let o = -2363 - -10170. Is o composite?
True
Let h(c) = 4030*c + 543. Let o(n) = 2016