 u(j) be the third derivative of -j**4/6 - 8*j**2. Is u(-1) a composite number?
True
Suppose 16*c + 27150 = 21*c. Let m be (-2)/11 + c/(-22). Let v = 564 + m. Is v a prime number?
True
Let s(z) = -2*z + 14. Let m be s(7). Suppose -2*u + 421 = -m*u + 3*p, p + 604 = 3*u. Suppose 3*l + 5*c = 684, u = 5*l - 5*c - 977. Is l a prime number?
True
Let w(b) = 8*b**3 + 53*b**2 - 48*b - 40. Let z(l) = 3*l**3 + 18*l**2 - 16*l - 13. Let y(d) = 4*w(d) - 11*z(d). Let o be y(12). Is o*((-2)/2 + 4) prime?
False
Let u = -2595 - 4617. Is 7/((-28)/u) - 2 composite?
False
Let y = 666 - -292. Is y a prime number?
False
Is -673*((-108)/81 + (-1)/(-3)) a composite number?
False
Suppose 3*o + 4628 - 13529 = 0. Suppose -10*j = -2243 - o. Is j a prime number?
True
Suppose 0 = -4*z + 3*p + 711 + 7913, 2*p = 2*z - 4314. Is z a prime number?
True
Let h(l) = -2*l**3 - 2*l**2 + 2. Let i be h(-2). Let q = 1 + 60. Suppose y = -i + q. Is y composite?
True
Let y(f) be the first derivative of -f**3/3 - 6*f**2 - 7*f - 9. Let l be y(-10). Suppose -536 = -l*s + 5*s. Is s composite?
False
Suppose -41*x + 23*x + 794862 = 0. Is x a composite number?
False
Suppose -5*u + 7586 = 10*d - 8*d, 8 = -2*u. Is d a composite number?
False
Let x(p) = -38*p**2 + 3*p - 6. Let c be x(-7). Let r = c - -2988. Is r prime?
False
Let b(t) = t**3 + 11*t**2 - 9*t - 1. Let m be b(7). Suppose -4*d + 1781 - 489 = 0. Suppose 4*y = 2*y - f + d, 5*y = f + m. Is y a composite number?
False
Let b(g) = -348*g**2 + 6*g - 6. Let q be b(10). Is (q/(-12))/((-2)/(-4)) a prime number?
True
Let o(i) = -405*i - 1. Let l be o(2). Let z = l - -1248. Is z composite?
True
Let v = 2 - 5. Let q = v - -4. Let g = q - -22. Is g a composite number?
False
Suppose -5*l - 30 = -2*a - 3*a, 2*a - 6 = -4*l. Let t be (2 - l) + 0 + -3. Suppose t = 4*w + w - 2945. Is w a prime number?
False
Let s be (-3)/2*(-9 - 9). Suppose -7 = -3*c - 4*n - s, -5*c + 25 = -5*n. Suppose -94 = -2*o - c*o. Is o a composite number?
False
Is ((-11)/3)/((-1)/(-1884)*-4) a prime number?
False
Suppose 1 = -3*g + 4, -3*t = -3*g - 9. Suppose 1710 - 122 = t*f. Is f a prime number?
True
Suppose 4*z - 22 = q, -3*q + 39 = 5*z + 3. Let i(p) = 0*p**3 + 8*p**2 + 5 - p**3 + p**2. Is i(z) composite?
False
Let d = 24 + 248. Suppose 10*c - 56 = 2*c. Suppose -2*a = -5*y - d, -2*y + c*y + 131 = a. Is a prime?
False
Let x(o) = 196*o - 91. Let r(p) = -13*p + 6. Let m(a) = 91*r(a) + 6*x(a). Let s be m(9). Let h = s + 98. Is h composite?
True
Let z(p) = -2*p**3 + 6*p**2 + 4*p - 6. Let j be z(-8). Let g = 2431 - j. Suppose 0 = -5*l + 4*f + g, l + f + 0*f - 205 = 0. Is l a prime number?
False
Suppose -4 = 2*l + 2*u, -6*l + 4*l = 3*u + 8. Suppose -4*i + 325 = -2*k - 25, -5*i - l*k + 451 = 0. Is i a prime number?
True
Suppose 2*g + 4*q + 69 = q, -3*g - 116 = 2*q. Let c(o) = o**3 + 11*o**2 + 9*o + 4. Let m be c(-9). Let n = g + m. Is n a composite number?
False
Let n(i) = 15*i**2 - 5*i - 7. Suppose -4*a = -8, -5*a - 4 - 4 = 3*k. Let m be n(k). Let t = -144 + m. Is t a composite number?
False
Is (8 + (-33390)/6)*-1 a composite number?
False
Let c be -2 + 2 + -3 - (4 + -7). Suppose 4*a - 837 - 3143 = c. Is a composite?
True
Suppose -96 = 3*n - 24. Is (24930/n)/(-3) + 3/4 composite?
False
Let d(g) = -6*g + 1. Let n(h) = -h**3 + 10*h**2 - 3. Let x = 13 - 3. Let v be n(x). Is d(v) composite?
False
Suppose -4*w + 40744 = 4*t, -3*t + 11197 + 19367 = 5*w. Is t composite?
True
Suppose 0 = -n - 3*n. Suppose -v - 2*g = -3*v - 584, -5*v + 3*g - 1452 = n. Let o = -149 - v. Is o composite?
False
Let i(q) = 102*q**2 + 8*q + 33. Is i(9) a composite number?
True
Is (-13733)/(-4) - (-13)/(-208)*4 a composite number?
False
Let p be ((-330)/3)/((4/24)/(-1)). Suppose -3*w = -p + 27. Is w prime?
True
Suppose -12*l = 4*l - 389072. Is l a prime number?
True
Suppose q - 3*q - 3*x + 16090 = 0, -3*x = -5*q + 40267. Is q prime?
False
Suppose -4*u - 5*x + 946 = 0, -4*u + 1278 = -2*x + 318. Suppose 723 + u = 2*f. Is f composite?
True
Let k(z) = -2*z**3 + 3*z**2 + 5*z + 1. Suppose 0*y = -2*y. Suppose -16 = 4*h - y*h. Is k(h) a prime number?
True
Let a(h) = 7*h**2 + 12*h - 21. Is a(-8) a composite number?
False
Let z be (-4)/(-26) + (-44)/(-52). Let d(r) = 394*r - 5. Is d(z) composite?
False
Let h(p) = 5*p**2 + 12. Suppose -30 = -2*o - 16. Is h(o) a composite number?
False
Let t = -117 + 126. Let z(m) = m**3 + m**2 + 9*m + 16. Is z(t) a composite number?
False
Suppose -34*b + 25*b = -25533. Is b composite?
False
Suppose 0 = 7*y + 927 - 9313. Let r = y - -1524. Is r a prime number?
False
Let s = 233 + -101. Suppose 90*r - s = 86*r. Is r a composite number?
True
Suppose 0 = -5*r - 2*w - 11, 4*r - 10 = 5*r + 3*w. Is r/((-2)/2)*907 composite?
False
Is (1 + 0)/(14/117866) composite?
False
Suppose 0 = -6*y + 4200 + 6054. Is y prime?
True
Suppose 0 = 2*t + 5*t + 28. Let c be ((-3)/6)/(t/5136). Let i = c - 433. Is i a composite number?
True
Let y(x) = -3352*x - 59. Is y(-6) prime?
False
Let o = -52787 - -81084. Is o prime?
True
Let k = -16914 + 29365. Is k composite?
False
Let i = 118 - -667. Is i prime?
False
Let c = -73 - -27. Let i = 291 + c. Suppose 8*p - i = 3*p. Is p a prime number?
False
Let s = -21 - -26. Suppose -g + 2*n + 53 = 0, s*g + 4*n = 96 + 99. Is g a composite number?
False
Let p be 3 - (4 + -28*116/8). Suppose 152 = n - p. Is n prime?
True
Let c = 1 - -2. Suppose -4*f + 94 = c*l + 22, 5*f - 83 = -2*l. Is (-33)/(-2)*20/f a composite number?
True
Let k(n) = 6*n**2 + 6*n - 32. Let j be k(22). Is (j/12)/(1/21) a prime number?
False
Let u be ((-5)/((-15)/48))/1. Suppose 3*z + 4*w + u - 86 = 0, 3*w + 78 = 5*z. Is (1 - -173) + (z - 15) prime?
False
Suppose c + 37 = 4. Let d be c/2 + (-1)/(-2). Is d/(-24) + (-109)/(-3) composite?
False
Let t(r) = 29*r**2 + 78*r + 38. Is t(29) a composite number?
True
Is (0 - (-24036)/8)/((-3)/(-2)) a composite number?
False
Let b = -1 + 4. Let j = 11 - b. Let c = j - -7. Is c a prime number?
False
Suppose 80520 = 6*l + 9*l. Let f = l - 2435. Is f composite?
True
Let i = 3246 - 2207. Is i a composite number?
False
Suppose 171 = -26*f + 42733. Is f a prime number?
True
Let z = -1138 - -1842. Let x be -486 - (-2 + 15/(-5)). Let w = z + x. Is w composite?
False
Suppose -c = -4*h + 3*c + 2836, 0 = -4*c. Suppose -6135 - h = -4*j. Is j a composite number?
True
Let k = 2143 + -1076. Is k a prime number?
False
Suppose 2*k = -3*g + 59397, 0 = -2*g - g + 5*k + 59397. Is g a prime number?
False
Is (-1)/3 + 352*(-8)/(-6) composite?
True
Suppose i + 3*o = 36, 4*o - 32 - 128 = -4*i. Let u = 205 - i. Is u a prime number?
True
Let f = -8545 - -27524. Is f a composite number?
False
Suppose 2*z = -8, 0 = 2*f + 5*z - 8*z - 3770. Is f prime?
True
Let b be -4 + -4 + ((-54200)/1)/(-2). Suppose 15*o + b = 100817. Is o prime?
False
Is ((-390)/40)/((-3)/1324) prime?
False
Suppose 0 = n + 3*j - 4949, n + 2*j - 19746 = -3*n. Is n a composite number?
True
Let b(a) = 68*a**2 + 6*a - 7. Let k be b(-5). Suppose -4*r = -2*q - 2208, 3*r - k = 5*q - 0*q. Is r a composite number?
True
Suppose 0 = 2*x - 6*r + 3*r - 10, 5*x - 20 = 5*r. Let b be x - (-4 - (4 - 5)). Suppose -j = b*j - 1578. Is j composite?
False
Let g(j) = -2786*j - 7. Is g(-1) composite?
True
Suppose 5*f - 12 = o, -4*f + 5 = -o - 5. Let l be (214 - 1) + o*1. Suppose -j - 4*n + l = n, -3*j + 633 = -3*n. Is j composite?
False
Let j = -1 - -5. Suppose 3*q + 0*q - 2139 = -j*f, 5*f = -3*q + 2136. Is q a composite number?
True
Let v(h) be the second derivative of -h**8/6720 - h**7/2520 + h**6/720 + 59*h**5/24 + h**4/4 + 8*h. Let w(m) be the third derivative of v(m). Is w(0) composite?
True
Suppose 0 = 5*l - l - 448. Let c be (-9)/15 + l/20. Suppose 255 = c*a - 2*a. Is a prime?
False
Suppose 376719 = 28*t - 7*t. Is t composite?
False
Let r(c) = 1096*c**2 + 3*c + 1. Let z be r(-2). Suppose -z = 4*d - 14767. Suppose -3*a - 704 + d = 0. Is a a composite number?
False
Suppose 3*f = y + 44, -y = -4*y - 2*f - 110. Let p = 185 - y. Is p prime?
True
Let p(n) = -786*n**3 - 2*n**2 - 4*n - 1. Let m(d) = -d + 2. Let q be m(3). Is p(q) prime?
True
Let i(l) = -185*l**2 + 10*l + 7. Let f(s) = 123*s**2 - 7*s - 5. Let c(k) = -7*f(k) - 5*i(k). Is c(2) a prime number?
False
Let h(p) = -p**2 + 7*p - 4. Let g be h(6). Suppose -4*o + 726 = -3*j + 2593, -1268 = -2*j - g*o. Is j c