Let x be i(-2). Let r = -1359 + x. Is r composite?
True
Let p(j) = 2437*j**2. Let x be p(1). Suppose 0 = s - n + 4*n - 501, 0 = 5*s - 2*n - x. Suppose -s = 7*y - 10*y. Is y a composite number?
False
Suppose 3*x - 3*z = 6*x - 31446, -4*z = -5*x + 52455. Is x a prime number?
True
Suppose 2*n - 2028 = 5*u, 3*u - 4*u - 416 = -3*n. Let w = u - -586. Suppose j = w + 95. Is j a prime number?
True
Is 2/(-10) - (-11692)/10 a prime number?
False
Suppose 1 = 3*f - 2. Let t(w) = -w - 10. Let z be t(-11). Is (z + 52)*(1 + f) prime?
False
Suppose -27174 = -r - 13*r. Is r a prime number?
False
Suppose 3*o - 7401 + 2817 = 0. Suppose 3*g + o = 11*g. Is g a prime number?
True
Is ((-2)/6)/(18/(-833922)) a prime number?
True
Suppose s + 8166 = 7*s. Is s a prime number?
True
Suppose -9*m - 8 = 1. Let n(s) = 91*s**2. Is n(m) a composite number?
True
Let b(z) = -2*z. Let q be b(-1). Suppose 2*l + q = 3*l. Suppose 258 = l*t + 4*o, 0 = -0*t + 2*t + 2*o - 256. Is t prime?
True
Let m(r) = 24*r**2 - 10*r - 45. Is m(-28) a composite number?
False
Let s(u) be the second derivative of -487*u**8/6720 + u**7/2520 - u**6/720 - u**5/60 + 5*u**4/6 - 4*u. Let v(x) be the third derivative of s(x). Is v(-1) prime?
True
Let x be (-91)/(-5) + 9/(-45). Suppose -4*j + 4 = 2*y - x, -5*j = -3*y. Suppose y*k - 3*b - 14 = -2*b, -3*k = 5*b + 14. Is k a composite number?
False
Suppose 18*a = 13*a + 62585. Is a prime?
True
Let g = -36982 - -63441. Is g a composite number?
False
Let f be (42/24)/((-2)/(-8)). Let i(w) = -4*w - 4. Let k be i(f). Let a = k - -615. Is a prime?
False
Suppose -4*n - 48 = 4*j + 8, -2*j = 4*n + 66. Let r = 19 + n. Suppose -x + 343 = -4*c - 412, r = 2*x + 5*c - 1458. Is x prime?
True
Is 4/(-14) - (-291685)/7 a composite number?
False
Is (-7)/((-147)/8550) + (-1)/7 prime?
False
Suppose 5*g = -4*b + 28885, 23129 = 4*g + 3*b - 4*b. Let i = g - 3392. Is i a composite number?
False
Suppose -364 = 4*u - 932. Is u composite?
True
Suppose 11*t - 235211 = 1322. Is t composite?
False
Let d = 91 - 92. Is ((-2)/4 - 2980/8)/d prime?
True
Suppose 3*v - 133266 = -3*p, -3*v = 7*p - 12*p + 222070. Is p a composite number?
False
Let v = 15 + -12. Is 4*183 - (0 + v - 4) composite?
False
Suppose -24*j - 7*j + 452941 = 0. Is j prime?
False
Let t(m) = 2306*m**2 - 77*m + 67. Is t(10) a composite number?
False
Let q be 0 - 4/(-3)*45/10. Suppose 4*h = 8, q*t - t - 4*h - 15047 = 0. Is t a composite number?
False
Suppose 4*v + i = 16227 + 15356, -2*v + 15819 = -5*i. Is v composite?
True
Let n(d) = d**2 + 8*d + 21. Let f be n(-5). Is 516 - (1 - f) - 2 a prime number?
False
Let u(m) = 10*m**2 + 23*m - 14. Let i be u(15). Suppose -5*v = 0, 5*d + 3*v - 939 - i = 0. Let x = -225 + d. Is x a composite number?
False
Let r = -18898 + 27581. Is r a prime number?
False
Let z(q) = q**2 + q. Let t(x) = -4*x**2 - 22*x - 17. Let r(j) = -t(j) - 5*z(j). Let m be (-3)/3*32/8 - -16. Is r(m) a prime number?
False
Suppose -4*n - k = -0*k + 53, 0 = 4*n - 3*k + 65. Let r = n + 26. Suppose 7*w - r*w = -170. Is w prime?
False
Let a(r) = -41*r + 128. Is a(-31) prime?
True
Let a be (-60)/(-4 + -1 + 3). Is a/6 + 190 + 1*-4 composite?
False
Suppose 43*i - 222972 = 616259. Is i a prime number?
False
Suppose -2*g = -0*g - 46. Suppose 5*u - 5*j = 35, 3*j - 2*j + 11 = 3*u. Suppose w + g = u*y, -4*y - w = 2*w - 71. Is y a composite number?
True
Let s(r) = r**3 + 16*r**2 + 16*r + 17. Let v be s(-15). Suppose 3*x - 9 = v*n - 2074, 0 = -3*n + 3*x + 3096. Is n a prime number?
True
Let l(x) be the second derivative of -x**5/2 + x**4/4 + 2*x**3/3 - x**2 - 28*x. Let o = 1 + -3. Is l(o) composite?
True
Is -3 + 487 + 0 + -3 prime?
False
Suppose 4 + 12 = -4*f. Let g be (f/(-6))/((-4)/18). Let w = 20 - g. Is w a composite number?
False
Suppose -3*g = 5*x - 6920, -23 = -3*g - 8. Is x composite?
False
Let n(b) = -6*b**2 + b + 9. Let c be n(-8). Let d = c - -601. Is d composite?
True
Let h be (4/(-6))/((-8)/372). Suppose -261 = -l - 5*v, 2*l - 3*v = -0*l + 483. Let w = l - h. Is w composite?
True
Let w = -2641 + 4057. Let j be (2/(-3))/((-6)/45). Is w/20 - (-1)/j prime?
True
Let a be 4/(-16) - (-1)/4. Let d(q) = -4*q + q + a - 2*q**2 + 4 - 9*q**3 + 3. Is d(-5) a prime number?
True
Is 1*(3 - 5 - -3483) composite?
True
Let x = -378 + 78. Let y = 1821 + -1270. Let w = y + x. Is w a composite number?
False
Let p = -32 + 39. Is 1146/9 + p/(-21) a composite number?
False
Let p = -11 + 13. Suppose -86 + 760 = p*c. Suppose 3*w = 5*l + c, w - l = -w + 234. Is w a composite number?
True
Suppose -7*m - 32512 = -3*m. Is (m/(-10))/4 + 2/(-10) a prime number?
False
Let k be ((-30)/(-56) + 2/(-8))*7. Is (k - 1)/(7*3/16149) a composite number?
False
Let k(d) = -8332*d + 9. Is k(-2) composite?
False
Let m(k) = -k**2 - 5*k - 4. Let r(h) = -h**3 + 7*h**2 + 9*h - 12. Let d be r(8). Let v be m(d). Suppose -8*i + 3*i + 445 = v. Is i composite?
False
Suppose 722 = 5*h - 3*h. Let w = 668 - h. Is w prime?
True
Is 10/(-8) - (-442855)/28 a prime number?
False
Let g(v) = -375*v**2 + 2*v + 2. Let u(n) = -374*n**2 + 3*n + 2. Let l(q) = -6*g(q) + 5*u(q). Is l(1) a prime number?
False
Let q(t) = -3*t**3 - 9*t**2 + 22*t + 23. Is q(-8) a composite number?
True
Let m = -70 + 188. Let l = m + 108. Is l a composite number?
True
Suppose -7 = b - 0. Let h(y) = 13*y**2 + 10 - 3*y - y**3 - 26*y**2 + 10*y + 10*y**2. Is h(b) composite?
False
Let o(l) = 4*l**2 + 10*l - 3. Let k be o(-9). Suppose -414 - k = -3*q. Is q prime?
False
Let x be (6/4)/(12/40). Suppose x*a - 18 = 2*a. Suppose a*c - 573 = 3*c. Is c a prime number?
True
Let y(r) = 76*r**2 + 21*r - 12. Is y(14) a prime number?
False
Suppose -81 = -2*d + 5*d. Is ((-1262)/(-6) + 0)*d/(-9) prime?
True
Let q(l) = -2*l + 19. Let g be q(11). Is (-921 - -2)*(g + 2) a composite number?
False
Let z(m) = -m**3 + 8*m**2 - 9*m + 6. Let a be z(6). Suppose -2*k = s - 0*s - 12, s + 5*k - a = 0. Is s/10 - (-128)/5 a composite number?
True
Let m be (73/(-2) + 1)/((-2)/480). Suppose 7*c = r + 3*c - 2133, 4*r = 4*c + m. Is r a composite number?
False
Let v = -23321 + 32854. Is v composite?
False
Suppose 0 = -3*a + 5*y - 2431, 0*a - 2439 = 3*a + 3*y. Let g = 3443 + a. Is g a prime number?
False
Let q(i) = 26*i**3 - 2*i**2 - 7*i + 3. Let n be q(-4). Let p be 4/(20/n) + 2. Let r = p + 464. Is r composite?
True
Suppose 20*y - 24*y = -8. Suppose -y*w - c + 322 = 0, -4*w + 328 = -4*c - 340. Is w composite?
False
Suppose 0 = -11*n + 8 + 36. Suppose -3*i = -4*d + 3544, -n*d + i + 5982 - 2430 = 0. Is d a composite number?
True
Suppose w = -3*q + 21, -3*q = -5*w - 0*w + 33. Is (w/(-6))/((-1)/(-2)) - -1426 a composite number?
False
Let l be (2 + -1)*(2 + 2 - -38). Let f(p) = 4*p**2 - 2*p - 1. Let x be f(-1). Suppose 2*g - 68 = -x*h + l, g = -h + 61. Is g composite?
True
Let o = 1942 + -911. Is o a composite number?
False
Suppose 5*v + 10 = 2*v - f, -v - 2*f = 10. Let d be 6*v/(12/(-86)). Suppose 3*t = 19 + d. Is t prime?
False
Let g(d) = 98*d**3 + 4*d**2 - 5*d - 2. Is g(5) prime?
True
Let r(s) = 499*s - 2. Let q be r(7). Let n = q - 2334. Is n composite?
True
Let a(w) = 86*w**3 + 6*w**2 - 70*w - 3. Is a(8) prime?
True
Let w(s) be the first derivative of s**4/4 + 25*s**3/3 + 7*s**2/2 + 4*s - 32. Is w(-11) prime?
True
Let d = -7 + 9. Suppose -4*i = 3*w - 177, 5*i - d*i - 169 = 5*w. Let j = i - -17. Is j prime?
False
Suppose 2*b - 7722 = -3*q - 3*b, 12898 = 5*q - b. Is q a composite number?
False
Let s(u) = 3364 + 23*u**2 - 5*u - 3369 + 106*u**2. Is s(-2) a composite number?
False
Is (-746)/3*(-33)/2 composite?
True
Is 5736/(-16)*(-28)/6 a prime number?
False
Suppose 5*d = 58 + 4247. Suppose -3*o = 3*v - d, 0 = 3*o + v + v - 863. Is o composite?
True
Suppose 14*y - 570644 = -186456. Is y a composite number?
True
Let j(x) = 124*x**2 + x**3 - 49 + x**3 - x**3 + 17*x - 144*x**2. Is j(20) composite?
True
Let z = 74 + -58. Is 24/z*(167 - (-2 + 3)) composite?
True
Let m = 7 + 0. Let a = 5 - m. Is 3/3*(a - -4) prime?
True
Let k be (2 + -5)/(1/3). Is (-3)/k - 1585/(-15) a composite number?
True
Let a = 241 - 486. Suppose 3*h + 9 = 0, 5*m - 2*h = -2231 - 1513. Let g = a - m. Is g composite?
True
Let k(p) = -14*p**2 - 6*p - 4. Let f be k(-9). Let g = 1927 + f. Is g composite?
True
Suppose 0 + 16 = -j + 4*u, -2*j + 18 = 2*u. Suppose 5*w + 1177 = j*a, 5*a = -w - 720 +