309, 2*l = -3*n + o. Is l a composite number?
True
Suppose 16*b - 3335967 + 360789 = 1916294. Is b composite?
False
Is (-15023)/(-4) - (-468)/(-624) prime?
False
Let o(k) = k**3 - 7*k**2 - 8*k - 1. Let l be o(8). Let f be l*(-8)/28 + (-212)/7. Is (-27686)/(-12) + 5/f composite?
True
Let f = 1151 - -1386. Is f a prime number?
False
Let d(x) = x**3 - 28*x**2 + 9*x - 2. Let m be d(29). Let j = 576 - m. Let i = j + 1623. Is i a prime number?
False
Let q = -2248 + 1549. Let c = -269 - q. Suppose o = 3*o - c. Is o prime?
False
Let s = -69 - -52. Let y(b) = -b - 11. Let o be y(s). Suppose -o*w + 324 = -1110. Is w prime?
True
Is (125 - 124)/((2/282559)/2) a prime number?
True
Is 7/((-12548263)/896311 - -14) composite?
False
Let i(v) = 1967*v**2 + 4*v - 4. Let z(t) = t**2 - 3*t + 2. Let q be z(1). Suppose l - 4*s = -3, q*l = 2*l - s - 1. Is i(l) a prime number?
False
Suppose -m - 28527 = -0*m. Let i = m - -44078. Is i a prime number?
True
Suppose -1670507 = -43*c + 773742. Is c prime?
True
Let l(w) = 62*w**2 - 21*w - 288. Is l(-25) a composite number?
True
Suppose 28 = 19*v - 15*v. Suppose -41504 = -v*p - 9*p. Is p a prime number?
False
Suppose -4*d = -2*k - d - 24, -3*k - 4*d - 36 = 0. Let p be (-2)/(-12) + (-58)/k. Suppose 0 = 5*q - 10, -p*q + 15 = 2*g - 881. Is g a prime number?
True
Suppose 20 = 3*u - 13. Let a(v) = 15*v**3 - 90*v + 176. Let j be a(2). Let q = u + j. Is q composite?
False
Let v(d) = -3231*d - 160. Is v(-15) prime?
False
Let x = 39634 + -20868. Is x/7 - (1 - 24/21) a composite number?
True
Suppose h - 27*h = -4267145 + 1178683. Is h a prime number?
True
Let w(a) = 3*a**2 - 22*a + 13. Let x be w(17). Suppose 0 = -3*d + u - x + 12461, -2*d + 7970 = -u. Is d a composite number?
True
Let i be 7/(196/161) - (-3)/(-4). Suppose t = -2*g - 20, -i*g - 36 - 14 = 5*t. Is (-2 - 6 - g) + (3220 - 1) prime?
True
Let o be (-2 + (-129)/(-6))*(-12)/(-9). Suppose -o*b = -30*b + 1872. Let j = -325 + b. Is j a prime number?
False
Let x = -141530 - -311827. Is x a composite number?
True
Let k(c) = c**3 - 12*c**2 + 10*c + 14. Let n be k(11). Suppose u + 6 - 29 = 4*s, 0 = 5*u - n*s - 64. Suppose -12*x = -u*x - 359. Is x a composite number?
False
Suppose -5*b = -2*x + 5 + 5, x = -2*b + 5. Let o(p) = 17*p + 11863. Is o(b) a prime number?
True
Let q(f) = -3*f + 24. Let l be q(-11). Let x = -54 + l. Suppose 2*s + x*t - 105 = 323, -s - t = -213. Is s a composite number?
False
Let p be 23/6 + (-6)/(-36). Let y(i) = i + 3. Let t be y(-3). Suppose -p*s + c = s - 2720, -3*s + 5*c + 1610 = t. Is s a prime number?
False
Let j(d) = -150*d + 18. Let n be j(-6). Let l = -392 + n. Is l a composite number?
True
Let t = 27137 + 18344. Is t prime?
True
Suppose -9*i + 10356 = 3*i. Suppose 5*m + 5 = 0, 0 = -5*q - m - i + 3672. Is q prime?
False
Let i(r) = 8*r + 21. Let j be -24*(6 - 120/18). Is i(j) composite?
False
Let k(o) = 5780*o + 26. Let y be k(1). Let f = 8549 - y. Is f a composite number?
True
Suppose -v - 2*v - 3 = -3*s, s - 5*v = 21. Suppose 2*k + i - 114 - 62 = 0, 4*i = 4*k - 376. Is 2 + s + k + 1 prime?
True
Suppose 121*b = -303*b + 3134632. Is b prime?
True
Let t(c) = -3*c + 19. Let h be t(4). Suppose h*a - 4901 = 6684. Is a a prime number?
False
Let c = 3497 - -5676. Is c prime?
True
Suppose -t = -3*o - 31 + 8, 4*o + 38 = 5*t. Let f be ((-4)/(-12)*o)/(2/4950). Let s = f - -8404. Is s a composite number?
True
Suppose -11*m + 10*m = -98. Suppose 0 = -95*r + m*r - 11379. Is r prime?
True
Is (1826/(-66) + 28)/(1/774699) a prime number?
True
Is -2*((-3)/(-5))/((-72)/(-30))*-78646 a prime number?
True
Let i(w) = -79 - w - 2*w + w**2 + 2*w + 2028. Suppose 3*p + 3 = -j, -j = -p - 3*p - 4. Is i(j) prime?
True
Suppose 0 = -o + 22*o - 168. Suppose v = -3*l + 3263, 3*l - o*v + 7*v = 3259. Is l composite?
False
Suppose 165360 = -21*c - 55287. Let h = -264 - c. Is h prime?
True
Let r = 1 + 3. Suppose 4*d = -2*h - 16, 2*d - r = -2*h - 12. Is (-2 - -2 - h) + 1721 a prime number?
True
Let j = 56500 + -28398. Is j a composite number?
True
Suppose 3*y + 3 - 9 = 0. Suppose -29 = y*q - 41. Suppose -q*w + 747 = 69. Is w a prime number?
True
Let w(c) = -23 - c**3 - 29*c**2 + 59*c - 58 + 5. Is w(-33) prime?
True
Suppose 2*v - 2*g = 3*g + 322834, -5*v + 3*g + 807047 = 0. Is v a prime number?
True
Let f(h) = 373*h**3 - 5*h**2 - 147*h + 32. Is f(13) prime?
False
Let l(b) = 2*b**2 + 2. Suppose -4*n = -t - 0*t - 65, -2*n - 2*t + 30 = 0. Suppose -z = -9*z + n. Is l(z) a prime number?
False
Let n = -407 + 420. Let f(u) be the third derivative of -u**5/60 + 2*u**4/3 - u**3 - u**2. Is f(n) a prime number?
False
Let b(d) be the first derivative of -11*d**4/4 - 8*d**3/3 + 7*d**2/2 + 49*d + 71. Is b(-8) composite?
False
Let q be -1 - ((-4)/18 + (-8000)/(-36)). Let o = q - -599. Let j = 295 + o. Is j a prime number?
False
Let l = -2 + 2. Suppose 3*y = -l*y - 45. Is ((-2045)/y)/(1/3) composite?
False
Suppose 0 = 15*l - 101 + 131. Is 132/11 - -4848 - (l - -1) a composite number?
False
Let u be (-2 - (-4 - 6/3)) + 0. Suppose -4*d = -o - 11949, -u*d + 4*o = d - 14939. Is d prime?
False
Let w be (2 + -3 - 0) + 6/1. Suppose 5*g - 4*l = -l + 4367, -w*g - 2*l + 4372 = 0. Suppose 2*u - g - 700 = 0. Is u prime?
True
Let c = 37094 + 21383. Is c prime?
True
Let c(l) = -l**2 + 12*l + 41. Let w be c(15). Is 211 + (-3 - (1 + w)) composite?
False
Let s(h) = 11232*h + 15. Let f be s(4). Let o = f + -25084. Is o composite?
True
Suppose 7*t + 344364 = -6084. Let v be (-4)/(-26) - (t/78 + -4). Suppose 6*g = v - 124. Is g composite?
True
Let x = 1972 - 433. Suppose 0 = -10*n + 2621 + x. Suppose -n = 5*v - 1461. Is v a composite number?
True
Suppose 102608 = -2*f + h + 1857817, -5*f + 3*h = -4388026. Is f prime?
True
Let o(u) = u**3 + 17*u**2 + 11*u + 16. Let h be o(-10). Suppose -h = -z + 783. Is z composite?
True
Let r(z) be the second derivative of 0 + 7/4*z**4 + 1/20*z**5 - 14*z**2 - 15*z + 13/6*z**3. Is r(-17) composite?
False
Let q = -54 - -54. Suppose -2*k + 1 + 1 = q, 4*g = 3*k + 465. Suppose 4*s - 5*v - 219 = g, -5*s + v = -399. Is s a composite number?
False
Let w(f) = -6347*f + 286. Is w(-21) composite?
True
Is 820509*((-441)/54 - -8 - 1/(-2)) a prime number?
True
Let z = 536 + -534. Let u(q) = -187*q**3 - 4*q**2 + 2*q - 3. Let s(a) = 186*a**3 + 5*a**2 - 2*a + 3. Let p(m) = -3*s(m) - 4*u(m). Is p(z) prime?
True
Suppose -5*i = u - 2891997, -5*i - 1068*u = -1063*u - 2892005. Is i prime?
True
Let q(w) = -165*w + 11. Let h(d) = -166*d + 10. Let s(c) = -3*h(c) + 2*q(c). Let n be s(15). Suppose y - 5*y + 2524 = 2*j, 4*y = -5*j + n. Is y composite?
True
Let j = 791550 - 69443. Is j composite?
True
Let c = 1208 - 731. Let h = 214 - c. Let i = 390 + h. Is i a prime number?
True
Let u(i) = -18*i**3 + 25*i**2 + 56*i - 113. Is u(-17) a composite number?
True
Let k(x) = -3*x**3 - 10*x**2 + 4. Let f be k(-4). Let z be (24/f)/(2/9). Suppose 4*q + 3*t = 15143, -6*q + 3*t + 11352 = -z*q. Is q a composite number?
True
Let y(n) = -164*n**3 + 9*n**2 + 6*n - 39. Let i be y(-3). Suppose 5*p - 7208 - 5352 = 0. Suppose -4*c + p = -i. Is c prime?
True
Suppose 3 = 3*c - l, -3*l + 9 = -4*c + 8. Let h(i) = 331*i**3 - 4*i**2 + 7*i - 5. Is h(c) composite?
True
Suppose -5*j = -19*j + 4*j + 779230. Is j prime?
False
Suppose 2*l = -2*v + 7*v + 385, -5*v + 875 = 5*l. Let h = -349 - l. Let j = 0 - h. Is j composite?
True
Let c be ((-47)/(-94))/(2/(-10912)). Let t = c - -3923. Is t prime?
False
Suppose 5*a - 390465 = -2*r, -2*a + r + 202843 - 46648 = 0. Is a a prime number?
False
Suppose -923669 = -4*u - 3*g, 2*g + 451138 + 472556 = 4*u. Is u composite?
True
Let f(o) = o**3 - 2*o**2 - 3*o + 2. Let g be f(0). Let y be g*(2 - (-1 - -4))*23. Let k = -9 - y. Is k prime?
True
Suppose -27 = -5*a - 2*x, -a + 0*a = -2*x - 3. Suppose -179 - 657 = -4*s - 4*z, a*s = 4*z + 1063. Suppose s = -5*d + 3021. Is d a prime number?
False
Let f be (-163784)/(-72) - 2/(-9). Let v = 696 + f. Suppose 949 = n - 3*u - 36, 5*u + v = 3*n. Is n a prime number?
True
Suppose 3*w = -2*y - 40, -4*y = 9 - 1. Let p be 2188*((-3)/w - 0). Let d = -46 + p. Is d a prime number?
False
Suppose 4*n + 2336 = 3*y + 6943, 0 = y - n + 1537. Let z = y + 2860. Is z a composite number?
False
Let t = 140854 - 74873. Is t prime?
True
Let z(i) = -77*i + 9 + 10*i**2 + 64*i + 48*i**2 - 3*i**2