67 prime?
False
Suppose -r - 4477 = -2*w, r = -2*w - 4*r + 4483. Let q = 25008 - w. Is q prime?
True
Suppose -20 = 2*k - 7*k. Suppose -f - k = 0, 6*c + 3417 = 7*c - f. Is c prime?
True
Let v = -491 - -586. Suppose v*l = 89*l + 238674. Is l composite?
False
Suppose -m = -1501 - 5632. Suppose -4*g = -11*g + m. Suppose -3*i + 424 + g = 0. Is i a prime number?
False
Let l(q) = 22 + 48 + 4 - 3 + 133*q + q. Is l(22) a prime number?
True
Let r = -30 + 95. Let h = 35 - r. Let p = h - -36. Is p prime?
False
Let i be ((-12)/(-10))/((-14)/35). Let p be 4 + (-7876)/(-2) + i. Let r = -2354 + p. Is r composite?
True
Let j(a) = -a**3 + 17*a**2 - 13*a - 54. Let w be j(16). Is -101 + 105 - (-3)/(w/(-1220)) a composite number?
True
Let i(r) = 18949*r**3 - 12*r**2 - 31*r + 55. Is i(3) a composite number?
False
Let c = 30 - 25. Let h be ((-483)/(-5) - (-2)/c) + 3. Let x = h + -45. Is x prime?
False
Suppose q - 11 = -3*j, 6*j - 16 = -2*q + 2*j. Suppose 0*o + 2*n = -q*o + 2500, 2*o = 2*n + 2520. Is o prime?
False
Let o(g) = -4*g**2 + 4*g - 2. Let i be o(4). Let t = 52 + i. Is 4/(-6)*((-11527)/t + -7) composite?
False
Suppose -1342824 = -4400*k + 4376*k. Is k a prime number?
False
Suppose -3*s - 58 = -40. Is (5082/(-88))/(s/496) - -4 prime?
False
Suppose 0*m = 4*m - 128. Suppose y - 218 = -3*u, u + 4*y - m = 26. Is u/(-3)*(-48)/32 prime?
True
Suppose w + 304 + 120 = 0. Let p be (0 - 12/(-8))/((-1)/134). Let k = p - w. Is k prime?
True
Let g(m) be the third derivative of 92*m**6/15 - m**5/60 + m**4/12 - m**3/6 + 17*m**2. Let c be g(1). Suppose -2*b = -c - 2262. Is b a prime number?
True
Let z(j) = 0*j - j**3 - 87 + 25 - 6*j**2 - j + 4*j + 9*j. Is z(-15) a prime number?
True
Suppose 205*p - 202*p - 4*j = 495373, 3*j = -5*p + 825670. Is p a composite number?
True
Let l(y) = 237*y**2 - y + 1. Let o be -3*((-2)/(-6))/(1 - 2). Let x be l(o). Let p = x + 1124. Is p prime?
True
Suppose -4*t = 0, 584*v = 579*v - t + 777215. Is v prime?
True
Let h(y) = -3231*y - 24. Let v be h(-4). Let u = v + -7027. Is u a prime number?
False
Suppose 0 = -z + 2*g - 2612, z - 5*g = -2154 - 461. Let v = 4189 + z. Is v composite?
False
Let o = 42689 + -28692. Is o composite?
False
Let u = 1 - 3. Let o = u + 6. Suppose -2*g + 1661 = o*c - 1057, -3*g - 1355 = -2*c. Is c composite?
True
Is (1/(-4))/((-132)/13496208) a prime number?
True
Suppose 71*v - 68*v = 314598. Is v a prime number?
False
Let f(k) = k**3 + 23*k**2 + 29*k + 49. Let v be f(-21). Suppose r - v = 204. Let q = r + 115. Is q composite?
False
Let s be ((-1088)/(-24))/((-355)/177 - -2). Let v = s + 15967. Suppose -v = -4*q + 2789. Is q composite?
False
Let p = 291 - 300. Let b(d) = -412*d + 115. Is b(p) composite?
False
Let x(i) = 51605*i - 454. Is x(1) prime?
True
Suppose -8*a = -a + 3752. Let f = -378 - a. Suppose -r = f - 667. Is r prime?
True
Let y(a) = -a**2 - 15*a - 24. Let u be y(-11). Suppose 22*f - u*f + 184 = 0. Is 14/(f/(-22) + -4) a composite number?
True
Let p(o) = 2335*o**3 - 2*o**2 - 44*o + 117. Is p(5) composite?
True
Suppose -3*f = -3*w + 201, 0*w + 268 = -4*f - w. Is -446*-2*f/(-4) prime?
False
Suppose -28*u - 84 = -32*u. Suppose 6001 = u*w - 278. Is w a prime number?
False
Suppose 20*h - 49*h = 87. Let i(z) = -9*z**3 - 3*z**2 + 4*z + 7. Is i(h) prime?
True
Let s = 25 - 20. Let w = -3 + s. Is 1/(w/(40 + 2)) + 0 composite?
True
Let a = -309944 - -561991. Is a a prime number?
False
Let q = -545 - -891. Suppose 3*h = 5*p + 2641, q = -h + 3*p + 1221. Is h prime?
True
Suppose 0 = 2*o + 7*o + 311436. Let b = o - -51967. Is b prime?
False
Let a be (2 - 5 - 1) + -33*76. Let z = 5789 - a. Is z a composite number?
True
Let i = 1903 - 170. Suppose l + 6941 = z + 3*z, z + 2*l = i. Is z a composite number?
True
Let j = -52 - -87. Suppose -30205 = -j*m - 0*m. Is m a composite number?
False
Suppose 16973179 - 92159 = 52*h. Is h composite?
True
Suppose -16033 = -5*r - 3*n + 706, -4*n = 3*r - 10050. Let j = r + -1440. Is j a composite number?
True
Let b be ((-20)/(-8))/(7/(-14)). Let l(r) = -89*r**3 - 3*r**2 + 8*r + 17. Is l(b) composite?
False
Let j(v) = -17*v**3 - 4*v**2 + 25*v + 46. Let o be j(-11). Suppose 14*a - 38132 - o = 0. Is a a prime number?
True
Let z = -3668 + 971. Let q = 4204 + z. Is q a composite number?
True
Suppose -4*j - 2*h + 116978 + 42576 = 0, 4*j - 2*h - 159542 = 0. Is j composite?
False
Let f be (8/(-10))/(9/(-270)). Suppose -f*d = -36*d + 5028. Is d a composite number?
False
Suppose 0 = -5*l + 29*i - 32*i + 3102, -3*i - 1866 = -3*l. Let k = 888 - l. Is k composite?
True
Let w(v) = v**2 + 5*v - 16. Suppose -35 = 4*t - o, 2*o - 34 = -2*t + 6*t. Let a be w(t). Is (((-1345)/4)/5)/((-5)/a) a composite number?
False
Suppose -26*y = -9*y - 14683555 + 629366. Is y a composite number?
False
Suppose 3*q = 118 + 12635. Let u = 129 - 126. Suppose 3576 + q = u*n. Is n a prime number?
True
Let t(w) = -61*w**3 - 10*w**2 - 89*w + 29. Is t(-21) prime?
True
Suppose 10*r - 46719 = 9*r - 8*r. Is r a prime number?
False
Let i(p) = -2*p**3 - 2*p**2 + 16*p + 41. Let n be i(-10). Suppose 5*c + n = 35696. Is c a prime number?
True
Let f = 43683 - -60626. Is f a composite number?
False
Suppose 2*t + 287823 = 6*t + 5*x, 0 = 2*t - 4*x - 143918. Is t a prime number?
False
Suppose -23*p + 24*p + w - 431473 = 0, 3*p - 1294431 = -w. Is p a prime number?
True
Suppose -3*h = -q + 1925, 0 = 2*q + 6*h - 2*h - 3870. Is q composite?
False
Let b be (-196)/56*(-146500)/7. Suppose -b = -3*m + 36205. Is m composite?
True
Suppose -r + 4*h = -87899, 5*h + 8874 = 2*r - 166948. Is r prime?
True
Suppose -15*j = -21*j + 3318. Let w = j - -1920. Is w a prime number?
True
Suppose -r - 3157 = -5*r - 5*f, 0 = -4*r + 4*f + 3184. Let u = 3817 - r. Suppose -10*l + 12954 = u. Is l prime?
False
Let l(i) = i**3 + 6*i**2 - 2*i - 4. Let r(o) = -o**3 + 8*o**2 - 8*o + 1. Let w be r(7). Let f be l(w). Is (-2)/(-8) - (-294)/f a composite number?
False
Is (-2)/(-3)*42/28*89041 prime?
True
Let o be (-2)/(-11) - (-120722)/77. Let m = 2377 - o. Is m prime?
True
Suppose 506*z + 1038649 = 511*z - x, 0 = -2*z - 6*x + 415498. Is z prime?
False
Let p be (-3 - (-195)/6)/(2/4). Let r be (-11 + -4)/(-3)*p. Let c = 124 + r. Is c a composite number?
False
Suppose 2*i - 1099 = 1635. Suppose -4*q = 2*n - 914, 0 = 3*n + 3*q - q - i. Is (-166)/((-7)/(n/10)) a composite number?
True
Let o(f) = 2*f + 10*f**2 + 3 + 17*f**2 - 14*f**2. Let k be (-3)/(0 + 1) + -1. Is o(k) composite?
True
Let g = -296 - -290. Let w(y) = -11*y**3 - 27*y**2 + y + 13. Is w(g) prime?
False
Let h(z) = -289*z**3 - 9*z**2 - 11*z + 4. Is h(-2) prime?
False
Suppose 3*u - 3 + 0 = 0, -2 = i + 2*u. Let o be 8*(171/(-54))/(i/102). Suppose -2*c + 980 = -o. Is c prime?
False
Is 6 - 888/150 - (-4 + (-7580019)/75) a prime number?
False
Suppose 0 = 35*k - 34*k - 2*q - 3, -2*k - 3*q = -6. Is (-146201)/((-33)/k)*(3 - 1) a prime number?
False
Let f(t) be the third derivative of 23*t**5/12 - 3*t**4/4 - 41*t**3/3 - 48*t**2. Is f(15) a prime number?
True
Let y(s) be the first derivative of 163*s**2/2 - 2*s - 24. Suppose -5*m - 2*j + 8 = -5, -4*m - j + 8 = 0. Is y(m) a prime number?
False
Let j(b) = b**3 - 3*b**2 + 2*b - 6. Let i be j(3). Suppose -36*r + 38*r - 20 = i. Is r a composite number?
True
Suppose 38*b = 88*b - 9479450. Is b a composite number?
True
Suppose -5157774 = -140*f + 29104846. Is f composite?
False
Suppose 10*x - 14*x + 4*n = -483792, -5*n + 241903 = 2*x. Is x a composite number?
True
Let w(v) = -1804*v - 59. Let g be w(-8). Let c = g + -9282. Is c a composite number?
True
Let v = 28586 + 9797. Is v prime?
False
Suppose 0 = 6*l - 48 - 12. Suppose -5*i + l*i - 4445 = 0. Let x = i + 1230. Is x a composite number?
True
Suppose 0 = 2*v + f - 2524, 5*f - 2488 = -3*v + 1291. Let l = -352 + v. Is l prime?
True
Let p = -123 - -127. Suppose -30284 = -p*q - 2*c, -3*q - 33*c + 28*c + 22699 = 0. Is q composite?
False
Is (-3*4/(-18)*3)/(668/23202646) a prime number?
False
Suppose 10*c - 14447 = -1997. Suppose 4*y + c = 6513. Is y a composite number?
True
Let y(t) = -13672*t + 5077. Is y(-13) composite?
False
Let v = 13 - 3. Let a be ((-46)/4)/((-5)/v). Suppose j - 4*w - a = 0, 3*j + 3*w + 34 - 163 = 0. Is j a prime number?
False
Let n(y) = y**2 + y - 6. Let j be n(3). Let x(g) = 2*g - 2. Let f be x(j). Let o = f + 133. Is o a 