 (-2)/12*-9. Let s = -265 + q. Let i = s + 5442. Is i prime?
True
Suppose 0 = -68*c + 64*c + 1105180. Is c a composite number?
True
Let p = 84072 + -23038. Is p a prime number?
False
Let o = 611521 - 363170. Is o a composite number?
False
Suppose -22727 - 5818 = 5*q. Let f = -2422 - q. Is f composite?
True
Let a = 5397 - -5856. Let y = -6550 + a. Is y a prime number?
True
Let l = -23 - -21. Let h be -1 - (-5)/3 - l/6. Is (2471/(-14))/(h/(-6)) a prime number?
False
Let w be 16/(-72) + (222/27 - 1). Suppose w*s - 2*s - 37535 = 0. Is s a prime number?
True
Let x(z) = z**3 + z**2 - 11*z + 21. Let r be x(4). Suppose r*n = 58*n - 4393. Is n prime?
False
Let c(d) = 28*d**2 - 568*d - 109. Is c(114) a prime number?
True
Let s(i) = 807*i**3 + 6*i**2 + 168*i - 856. Is s(5) composite?
False
Let b be 1 - (-3)/(-4) - 187/(-68). Suppose -q - 717 = -2*o, -1078 = -b*o - 0*o - q. Is o composite?
False
Suppose 15*b = 33*b. Suppose -5*h + 20 = b, 2*l = l + 5*h + 1823. Is l composite?
True
Let r(t) be the third derivative of 185*t**4/24 - 103*t**3/6 - 54*t**2. Is r(22) a composite number?
False
Suppose -6*f + 4*f = 4*q - 497546, 3*f + 5*q = 746313. Is f composite?
True
Let l = -33 - -35. Let k be (-2 - (l - 8))*3667/(-4). Let v = 5166 + k. Is v a composite number?
False
Let i(c) = 2*c**3 - 48*c**2 + c - 23. Let m be i(24). Is m - (-1)/(-2) - (-88101)/26 prime?
True
Let o = 32081 - -7302. Is o composite?
False
Let o(v) = -4*v**2 - 58*v + 74. Let l(x) = -5*x**2 - 57*x + 75. Let u(t) = -5*l(t) + 4*o(t). Is u(19) a prime number?
True
Suppose 8 = 2*d - 4*d, -2*t = 5*d + 32. Let r(k) = -55*k**3 + 12*k**2 - 6*k + 5. Is r(t) a composite number?
True
Let t(y) = y**3 - 20*y**2 + 27. Let k(n) = -2*n**3 - 6*n**2 - n + 2. Let m(g) = -k(g) - t(g). Suppose 0 = 2*x - x + 25. Is m(x) a composite number?
False
Let t(n) be the third derivative of -2*n**4/3 + n**3/3 + 8*n**2. Let q(u) = -15*u + 2. Let w(c) = 3*q(c) - 4*t(c). Is w(7) a composite number?
False
Let s = -432354 + 720197. Is s a prime number?
False
Let q(p) = -5*p**2 - 25*p + 5. Let c be q(-5). Suppose 3*v - 3*f = 4*v - 200, 2*f + 1051 = c*v. Is v a composite number?
True
Let z = -2 + 5. Suppose -l + 2*h + 41 = -54, z*l - 4*h = 279. Is l a prime number?
True
Let o = -7827 + 40538. Is o composite?
True
Suppose -v + 6 = -3*g, v + 2 = -0*g - g. Is 38/(-1 - ((-98)/(-47))/g) prime?
False
Let a(k) = 33*k**3 + 49*k**2 - 7*k - 18. Let o be a(9). Suppose -o = -15*d + 222870. Is d a prime number?
False
Let y(a) be the first derivative of 418*a**2 + 119*a + 78. Is y(7) composite?
True
Let w(t) = 12*t - 108. Let r be w(8). Is (2/r - 91/(-42)) + 19829 composite?
True
Let k = 268401 + -62884. Is k a composite number?
True
Let o = 146 + -92. Let p be o/15 - 16/(-40). Is p - 5/((-5)/2469) a composite number?
False
Let i = -108 + 110. Suppose -6*p - 3*p = i*p. Is (-1 - (p + 0))*(-2726 - 3) a prime number?
True
Let l be 1*16*(-56 + -1). Let p = 99 + 1442. Let t = p + l. Is t composite?
True
Let f(o) = o**3 + 18*o**2 - 18*o + 14. Let j = 43 + -62. Let q be f(j). Let x(n) = -5*n**3 - 4*n**2 + n - 3. Is x(q) composite?
True
Suppose -14*u + 16*u + 1320 = 0. Let x be 2 - (0 + u)/5. Let b = 753 + x. Is b a prime number?
True
Let a = 138924 + 190765. Is a prime?
False
Let r(k) = -8*k**2 - 5*k. Let f be r(4). Let i = -4731 + f. Let j = 1474 - i. Is j a composite number?
False
Let k(z) = -z**3 + 4*z**2 - 2. Let j be k(1). Let f be ((-1 + j)/(-2))/(-2). Suppose 2*n + 2*i = 7*i + 768, f = -5*n - 3*i + 1889. Is n a composite number?
False
Let t(o) be the first derivative of -189*o**4/2 + 11*o**2/2 + 17*o + 111. Is t(-2) prime?
True
Is 2237217/9 - (-23)/(897/(-26)) composite?
False
Let a(v) = -496*v - 69. Let h(y) = 493*y + 69. Let u(r) = -3*a(r) - 2*h(r). Is u(22) a composite number?
False
Let v(r) = -32*r - 58. Let f be v(-11). Suppose -23*o + 13841 = f. Is o a composite number?
True
Let z = 36 + 2. Let o(r) = r**3 + 7*r**2 - 8*r - 2. Let x be o(-8). Is ((-739)/x - 1)*z/19 a composite number?
True
Suppose 0 = 9*w - 12*w + 329991. Is w a composite number?
True
Suppose 5*h - 5217174 - 3756590 = 3*t, -4*t - 3589486 = -2*h. Is h a prime number?
True
Let x(t) = 4627*t**2 + 22*t + 50. Is x(-2) composite?
True
Let s = -176 - -176. Suppose s = -23*w + 18*w + 128485. Is w composite?
True
Suppose -3*q + 25908 + 80991 = 0. Is q composite?
True
Suppose -3*t = 3*u + 497 + 289, -3*u = -3*t + 816. Let w = u - -1220. Is w prime?
True
Suppose 11*i - 8*i + 5*o = 45539, 0 = 2*i + o - 30364. Suppose -2*g = -32531 - i. Is g a composite number?
False
Let s = -106988 + 1390089. Is s composite?
True
Suppose 0 = -48*s - 9*s + 11565699. Is s a prime number?
True
Suppose -2*m + 25 = 5*f, 17 + 1 = 4*f + 2*m. Let n be (-3 + -31)/((-3)/(-6)). Is (-8)/(-28) - 9/f - n a composite number?
False
Let c(i) = -787*i - 1984. Is c(-59) prime?
True
Is 5 - ((3 - 8) + 18)*-312 a composite number?
True
Let z = -242 + 256. Is 1 + 968*z/4 prime?
True
Let n(s) be the first derivative of s**3/3 + 3*s**2/2 - 6*s + 26. Let t be n(-5). Suppose -4*p - t = -24, 4*p = 4*b - 276. Is b a composite number?
True
Suppose 3*d + d = -16. Is (-3)/d + 445930/40 a composite number?
False
Suppose 66*s = 68*s - 1148. Suppose 3*k + 12 = 0, -88 = -3*o - 4*k + s. Is o a prime number?
False
Suppose 0 = k - 5*c - 869, -2*k + 992 + 746 = c. Let d = 932 + k. Is d a prime number?
True
Suppose 4*g + 2*c = 1692, 8*g - 3*g + 2*c - 2114 = 0. Suppose g + 66 = 2*i + 5*r, 5*i - 1251 = 3*r. Is i prime?
False
Suppose 3*z - 5*c = -6, 4*c - 2 = z + 7*c. Let v be (1 - 3)*z - -2603. Suppose -4*l + 2*h + 1738 = -2*l, -3*l + v = 3*h. Is l composite?
True
Suppose 0 = -b - 4, 0 = 4*c - 2*b - b + 84. Let d = -20 - c. Suppose 19178 = d*o + 6142. Is o composite?
False
Let c be (-12)/(3*4/(-6)). Let b(k) = -11 + 69*k**2 - 138*k**2 - 5*k + k + 98*k**2. Is b(c) composite?
False
Let m(w) = -27*w - 108. Let s be m(-4). Let k(l) = -5*l**2 - 3*l + 7045. Is k(s) a prime number?
False
Let z = -114746 + 184429. Is z prime?
False
Let k(s) = 727*s**2 + 780*s - 307. Is k(-48) a prime number?
True
Let b be (-4)/(-3) - 3*12/27. Suppose 2*t + 4*t - 18114 = b. Is t a composite number?
False
Suppose -8920 = 4*l - 0*l + 3*h, -2*l - 4*h = 4470. Let o = -1178 - l. Is o a composite number?
False
Suppose 4*l = -13*l + 986. Let j = l - 48. Suppose 23115 = j*i - 21055. Is i composite?
True
Let v(o) = -37*o**3 - 30*o**2 + 48*o + 637. Is v(-24) a prime number?
True
Suppose -316*f - 284*f = -565792200. Is f a prime number?
False
Suppose -3*p + 5*p = p. Is (-59 + p)*(-7 + -6*9) a prime number?
False
Let b(y) = -364*y - 27. Let i(k) = -14*k - 146. Let u be i(-10). Is b(u) a prime number?
False
Suppose 4*p + 40*c - 39*c - 24 = 0, -p + 3*c - 7 = 0. Suppose -o + 768 = -3*r - 10373, -p*o + 55745 = -5*r. Is o composite?
True
Suppose -2*x + 26654 + 1328 = -4*n, -4*x = 5*n - 56029. Suppose x = 8*m - 60439. Is m prime?
False
Let u(j) = j**3 + 15*j**2 + 15*j + 14. Let y be u(-14). Suppose y*x = -x - 1905. Is ((-3)/(-1))/((-9)/x) prime?
False
Let w(m) = -m**3 - 7*m**2 + 3*m - 37. Let g be w(-8). Suppose g*d - 4415 = -3*s - s, 5*d - 7389 = s. Is d a prime number?
False
Suppose 0 = 5005*g - 5021*g + 7401296. Is g a composite number?
True
Suppose 3*f - 6*f = 6*f. Is ((-204)/(-18) + f)/((-4)/(-354)) a prime number?
False
Suppose -8*v - 8*v = -12*v - 1227244. Is v a prime number?
False
Let r(z) = 13*z**2 + 173*z + 335. Is r(-54) a composite number?
False
Suppose 2*c + 5*j - 3 = -2, -c + 5*j = -8. Suppose 0 = -c*b - x + 9321, 6*b - 9330 = 3*b - 4*x. Is b prime?
False
Suppose 0 = 2*a - 10*a - 40. Let q(w) = -71*w**3 - w**2 - 20*w - 9. Is q(a) a composite number?
False
Let s = 16353 - 6414. Is s a composite number?
True
Suppose 3*w - 3*a + 0*a + 3 = 0, -5 = -a. Is w + ((-48798)/(-6) - -4) a composite number?
True
Let s = 185114 + -100227. Is s a composite number?
True
Let f(d) = -d**3 + 36*d**2 + 5*d - 119. Let s = -296 - -315. Is f(s) a prime number?
True
Suppose -42*j - 8932 = 16*j. Let i(u) = 288*u - 1. Let a be i(1). Let g = a + j. Is g prime?
False
Suppose 3*h + 510 + 888 = 0. Let w = h + 1523. Suppose 0 = -3*x - 4*n - 0*n + w, -2*n + 8 = 0. Is x a composite number?
False
Let i = -69 + 54. Let k be (2 + 1 - 2) + 14 + i. Suppose -5*w - w + 5262 = k. Is w prime?
True
Let h be 2257