 number?
True
Suppose -38*k + 20*k + 31*k = 300859. Is k a prime number?
True
Suppose 0 = -5*p, -5*g + 3*p + 10255 = -0*p - 30700. Is g prime?
True
Suppose -109*i = -8218777 + 41261643 - 190950185. Is i composite?
True
Let c be ((-3)/(-20))/((-5)/20)*-31655. Let w = c + -8270. Is w composite?
False
Let o(g) = -3*g + 20. Let z be o(6). Let j be 2/z - -3 - -7. Let x(p) = p**3 + p**2 - 5*p - 10. Is x(j) prime?
False
Let g be (3306/116)/(-1 - 5/(-2)). Suppose -7*h = -g*h + 925644. Is h composite?
False
Let l = -4815 + 2460. Let g = 1846 - l. Is g a composite number?
False
Let n(w) = 5*w - 44. Let z be n(9). Is ((-58)/(-232))/((2/80296)/z) a composite number?
False
Suppose 4*d - 8*d - 265239 + 1353971 = 0. Is d a prime number?
True
Let m(c) = 15274*c - 1385. Is m(30) prime?
False
Suppose -32*i = -36*i - 12. Is ((-3 - -7) + i)*(4200 - -1) prime?
True
Let u(b) = 4*b - 4*b + 3*b**3 - b**3 + 6*b**2. Let g be u(-3). Is (2 + -1 + g/(-1))*337 a composite number?
False
Suppose 2*p - f = -80083, 11*f = -5*p + 6*f - 200185. Let a = p + 56097. Is a composite?
False
Suppose -8*p + 3*p = 15. Let a be (-2 - p) + 1792 + 3. Suppose 3*h - a = -h. Is h a prime number?
True
Suppose -2*s + 4*p = p + 2317, 3*p - 15 = 0. Let n = -772 - s. Is n prime?
True
Let l be ((-6)/5)/((-21)/(-140)*-4). Is 5919/(-1)*(-9)/54*l a composite number?
False
Let k(l) = 3*l**3 - 9*l**2 + 143*l - 71. Is k(14) composite?
True
Let u(o) = -11*o**3 - o**2 - 3*o + 1. Let l be u(4). Let v = l + 462. Let c = v + 492. Is c prime?
True
Let g = 628 + -280. Let w = g - 209. Is w composite?
False
Is 196/1862 + (-3194069)/(-19) composite?
False
Let s = -112 + 89. Let b = 15 + s. Let q(z) = -98*z + 3. Is q(b) prime?
True
Let s(n) = 37819*n**2 - 63*n + 197. Is s(3) composite?
True
Let w(c) = 32*c**3 - 2*c**2 - 6*c + 4. Let a be w(1). Suppose a*h = 218411 + 572281. Is h composite?
True
Suppose 4*c = 3*q + 76, -71 = 3*q - 2*c + 3*c. Let m be (-174)/4*(-128)/q. Let d = m + 1673. Is d a prime number?
False
Let s(g) = g + 12. Let i be s(-6). Suppose 5*q + 9*r = 4*r + 45, 0 = -2*q + 4*r + i. Suppose -q*m + 10434 = -3209. Is m a composite number?
False
Let w(c) = 146*c**2 + 8*c + 16. Let k be w(-7). Let b = -563 - -565. Suppose -r + 3557 = b*y, r + r = -3*y + k. Is r composite?
False
Let k be 4/(-6)*(-6 - (-7290)/(-20)). Suppose -43962 = k*z - 253*z. Is z prime?
False
Let i(t) = -t**3 - 2*t**2 + 34*t + 214. Is i(-43) a prime number?
True
Let n be (-1)/(-6) + 11/6. Suppose -p = 2*b - 5436, -n*p - 1681 - 1042 = -b. Is b a composite number?
False
Suppose 6079566 + 14662841 = 15*y + 526862. Is y composite?
True
Suppose 68 = 9*d + 8*d. Suppose -d*h - 2 - 2 = 4*n, 2*n + 5 = h. Is (-3)/((-9)/160) - h/3 composite?
False
Suppose 354 = -3*h + 3*z, -6*h + 5*h - z = 124. Let a = 118 + h. Is 1559 + 12/a + 4 - 4 a composite number?
True
Let t be ((-240)/5)/(2/6). Let j = -101 - t. Suppose j*z = 42*z + 419. Is z prime?
True
Let k be (5 + (-91)/21)*-255. Suppose 5*p = -a + 7750, -4*p + 3*a - 8*a = -6179. Let h = p + k. Is h composite?
False
Let c = 373644 + -198953. Is c a composite number?
True
Suppose 730859 - 706238 = 74*i - 2668757. Is i a composite number?
True
Let x(w) = 2*w**2 + 2*w**2 - 3*w**2 - 601 + 618 + 8*w. Let f be x(-5). Suppose f*k - 443 = k. Is k prime?
True
Suppose 10*n - 7*n = -2*h + 11, -9 = -3*h + 3*n. Suppose h*k - 38129 = -q, -30*q + 19060 = 2*k - 28*q. Is k prime?
True
Let c be 210938/169 - (-4)/(-26). Suppose -3*h + 3165 = -c. Is h prime?
True
Suppose -25 = 5*b + 3*c, -b + 8*c = 10*c + 12. Is (-9 - -3397) + 2 + 1 + b a prime number?
True
Let v(u) = 20*u**3 + 46*u**2 - 443*u - 29. Is v(10) prime?
False
Let q be (-178)/((-12)/(-63)*9/(-6)). Suppose 5*j = 3*c - 2266 + q, 0 = -j - 4. Is c prime?
True
Suppose -961458 + 164407 - 327692 = -19*r. Is r a composite number?
False
Let v = -37 - -39. Let a be 4/(-8) + (-2165)/v. Is (6/(-9))/(2/a) a composite number?
True
Let q(b) = -2*b**2 + 22*b - 23. Let r be q(10). Let p be -1 + -2 + (-21)/r. Suppose -432 = p*g - 1604. Is g a prime number?
True
Suppose 0 = 111*z - 6890466 + 4420353 - 7459725. Is z prime?
False
Suppose 4*k + 5*v - 3*v - 8 = 0, -2*k + 5*v = 8. Let y be (7 - k)/((-10)/(-2) + -3). Suppose 0 = 4*t + 1 - 5, y*l + 4*t = 5299. Is l a prime number?
False
Let g(d) be the third derivative of 19*d**6/360 + 3*d**5/40 - d**4/24 + d**3/3 + 2*d**2. Let y(t) be the first derivative of g(t). Is y(-4) a composite number?
True
Let d(h) = -112034*h - 1633. Is d(-4) a composite number?
False
Suppose 4*o = -5*a + 18704 + 3589, -5*o = 2*a - 27845. Let l = 8944 - o. Is l composite?
True
Let i(g) = -37*g**3 + 11*g**2 + 20*g + 61. Is i(-15) composite?
True
Let c be (-3)/5 - 180/(-50). Suppose 0 = 3*r + i - 6, c*r - 3*i = i + 6. Suppose -3*t + t + r*w = -1226, -4*t + 2446 = -w. Is t prime?
False
Let i = -447 - -419. Let b(j) = 147*j**2 - j + 63. Is b(i) a prime number?
False
Let p be 1/((-10)/(-16)) + (-9)/15. Is (2913/(-12) + p)*-2*2 prime?
True
Let z be 186/(-31)*(-2579)/2. Suppose z = 22*w - 19*w. Is w a composite number?
False
Let t(r) = 52*r + 119. Let g be t(-21). Let p = -642 - g. Is p a prime number?
True
Let l(g) be the first derivative of -16 - 3*g - 3*g**2 - 1/4*g**4 - 1/3*g**3. Is l(-13) a composite number?
True
Suppose -2*q = 3*s - 56753, 5*q - 141860 = 19*s - 22*s. Is q prime?
False
Suppose -191422682 = 24*l - 442*l. Is l prime?
False
Is (-65)/195*(-1 + 3026842/4)*-2 a prime number?
True
Let y = 1927 - 544. Suppose 2*o - 451 = -0*f - f, 0 = 3*f - 4*o - y. Is f composite?
False
Let c = 656408 + -308787. Is c prime?
True
Let s(j) be the first derivative of 207*j**2/2 + 6*j + 2. Let w = -4031 + 4036. Is s(w) a prime number?
False
Let g = -32 - -38. Suppose g*h - 8 = 16. Suppose 6*q - q + 2*s = 119, -h*q + 109 = -3*s. Is q composite?
True
Suppose w - 6*u + 3*u - 7 = 0, -5*w + 15 = 5*u. Suppose 4*v + w*f = 988, 5*v - 2*f = -4*f + 1247. Is v a prime number?
True
Suppose -3*f - 5*c + 67001 = 0, 22343 = f + 119*c - 115*c. Is f a composite number?
True
Suppose -24 = 10*t - 12*t. Let u(g) = 25*g - 77. Is u(t) a prime number?
True
Is (-1421565)/(-18)*258/215 prime?
True
Suppose -16*c + 247 + 1097 = 0. Let t = -6 - -4. Is c + -4 - (-1 - t) composite?
False
Let f(i) = -3*i**2 - 56 - 73*i - 1 + i**2 - 97*i + 8*i**2. Is f(45) composite?
True
Let f = 126 - 66. Suppose -3*v - 2*v = -f. Suppose v*a = 8*a + 460. Is a prime?
False
Let k(r) be the first derivative of 3*r**3 + 13*r**2/2 - 137*r + 57. Is k(-33) composite?
True
Let o(t) = 25*t**2 + 4*t + 3. Let w be o(-1). Let s be 30684/w*(2 + (-1 - -1)). Suppose -408 + s = 7*i. Is i prime?
True
Suppose 105519247 = 789*q - 278650376. Is q composite?
False
Is (-371626)/2*(1 - (7 + -5)) prime?
True
Let m(d) = -55 + 18 - 142*d + 30 - 20*d. Let q be (2/4 - 0)*-24. Is m(q) a prime number?
False
Let d = 13115 + -27390. Let l = d + 20572. Is l a composite number?
True
Let q = 483 + -463. Is (-34104)/(-10) + (-28)/q a composite number?
True
Suppose -19*h + 1264260 = -628273. Is h a composite number?
False
Let q = 63 - 32. Let p = 31 - q. Suppose p = -i - 0*a + a + 1661, 0 = -2*i - 4*a + 3298. Is i composite?
False
Suppose 14*k = -8*k + 440. Suppose s = 4*x - 18585, -2*s - k = 2*s. Is x prime?
False
Is (-128 + -2165)/((-1)/19) composite?
True
Suppose -3*u - 2*d = -11 + 1, 5 = -u + d. Let f be -3 - (u + 138/(-2)). Is ((-194)/(-4))/(3/f) prime?
False
Let w be 4 + (-8)/(5 + -3). Suppose w = 6*h + 8 - 32. Is 6/12 + 170/h prime?
True
Let d = 225 - 225. Suppose -4*u - 2048 + 20484 = d. Is u a prime number?
False
Suppose 3*k - 9 = 4*k - m, -5*m - 36 = 4*k. Let b(z) = -44*z**3 + 6*z**2 - 17*z - 172. Is b(k) a prime number?
False
Is 310/(-124) - 707913/(-6) a composite number?
True
Let a = 5394 - 3389. Suppose 3*o + 2*s = 2*o + 405, -5*s + a = 5*o. Is o a composite number?
False
Let z(j) = 12066*j + 194. Is z(10) a composite number?
True
Let p be 3/9 + ((-1)/3 - -2). Suppose -2*n = p*z + 3*z - 7, 5*z - 19 = n. Is z/(-27) + (-98472)/(-27) a composite number?
True
Let h be (-20)/5 - (164 + -4)/4. Is (-55)/h + -22*1215/(-24) composite?
True
Suppose 3*i = -0*i. Let l be 886/(i + (1 - -4))*-5. Let k = l + 1683. Is k composite?
False
Suppose 0 = -125*m + 21*m + 1719399 - 550543. Is m prime?
True
Let o be 9114 - (-2 + 2 - 1). Suppose 2024 = 3*h + 5*l -