4986 = y - 2*k. Is y a prime number?
False
Is (-24)/8 + 10 + (-55066)/(-1) a composite number?
False
Let w be (1*-183)/((-6)/16). Let m be 617/(-8) + 15/(-1800)*-15. Let d = w - m. Is d prime?
False
Suppose -43605 + 128429 + 120746 = 10*w. Is w composite?
True
Let x be (-510)/25 - (-8)/20. Let u be 6/10 - (288/x + -1). Suppose -u*n + 113605 = -8587. Is n composite?
True
Suppose 4*i + 28*i + 78*i - 49952650 = 0. Is i composite?
True
Let k = 294 + 20. Suppose -g = -4*z + k, 4*z - z - 987 = 3*g. Is 15/45 - g*2/3 prime?
True
Let p = 102 - 84. Suppose p*i - 8*i = 27850. Is i a composite number?
True
Suppose 5 = 3*p + 8. Let s(j) = -9*j**2 + 6*j**2 - 337*j**3 - 12 + 13 - 2*j. Is s(p) composite?
False
Suppose -5*i - 5138 = 6682. Let u = i + 4777. Is u composite?
True
Let s(n) = 21*n - 6550. Let u be s(0). Let t = u - -30081. Is t composite?
False
Let i = 144216 + -32779. Is i a prime number?
False
Suppose -2*g = 4*z - 43249 - 20017, 2*z = -10. Is g composite?
False
Let d(u) = -u**3 + 17*u**2 + 12*u + 6. Let b = -135 - -148. Is d(b) prime?
False
Let o(p) = -628*p + 3. Suppose -9*y + 6*y + 15 = 0. Suppose 5*t = -3*x - 2 - 23, -y*x - 15 = -5*t. Is o(t) a composite number?
False
Suppose 0 = -4*i + 4*k + 12, -3*k = -5*i + k + 15. Suppose -3*b + 2*y + 2*y + 21343 = 0, -i*b - y = -21368. Is b a composite number?
False
Let p(f) = -25 + 14 + 0 + 0*f - 190*f. Is p(-4) a composite number?
True
Suppose -44*f - 98*f = -3060242. Is f prime?
False
Let h be 72/8 + (10952 - 0). Suppose -4*l + 2*x + 14578 = -0*l, -3*l - 4*x = -h. Is l composite?
True
Let v(d) = d**2 + 2. Let f be v(0). Is 18192 + (f - (-21)/(-7)) a composite number?
False
Suppose 6 = 2*p, 4*u - 4*p = 348346 - 68154. Is u prime?
True
Let p(w) = 75285*w - 5951. Is p(4) composite?
True
Suppose -31*u - 16*u = -46*u - 384317. Is u prime?
True
Let i = 69797 - 43714. Is i a prime number?
True
Suppose -3*v = 2*k - 2538, 38*v = 42*v + 16. Let g(j) = -10*j**2 - 5*j + 4. Let f be g(4). Let t = f + k. Is t a prime number?
False
Let b = -3018 - 857. Let a = -1098 - b. Is a composite?
False
Let l be (-9)/27 - 2*(-26)/12. Suppose 0 = -l*u - 5*y + 2887 + 3641, -5*y + 3254 = 2*u. Is u composite?
False
Let s = -41107 - -60035. Suppose -d - d - 2*j = -s, -5*j = -3*d + 28432. Is d composite?
True
Let i(d) = 51*d**3 - 77*d**2 - 69*d + 25. Is i(18) prime?
False
Suppose 0 = 2304*r - 2252*r - 4011350 + 700666. Is r a composite number?
False
Suppose -2575 = 9*d - 8182. Let c = 2574 - d. Is c a prime number?
True
Is (-23)/(2760/(-72)) - 102107/(-5) a composite number?
True
Let p(q) = 296*q**2 - 2*q - 1. Let m(x) = -x**3 + 6*x**2 + 16*x - 60. Let b be m(7). Is p(b) a prime number?
True
Let f be (-5)/((-6)/2 + (-6)/(-3)). Suppose -3*r - 2*r + 27 = -3*t, 4*t = 2*r - 22. Is 18433/f - t/10 prime?
False
Let v = -553 + 19901. Suppose v = 4*o - 4*x, -5*x - 6 = 4. Is o a composite number?
True
Let y(q) = 82*q**2 - 96*q + 245. Is y(-45) a prime number?
False
Is ((-433988)/(-3))/(244/15 - 16) composite?
True
Let k(b) be the second derivative of -b**4/12 + b**3 - 5*b**2/2 + b. Let w be k(6). Let u(g) = -3*g**3 - 4*g**2 - 10*g + 6. Is u(w) a prime number?
True
Suppose -6*m - 5432 - 874 = 0. Let o = -1974 - m. Is (-1 + -25)*o/26 composite?
True
Let y(z) = 39*z**2 - 4*z. Let c be y(4). Suppose -866*n = -872*n + 24. Suppose -5*p - 576 = -n*a, -5*p + c = 4*a - 2*p. Is a a prime number?
True
Let f(i) = -53*i**3 + 125*i**2 - 16*i - 13. Is f(-22) composite?
True
Let f be (-104)/(-28) + (-6)/(-21). Suppose 3*y - 5930 = y - f*j, -3*y + 2*j + 8919 = 0. Is y a composite number?
False
Let m = 784237 - 546536. Is m composite?
False
Suppose 26147 = 18*z - 19303. Is 2*(-3)/24 + z/4 a prime number?
True
Let h = -47 - -52. Suppose m = h*o + 706, 4*o - 2778 = -4*m + o. Suppose 3*g = 2*f + 711, -3*f + m = g + 2*g. Is g composite?
True
Suppose -2*b + 93232 = k, 5*k - 186494 = -4*b + 8*k. Is b a prime number?
True
Let v = -7446 + 12593. Let k = v - -308. Is k a prime number?
False
Suppose -9 = d - 84. Let g(r) = 14*r + 29 - 24 - d*r. Is g(-2) a prime number?
True
Let h(d) = -6210*d - 2524. Is h(-33) composite?
True
Suppose -4*u + 55 = -49. Let s(i) = 101*i**2 - 17*i**2 - u + 10*i + 17. Is s(-7) composite?
True
Suppose n - 41652 - 50559 = 4*i, -5*n = 2*i - 461011. Is n a prime number?
True
Suppose -540*f + 485*f + 27417885 = 0. Is f a composite number?
True
Suppose 4*p + 0 = -3*d - 16, -d = p + 4. Suppose 0 = 2*s + l - 5029, 5*l = 3*s - d*s - 7576. Is s composite?
True
Let q be 6/6 + (5 - -1). Suppose q*c + 56798 = 4*n + 5*c, 0 = 3*n + 5*c - 42566. Is n composite?
False
Let i(u) = 14*u - 19. Let a be i(2). Is ((-6982)/(-8))/(245/(-28) + a) prime?
True
Suppose 2*r = s - 5*s + 31630, 5*r = 3*s - 23690. Let d = s + -4452. Is d prime?
False
Let m = -16 - -5. Let t(j) be the second derivative of j**4/4 - j**3/6 - 3*j**2/2 + 4*j + 6. Is t(m) prime?
False
Let s be -12 - (2 + (-4 - -4)). Let z be 21/s*(-4)/(-3) + 0. Let n(g) = -150*g - 9. Is n(z) a prime number?
False
Is 2/6*(535226 - 143) a prime number?
True
Suppose 28*n + 30610 = 9638. Suppose -2*f - 305 - 259 = 0. Let r = f - n. Is r a composite number?
False
Let i = 150432 + -67834. Is i prime?
False
Let a(x) = 99409*x - 2234. Is a(3) composite?
False
Suppose -3*k = -61926 - 54210. Suppose -k + 13028 = -4*t. Is t a prime number?
True
Let v = 3 - 43. Let p be (4/2 - 14)*(v - 3). Suppose -1006 = -j + p. Is j a prime number?
False
Let z = 206 + -294. Let r = 88 + z. Suppose -4*w - 6*g = -g - 2766, r = -2*w + 5*g + 1368. Is w composite?
True
Suppose -4*a = -a - 3, 3*s = -4*a - 4925. Let l be (-48)/64 + s/(-4). Suppose 36*g = 34*g + l. Is g prime?
False
Let m be 5 + 0/(-1) - (-26 + -6). Suppose -m*o + 56093 + 206940 = 0. Is o prime?
True
Let y(p) = 24*p**2 - 17*p - 48. Let x be y(24). Suppose 5*v + 1411 = -3*g + x, 3*g = -3*v + 11961. Is g a prime number?
True
Is (655 + -659)/((-8)/1413886) prime?
True
Suppose 0 = -5*y - 10, 6*k - 2*k - 1878530 = 3*y. Is k a composite number?
False
Let m be 1 - (-4)/2 - (-3)/(-3). Suppose -a - m*r = -4655, 4*a - 5*r - 22684 = -4012. Is a a prime number?
True
Let z = 204 - -47. Let c = 146 - z. Let r = 214 + c. Is r a prime number?
True
Suppose -2*f - 6 = -5*f. Suppose 35042 = f*v + 2*r, 3*v + r = 2*r + 52555. Is v a composite number?
False
Let c = 26 + -30. Let b be c*((-9)/(-3) + -4). Suppose j + 897 = t, -t + 2*j - 2681 = -b*t. Is t a composite number?
True
Suppose 4*x - 7*x + 68258 = b, 4*x + 3*b - 91019 = 0. Is x a composite number?
False
Let b(c) = 5815*c + 4914. Is b(17) a composite number?
False
Suppose 0*c - 20*c - 46*c = -36356694. Is c prime?
True
Let i(d) = -d**2 + 32*d - 72. Let a be i(27). Suppose -a*q = -68*q + 4775. Is q a composite number?
True
Suppose 5*r - 15 = -s, 0*r - r - 8 = -2*s. Suppose -4*p + 85714 = r*q, 4*p - 3*q - q - 85696 = 0. Is p a prime number?
False
Let x = -3401 + 6083. Suppose -2*f = 5*u - 0*u - 1753, -3*f = -3*u - x. Suppose -9*p + 2*p = -f. Is p composite?
False
Is (-9)/6*(328724/(-33) + 2) prime?
True
Suppose 214772 = 10*v + 68882. Suppose 0 = 10*w - w - v. Is w a prime number?
True
Let x be (-5 + (-76)/12)/(4/(-6)). Suppose -x*f - 19689 = -20*f. Is f composite?
False
Let a = 331127 - 162324. Is a prime?
True
Let v = -846 - -860. Suppose -3*w + v*q - 9*q + 5897 = 0, 3*w = q + 5905. Is w composite?
True
Suppose -4*r + 118332 = -4064. Is r a prime number?
False
Let x(o) = 12*o**3 + 6*o**2 - 6*o - 1. Suppose 3*d - 11 = 7. Is x(d) a composite number?
True
Let j(s) = 4*s**2 - 6*s - 15. Suppose -224 = -z + 5*z + 3*d, 0 = -z + 2*d - 67. Let w = 47 + z. Is j(w) a prime number?
False
Let t be -18*(1/2 - 20/24). Suppose -18916 = -t*s + 500. Suppose -4*k + 0*j = 2*j - s, j - 809 = -k. Is k composite?
False
Suppose 0 = -5*o - 10, -28185 = 13*b - 14*b - 3*o. Is b composite?
True
Suppose -3*z + 711405 = 3*j, -25*j + 24*j = 4*z - 237129. Is j a composite number?
False
Let b be 0 + 10/6 - 107/(-321). Suppose 5*u - 13652 = 3*w + 12469, 0 = b*u + 5*w - 10436. Is u prime?
False
Let r(g) be the first derivative of -5*g**4/4 + 10*g**3/3 + 9*g**2 + 12*g + 173. Is r(-5) composite?
False
Suppose 0 = -11*x + 50 + 93. Suppose -7*l - 99582 = -x*l. Is l a composite number?
True
Suppose 59*v - 36433 = -2*c + 58*v, 0 = 3*v + 15. Is c composite?
True
Suppose -11*t + 136652