741, 5*p - 989 = -4*n. Is n prime?
True
Suppose -3*c - 2*v - 9748 = 0, -5*v - 3252 = c - 7*v. Let x = c + 6549. Is x a composite number?
False
Suppose 26*p - 5919 = 23*p. Suppose -o - 5 = 0, -p = -2*y - 3*o + 9570. Is y a prime number?
True
Suppose 28857 = -10*q + 175947. Is q composite?
True
Suppose -11 + 2 = 3*b. Is (7 - 10)/(b/5199) a composite number?
True
Let w(u) = -589*u**3 - 15*u**2 - u + 5. Let f(m) = -393*m**3 - 10*m**2 - m + 3. Let v(i) = 7*f(i) - 5*w(i). Is v(3) a prime number?
True
Suppose -9*s + 21*s = -12. Is (s + 3)/12 - (-73606)/12 a composite number?
True
Let s = 1861 - 4518. Let b = s - -7923. Is b a composite number?
True
Suppose 2*c = -5*d + 74632 + 2307089, c - 8 = 0. Is d composite?
True
Let v(z) = 857*z**2 - 6*z - 13. Let m be v(-2). Let u = m + -1836. Is u a composite number?
True
Let x(o) = 3*o - 15. Let g be x(5). Suppose -9686 + 2851 = -5*n + 3*f, g = -2*n + 4*f + 2734. Is n a prime number?
True
Let a be (-24)/18 + (-39)/(-9). Is (-1)/a + 17900/15 a prime number?
True
Is (-11)/33*((8 - -3) + -2) - -31054 a composite number?
False
Let d(y) = 4396*y + 1021. Is d(12) a prime number?
True
Let j(g) = 149*g + 3. Let n be j(-5). Is (251/(-2))/(7/n) a composite number?
True
Suppose -11146770 = -77*q - 13*q. Is q composite?
False
Is (-104)/6*(-464165)/20 - 20/(-30) prime?
True
Let p = 100 - 66. Suppose -p + 8 = -5*m + 3*d, -m = 4*d + 4. Suppose -m*o + 7764 = -v, -o - 3*v + 1938 = -4*v. Is o prime?
False
Suppose 13*t - 12*t - 397 = 0. Suppose 0 = -d + 3*x - 122, 5*d + 3*x = -285 - t. Let g = -12 - d. Is g composite?
True
Let k(z) = z**2 + 7*z + 6. Let a be k(-6). Let j(y) = -4*y + 6. Let o be j(a). Suppose -1297 - 293 = -o*p. Is p composite?
True
Suppose 2*f = -7 + 17, 4*p + 3*f = 5379. Suppose -5*r = -g - r + p, 0 = 4*g + r - 5449. Is g a prime number?
True
Let k(d) = 3738*d - 421. Is k(8) prime?
True
Is (263187/18)/((-4)/(-8)) prime?
True
Let v(l) = -258*l - 13. Let z be v(-6). Let i(s) = -s + 41. Let y be i(36). Suppose 6*a = y*a + z. Is a prime?
False
Is (505/(5 - 10))/(3 - 5750/1915) a composite number?
True
Let b(v) = v**2 - 7*v + 3. Let i be b(9). Suppose 2*y + i = 5*g, 4*g - 5 = 4*y + 7. Is ((-4)/6)/(g + 1174/(-234)) a composite number?
True
Suppose -8950203 = -36*r + 9*r. Is r composite?
False
Let g(a) = -a**3 - 16*a**2 + 2*a + 7. Let t be g(-16). Let p be (-5)/t - 881/5. Let n = p + 295. Is n prime?
False
Let s(t) = 46*t**2 - 343*t + 283. Is s(28) a prime number?
False
Suppose -5*s - 41 = -3*g, 0 = -4*g - 3*s + 8*s + 63. Let d = 40 - g. Suppose -d*c + 19*c - 1257 = 0. Is c composite?
True
Let b be ((-189)/42)/((-3)/818). Suppose -828*q + 831*q - b = 0. Is q prime?
True
Let p = 457048 - 321351. Is p composite?
False
Let q = 211 + -218. Let o(n) = -4*n + 91. Is o(q) prime?
False
Suppose 0*q - 45 = -5*q. Suppose 0 = 11*c - q*c - 3*o - 7990, -11959 = -3*c - 2*o. Is c a composite number?
False
Let i(z) = -3*z**3 - 9*z**2 - z + 2. Let d be i(-3). Suppose p + 3*p + d*h = 6028, 0 = -2*h. Is p prime?
False
Suppose 5*v + 173680 = b + 10938, 3*v - 813850 = -5*b. Is b a composite number?
True
Suppose -87058 = -7*y + 3872. Let o be 1*y/5 + 4/2. Let v = o - 1219. Is v composite?
False
Let u = 19014 + -2563. Let t = u - 10312. Is t prime?
False
Let m(u) = -u**3 - 12*u**2 - 9*u + 27. Let o be m(-11). Suppose 5087 = o*p - 37863. Suppose -5*c + p = 4*r, -2*c + r + 3423 = -0*r. Is c a composite number?
True
Let j(b) = 11*b**2 - 32*b + 25. Let t be (-12)/((-4)/(-32)*6). Is j(t) composite?
True
Let c(l) = -137*l + 342*l + 9 - 28 + 170*l. Let j be c(11). Suppose -3*x + x = -j. Is x prime?
True
Suppose 0 = 6*y - 2*y - 104. Let a = 32 - y. Suppose 4*h - a*h = -3346. Is h composite?
True
Let m = -113876 - -193369. Is m a prime number?
True
Let p(l) = -23470*l + 13537. Is p(-46) a prime number?
False
Let o = 35128 + -4967. Is o a prime number?
True
Is 10689804/180 - (-16)/(-20) a prime number?
True
Suppose -5*c = -63 - 97. Suppose c*h - 29*h - 12 = 0. Suppose 0 = -h*j - 265 + 2061. Is j composite?
False
Suppose -7*d + 4*d = -9. Suppose 4*y + d*p - 60 = 0, p = -y + 2*p + 8. Suppose -2*w + h + 70 = 0, 0 = -3*w + h - y + 117. Is w prime?
False
Suppose 0*n + 5*n - 10 = 0. Let y = 38 - 36. Suppose -y*o = -4, n*x + 3*o = 1912 + 186. Is x prime?
False
Let j(p) = 203*p**2 - 6*p - 401. Is j(-12) a composite number?
True
Let g = -240981 + 418654. Is g prime?
False
Suppose 17*m = 44*m + 26*m - 34126223. Is m composite?
True
Let d(y) = 2585*y**3 - 23*y**2 - 5*y + 51. Is d(4) a prime number?
True
Suppose -23*o = -20*o + 9, -3*c + 18636 = -3*o. Is c prime?
False
Let i be 1/(11467/(-5734) - -2). Suppose 20 = 5*c - 0*c, 2*u - 3*c - 3626 = 0. Suppose 3933 = 5*n - 4*f, -5*n + i = 5*f + u. Is n a composite number?
True
Let x(b) = -2*b - 2. Let i(m) = 1251*m + 3. Let y(f) = i(f) + 4*x(f). Is y(6) a composite number?
True
Let o(f) = f**2 + 11*f - 5. Let l be o(-12). Let n(j) = -4 + 3*j + 2*j**3 - 3*j**2 - 8*j**2 + 22 - l*j**2. Is n(13) composite?
False
Suppose 3*x - 4*c - 14635485 = 0, -4*x + 578*c + 19513976 = 572*c. Is x composite?
True
Suppose 18043294 = 76*l + 4218058. Is l a prime number?
False
Let t = 48979 - -43870. Is t a composite number?
False
Is 30/42 + 5486562/63 a prime number?
False
Let o(p) = 70*p + 35. Let k(n) = -70*n - 34. Suppose -4*x - 20 = -0*x. Let a(v) = x*o(v) - 4*k(v). Is a(-17) prime?
True
Let z(l) = 55*l + 4. Let o be z(15). Let k = o - -358. Is k composite?
False
Let f(h) be the third derivative of 513*h**5/10 - h**4/8 - h**3/3 - 80*h**2. Is f(-1) a prime number?
True
Let j(q) = 4*q**3 + 3*q**2 - 8*q - 5. Suppose -3*k + 4 + 11 = 0. Let n be j(k). Suppose 2*z - 7*c = -3*c + n, 15 = -5*c. Is z prime?
False
Let g(f) = -f**3 - 21*f**2 + 164*f + 1601. Is g(-108) a composite number?
True
Let h(q) = 7*q**3 - 2*q**2 + 18*q - 305. Is h(26) composite?
False
Let m be 6 - (2 - 0) - 1. Suppose -1 = t - m*o - 4, t - 4*o = 1. Let d(a) = 7*a**2 - 14*a + 12. Is d(t) a prime number?
False
Let d be (-2)/1*(-6 + (-35)/(-7)). Let r be 27/18 - (-3 - 819/d). Suppose -r - 1334 = -4*g. Is g composite?
True
Let v be (-146837)/13 - 48/(-312). Let w = -2032 - v. Is w a prime number?
False
Let w(c) = 143*c - 1. Let d = 66 - 59. Let u be w(d). Let l = 2226 - u. Is l a prime number?
False
Suppose -2*k = 3*v - 3305, k - 6*v + 9*v = 1657. Let c = k + 9259. Is c a composite number?
True
Suppose -3300 = -2*z + 2*b, -7179 - 1095 = -5*z - 3*b. Suppose 19421 = 8*g + z. Is g composite?
False
Let u(x) = -675*x - 23. Let m(j) be the second derivative of 75*j**3/2 + 4*j**2 + 30*j. Let k(r) = -11*m(r) - 4*u(r). Is k(7) prime?
True
Suppose 4*m - 69 - 155 = 0. Suppose 0 = 5*b - 71 + m. Suppose 5725 = -b*n + 8*n. Is n composite?
True
Let d be (-24)/(-60) + ((-304)/10 - -1). Let a = 29 + d. Suppose a = -4*t - 2*b + 1036, 3*b = -t - t + 526. Is t a composite number?
False
Let l be (-2 - 25/(-20))*-908. Suppose 24*v - l - 16551 = 0. Is v a composite number?
True
Let u be 171/(-76)*(-1)/(6/80). Let g be ((-7922)/6 - -2) + (-20)/u. Let s = g - -1900. Is s composite?
True
Let i be 1/(-7) - 106465/35. Let w = -1939 - i. Is w prime?
True
Suppose 0 = 3*z + 4*z. Suppose z = 15*h - 422332 + 157477. Is h composite?
False
Suppose -124*o = -125*o + 2148. Suppose -y - o = -8501. Is y a prime number?
True
Let w(g) = 1055*g**3 + 6*g**2 - 6*g + 4. Let l be w(2). Suppose 5*p = 2*q + 7455 + 1004, 5*p = 3*q + l. Is p a composite number?
False
Let d(b) = -12*b**3 + 55*b**2 + 248*b - 727. Is d(-66) a composite number?
False
Suppose 40*k = 43*k + 531. Let f = 542 + k. Suppose 0 = -5*a + 3*q + 349, -5*a - 3*q - 2*q = -f. Is a prime?
True
Let a = 7 + -4. Let y = 3305 + -3262. Is y - (-4 + 5 + a) a prime number?
False
Let g(x) be the third derivative of -x**5/30 - x**4/12 + 1082*x**3/3 - 6*x**2. Let r be g(0). Is -2*3/((-24)/r) composite?
False
Let b = 406 - 401. Let q(i) = i + 2. Let z be q(2). Suppose -z*p = b*p - 4023. Is p prime?
False
Let x be 2 + (-2 + 5)*22/33. Suppose j = -x*k + 9*k - 10889, k - 2173 = -j. Is k a composite number?
True
Let x = 144 - 142. Suppose -3*n - 4*s + 21223 = 0, -7395 - 6751 = -2*n - x*s. Is n a composite number?
False
Suppose 4*b - 128 = 2528. Is b - -3*5/(-3) a composite number?
False
Let a(j) = -28*j**3 - 12*j**2 + 17*j + 6. Let l be a(8). Is (13/((-13)/2))/(4/l) com