be s(k). Is i + (4 - (5 + 3)) prime?
True
Let c be (-416)/(-1)*(-4 + (-1089)/(-18)). Suppose 17*t - t - c = 0. Is t a prime number?
False
Let m = -231966 + 918329. Is m composite?
False
Let n(v) = 19*v + 66. Let b be n(24). Suppose -11*k + b = -14449. Is k prime?
True
Suppose -1883486 - 1862825 = -18*s + 817967. Is s a prime number?
False
Suppose 4*n = 3*g - 58, n + 0*n - 2 = 0. Suppose 0 = g*o - 25*o + 18213. Is o a prime number?
False
Suppose 5845 = 4*t - 15923. Is (-1)/(5439/t - 1) composite?
True
Suppose 4*k - 350 = 2*d, -d + 46 = -k + 134. Suppose k*v - 930 = 81*v. Is v composite?
True
Let j = 14697 + -6894. Suppose -16*f - 11*f + j = 0. Is f a prime number?
False
Let d = -31 + 35. Suppose 2*v + 3289 = d*v + 5*t, 4*t + 4899 = 3*v. Is v prime?
True
Let l = 2333 - 1073. Let j = -97 + l. Is j a prime number?
True
Let f(o) = 2*o**2 - 22*o - 3. Let b be f(11). Let c(l) = -2*l + 7. Let h be c(b). Suppose -249 = -5*g + 2*x, 5*x - 2 = h. Is g a prime number?
False
Suppose 107 = 4*k - 49. Suppose 4*h + 12 = 0, -2*j = 2*j - 5*h - k. Is j*(-4)/6 + 473 a prime number?
False
Let w(u) be the third derivative of 5887*u**5/60 - 7*u**4/12 + 5*u**2 - 5*u. Is w(1) a prime number?
False
Suppose -5*d - j = -80, d + 2*j = -2*j + 35. Suppose d = 5*m - 2*m, -5*m - 248 = 3*v. Is v/26*-179*2 a prime number?
False
Let u = -69 + 61. Let k = 4 + u. Is (11/4)/(k/(-464)) composite?
True
Is (31344/(-48))/((-1)/17) composite?
True
Suppose -21655 = 5*k - 5*v, 4334 = -5*k + 4*k + 2*v. Let j = -1749 - k. Is j a composite number?
False
Let f(m) be the second derivative of 11*m**4/12 + m**3 + m**2 - 23*m + 1. Let k be (-5)/2 + (-5)/10. Is f(k) a prime number?
True
Let s(n) = n**3 + 10*n**2 + 14*n + 37. Let o be s(-9). Let j(h) = -3521*h - 53. Is j(o) prime?
False
Suppose 0 = 15*y - 11*y - 508. Let p = y - -1416. Is p composite?
False
Let q be ((-1)/(2 - 1))/((-5)/(-35)). Is 1739933/119 + 2/q composite?
False
Let p be -2 - (-23)/(161/3082170). Suppose 11*f = -11*f + p. Is f a composite number?
True
Let r = -1634 + 1637. Let l(o) be the second derivative of 4*o**5/5 + o**4/6 - o**3/6 + 2*o. Is l(r) composite?
True
Let l be 0 + (704/110)/((-4)/10). Let n(j) = -j**2 - 34*j + 43. Is n(l) composite?
False
Let s(u) = -u**3 - 9*u**2 - 19*u - 5. Let f be s(-6). Let j(h) = 1804*h**3 - h**2 - 3*h + 1. Is j(f) a composite number?
False
Let y(f) = 2*f**3 + 12*f**2 + 4*f + 7. Let n(u) = 2*u**3 + 10*u**2 + 4*u + 6. Let z(h) = 6*n(h) - 5*y(h). Suppose -3*o + 25 - 7 = 0. Is z(o) composite?
False
Let f(o) = -467*o + 467*o - 3*o**2 + 10453. Is f(0) composite?
False
Suppose -2*m + 32 = -2*y, -2*m + 5*y = -0*m - 32. Let b(v) = m*v**2 + v + 26 - 12 + 32*v**2 - 14*v**2. Is b(9) prime?
True
Suppose 2*z - 8 = 3*m - m, 0 = -4*m + 4. Suppose 2*g - 5522 = 4*x, -3*x = z*g - 7951 - 5919. Is g a prime number?
False
Let m(f) = 2*f**3 + f**2 - 2*f - 2. Let t be -3 - (3 + (-20)/4). Let u be m(t). Is (26/4)/(u/(-226)) prime?
False
Let y(w) = w**3 + 44*w**2 - 94*w - 104. Let a be y(-46). Let i(d) = 9*d**2 - 2*d - 109. Is i(a) composite?
True
Let z = 133403 + -88482. Is z a prime number?
False
Let n(f) = 14109*f**2 + 401*f - 1615. Is n(4) prime?
True
Suppose 14164 = 5*u - 67421. Suppose -4*f = -18935 - u. Is f prime?
False
Let b(l) = 870*l**3 + 18*l**2 + 4*l + 1. Is b(4) prime?
False
Let y = -27842 - -47683. Is y prime?
True
Suppose 9*o - 5*o - 52 = 0. Suppose 0 = 5*a - 2*f - 6 - 7, -3*a - 4*f + o = 0. Is (a/12*607)/((-3)/(-36)) a composite number?
True
Is (-7 - (-9 + -4 + 2)) + 435 a prime number?
True
Let x = 43699 - 6702. Is x composite?
False
Let n(j) = -60*j + 21. Let r be n(-11). Let y(t) = r*t**2 + 7*t - t - 4*t + 1 + 0*t. Is y(2) prime?
True
Let b = -30 + 22. Let m be (48/12)/(b/(-6)). Suppose 4*s - 2779 = m*s. Is s a composite number?
True
Suppose 1966310 = 4*v + 77*v - 4026475. Is v a prime number?
False
Suppose -c - 14 = -2*k - 5*c, c = k - 4. Suppose k*q - 17513 = -4*f + 36212, -2*q + 2*f = -21508. Is 10/(-55) - q/(-11) a prime number?
True
Is 2353768/31 - 1/(3/(-27)) composite?
False
Let i = 691 - 446. Let c be (-12)/(-36) + i/3 + 1. Suppose -c = -2*h + 4*n + 5, -1 = -n. Is h a prime number?
False
Let y = -682 - -685. Suppose -y - 55 = -n. Is n a prime number?
False
Suppose -15 = -4*y - y. Suppose -w - 2*o = -12 - 6, 3*w = -y*o + 42. Suppose -w*n + 559 + 351 = 0. Is n composite?
True
Let x be ((-32)/10)/(1 + (-18)/20). Let m = 34 + x. Suppose -m*r = d - 153, 3*d - 4*r - 72 = 367. Is d a prime number?
True
Suppose 11 = -2*i - 3. Let v(c) = -52*c + 9. Let b be v(i). Suppose -3*w - b = o - 6*o, 5*o - 4*w = 374. Is o a prime number?
False
Let c(i) = 6*i**2 - 18*i - 10. Let s be c(13). Let m = s - 511. Is m prime?
False
Let n(z) = 2*z + 6. Let m(k) = -k**2 + 9*k - 15. Let a be m(7). Let w be n(a). Suppose -4*j + 2*j = w*b - 118, 44 = j + 5*b. Is j a composite number?
True
Is (4/14)/((-10)/(-210)) + 630096/3 composite?
True
Let g be 6/(-27) + (-1936)/36. Is (-852786)/g - (-2 + 16/12) prime?
False
Let f be 8/(-5) + 9/15. Let t be (-5)/(f - 596/(-600)). Let h = 1199 - t. Is h a prime number?
True
Let t(q) = -5*q**3 + 12*q**2 - 15*q + 34. Let a be -6 + ((-5)/2)/(6/12). Is t(a) prime?
False
Let s = 8089 - -1528. Is s a composite number?
True
Suppose 0 = 25*x - 27*x + 2272. Suppose -4*k - 2043 - 529 = 0. Let c = x + k. Is c prime?
False
Let w = -274856 + 487945. Is w a composite number?
True
Let k(z) = 3*z**2 + 17*z - 3. Suppose -g + 2*m + 4 = 0, -2*m = -3*m - 2. Let s be (7 + -8)*(1 + g + 14). Is k(s) a prime number?
False
Suppose -8691387 = -70*w - 17*w. Is w composite?
False
Let g(w) = -7*w**3 + 43*w**2 - 4*w - 12. Let r be g(6). Suppose 2*q + 300 = 7*q. Suppose -4*c + q + 1504 = r. Is c composite?
True
Let x be -33*(-4)/8 - (-27)/(-54). Let h be (13827 - 0) + (-6)/(-2). Suppose -22*r + h = -x*r. Is r a prime number?
False
Suppose 2564 = 2*c + 3*f, 4*c + 0*f = -3*f + 5128. Suppose k + 6422 = 5*z, -2*k - c = -z - k. Is z a prime number?
False
Suppose -32*b + 28 = -36. Is b - 8/5 - 136629/(-15) composite?
False
Let q = 100 - 97. Suppose -9 = 5*i + 3*p, 8*i + p = 4*i - q. Suppose i = 4*a + 4*a - 5384. Is a composite?
False
Suppose 49159 = 19*s - 773. Let n = 5487 - s. Is n prime?
False
Let k be (-4 - -14 - 4)*(-15)/(-10). Suppose 4*m + 2150 = 2*l, -1090 = 8*l - k*l - 3*m. Is l composite?
True
Let v be (-12)/8*(-16349 - -7). Suppose -24513 = -3*i - o - 2*o, 0 = 3*i + o - v. Is i prime?
True
Suppose 0 = 2*u + 3*g - 10278 - 9782, -u + 10037 = -2*g. Is u prime?
False
Let v = -88 - -100. Let u(h) = -40*h**2 - 2*h - 27. Let g be u(v). Is g/(-12) - (-24)/32 a composite number?
True
Suppose 3 = -7*n + 17. Suppose l + 3 + 9 = -5*h, 4*l + n*h + 30 = 0. Is 3426/27 + l/(-63) composite?
False
Let h(p) = 2*p**2 + 9*p - 9. Let v be h(-9). Suppose 48*i - 34*i - 42 = 0. Suppose -5*d = -3*d + 2*z - 34, 4*d + i*z - v = 0. Is d a prime number?
False
Let x = 154571 - 55936. Is x a composite number?
True
Let j(b) = -182*b + 163. Let q be j(-29). Is q/4 - 3/(-4) prime?
True
Let l(p) = 2*p**3 + 23*p**2 - 65*p - 7. Let s = -188 - -200. Is l(s) a prime number?
True
Let n be 215306/10 + (-2)/(-5). Suppose 5*o = 2*l + n, 4*l = -o + 5*l + 4305. Is o a composite number?
True
Is 2/9 + (-4)/9 + (-7203060)/(-243) composite?
True
Suppose -10020 = 26*p + 34128. Let i = p + 4861. Is i composite?
False
Is (-8)/6 - ((-4)/(-3) - 143240320/384) a composite number?
False
Suppose -2*v = -5*i, 5*v = -5*i - 0*i + 35. Suppose 5*y = 2*o - 24928 + 6955, -i*o = -3*y - 17983. Is o prime?
True
Let k(w) = -1 - 95*w**2 - 64*w + 344*w**2 + 126*w - 63*w. Suppose -2*d + 2*n + 8 = 0, -15 = 5*n - 0*n. Is k(d) a composite number?
True
Let o(a) = 155*a**2 + 3*a - 3. Let f = 75 + -48. Let s be (3/(f/6))/(10/45). Is o(s) prime?
False
Let q = 199066 + -79775. Is q prime?
True
Is 1198101047/5577 - 2/(-39) composite?
True
Let g(q) = q + 7. Let y be g(-4). Is (-98 - y)/((-1)/13) a composite number?
True
Let c(q) = q**3 + 8*q**2 + 13*q - 8. Let g be c(-10). Suppose 0 = a - 1, 0 = -3*x + 6*a - 3*a - 264. Let l = x - g. Is l a prime number?
True
Is 42954 - (7 + -10 - 4) a prime number?
True
Let f(w) be the second derivative of w**4/12 + 4*w**3/3 + 9*w**2/2 - 5*w. Let n be f(-7). Suppose 3*k = -5*z + 4813, -3*z = -n*z + 3*k - 953. Is z prime?
False
Let k(y) = 2*y**2 - 50*y