2*j + 143202. Is j prime?
False
Let r(q) be the third derivative of -43*q**6/120 + q**5/10 + q**4/24 - 7*q**3/6 - 3*q**2 - 2*q. Is r(-4) composite?
False
Suppose -73 = -4*k + 1943. Let s = 1973 - k. Suppose s = r - 470. Is r a composite number?
True
Is (-10499)/((3 - (-1026)/(-333))/(-2 - -5)) prime?
False
Let w be (6 + 2893)/(-1) - -5. Is 3/4*4 - w a prime number?
True
Let y(o) = 2126*o - 35. Let m be y(4). Suppose -m = -0*g - 9*g. Is g composite?
False
Let o(g) = g**3 + 8*g**2 + 21*g + 23. Let a be o(21). Suppose 3*n = 5*n - 2*b - 6626, 0 = -4*n + 3*b + a. Is n a composite number?
True
Let t(h) = 22*h**3 - 10*h**2 + 17*h - 16. Let c be t(6). Suppose -2*b = f - 3932, -3*b + f + c = -1425. Is b a composite number?
True
Let f(v) = v**3 - 41*v**2 - 193. Let q(k) = -6*k + 115. Let w be q(12). Is f(w) composite?
True
Let s(b) = -202*b**2 - 8*b - 13. Let g(q) = 202*q**2 + 9*q + 13. Let a(m) = -3*g(m) - 4*s(m). Let i be a(4). Suppose -8*k = -i - 751. Is k a composite number?
True
Suppose 0 = -c - 4*r + 23, 3*c = 4*c + 3*r - 18. Suppose i - c*l - 2918 = 0, -4*i + 3*l = -0*i - 11699. Is i a prime number?
True
Let l be ((-3)/4)/(7/(-28)). Suppose l*y = 1791 + 951. Is y a prime number?
False
Let w = -425 - -434. Suppose -r = w*r - 12730. Is r composite?
True
Suppose 427*l = 350*l + 16184091. Is l a prime number?
False
Is (1 + 0)/((99/(-9))/(-218185)) composite?
True
Is (2/13 - (-1571135270)/(-2470))/(-3) prime?
True
Suppose -42 = -5*b + 63. Let d be 4 - 3 - 3 - b*126. Let g = 4009 + d. Is g a composite number?
False
Let s = -17248 - -81137. Is s a prime number?
False
Suppose 0 = -6*m + 4*m - 4*b + 12, -5*b = 4*m - 21. Suppose -3*o + m*y + 89 = -y, -109 = -3*o - 5*y. Suppose 805 = 2*x - o. Is x composite?
False
Let w = 5871 - -40512. Is w a prime number?
False
Suppose 4*p + 371 = -d + 89, p = -3*d - 65. Let o be -177*(4 - 3 - 0). Let s = p - o. Is s a prime number?
False
Is 137463792/711 - 1/(-3) composite?
True
Suppose 0 = -16369*k + 16380*k - 4435651. Is k a prime number?
True
Let j(f) = -2*f**3 + 67*f**2 - 70*f - 79. Let h be j(33). Let w = 14109 + h. Is w composite?
False
Let r(l) = 20*l + 816. Let q be r(-38). Suppose 3809 = 5*h - 1006. Let v = h - q. Is v prime?
True
Suppose 4*f = -2*x + 26, -4*f + 8*f = -3*x + 29. Suppose -4755 = f*j - 8*j. Is j prime?
False
Suppose -200629 = -4*w + 1225503. Is w a prime number?
True
Suppose 6*j - 48*j = 12*j - 1626858. Is j composite?
True
Let i(c) be the second derivative of -217*c**3/2 - 35*c**2/2 + c - 5. Is i(-8) composite?
True
Let f(y) = 3552*y + 641. Is f(21) prime?
False
Suppose -4 = q - 3*i, 0 = 4*q + i + 2*i - 29. Let d = q + -195. Let y = d - -321. Is y prime?
True
Let x = -709 + 1071. Suppose 2*j = 2*c + 1086, -4*j = 4*c - x - 1794. Is j prime?
True
Is 36/8 + 93970/4 composite?
False
Let y be ((-24)/(-2))/(39/26). Let q(a) = -2*a**2 + 16*a + 5. Let d be q(y). Suppose 3*u = 3*o + 2544, 0 = u + d*o - 66 - 800. Is u composite?
True
Suppose -2*n + 122075 = 3*i, -2*i + 81394 = -0*i - 4*n. Is i a prime number?
True
Suppose 2*u - 7*u + 3*y = -266530, 4*y = -3*u + 159947. Is u a composite number?
False
Is (-23 + 22)*(-2244141 + 4) a composite number?
True
Is (-21)/((-6783)/38) + (-6713825)/(-17) a composite number?
False
Let q = -11 - -30. Suppose -10 + q = 3*l. Suppose l*k = 4*c - 5*c + 170, c - 160 = -k. Is c composite?
True
Let i(u) = -u**2 + 11*u + 4. Let b = -82 + 93. Let x be i(b). Suppose -4*j + 3*t = -5459, -x*t + t + 5429 = 4*j. Is j a composite number?
False
Let r(p) = 497397*p + 4565. Is r(2) composite?
False
Let n(f) = -13*f**3 + 15*f**2 - 59*f - 256. Is n(-29) a prime number?
True
Let m(v) = -243044*v + 1857. Is m(-4) composite?
False
Is ((-777)/(-63) - 13) + 268229/3 a composite number?
True
Is (460/5)/(-23)*3998396/(-16) prime?
True
Let p(d) = -108761*d + 5145. Is p(-8) a prime number?
True
Let b(x) = -8*x**2 + 21*x + 2. Let c(g) = -g**2 - g - 1. Let k(h) = -b(h) - 4*c(h). Is k(-7) a composite number?
False
Let f(p) be the third derivative of -p**6/120 - p**5/60 + 17*p**4/12 - p**3/2 + 147*p**2. Is f(-10) prime?
True
Let u be -1*(-2 + 4) + -83654 + 4. Is -2 - 2/(4 + 334616/u) prime?
False
Let o(r) = r**3 + 9*r**2 + r + 6. Let a be o(-9). Let k be -3*(-2 - a)*(-3)/3. Suppose 2*q + 59 = k*q. Is q prime?
True
Let h(w) = -972*w - 61. Let n be h(-8). Suppose 0 = -21*s + 16*s + n. Is s composite?
False
Is 15/(2565/(-38)) + ((-107104)/(-18) - -3) composite?
False
Let t be 0*(-4 - 1/((-20)/76)). Is 102465/6 + t + (-1)/2 a composite number?
False
Suppose 22 = 3*p + s - 8, 0 = p + s - 8. Suppose p*w - 16 = 3*w. Suppose 0 = -w*b + 2024 + 114. Is b a prime number?
True
Suppose 0 = 22*h + 163350 - 52646. Let g = -2903 - h. Is g prime?
True
Suppose -3*t + 10*z - 2529 = -159406, 0 = -4*t + 5*z + 209161. Is t prime?
True
Let j = 554013 + 876154. Is j composite?
False
Suppose -4*v = 2*u - 9684, 2*v - 19413 = -4*u + 3*v. Suppose 0 = -5*t - 5233 - u. Is (-2)/(-3) + t/(-3) a composite number?
False
Let w(o) = 7 + 115*o + 0 + 3. Let m be w(-3). Let n = m + 484. Is n composite?
False
Let a(t) be the second derivative of 195*t**4/2 + 2*t**3/3 + 5*t**2/2 + 8*t. Let g be a(-2). Suppose 7*j + g = 10*j. Is j composite?
False
Let l(v) be the first derivative of -12 - 90*v + 47*v + 42*v - 147*v**2. Is l(-2) composite?
False
Suppose -85*w - 141*w + 1215177860 = 234*w. Is w composite?
True
Suppose 0 = 10*s - 239107 - 8863. Let f = s - -10956. Is f prime?
True
Let g(u) = 11430*u**2 - 25 - 3*u - 7*u - 11406*u**2 - u**3. Is g(12) a prime number?
True
Let n = 16 - 13. Let i be 58/(-18) - -4*n/54. Is (2691/27)/(((-4)/i)/4) a composite number?
True
Let c = 190682 + -6501. Is c a composite number?
False
Suppose -7*x + 80234 = -3*x - 3*m, x - 3*m - 20045 = 0. Is x a composite number?
False
Let h(l) = 5*l**2 + 325*l - 561. Is h(-148) a composite number?
False
Suppose 0 = 2*b + 3*b - 5*k, -5*b - 4*k = 0. Suppose b = -5*i + 5*f + 21757 - 4817, -2*i - f = -6770. Suppose -3*s + 5*s - i = 0. Is s a prime number?
True
Let d = 28 + -43. Let a be 10/d - (-8)/3. Suppose a*l = -2*z - l + 521, 4*z + 5*l = 1041. Is z prime?
False
Suppose 11*z + 4*z = 0. Suppose 9*g - 3*s - 737 = 8*g, -s + 2 = z. Is g a composite number?
False
Is ((-2)/4)/(70/(-3017420)) a composite number?
True
Suppose 0 = -3*b - 6*s + 8*s + 35, 3*s = -12. Let p(u) = 5*u**3 - 7*u + 21. Is p(b) a composite number?
True
Suppose 4*y + 3*k - 25 = 0, 2*y + 3*k + 25 = 3*y. Let x(g) = 16*g + y*g + 8*g + 13. Is x(14) composite?
True
Suppose 4*o - 6 = -4*d + 22, -1 = -4*o + 5*d. Is (-181)/((2/o)/((-3)/2)) a composite number?
True
Suppose 6*i = -6*i - 24. Is (i*(-9)/54)/(2/29118) a prime number?
False
Let d be 33*(3 - (-33)/(-9)). Let g(o) = -o**3 - 22*o**2 - 7*o - 9. Is g(d) a prime number?
False
Suppose -d + 4*s - 86 = -3*d, 5*d + s - 170 = 0. Suppose 34*i = d*i + 2. Suppose -9*j = -4*l - 4*j + 3143, 1579 = i*l + 5*j. Is l prime?
True
Let w(m) = 2*m + 42. Let y be w(-20). Suppose 3*v - 3*a = 30, -5*a + 2*a = -v + y. Let q = 65 - v. Is q prime?
False
Suppose -4*k + 3*k = 0. Suppose 0 = -3*c - k*c + y + 1962, -4*c = 4*y - 2600. Suppose 5*r - 24 = -w + 207, c = 3*w + 5*r. Is w a composite number?
False
Suppose 108*l - l = 20568503. Is l prime?
True
Suppose 350906 = 18*g - 67612. Is g prime?
True
Let r be (0 - 3) + -3 + -28. Is (-14)/119 + (-25266)/r a composite number?
False
Let y be 2/14 - (-92637)/7. Suppose 0 = -0*u + 13*u - y. Is u a prime number?
False
Let p(j) = 1070*j + 39. Suppose -t - 10 = -3*t. Let b be p(t). Suppose -3*c = 2*y - b, 4*y + 5413 = 2*c + c. Is c a prime number?
False
Let f(r) = -159*r - 50. Let t = -72 - -74. Suppose 19 = -6*a + 5*a + x, t*a = 4*x - 38. Is f(a) a prime number?
True
Let o(q) = -q**2 + 47. Let a be o(7). Is 24058/12 + a/(-12) prime?
False
Let h(c) = 2*c**3 - 14*c**2 + 17*c - 17. Let i(u) = -u**3 + u. Let w(z) = -h(z) - i(z). Is w(12) a prime number?
True
Let c(b) = -39*b - 11. Let n = 22 - 8. Let w be n/84 + (-37)/6. Is c(w) composite?
False
Let x(k) = 523*k - 545. Is x(46) a prime number?
False
Let m(b) = 9*b**2 - 19 + 19*b + 56*b + 22*b + 14*b - 41*b. Is m(8) a prime number?
True
Suppose 0 = 3*r + 11 + 7. Let h be (-7 - -2)*6/r. Suppose 0 = 2*x - q - 133 - 6, 5*x - 350 = h*q. Is x a prime number?
False
Let s(i) = -9*i + 74. Let y be s(8). Suppo