 0*n = -n + h - 3, 5*n - 30 = -4*h. Let l be 2/(0/(-2) - n). Is 2/(-14) - l/(7/7512) composite?
True
Suppose 168*p = 35*p + 1944593. Is p a prime number?
True
Suppose -4*k - k = -2*l - 32, -2*k = 0. Is 54848/60 + l/120 a prime number?
False
Suppose 3*s = -2*n + 1327903 + 166306, 3*s + 4*n - 1494199 = 0. Is s composite?
False
Let h = -356 - -414. Is 1253 + (h/10 - 4/(-20)) a composite number?
False
Suppose -4*m + 6*m - 57992 = -2*s, 5*s = 10. Let g = m - 16183. Is g a prime number?
False
Let t = 61 + -59. Suppose -2*a = -t*j + 2, -3*a - 3*j + 1 = -2*j. Suppose -8*s + 729 - 97 = a. Is s a composite number?
False
Let d(n) = 3*n + 5. Let z(j) = -4*j - 7. Let y(t) = -7*d(t) - 5*z(t). Let i be y(-8). Let a(s) = 5*s**2 + 3*s - 13. Is a(i) prime?
True
Let c = 162856 + 415235. Is c a composite number?
True
Let s(v) = 3 + 29 - 12 - 19616*v - 5. Is s(-1) a composite number?
True
Let w(k) = 112*k**2 - 69*k - 87. Let n be w(33). Suppose -22*z + n = -10*z. Is z composite?
False
Let v = 321182 + -170742. Suppose 17*q = -23*q + v. Is q a composite number?
False
Suppose x + 13 = 5*u, -4*x = -8*x + 4*u - 20. Let y be 70/21 + 1/x. Suppose -407 = -b - 3*g, -g = y*b + 3*g - 1241. Is b a composite number?
False
Suppose 0 = 3*g + 48 - 183. Suppose -2*i - g = 11*o - 12*o, 5*o = -2*i + 273. Is o a prime number?
True
Let i = 216 + -51. Let l be -5*(-1 - (-11)/(i/(-108))). Suppose 4*a + 3*y - l = 540, 0 = -y - 5. Is a composite?
False
Suppose 3*k - 2*k = 2. Let w = k - -3. Suppose 4*z + 380 = u + z, -2*z + 1883 = w*u. Is u a composite number?
True
Suppose 3*p + p - 16222 = 2*w, -20 = -4*w. Suppose v = 4*v + 5*a - 3061, -4*v - 2*a + p = 0. Is v - ((-4)/18 - 232/(-72)) a prime number?
True
Suppose -262*p + 29548479 = 311*p - 72*p. Is p prime?
True
Let h be 0/(5 + (3 - 7)). Suppose h = 4*k + j + 171 - 430, -284 = -4*k + 4*j. Let y = k + 227. Is y composite?
False
Let y(q) = -7*q**2 + 11*q - 7*q**3 + 5*q + 12*q - 3 - 49*q + 7*q. Suppose -7*o = -3*o + 28. Is y(o) composite?
False
Suppose -7*t = -9*t + 46. Suppose 3*r = t*r - 451580. Is r a composite number?
True
Suppose -1190 = -6*c + 208. Is c/(5 - (1 + 3)) a prime number?
True
Let l(u) = -u - 3. Let r be l(6). Let y be (r*1)/(69/(-46)). Suppose 164 + 6814 = y*n. Is n composite?
False
Let y(t) = t**3 - 9*t**2 + 6. Let s(a) = a**2 + a + 1. Let o(w) = 3*s(w) + y(w). Let p be o(5). Is (62/(-93))/((-1)/(-21)*p) composite?
True
Suppose 0 = 29*d - 27*d + 670. Let j = d - -122. Let x = 404 + j. Is x a prime number?
True
Suppose -1655555 = -122*b + 95267. Is b a composite number?
True
Suppose -449*b - 862734 = -903*b + 448*b. Is b a composite number?
True
Let j(i) = 32543*i - 1486. Is j(7) a composite number?
True
Suppose 21088 = 28*f - 32*f. Let q be ((-1422)/54)/(2/174). Let t = q - f. Is t a prime number?
False
Suppose 353*k - 297*k - 3906952 = 0. Is k prime?
True
Let x(v) = 34*v + 106. Let y be x(-3). Is 425330/38 + y/38 - 4 a composite number?
True
Let p(j) = 3*j**2 + 2*j. Let r be p(1). Suppose -2*y = w - 539 - 278, -2047 = -r*y - 4*w. Is y a composite number?
True
Let t = -42 + 187. Suppose -3*f + 9 = 0, 4*f = -4*j + 23 + 5. Suppose 0 = j*k + c - 3004, -4*c + t = k - 606. Is k composite?
False
Let a be -4 + 9 - (3577 + 4). Let y = 29015 + a. Is y a prime number?
True
Suppose 0*d + 404336 = -16*d. Let t = d - -39172. Is t prime?
True
Suppose 4*x - 348 = -4*h + 120, -5*x + 3*h = -545. Let z be (-4)/(-5)*(-30)/(-12). Suppose -z*i = -1550 + x. Is i a prime number?
True
Let s(l) be the third derivative of 37/60*l**5 + 0 + 36*l**2 + 3/2*l**3 + 11/24*l**4 + 0*l. Is s(-7) a prime number?
False
Is -33767*4/24*-2*3 prime?
True
Let t be (0/5 - (-2 + 3)) + 6. Suppose 0 = m - t*m + 16. Is 2066/m - ((-14)/4 + 3) a composite number?
True
Let m(r) be the third derivative of 11*r**5/60 + 7*r**4/8 - 23*r**3/6 + 40*r**2. Is m(-18) a prime number?
True
Let j = -1587236 - -2959593. Is j composite?
True
Suppose -k - 457479 = -m, 420240 + 494662 = 2*m + 5*k. Is m prime?
False
Is (14/10 + 268/(-670))/((-2)/(-644510)) prime?
False
Let p(a) = -177*a - 3. Let y be p(-1). Suppose -y*m - 139970 = -176*m. Is m a composite number?
True
Is 1607498/16 - (-156)/416 prime?
True
Is (525/(-2900) - 2/29)*-1573204 a composite number?
False
Let t(f) = 71*f**2 + 4*f - 22. Let o be t(-6). Let l be -5 + 20/4 + o. Suppose 5*k - l = 3*k. Is k a composite number?
True
Let f(y) = y**3 - 13*y**2 - 32*y + 26. Let p be f(15). Is 158/(3 + 1 + p/2) composite?
False
Is (-8 - -1)/((-13858570)/4619495 + -2 + 5) composite?
True
Let a = 1984 - 942. Is a a prime number?
False
Suppose 10*y = 2*p + 7*y + 40593, 5*p = -4*y - 101425. Let t = -13726 - p. Is t a prime number?
True
Let w(z) = 5458*z + 1161. Is w(44) composite?
False
Suppose -35*v + 5997 = -32*v + c, 0 = 5*c. Let x = -1082 + v. Is x prime?
False
Suppose 75*n - 80*n - 2*m + 66157 = 0, -5*n = 3*m - 66158. Is n composite?
True
Let d = 8097 - -239702. Is d prime?
True
Suppose -3*y + 2*y = 5*k + 9454, -37892 = 4*y + k. Is y/(-10) - (-10)/(-25) a composite number?
False
Suppose 4*x + 11*k - 45350 = 9*k, -4*x + 45338 = -2*k. Suppose -5*q = a - x, -3*q = 3*a - 7750 - 26294. Is a a prime number?
True
Let f be (-26)/(-13) + (-1 - -2 - -1). Suppose -j = 4*l - 3356, 3352 = f*l - 0*j + 2*j. Let d = l + -277. Is d prime?
True
Let r(m) = m + 4. Let q be r(1). Let j = -4 - -4. Suppose q*f - w - 2931 = j, 2*f = 3*w + 1066 + 96. Is f a composite number?
False
Let s(g) be the second derivative of -3*g**4/4 + g**3/6 - 15*g**2/2 + 24*g + 1. Let k(v) be the first derivative of s(v). Is k(-7) composite?
False
Suppose 16 = 2*p + 4*c, -p - c = -3 - 2. Suppose -2*w + 14 = -4*k, -5*w + 2*k - 62 + 89 = 0. Suppose -w*q - 247 = -3*s, p*q = 7 + 1. Is s a prime number?
True
Let l = -3 - -3. Let b(c) = 2*c + 10*c**2 + 119 - 3*c**2 - 5*c**2 + c**3. Is b(l) a prime number?
False
Let a be (-4)/8 - 54438/4. Let g = a + 21471. Is g composite?
True
Suppose 6 = 3*j, 3*v - 12 = -2*j - 2. Suppose -5*p = -3*g + 2019, -3*g - v*p = -0*p - 2040. Suppose -2*y - i - 2*i = -g, -2*i = 0. Is y a composite number?
True
Suppose 0 = -20*d + 41*d - 4861628 + 1720427. Is d prime?
False
Let p = 15055 - -8672. Suppose -g - 2*n = -p, 3*n + 23713 = g - 2*n. Is g a prime number?
False
Let q(j) be the second derivative of 7*j**4/6 - 4*j**3/3 + 3*j**2/2 + 12*j. Suppose -6*k = -34 - 14. Is q(k) a prime number?
False
Let a(f) = f**3 - 2*f - 20. Let k be a(0). Let g(c) = -174*c + 64. Let v be g(k). Suppose 13*i - 17*i + v = 0. Is i prime?
False
Let r = 60 + -57. Suppose s = r*s + h - 393, 0 = 4*s - 5*h - 751. Let m = s - 81. Is m a prime number?
True
Let y(h) be the first derivative of -3*h**4/4 - 4*h**3/3 + 5*h**2/2 - 19*h + 46. Is y(-9) a prime number?
False
Suppose -4*x - 3*h = -1008, -6*x + 4*h = -x - 1260. Is 36/x*(0 + 10367) prime?
True
Suppose -4*s - 4*c + 148422 = -6*c, 0 = 3*c - 9. Suppose 3*v + 11868 = s. Is v prime?
False
Let q = -16 + 20. Let j be 4/(-26) + q/26. Suppose c - 1121 + 166 = j. Is c composite?
True
Let n be (1 - -1) + -133293*(-15)/45. Is 146/365 - n/(-5) composite?
False
Let v(w) = 1 - 2925*w**2 - 5*w + 5*w - w. Let m be v(1). Is (0 - m/3) + (3 - -1) a composite number?
True
Suppose -3*z - 411 = -6*r + 4*r, -4*z = 12. Is ((-260)/(-4) + 4)*r/9 a prime number?
False
Let v(k) = 26*k**2 - 115*k + 3353. Is v(90) a composite number?
True
Suppose u - 6*u = 2*q + 2248, 4*q + 4496 = u. Suppose -22*h = -11*h + 99. Is 3/h - q/6 a composite number?
True
Suppose 3*x - 23 - 67 = 0. Suppose 5*n - 2*g - 10 = 0, 2*n + 3*g + 7 = x. Suppose n*o = -2*v - v + 287, 0 = -3*v - 2*o + 289. Is v a prime number?
True
Suppose y - 42173 = 4*j, -y - 24*j + 42138 = -21*j. Is y composite?
True
Let x = 158 + -150. Is 3/(-6)*(-3104)/x prime?
False
Let w(p) = 81353*p**2 - 27*p - 55. Is w(-2) prime?
True
Suppose -4*g + 158329 = q, 5*q = -2*g - 30216 + 109403. Is g prime?
True
Suppose -12754 - 6562 = 22*m. Let d = -1 - m. Is d composite?
False
Let c(d) = 2*d**2 - 3*d - 4. Let l be c(3). Suppose -3*g = -2*g + 2*n - 8, l*g + n - 22 = 0. Is 554/g - (1/1)/(-2) composite?
False
Suppose -4*b = -2*m + 6*m - 4, 10 = 3*m - 4*b. Let n be (8 + -6)*2/m. Is ((-1*1492)/n)/(-2) composite?
False
Let t(l) = 80*l**3 + 9*l + 36. Is t(7) prime?
True
Let h be (-1)/((-2)/13 - (-6705)/39780). Let t = h + 1803. Is t 