, -o*g + 5*v + 6841 = 0. Is (-2)/(-4)*(0 + g) a prime number?
True
Is 4/(-30) - (653914/(-30) + 10) prime?
True
Let h(c) = 798*c**2 - 53*c + 494. Is h(11) a composite number?
False
Suppose -o + 15 - 25 = 0. Let d be (-1)/(5/o) + 2. Is (66/d)/(3/14) prime?
False
Suppose 909*y - 182469136 + 69085093 = 109265508. Is y a prime number?
True
Let t(v) = 173*v**3 - 13*v**2 - 12*v + 15. Is t(7) composite?
True
Let q(y) = y**3 + 3*y**2 + 17. Suppose 10*p + 49 = -31. Let b be q(p). Let c = b + 2276. Is c composite?
False
Let x = -136 + 508. Let u = x - 229. Suppose 0 = -d + 2*a - 4*a + u, 0 = d + a - 143. Is d prime?
False
Suppose 83*k - 331*k + 135882424 = 0. Is k prime?
False
Let c(f) = f**2 - f - 3. Let k be c(-3). Let r(y) be the first derivative of 2*y**3 - y**2/2 + 22*y - 241. Is r(k) prime?
True
Let i(p) = 552*p**3 + 4*p**2 - 21*p + 51. Is i(4) composite?
True
Suppose 4*o = -2*o. Suppose 2*v - 5*n + 16 = o, v - 3*n + 3 = -4. Let k = 56 + v. Is k prime?
True
Is ((-100888)/(-16))/((-2)/(-12))*(-9)/(-27) a prime number?
True
Suppose -7*a + 173725 + 282825 + 23363 = 0. Is a a composite number?
True
Let v(y) = -3*y + 19560. Let s(p) = 2*p + 16. Let c be s(-8). Let w be v(c). Suppose 4*n - 4*x = w, n = 5*x - 8*x + 4870. Is n composite?
True
Let w(c) = -4*c**2 - 41*c - 7. Let i be w(-10). Suppose 2*x - i*x = -713. Is x composite?
True
Let k be -3 + 477 - (-2)/1. Let x be (-3 + 2)*(-52 - -191). Let w = x + k. Is w a composite number?
False
Let h = 23889 + -13647. Let k = h + -5179. Is k a prime number?
False
Suppose -3*o = -n - 3456, -9*n + 3438 = 3*o - 4*n. Let p = o + -668. Suppose 2*u - 87 = -c, -u + p = 5*c - 3*u. Is c a composite number?
True
Suppose 45613488 = 16*l + 29*l + 3*l. Is l a composite number?
False
Let p(s) = s + 22. Let t = 92 + -116. Let d be p(t). Is (-939)/(-6) + 1 + 1/d a prime number?
True
Suppose 0 = -5*c - 3*g + 137834, -4*g = -c + 33243 - 5667. Suppose -5*y = -8*w + 3*w + 34415, 0 = -4*w - 5*y + c. Is w prime?
False
Let r(n) = n**2 - 9*n + 13. Let u be r(8). Suppose u*c + 3*p - 45446 = 0, -3*p - 12 = p. Is c composite?
False
Suppose -20*k = -17*k + c - 680218, 4*k + 2*c - 906954 = 0. Is k composite?
False
Let s = -30 - -46. Suppose s*o - 20*o = -12. Suppose -o*m + t = -1566, 2*m - 3*t - 1057 = 2*t. Is m composite?
False
Suppose l = 3*f + 301085, -5*l + 1505349 = -2550*f + 2554*f. Is l composite?
False
Let a = 616189 - 166628. Is a a prime number?
False
Let s = 2004 + 10498. Suppose 4*h - s = -2*c, 4957 = 4*c + 4*h - 20055. Suppose 0 = 3*a + 1842 - c. Is a a composite number?
False
Let j = 395 + -391. Is (-4244)/((-8)/j) - -5 a prime number?
False
Suppose 0 = 4*a + 2*k - 18, a = -3*k + 23 - 6. Suppose 167 = 3*j + a*j - 3*s, 5*j + 4*s - 139 = 0. Is j composite?
False
Let a = 974 + -988. Let n(d) be the second derivative of -41*d**3/6 - 33*d**2/2 + 2*d. Is n(a) prime?
True
Suppose 13*g - 17*g + j - 205 = 0, -g = -4*j + 70. Is (1*4006)/(g - -52) a prime number?
True
Let l be 25/15*3 + -77. Let v = l + 160. Suppose -v*u + 93*u - 155 = 0. Is u composite?
False
Suppose -3*f + 46263 = 3*c - 25920, -4*c - 5*f + 96240 = 0. Is c a prime number?
False
Let j be 256 - -47 - (-8 + 0)/2. Is 5/((-15)/6)*j/(-2) a composite number?
False
Let v(o) = o**2 + 10*o + 24. Let g be v(-9). Suppose 3*s + g = 0, 2*s + 3*s = 4*x - 2373. Is x a prime number?
True
Let l = 54671 + 132708. Is l composite?
False
Suppose g = 5*v + 73558, 0 = g + v - 2*v - 73578. Is g prime?
True
Let n(p) = -5*p**3 - 4*p**2 + 7*p + 3. Suppose 0 = -3*m, 3 = j + 3*m - 1. Suppose -4*o + 2 = 10, 0 = j*h - 4*o + 12. Is n(h) prime?
False
Let f be (-1 - -2 - 1) + 67 + -65. Suppose 5*y + 1161 = 2*z, y + f*y = 2*z - 1163. Is z prime?
False
Suppose 0 = 7*j - 11*j - 7*j + 176957. Is j composite?
False
Suppose -64 + 14 = 5*j. Is 8/j - 86621/(-95) a composite number?
False
Suppose -10*o + 8*o = 0. Suppose o = -20*y + 15*y + 10675. Let l = y - 592. Is l a composite number?
False
Suppose -i + 4 = 87. Suppose 3*q - 398 = 274. Let l = q - i. Is l a prime number?
True
Let f(q) = -3*q**2 + q - 3713. Let t(i) = 10*i**2 - 5*i + 11139. Let u(v) = -7*f(v) - 2*t(v). Is u(0) a composite number?
True
Let b(x) = -13*x**3 - 28*x**2 + 47*x + 107. Is b(-27) composite?
True
Let p = 152 + -152. Suppose p = 7*g - 7667 - 21068. Is g prime?
False
Let q(f) = 3295*f**2 - 71*f - 596. Is q(-13) a prime number?
False
Let s(f) = -5*f + 10. Let r be s(1). Let x(v) = 98*v**2 - 5*v + 12. Is x(r) prime?
True
Suppose 102*p + 10368668 - 52964482 = 11909620. Is p a prime number?
True
Suppose -2*q = -2*l + 1116706, -l = 12*q - 8*q - 558318. Is l a prime number?
False
Let v(d) = 2*d**3 - 4*d**2 - 5*d + 18. Let y be v(3). Is 221217/24 - (3 + y/(-8)) a prime number?
False
Let w(h) be the second derivative of -1813*h**5/20 - h**4/12 - 2*h**3/3 - 3*h**2/2 - 41*h. Let g be w(-1). Suppose 0 = 4*k - g - 511. Is k a prime number?
False
Suppose -4*q - 3*a = -3959, 4950 = 5*q + 81*a - 77*a. Suppose 5*w - 2099 = 4*o + 204, 0 = 5*w + 5. Let n = q + o. Is n a composite number?
False
Let w(c) = -2*c + 18. Let o be w(22). Let a(z) = -2*z**3 - 45*z**2 + 61*z + 17. Is a(o) a prime number?
True
Is (-174044819)/(-15290) + (-1)/10 - (-2)/11 a prime number?
True
Let q = -4 - -10. Let x(i) = i**3 - 12*i**2 - 10*i - 37. Let m be x(13). Suppose 0 = r + 4*j - 379, m*j + 1480 = q*r - 2*r. Is r prime?
False
Let u be (((-10)/(-3))/(-2))/(2/(-6)). Let q(d) = -4*d**2 - 8*d + 7*d + 9 - 9*d**3 - d + u. Is q(-5) a prime number?
True
Let b(w) = -126*w + 363*w + 191*w - 71. Is b(6) composite?
True
Suppose -146772 = -11*n + 119813. Suppose 4*d = -5*x + n, -13*d + 9*d + 14541 = 3*x. Is x composite?
True
Let a = -55 - -59. Suppose a*u + 2*g - g = 3457, u - 859 = -2*g. Let d = 1500 - u. Is d a prime number?
False
Let j = 3496 - 821. Let d be (-8)/20 + 22876/(-10). Let w = j - d. Is w a composite number?
True
Let z(t) = 7*t**2 + 5*t + 23. Let b be (-1 + 82/(-10))*(-5)/2. Suppose 0 = b*o - 17*o - 42. Is z(o) composite?
False
Is ((-2 - -3) + 0)/((-117)/(-5794191)) composite?
False
Let n(p) = -6*p + 0*p + 6*p**2 - 3*p + 58. Let s(z) = z**2 + 58*z + 199. Let o be s(-4). Is n(o) prime?
False
Suppose 4 = -4*t, 4*d - 1175 = t - 4026. Let r = d + 1202. Let x = 1780 - r. Is x prime?
True
Let w(u) = -2*u**3 - 2*u + 4. Let y be w(-4). Let i be (-4)/12 - ((-27)/63 + 15303/(-63)). Let h = i - y. Is h composite?
False
Let a = 29 - 104. Let u = a - -97. Is u a composite number?
True
Let r = -13 - -13. Suppose 5*c - 27 - 3 = r. Suppose 1583 = c*l - 1051. Is l a composite number?
False
Let b(u) = -909*u**3 - 47*u**2 + 11*u + 61. Is b(-6) composite?
False
Suppose 0 = -2*c + m + 157, 21*c - 26*c + 4*m = -385. Suppose c*u - 919 = 80*u. Is u prime?
True
Let n be (-4)/8 - 12/(-16)*2658. Suppose 0 = 2*v + 4*g - 1350, 0 = 21*v - 18*v - 2*g - n. Is v prime?
False
Suppose 2*b + 3628 = h, -3*h = -2*b + 2*h - 3644. Let q = -509 - b. Is q a composite number?
False
Suppose 3*m - 22 = 4*o, -4*m - o = m - 52. Suppose k + m*r = 9*r + 29100, k = 5*r + 29106. Is k a composite number?
False
Is 80489/4 + (-354)/(-472) a composite number?
False
Let l(g) be the second derivative of 7*g**4 - 3*g**3/2 + 5*g**2/2 - 10*g. Is l(4) a composite number?
True
Let l(j) = 2 + 41*j - 7 + 2 + 2 + 8. Let q be 6*1*(-2)/(-6). Is l(q) a composite number?
False
Let z be ((-2)/4)/(153/30 + -5). Let i(d) = -24*d**3 + 2*d**2 + 4*d - 11. Is i(z) a composite number?
False
Let v(l) = -73*l**3 + 9*l**2 - 5*l + 19. Is v(-8) a prime number?
True
Let s be -3 - -1 - (-6454 - (-2)/(-1)). Let n be (80/56)/(2/7). Suppose 0 = -n*p - s + 16969. Is p a prime number?
False
Suppose 0 = 40*j + 2481684 - 27185564. Is j prime?
False
Let j(q) = 606*q**2 + 9*q + 1. Let v be j(-2). Let c = 1908 + v. Is c a prime number?
False
Let c(f) = -7*f**3 - f**2 + 2*f + 2. Let m be c(-1). Let v(d) = d**2 - 6*d - 1. Let u be v(m). Let z(i) = -663*i**3 - 2*i**2 + i + 2. Is z(u) prime?
False
Suppose 5*t = g + 66481, -3*t + 7*t = -2*g + 53168. Is t prime?
False
Let w(i) = -i**2 + 5*i - 2. Let t = 31 + -27. Let g be w(t). Is (42/4)/1*g a prime number?
False
Let h be (-2)/8 + (-759)/(-92). Suppose -b - 3*n + 60 = -4*b, 0 = 2*n - h. Is (-1)/(-2) + (-168)/b a prime number?
True
Suppose v + 3*v + 4*i = -36, 0 = -5*i - 10. Let f(x) be the first derivative of -x**4/4 