nd derivative of 67*q**4/3 + q**3/3 + 5*q**2/2 + 22*q. Is d(n) a prime number?
True
Let a be 126/105*(-20)/6. Let l be (-4 - (1 + a))*0. Suppose 2*q = -2*r + 6*q + 20, l = q - 2. Is r composite?
True
Is 2*(-2 - 4/(-6) - (-4954775)/69) a composite number?
True
Let p be (-1418*2/4)/(-1). Suppose -3*y + 5*y - 3720 = 0. Suppose -g = -y - p. Is g prime?
False
Suppose 88*o + 5*h = 85*o + 91408, -4*o = -3*h - 121829. Is o prime?
False
Suppose 5*z - 25 = 4*y, -12 - 3 = 3*y - 3*z. Let n be (y/(-1))/((-24)/4 - -8). Suppose -f + 121 + 210 = n. Is f composite?
False
Let d(i) = -i**3 + 11*i**2 - 5*i + 2. Let x be d(10). Suppose -5*u + x = 32. Suppose -5*g - 1147 = -u*m, 2*m - 4*g - 566 = -0*m. Is m a composite number?
False
Let v(m) = m + 13. Let i be v(2). Suppose -i = 4*p - 3*l + 373, 5*p - 4*l + 485 = 0. Let z = p - -166. Is z composite?
True
Suppose 2*k - 154 = -166. Let d be (6 - 11)*(-6)/(-15) - k. Suppose -5*o + 4267 = d*s, 0 = -4*s - 7*o + 3*o + 4272. Is s composite?
True
Let c(z) be the first derivative of -z**4/4 - 9*z**3 - 7*z**2 - 25*z - 96. Is c(-27) a prime number?
True
Let j(u) be the first derivative of u**3 + 9*u**2/2 + 17*u + 273. Suppose 0 = 4*p - 39 - 29. Is j(p) a prime number?
False
Is (6 + -3)*(-7079872)/(-192) a prime number?
True
Suppose 10*k + 4*p = 12*k + 11378, -2*k - 3*p = 11392. Let q = 12004 + k. Is q composite?
False
Suppose -2604*a + 2618*a + 3630398 = 8533380. Is a a composite number?
False
Suppose 0 = 11*w - 888 + 63. Let p = w - -37. Suppose p + 75 = a. Is a a prime number?
False
Is 1268838/(-81)*36/(-8) prime?
False
Let g = -13348 - -8399. Let b = -3218 - g. Suppose -7*r + b = -3736. Is r composite?
True
Let v(p) be the first derivative of 2*p**3/3 + p**2/2 + p - 14. Let j be v(-1). Suppose a + 15 = -2*a, -4*t + 2922 = j*a. Is t a prime number?
True
Let b = 83 - 78. Let s be 6*(-4)/20*1*b. Is s/9*(-3)/1 + 1455 prime?
False
Is (38/(-8))/(1/(-11204)) a prime number?
False
Let v(w) be the third derivative of 7/30*w**6 + 0*w**5 + 24*w**2 + 11/6*w**3 + 1/12*w**4 + 0 + 0*w. Is v(4) a prime number?
True
Suppose -6*t + 119469 = 1695. Suppose 3*m - 5*m = k - 6548, 3*k + m - t = 0. Is k composite?
True
Let v be (-14)/175 + 762/150. Suppose 5*n + 4*f - 9815 = 0, -15 = v*f + 10. Is n a prime number?
False
Let t be (-18)/4*(-256)/48. Suppose 0 = 8*o - 12*o + t. Suppose 3450 + 1872 = o*d. Is d composite?
False
Suppose -5*o = 4*y + 56 - 133, 4*o + 4*y - 64 = 0. Let m(t) be the second derivative of t**5/20 - 5*t**4/6 + 17*t**3/6 + 17*t**2/2 - t. Is m(o) prime?
False
Let p(o) = -26344*o - 2025. Is p(-13) composite?
False
Suppose -65*o - 7705 + 33120 = 0. Is o a prime number?
False
Let i(o) = -120*o - 122. Let b be i(-21). Let j be 10/55 + 126/33. Suppose 0 = -5*n - s + b, 2410 = 5*n + 9*s - j*s. Is n a prime number?
True
Suppose -22515571 = -5*m - 3725486. Is m a composite number?
False
Let r = -538 - -563. Suppose -371267 = -r*v + 12*v. Is v a prime number?
True
Let f be (-2)/(2/389*2/(-4)). Let o = 2679 - f. Is o a prime number?
True
Suppose -3*h - 2*h = -22165. Let o(p) = -p - 6. Let w be o(-9). Suppose -w*v - h = -4*s, 2*s - v + 4437 = 6*s. Is s prime?
True
Suppose 4*a = -19 + 59. Suppose 0 = a*t - 5*t - 15. Suppose j - 3*j - 3*w = -7823, j = -t*w + 3916. Is j a prime number?
True
Let y = 105 - 108. Let p be 4 + 3964/(-12)*y + -4. Suppose -3*b - p + 7150 = 0. Is b prime?
True
Suppose -1442295 = -44*x - x. Is x a prime number?
True
Let q be (-620180)/(-84)*1 - 2/21. Suppose -4*c + 3*v + q = 2*v, -c + 2*v + 1837 = 0. Is c prime?
True
Suppose 127 - 67 = -12*u. Is (-1 + u)*(-15117)/18 prime?
True
Suppose -421 = -2*u + 33. Suppose 67 = 6*c - u. Suppose 1201 = -c*r + 50*r. Is r a prime number?
True
Suppose 36696 = 30*o + 14*o. Let w be (18/(-3))/2 - -9. Suppose -2*q - 5*a = -o, a + 1268 = w*q - 3*q. Is q a composite number?
True
Suppose -y + 4*y = -c + 396228, 0 = y + 3*c - 132076. Is (-2)/(-4) - y/(-56) a prime number?
False
Let d be 18/30 - 535/(-25). Suppose -d*o = -26*o + 1772. Is o a composite number?
False
Let l be ((5/10)/((-3)/(-96)))/2. Suppose l*h + 2*h = 510. Suppose h = x - 67. Is x composite?
True
Let q(c) = 0*c**3 - 36*c**2 + 4*c + 6 + 41*c**2 - c**3. Let z be q(6). Let g(h) = 34*h**2 - 6*h - 1. Is g(z) prime?
True
Let k = -66 - -69. Is k/((-1567)/314 + 5) composite?
True
Let n = 44 - 35. Suppose -n*j + 14 = -2875. Suppose -6*p + j = v - p, -3*p - 1745 = -5*v. Is v a prime number?
False
Let f(i) = -15*i**2 - 6*i - 1. Let d be 5/25 - (-62)/(-10) - -3. Let c be f(d). Is (c/(-10))/((-8)/(-80)) composite?
True
Let b(i) = 9074*i + 3154. Is b(48) prime?
False
Suppose 3*k + 5*u - 38862 = 0, -k + 8026 = -4*u - 4911. Is k a composite number?
True
Suppose 17*g + 4*i = 21*g + 84, 3*g + 81 = -3*i. Is (3/g*-12)/(9/3846) prime?
True
Let j = -2497 - -367788. Is j a composite number?
False
Let y = 44 + -32. Let k(x) = y*x + 14*x - 1 - 12*x - x. Is k(8) composite?
False
Suppose u + u = 8. Let v(h) = -3*h**3 + 54*h**2 - 83*h + 52. Let k(p) = -p**3 + 18*p**2 - 28*p + 17. Let s(l) = u*v(l) - 11*k(l). Is s(16) prime?
True
Suppose 69914 = 3*j - 4*n, -2*n + 3*n = j - 23303. Let x = -10975 + j. Is x prime?
True
Let m(t) be the first derivative of -25*t**2/2 + 46*t + 30. Let g be m(12). Is ((-3)/2)/(2 - (-511)/g) prime?
True
Let p be ((-2)/5)/((-6)/330). Let g be (-5)/(-2)*44/p. Suppose 924 = t + g. Is t a prime number?
True
Suppose 3*o - 4*q - 17713 = 0, -10*o + 7*o - 3*q = -17748. Is o composite?
True
Let g = 734 + -730. Suppose 4*i - 51737 = -5*q, 2*q - q = -g*i + 51749. Is i a composite number?
True
Suppose 4*y = 4*f - 108916 + 2252, 2*f - 53329 = 3*y. Is f a composite number?
False
Suppose -9*f + 1079474 = -1942169 - 119258. Is f prime?
True
Let y be (956 + 7)/(2/2). Suppose 396 = 2*i + 4*n, 0 = -i - 4*i - n + y. Let u = 395 - i. Is u a composite number?
True
Suppose 0 = -14*d + 7*d + 35. Let c(o) = -94*o**2 - 9*o - d + 189*o**2 - 94*o**2. Is c(18) prime?
True
Let j(c) = -c**3 - 6*c**2 + 6*c - 7. Let m be j(8). Let d = -89 - m. Is d a composite number?
True
Let n be 9*-1 + (19 - 5). Suppose -3*a - 36854 = -5*y - 0*y, -29461 = -4*y - n*a. Is y composite?
False
Let q be 2*(-3 + (-15)/(-6) + -2). Let v be -1*(-8 - q - 4). Let o(k) = 39*k**2 + 10*k - 8. Is o(v) prime?
True
Suppose -5001 = -22*r - 4583. Is r a prime number?
True
Let x(w) be the second derivative of -91*w**3/6 + 199*w**2 - 157*w + 2. Is x(-21) prime?
True
Suppose 2*r - 3*o - 23 = 0, -2*r - 2*r + 6 = 2*o. Let s be 6/2*(56/21)/r. Suppose 28 = s*v - 22. Is v composite?
True
Suppose -2*u - 18 + 36 = 0. Suppose 0 = 12*g - u*g - 6999. Is g prime?
True
Let b = -107 + -12. Let f = -126 - b. Let l(r) = 10*r**2 + 3*r + 16. Is l(f) a composite number?
True
Let m(x) be the second derivative of 4393*x**7/2520 - x**6/180 + x**5/60 - 5*x**4/6 + 36*x. Let a(y) be the third derivative of m(y). Is a(1) prime?
True
Let s(w) = 114*w + 86. Is s(2) composite?
True
Let r(x) = -9105*x - 6899. Is r(-22) composite?
True
Let v(p) = 84342*p**2 - 39*p - 161. Is v(-4) composite?
True
Suppose 5*i - 5*f + 115 = -40, -4*f = 4*i + 100. Let a = -46 + -51. Is (a/4)/(((-9)/i)/(-9)) prime?
False
Suppose 3*p + 3*u = 21717, -p = -u - 6536 - 691. Is p a composite number?
True
Suppose -9 = 3*y + 30. Let a(c) = -23*c**2 - 8*c + 14. Let s be a(2). Is (s/(-5))/(y/(-65)) prime?
False
Let c be 0/(-19)*(-2)/4. Suppose 2*d - 3*a = 2*a + 14153, d + 3*a - 7060 = c. Is d a composite number?
False
Suppose 4*n = 6*l - 5*l - 1916, -3*l + 3*n + 5784 = 0. Let a = l + -1039. Is a prime?
False
Let f be (4/10)/((-1)/115). Let i = f - -48. Is ((-4)/i - -340) + -4 prime?
False
Let t = 2186 + -164. Suppose t = -6*y + 59544. Is y a composite number?
False
Let f(c) = 28*c**2 + 17*c - 83. Let w(p) = -5*p + 77. Let x be w(13). Is f(x) a prime number?
True
Suppose 340 = 2*t + 4*i - 3978, -2*i = -5*t + 10843. Is t prime?
False
Let f = -442 + 626. Let p = 1 + 4. Suppose p*s = 839 - f. Is s composite?
False
Let q(i) = 2119*i - 34. Suppose 0 = 14*d - 6*d - 24. Is q(d) a prime number?
True
Is (14/(-4))/((-10)/20) + (13888 - -16) prime?
False
Is 268/(-201) - (-11991513)/9 a composite number?
False
Let v be (-9284)/7 - 10/(-35). Let p be v/(-4)*(-6)/(-9). Let j = p + -154. Is j a composite number?
False
Suppose -64 = 6*a - 22*a. Suppose 10*v - a*v = 44