mposite?
True
Let f(l) = -5*l - 50. Let s(r) = -26*r - 250. Let c(t) = 11*f(t) - 2*s(t). Let i be c(-12). Is (-1 - 1173)*7/i prime?
True
Let w(j) = 28 - 13*j + 17*j + 11*j + j**2. Let z be w(-13). Suppose 3091 = z*h + 5*s, -h + 308 + 1239 = 4*s. Is h a prime number?
True
Let g(m) = -3*m - 14. Let y be g(-9). Let a = 18 - y. Suppose 2*o - 384 = -2*l + 4*o, -a*l = 4*o - 951. Is l a prime number?
True
Let i = -9314 + 20911. Is i a composite number?
False
Suppose -q + 55941 = q - 5*t, -5*q + 139730 = 5*t. Is q a composite number?
False
Let s(z) = 15*z**2 - 16*z - 36. Let g be s(-7). Let k = 1598 - g. Is k composite?
False
Let x be 0/((-4)/(-3 - -1)) + 3. Let d be ((-5)/5)/(x/966). Let j = d + 771. Is j prime?
True
Is ((-1265)/(-46) + -20)*395606/3 composite?
True
Let s(i) = 13*i**2 + 14. Let m(j) = j**3 + 23*j**2 + 22*j - 9. Let g be ((-608)/(-28))/(-1) + 6/(-21). Let l be m(g). Is s(l) a prime number?
False
Suppose -5*m + 3*k = -257254, 6*m + 154350 = 9*m - k. Is m a composite number?
False
Let a = 1974 - 7893. Let s = 10828 + a. Is s a prime number?
True
Let m(n) = 105*n - 277. Let i be m(-15). Let f = 129 - i. Is f a prime number?
False
Suppose 3*c - 19 = 131. Is 379160/c - 2/30*3 prime?
True
Let a = -14 - -18. Suppose -4*z - a = 4*b, 0 = 8*z - 3*z + 25. Suppose 0 = c - 5*s - 1654, b*s + 1644 = c + 9*s. Is c a prime number?
False
Let r(d) be the third derivative of -d**6/120 + d**5/15 - d**4/24 - d**3/3 + 8*d**2. Let u be r(4). Is (2 - (-3)/u)*(-6054)/(-9) composite?
False
Suppose 4*l + 10*k - 1876109 = 13*k, 469051 = l + 4*k. Is l composite?
False
Let q be 545796/(-11) - 1 - (-186)/(-1023). Let n = -20136 - q. Is n composite?
False
Let h = 1826312 - 607465. Is h a prime number?
False
Let l = 529 - 193. Suppose 2*f - 942 = l. Suppose 5*g + f = 7964. Is g prime?
False
Let r(q) = -q**2 + 16*q. Let l be r(16). Suppose 0 = -n - l*n + 4*t + 4, 0 = 3*n + 2*t - 12. Is -1154*(6/n + -2) composite?
False
Suppose -o + 4 = 5*i, 4*o + 2*i - 33 = -i. Let t be (o/(-6))/((-39844)/(-39856) - 1). Let h = -2167 + t. Is h prime?
False
Suppose 4*t + 20203 = u, -t + 14*u - 5062 = 10*u. Let f = t + 8597. Is f a composite number?
False
Suppose 8*q = -7 + 23. Suppose 0 = q*p - 7*p + 9030. Suppose 0 = 2*w - 4*b - p, -w - 1851 = -3*w - 5*b. Is w a composite number?
True
Suppose 4163038 = 30*c - 33*c + 25*c. Is c a composite number?
False
Suppose -1096309 = -3*p + 2*w, -p - 3*w = -0*w - 365451. Suppose 1136936 - p = 41*u. Is u composite?
True
Suppose -2*l + 91 - 317 = 0. Let n = l - -124. Suppose 17*j - 9942 = n*j. Is j a composite number?
False
Let d = 538161 - 269758. Is d a prime number?
True
Suppose 3*y - 747 = -3*j, 5*y - j = -0*j + 1215. Let r = y - 175. Is r a composite number?
True
Suppose -43*k - 2*o + 42012 = -41*k, 5*o - 42027 = -2*k. Is k a prime number?
True
Let f be (-3820)/(-6) + 34/(-51). Suppose -c = -5*q - 618, 2*c + q - f = c. Is c composite?
True
Let v(h) = h + 1. Let b(k) = -53*k**2 - 19*k - 6. Let r(p) = -b(p) + v(p). Is r(-6) prime?
False
Let b = -629571 - -885910. Is b prime?
False
Let u = -25997 - -56800. Is u a prime number?
True
Suppose 10 = 4*l + 2*w, -l = 2*l - 2*w + 10. Suppose 7*d + 8043 - 24374 = l. Is d a prime number?
True
Suppose m - 973 = j, -4*m - 3122 - 810 = 4*j. Let y = j - -4237. Is y a composite number?
False
Let p = -27 + 34. Suppose 0*j - p*j = -3507. Suppose w - j = -0*w. Is w composite?
True
Let q(p) = p**2 - 1. Let d be q(2). Let f(w) = -571*w**2 - 4*w - 4. Let u(r) = -571*r**2 - 4*r - 4. Let i(g) = d*f(g) - 4*u(g). Is i(-1) composite?
False
Let o(s) = -185*s + 69. Let y(f) = 278*f - 103. Let h(j) = -8*o(j) - 5*y(j). Is h(12) a composite number?
True
Suppose i + 3*i - 4 = 0. Suppose 38*g - 6 = 36*g. Is 319 - (g - (4 - i)/1) prime?
False
Suppose 0 = -5*z + 5, -8*x + 11*x = 4*z + 1261775. Is x prime?
True
Let q(u) = 120*u**2 - 3*u - 2. Let p be (-98)/126 + (1 - 11/9). Let t be q(p). Suppose 2*a = -5*w + t, 0 = -2*w - 3*w + 15. Is a a composite number?
False
Let v = -50768 - -75825. Is v a composite number?
False
Let w(q) = 2548*q**2 - 104*q - 682. Is w(-8) composite?
True
Let i(a) be the third derivative of 15*a**2 + 1/2*a**4 + 0*a + 0 - 7/6*a**3. Is i(10) a prime number?
True
Let x(l) = 105*l**2 - 2*l - 36. Let f be x(-9). Let j = -5284 + f. Is j a prime number?
True
Let m(q) be the first derivative of 4*q**3 + 7*q**2/2 + 11*q + 7. Let c be m(6). Suppose -3*u - 4*y = -c, -2*u - 3*u + y + 816 = 0. Is u a composite number?
False
Let u(l) = -89*l**3 + 26*l**2 + 29*l - 17. Is u(-9) prime?
False
Is -4 - -9 - 2*-3*(-35348)/(-24) a composite number?
True
Suppose 2*a - a - 4*s - 6 = 0, 3*a + 5*s - 52 = 0. Suppose 0 = 5*p - 3*p + a. Is 466 - 0 - 7/p prime?
True
Suppose 50177 + 108923 = 4*g + 4*h, -g + 4*h + 39795 = 0. Is g a composite number?
False
Let f be 168/6 + -2 + 2. Let s be (-12312)/f - 3 - (-6)/(-21). Let t = s + 1765. Is t composite?
True
Suppose 11*b - 2059 + 90 = 0. Is b a prime number?
True
Let t(d) be the second derivative of -122*d**3/3 + d**2/2 + 2*d - 130. Suppose -4*y - 1 - 11 = 0. Is t(y) a prime number?
True
Suppose 21*o - 30*o = -18. Suppose o*h - 3*v - 2057 = 5054, 2*v = 5*h - 17761. Is h a composite number?
True
Let p(s) be the second derivative of s**5/10 - 4*s**4/3 - 4*s**3/3 + s**2/2 - 95*s. Suppose 4*u = -5*o + 43, 0*u - 2*o - 26 = -2*u. Is p(u) composite?
True
Suppose 4*l = 154884 + 37936. Suppose -6*s + l = -23813. Is s prime?
False
Suppose 0 = 2*h + 4*y + 874, 27*y = 32*y + 25. Suppose -2598 = -2*t + 5*s, -3*t + 1298 = -2*t - 3*s. Let a = h + t. Is a a prime number?
True
Let p = -16 + 48. Suppose -25*t + p*t - 3871 = 0. Is t a prime number?
False
Let y be 46/207 + 597760/9 + 0. Suppose -1249 = 9*m - y. Is m a composite number?
True
Let g be (-102)/459 + 21314/9. Let z = 1621 + g. Is z a prime number?
True
Let q(w) = -w**3 + 25*w**2 - 21*w - 45. Let c be q(25). Let o = 1757 + c. Is o composite?
False
Suppose 2*p - 376 = 5*k + 510, -3*p - 4*k + 1329 = 0. Let r = p + -685. Let n = 95 - r. Is n prime?
True
Let y(o) = -389*o**3 - 4*o**2 - 9*o - 21. Let f(t) = -4*t + 41. Let m be f(11). Let a be y(m). Suppose 0 = 6*w - 9*w + a. Is w a prime number?
True
Let p be (4 - 1) + (-3 - (-1 - 4)). Suppose -p*d + 31434 = -5731. Is d a prime number?
True
Let q(b) be the first derivative of 11*b**3/3 - 3*b**2/2 - b + 82. Let a(x) = x**2 - x + 4. Let v be a(0). Is q(v) a composite number?
False
Let j(o) = 27 - 50 - 4145*o + 63. Is j(-5) prime?
False
Let z(g) = -7691*g + 7103. Is z(-10) a composite number?
True
Suppose -3*z + 338835 = 3*p, 4*z + 527*p = 529*p + 451792. Is z prime?
False
Let z(h) = -h**3 - h**2 - 3*h + 3413. Let i be z(0). Suppose 0 = -3*s + 1282 + i. Is s composite?
True
Let i = -1201 + 399. Let t = -479 - i. Is t composite?
True
Let y = 156 - 88. Let w = y + -60. Let c(a) = 5*a**3 - 21*a**2 + 14*a + 9. Is c(w) a prime number?
False
Let d(p) = -19*p**2 - 3*p. Let o be d(-2). Let r = -72 - o. Let z(f) = f**2 - 6*f - 9. Is z(r) composite?
False
Suppose -2*r = -z - 66357, 5*r - 59*z + 64*z - 165900 = 0. Is r a prime number?
True
Let a = 340 + -335. Is (3 - a - -2) + 9241 + -4 a prime number?
False
Suppose -2*l - 27 = -31. Suppose 2*i = 3*a - l*i - 246, 4*i + 402 = 5*a. Let k = 221 - a. Is k prime?
False
Suppose -15*d + 10061560 + 1026695 = 0. Is d a composite number?
False
Let d(n) = 12*n**2 - 9*n - 40. Suppose 5*v = 0, -13 = -5*i - 2*v - 68. Is d(i) a composite number?
False
Suppose 270 = -5*t - 0*t. Let j = -55 - t. Is j + -1 + (5685 - 0) composite?
False
Suppose c - j + 6 - 4 = 0, 5*c - 2 = -j. Let a(u) = -5*u + 779. Is a(c) composite?
True
Suppose 0 = -3*w + 3*o + 9, 5*w + 3*o - 7 = -0*o. Let x be 6*((-28)/(-8) - w). Let c = 25 + x. Is c composite?
True
Let k = 145 - 142. Suppose -2890 = -g + n, 5*n = -k*g + 753 + 7877. Is g a prime number?
False
Let f(r) = r**2 - 19*r + 1. Let z be f(19). Suppose -2 = n - z, 3*x + 5*n = 8776. Is x prime?
True
Suppose 207 = -s + b, -3*b + 37 = -s - 162. Let d = -1272 - -534. Let p = s - d. Is p a prime number?
False
Let l(v) = 68*v**2 - 91*v + 1962. Is l(19) prime?
True
Let g(h) = h**3 + 15*h**2 + 13*h - 7. Let i be g(-14). Let k = -9531 + 21184. Suppose i*j - 2*j - k = -3*w, 0 = 3*w + 12. Is j a prime number?
True
Let i = 32 + -27. Suppose 0 = o - r - 2854, -r + i = -0