429*h - 3375. Suppose 5 = v, 2*w + v - h = 1236. Is w a prime number?
True
Let u be -2 - 5 - (-35256)/(-8). Let i = u + 10053. Is i composite?
False
Let v = -453 - -457. Suppose 6*i = 4*i - 2*c + 20270, v*c = 3*i - 30391. Is i a prime number?
True
Let v(h) = 29*h + 2*h**3 + 23*h**2 + 4*h**3 - 2 - 17*h - 5*h**3. Let j be v(-22). Suppose -j = -g + 73. Is g a prime number?
False
Suppose 204*x + 1502698 - 4158696 = 113811478. Is x a composite number?
False
Suppose 0 = -3*t + 2*j - 113, -5*j - 6 = -2*j. Let f = t + 36. Let a(z) = -130*z - 1. Is a(f) composite?
False
Suppose -30*i + 13101680 = 50*i. Is i a prime number?
True
Let g(p) = 261*p**2 - 15*p + 37. Let t(r) = r**2 + 6*r - 1. Let x be t(-4). Is g(x) a composite number?
False
Let b = -760 - -765. Suppose -b*t + 1069 = s, -t - 1544 = -4*s + 2732. Is s a composite number?
False
Let m = -4 + 6. Suppose 0*u - m*u + 4 = 0, 0 = -3*q - 4*u + 815. Let t = q - -360. Is t a composite number?
True
Let h be (-1 + 1)/(-11 - -12). Suppose h = -5*o + 2 + 18. Suppose 2*x + u = 114 + 110, 450 = o*x + 3*u. Is x a prime number?
False
Let i(y) = -2*y**3 - 13*y**2 - 14*y + 3. Suppose 120 = -2*w - 8*w. Let m(v) = -v**3 - 12*v**2 - v - 20. Let d be m(w). Is i(d) a prime number?
True
Let u(h) = -h + 7. Let y be u(1). Suppose -y = -2*g, -t = -3*t - 5*g + 32221. Is t a composite number?
False
Let v = 265600 + -139359. Is v a prime number?
True
Let b = 8340 + -372. Suppose -v - 5*y + b = -6*y, -15939 = -2*v + 5*y. Is v prime?
False
Let t(b) = -b**3 - 13*b**2 + 10*b - 53. Let z be t(-14). Suppose -2*p + z*v = -23434 + 2966, 2*p - 20472 = 5*v. Is p a composite number?
True
Let j = -28778 + 50227. Is j a composite number?
True
Suppose -118 - 74 = -6*j. Suppose -j*d + 33*d - 3151 = 0. Is d composite?
True
Let h = 676 + -657. Let o(s) = -42*s + 7. Let a(t) = 1. Let u(m) = 6*a(m) - o(m). Is u(h) prime?
True
Let f(j) = -j**2 - 12*j - 7. Let t be f(-11). Suppose -t*p + 3*d = -331, -p + 0*d + 2*d + 79 = 0. Let i = p - -138. Is i prime?
True
Suppose -2*t + 4*g - 16 = -0*g, -5 = -5*t + g. Suppose t*p - 114 - 82 = 0. Suppose -5*j - 4*z = -j - 160, p = 2*j - 4*z. Is j a prime number?
True
Suppose r = -r - 970. Suppose -13*b - 16*b = -43326. Let z = b + r. Is z composite?
False
Let p(u) = 23668*u**2 + 77*u + 425. Is p(-6) a prime number?
True
Let c = 126 - 82. Let r = c + -36. Is r/(-6) + 8656/48 composite?
False
Let n = 81 + -37. Let i = n + -41. Suppose 1447 = i*h - 1160. Is h composite?
True
Suppose -15*m + 184*m = 22211501. Is m a composite number?
True
Let i(a) = -a**2 + 7*a - 6. Let h be i(4). Let o = -12 - h. Let p(t) = -5*t - 31. Is p(o) prime?
True
Let y be 877740/(-35)*(-140)/30. Suppose -y = -47*a + 141515. Is a prime?
True
Suppose -3*t + 552648 = -3*g, 493013 + 428022 = 5*t + 4*g. Is t a composite number?
False
Let f(i) = -4*i - 3. Let h be f(-2). Let c(b) = 4185*b + 192. Is c(h) composite?
True
Let j be 123 + -8*(-2)/4. Suppose -j - 45 = m. Is 1/(-1 - 1 - m/84) prime?
False
Let x be (776/(-14) - -1) + (-96)/(-224). Let w be (-7 - x/12)*(-16)/5. Suppose -81 = w*g - 2537. Is g a composite number?
False
Suppose 5*v = k + 5, -k - 117 = -2*v - 118. Let j be 1*2*(-907)/(-2). Suppose v*r - r = j. Is r composite?
False
Let t(z) = -7*z**3 - 7*z**3 - 10*z + 32*z**3 + 7*z**2 - 12*z**3 - 11 - 4*z**3. Is t(14) a composite number?
False
Let i(h) = 3*h**2 - 3*h - 6. Let r be i(6). Let k = r + -85. Is k/(-4) - (-18978)/24 a composite number?
True
Suppose 2 = -5*y - z, 3*y + 4*z = -7 - 1. Is 7 + -2 + y + -1 + 393 a prime number?
True
Suppose 6*q - 50 = -4*q. Suppose -2*g + g = -q*a + 11, -3*g + 3*a - 9 = 0. Is (-517 + (3 - 7))*g composite?
False
Let b(r) = -r**3 + 9*r**2 - 10*r + 18. Let t be b(8). Suppose -23 + 71 = -2*g + 5*q, -4*q = g - t. Let f(u) = u**3 + 17*u**2 + 17*u - 15. Is f(g) composite?
True
Let v(l) = l**3 - 6*l**2 - 30*l + 25. Let z be v(9). Is (-2 - (-3 - z))*6 - -20505 a prime number?
False
Let z = -287016 - -602629. Is z a prime number?
True
Let f = 113040 + -5269. Is f a composite number?
True
Let b(w) be the third derivative of -5*w**4/12 - 5*w**3/3 + 14*w**2. Let k be b(-3). Suppose -k*g + 15*g + 185 = 0. Is g a composite number?
False
Let a be -5 + 3 + (2 - 0). Is -1 + (884 - a) + (-6)/1 a composite number?
False
Let c = 8521 - 4408. Let h = c + -1906. Is h prime?
True
Suppose -79*o + 245 = -30*o. Suppose -5*k + 10*k - 5450 = o*w, k = 5*w + 1102. Is k a composite number?
False
Let a be (-202224)/(-21) - (-4)/14. Suppose 0*g + 9610 = 3*p - 2*g, -3*p + a = 3*g. Suppose -3*j = 4*n - 3251, -3*j + 2*n = -3*n - p. Is j composite?
True
Let g be 3*(1 - 4) + 5091. Suppose -5*b = -15163 - g. Is b a composite number?
False
Let p(w) = -6*w + 97. Let s be p(15). Is (-4)/s + (-6311)/(-7) composite?
True
Is 118067037/1110 + (-3)/(-10) prime?
True
Let c(z) = z**2 - 18*z + 37. Let f be c(16). Suppose f*q = -131 + 156. Suppose 0 = -q*x - 2*h + 1015, h - 769 = -4*x + 43. Is x a composite number?
True
Let y be 1 - ((-69)/(-23) - (-1 + 6)). Suppose -g - y*a = -19609, 3*g + 4*a - 72353 = -13546. Is g composite?
False
Let k(i) be the second derivative of -i**4/12 + 23*i**3/3 + 43*i**2 - 48*i. Is k(30) composite?
True
Let b = -354881 + 628114. Is b prime?
True
Let d(u) = -3*u - 15. Let x be d(-5). Suppose 3*a = i + 1544, 2 = 2*i - x*i. Let t = a - 301. Is t a prime number?
False
Suppose -10*i = -2*i. Suppose i = v + 6 - 23. Let y = 822 + v. Is y prime?
True
Let v = -66535 + 125676. Is v composite?
False
Suppose 11*z + 5 - 82 = 0. Is 2172 + (z/1 - 6) a composite number?
True
Let n(i) = -9*i + 29. Let p be n(-4). Suppose -949 = 64*k - p*k. Is k composite?
True
Suppose -115*f - 2*p = -111*f - 304910, -4*p - 76241 = -f. Is f prime?
False
Let j(w) = 176*w - 68 + 11 - 41*w - 7. Is j(23) a prime number?
True
Suppose 112*p - 1788291 = -610633 + 762966. Is p a composite number?
False
Suppose -5*y = -4*w + 5407, -2*w + 651 = -y - 434. Let n = y - -3532. Is n a prime number?
False
Let o(g) = -g**3 + 80*g**2 + 8*g - 20. Is o(-91) composite?
False
Let g(f) = -87*f**2 - 7*f - 24. Let d be g(-14). Is (d/65)/(4/(-10)) a prime number?
True
Let c(x) = 6*x - 346. Let d be c(58). Let u(m) be the third derivative of 53*m**4/8 - m**3/6 - m**2. Is u(d) prime?
True
Let x(y) = 32*y - y**2 + 95 + 99 - 196. Let l be x(14). Suppose -a = 5*s - l, s = a + 4*a + 76. Is s prime?
False
Let j(g) = -2*g**3 - 18*g**2 - 16*g - 5. Let v be j(-14). Let t = -3069 + v. Is (t/(-4) - 0)*(-24)/(-30) a composite number?
True
Suppose -2*d + 3 = 1, 0 = 4*a + 2*d - 8542. Suppose -3*x + a = -6064. Suppose x = -4*f + 7*f. Is f a composite number?
False
Let i = 64 - 62. Let d(x) = -2 + x**2 - 3*x**i + 5*x**3 + x - 7 + 10. Is d(4) a prime number?
True
Let u be (47457/(-6))/(1 - 21/18). Suppose -33*s + 24*s + u = 0. Is s a composite number?
False
Let h(n) = 31063*n**2 + 9*n + 1. Let v = -165 - -164. Is h(v) a prime number?
False
Let a = 8282 - -81345. Is a prime?
True
Let j be -1 - (-4 - -4) - -4. Suppose 4 = 2*v - 4. Suppose k + k + j*u - 2025 = 0, v*u - 4048 = -4*k. Is k prime?
False
Let h(v) = -399*v - 90. Let f(i) be the second derivative of 133*i**3/3 + 30*i**2 + 2*i - 16. Let o(z) = -8*f(z) - 5*h(z). Is o(-5) a prime number?
False
Let q = -5745 - -8666. Is q prime?
False
Is (42/(-63))/(2/(-15)) + 15797 composite?
True
Let b = -7337 + 1050. Let k = -9188 - b. Let v = k + 4102. Is v composite?
False
Let o be 54/(-189) - (1209/7 + 0). Let g = 567 + o. Let k = g + 1275. Is k prime?
True
Suppose h = -1 + 10. Is 4/14 + (2953584/42)/h a composite number?
True
Let d(a) = -20073*a - 151. Let j be d(-6). Let r = -77496 + j. Is r a prime number?
False
Suppose 6*o + 18314 = -8404. Let q = -2304 - o. Is q prime?
False
Let z(g) be the second derivative of 7*g**4/8 - 13*g**3/3 - 4*g**2 - 15*g. Let j(b) be the first derivative of z(b). Is j(17) composite?
False
Suppose 171*f - 132 = 159*f. Let t(p) = 4872*p - 8. Let j be t(6). Suppose f*u - 30297 = j. Is u composite?
True
Let x(a) = 4022*a + 27. Let i(r) = 8043*r + 57. Let p(l) = 3*i(l) - 7*x(l). Is p(-1) composite?
False
Suppose 99*c - 4*h = 98*c + 18835, 0 = 2*c + 2*h - 37730. Is c a prime number?
True
Let b be (-23)/46*(-1 - 13). Suppose -5382 = -b*d + 15191. Is d prime?
True
Let p(i) = -4*i**2 + 16*i + 44509. Is p(0) composite?
True
Let p(b)