4*n - 156879 = 726952, l - 176783 = 5*n. Is l a composite number?
True
Let i be (28 + -24)/(4/(-6)). Is i/(-45) - (723858/(-90) + 4) composite?
False
Let a(w) = -2*w + 17. Suppose -14*x + 10*x - 36 = 0. Let o be a(x). Let u = o - -96. Is u prime?
True
Suppose m = -5*w + 9705, w + 21877 = 4*m - 16880. Suppose -9*o = -q - 6*o + 4843, 2*q - 4*o - m = 0. Is q prime?
False
Let x(q) = -q**3 + 10*q**2 + 17*q + 23. Let j be x(10). Suppose j*t = 196*t - 1329. Is t a prime number?
True
Suppose -6*f - 3568 = 8*f - 1328. Suppose 5*i + 14 + 11 = 0. Is (-3)/i - 179584/f a prime number?
True
Let t(w) = -2*w + 20. Let j be t(9). Let s be 35/14*(1 - -1). Suppose 3*c = -j*v + 517, -2*v + s*c = -4*v + 519. Is v prime?
True
Let i(r) be the first derivative of -365*r**2 - 3*r - 75. Is i(-4) prime?
True
Let o(c) = -43*c**3 + 9*c**2 + c + 5. Suppose 5*z = 3*r - 30 + 7, 22 = -5*z + 2*r. Is o(z) composite?
False
Let s(b) = 202*b - 1491*b - 622*b - 162*b - 65. Is s(-10) a composite number?
True
Let d = -168386 - -348123. Is d a composite number?
False
Is (100/(-60))/((-5)/553191) composite?
True
Let o(i) = i**2 + i - 1. Let u(w) = -w**3 - 14*w**2 - 6*w - 9. Let a(c) = -6*o(c) - u(c). Let l be a(-8). Suppose 392 = m + l. Is m composite?
True
Suppose 4*v + 4*o = 8*o + 1512, 2*o - 4 = 0. Suppose -v = -2*n + 626. Is n a composite number?
False
Let n = 147675 - 81701. Let l = n + -39864. Suppose 7*k + 3*k - l = 0. Is k composite?
True
Is 21951 - (0 - 90/9) prime?
True
Let c(o) = -325*o + 88. Let l be c(-4). Suppose 2*i - i - l = -5*a, -4*i + 2*a + 5618 = 0. Is i a composite number?
True
Let l(r) = 2983*r**2 - 19*r + 191. Is l(-12) a prime number?
True
Suppose -3*v + 9 = -3*j - 0, 2*j + 15 = 5*v. Let g be (v + -2)*((-2)/(-2) - 1). Suppose 0 = -p + 4*p - 3*w - 222, 5*p + 2*w - 391 = g. Is p composite?
True
Suppose 5*r = -15, -4*r = -2*f - 18 - 4. Let h = f + 26. Let q(n) = 4*n**2 + 5*n + 10. Is q(h) composite?
False
Suppose 15225 = 34*n - 33*n. Suppose 6 = -2*h, 5*a + n = 8*a + 2*h. Is a prime?
True
Let f = -484 + 334. Let y = 281 + f. Is y composite?
False
Let u = -341 - -337. Is (13256 - (-8 - -5)) + u/(-1) prime?
False
Suppose -5*r - 13096 = -4*n, -n + 1257 = 5*r - 2017. Suppose -324*a = -326*a + n. Is a a composite number?
False
Suppose 564*g - 4718196 + 820392 = 0. Is g prime?
True
Let s = 11 + 49. Let m = -47 + s. Let i(j) = 2*j**3 - 19*j**2 + 17*j - 5. Is i(m) a prime number?
True
Suppose 5*p - 4*h = 27674821, 761*p = 765*p + 3*h - 22139863. Is p prime?
False
Let x(r) = 7*r**2 + 64*r + 569. Is x(58) a prime number?
False
Let m = -152 + 157. Suppose 0 = -u + 3*j + 1311 - 296, -5027 = -m*u + 3*j. Is u composite?
True
Let z = 1375888 - 974265. Is z composite?
True
Let h(b) = -72*b + 33*b - 45 + 27*b**2 + 34*b. Let c be h(-5). Suppose -3*l = c - 3898. Is l a composite number?
True
Suppose 0*y - 1615544 = 11*y - 7389345. Is y prime?
False
Let j(n) = -7*n - 71. Let x be j(-14). Let l = x - 63. Is (-49023)/l + 3/(-4) a prime number?
True
Let d be (5 + 0)*(264/30 + -6). Suppose -3 = -3*k - 3*g, k + 2*g = 3*k + d. Let z(f) = 70*f**2 - 5*f - 4. Is z(k) a prime number?
True
Suppose 4 = 3*w + a - 9, -4*a = -2*w - 10. Suppose -w*u + 38724 = 9*u. Is u a composite number?
True
Let s(y) = -6*y**3 + 38*y**2 + 19*y + 142. Is s(-11) composite?
False
Suppose 4*x - 1415 = -x. Let q = -62 + -124. Let w = x + q. Is w a prime number?
True
Let v(y) = -y**2 + 3*y - 2. Let c(r) = -3*r**2 + 6*r - 4. Let x(p) = -2*c(p) + 5*v(p). Let n be x(-5). Is n/14 - 44253/(-63) prime?
False
Let w(i) = i - 1. Let t be w(16). Suppose 23 = 4*z - 3*r, 0 = -2*r + 5*r + t. Suppose z*v - 501 = -p, 2*p - 5*v = p + 494. Is p composite?
False
Let t = 32504 - 11841. Is t a composite number?
False
Let z(i) = i**3 + 8*i**2 + 17*i + 21. Let o(s) = s**3 + 9*s**2 + 17*s + 20. Let q(a) = 7*o(a) - 6*z(a). Let g be 2/(-7)*6825/150. Is q(g) a composite number?
False
Let i(r) = -357*r**3 + 11*r**2 + 249*r + 29. Is i(-12) composite?
False
Is ((-1164)/30 - -3)/((-1)/3365) - 8 a composite number?
True
Let n(s) = -482*s**2 + 9*s + 130. Let o be n(14). Is (-1)/(5/10 + 47116/o) composite?
False
Suppose 930 = 2*z - 2326. Let m be ((-6)/(-8))/(24/64). Suppose -m*q = -z - 162. Is q a composite number?
True
Let u = -258 + 269. Suppose -14*c = u*c - 149125. Is c a prime number?
False
Let m(k) = k**2 - 5*k - 2. Let u be m(5). Let z(y) = 189*y**2 - 3*y - 1. Is z(u) a composite number?
False
Let f = 126 - 75. Let v = f + -47. Suppose -1062 + 58 = -v*s. Is s prime?
True
Let m = 1665 + 9304. Is m a prime number?
False
Let c be 8*(-6)/72 + 15217/(-3). Let g = c + 9982. Is g a composite number?
False
Let y(l) = -13*l + 10 + 80*l**3 + 9*l + 5 + 1. Let s be y(3). Suppose 0 = -17*a + 15*a + s. Is a a prime number?
False
Let x(z) = -3889*z + 1984. Is x(-21) a prime number?
True
Let r(d) = -d**3 + 95*d**2 - 39*d - 353. Is r(57) prime?
False
Let v = -68 + -46. Let z = -6 - v. Suppose 2*i - 50 = z. Is i composite?
False
Suppose -542 = -6*n + 886. Let b = 425 - n. Is b prime?
False
Suppose -3*j + 11*d = 10*d - 175887, -5*j - d + 293161 = 0. Is j prime?
True
Let u be 1528/(-76) + 16/152. Is u/(-15) - 10307/(-3) prime?
False
Let v(m) = -22*m**3 + 7*m**2 + 84*m - 70. Is v(-12) composite?
True
Let v be (2 + -1)/(453/227 + -2). Let g = v - -933. Is (10/(10/(-2)))/((-4)/g) prime?
True
Let v(g) = 117*g**2 - 37*g + 281. Is v(18) a composite number?
True
Suppose -3*p + 6339 = 3*r, 4*r + 24*p = 26*p + 8440. Is r a prime number?
True
Let k be ((-95)/(-4))/(2/(52 + -4)). Let n = 17 + k. Is n composite?
False
Let f be (144/15)/((-2)/(-2155)). Suppose -3*w + f = -7*w. Let h = -1765 - w. Is h a prime number?
True
Is 7*(3314388/98 + -8) a prime number?
False
Let d(n) = n**3 + 6*n**2 - n. Let q be d(-6). Let h(o) = 51*o - 24. Let y be h(q). Let t = 727 - y. Is t composite?
True
Let d(b) = 6*b**2 - 1 - 14*b**2 - 16*b + 40 + 61*b**2. Is d(-14) a composite number?
False
Let r(v) = v**3 + 10*v**2 + 13*v - 16. Let b be r(-8). Let u(f) = -1 + 1 - 1 - 34*f + b. Is u(-6) composite?
False
Let r(i) = -3*i**2 - 5*i - 10. Let l be r(-4). Let x = -36 - l. Suppose 0 = -v + x*v - 1477. Is v prime?
False
Let k = 40016 - 6019. Is k a prime number?
True
Let g = -1155 - -2684. Suppose 0 = -4*p + 5*p - 4*k - g, 4*p = 4*k + 6068. Is p a composite number?
True
Let j(z) be the first derivative of z**3 + 5*z**2 + 16*z + 636. Suppose -18 = 4*o + 18. Is j(o) a composite number?
True
Suppose 5*w - 11911255 = 5*m, 475*w + 4*m = 478*w - 7146753. Is w a composite number?
False
Let n(m) = -234248*m + 2037. Is n(-8) prime?
False
Let g = -146308 - -214007. Is g prime?
True
Suppose -2*w + 15513 = 5*n, 5*w + 3*n = 32781 + 5992. Is w prime?
False
Let b = 860 - 858. Let w(a) = 3259*a**3 - a**2 + 12*a - 3. Is w(b) a composite number?
True
Let v(x) = -6*x - 36. Let o be v(-6). Suppose o = -3*y - 3*n + 1197, 3*y - 1010 = -n + 183. Is y prime?
True
Let t = -7868 + 3623. Let m = t - -8642. Is m a composite number?
False
Suppose -14*p + 57143 = -88835. Let k = -3808 + p. Is k a composite number?
False
Let c(y) = 24*y - 194. Let k be c(8). Let z(r) = -3910*r + 9. Is z(k) a prime number?
True
Suppose 5*w + 245*c = 250*c + 5711455, 0 = 3*c + 12. Is w prime?
True
Let d = -30294 - -67845. Is d a composite number?
True
Suppose g - 18782 = 5*v + 8464, -3*g - 2*v = -81823. Is g composite?
False
Let k = -11377 + 17486. Let r = -3360 + k. Suppose 0 = 4*t + 3*o - r, 0 = t + o - 41 - 645. Is t a composite number?
False
Let z(w) = -w**3 + 8*w**2 - 7*w - 8. Let s be z(7). Is 2936 - (0 + 2 + s) composite?
True
Let y(q) = -75*q**3 + 13*q**2 - 63*q + 73. Is y(-26) composite?
False
Let c = 256776 - 152279. Is c a composite number?
True
Is -9 - 24268/(-3*5/90) a prime number?
False
Let k(n) = 374*n**3 - 5*n**2 + 20*n - 91. Is k(6) a prime number?
False
Let v be 0 - (-10)/(-45) - (-7)/(-9). Let k be (v + 0)/(1/3). Is (k/5)/(1/5) + 638 a composite number?
True
Let z = 77 + -72. Is (2/(-20)*4106)/(z/(-25)) a composite number?
False
Suppose c - 7 = -v, 3*v + v - 13 = -c. Let q(m) = 55*m**2 - 2*m + 5*m - 6*m + v*m + 1. Is q(-2) a composite number?
False
Let l(a) = -57*a**3 - 8*a**2 - 30*a - 17. Is l(-8) a composite number?
True
Suppose 115*l - 342775 = 90*l. Is l a prime number?
True
Suppose 5*u - 3*u - 610 = 0. Let g = -154 + u. Le