Suppose 0 = 82*l - 11027673 - 12379309. Is l a prime number?
True
Let x be 1 + -2*2/4. Suppose x = 4*f - 4, -5 = -2*m - 4*f - f. Suppose -a + 79 + 512 = m. Is a composite?
True
Is (2/(-6))/((44/(-268116))/11) prime?
True
Let o = -175 + 172. Let k(n) = -86*n**3 + n**2 - n + 1. Is k(o) prime?
False
Let f be (0 + -1)/((-1)/(-9 - -24372)). Suppose f = 16*v - 7*v. Is v a prime number?
True
Suppose 0 = 4*o - 51317 - 54887. Let y(p) = -2*p + 2. Let s be y(-1). Suppose 3*c + s*c = o. Is c a composite number?
False
Suppose -5*x + 5 = -3*d, -x - 3 = 5*d + 24. Let b be 9/(-45) - 2841/d. Suppose -b = -3*q + 659. Is q composite?
False
Let k(c) = 193*c**3 - 11*c**2 - 31*c + 253. Is k(6) prime?
False
Let x = -30 + 41. Suppose 17 = 2*y + x. Suppose -5*z + 17027 = -4*p, y*p + p + 10213 = 3*z. Is z prime?
True
Suppose 3*n + 54 = 3*r, -5*r + 48 = 4*n - 6*n. Let d = n - -108. Suppose -91*g = -d*g + 1173. Is g prime?
False
Let b be (2/(-1))/((-36)/1170). Let q = b - 50. Is (1042/(-8))/(q/(-60)) a prime number?
True
Suppose -3*d - 3*q - 78342 = -q, 4*d + 2*q + 104456 = 0. Let b = -14043 - d. Is b a composite number?
False
Suppose 5*w + 761652 = -0*f + 3*f, -4*f + w = -1015553. Is f prime?
False
Suppose -12*m + 86261 = -15*m + 10*m. Is m a composite number?
False
Let z(s) = -269*s**3 + s**2 - 3*s - 5. Let b be z(-3). Let a = b - 3506. Is a/20*(1 - 2/(-2)) a composite number?
True
Suppose -6*y + 5*b = -8*y + 8699, -5*b - 17413 = -4*y. Suppose -u - 4340 = 2*u + 5*g, 3*u - g = -y. Let j = u + 2981. Is j a prime number?
True
Let c(d) = 7800*d - 12085. Is c(41) a prime number?
False
Let t = 460 - 2122. Let g = 4807 - t. Is g composite?
False
Let j(r) = 64276*r - 7297. Is j(15) prime?
True
Suppose 817*x - 836*x + 1287193 = 0. Is x prime?
False
Suppose 40*s - 178310 = -56070. Let i = 7509 - s. Is i a composite number?
True
Suppose 5*d - 690707 = 3*s, 3*s - 928455 + 375911 = -4*d. Is d a composite number?
False
Suppose -78*w + 2451975 + 1291167 = 0. Is w composite?
True
Let n(m) = 34235*m**2 - 34*m + 10. Is n(1) prime?
True
Suppose o - 2317 = 4*l, -5*l - 5587 - 3692 = -4*o. Suppose 5*f = 2*g - 3313, 1012 + o = 2*g - f. Is g prime?
True
Let z = -3177 - -7875. Let y = z - 2235. Is y a prime number?
False
Let l = -285984 + 619747. Is l prime?
False
Let x(d) = d**2 - 8*d + 6. Let n be x(9). Let y(g) = -3 - 7*g + 688*g**2 + 6 - n - 656*g**2. Is y(7) composite?
True
Let k(h) = 18*h + 116. Let m be k(16). Let d = m + -90. Is d a prime number?
False
Let l(f) = -f**2 + f - 1. Let r(k) = 4*k**2 - 25*k - 153. Let a(t) = -5*l(t) - r(t). Is a(-29) prime?
True
Suppose -5*d = -20, 0 = 2*u + 5*d - 33 - 5. Let n(v) = -v**3 + 15*v**2 - 21*v + 6. Is n(u) a composite number?
True
Suppose -25*u + 753930 = -7*u. Is u a prime number?
False
Suppose -4*i + 5334 = 16954. Let d = 10211 + -5945. Let z = d + i. Is z prime?
True
Let z be 95/(-2)*(-3 - -5 - 4). Is (1/(-2) - -1)/(z/3338110) composite?
False
Let d = 213 + -206. Suppose -5*x + 8*y - d*y + 48965 = 0, 39172 = 4*x - y. Is x a prime number?
False
Suppose -59*p + 270533511 = 56*p + 272*p. Is p composite?
False
Suppose 4*b + 228 = -34*b. Let g(y) = -1898*y - 55. Is g(b) prime?
False
Let r = 2099 + 1862. Suppose m - r = -1352. Is m a prime number?
True
Suppose -2*x + 2*p + 31616 = 5*p, 2*p + 31596 = 2*x. Let f = x + -8823. Is f prime?
False
Let v(f) = -41231*f - 85. Is v(-6) prime?
True
Let z(b) = -17*b - 131. Let y be z(-8). Suppose -2*a + s = -10290, -y*s + 25723 = 5*a - 8*s. Is a composite?
False
Let p(y) = 6*y**2 + 15*y + 14. Suppose -16*z = -0*z - 64. Suppose -i - 26 = 5*r, r + z*i + 10 = -i. Is p(r) a prime number?
True
Let a(m) = -444*m + 37. Let f(c) = 885*c - 74. Let j(w) = -5*a(w) - 3*f(w). Is j(-4) prime?
True
Is (-36199584)/(-120) - -38 - (-18)/10 a prime number?
True
Suppose 6475*t - 371786 = 6473*t. Is t composite?
False
Let v be (-1)/(1 - (-2)/(-1)). Let x be v - (0 + 2 + -3). Suppose 6*l + 3*z - 4769 = 2*l, x*l = -5*z + 2381. Is l composite?
False
Let d = 423 - -4106. Let s = 4289 + -7281. Let b = d + s. Is b composite?
True
Let t(q) = -2*q - 6. Let n be t(-3). Suppose n*g - 47901 = -7*g. Is g composite?
True
Suppose 30*a - 599110 - 1893464 = -12*a. Is a prime?
False
Is (-110)/1375 - (-1563081)/75 a composite number?
True
Let t = 27973 - 18312. Is t a prime number?
True
Let a be 1042 + (2/21 - (-57)/63). Let l = a + -154. Is l a composite number?
True
Let h = -90094 - -169983. Is h a composite number?
False
Suppose 24*v - 35 = 19*v, -5*x - 2*v + 2273349 = 0. Is x a composite number?
True
Let y be -4 + (-32)/2 + -1 - 5. Let c(n) = -2*n - 177. Let k(v) = v + 88. Let t(h) = 3*c(h) + 7*k(h). Is t(y) prime?
True
Let m(w) = 2*w**3 + 29*w**2 - 12*w + 169. Is m(26) a prime number?
False
Let m = 94 - 91. Suppose -y + 25915 = 5*v + 3*y, -4*y = -4*v + 20696. Suppose 5*k = 2*g - 1696, -5*g - m*k - 970 + v = 0. Is g composite?
True
Suppose -5*t = 1 + 4. Let b(p) = -7*p**3 - p**2 + p + 1. Let a be b(t). Suppose -a*k + 299 = -1615. Is k composite?
True
Suppose 0 = 7*z + 3188 - 9166. Suppose 3*s = 2747 - z. Is s a composite number?
False
Let i = 256 - 208. Suppose -13*w - 436835 = -i*w. Is w a prime number?
False
Let a(o) = 11*o**2 - 19*o - 35. Let j be a(-2). Suppose -j*i + 491985 = -103834. Is i prime?
False
Let p = -192 + 186. Is ((-4)/p - 1)/(10/(-128910)) a prime number?
True
Suppose -9*t + 8*t + 24734 = 0. Let x = t + -13371. Let h = x - 7906. Is h composite?
False
Let z be 623*12/84*(9 + 0/1). Let u be 1/(-4) + 3378/8. Let r = z - u. Is r a composite number?
False
Is -6*603451/92*(-2)/3 a composite number?
False
Let q(w) = 382*w - 25. Let c(a) = -a**3 + 15*a**2 + 17*a - 8. Let i be c(16). Is q(i) composite?
True
Let q = -15 - -69. Suppose 39126 = q*t - 48*t. Is t a composite number?
False
Let q(j) = 9796*j**3 + 4*j**2 - 23*j + 41. Is q(2) a prime number?
False
Suppose -7*k + 3*k - 40 = 5*o, o - 16 = 4*k. Let y be 2/(-1) - -1009 - o. Let w = -704 + y. Is w a prime number?
True
Let x be (-3 - 11/(-3))/(21/63). Suppose 42448 = 18*q - x*q. Is q a composite number?
True
Let p be ((-90)/(-4) - 39/13)*466. Suppose p = 16*o + 1967. Is o composite?
True
Let j be (-80)/6*6/5. Let y be (j/12*6)/(2 - 4). Suppose 7*p - y*p - 3*k = 2475, -5*p + 4093 = 3*k. Is p a prime number?
True
Suppose -671105 = -30*p - 17*p + 1051821. Is p prime?
False
Suppose 9*y = 7*y + 276. Let r(n) = 67*n + 68*n + 79*n**2 + 1768*n**2 + 3 - y*n. Is r(1) prime?
True
Suppose 27 = 3*q - 3*a, 3*q - 2*a - 14 = 2*q. Let i be 1 - 10/q*(-96)/(-40). Let h(t) = -131*t - 14. Is h(i) composite?
False
Let w(x) = -3*x - 2*x + 11 + 839*x**2 - 44*x**2. Is w(3) composite?
False
Suppose -28 = -21*l + 19*l. Let y(d) = 54*d + l - 4 - 3 + 12. Is y(12) a prime number?
False
Let d = 80469 - 50136. Is d prime?
False
Suppose 5*r - 4*o + 5 = 50, o + 8 = r. Suppose -9*a + 4000 = -r*a. Let u = a - -2735. Is u a prime number?
False
Let n = 366992 + -247711. Is n a composite number?
True
Let u(k) = -449*k - 20. Let j(o) be the second derivative of o**5/20 - 17*o**4/12 + 7*o**3/3 + 15*o**2 + 13*o. Let x be j(16). Is u(x) a prime number?
False
Suppose -37383 = -b - 4*s, -b + 5*s + 37411 = 2*s. Is b a prime number?
False
Let j(m) = -75*m + 5. Let i(v) = -v - 1. Let b(q) = -30*i(q) - 5*j(q). Suppose 10 = 5*k, -6*s - 3*k + 4 = -7*s. Is b(s) composite?
True
Let o(l) = l**2 + 9*l - 20. Let j be o(-11). Suppose -j*a - 6640 = -6*a. Suppose -9*v + 5*v = -a. Is v a prime number?
False
Is (-56926)/(-4)*-2*(-7 + (2 - -4)) composite?
False
Suppose 0*a - 6768 = -4*a. Let j(s) = 2*s**2 - 1302*s**3 + 15 - a*s**3 - 10 + 6*s. Is j(-1) a composite number?
True
Let w be (39 - 42) + 1*7. Suppose -12 = -3*u, -f - 5*u + w*u = -3575. Is f composite?
False
Suppose 3*f = -4*k + 26, -14*f + 11*f = 2*k - 16. Suppose k*x + 5*j - 44725 = 0, x - j - 35760 = -3*x. Is x a composite number?
False
Let j(c) = -c**2 + 27*c + 34. Let o be j(30). Is 104274/10 + o/140 prime?
True
Suppose b = 3 - 2, -4*w - b + 45 = 0. Let f(z) = 12 + 12*z**2 - 7*z - 2 - z**3 - w*z**2 - 14*z**2. Is f(-17) a prime number?
False
Suppose 4*k = 45*y - 42*y - 34537, 5*y + 4*k = 57519. Is y a composite number?
True
Is 6731448192/2948 + (-2)/(-22) a prime number?
False
Let m be (-550)/(6 + -5) + -4. Let w = m - -2308. Is w a prime number?
False
Let v(z) be the first der