(g) = -7*g**3 - 7*g**2 + 4*g - 1. Is i(a) composite?
False
Let u be 10*(-2)/8*(-16)/10. Is (-3)/(u*12/(-128144)) prime?
True
Let f(m) = -m**3 + 63*m**2 + 22*m - 17. Is f(20) prime?
True
Let j(b) = -4200*b - 571. Is j(-19) prime?
True
Suppose 5*o + 11*b - 1533512 = 10*b, 4*b = 5*o - 1533477. Is o composite?
False
Let p(q) be the third derivative of 23*q**4/4 + 7*q**3/2 + 6*q**2. Let r(c) = -46*c - 7. Let w(v) = -3*p(v) - 8*r(v). Is w(-3) a composite number?
False
Let k(m) = -350*m + 127. Suppose 0 = 19*y - 11*y + 64. Is k(y) prime?
True
Suppose 7*i + 16 + 33 = 0. Let x(j) = -7*j**3 - 11*j**2 - 13*j - 22. Is x(i) prime?
True
Suppose -20477 = -4*i - 221. Suppose 0 = -39*o + 15*o + i. Is o a prime number?
True
Is 321705/2 + (-55)/(1870/51) composite?
True
Let v(b) be the second derivative of -b**4/12 + b**3/2 + 7*b**2 + 17*b. Let j be v(5). Suppose -c + 455 = j*c. Is c a prime number?
False
Let b = 117 - 123. Is -1*(-544 - -3) + 2 + b prime?
False
Is (-4*(-4)/(-48))/((-13)/1611519) a composite number?
True
Let f be (2 - 2/1) + 5269. Let b be (2/7)/((-8)/28) - -3709. Let c = f - b. Is c a prime number?
False
Let l be (-2)/((-3)/(15/5)). Let z(s) = 3*s**2 + 7*s - 18. Let m be z(l). Is ((-2)/m)/(-1) + 5058/24 prime?
True
Let c(r) = -115*r + 711. Is c(-56) prime?
True
Let u = -180501 + 263515. Is u a prime number?
False
Let p(t) = 32*t**2 - 36*t + 7 + 35*t - 2. Is p(-10) a prime number?
False
Let v(d) = 403*d**2 - 120*d + 95. Is v(-12) composite?
False
Is (1788210/(-12) + -10)*((-16)/5 + 2) prime?
False
Suppose -6*q = 3*q - 126. Let x = q - 12. Suppose -x*g - 2*i + 1700 = 0, -3*g + 4*i + 705 + 1838 = 0. Is g a composite number?
True
Suppose 81*s - 41387773 = -399*s + 24232547. Is s a prime number?
True
Let l(j) = -j**3 + 27*j**2 - 30*j - 154. Let f be l(19). Let b = 5042 - 2962. Suppose -4*z + b = -f. Is z a composite number?
False
Let i = 24006 - 13529. Is i prime?
True
Let s be (-998)/(-2) + 0 + 0. Let z(t) = 101*t**2 + 212*t - 1. Let p be z(1). Let o = s - p. Is o composite?
True
Suppose 37866 = 23*f - 125756. Is f a prime number?
False
Is ((-6753354)/(-4))/((9345/70)/89) prime?
True
Let a(w) = -w**3 - 6*w**2 - 25*w - 2. Let v be a(-6). Suppose v*j - 141*j - 3647 = 0. Is j prime?
True
Let u(h) = 4*h**3 - 44*h**2 + 4*h - 7. Let b(k) = k**3 - 15*k**2 + k - 2. Let s(c) = 8*b(c) - 3*u(c). Is s(-10) prime?
False
Let l(o) = 84*o**2 + 5*o + 92. Let g be l(-7). Suppose 1664 = 13*u - g. Is u a prime number?
True
Suppose -562*u + 512*u = -5222950. Is u a prime number?
True
Let j(o) = o**2 + 40*o - 1412. Is j(-79) a composite number?
False
Let l(c) be the first derivative of c**4/4 + 5*c**3/3 + 7*c**2/2 + 7*c + 33. Let a be l(-3). Suppose -a*n = 3*w - 557, 0 = 2*n - 2 + 10. Is w prime?
True
Suppose 5*w + 5*l = 0, 0 = 3*w + w - 3*l + 21. Let x(k) = -2*k - 3. Let t be x(w). Suppose -t*i + 3*f + 745 = -f, f - 253 = -i. Is i a composite number?
False
Let j = 8 - 5. Suppose -168 = -j*m + 15429. Is ((8/12)/(-1))/((-2)/m) a prime number?
True
Let t be 24/40 + 64/10. Is (7/(-2))/(t/(-18578)) composite?
True
Suppose 2*c = -5*u + 36, 3*u - 3 = u + 3*c. Suppose u*q - 10634 + 476 = 0. Is q a composite number?
False
Let k(t) be the third derivative of 7*t**6/10 - t**5/12 + t**4/8 + 2*t**3/3 - 2*t**2 + 29. Is k(2) a composite number?
True
Let f(r) = 36*r + 33. Let o(m) be the second derivative of -m**3/6 - m**2/2 - 9*m. Let d(k) = -f(k) - 2*o(k). Is d(-12) composite?
True
Suppose 0 = -39*w + 44*w - 21*w + 2531024. Is w prime?
True
Let i(y) = -1940*y + 13. Let z be i(-1). Let r = 100 + z. Is r a composite number?
False
Suppose -4*h + 94 = 4*c - 2*c, 4*c = -3*h + 78. Let l be (-121)/h*(0 + (-4)/1). Let d = l + 55. Is d prime?
False
Is (-701612*2/(-28))/(-1 - -3)*7 a composite number?
False
Suppose t + 259 = -2*m, 3*t = 14*m - 18*m - 769. Suppose 0 = -5*q + 10 + 5. Is (t/(-4))/(((-6)/(-8))/q) composite?
False
Let l = -496692 + 780203. Is l a prime number?
True
Suppose -68*o - 27 = -77*o. Is (16/6)/8 + 15890/o prime?
True
Suppose 0 = 4*u - 20, -2*p + u + 9527 = -0*p. Suppose -5*m - 4*k + 7965 = 0, m + 2*m - p = -5*k. Is m composite?
False
Let g(t) be the second derivative of -t**4/12 - t**3/3 + t**2/2 + 2*t. Let h be g(-3). Is -1 + h/(-4) + (-6684)/(-8) composite?
True
Suppose 0 = -5*w - 1120 - 810. Let v = -175 - w. Is v prime?
True
Suppose 0 = -3*v + v + 3*q - 11, -4*v = -4*q + 12. Suppose -v*k - 66 = 4*k. Let f(m) = m**3 + 11*m**2 - 7*m + 2. Is f(k) composite?
False
Let p(g) = 1421*g + 7318. Is p(35) prime?
False
Let a = -1135 - -2506. Let d be (24 + 0)*458/6. Let q = a + d. Is q prime?
True
Let v be (7 - 2) + 0 + (-1 - -1). Is 0 - (5 + (-2 + -1985 - v)) a composite number?
False
Let i(t) = t**2 - 11*t - 7. Let q be i(7). Let b = q - -40. Suppose d = 6*d - 25, 0 = -b*k - d + 2610. Is k a prime number?
True
Suppose -352731 = -4*f + 326427 + 41774. Is f composite?
False
Let y(u) = 7*u - 22. Suppose 3*q - 2*l + 25 = 132, 5*q - 4*l - 175 = 0. Is y(q) composite?
False
Suppose 0 = 185*g - 20965969 + 1974054. Is g composite?
True
Let f(g) = g**2 + 4*g - 136. Let j be f(43). Let p = j + -524. Is p a prime number?
True
Let d be (0 - 2/(-1))*(-5 + 67). Suppose -7*f - d = -11*f. Suppose i = -4*y + 508 - f, 0 = 5*y - i - 594. Is y a composite number?
True
Suppose 0 = -a + 12 - 7. Suppose -3*x + 0*x + 209 = a*z, x = 3*z + 79. Suppose -2*r + x = -397. Is r prime?
False
Let u be -1*(261/18)/((-1)/58). Suppose d = u + 1338. Is d prime?
True
Suppose 6105825 = 153*u - 23878656. Is u a prime number?
True
Suppose -3*j - 7*v + 12*v + 3912227 = 0, -3*j = 5*v - 3912187. Is j a prime number?
False
Suppose -136*g + 90045189 = 130*g + 85*g. Is g a composite number?
True
Let v = 75 + -71. Suppose h + 9053 = k + 4*k, -4*h = -v*k + 7236. Is k a composite number?
False
Let o(y) = y**3 + 88*y**2 + 39*y - 109. Is o(56) a prime number?
True
Let l(t) = 4*t - 1. Let c be l(2). Let u(f) = 2*f**3 - 31*f**2 - 2*f - c + 28*f**2 + f. Is u(5) a composite number?
False
Let d(c) = 6*c**3 - c**2 - 2*c - 1. Let t be d(-1). Let f(g) be the third derivative of 7*g**5/30 + g**4/6 + 13*g**3/6 + 441*g**2. Is f(t) composite?
True
Let v be ((-12)/(-7))/((-12)/(-42)). Suppose 6 = 6*u + v. Suppose 4*i - 2728 = -4*z, 9*i - 5*i + z - 2731 = u. Is i a composite number?
False
Let z = 346 - 107. Let c = z - -800. Is c prime?
True
Let b = -72732 - -242791. Is b prime?
False
Let l(q) be the second derivative of -q**5/10 - 5*q**4/12 - q**3/3 - 8*q**2 - q - 4. Is l(-7) prime?
True
Is (-721061 + -8)*(-8)/8 a prime number?
False
Let h(b) = 9*b + 116. Suppose 0 = -2*v + 28 + 2. Is h(v) prime?
True
Let x(j) = j**3 + 65*j**2 - 12*j + 55. Let q be x(-32). Suppose -q - 84927 = -26*n. Is n composite?
False
Suppose 250 = -34*q + 24*q. Let l = q + 27. Suppose -c = 5*y - 7806, -3*c + 6*c + 3119 = l*y. Is y prime?
False
Let b(u) be the second derivative of -u**4/12 + 7*u**3/6 + 23*u**2/2 - 21*u. Let m be b(8). Is (-2 - (-21)/m) + 42032/20 composite?
True
Suppose -2730 = -2*r + 15*r. Let h be 16376/20 + 5 + 2/10. Let j = r + h. Is j composite?
True
Let u = 336 + -312. Suppose 0 = -19*p + u*p - 5*g - 15825, 6318 = 2*p + 4*g. Is p composite?
False
Let i = -153673 - -295400. Is i a composite number?
True
Let a(m) = -m**3 + 2*m**2 + m + 1. Let c be a(2). Suppose 0 = -3*z, 0 = c*w - z - 0*z - 5817. Let h = -1316 + w. Is h a prime number?
False
Let i be (1*160/28)/((-2)/(-7)). Suppose 0*u - 2*u + 76 = 0. Suppose -i*a = -22*a + u. Is a a prime number?
True
Suppose -32653 = -2*q - 5*l, -3*q - 93*l + 48945 = -97*l. Is q a composite number?
False
Suppose -81*k + 23*k + 77018258 = 0. Is k prime?
True
Let w(k) be the first derivative of -5065*k**2/2 + 3*k + 22. Is w(-2) a composite number?
False
Is (-133460)/(-15)*45/60 composite?
False
Let y be (-1)/(-4)*2*2. Let z(b) = 28*b - 8. Let x be z(y). Let t(d) = -d**3 + 23*d**2 + 11*d + 19. Is t(x) composite?
False
Let f(t) = -t**3 - 5*t**2 - 2*t. Let y be f(-5). Suppose -74*x - 629 = 33*x - 2020. Suppose -y*h = -x*h + 771. Is h a prime number?
True
Let t be (9 - -3)/((-2)/1646*-2). Suppose 1326 = j + 3*v - 1121, t = 2*j - 5*v. Is j a prime number?
True
Let y(k) = 8*k**2 + 54*k + 13. Let d(u) be the third derivative of -u**5/15 - 9*u**4/8 - 7*u**3/6 - 2*u**2. Let l(p) = -7*d(p) - 3*y(p). Is l(-12) composite?
Tr