te?
True
Let b(i) be the third derivative of 4*i**5/15 + 23*i**4/24 - 5*i**3/3 - 12*i**2 + 3. Is b(-7) prime?
True
Let v = 118 - 113. Let k(b) = 5*b - 21. Let i be k(v). Suppose 3*t - 296 = -h, i*h - 2*t = -617 + 1815. Is h a composite number?
True
Let k = 605474 + -405711. Is k composite?
True
Suppose 2*k - 3*d = -15, 5*k - d = d - 10. Suppose -2*x + 6 = k, 2*x - 5*x = -2*y - 6113. Is (-2)/(-4)*y/(-14) a prime number?
True
Suppose 40*x - 3002100 = 313220. Is x a composite number?
False
Let h be ((-1495)/3)/(4/(-72)). Let m = h + -5177. Is m composite?
False
Suppose 0 = 34*w + 15825 - 71483. Is w prime?
True
Let k = 226 - 181. Suppose 0 = -k*j + 43*j + 6502. Is j a prime number?
True
Suppose 4*q - 8 = -0. Suppose r - 5*o = 10, -q*o = 3*r - o + 18. Let y(d) = -31*d**3 - 6*d**2 - 22*d - 2. Is y(r) a composite number?
False
Let u = -5203 + 6792. Is u a prime number?
False
Let b(u) = u - 13. Let q be b(7). Let l be (-1)/(-3) - (-344)/12. Is l/(q/120 - (-1)/4) a prime number?
False
Let c(a) = -a**2 + 3*a + 134740. Let j be c(0). Suppose 9*n = 29*n - j. Is n a composite number?
False
Suppose -8*c = -3*n - 3*c - 8872, 0 = -2*n - 2*c - 5936. Let s = 2797 - n. Is s a composite number?
True
Suppose -4*q + q = 4*z + 17, -q - 7 = 2*z. Let x be -3*(11705/(-15) - z). Suppose g + 3*g + x = 5*n, -5*n = -5*g - 2330. Is n composite?
True
Let p(m) = -2*m - 72. Let j be p(0). Is 2/4*(-2138544)/j composite?
False
Let b = 2172 - -234. Suppose -702*c + 754*c + 66716 = 0. Let d = c + b. Is d prime?
True
Let y = 29937 + -21271. Suppose -3*t = -6*t + 15. Suppose z - y = -5*k, 6930 = 4*k + t*z - 7*z. Is k composite?
False
Let l = 470 - 466. Suppose -12*u - l*u = -11792. Is u composite?
True
Let v = 74181 - -131326. Is v a prime number?
True
Suppose -60747072 = -84*n + 19*n - 127*n. Is n composite?
False
Is 9/(-36) + (-897330)/(-40) composite?
False
Suppose 93*c = -212*c + 32220505. Is c a composite number?
True
Suppose 2*u = -2*m - 16852, -5*u + m = -4*m + 42100. Let f = -4532 - u. Is f prime?
False
Let c be (-10)/12 - -1*1222/156. Let a(y) be the third derivative of y**6/15 + y**5/20 - 3*y**4/4 + 7*y**3/3 - 2*y**2. Is a(c) a prime number?
False
Let h(f) = 76656*f**2 - 41*f + 10. Is h(-3) a prime number?
True
Let x be (-696)/(-60)*635/(-2). Let j = x + 9116. Is j a prime number?
False
Suppose 3*v - o - 10 = 26, -13 = -2*v - 3*o. Suppose -17 = -3*n - v. Suppose 0 = c - n*f - 1145, 2*c + 5*f - 5770 = -3*c. Is c a composite number?
False
Is 6/(-33) + 15 + (-3933348)/(-66) composite?
False
Suppose 19*i - 1999272 = 122097. Is i a prime number?
False
Suppose -2*f + 1120808 = 4*s, -f - 228081 + 1629082 = 5*s. Is s prime?
True
Let u(d) = -11*d**2 + 3*d - 2. Let b be u(1). Let p be (2 - 3)*(b - 1275). Suppose 1032 = 7*r - p. Is r a composite number?
False
Is (-5468 + -3)/(4/(-8)) a prime number?
False
Suppose 0 = -27*a + 29438 + 188489 + 106262. Is a a composite number?
False
Suppose 0 = 3*c - 3*k + 228, 7 = -k + 9. Let g = -72 - c. Suppose -6*z = 2*h - g*z - 1086, 3*h + z = 1624. Is h a composite number?
False
Let j = 237 + -807. Is (-1329886)/j - 4/30 a prime number?
True
Suppose 3*u + 39 = -u + 3*t, 5*u + 2*t + 43 = 0. Let p = u - -144. Let r = p + 112. Is r composite?
True
Let o(y) = y**2 - 7*y - 30. Let t = -46 - -56. Let n be o(t). Suppose 5*z - 10037 + 3742 = n. Is z composite?
False
Let m(v) = -3*v**3 - 4*v**2 + 12*v + 53. Suppose 6 = -z + c, z = 3*z - c + 16. Is m(z) a prime number?
False
Let d be -1 + 2 + -3852 + 7. Let h = 6473 + d. Is h composite?
True
Suppose 6*m + 3*f = 2*m + 12, -3*m - 5*f = 2. Suppose 2242 - 15160 = -m*g. Is g prime?
True
Let d(i) = -24*i**2 - 4*i + 1. Let p be d(-1). Let u(v) = -26*v - 139. Is u(p) composite?
True
Suppose 1403 = z - 4*g, 537 = 4*z - g - 5105. Suppose -1869 = -10*k + z. Suppose -5*s = -s - k. Is s a prime number?
False
Let y = 98 - 96. Suppose y*s = -3*z + 8, -4*s = 2*z - 5*z + 20. Suppose 0 = -z*j - 4*p + 2172, p - 549 = -j - 3*p. Is j composite?
False
Let g = -20 - -20. Let z be 3/6*(g + 6). Suppose 0 = -z*j + 7*j - 860. Is j a prime number?
False
Suppose -2*y - 12 = -6, 4*b - 5*y = 23. Suppose 16*m + b*m = 1386. Is m composite?
True
Let h = 77 - 75. Suppose 348 = -h*q - 2254. Let f = q + 2560. Is f a prime number?
True
Suppose 32 = -4*b + 2*b. Let h be 3/12 - (-4)/b. Suppose -8*c + 2*c + 27498 = h. Is c prime?
True
Suppose -13*t - 19981 = -1066. Is (-4)/(-8) - 142*t/20 prime?
True
Let y be (-10628)/16*-1*6*2. Let u(z) = -z**3 + 8*z**2 - 12*z + 37. Let d be u(7). Suppose -r + y = d*r. Is r a composite number?
False
Let b(y) = -y**3 - 5*y**2 + 5*y - 4. Suppose -38*f = -39*f - 6. Let r be b(f). Suppose -r*n = -662 - 876. Is n a prime number?
True
Let d = -461501 + 702842. Is d prime?
False
Let m(f) be the first derivative of 285*f**2 - 13*f - 32. Is m(4) prime?
True
Let c = 291 - 807. Let r = 1334 + c. Is r a composite number?
True
Suppose -567269 = -87*p + 58*p. Is p composite?
True
Is 297/132 + (-4590140)/(-16) a composite number?
True
Suppose 22*g - 10001 - 22427 = 0. Suppose 0 = -20*p - g + 58134. Is p a composite number?
False
Let c = 42 - 39. Let j be 2/((-3)/(-18)*c). Suppose -j*u - 2*h + 3960 = -2188, 0 = u - 5*h - 1515. Is u a composite number?
True
Let m(o) = 136*o**2 - 48*o + 11. Let d be m(-15). Suppose 3*p - 2*f = 50229, -52362 = -5*p - 4*f + d. Is p prime?
True
Let j = 595987 + -338150. Is j a prime number?
True
Suppose 4*q - 285454 = -2*r, 6*r - 10*r = 4*q - 285444. Suppose -13*n = -q + 7107. Is n a composite number?
False
Let f(g) = -g**2 - 22*g + 53. Let h = -66 + 42. Let k be f(h). Suppose 760 = 4*t + 4*r, -k*t + 6*r = r - 960. Is t composite?
False
Let r be 178/14 - (-6)/21. Let h(w) = -w**2 + 17*w + 10. Let s be h(17). Suppose 0 = -r*m + s*m + 22821. Is m a prime number?
True
Let x(f) = 2*f**3 + f**2 - 20*f - 35. Let y be x(-9). Let i = -741 - y. Is i a prime number?
True
Suppose 5*a + 178037 = b, 14*b - 10*b - 712104 = -2*a. Is b prime?
False
Let v(q) = -368*q + 2. Let f(l) = -184*l + 1. Let w(n) = 5*f(n) - 2*v(n). Suppose -17*s = -11*s + 6. Is w(s) prime?
False
Is 697309 - ((-4)/6 - (136/(-24) - 1)) composite?
False
Let g = -189 + 182. Let f(r) = -318*r + 2 + 9 + 8. Is f(g) a prime number?
False
Suppose -3227774 = 14*j - 60*j. Is j prime?
False
Let h(r) = r**3 - 24*r**2 - 33*r - 367. Is h(32) a prime number?
False
Let z(b) = 4938*b**3 - 4*b. Let u be z(2). Suppose -4*v + 4*n + u = 0, 0 = v - 42*n + 37*n - 9886. Is v a prime number?
True
Suppose 8472*y = 8467*y - 2120. Suppose -5*s - 2081 = k, -2*k + 4*s - 4162 = -0*s. Let w = y - k. Is w a prime number?
True
Suppose -2*j = -5*j + 2*z + 13242, 5*z + 13242 = 3*j. Let c = 14191 - j. Is c a prime number?
False
Let m(p) = -2*p**2 - 8*p + 12. Let b(y) = y**3 + 2*y**2 + y - 4. Let r be b(-2). Let j be m(r). Is -212*8/j + 1/(-3) a composite number?
True
Suppose q = 5*y - 206, y + q - 38 = 2*q. Let j = 8 - y. Let m = -3 - j. Is m a prime number?
True
Suppose 11814541 = 317*r - 12007692. Is r a prime number?
True
Let z(b) = -358*b - 9. Let d be z(-4). Suppose -4*v + 7*v = -5*s + 147, 3*v + 33 = s. Suppose 29*x - s*x = -d. Is x a prime number?
True
Suppose -30 + 54 = -10*s - 66. Let g be 17733 + (-2)/2*-1. Is g/18 - (-2)/s a composite number?
True
Suppose 182*z + 2644 = 16536798. Is z a prime number?
True
Let a = 219692 + -128355. Is a composite?
True
Let d be 5*(51/15 + -4) - 47. Let l = d + 53. Is (-1*l/3)/(1/(-479)) prime?
True
Let b(m) = m**2 - 4*m + 4. Let v be b(4). Let p(a) = a**2 - a**2 - 5 - 37*a - v*a - a**2. Is p(-17) prime?
False
Let k(t) = 60430*t + 1083. Is k(1) prime?
False
Let w = -8996 + 16426. Let y be (w/30)/(0 + (-2)/6). Let x = 1561 + y. Is x a prime number?
False
Let x = -983 + 1. Let p be 6/(-4)*(-10 - 28). Is x/(-6) + (-38)/p prime?
True
Let t = -195 - -197. Suppose 3*g - t*i = 2521, -5*g - 4*i = -3212 - 975. Is g a composite number?
False
Let g(t) = 48*t**2 + 4*t - 9. Let v(i) = 18*i**3 - 3*i - 11 - 9*i**2 - 19*i**3 - 11. Let s be v(-9). Is g(s) prime?
False
Let j(v) = -v**2 + 5*v. Let n be j(3). Let o = n - -7. Suppose 10*f - o*f + 267 = 0. Is f prime?
True
Suppose -4*j - 131 = 5. Let c be (j/(-4))/(4 - (-1275)/(-318)). Let f = c + 2382. Is f prime?
True
Let k(a) = -27*a**3 - 5*a**2 - 210*a + 49. Is k(-15) composite?
False
Let p(c) = 7807