) composite?
False
Is 747723/6 + (-456)/304 a prime number?
False
Suppose 6374873 = 5*d + 9*t - 7*t, -3*t = -3*d + 3824886. Is d prime?
False
Let q(a) be the third derivative of 1/3*a**3 + 29/24*a**4 + 6*a**2 + 0*a + 0. Is q(15) composite?
True
Is (-141)/1833 + (-241398)/(-13) a composite number?
True
Suppose 4*r = -2*i + 62, 0*r + 37 = 2*r - 5*i. Let m = 18 - r. Suppose -5*t + 2301 = -5*d - 449, -d + 1103 = m*t. Is t a composite number?
True
Suppose -137*b - 72510 = -132*b. Is (-7)/(-35) - b/15 composite?
False
Let a(w) = -6*w**3 + 2*w**2 - 10*w + 7. Let h be a(-10). Let m(i) = i + 17. Let k be m(7). Suppose -17*n + k*n = h. Is n composite?
True
Is (87702/(-9))/((-38)/57) a prime number?
False
Let y(b) be the second derivative of 347*b**4/6 + 5*b**3/6 + 3*b**2 - 61*b. Is y(-1) composite?
True
Suppose 0 = 17*s + 30972 - 2446. Let a = 5579 + s. Is a composite?
True
Suppose -5*j = -j - 4*k - 204, 3*k - 9 = 0. Is 13998/15*135/j a composite number?
False
Let q(d) be the second derivative of d**5/20 - 7*d**4/12 + 4*d**3/3 + d**2 + 43*d. Let y be q(5). Let j(l) = l**3 + 24*l**2 - l - 1. Is j(y) a prime number?
True
Suppose 3*p - 3*r = 237, 0*r - 4*r - 16 = 0. Suppose -o = -4*w - 189, 4*o - 5*w - 795 = -28. Suppose 4*q - o = p. Is q a prime number?
True
Let b(p) = p**3 + 27*p**2 - 25*p + 44. Let v(a) = -2*a**2 + 8*a + 15. Let c be v(7). Is b(c) a composite number?
False
Let x(w) = 652*w**3 - w + 2. Let j be (-6)/(-10) + 24/10. Let t be 4 + (-3)/3*j. Is x(t) prime?
True
Suppose 11*t - 16*t + 208524 = 3*k, 2*k + 5*t - 139021 = 0. Is k a prime number?
False
Let s be ((-413)/35 + -7)*-5. Suppose s*m = 85*m + 2358. Is m prime?
False
Let o(y) = y**3 + 3*y**2 - 13*y + 4934. Is o(0) composite?
True
Let q be 9/3 + -2 + 5. Suppose q*r = 1 + 41. Let v(w) = -w**3 + 10*w**2 - 6*w - 2. Is v(r) prime?
True
Let r(x) = -x**2 - 2*x. Let y be r(-2). Suppose 2*o - 8*o = y. Is 1496/8 + (0 - o)/(-2) a prime number?
False
Let s(p) = 7021*p - 1695. Is s(22) a composite number?
False
Suppose 35*u - 156943 - 374347 - 582795 = 0. Is u a prime number?
False
Let r(s) be the second derivative of -1/12*s**4 - s**2 + 20/3*s**3 - 21*s + 0. Is r(15) a composite number?
False
Let u be -1 - 2/(-6)*3. Let p be (1 + u)*(-4)/2. Let t(v) = -16*v**3 - 2*v**2 - v - 3. Is t(p) a prime number?
False
Suppose 7*a - 6*a = 242. Let o = 130 - a. Let c = o + 491. Is c composite?
False
Let h(n) = 95*n**2 - 316*n + 23. Is h(9) a prime number?
False
Suppose -905780 = 70*n - 4*n - 2530106. Is n composite?
False
Let r(v) = -4999*v**3 - 2*v**2 - 3*v + 8. Let h be r(2). Is 1/(4 - (-159985)/h) a composite number?
True
Suppose 5*z = 3*g + z + 18, -6 = -3*g - 4*z. Let k be (g - (-80)/36) + 175280/18. Is k/12*4/3 prime?
False
Is ((-4)/((-8)/(-845862)))/(255/(-85)) prime?
True
Let x = 251 - 203. Let j = x + 749. Is j prime?
True
Let z(k) = 93922*k**2 - 46*k - 47. Is z(-1) prime?
False
Let i = 33811 + -16762. Is i composite?
True
Let k = 4005 - 2334. Let o be 314 + (2 - 2)*9/(-9). Suppose k - o = x. Is x composite?
True
Let c(k) = 171*k**2 + 25*k + 171. Is c(-10) composite?
False
Let a be -1 - (-1822)/(1 + (-32)/36). Suppose -29681 = -10*d + 48259. Let q = a - d. Is q a prime number?
False
Suppose 3*h = -21, 0 = -5*s + 5*h + 770707 + 2028023. Is s a prime number?
True
Let u(n) = -n**3 - 9*n**2 - 15*n - 1. Suppose 3*s + 1 = 2*b - 3*b, 3 = b + 5*s. Let h be u(b). Suppose 5*x - h = 1289. Is x a prime number?
False
Let q(a) = -377*a + 64. Let f be q(-5). Is f/(-2)*52/(-26) composite?
False
Let f(l) = l**3 - 16*l**2 - 16*l + 16. Let x be f(17). Let n be x/22*(4 + 0). Suppose 0 = 10*s - n*s - 2036. Is s a composite number?
False
Suppose -9 = 3*q, 0*q + 204103 = 2*r - 3*q. Is r composite?
True
Let o = -358 + 349. Is 3 + o + -4 + 11123 prime?
True
Suppose 23*m + 14*m = -20*m + 901455. Is m composite?
True
Is -14*10/(-315) - (-3497502)/54 composite?
True
Suppose -n - 3*n + 4 = 0. Let j(a) = -a**3 - 6*a**2 + 9*a + 4. Let z be j(-7). Is (4/z)/n - (-628)/20 composite?
False
Suppose -4 = -4*x + 2*x - 4*y, -68 = -4*x + 4*y. Suppose 3*o + 5*z - x = 0, o + 4*o - 2*z - 51 = 0. Is (o + -7)*(-1346)/(-4) a prime number?
True
Let r(o) = -7*o**3 + 3*o**2 - 13*o - 8. Let d(p) = -2*p + 29. Let n be d(19). Is r(n) a prime number?
False
Suppose -h = -2*n + 19, 3*n - 2*n - 3*h = 12. Let p(b) be the third derivative of 35*b**4/12 + 16*b**3/3 + 7*b**2. Is p(n) composite?
True
Suppose -5*u = 293 - 383. Suppose 3*o = b - 266, b + 19*o - 270 = u*o. Is b composite?
False
Let s = -24 - -48. Suppose -34*w + s = -30*w. Is (-8)/(-12)*2241/w a prime number?
False
Let w(b) be the third derivative of -17*b**4/3 + 17*b**3/6 + 24*b**2. Let h(f) = 137*f - 16. Let y(c) = -5*h(c) - 6*w(c). Is y(3) a prime number?
False
Let l(n) = -7*n**2 + 2*n + 5. Let f = 8 + -14. Let r be l(f). Let s = r - -596. Is s composite?
False
Let c = 44 - 41. Suppose w - t = 1836, -6*t + 5536 = c*w - 2*t. Let r = w - 881. Is r prime?
False
Let d be -5*40/50 - (-5 - -1). Suppose d = 4*q + 3*q - 54887. Is q a prime number?
True
Let n = -54 - -58. Suppose -2*g + 18 = 4*q, 0 = -n*g - 3*q + 4*q + 27. Let z(b) = 10*b**2 - 17*b. Is z(g) a composite number?
True
Let v be (6 + 8/(-16))/((-4)/(-4440)). Suppose 0 = 6*r - 44439 + v. Is r a prime number?
True
Suppose 21112 = 4*z + 4*d, 4*z - 5*d = 24542 - 3466. Suppose -3*x = -j - 5795, 3*j = -4*x + 2444 + z. Is x composite?
False
Let m(b) = -5 + 9*b**2 - 7*b**2 - b - 2*b. Let a be m(4). Is 6/a - (-17)/(-5) - -116 a prime number?
True
Suppose -139*m + 75441 = -138*m. Is m a composite number?
True
Is ((-297033)/22 - (-4 - -1))/((-66)/44) composite?
False
Let k = -7104 + 4124. Let p be 10/(-55) - (-99510)/22. Let g = p + k. Is g composite?
False
Let r(z) be the second derivative of -7*z**4/12 + z**3/6 - z**2/2 - 5*z. Let c be r(2). Is 0 + 6/(-4)*7596/c a composite number?
True
Let c = 50 + -61. Let x = 15 + c. Suppose -q - x*q = -3*b - 361, 4*q - 280 = -2*b. Is q a prime number?
True
Suppose 0 = 2*u - 216 - 1132. Let p = u + 2195. Is p a composite number?
True
Let c(m) = 16*m + 192. Let q be c(-10). Is -2 - ((-7818)/14 + q/(-56)) a composite number?
False
Suppose -8*a = -7*a - 5. Suppose -3*j - 5*o + 17938 = 0, -5*j - 7*o + 29903 = -a*o. Is j a prime number?
True
Let z = 261082 + -47291. Is z prime?
True
Let m(l) = 134*l**2 + 556*l - 65. Is m(-18) a composite number?
False
Let h = -833 + 2767. Is h a composite number?
True
Let k = -22 - -23. Is 75/(-15) + (k + 0 - -707) prime?
False
Suppose 2*z - g = 4, -2*z + 24 = 3*z + g. Let o(q) = 2781*q + 17. Is o(z) a prime number?
False
Let z be (8/10)/(-2)*-10 - 8. Is 1 + 33/(-22) - 31366/z prime?
True
Let v = -176 - -356. Suppose 5*o - 480 = v. Suppose 2087 = 7*t - o. Is t a composite number?
False
Let h(t) = -42*t + 67. Let w be (-30)/3*(0 - (-2 + 0)). Is h(w) composite?
False
Suppose 16 = 37*n - 33*n. Suppose -n*r - 3*k + 4335 + 4369 = 0, 0 = -4*r + k + 8720. Is r a prime number?
True
Is (-1595)/638*(880937/(-5) - 1) a prime number?
True
Suppose a = 2*w - 42, -2*w - w + 4*a = -68. Let z(g) = -w*g + 63 - 31 - 17. Is z(-7) prime?
False
Suppose 143835 = -5*z + 1240990. Is z a prime number?
False
Let j(y) = 21*y**2 + 7*y + 32. Let c be j(-5). Suppose 10*q = 8*q + c. Suppose q = z - 260. Is z a composite number?
False
Let n(h) = 13*h - 21. Let a be n(2). Let x be ((-16)/(-90) + 10/45)*-5. Is 494 - (x - -7)/a a composite number?
True
Let w = 405366 - 96685. Is w prime?
True
Is 180494/(-3)*(4 + (-7 - (2 + -2))) a composite number?
True
Suppose 8*k - 2*s - 1040970 - 140198 = 0, 0 = -s + 4. Is k a composite number?
False
Let d be (7/(-2) + 2)/(27/(-288)). Suppose 3*c + 7 - d = 0. Suppose -3*t - 5999 = -5*h, -2*h + c*t - 3609 = -5*h. Is h a composite number?
False
Let o(i) = -567*i - 73. Let q = -82 + 80. Is o(q) composite?
False
Suppose 0 = -3*n - n + 16, 19 = 3*m + 4*n. Let j be 0 + m + (-11)/((-66)/12). Is (1 - (-3 + j))*907 a prime number?
True
Suppose -5*f = 5, -4161 + 15439 = v + 5*f. Suppose 0 = -3*s + 31926 + v. Is s composite?
True
Is 4670919/(-396)*(-8)/6 prime?
True
Let a be 7 - 3 - (0 + 2). Let v be 12*(4/6)/a. Suppose 5*n - 1736 = -2*z, -v*n - n + 1727 = -z. Is n composite?
True
Let f = -983 + 4370. Let m = 57 - 52. Suppose -2025 = -3*r - 3*i, 3*i + f = m*r + 5*i. Is r a composite number?
Tru