composite number?
False
Let i(f) be the first derivative of 49*f**4 - f**2/2 + 4*f - 43. Let g be i(2). Suppose 0 = -2*d + 5516 - g. Is d prime?
True
Suppose -4*l = -11*n + 14*n - 267033, 5*n = -l + 445021. Is n a prime number?
True
Let s(j) be the third derivative of j**6/120 - j**5/30 + j**4/8 + 9*j**3/2 + j**2. Suppose 1338*a = 1300*a + 198 + 220. Is s(a) prime?
False
Suppose -1843 = 55*l - 54*l. Let u = l + 8912. Is u a prime number?
True
Suppose 0 = 47*g - 48*g + 6. Is 2*g/(-8)*(-50240)/96 composite?
True
Let n(t) = -3*t**2 + 4*t + 2. Let o be n(2). Let h(f) = 4267*f**2 + 4*f - 1. Is h(o) a prime number?
False
Let u(s) be the third derivative of 11*s**5/20 - 5*s**4/8 - 5*s**3/6 - 817*s**2. Suppose -10 - 8 = 3*q. Is u(q) prime?
False
Is (565/(-4))/(58/(-232)) composite?
True
Let z = -12 + 10. Let b be z*1 - (-44)/11. Suppose 476 = b*j - 342. Is j a prime number?
True
Let p = -42 + 46. Suppose -2*x = -p*c - 1312, -640 = -x - 0*x - 2*c. Suppose x = 4*k - 2*r - 2*r, 0 = 5*k + 3*r - 818. Is k prime?
True
Let m(n) = 14*n**2 + 42*n + 239. Is m(34) prime?
True
Suppose -5*m - c + 3 = -3*m, 5*m - c - 25 = 0. Suppose r + 2*d - 15 = -d, 84 = m*r + 4*d. Is (-3 + (-1887)/r*2)*-4 a prime number?
True
Let k(b) = -2*b**2 - b + 4. Let y be k(3). Suppose -1527*h - 13 = -1537*h - 3. Is (y/(-2))/(h/46) prime?
False
Suppose 5*g + 15 = 4*u, 3 = -4*u - 2*g + g. Suppose u = -3*v + 8*v - 4945. Is v composite?
True
Suppose -2*k - g = -147872, -2*k + 4*k + 5*g - 147848 = 0. Is k a prime number?
True
Suppose 14*x = 9*x + 23185. Let r = 6722 + x. Is r composite?
True
Suppose 1268*z = 1253*z + 10235355. Is z a composite number?
True
Let y(f) = 3323*f**2 - 5*f - 5. Is y(-1) a composite number?
False
Suppose 10106944 = -334*i + 35870702. Is i prime?
True
Let z(i) = i**3 + 36*i**2 + 37*i + 106. Let f be z(-35). Is 38993 + (-30)/(f/6) + -1 composite?
True
Let x = 1173 - -1108. Is x a composite number?
False
Let f(j) = 52942*j + 3463. Is f(12) a composite number?
False
Suppose -5*v = -3*v - 2244. Suppose 0 = 3*y - 29 - 688. Let d = v + y. Is d a prime number?
True
Let v(x) = -7*x + 63. Let a(c) = -c + 1. Let u(p) = -4*a(p) + v(p). Let f be ((-65)/39)/(1/6). Is u(f) a composite number?
False
Let g be 111000/5 - 1 - 1. Suppose -5650 = 12*t - g. Is t a composite number?
True
Let l(d) = -63268*d + 297. Is l(-2) composite?
True
Suppose 1925 = 3*f - 2*y, -15*f + 19*f - 2563 = -y. Is (4 + (-30)/6)*-11*f composite?
True
Is 2/(-10) + 52/10 - (-2443 + 55) a prime number?
True
Let q = -39535 + 779453. Is q a composite number?
True
Let p(m) = 5*m**2 - 116*m - 163. Is p(-50) a composite number?
True
Is (13/((-208)/(-136)))/(1/10822) + -6 a composite number?
True
Let w(q) = 29*q**3 - 12*q**2 + 31*q - 59. Is w(9) composite?
False
Let y be 277*(-7 - 48/(-6)). Suppose 0 = 8*f - y - 19. Is f a composite number?
False
Let j be (2 + -1 - -2 - -1) + -74. Let n = 376 - j. Is n composite?
True
Let d = 3947 + -3950. Let p = 4485 - 2815. Is d - (-7)/(35/p) a prime number?
True
Suppose 12*j = -13*j + 468100. Suppose -j - 37233 = -11*u. Is u a composite number?
False
Is (178008/(-60))/((-3)/(-30))*(-2)/8 a composite number?
False
Is 120603 + (11 - -9) + 20 composite?
True
Let s(v) = -v + 12. Let b be s(10). Is 1732 + ((-8)/16)/((-1)/b) a prime number?
True
Let n(l) = 2*l + 30. Let t be 7*-1 + (17 - 19). Let m be n(t). Is ((-6)/9)/(m/(-14526)) prime?
False
Let i = 9131971 + -6462686. Is i prime?
False
Let y(k) = k + 3. Let d be y(8). Let z = d + -14. Is (((-1650)/9)/5)/(2/z) prime?
False
Suppose -k - 3*g + 1900 - 573 = 0, -4*g = k - 1325. Let m = k + -110. Let b = -352 + m. Is b a composite number?
True
Suppose 215*s = 242*s - 1040661. Is s composite?
False
Suppose n + 24 = 11. Let t = n + 118. Let v = 160 + t. Is v prime?
False
Let d be 3398617/141 - ((-4)/3 - 0). Let w = d + -9916. Is w a composite number?
True
Let o(x) = 1409*x - 2037. Is o(20) composite?
True
Suppose 105 = 10*m - 9*m. Suppose -2*i - 2*g = -0*g - 78, 0 = -3*i + g + m. Let r = 181 - i. Is r a prime number?
False
Let b = 3657388 + -2424861. Is b a composite number?
False
Let p = -388412 - -1387171. Is p a prime number?
True
Let z(q) = -92639*q - 2351. Is z(-12) a prime number?
False
Let u = -4032 - -8386. Let t = -2733 + u. Is t a prime number?
True
Let m(g) = 43*g**2 + 118*g - 907. Is m(40) a prime number?
True
Let o be (-297)/12 + 1*(-4)/16. Let r = o - -29. Suppose -r*u = -l - 9*u + 2353, -5*l - 4*u + 11681 = 0. Is l prime?
True
Let z be 18/6*2/6. Let a(j) be the first derivative of 231*j**3 - 3*j**2/2 + j - 88. Is a(z) a prime number?
True
Let t = -3628 - -5642. Suppose t = z + 534. Suppose 5*q = 2*c - 571, -5*c = 2*q + 3*q - z. Is c composite?
False
Let m = -58 + 65. Let n be (39/(-13))/((-3)/m). Suppose 3*r - 7820 = -y, 2*r + 13000 = n*r - 5*y. Is r prime?
False
Let j(s) = 12862*s**2 + 11*s + 8. Let p(q) = 4287*q**2 + 4*q + 3. Let b(u) = -3*j(u) + 8*p(u). Let a be b(1). Let g = a + 10170. Is g a prime number?
True
Let t = 2769712 - 1642863. Is t prime?
False
Is 1/(10428000/(-802155) - -13) a prime number?
False
Let i(p) = 1806*p**2 + 36*p - 136. Let s be i(7). Suppose s = 218*o - 208*o. Is o composite?
False
Suppose 8 = -4*s, 2*o = 5*s - 0*s + 18. Let t(w) = o*w + 3 + 7*w**3 + 2*w + w**2 - 14*w. Is t(2) a composite number?
False
Suppose 0 = -63*y + 26*y + 101713. Is y a prime number?
True
Let w(l) = -6*l**2 + 17*l + 1. Let j(r) = -7*r**2 + 18*r + 2. Let p(k) = -5*j(k) + 6*w(k). Let z be p(11). Suppose -z*i = -2*i - 1675. Is i a composite number?
True
Let c(x) be the second derivative of 0 - 25/2*x**2 - 10/3*x**3 + 1/12*x**4 - 2*x. Is c(-8) prime?
True
Let m be (0 + (1 - 31))/(-1). Suppose 5*k + z = 9565, 1199 = -3*k + 2*z + 6938. Let u = k + m. Is u a composite number?
True
Let q = 644064 - 78281. Is q a prime number?
False
Let r(i) = 19*i**2 - 16*i + 9. Let y(c) = 56*c**2 - 43*c + 26. Let k(u) = -11*r(u) + 4*y(u). Suppose 3 = -2*q - 9. Is k(q) composite?
False
Let j(w) = -5154*w**3 + 2*w**2 + 6*w - 31. Is j(-5) a composite number?
False
Let k(r) = -2*r**2 - 27*r - 6. Let f be k(-11). Let l = 4 + f. Is l a composite number?
False
Let r be 21/2 - (-6)/(-4). Let f(c) = 2*c**3 - 10*c**2 - 2*c + 1. Is f(r) a composite number?
False
Let k(j) = -j**3 + j**2 + 4*j - 1. Let x be k(2). Suppose x*f = -5*o + 2055 + 3701, -25 = 5*o. Is f a prime number?
False
Let i(g) be the first derivative of 10*g**3/3 + 10*g**2 + 88*g + 62. Is i(-15) a prime number?
False
Let t = 1159 - 387. Let r = t + 2499. Is r a composite number?
False
Suppose 10*l + 2*l - 916404 - 1450032 = 0. Is l composite?
False
Let j(p) = 10*p**2 + 5*p + 1. Let l(d) be the first derivative of -d**4/4 - 5*d**3/3 - 5*d**2/2 - 10*d + 3. Let f be l(-4). Is j(f) a composite number?
False
Let c(s) = 198*s**2 + 24*s + 43. Is c(19) a composite number?
True
Let r(k) = 335*k**2 - 30*k + 1131. Is r(22) a composite number?
False
Let x be (1/3)/(1/21). Suppose -x*p = -5*p - 5266. Is p a composite number?
False
Let r be 6/(-4)*(-48)/18. Is (-1464775)/(-195) - r/(-3) composite?
True
Suppose -6*q = -91569 - 791073. Is q a prime number?
True
Suppose 46203734 = -162*l + 286281092. Is l composite?
True
Is ((-30)/36)/(-1*9/48470022) composite?
True
Suppose -94 - 14 = 9*s. Is (-4)/s - (-51129)/27 a prime number?
False
Let n(g) = 12*g**3 + g**2 - 4*g + 4. Let v(x) = x**2 + 11*x - 7. Let m be v(-12). Let c be n(m). Suppose 5*r + 1285 = 5*f, 5*f + r - c = -242. Is f prime?
False
Is -3 + 5 + 5 + 231852 a composite number?
False
Let m = 22254 + -7801. Is m prime?
False
Let z be (-102)/(-15) - 2/(-10). Let k(x) = -19*x - 5. Let l(d) = d. Let m(c) = -k(c) - l(c). Is m(z) prime?
True
Suppose 0 = -2*t - 2*k - 20, -3*t = -2*k + 4 + 11. Is (1/(-2))/(t/41972) + 1 composite?
False
Let l be (60/(-45))/(6/(-9)). Suppose l*g = 18071 + 1103. Is g composite?
False
Is 1/((-2)/(-160572)*6) composite?
False
Let i be -1 - (-1 - (0 + -2))*-1. Let h(m) = -3*m**3 - 1 - 4*m**2 + 2*m + i*m**2 + 5*m**2. Is h(-6) a prime number?
False
Let i(w) = -1 + 8 - 1 + 1137*w + 29. Is i(4) composite?
False
Let k(n) = 184*n**2 - 186*n - 1765. Is k(-9) a prime number?
True
Suppose 14*n + 5*n = -19. Is (-22)/(-18) + n - (-50997)/27 a composite number?
False
Let u be 20 - (5 + 0 + -2). Suppose b - 21 = -u. Suppose -3*s - b*a + 2227 = 0,