 composite number?
True
Suppose 0 = -306*u + 312*u - 44586. Suppose 144*i - u = 141*i. Is i a prime number?
True
Let y = -22814 + 32788. Suppose -10*i - 904 = -y. Is i composite?
False
Let c = -8078 + 14405. Suppose -16*a + c = -2329. Is a composite?
False
Let j(w) = -2775*w - 932. Is j(-15) a composite number?
False
Suppose 0*k + 10*k = -100. Let l be 4 - 12/(-2)*k/30. Is 65654/(-51)*(-3)/l a prime number?
True
Let b(i) = 193*i**2 + 7*i + 16. Let g be b(-4). Suppose n + g - 8173 = 5*c, -2*c - 20352 = -4*n. Is n a prime number?
True
Let s be 10/(-6)*6/(-2). Suppose -457 - 1780 = -5*w - 4*l, 3*l = -s*w + 2234. Suppose w = -5*z + 1610. Is z a prime number?
True
Let m = -546 + 498. Is (2526/(-8))/(4/m) + -2 prime?
False
Suppose -20*z + 1073140 = 5*m - 15*z, m - 214643 = 4*z. Is m a composite number?
False
Suppose -5743 = -8*w + 28193. Let z = w - 2307. Suppose 0 = -5*v - 5*c + z, 4*v - 1544 = -c - 2*c. Is v composite?
False
Let b = 11944 - -96579. Is b a composite number?
True
Suppose 6*y - 20 = 40. Let x be 2/y - (-1299)/5. Suppose -2*o - 14 = -x. Is o composite?
True
Let i = 489402 - -139039. Is i composite?
True
Let f be ((-66231)/18)/(-1 - 2/(-4)). Is -4*(f/(-12))/11 a prime number?
True
Suppose -242*n - 27*n = -13575428 - 150174825. Is n composite?
False
Suppose 0 = 8*s + 10660856 - 33858832. Is s composite?
False
Let z be 2/(-8) - 9365/(-4). Let l = z + -692. Is l a composite number?
True
Suppose 10*o - 19 = -29. Is o/3 + (-131546)/(-51) prime?
True
Suppose -6 = 3*p + 6. Let y(m) = -m**2 - 5*m - 4. Let q be y(p). Suppose q*b + 277 = b. Is b a prime number?
True
Let t(x) = -123102*x**3 + x**2 - 93*x - 193. Is t(-2) a composite number?
True
Suppose 11*w - 287437 = 1799 + 1420747. Is w prime?
True
Suppose 7*p - 307243 = 135850. Is p composite?
False
Let g be 224/8*497/7. Suppose g = 4*c - 2280. Is c composite?
True
Let h be 3670 + 1/3*6. Suppose 8*m + h = 2*m. Let c = m + 1397. Is c composite?
True
Let p = 168787 + -87456. Is p a composite number?
False
Suppose -z = -90 + 91. Let h = z - -61. Is (146/(-3))/((-8)/h) a prime number?
False
Suppose 16 = -3*g - 5*g. Is 3 - -139 - (4 + (-6 - g)) composite?
True
Let s = 28 - 2. Let j = s - 20. Let c = 511 + j. Is c a composite number?
True
Suppose -59 = 8*b + 45. Let h = 250 + b. Let i = h - 115. Is i prime?
False
Let m = -3794 - -8494. Let j = -6754 + m. Let g = 3937 + j. Is g a composite number?
True
Let t = -86077 - -123544. Suppose -4*q - 3751 = -t. Let l = q - 4444. Is l prime?
False
Let a(n) = -n**3 + 20*n**2 + 2*n + 31. Let r(x) = 544*x - 21*x**2 + x**3 - 546*x - 35 + 4. Let w(f) = 4*a(f) + 3*r(f). Is w(16) composite?
True
Let y = 493 + -513. Is 759 + -10*(-4)/y*-2 a prime number?
False
Suppose n + 29 = 4*l, 12*n = 15*n + 3. Suppose 0 = -4*s - s - 3*v - 251, -5*s - 5*v = 255. Is 0 - ((-886)/l + 21/s) a prime number?
True
Let m(f) = -595*f + 3123. Is m(-52) composite?
True
Is (-9138 + 16)*((-4)/(-6))/((-52)/429) composite?
True
Suppose 3*r + 4*j - 4 = -2*r, -5*j + 5 = r. Suppose r = t + t + 8. Is -2*1/4 + (-358)/t a prime number?
True
Let o be 0 + -8 + -2 + 12/4. Let s(t) = -t**2 - 7*t + 2. Let d be s(o). Suppose -d*r + 4*r = 970. Is r prime?
False
Let h(t) be the second derivative of t**5/4 + 5*t**4/12 - 5*t**3/6 + 6*t**2 - t. Suppose -36 = 2*l + 4*r - 70, 2*r + 3 = 3*l. Is h(l) composite?
True
Let b(s) be the third derivative of 7*s**6/120 - s**5/60 - s**4/8 - s**3/6 - s**2. Let y(z) = -7*z - 10. Let q be y(-2). Is b(q) composite?
False
Let o be (-10488)/64*-4 - 2/(-4). Suppose -s = -o - 815. Is s prime?
True
Suppose 0 = -125*g + 113*g + 451596. Is g a composite number?
False
Let z be 9 + -9 + (3 - -9). Suppose -74673 - 33699 = -z*d. Is d a composite number?
True
Let t(z) = 62*z**3 + 4*z**2 + z - 7. Let j be t(5). Suppose -2808 = -9*n + j. Suppose -c = 97 - n. Is c a composite number?
False
Let k be 0/(4 - (-8)/(-1 + -3)). Suppose k = -z - 117 + 943. Suppose -16*q - z = -18*q. Is q prime?
False
Suppose 47*b - 126 = 5*b. Suppose 0 = -2*c - b*g + 227, -8*g - 9 = -11*g. Is c composite?
False
Let z(t) = -128*t**2 + 3*t + 42. Let m(y) = 383*y**2 - 11*y - 125. Let l(h) = 4*m(h) + 11*z(h). Is l(-3) a prime number?
False
Let w be (-16)/(-3)*(192003/28 + 3). Is 12/(-20) + w/30 a prime number?
False
Let p(w) = 84*w - 13. Suppose -2*h = 5*b - 51, -h + b + 4*b + 3 = 0. Is p(h) composite?
False
Let i = 15743 - 7480. Is i a prime number?
True
Let s(w) = -39*w**3 + 5*w**2 + 3*w - 2. Let n be 32/(-24) + 2/6. Let k = -2 + n. Is s(k) a composite number?
False
Let t = -214 + 222. Suppose 3*n - 3*i - 15891 = -t*i, -5297 = -n - 4*i. Is n a prime number?
True
Let i(w) be the second derivative of w**4/12 - 2*w**3/3 + w**2 + 294*w + 1. Suppose -2*x + 16 = 42. Is i(x) prime?
True
Let f = -445 + 432. Let b(r) = -372*r + 35. Is b(f) a prime number?
True
Let m(t) = 3*t**3 - 47*t**2 + 31*t + 18. Let h be m(23). Is h + 6 + (2 - 4) prime?
True
Let c(x) = x**3 - 5*x**2 + 10*x + 3. Suppose -7*k - 4*q + 44 = -3*k, 2*k = -3*q + 19. Is c(k) composite?
False
Let f(w) = -994*w**3 - 34*w**2 - 4*w - 31. Is f(-6) composite?
True
Let k be 11431/(-2) - (-25)/(-50). Is (-261)/27 - -10 - k/6 prime?
True
Let o be (-10)/(-15)*(5 - 2). Suppose -5*i - 82 = -4*x, -64 = 5*i + o*x - 0*x. Is 1/(-2) + (-9429)/i composite?
False
Let d be ((5 - -1) + -3)/((-2)/(-8)). Suppose 697 = -d*x + 42133. Is x prime?
False
Suppose -2*w = -4*a - 327210, 2*w - 228698 - 98560 = -4*a. Is w a composite number?
True
Let g be (-1)/8 + 61241/(-376). Let d = 688 - g. Is d prime?
False
Suppose -63*w = -4*w - 3392795. Is (-6)/(-4) + 11/(154/w) a composite number?
True
Let n(k) = -5*k**3 + 58*k**2 - 9*k + 121. Is n(-27) prime?
True
Is (1104/(-36) - -25)/(1/(-201)) a prime number?
False
Let o(r) = r**2 + 6*r - 55. Let l be o(-11). Suppose l = -310*d + 316*d - 44094. Is d a prime number?
True
Let r = 22356 - 14410. Suppose 3*o + r - 24413 = 0. Is o a prime number?
False
Is (-2*2/(-4))/((748/(-9620929))/(-44)) prime?
True
Suppose -4 = -c + f, 3*c + f + 16 = 8*c. Suppose c*b = 9*b - 558. Is b a prime number?
False
Let g(s) = -12*s**2 - 4*s - 1. Let v(b) = 13*b**2 + 5*b + 2. Let j(l) = -5*g(l) - 4*v(l). Let f be j(-6). Suppose -2*n + f = n. Is n composite?
True
Suppose 3*h = 2*v - 151, -3*h + 4*v - 220 + 65 = 0. Is 58168/28 - 0 - 28/h a composite number?
True
Let i = 83625 - -18002. Is i prime?
True
Suppose -92432 = -27*o - 14132. Let x = 1961 + o. Is x composite?
False
Suppose 80*k = 89*k - 979803. Suppose 7*q = -4*q + k. Is q a prime number?
False
Suppose 4*k - 336 = -3*n - n, -4*n = 2*k - 332. Let v = 68 - n. Is 6/v - 4114/(-77) prime?
True
Let a(n) = 100*n**2 - 4 + 7 + 40*n**2 + 86*n**2 - 5*n. Is a(4) a composite number?
True
Let p be (5/(-2))/((-20)/(-48)). Is 94/(p/10*30/(-207)) a composite number?
True
Let z(m) = -m**3 - m**2 + 11*m + 17. Let f be z(-3). Suppose 4*y - 1264 - 22107 = 3*i, 5829 = y + f*i. Is y a prime number?
True
Let b = 87 + -82. Suppose b*z + 40 = 5*a, -3*z - 1 = a + 11. Is -7 + 6 + z/((-5)/222) composite?
True
Suppose 3*n = 9, 4*b - 4*n = -2*n + 74. Suppose -4*m = -8*m + b. Suppose m*z - z = 740. Is z composite?
True
Suppose 0 = w - 2*t - 3901, -147*w + 152*w - t - 19532 = 0. Is w prime?
True
Suppose -2*v = 4*q - 6, -v + 7 - 3 = q. Suppose -4*p - p = -5*s - 1650, 4*s = v*p - 1650. Let h = -79 + p. Is h prime?
True
Suppose 229704 = c + 5*b, 0 = 2*c - b + 3*b - 459352. Is c composite?
True
Suppose 0 = 60*x - 55*x - 124080. Let v = x - 12305. Is v prime?
True
Let s = 298897 + -183494. Is s a composite number?
True
Suppose 173387 = 5*z + 16*q - 13*q, 3*z + 2*q - 104031 = 0. Is z a prime number?
False
Let s(d) be the second derivative of 7*d**4/4 + 28*d**3/3 + 13*d**2 + 199*d. Is s(28) a composite number?
True
Let g(k) = -15*k**3 + 2*k**2 - 16*k - 10. Let l(s) = -s**2 - 13*s - 44. Let h be l(-5). Is g(h) prime?
False
Let m be 4/18 + -6 + (-53716)/18. Let d = 7505 + m. Let z = d + -3222. Is z a prime number?
False
Suppose 10*z = 5*z + 3980. Let c(d) = d + 1562. Let w be c(0). Let r = w - z. Is r a prime number?
False
Suppose 0 = 61*a - 26013715 - 1362780. Is a a prime number?
False
Suppose -2*l - 3*i = -8724, -l + 5*i + 8740 = l. Suppose -b = -l + 1162. Suppose 973 - b = -10*q. Is q a composite number?
False
Let c(o) = -1018*o - 2347. Is c(-35) compo