o(n) = 233*n**2 + n + 1. Let b(r) = r**2 - 3*r + 1. Let j be (-1 + 3)/2 + 1. Let g be b(j). Is o(g) prime?
True
Suppose 3*o + o - 21188 = 0. Is o a composite number?
False
Suppose 0 = 5*d + 5*d - 50. Suppose 3*p = 3*k - 951, 3*p = d*k + 7*p - 1603. Is k a prime number?
False
Suppose 0 = 3*y - 8*y + 51325. Suppose -5*m - 3189 = -4*r - y, -4*m + 5666 = 2*r. Suppose -4*z - m = -4*a, -a + 3*a = -2*z + 712. Is a prime?
False
Let p be (-108)/(-26) + 20/(-130). Let b(z) be the third derivative of z**6/120 - z**5/20 + z**4/24 - 5*z**3/6 - z**2. Is b(p) prime?
False
Let v(p) be the first derivative of p**3/3 + 2*p**2 - 10. Let w(g) = g**2 - 3*g + 3. Let q be w(3). Is v(q) prime?
False
Suppose 4*t + 1 - 17 = 0. Suppose 2*v = -5*c - 8, t*v = -13 - 3. Suppose 4*f + 0*f + 5*a - 1608 = 0, f - 2*a - 389 = c. Is f a composite number?
False
Let d(j) = 18*j + 4. Suppose 2 = 3*y + 17. Let v(w) = 36*w + 7. Let r(l) = y*d(l) + 3*v(l). Is r(3) a prime number?
False
Suppose -39*j = -35*j + 12, -2*l - 3*j + 8989 = 0. Is l prime?
False
Let c(v) = v**3 - 7*v**2 + 3*v - 10. Let h(x) be the second derivative of -x**4/12 - x**3/6 + 9*x**2/2 + 4*x. Let m be h(0). Is c(m) prime?
True
Let v be (-2 + 1)/((-8)/16). Let q be (-4)/(-4)*2*v. Suppose 153 = q*r + 3*n - 65, 2*r = -2*n + 110. Is r a composite number?
False
Let k(v) = v**3 + 13*v**2 - 2*v + 16. Let o be k(-13). Let c = 65 - o. Is c composite?
False
Let i = -282 + 451. Let d = 462 - i. Is d prime?
True
Suppose -8*g - 3668 = -94540. Is g composite?
True
Suppose 5*g + 11 + 14 = 0. Let a be g*2/(-6)*-3. Is (-415)/a + 2 + -2 a composite number?
False
Suppose 401 = -4*w - 179. Let s = 221 + w. Let q = 555 - s. Is q composite?
False
Suppose 2*z + 18 = 3*i, i = 6*i + 3*z - 11. Suppose 5*l - 831 = -0*x - i*x, 0 = -4*l + 5*x + 673. Is l a composite number?
False
Suppose -4*s - 2*w + 3385 = -2965, -4*w - 6356 = -4*s. Suppose -7*q = 13 + 1. Is 2*q/((-16)/s) a composite number?
False
Let n(y) = 2*y**2 - 41*y - 79. Is n(-39) prime?
False
Suppose -5*r = -10, 2*d - 5*r + 4 = -0. Suppose d*w - 4*c - 2412 = -9*c, c = 4*w - 3239. Is w a composite number?
False
Let t(v) be the second derivative of v**5/20 + 7*v**4/12 - 5*v**3/6 + 3*v**2/2 + 3*v. Let u be t(-7). Let a = u - -173. Is a a composite number?
False
Suppose -a + 5*r - 197 = 0, -407 = a + a + 3*r. Let o = a + 947. Is o composite?
True
Let s(d) = -7*d**3 - 15*d**2 + 20*d + 5. Is s(-12) a composite number?
True
Is ((-5)/25)/(3/(-89970)) composite?
True
Suppose -5*s - 4*m - 12 = -508, 297 = 3*s + 3*m. Let v = s + 226. Suppose -r + 3*r - v = 0. Is r a composite number?
False
Suppose 28 = 4*r + 12. Let h be (-27)/(-9) - r/(-2). Suppose -3*o - 2*g - g + 423 = 0, -o = -h*g - 171. Is o a composite number?
True
Let y = -8601 + 12323. Is y a prime number?
False
Suppose 4*j - 85149 = -5*b, -j - 51103 = -3*b - 0*b. Suppose 5*f = i + b, i - 3876 = -5*f + 13161. Is f composite?
False
Let p(h) = h**2 + 17*h - 29. Is p(12) a composite number?
True
Let k(m) = 337*m. Let g(o) = o**2 - 3*o + 1. Let b be g(3). Is k(b) a prime number?
True
Let c = 67 - 17. Suppose -78 = -4*u + s + c, 3*u - 3*s - 87 = 0. Is u a prime number?
False
Let x = -4103 - -7462. Is x a prime number?
True
Suppose f = -15*r + 2468530, -r = f + 2*f - 164554. Is r a composite number?
False
Let l(p) = 107*p**2 - 46*p - 206. Is l(-5) prime?
True
Let y(q) = 27*q**2 + q + 1. Let d be (-2)/10 - (-42)/10. Is y(d) composite?
True
Let n be (-1)/6 + (-9597)/(-18). Suppose -7*t = -8142 + n. Is t a prime number?
True
Suppose i - 5*y = -92 - 39, 1 = -y. Suppose 5*r = -0*r - 2*s - 2057, -3*s - 1227 = 3*r. Let q = i - r. Is q a prime number?
True
Suppose 8 = 4*p - 16. Let k = -6 + p. Suppose k = g + g - 114. Is g composite?
True
Let b = -187 + 358. Suppose 5*k - 364 = b. Suppose 0 = 5*i - 1788 - k. Is i a composite number?
False
Let v be ((-20)/(-3))/(-3 - 1058/(-354)). Is -3 + 1 - (v - -1) composite?
False
Let w be 18/(-27)*5091/(-2). Suppose -6*s + w = -2377. Is s a prime number?
False
Suppose 0 = d - 3*y - 47459, y - 94918 = -2*d - 4*y. Is d a prime number?
True
Suppose -d + 0*d = -2. Is (2722/(-6))/(d/(-6)) a prime number?
True
Suppose -5 = -m - 0*m. Suppose u - 1746 = -m*u. Is u composite?
True
Let j be -1 + (3892 - (-1 + 0)). Suppose 2*h - j = 3*i - 4*i, 4*h - 5*i = 7770. Is h a prime number?
False
Let o(f) = -f**2 - 24*f - 51. Let l be o(-22). Let r(b) = 114*b**2 + 37*b. Is r(l) a prime number?
False
Is -3 - (147114/88)/(3/(-16)) a composite number?
True
Is (38460/18)/(4/6) a prime number?
False
Suppose 6*p - 14 = 52. Suppose p*w + 3484 = 15*w. Is w prime?
False
Suppose -182 = -k - n, -2*k - 2*k - 2*n = -720. Let t be 440 + 1*(-6)/2. Let r = t - k. Is r a composite number?
True
Is 135819/(-1 - -10) + 7 + -1 a composite number?
True
Suppose -2*l + k = -k - 10512, 0 = -k + 5. Is l composite?
False
Let q(z) = 881*z - 64. Is q(3) prime?
True
Suppose 6*c = -t + 5*c + 1796, 3*c = 3*t - 5418. Is t prime?
True
Let l(t) = -39*t + 28 + 11 - 12 + 2. Is l(-12) a prime number?
False
Suppose -3*r = 5*a - 9092, 1 = -10*r + 9*r. Is a prime?
False
Is -3 + (16017 - (4 - 3 - 5)) a composite number?
True
Suppose -628*r + 634*r - 39918 = 0. Is r composite?
False
Suppose 2 = f - 0. Let u be f/(-5) - 156/(-15). Is 2102/u + (-4)/(-5) composite?
False
Let u(z) = -443*z**2 - z + 2. Let w be u(1). Let b = -297 - w. Is b prime?
False
Let q be (-4 - -3)*(-2 - -3). Let a be (-1)/q + -10*18. Let y = -93 - a. Is y composite?
True
Let o(y) = 7606*y + 65. Is o(1) a prime number?
False
Suppose 13*z + 57017 = 50*z. Is z composite?
True
Let g be 1*1*(-6)/(-3). Suppose -i - a = -1538, i + i - g*a - 3072 = 0. Is i a prime number?
False
Is (3 - -6876)/(6/4) composite?
True
Let o be (-3)/(6*-1)*88*76. Suppose w - o = 3461. Is w composite?
True
Suppose 33 = -3*h + 462. Suppose 49 = 5*t - 21. Let v = t + h. Is v a composite number?
False
Suppose -61 + 7 = -9*c. Suppose 11*t - 16025 = c*t. Is t prime?
False
Let m(v) = v**3 - 17*v**2 + 16*v - 25. Is m(18) a prime number?
True
Suppose 0 = 2*o - 4*o - 10. Let z(f) = -f - 3. Let y be z(o). Is (503/2)/(1/y) a composite number?
False
Let v = 1377 - 296. Let g = v + -672. Is g composite?
False
Suppose 0 = -2*s - 3*r + 968, 2887 = 5*s + 2*r + 489. Is s prime?
False
Let g(u) = -2*u + 24. Let a be g(12). Is 4 + -1 - (a - -109)*-2 prime?
False
Suppose -33*b + 933426 = -15*b. Is b a prime number?
False
Let w(b) = 2*b**3 + 13*b**2 - 10*b + 1. Is w(-7) a prime number?
False
Let r = 9150 - 4567. Is r a composite number?
False
Suppose d - 99 = f - 3*f, -5*f = 5*d - 475. Is d composite?
True
Suppose 78*g = 91*g - 217841. Is g prime?
False
Let a = 4271 + 2358. Is a composite?
True
Let b(f) = -6*f**3 - 2*f**2 + 6*f + 10. Let o be b(-8). Let k = -1807 + o. Is k prime?
False
Is 71850/90 + (-2)/(-3) a prime number?
False
Suppose -67870 = -15*y + 12425. Is y a prime number?
False
Suppose 2*o - 401 = -2*g + 55, 4*o - g - 897 = 0. Suppose 2*i - 5*i - o = 0. Let w = 22 - i. Is w a prime number?
True
Let f(x) = 51*x**2 - 31*x - 61. Is f(12) composite?
False
Let i be (-15)/(-25)*(-10)/2. Is (2 - 48)/(1/(i + 2)) a prime number?
False
Let g be (14 - 13)*(0 - 0). Suppose -5*b = -2*y - 4385, g = -b + 2*y + 198 + 679. Is b a prime number?
True
Let g(x) = 4 - x**2 - 5*x - 126*x**2 - 162*x**2. Let k(b) = -288*b**2 - 6*b + 5. Let i(t) = -4*g(t) + 3*k(t). Is i(1) prime?
True
Suppose y - 3*p - 5 = -0, 5 = y + 3*p. Let z(x) = -x - 3*x + y*x + 5. Is z(5) a composite number?
True
Let a(u) = u**3 + 8*u**2 + 6*u. Let c be a(-7). Suppose 5*p + 2 = -4*w, 2*p = 4*p - w - c. Suppose 4*z = -n + 167, -3*n + z + p*z = -546. Is n prime?
True
Let z be 6*(4 + -2 + 2). Let p be z/36 - 4/(-3). Suppose 2*r - 885 = -r + p*m, -12 = 4*m. Is r composite?
False
Let t(o) = o**2 + o + 161. Let z(b) = 2*b - 7. Let y be z(5). Suppose d = -y*d. Is t(d) prime?
False
Is ((-436890)/(-50))/((-9)/(-15)) composite?
False
Let z(a) = -2228*a - 137. Is z(-5) prime?
True
Let h be 2*(-3501 + -3)/(-4). Let k = 2491 - h. Is k prime?
True
Let j(m) be the first derivative of -m**4/4 + 7*m**3/3 + 17*m**2/2 + 13*m - 7. Let d be j(9). Suppose -k + d*q + 495 = 0, 3*q = 5*q - 2. Is k prime?
True
Let b(m) = m + 1. Let j(r) = r**3 - 13*r**2 - 17*r - 20. Let n(p) = -3*b(p) - j(p). Is n(13) composite?
False
Let o