= -29*z**3 + 207*z**2 - 15*z - 91. Is c(-34) prime?
False
Is 47991 - (-4 + 5)/(100/(-32) + 3) a prime number?
False
Suppose 0 = -53*i + 54*i + 4. Is (22566/9*(-6)/i)/1 a prime number?
True
Let f(d) = -2*d**2 + 2*d + 57. Let p be f(-6). Is ((-180)/p + -6)*381 prime?
False
Suppose 5*y + l + 16828 = -2*l, 0 = -3*y - 3*l - 10092. Let m = y + 1976. Is 6/2 - (m + 0 + -2) a prime number?
False
Suppose -3*d + 5 = -2*k, -3*k + 2 = 4*d - k. Let c be 14/(-12)*(-1 - (6 - d)). Is 2/(-7) + 408/c prime?
False
Suppose 6*j + 10*j = 121744. Suppose 0 = 8*g - g - j. Is g prime?
True
Suppose -14*a + 15*a = -2*g + 893948, -4*a = 3*g - 1340937. Is g a composite number?
True
Let s(j) = 216*j - 97. Let f = -39 + 48. Is s(f) a composite number?
False
Let t(y) = 46*y**2 - 62*y - 179. Is t(28) a composite number?
True
Suppose -h - 5*i = 2 + 1, -h = -5*i - 7. Suppose h*n - 55452 = -10*n. Is n a prime number?
True
Is 5 + 60447 - -21*18/(-378) a prime number?
False
Let l(d) = -255*d - 13. Let u be l(-5). Is u + (-1)/((12/9)/4) prime?
True
Suppose 95762 = h - 1343. Is h composite?
True
Let x(i) = -491*i - 78. Let b(z) = -164*z - 26. Let d(y) = -11*b(y) + 4*x(y). Let p be d(6). Let n = p + 2137. Is n a prime number?
True
Suppose -4*w + 1483 = -3*j, -365 = 5*w - 6*w - 5*j. Suppose 3*v = -5*u + 309, -4*v - 5*u + w + 42 = 0. Is v a composite number?
False
Let f(h) = -h**3 + 7*h**2 - 5*h - 6. Let b be f(6). Is b - (-2 + -721) - (8 - 4) composite?
False
Suppose 2 = -2*a, a = -0*d + 4*d - 9. Let j(k) be the second derivative of 83*k**3/6 + 6*k**2 + 22*k. Is j(d) a composite number?
True
Suppose 0 = 13*y - 7*y. Suppose -5*r + 8*r - 372 = y. Is (r/(-4))/(3/(-6)) prime?
False
Suppose 11*i + 491243 = 3*t + 7*i, 0 = 3*t + 3*i - 491271. Is t a prime number?
True
Let n(z) = -13*z - 76. Let r be n(-6). Is (5/(-20)*10306)/(r/(-4)) composite?
False
Let z(w) = 2*w**2 + 17*w + 10. Suppose 0 = 20*u - 25*u + 325. Let p be -4*u/10*(-1)/(-2). Is z(p) a composite number?
False
Suppose -5*b + d = -6*b + 764968, b - 764958 = -11*d. Is b prime?
True
Is ((0 - 0) + 3086058/12)*20/10 prime?
True
Suppose -8 = -5*j + 3*b, -j - 20*b = -16*b + 3. Suppose 614 = 3*c + 140. Is 1/(j*2/c) composite?
False
Let b be ((-3)/((-9)/21))/(1 - 0). Suppose 22 = b*j - 41. Suppose j*s - 12*s = -2505. Is s composite?
True
Let s = -65 - -65. Let o be s + 2 + -3 + (7882 - -1). Suppose 12*z = 26*z - o. Is z a composite number?
False
Suppose -2*v - 2*v + 20 = 4*m, 0 = -m + 5. Let s be v - (-4)/14 - 2325/(-217). Suppose -s*x + 467 = -10*x. Is x a prime number?
True
Let o(z) = -z + 12. Let j be o(12). Suppose -7*k + 2*k = -10, 3*p + k - 2 = j. Suppose 2*y - 2815 - 1003 = p. Is y a prime number?
False
Suppose 9*v = -2*k + 6*v + 519, v + 257 = k. Let z = 732 - k. Suppose 2*m - z = -4*m. Is m a composite number?
False
Let y(x) = 3336*x + 221. Is y(12) a prime number?
True
Let v = 1129 + 764. Is v prime?
False
Suppose -3*o + 6*o - 87521 = -4*g, -4*o = g - 21864. Let r = 41257 - g. Is r composite?
False
Let h be 1 + -34 + -4 + 1. Is (-6)/(h/386)*15 a composite number?
True
Let r(j) be the first derivative of 5/3*j**3 - 21*j + 4 + 2*j**2. Is r(-10) prime?
True
Let t(c) = -c**2 - 18*c - 12. Let l(f) = 5*f**2 + 73*f + 49. Let a(p) = -2*l(p) - 9*t(p). Let w be a(14). Suppose 0 = 34*n - w*n + 7604. Is n prime?
True
Let q(f) = -f**3 - 31*f**2 - 29*f + 32. Let h be q(-30). Is (2/(10/(-5)))/(h/(-8530)) a composite number?
True
Let q be (-2)/(-4)*0/6 + 10. Let p be (-8)/q - (-158)/10. Suppose -20*l = -p*l - 265. Is l a composite number?
False
Suppose 0 = 3*m - 3*z - 2925, 2*m - 28 = 4*z + 1918. Is m composite?
False
Let w be 14/(-6) + 3 + 330/(-9). Let n be 17/6 - 6/w. Suppose 50 + 7 = n*h. Is h prime?
True
Let x = -151824 - -345483. Is x a composite number?
True
Let u(a) be the second derivative of 0 + 6*a**4 + 0*a**3 - 4*a - 1/2*a**2. Is u(2) a composite number?
True
Let h = 908901 - 424174. Is h a composite number?
False
Let d(b) = 85*b**2 - 382*b - 1. Let f be d(5). Let z = -315 + 180. Let g = f + z. Is g composite?
False
Suppose 0 = -6*z + 2*z + 12. Is (z + -5)/(-1) - 15442/(-2) prime?
True
Let a(t) = -2*t - 9. Let o be a(-5). Is o - (-2112 - 20/5) composite?
True
Let f(s) = -168*s**3 + 28*s**2 - 177*s**3 + 7 + 5*s - 27*s**2. Is f(-2) a composite number?
True
Suppose 0 = 20*o - 23711 - 869. Suppose -1440 = 4*h - 3*x - 6395, h = 4*x + o. Is h a composite number?
True
Let t(r) = 105*r**2 + 3*r + 1. Let u be t(4). Let y be (u/(-2))/(1/(-4)). Let q = 1691 + y. Is q a prime number?
True
Suppose 11*d + 5 = 82. Suppose -d*c = -4*c - 22827. Is c a prime number?
False
Let v be 4/(-24) + 47/(-6). Let a(l) = -2*l**3 - 9*l**2 - 7*l - 9. Let h be a(v). Let j = -294 + h. Is j composite?
True
Let i(y) = 52484*y + 4397. Is i(15) composite?
False
Is 28280221398/10164 + 1/14 prime?
True
Suppose -t = -0*t + g - 2, 0 = 2*g + 2. Suppose 2*x + 50671 = 5*h, 6*x - t*x = h - 10129. Is h prime?
False
Let o = -237 + 228. Let y(j) = -j**3 + 2*j**2 - 10*j + 74. Is y(o) a prime number?
False
Suppose 0 = -30*u + 25*u + 150. Let d = u + 1. Is d*1 + 0/(-41) a prime number?
True
Suppose 6*q - 166924 = 39602. Is q a composite number?
False
Let b = 545 + 681. Suppose -4*m + b = -2*m. Is m a composite number?
False
Suppose -7934 = 13*j - 30177. Is j prime?
False
Let w(p) = p**3 - 22*p**2 + 23*p + 27. Let s be w(21). Suppose 0 = -g + s + 86. Is g a prime number?
False
Let n = 377644 + -162593. Is n prime?
True
Suppose -83*x + 144 = -107*x. Let n(l) = -38*l - 6 - 14 + 3. Is n(x) a prime number?
True
Let c(q) = 17444*q**2 - 109*q + 439. Is c(4) a prime number?
False
Suppose -24*k - 2*k = -415818. Suppose 2*d - 12*c + 8*c - 10662 = 0, -3*d = -c - k. Is d a composite number?
True
Let i(d) = -6*d**3 - 2*d**2 + 1. Let u be i(1). Let p(t) be the second derivative of -t**5/5 + t**4/12 - 4*t**3/3 - 2*t**2 - t - 155. Is p(u) composite?
True
Let m(p) = 2*p**2 - 8*p - 10. Let d be m(5). Suppose -w = f - 3084, d*f + 6178 = 2*f + 4*w. Is f composite?
False
Suppose -11*a + 7*a - 5*b + 320067 = 0, 0 = 2*a - 3*b - 160039. Is a prime?
False
Suppose q + g + 2*g - 13177 = 0, 0 = -2*q - 5*g + 26349. Let h = q + -9369. Is h a composite number?
False
Let c be (2/6)/((-9)/27). Let b(j) = 24908*j**2 + 2*j + 1. Is b(c) composite?
False
Let y = 187242 - -234089. Is y composite?
False
Let l = -28 - 72. Let z be ((-15)/12)/(1/l). Suppose -2*s = -z - 913. Is s a composite number?
True
Let g(h) = -238*h - 79. Let a be g(-17). Let n = a + -2612. Is n a composite number?
True
Suppose -10*z = 5*z - 17*z. Suppose 0*d - 12 = -2*d. Suppose 0 = -d*q + 2*q - 2*v + 4200, z = q + v - 1051. Is q prime?
True
Suppose 0 = -5*k - 40*t + 39*t + 150259, 3*k - 5*t = 90161. Suppose d - 5*d = -k. Is d a composite number?
True
Let v(y) = 1 - 7 - 11*y**2 - 1 - 3*y - 39*y**3 - 2 + 16*y**2. Is v(-4) a composite number?
False
Suppose 2*f + 2*f + 21 = -y, 0 = -5*y - 3*f - 37. Is 2/y + (-43311)/(-15) composite?
False
Suppose -6*t = 16 - 4. Is (-30)/t*87 + -3 + 1 prime?
True
Let o = 11 + -63. Let z = -12 - o. Is (102/(-4) + -1)/((-20)/z) a prime number?
True
Let l(v) = -35 - 7*v**2 + 10*v**2 - 18*v - 1057*v**3 - 144*v**3 + 2*v**2 - 7*v**2. Is l(-2) composite?
False
Suppose -85*t = -a - 82*t + 527173, 16 = 4*t. Is a a composite number?
True
Let x = 786 + -238. Let y(w) = -w**2 + 12*w + 1. Let v be y(-8). Let m = x + v. Is m prime?
True
Suppose 0 = -f - f + 6. Suppose 0 = -4*m + 16 - 0, -o + 3 = f*m. Is (-4974)/(-9) - 3/o prime?
False
Suppose -29245 = -5*t + h, -3*t - 2*h - 17554 = -6*t. Suppose 5*c - 462 - t = 0. Let p = c + 1281. Is p prime?
True
Suppose 110*h - 126*h = -1781168. Is h prime?
True
Suppose -41*a = 1238923 - 7728936. Is a a prime number?
True
Let x(a) = 2*a**2 - 4*a + 6. Let p be x(4). Let l = p - 26. Is (-1)/(300/(-99) - (l + 1)) composite?
True
Suppose 35*y = 38*y - 21. Suppose y*x = 10966 + 12757. Is x a composite number?
False
Suppose 5*x = -4*q + 2523, 2*q - 1259 = -8*x + 3*x. Suppose n - q = 1467. Is n a composite number?
False
Suppose 0 = 5*a - 3*a - 2. Let t(x) = 8*x**2 + 360*x - 14. Let s be t(-45). Is (s/7)/(a/((-2913)/6)) composite?
False
Let v(p) = 113*p**3 + 12*p**2 + 16*p - 104. Is v(5) composite?
False
Let x be 350/(-28)*(-1 - -2 - 3). Suppose -28*v = -x*v - 15. Suppose v*r + 3*q + 0*q - 6203 = 0, q 