 a composite number?
True
Let r = 709209 - 286942. Is r prime?
True
Suppose n - 124 = -0*n + 3*a, 3*n = -5*a + 316. Suppose -19*o = -5*o - n. Suppose 0 = 2*p + 4*r - o*r - 162, 16 = 4*r. Is p a prime number?
True
Let z(c) = -c**2 - 31*c - 128. Let k be z(-26). Suppose -4*d - 2*u + 767 = -27491, -35321 = -5*d - k*u. Is d prime?
False
Let x(z) = z**3 + 5*z**2 - 2*z - 10. Let y be x(-5). Suppose 5*u - u - 36 = y. Is u a prime number?
False
Let l(s) be the third derivative of -s**5/60 - 17*s**4/24 - s**3/3 - 10*s**2. Let z = 3 - 15. Is l(z) a prime number?
False
Let h be 2800/90 - (-4)/(-36). Let x(m) = 1453*m + 204. Is x(h) prime?
True
Suppose i + 11457 = 2*c, -4*c - 5*i = 2124 - 25017. Suppose -y = -613 - c. Suppose -2096 = 4*g - y. Is g composite?
False
Suppose 0*z + 15 = 3*z. Let t be z/((-25)/90)*1/(-2). Is (2 - (2 - -1))/(t/(-711)) a composite number?
False
Let v(z) be the third derivative of z**6/120 + z**5/30 - z**4/24 + z**3/2 + 8*z**2. Let p be v(-3). Is p/5 - 71912/(-20) composite?
True
Suppose 7 = 2*h + 11. Let x be ((-274)/8*-34)/(1/h). Let b = -1164 - x. Is b prime?
False
Let j = -36 + 59. Let u be -12*(87/(-2) + -3). Let c = j + u. Is c composite?
True
Let o be (-4)/(-7)*(-133)/(-38). Let z(t) = 7*t**2 + 32 - 14 - 15 + t. Is z(o) prime?
False
Let q(g) = -14*g**3 + 11*g**2 - 39*g + 25. Let c be q(-22). Suppose -525046 = -17*r - c. Is r composite?
False
Let a(d) = 213*d**2 - 3*d + 109. Let g be a(-10). Suppose -4*n - 7*n + g = 0. Is n composite?
False
Suppose 127*v - 31548335 - 74926298 = 3744984. Is v a composite number?
False
Let l be (1 - 1)/((-3)/(-3)). Suppose 7*m - 2819 - 11678 = l. Is m composite?
True
Suppose -167 = -5*f + 4223. Is (-2)/((-8 - -2) + 5264/f) a composite number?
False
Let j(f) = -750*f**3 + f**2 + f. Let a be j(-2). Let t = a + -3321. Is t a prime number?
False
Suppose 3*r + 24 = 3*i, 3*i + 7 = 4*r + 31. Suppose 0 = -m - m + i. Is -1 + m - (-11 + -83) prime?
True
Suppose -5*q = -5*k - 455185, -k + 28395 + 62634 = q. Is q composite?
False
Suppose o + 46052 = 4*x, x + 17*o = 15*o + 11513. Is x a prime number?
False
Suppose -363*a = -329*a - 3239539 - 503283. Is a prime?
True
Is (-126)/(-9) + 66048 + (-1)/((-1)/(-3)) a composite number?
True
Let i be (-2 + 48174/18)*-3. Let q = i + 14220. Is q composite?
False
Suppose -2*n - 2*n + 472 = 0. Suppose 5*r = -f + n, 4*f + f = -5*r + 570. Let l = 526 - f. Is l a prime number?
False
Let g(b) = 68*b**3 + 2*b**2 - 60*b + 643. Is g(18) a composite number?
True
Let s(q) = -6*q**3 - 4*q**2 + 6*q + 38. Let j be s(-19). Suppose -15*d = -d - j. Is d composite?
True
Let z = 1358205 + -638864. Is z composite?
True
Suppose 0 = -54*h + 129376 - 32176. Suppose 0 = 2*n - 11234 + h. Is n composite?
True
Suppose -11*v = -2*o - 13*v + 75816, 0 = -5*o + 3*v + 189532. Is o a prime number?
True
Suppose -4*i + l + 334450 = 0, l = -8*i + 6*i + 167228. Suppose -7*q + i - 23378 = 0. Is q a composite number?
True
Let z(u) = -3*u + 1219. Let p(a) = -a**3 - 18*a**2 + a + 18. Let c be p(-18). Let h be z(c). Suppose 3301 = 8*w - h. Is w a composite number?
True
Is (-2654265)/(-20) + 3/(-12) a prime number?
False
Suppose 0 = -17*f + 5714 + 1443. Suppose -f*u = -416*u - 16255. Is u a composite number?
False
Suppose 0*o - 3*o - 5*b = -71561, o + b - 23851 = 0. Is o composite?
True
Suppose 0 = -2*j, 368073 - 86214 = 3*m - 3*j. Is m prime?
False
Suppose -2*p + u + 83 = 0, -5*u - 321 = -5*p - 126. Let f = 26 - p. Is 639*-3*2/f a composite number?
True
Let o(d) = d**3 + 11*d**2 + 12*d - 7. Let z(u) = -3*u**2 + 8*u - 12. Let h be z(4). Let g be (9/2)/(14/h). Is o(g) a composite number?
False
Let w(m) = m**2 + 5*m - 12. Let q be w(-5). Let f = 14 + q. Suppose f*z - 2254 = -2*a, 0 = 4*a - 6*z + 3*z - 4480. Is a prime?
True
Suppose -2*x + 5*v + 31 = 0, 3*v + 2 = -13. Suppose -4*w + 4070 - 1561 = x*d, 5*d - 4180 = -5*w. Suppose -d = -3*p + 386. Is p prime?
False
Let o = 154 - 151. Suppose -3*p = -o*d - 15942, -5*p - 2*d + 26530 = d. Is p a composite number?
False
Suppose 11*f = 4*f - 2*f. Suppose -9*o + 587 + 8224 = f. Is o a composite number?
True
Let o = -79 + 84. Let j be (-22)/(-6) + (-4)/6. Suppose j + 5 = -4*t, 3*y - o*t = 4777. Is y prime?
False
Suppose 11*d = -11*d + 131208. Suppose 6*a - d = 41994. Is a composite?
False
Let f be (-6)/(-2) + (-1)/1 + 1. Suppose -3*m + 1 = 2*g + 12, 3*g - f*m = 6. Is ((-4)/((-20)/(-1585)))/g a composite number?
False
Let y = -4401 - -9786. Let z(g) = 4*g**2 - 33*g - 23. Let t be z(9). Suppose -b + i + y = -0*b, t*i + 5391 = b. Is b a composite number?
True
Suppose -25*z + 2*o + 10 = -21*z, 0 = -4*z + 5*o + 13. Let x(n) = 1585*n**3 + 3*n**2 - 3*n + 3. Is x(z) a prime number?
True
Let n = 271 - -486. Suppose 3*x + h = n, -3*x - x + 1026 = -2*h. Suppose m - 3*m = -x. Is m a prime number?
True
Let b = -66 - -60. Is (37038/5 - -1) + b/(-15) prime?
False
Let o = 138 + -168. Let c(x) = -202*x - 32. Let w be c(o). Suppose 13*r - w = 9*r. Is r a composite number?
True
Suppose 0 = 18*t - 329873 - 174379. Let o = -10231 + t. Is o a prime number?
True
Is 2612 + (26 - 15 - 24) composite?
True
Suppose -2*o + 20*h - 67 = 15*h, 0 = 4*o - 5*h + 139. Is 4389 + 252/o*(-8)/14 a composite number?
True
Suppose -61*l + 50065 = -44*l. Let h = l + -1774. Is h composite?
False
Let b be ((10 - 2) + -5 - 4) + 0 + 5. Suppose 3*d + 3 = 4*d. Suppose d*f = b*f - 865. Is f prime?
False
Let d(m) = -2*m**2 + 14*m - 22. Let c be d(10). Let b = 32 - c. Suppose -v - b = 2*r - 307, v = -r + 198. Is v prime?
False
Suppose -j + 3 = 0, 8*j = u + 4*j + 884. Is 2 + ((-265)/(-10))/((-4)/u) composite?
False
Let m(g) = -55*g - 27. Let a be m(-7). Suppose -4*o + 3*c = o - 620, -3*o - c = -a. Is (-2)/11 + 81455/o a composite number?
False
Is (-8)/(-48) + (-98459)/(-6) + 3 prime?
False
Suppose -9*y - 2381 + 116744 = 0. Is y prime?
False
Suppose -31*v + 3*q - 1406871 = -34*v, 937914 = 2*v - q. Is v a composite number?
True
Suppose -32*x = 5*x - 102446 - 5893071. Is x prime?
False
Let a = -152 - -156. Is -587*2/a*(-6 - 4) a prime number?
False
Let p(g) = -2*g**2 - 5*g - 5 + 3*g**2 - 2 - 1. Let t be p(7). Let b(k) = k**2 + 2*k + 5. Is b(t) a composite number?
False
Is -1 - 23639700/112*8/(-3) a composite number?
True
Let y(p) = -3*p**3 + p**2 - 4*p - 15. Let l be y(-5). Suppose 0 = -3*s - b + 1411, 5*s = -b + 1944 + l. Let o = -218 + s. Is o a prime number?
True
Let x(v) = -192*v - 4. Let z(f) = 192*f + 5. Let l(m) = -2*x(m) - 3*z(m). Let r be l(-8). Suppose 3*u + r - 4460 = 0. Is u a prime number?
True
Let s be (2 - 465/1) + 5. Let g = 1041 + s. Is g composite?
True
Suppose -26*t - 49*t = -48221676 + 16072401. Is t composite?
False
Is (-32)/(-20) - 948522/(-30) composite?
True
Suppose 53 = 4*z + 17. Suppose z*l + 37393 - 12553 = 0. Let i = -1549 - l. Is i a prime number?
False
Let c be 3 + (-3 - (-2 - -2)). Suppose c = -z - 8*z + 31113. Is z composite?
False
Suppose -13*n = -12*n - 1. Suppose -3*q - 4 + n = -3*k, -2*q - 26 = 4*k. Is (2/(-3))/(k/48*2) composite?
True
Let w(i) = 8*i**2 + 8*i - 1081. Is w(-36) a composite number?
False
Suppose 5 + 5 = 5*y. Let t = 7146 - 7146. Is 29420/40*(t + y) a prime number?
True
Suppose -3*y - 176032 = -7*y - 28*y. Is y prime?
True
Let o(a) = 9*a**2 - 31*a - 5. Let s be (11/5)/((-1)/(-5)). Is o(s) a prime number?
True
Let v(a) be the second derivative of -5*a**4/4 + 5*a**3/3 - 2*a**2 - 9*a. Let o be v(-8). Let c = -359 - o. Is c composite?
True
Let j(s) = -1109*s + 2775. Is j(-22) composite?
True
Suppose -4*q - 12*u = -10*u - 53314, -2*u = -6. Suppose 5*a - 3*v = -v + 227781, 5*v = -a + 45540. Suppose 4*x - a = -q. Is x a composite number?
True
Suppose -3*g - 32 = -19*g. Let f be 1/(1 - (16/10)/g). Suppose -2*w = f*k - 5522, -2*w + 5534 = 4*k - 2*k. Is w composite?
True
Let b be 3/(0 + ((-6)/(-15))/(-2)). Let l be b/3 - -9 - -6094. Suppose 4*n - 2*n - 1225 = -o, -5*o - n + l = 0. Is o prime?
False
Let z(m) = -17897*m + 1102. Is z(-5) prime?
False
Let n = -30394 + 46335. Let k = -1905 + n. Is k/10 + (-15)/25 prime?
False
Let x(q) = 4198*q**2 + 123*q - 183. Is x(8) composite?
False
Let o(z) = 25056*z**2 - 55*z + 226. Is o(5) composite?
True
Let k(o) = 13*o**2 + 6*o - 70. Let t be k(20). Suppose 6*f = f - t. Let l = -344 - f. Is l a composite number?
True
Suppose -i = 2*i + 2*g + 429, 