j*a - 1318 = -19171. Is a a composite number?
True
Let g(u) = 15780*u**3 - u**2 + u - 1. Let y be 3/(-18)*3*-2. Let k be g(y). Suppose -3*v + k = 4*x, 2*x - 3*v = v + 7906. Is x composite?
False
Let r = -267 - -264. Is ((-9)/6)/r - 5200/(-32) composite?
False
Suppose u - 14 = -11. Suppose y = -4, u*w - 10595 = 4*y - 3970. Is w a prime number?
True
Suppose 114 = 2*y + y. Let a = 78 - y. Is (-7671)/(-4)*a/30 composite?
False
Let f be (-91)/(-5) + 1*(-1)/5. Let v be -3*(-3)/f*(2 + -2). Suppose -2*x + 499 = -5*b, v*x + 2*b = x - 251. Is x prime?
True
Suppose -4*s = 4*y - 96476, -4*s - 3*y + 6*y + 96462 = 0. Is s a composite number?
True
Suppose 69288 = 4*d + 2*q, -3*d - 4*q + 78382 = 26411. Is d a composite number?
False
Suppose -47*x + 506409 = 4*m - 46*x, -632995 = -5*m + 2*x. Is m a prime number?
True
Let p = -21 + 9. Let n be 20/p*(-54)/15. Suppose n*y = 23976 + 5046. Is y a prime number?
False
Let s(t) = 1884*t - 5525. Is s(6) a prime number?
True
Let l(j) = -18 + 34 - 23 + 0*j + 5*j**2 - j**3 + 10*j. Let m be l(7). Is 14/m + 10434/10 + -2 prime?
False
Let x(n) = -2950*n**2 + 2*n - 1. Let q be x(-1). Let w = q - -5456. Is w composite?
False
Suppose 7*j - 116 = -53. Suppose -8*o - 7217 = -j*o. Is o composite?
True
Let w(g) = 4*g - 74. Let p be w(19). Is (-160)/240*(-85473)/p composite?
True
Suppose 5*v + 2*z - 54893 = 0, 0 = -16*z + 11*z - 5. Is v prime?
True
Suppose -6*j = 2 - 14. Suppose m + 2*l - 1587 = 0, 4*m - j*l + 0*l = 6298. Suppose 0 = -9*k + 1546 + m. Is k prime?
True
Suppose -10 = -22*d + 23*d. Is (-1 + 702)/(-9 - d) prime?
True
Suppose -4*y + 9613 = -478 - 30057. Is y prime?
True
Let t be (12/10)/(-3 - 39/(-15)). Let a be (0 - t)/(2 - 0 - 1). Suppose a = 3*j, -j - j = -2*i + 992. Is i composite?
True
Let x be (2/5)/((-238)/120 + 2). Suppose -15*i - x = -21*i. Let m(j) = 167*j + 5. Is m(i) prime?
True
Suppose 13*v + 263539 = 46*v - 877700. Is v composite?
False
Let q(p) = -5*p**3 + 114*p**2 + 75*p + 73. Is q(-32) a prime number?
False
Suppose 0 = -4*c + l + 212778, 5*c + 14*l - 265981 = 11*l. Is c prime?
False
Suppose 0 = 13*b + 224 + 231. Let w = 193 + b. Is w composite?
True
Let u(k) = -2114*k**3 + 4*k**2 + 13*k + 81. Is u(-4) prime?
True
Let f be ((-4)/5 - (-288)/(-15)) + 4. Is 514/3*(-24)/f composite?
False
Let x(l) = 4*l - 3. Let b be x(10). Let m = b + -37. Suppose -3*w + 2186 + 2779 = m. Is w a composite number?
True
Suppose 5*n - 7480 = r, 0 = -4*n + 3*r - 148 + 6132. Suppose z = -203 + n. Is z a prime number?
False
Suppose -o + i = -35, -5*i + 69 = 79. Suppose o*a - 59884 = -11*a. Is a a composite number?
False
Suppose 180984 = 4*u - 4*q, 13 - 5 = -2*q. Is u prime?
False
Let x = 266 + -276. Is (-30045)/x - -8 - 3/2 a composite number?
False
Suppose 5*p - 10 = c, p = -5*c - 0*p + 28. Let v be 0 - ((-20)/c + -23). Is ((-178)/(-3))/(18/v) a prime number?
True
Suppose -2 = 4*z - 2*z + 4*c, c = -z + 1. Suppose 5*o - 2126*g + 2129*g = 1209, -710 = -3*o - 4*g. Suppose z*t = t + o. Is t composite?
True
Let h(b) = 4*b - 52. Let s be h(13). Suppose 3*d + 0*o - 10 = 5*o, 5*d - o - 24 = s. Suppose 0 = 2*f - d*f + 3261. Is f a prime number?
True
Let a = -245 - -250. Suppose 2*l + 5*v = 16731, 0 = -3*l - l + a*v + 33387. Is l composite?
False
Let o be (5 + -6)/(11/(-22)). Let m(g) = -65*g**3 - 5*g - 19. Let b(c) = -33*c**3 - 2*c - 9. Let a(q) = -13*b(q) + 6*m(q). Is a(o) a composite number?
False
Let o(k) = -84540*k - 11467. Is o(-15) a composite number?
True
Let k be (11/(44/24))/2 - -1. Suppose -5*i + 2*y = 7554, -k*i + 2*i - 3030 = -5*y. Let o = -251 - i. Is o prime?
True
Suppose 2068*v + 1070506 = 2156*v - 3602910. Is v a prime number?
False
Let y(n) = -2*n**2 - 17 + n**3 + 20*n**2 + 8*n - 2*n**2. Let l = -486 - -472. Is y(l) composite?
False
Let w be (-60)/100*(-2 - 119668). Suppose 17*q = 35*q - w. Is q prime?
True
Let m = 863 + 4608. Is m a composite number?
False
Let a be 31/(-2)*(-1 - 1). Suppose -2*w = 4*z + w - a, -3*z = w - 17. Suppose -q = -z*r - 5 + 181, -r = -5*q - 63. Is r composite?
False
Suppose -3*h - t + 497224 = 0, 155*h + 4*t + 662928 = 159*h. Is h a composite number?
True
Suppose 3*l - 93 = 4*a, -5*a + a = 5*l + 69. Is (12/(-16)*-11014)/(a/(-14)) prime?
True
Let x(j) = 13*j**3 + 11*j**2 - 10*j - 1. Let y be (-12)/(-6)*3/(-2). Let m(k) = -k**3 + k**2. Let n(c) = y*m(c) + x(c). Is n(5) composite?
True
Let u be 1/1 - (2 + -4). Let g(k) = -214*k + 1. Let p(t) = -642*t + 5. Let b(x) = 11*g(x) - 4*p(x). Is b(u) composite?
True
Let q(k) be the first derivative of 251*k**5/20 - k**4/6 + k**3/2 - k**2/2 - 7*k - 9. Let d(p) be the first derivative of q(p). Is d(1) a prime number?
True
Let o = -1465 - -4076. Is o a composite number?
True
Let f = 6 + -3. Suppose f*a = 3*b + 657, 3 = b - 1. Is a prime?
True
Let c = 37 + -35. Let l = 9 - c. Suppose 5*y = i - 2297, -i - l*y + 2333 = -3*y. Is i a composite number?
True
Let j = 495 - -994. Suppose 2*s = -2*g - 1174, -2*s = -4*s - 5*g - 1171. Let q = s + j. Is q composite?
True
Suppose -5*u = -8 + 13. Let o be -101*(3 - -3)*u. Let h = o - 161. Is h composite?
True
Suppose -5*n - 51 = -26. Let p(u) = 11*u**2 + 28. Is p(n) a prime number?
False
Suppose -2*j + 118 + 68 = 0. Let a = -88 + j. Suppose 5*i = -5*g + 5530, 5*g = 3*i - a*i + 5545. Is g prime?
False
Suppose -10*y + 33*y - 46 = 0. Suppose 0 = y*i - 5*w - 3128, -4*i + 0*w = -w - 6292. Is i prime?
False
Is (-76753)/(-1)*(-13)/((-286)/22) a composite number?
False
Suppose 4807 = 2*o + j, 2*j = -5*o + 821 + 11194. Let z = o - -9148. Is z a prime number?
True
Let d be 5 + 1*(-21)/3. Let k(c) = c**3 + c**2 - 3*c - 2. Let o be k(d). Suppose 3*h + h = 3*z - 1671, z - 3*h - 562 = o. Is z composite?
True
Let v be ((-120)/4)/((-6)/177). Let y = v + 520. Is y a prime number?
False
Let w be -1*(-3 - -6) - (25 - 35). Let q = 162 + 157. Suppose w*h - 2964 = q. Is h prime?
False
Let m(j) = -688*j**3 + j**2 - 6*j - 5. Let h be m(-2). Is 68/306 - h/(-9) composite?
False
Let p(n) = -2*n**3 - 17*n**2 + 8*n - 1. Let f be p(-9). Let a be (f + 10/(-2))*3824/(-6). Let o = a - -2985. Is o a composite number?
True
Suppose -y + 30 = 2*y. Suppose -5*i - 18 = -t, -2*t - y = t + i. Is ((-1251)/(-36))/(t/(-8)) composite?
False
Suppose 0 = -2*a - 21*r + 20*r + 296914, a - 148457 = 5*r. Is a a prime number?
True
Suppose 0 = y - 1, 43*j - 44*j + 5*y = -6866. Let g = -4458 + j. Is g a prime number?
False
Suppose -40*g + 1080927 = 56389 + 37618. Is g composite?
True
Let a = 51 + -69. Let s be (a/36)/(2/(-32)). Suppose -s*v = -4*v - 2348. Is v a prime number?
True
Let o(n) = 4*n**2 + 8*n - 83. Let h(x) = 2*x**2 - 13*x - 7. Let c be h(6). Is o(c) a composite number?
True
Let f(o) = -o**2 + o. Let k(d) = 2*d**2 - 9*d. Let z(g) = -f(g) - k(g). Let x be z(6). Suppose 0 = -13*c + x*c + 409. Is c a prime number?
True
Suppose -2 = 3*k - 2*x - 21, 2*x + 24 = 4*k. Suppose -2*l - l = v - 734, 1200 = k*l - 3*v. Let a = -32 + l. Is a composite?
False
Let q = 298297 - 111784. Is q prime?
False
Suppose -5*a - w + 12250 = 4*w, -2458 = -a - 3*w. Let u = a - 1334. Suppose -2 - u = -2*l. Is l a composite number?
False
Let l be (-4)/(-16) + 14/8 + -2. Let k be (l - 15/(-20))/(2/(-40)). Let b(n) = n**3 + 15*n**2 - 13*n - 4. Is b(k) composite?
False
Suppose 3*a + 1674 - 20280 = 0. Let p = 1487 + 563. Suppose a - p = 8*v. Is v composite?
True
Let c(w) = -w**3 + 3*w**2 + 11*w - 22. Let z be (-49)/(-14) + 1/2. Is c(z) prime?
False
Let k(n) = -20 - 22*n + 13*n + 4*n. Let o be k(-5). Suppose o*h + p - 30944 = 0, -18572 = -0*h - 3*h + 5*p. Is h prime?
False
Let t(g) = 2*g**2 + 15*g - 15. Let i be t(-7). Let d = i - 123. Let f = 272 + d. Is f prime?
True
Suppose -4*d = -13*d + 54. Suppose d = 2*y - 5*y. Is y/(6/4605)*(-2)/5 a prime number?
False
Let g(d) be the third derivative of d**5/60 + 2*d**4/3 + 19*d**3/6 + 3*d**2. Let x be g(-15). Suppose 2*i - 373 = -w, -4*w = w - x*i - 1809. Is w composite?
True
Let g(r) be the second derivative of 565*r**4/4 + r**3/3 - 3*r**2/2 - 2*r + 10. Is g(-2) a prime number?
False
Let t(x) = -16*x**2 + 8*x + 27. Let l(j) = 48*j**2 - 23*j - 80. Let d(v) = -2*l(v) - 7*t(v). Is d(10) a prime number?
True
Suppose -3*s + 1101097 = t + 44550, -3*s + 3169629 = 3*t. Is t composite?
False
Suppose -1132 = -4*z + 5*v, -7*v + 20 = -2*v. Let n = 499 - z. Is n a compo