True
Let k(f) = -121477*f + 270. Is k(-1) prime?
False
Let j(o) be the first derivative of -13*o**7/70 + o**6/180 + o**4/8 - 3*o**3 - 24. Let b(y) be the third derivative of j(y). Is b(-2) prime?
True
Let j(b) = b - 1. Let s = -28 - -29. Let l(n) = -11*n + 28. Let c(d) = s*l(d) - 2*j(d). Is c(-8) a prime number?
False
Let f(y) = 405*y + 3. Let j be f(-13). Is ((77/14)/(-11))/(3/j) composite?
False
Let z = 7485 + 1256. Is z a composite number?
False
Suppose -99*p + 96*p = -1886031. Suppose -243131 + p = 14*q. Is q prime?
True
Let i(a) = 827*a + 288. Is i(17) composite?
False
Let x(u) = u**2 + 13*u + 26. Let g be x(-9). Is (-4500)/(-28) - g/35 a prime number?
False
Is 112/392 - 11724/(-28) a composite number?
False
Suppose 12*i + 22*i - 1173293 = -330331. Is i prime?
True
Let y(g) = -g**2 + 3*g + 12. Let j = -15 - -15. Let t be y(j). Suppose t = -3*v, 0*o - 773 = -o - 3*v. Is o composite?
True
Let x(g) = 11*g - 6*g - 23 - 2*g. Let n be x(9). Suppose 3*k = n*s - 3*s - 199, -4*k + 545 = 3*s. Is s composite?
True
Let u(p) be the third derivative of p**5/10 + p**4/4 + 11*p**3/6 - p**2. Let o(m) = -m**2 - 9*m + 1162. Let y be o(30). Is u(y) a prime number?
True
Is (-4)/6 - ((-2292690)/99 - 18/99) a prime number?
False
Let w = 69 - 50. Suppose -9 = -3*i, 4*y - i - w = 2*y. Is (4 - (-5 + y)) + 3273 composite?
False
Let i(u) = u**2 - 8*u - 32. Let d be i(11). Is 49293/4 + d - (-55)/(-44) a prime number?
True
Let t(a) = -10*a**3 + 7*a + 4. Suppose 4*c = -5*c - 540. Let x = 57 + c. Is t(x) composite?
True
Suppose -520561 - 505557 = -3*v + 2*s, 0 = 4*s - 16. Suppose -7587 + v = 15*c. Is c composite?
True
Let j be 40/(-30) + (-1324640)/(-6). Is j/24 + (0 - 2/(-12)) prime?
True
Suppose -5*m + 7*m = y - 48607, -3*m - 72897 = 3*y. Let d = -16461 - m. Is d a composite number?
False
Let i(r) = r**2 + 4*r + 4. Let c be i(-2). Suppose 3*w + 2*a - 12903 = 0, c = -11*w + 6*w + a + 21518. Is w a prime number?
False
Suppose 0*w = -4*q - 5*w - 233, 2*q - 2*w = -94. Let h = q - -54. Suppose -4*j = -5*v - 176, 32 - 118 = -h*j + 2*v. Is j prime?
False
Let o(k) = -k**3 - 5*k**2 + 6*k. Let u be 396/(-60) + 3/5. Let a be o(u). Suppose a = -11*m + 14*m - 1443. Is m composite?
True
Let h(a) = -4*a + 3. Let u = 69 - 67. Let l be h(u). Is l/(3 - 2) - -5004 a composite number?
False
Suppose -8530202 = -53*o + 5*o + 61366. Is o prime?
False
Let s(k) = -30893*k - 77. Is s(-8) prime?
True
Suppose -4*h - 5*b + 514 = -12551, -4*h + 4*b = -13056. Suppose h = -14*i + 63339. Is i composite?
True
Let u = -1933 - -3996. Is u prime?
True
Suppose -290 = -5*z + 2*i, -26 = 2*z - 2*i - 148. Let o be (-4)/(-6) - z/(-24). Suppose 231 = -o*u + 6*u. Is u prime?
False
Is 123562*(72/(-16) + -2 - -7) a composite number?
False
Suppose 4*o + 4*i - 1 = 11, 2*o - 5*i + 15 = 0. Suppose o = -7*a + 3*a + 2*p - 4, 0 = -4*a - p + 2. Suppose 9*l - 4*l - 17525 = a. Is l prime?
False
Let n(r) = -r**3 - 6*r**2 + 21*r - 3. Let j(m) = -2*m + 35. Let d be j(22). Is n(d) prime?
False
Let y = -29834 + 69960. Is y prime?
False
Let m(d) = d**3 + d**2 - d + 1. Let r be m(0). Let h(i) = -4*i**3 + 2*i**2 - 1. Let u be h(r). Is 3/12*4*(260 + u) composite?
False
Let o = -146 + 146. Let u(f) = -f**2 + 2*f + 1561. Let y(s) = s**2. Let a(j) = u(j) + 2*y(j). Is a(o) a prime number?
False
Let h = -78 - -87. Let x(l) = -4*l**2 + 51*l - 67. Let y(o) = 2*o**2 - 25*o + 33. Let r(i) = h*y(i) + 4*x(i). Is r(14) a prime number?
True
Suppose -3*s + 72069 = 2*q + 19774, 2*s - 52296 = -2*q. Is q a prime number?
False
Suppose 9 = h + 5*p, 2*h + 0 + 18 = 2*p. Let x(b) = -438*b + 13. Let l(u) = 1. Let a(s) = h*l(s) - x(s). Is a(4) a composite number?
False
Let o be 1930/(-1 + 2) + 4. Suppose 5*l + 7319 + 2060 = -2*k, -2*k - 9359 = l. Let n = o - k. Is n composite?
True
Suppose 4*y - 5 = 2*k + 7, 5*k = -2*y - 42. Is ((-56483)/(-14))/((-4)/k) prime?
True
Let d(h) = -104*h + 3. Let o(u) = u**3 - 18*u**2 + 17*u - 4. Let s(y) = 2*y**2 + 11*y + 22. Let z be s(-5). Let m be o(z). Is d(m) prime?
True
Let c = -33 + 36. Suppose -4*p + 16 = 4*r, 5*p - c*r - 15 = 13. Suppose 4*f - 4*w - 1860 = 0, 0 = f + p*w - 398 - 79. Is f a prime number?
True
Let s = -48 + 48. Suppose -3*f - 165 + 159 = s. Is 1009 - (f/6 + 40/(-24)) a prime number?
False
Suppose 4*z = -4*f + 882 - 78, 5*f - 985 = 5*z. Let h = -94 - f. Let i = h - -772. Is i a composite number?
False
Let h = 96112 + -37859. Is h composite?
True
Is (-40)/(-180) - 64/(-36) - (1 - 918190) composite?
True
Let v(y) = -62*y**2 + 17*y - 103. Let u be v(-21). Let d = u + 40253. Is d composite?
False
Let k = -69 + 69. Let o be ((-3)/21*k)/(-1*1). Suppose -28737 = -5*h - 3*t + 4*t, -4*h + 4*t + 22996 = o. Is h composite?
True
Let x = 23493 + -9304. Is x a prime number?
False
Suppose -9*z + 29564 = -37981. Let t = 12486 - z. Is t prime?
False
Let p be (-2)/((-4)/1) + 11/2. Suppose p*v + 4*c = 4*v + 2786, 3*v = -3*c + 4188. Is v a prime number?
True
Suppose -36 = -4*f - 0*x - 5*x, 4*f - 72 = 4*x. Suppose -1 = y + f. Is (-2601)/(-45) + (-3)/y a composite number?
True
Let h be (-2)/(-3) - (0 + 10753/(-3)). Suppose 5*j - 4970 = h. Is j composite?
True
Let n(t) be the third derivative of -29*t**4/24 + 2*t**3/3 + 15*t**2. Let d = 28 - 29. Is n(d) composite?
True
Let a = 253836 - 107633. Is a composite?
False
Let i = 31272 + -10279. Is i a composite number?
True
Is (-2 + (-22)/(-44))/(1/(-42038)) prime?
False
Suppose -6 = i - 5*x, 2*i - 16 = -11*x + 7*x. Suppose 0 = i*a + 1621 - 6641. Suppose -63*f = -62*f - a. Is f a prime number?
False
Let t = -72480 - -149559. Is t prime?
False
Let o = -733 - 10139. Let y = o + 15431. Is y prime?
False
Let n = 46670 + 6992. Suppose 9*q = -5*q + n. Is q composite?
False
Suppose 150 = -10*u - 0*u. Let q be -1 + (-1)/3*u. Suppose 376 - 2324 = -q*s. Is s prime?
True
Let q(p) = 13*p**2 - 1415*p + 37. Is q(-52) composite?
False
Let a = 1827 - -3776. Let h = 10362 - a. Is h a composite number?
False
Let c be ((-22576)/12)/(3/18) - 0. Is c/(-1) - (1 - (7 + -11)) prime?
False
Let g(m) = -4*m**2 - 3*m + 36. Let b(h) = h - 1. Let z(v) = -5*b(v) - g(v). Let u be z(-9). Let k = u - -771. Is k prime?
False
Let r = -13 + 8. Let t(m) = 41*m**2 - 16 - 16 - 15 + 54 - 18 + m. Is t(r) prime?
True
Suppose -34*k + 58*k + 161066 = 26*k. Is k prime?
False
Let a = 160380 - 52939. Is a a prime number?
True
Let m = -783 + -579. Let c be (42/(-18))/(2/m). Suppose -4*u + c + 327 = 0. Is u a prime number?
True
Let d(p) = 525*p**3 - 6*p**2 - 4*p + 4. Let z(a) = a**3 + a**2 + a - 1. Let i(x) = d(x) + 5*z(x). Is i(2) prime?
False
Let h = 774296 + -402655. Is h composite?
True
Let c = -95 + 97. Suppose c*p + 3*p - 2*o - 4353 = 0, -3*p + 3*o + 2619 = 0. Is p a composite number?
True
Let b(n) = -n**3 + 2*n**2 + n + 1. Let o(w) = -2*w**3 + 4*w**2 - 5*w + 17. Let p(r) = b(r) - o(r). Is p(15) prime?
True
Let u(q) = 806*q**3 - 52*q**2 + 28*q - 19. Is u(6) composite?
False
Let t(h) be the third derivative of -h**5/60 + 3*h**4/4 - 11*h**3/3 - 15*h**2. Let q be 2*11*10/20. Is t(q) a composite number?
True
Let y = 3220404 + -1882517. Is y prime?
False
Let y(d) = -123*d + 23. Suppose -25*l + 20 = -30*l. Is y(l) prime?
False
Suppose 0 = -83*l + 47*l - 86*l + 64186274. Is l a composite number?
False
Suppose 218 = -9*r + 236. Is ((-339)/r)/(42/(-1316)) prime?
False
Let u(s) = s**3 - 56*s**2 + 52*s + 161. Let m be u(55). Let r = 113 - 42. Let d = r + m. Is d composite?
False
Let m(x) be the second derivative of x**5/20 - 7*x**4/12 - 5*x**3/3 + 10*x**2 - 6*x. Let o be m(8). Is (-1)/o + (-10042)/(-8) prime?
False
Suppose -19 = 3*t - 5*z, 0*t + 2*t = -5*z + 4. Let b be (-1)/t + (-25169)/(-3). Suppose -4*v + 2*n = 5*n - b, -5*v = -4*n - 10503. Is v a composite number?
False
Let n(q) be the first derivative of -q**3/3 - 17*q**2/2 + 25*q - 2. Is n(-10) composite?
True
Let q(w) = 4881*w - 73. Is q(2) a composite number?
False
Let g(n) = n**3 - 17*n**2 + 14*n + 34. Let j be g(16). Is j*2/(-16) - (-104756)/16 a composite number?
False
Let q = 21357 - 13864. Is q composite?
True
Suppose -4*d - 1858 = -b - 718, 3*d + 5751 = 5*b. Let f = b + -1630. Let j = f - -741. Is j a prime number?
True
Suppose -4*f + 16 = 0, 0 = 2*x + f - 6 - 4. Let j be (x - -1) + (1 - 0). Suppose -6*y + j*y = -463. Is y composite?
False
Is (27/54)/((-6)/(-360132)) 