Let x(a) = -57*a**3 - 30*a**2 - 36*a + 224. Is x(-15) composite?
True
Suppose -m = 2*x + 2, 4*x - 5*x = 5*m + 1. Let v be 6*((-3)/9 - x). Suppose -2048 = -4*r - v*t, t = 2*r - 2*t - 1049. Is r a composite number?
True
Let z = -19504 + 111155. Is z a prime number?
False
Suppose -4*m + 466868 = j, 17*m - 22*m - 4*j = -583563. Is m a prime number?
True
Let f be 1*((-3 - -4) + -694). Let s = f - -2430. Suppose -r + t = -s, r + 3*t = -t + 1717. Is r a composite number?
False
Suppose -30912 = -30*a + 16*a. Suppose -3*f + 9 = 3*q, 0*q + 5*q = 3*f + 15. Suppose -q*n + 1749 = -a. Is n a prime number?
True
Let y(i) = 2516*i**2 + 185*i + 307. Is y(-12) composite?
False
Suppose -54 = 28*w - 29*w. Let y = w - 51. Suppose 515 = y*k - 406. Is k a prime number?
True
Suppose 120 = 4*n + 28. Suppose 95 = -8*r + n. Is 27425/6 + r/(-54) composite?
True
Is 70162*3/(-6)*(22/(-2) - 2) composite?
True
Let r(z) = 6123*z**3 - 3*z**2 + 2*z - 1. Suppose -13*l + 12 = -l. Is r(l) a prime number?
True
Let b = 26 + -27. Let z be b + 4 + -1 + 1. Suppose -z*n = -3*o - 0*n + 489, -o = -2*n - 165. Is o a composite number?
True
Suppose 2*z - 2*t = -394, 5*z - 3*t + 395 = 3*z. Let j = z + 265. Is j prime?
False
Let b(x) = -x**2 - 13*x - 2. Let m be b(-11). Let d(o) = -2*o**2 + 18*o - 17. Let u be d(8). Let g = m + u. Is g a composite number?
False
Let f(q) = -q + 20. Let w be f(-5). Suppose -8*p + w = -23. Suppose 12934 = p*m + 3760. Is m a composite number?
True
Let u = -133 + 136. Is 66 + (-3)/(u/1) a composite number?
True
Suppose 0 = -2*q - 4*q + 12. Suppose -q*b + 7*c + 1359 = 4*c, -2*b + 1361 = -c. Is b prime?
False
Suppose 23 = -5*k - 4*u, 29 = -2*k - 0*u + 5*u. Let f be (-2 - -3) + -7 - (k + 5). Is (-6)/f - (-171)/(-12)*-110 a composite number?
True
Suppose 102628 + 30349 = 13*r. Let l = r + 3342. Is l a prime number?
False
Let u(c) = c**3 - 28*c**2 + 12*c + 26. Let x be u(23). Let g = 220 - x. Is g composite?
True
Suppose 4*c - 8 + 2 = -2*n, 0 = -4*n - 5*c + 9. Is (n - 1180/(-15))*(-606)/(-2) a prime number?
False
Let c(q) = -q + 30. Let g be (4/(-8) - 0) + (-196)/(-8). Let v be c(g). Suppose 0 = -v*o + 14209 + 1445. Is o a prime number?
True
Let k be (16/4 - 7 - -650)*-1. Let r = -402 - k. Is 1*-4 + -102*r/(-14) a composite number?
True
Suppose -3965*d = -3947*d - 32393718. Is d a prime number?
False
Suppose -7*n = -2*d - 10*n + 4789, 0 = -5*d - 2*n + 11967. Let t = 1403 - 2537. Let h = t + d. Is h a prime number?
True
Suppose 0 = -5*c - 0*c - 25, 0 = 2*o - 2*c + 2686. Let m = -903 - o. Is m a prime number?
False
Suppose 5*h + 11 = -14, 0 = -4*k + 3*h + 11. Let w be 10*k*(-2 + (-9)/(-6)). Suppose -w*s - 6*s = -5401. Is s a composite number?
False
Let i(w) = -452*w**2 - 2*w - 4. Let q be i(-3). Let y be (-7 - 2) + (-16)/((-208)/117). Is y + 2 + (18 - q) - 3 a prime number?
False
Let f = -186 + 179. Let l(d) be the second derivative of -65*d**3/3 - 23*d**2/2 - d. Is l(f) a composite number?
False
Let q(t) be the second derivative of -1/3*t**3 + 0 + 127/2*t**2 + 34*t. Is q(0) prime?
True
Let p = -64369 - -103074. Suppose 2*j = 7*j - p. Suppose 4*a = -t + j, a + 38726 = 7*t - 2*t. Is t prime?
False
Let l be 2 + 0 + 11 + -8. Suppose 14 = -3*q + l. Is (2/q)/(1/(-3453)) composite?
True
Let w = -556 + 3132. Suppose 2*u - 10 = 2*g, 0 = -3*g + g + u - 5. Suppose 1495 = 3*v + 3*p - w, g = p + 4. Is v prime?
True
Let s be 16/(-10) + 1 + 72/(-5). Let c = s + 16. Is c/2 + (-4779)/(-6) prime?
True
Suppose 0 = -4*d - d + 10425. Suppose 490 - 1468 = -3*t. Let p = d - t. Is p composite?
False
Let o(v) = 17*v**2 + 499*v - 1199. Is o(97) prime?
False
Suppose -32 = -8*o - 8. Suppose -32 - o = -7*t. Suppose -3*n + 0*n - t*u + 7434 = 0, -3*n - 2*u = -7425. Is n composite?
False
Suppose -4*z - 9*c = -15*c - 4252910, 4252918 = 4*z + 2*c. Is z a prime number?
False
Let r = -57955 + 106376. Is r composite?
True
Suppose -1602*a = -1598*a + 3*o - 3406543, -3*a + 2554908 = 3*o. Is a composite?
True
Let t(j) = 195*j**3 - 47*j**2 - 2*j - 17. Is t(13) a composite number?
True
Suppose 3*t = -5*o + 5636, -5*t + 9380 = 7*o - 2*o. Suppose 3*g + 6*c = 2*c + 5561, -g - 5*c = -t. Is g a composite number?
False
Let m = 8458 - 12048. Let i = -2083 - m. Is i composite?
True
Let u(f) = f**2 + 7*f + 7. Let j be u(-6). Let m be (15/j)/3 + 3. Suppose -11*h = -m*h - 42. Is h a composite number?
True
Suppose c - 1768 = -4*r + 5044, 3*c = 4*r + 20420. Let o = -3627 + c. Is o prime?
True
Let l = -221 - -214. Is (-14972)/(-28) - 2/l composite?
True
Let t(n) = -24595*n - 2330. Is t(-7) composite?
True
Let u(p) = 9*p**2 + 23 - 10*p + 7*p**2 - 8*p**2. Is u(-6) prime?
False
Let r = 58 + -57. Suppose 17 = -4*l + r, -4*o = -3*l - 20. Is 3/o*(-7 - -485) composite?
True
Let q(c) = 16587*c**3 - 6*c**2 - 11*c + 55. Is q(4) composite?
False
Let c(o) = 8*o**3 - 8*o**2 + 9*o - 28. Suppose 2*s + 5 + 21 = 4*i, 4*i - 32 = 4*s. Is c(i) a prime number?
False
Let g(s) = 3952*s**3 + 2*s**2 + 16*s - 31. Is g(3) composite?
False
Suppose 10*k - 9*k - 4*r = -18, 5*r = 2*k + 24. Is ((-9985)/k)/(14/28) prime?
False
Let w = -980 - -4317. Is w composite?
True
Let d(n) = -53007*n - 9125. Is d(-52) a composite number?
True
Let b(v) = -2789*v + 18. Let s(i) = 2790*i - 17. Let n(d) = 3*b(d) + 2*s(d). Let g be n(-7). Suppose 6*a = 6973 + g. Is a prime?
False
Is 619 + 544707 + 1 + 2 a prime number?
True
Suppose 3*m - 21 = 0, 182*m = -i + 177*m + 259056. Is i composite?
True
Suppose 401516 = j - 3*y - 286995, 5*y = 6*j - 4131066. Is j a prime number?
True
Let g(f) = -4*f - 78. Let p be g(-20). Suppose -p*w - 3*j = -18317, 27473 = -0*w + 3*w + 4*j. Is w composite?
False
Let o(n) = 1167*n**2 + 76*n + 29. Is o(-4) a prime number?
True
Let x(g) = 2*g**2 + 3*g - 8. Suppose 5*o = -5*u + 20, -6*o + 4 = -5*u - 3*o. Let d be (u + -10)/(-1 + 2). Is x(d) prime?
True
Let f = 95 + -82. Is 1 - -3261 - f/(104/24) a composite number?
False
Suppose -4*z = -0*z + 3*c - 25, 3*c - 17 = -2*z. Suppose 6*q - z*q = 55054. Is q composite?
False
Let n = 253904 - 151845. Is n composite?
False
Let n be (3 - 2) + 3 - 0. Suppose 17*y = 7*y + 4430. Suppose -2*w = -3*d - y, 2*w + 3*d - n*d - 445 = 0. Is w a composite number?
False
Suppose 2*l = 6 + 6. Let u be (-25149)/(-12) - l/8. Suppose -r - 4*r = -u. Is r prime?
True
Suppose 5*g - 13*g = 16. Let k be -2 + (g - -5 - (0 - -1)). Suppose 9*p - 7408 - 1214 = k. Is p a prime number?
False
Is (-22306244)/(-476) + (-18)/21 a composite number?
False
Suppose -2*s = -32 - 658. Let h = 548 - s. Is h prime?
False
Let c = 137280 + -6561. Is c a prime number?
False
Let v = 91011 + -52972. Is v composite?
False
Let j be ((-18)/36)/((-2)/8). Suppose 5*z + j = 2. Is (3 + (-124)/(-1))/(z + 1) composite?
False
Let f(r) = 22840*r**2 + 42*r + 131. Is f(-3) composite?
True
Is 20/(-120) + (492159/18 - -1) prime?
False
Is 7/(-35) + (-79397712)/(-135) prime?
True
Let b = 17128 - 10049. Let g = -2878 + b. Is g a prime number?
True
Let n(v) = -v**3 + 0*v**3 - 11*v**2 - 6*v + 16 + 2*v**2 - 81 + 2*v. Is n(-11) prime?
False
Suppose -164*p + 53610341 - 31056864 = -111129647. Is p prime?
True
Suppose 26*k - 22*k = -8. Let w(a) = -a. Let z be w(k). Suppose 4*m - 1134 = -z*g, -4*m - 501 = -g + 84. Is g composite?
True
Suppose 255 = 3*d + 252. Is d/((24/26202)/4) prime?
False
Let s(h) = h**3 - 3*h + 3. Let f be s(2). Is 2*-2 + (f - -13392 - -4) a composite number?
False
Let p be (-1)/2 - 2861/(-2). Let b = p - -267. Suppose m - 4 = 0, 6*m = -3*y + m + b. Is y a prime number?
False
Let w be 6/4*((-9264)/(-9))/(-8). Is (w/(-4) - -4) + (-3)/(-4) a prime number?
True
Suppose -4*j = -4*f - 1356, -4*j + 1358 = 9*f - 14*f. Is j a composite number?
False
Let k = 183 - 181. Suppose -h + k*q = -6441, -4*h - q + 20366 = -5407. Is h prime?
False
Let h be (20/40)/((-1)/(-4)). Let s(q) = 2083*q**3 + 2*q**2 - 7*q + 9. Is s(h) a composite number?
True
Let p(z) = 135*z**2 - 129*z + 1. Let b be p(1). Let q(r) = 12*r + 18 + 7*r**2 - 5*r + 3*r**2. Is q(b) composite?
False
Is (1 - 2)/((-158)/37374742) a composite number?
False
Suppose 105 + 1128 = 4*g - 5*r, 0 = 2*g + 2*r - 630. Is 1625160/g + 2/13 composite?
False
Let u = 2274 - -6749. Let m = -25409 + u. Is (3 - 0)/((-18)/m) a composite number?
False
Let w(p) = 21*p - 15. Let v be w(0). Let a(s) = 12*s**2 + 19*s - 4. Is a(v) prime?
