-3*i + 3*g - 444 = 0. Let q = i - -343. Is 3/9*(3 + q) prime?
True
Let d(a) = 918*a**2 - 22*a - 89. Is d(9) a composite number?
False
Let i(b) = 9450*b**2 + 14*b - 30. Let u be i(3). Suppose -2*l + u = 4*s, -3*s + l + 18216 = -45568. Is s prime?
False
Let d(r) = -27*r - 2. Let y be d(-1). Let g(l) = 15*l + 29 - 16*l + y*l. Is g(5) prime?
True
Let p(j) = -5*j**2. Let s(a) = -4*a**2 + a - 1. Let b(o) = 3*p(o) - 4*s(o). Let n be b(3). Is 183*(0 + n + 0) a prime number?
False
Let i = 60 + -57. Let y(r) = r**i - 10*r**2 - 189*r - 3*r**2 + 3 + 166*r. Is y(16) prime?
False
Suppose 31484 = -0*s + 17*s. Is s*(-27)/(-6) - (-5)/(-1) composite?
False
Suppose 422866 = 4*d - 2*d - 3*t, -3*d + 2*t + 634289 = 0. Is d a prime number?
True
Let w = -811 - 1633. Let l = w - -7010. Suppose -l = -2*i - 2*p, 5*p + 20 = -0*p. Is i prime?
True
Is 7/((-126)/(-12)) + (-61903)/(-3) a prime number?
False
Let g be 3/(2/1 + -1). Let a(n) = -3*n + 2*n**3 - 6*n**3 + 15 - 7*n**2 + 9*n**3 - g*n. Is a(6) a prime number?
False
Suppose 92*y = 8*y + 15718332. Is y composite?
False
Let j = 206835 - 118624. Is j a composite number?
False
Let c = 147 + -118. Suppose 0 = z + 5, -4 + c = 5*i + 2*z. Suppose i*b - 3175 = 1648. Is b a composite number?
True
Suppose -5*i - 5*f = -1689825, 16*i - 3*i - 2*f = 4393485. Is i a composite number?
True
Is -1 + 9 + 163053 + 0 composite?
False
Suppose -3*t - 4*k = -6*k - 3098, -3*t + 3*k = -3096. Let v = 1837 - t. Is v a composite number?
True
Suppose -2*x = -3*o + 3, -2*o = 2*x - 4*o. Suppose -4 = -2*a, -5*t = -7*t - x*a + 1582. Suppose t = 2*k - 5*g, g + 293 = 5*k - 1654. Is k a prime number?
True
Is -640828*129/774*2/(12/(-27)) a composite number?
True
Let i(c) = -3*c**3 - 25*c**2 - 5*c + 34. Let n be i(-12). Let u = 3215 - n. Is u a prime number?
False
Is (4/(-4))/1 - 3 - 2787778/(-14) prime?
False
Let u = 25237 - -38526. Is u prime?
False
Let d(g) = g - 109. Let z be d(15). Let j = z - -2415. Is j a composite number?
True
Suppose 0 = 5*r + i - 167815, 107*r + 4*i + 570571 = 124*r. Is r composite?
False
Let y(g) = -2*g**3 - 4*g**2 - g + 2. Suppose -3 - 3 = 3*o. Let m be y(o). Is ((-36)/m)/(-3) + 952 a prime number?
False
Let m(v) = -3*v**3 + 202*v**2 + 127*v - 153. Is m(56) a prime number?
False
Let l(i) = i**2 + 60*i + 418. Let h be l(-52). Suppose -3*u + 7*w = h*w - 9062, 0 = u - 3*w - 3022. Is u composite?
False
Suppose -b = -6 + 2. Let r be 97 - (-1 + 0 + b). Suppose -r = p - 272. Is p a prime number?
False
Let z(v) = -218*v + 61. Let c = 435 + -449. Is z(c) a prime number?
False
Let q = -639940 + 1097399. Is q composite?
False
Suppose 5*w + 2*j + 2*j - 135492 = 0, j - 81291 = -3*w. Suppose -3*d + 4*f = -16252, 5*f - 3*f + w = 5*d. Let r = 8161 - d. Is r a prime number?
True
Let s be (-60)/(-15) + 1*-1*1. Let j(y) = -4*y**2 + y - 11. Let p be j(s). Is (-95315)/p + (-3)/(-4) composite?
True
Let c = 134 + -130. Suppose -5*k + 4*m = -5502, -c*m = -2*k - m + 2205. Is 3 + k/2 + 5 composite?
False
Let u(c) = 5*c**3 + 2*c**2 - 6*c - 13. Let r be u(6). Let d = r + 1076. Is d a composite number?
False
Let q = 44 + -41. Suppose q*o + 68 = 7*o. Suppose 0 = o*c - 18*c + 257. Is c a prime number?
True
Let x(s) = 3*s - 8. Let w be x(3). Let h be w/(-8) + 44740/32. Suppose 3*c = 435 + h. Is c a composite number?
True
Let k(v) be the first derivative of -35*v - 11*v**2 - 16/3*v**3 + 32 + 1/4*v**4. Is k(18) a prime number?
False
Let q be (-106)/4*(-3016)/4. Let v = q - 11805. Suppose 2*a = -14*a + v. Is a a composite number?
True
Suppose -682863 = -5*y - 4*z, 7*y - z + 136574 = 8*y. Is y prime?
False
Suppose -1727 - 314483 = -5*b + v, 5*b + 3*v - 316190 = 0. Is b prime?
True
Let d = -141574 + 246417. Is d prime?
False
Let x(a) = 3*a**2 + 81*a - 25. Let t(i) = 2*i**3 - 8*i**2 + 14*i + 13. Let b be t(3). Is x(b) prime?
True
Suppose 0 = -4*j - 0 + 16, z = -3*j + 19112. Suppose -11*l = -z - 103935. Is l composite?
True
Suppose 3*z + 2*z - 4*y = 3246, 5*z = 5*y + 3250. Suppose -157*a + 158*a = z. Let d = a - 125. Is d prime?
True
Suppose 3*u + 15 = -o + 4, 4*u = 2*o - 28. Suppose l + 2*z - 7 = 15, -8 = l - o*z. Suppose 0 = -l*p + 7*p + 3455. Is p prime?
True
Suppose -3*h - 398 = -4*m, -2 = 2*m + h - 206. Let f = m - 77. Suppose -79 = -q - f. Is q a composite number?
True
Suppose 5*v + 18*v - 1646433 = 55406. Is v composite?
True
Suppose -1840100 = -5*j - 5*i, 2*i + 722934 + 13110 = 2*j. Is j a composite number?
False
Let r(w) = 340*w + 37. Let v(x) = -5780*x - 630. Let s(a) = -35*r(a) - 2*v(a). Let c(k) = -2*k + 14. Let z be c(12). Is s(z) a prime number?
False
Let a = -3 + 3. Suppose a = -6*i - 9 + 27. Suppose 5*r - 1108 = i*u, -2*u - 2*u + 438 = 2*r. Is r prime?
False
Suppose -5*n = -4*x + 27239, -3*x + 5*x + 5*n - 13627 = 0. Let m = 197 - 4223. Let w = m + x. Is w a prime number?
False
Let i be (-4)/(-10) - (-1241)/85. Suppose -64158 = -i*w + 41607. Is w a composite number?
True
Let y(s) be the third derivative of s**4/12 - 5*s**3/6 - 32*s**2. Let j be y(6). Is j*6/168 + (-443)/(-4) a composite number?
True
Let a = -62 + 106. Let o be (-7)/(-5) + a/(-10) + 5. Suppose -o*f + 469 = -1357. Is f composite?
True
Let s be (-48)/18*6/8*-1. Suppose j - 10 = -2*l, 2*l + s*j - 6*j + 10 = 0. Suppose -c + 3*r = r - 6769, -l*c = 2*r - 20347. Is c composite?
False
Let l(n) = n**2 + 5*n + 3. Let q be l(-5). Let w(r) = 10*r + 58*r**2 - 55*r**2 + 8*r**q - 7 + 0*r**3. Is w(6) a prime number?
True
Suppose g = 3*z - 248271, 2*z - 2*g - 133260 = 32254. Is z a prime number?
True
Suppose 15*s + 3*b = 14*s + 11939, -4*s - b + 47822 = 0. Is s composite?
True
Let t = 1054 - 1062. Let m(a) = 11*a**3 - a**2 + a - 27. Let l(u) = 12*u**3 - u**2 + 2*u - 28. Let i(o) = 4*l(o) - 5*m(o). Is i(t) prime?
False
Suppose -5*y = -r - 52593 - 44444, 4*y = 3*r + 77634. Is y a composite number?
True
Suppose s - 157 = 4*j - 43, 5*s - 475 = j. Suppose -6*u + s + 248 = 0. Suppose -92 - u = -l. Is l a composite number?
False
Suppose 0 = -t - 5*y + 13, -t - t = -3*y - 26. Suppose -t*f - f = -115738. Is f a composite number?
True
Suppose -296*x + 277*x + 5524585 + 10397016 = 0. Is x composite?
False
Let a = 298700 + -196563. Is a a composite number?
True
Let m = -12476 + 25575. Is m a prime number?
True
Let n(j) = 12 - 6 - 13*j + 9. Suppose 13*g = 21*v - 23*v - 91, -28 = 4*g + 2*v. Is n(g) composite?
True
Suppose 14*a - 50809 = 339063. Suppose b + 4*m = 15421, -2*b + a = -3*m - 2939. Is b a prime number?
True
Let s(l) = -80*l**2 - 5*l - 141. Let t be s(-12). Let p = t + 21968. Is p composite?
True
Suppose a - 28 + 26 = 0. Is (-1 + a)*(80 + 28929) prime?
True
Suppose b - 5*n = 11062, 0*n = n - 4. Suppose 7*u + b = 13*u. Is u prime?
True
Suppose -449466 = -4*d - 2*q, 16*d - 18*d + 4*q = -224758. Is d a prime number?
False
Let p(d) = 7*d**2 - 127*d + 69. Is p(-49) prime?
True
Let k(l) = -20230*l**3 + 12*l**2 - 14*l - 5. Is k(-2) a composite number?
False
Suppose -4*s = 5*w - 9*s + 7790, -8 = -2*s. Let h = 2915 + w. Is h prime?
True
Let z = -688464 - -1503023. Is z composite?
False
Let p = 31387 + 18462. Is p prime?
False
Let n(i) = -2*i + 4. Let v be n(1). Let h(c) = 278*c**3 + 4*c**2 - 5*c. Let s be h(v). Suppose p + 3*p = -j + s, -p = -3*j - 551. Is p prime?
True
Suppose -2*j + 14 = 0, 4*f - 2307277 = -5*j + 2281122. Is f a prime number?
False
Suppose 13*n - 12 = 10*n. Suppose 2*x + 6 = 5*x + 2*m, 3*m = n*x - 8. Suppose 216 = -x*c + 1462. Is c composite?
True
Let z = 1010 + -2879. Let x = 2824 + z. Is x a composite number?
True
Suppose 3*u - 77 = -29. Is 1 + u/96 + 16223/6 composite?
True
Let w be 0 + 7/(28/1320). Suppose 0 = 3*a + 3*a + 126. Is 35/a - w/(-9) prime?
False
Let s(c) = -5*c**2 + 6 - 2614*c + c**3 + 15*c**2 + 1 + 2595*c. Is s(-11) a prime number?
False
Suppose -w - 557 - 3553 = 0. Let m = w + 5987. Let r = m - -60. Is r a composite number?
True
Suppose -14*t + 3*t = -5687. Is ((-4)/8)/(6/(-12))*t a prime number?
False
Suppose -56*x + 38*x - 1991673 = -27*x. Is x prime?
False
Let p = 37 - -56. Let q = p + -93. Suppose -4*g - d = -489, q = -g + d - 5*d + 111. Is g a composite number?
True
Let b(k) = 5*k**2 - k - 2. Let z be b(1). Let i(s) = 310*s**3 - 4*s**2 + 8*s - 9. Is i(z) a prime number?
False
Let u = 42 + -99. Let p = u + 59. Suppose 2*o = -i + 883, -5*o + 225 + 1538 = p*i. Is i a compos