5) + (-214963)/35. Is (-20)/(-70) + p/(-14) prime?
True
Let s(u) = 69*u**3 + 2*u**2 + 3. Suppose -2*x + 24 = -t - 3*t, 25 = -5*t. Is s(x) a composite number?
False
Let o be ((-7)/14)/((-2)/8). Suppose -21 = -4*f - 5*n, 1 - 3 = -o*n. Suppose -f*j + 66 = -3*a - 775, -a = j - 212. Is j composite?
False
Let x = 7 + -9. Let l = 9 + -6. Is 3 + 407 + l + x a prime number?
False
Let k be 1/5 - 1/5. Suppose k = 4*y - 4*s - 3672, -2*y - 3702 = -6*y - 2*s. Is y a composite number?
True
Let a(z) = 10*z - 17. Suppose 0 = u - 5 - 2. Is a(u) a prime number?
True
Let i be ((-15)/15)/((-1)/(-273)). Let j = i + 460. Is j prime?
False
Let y(p) = p**2 - 4*p - 8. Let g be y(-5). Suppose 22 = -5*c + g. Suppose -o + 427 = o + 5*v, -c*v + 636 = 3*o. Is o prime?
True
Let j = 60 + -109. Let y = j - -289. Suppose 0 = 4*w - t - 759, 5*t = 4*w - 499 - y. Is w prime?
True
Let o(n) be the third derivative of -9*n**6/40 + 13*n**5/60 - 11*n**4/24 + 13*n**3/6 - 4*n**2. Let i be o(9). Is i/(-14) + 12/84 prime?
False
Let c(a) = -a**3 + 9*a**2 - 8*a - 1. Let n be c(8). Is (0 + n)*(5 + -126) a composite number?
True
Let w(l) = -l - 1. Let s be w(2). Let n = s - 5. Is (-2354)/n - 15/(-20) a composite number?
True
Is (11045 - -2)/(-10 + 11) a composite number?
False
Let c be (5 - 85/15)*(5 + -2). Let t(p) = 22*p + 1. Let r be t(1). Let l = c + r. Is l a prime number?
False
Suppose -5*j - 945 = -23160. Is j a composite number?
True
Let u(h) = 823*h + 842. Is u(13) a prime number?
False
Let h = -732 + 1247. Is h composite?
True
Let n = 7 - 3. Suppose 0 = -u + n*u. Suppose -7*l + 2*l + 745 = u. Is l composite?
False
Suppose 4*q - 10042 + 2654 = -t, 5*q + 4*t - 9235 = 0. Is q composite?
False
Let k(o) = 37*o - 1. Let j be k(5). Let l = j - -107. Is l a prime number?
False
Let t be (8/5)/(3/15). Let g(b) = b**3 + 6*b**2 - 6*b - 5. Let l be g(-5). Let m = l + t. Is m prime?
False
Is (1/2)/((-5)/(-440680)*4) prime?
False
Let x(z) = -z**3 - 8*z**2 - 8*z + 10. Let q be (-18)/(2/(-3)*-3). Let o be x(q). Suppose -o = -5*d + 4*f, 3*f - 87 = -5*d + 97. Is d prime?
False
Suppose 15*c = 21*c - 49254. Is c a prime number?
True
Let q(u) = -2*u - 10. Let h be q(-7). Let f be h/24 + 34/12. Suppose f*v = -v + 132. Is v a composite number?
True
Let c(n) = -703*n + 12. Is c(-5) composite?
False
Let v(q) = q**2 - 8*q + 4. Let s = 0 + 7. Let b be v(s). Let f(i) = -15*i**3 + 4*i + 4. Is f(b) prime?
True
Suppose -5*d + 2*r - r = 76, 0 = -3*d - r - 44. Is d/(-5 + 0) - 2234*-1 composite?
False
Suppose 2 = -2*f + 2*u, -4*f - u - 32 = 2*u. Is -209*(4 + f) - -2 composite?
False
Let q(f) = -291*f - 25. Let r(w) = -581*w - 50. Let l(v) = -7*q(v) + 3*r(v). Is l(3) composite?
False
Let w(u) = 34*u + 8. Let t be w(-7). Let j = 37 + -136. Let r = j - t. Is r prime?
True
Suppose -22*v + 23*v + 2*o - 29241 = 0, 3*v + 2*o = 87727. Is v a prime number?
True
Let d = 2782 - -517. Is d a composite number?
False
Let x(k) = -396*k + 1. Let f(c) = -c**3 + 2*c**2 + c - 3. Let s be f(0). Is x(s) a composite number?
True
Let v(s) = -s**3 - s - 11. Let g = -57 - -51. Is v(g) prime?
True
Suppose 3*y - 438 - 324 = 0. Suppose 0 = 4*o - 2*r - 1590, -3*r + y = o - 126. Is o prime?
False
Let n = 1 - 0. Let z = 12 + n. Suppose z*b = 12*b + 223. Is b prime?
True
Let g be (-298)/(-2) - (-3 + 2). Suppose -4*b + 302 + g = 0. Is b a composite number?
False
Let p = 64 + -61. Suppose -358 = -p*j + 269. Is j a prime number?
False
Let v(n) = n**3 - 9*n**2 + 3*n - 7. Let s be v(9). Let j = s - 20. Suppose j = 3*a - 109 - 113. Is a a prime number?
False
Suppose p + 0 + 3 = 0. Is -1 + (1 - 2343/p) composite?
True
Let p(f) be the third derivative of f**6/120 + f**4/4 - f**3/3 + 30*f**2. Is p(9) a prime number?
False
Suppose -4 = n - 0*n. Is (-2)/(n/(-17))*-4 a prime number?
False
Let u(g) = -g**3 + g**2 + g. Let i = 16 + -17. Let d(b) = -4*b**3 + 4*b**2 + 4*b - 2. Let z(w) = i*d(w) + 3*u(w). Is z(5) prime?
True
Let c(o) = -2*o**3 + 22*o**2 - 73. Is c(-16) a composite number?
False
Let s(b) = 28*b**2 - 15*b - 19. Let k be s(-9). Is (k/40)/(4/10) composite?
False
Suppose 7*v + 230 = 2*v. Let n = 273 - v. Is n a composite number?
True
Let l(k) = 8*k + 2. Suppose 4*q - 2 = 2*j, 2*q + 5*j + 15 = 7*q. Let d be l(q). Is 2/7 + (-738)/d prime?
True
Is 1/(-4) - (-496850)/40 prime?
True
Suppose v - 1783 = -c, 0*v - 5*c = -5*v + 8895. Is v a composite number?
True
Let b = 615 + -194. Let i be 48/216 + 4/(-18). Suppose -4*k + 3*g + b = i, 4*k - 214 - 211 = -g. Is k a composite number?
True
Suppose -785 = -3*v - 2*v. Is v a prime number?
True
Suppose -2*d = 1 + 3, 3*t - 90 = 3*d. Is (-404)/(-2)*t/8 prime?
False
Suppose -3*l = 3*d - 117882, -107*l - 157167 = -111*l + 5*d. Is l a prime number?
True
Let l = -30349 - -68700. Is l a composite number?
False
Let u be (-32)/(0 + -4) - (0 + 4). Suppose u*h = 3*x + 15755, -4*h - x + 7885 = -2*h. Is h a composite number?
True
Suppose 48 = -4*h - 0*h. Let z be ((-68)/h)/((-1)/24). Let f = z + 218. Is f composite?
True
Let f(w) = w**2 - 25*w - 22. Let m be f(22). Let j(s) = s**2 - 8*s + 7. Let t be j(7). Is 3 - (m - t/(-4)) composite?
True
Let u(g) = 5*g**2 - 33*g + 9. Let k(w) = -2*w**2 + 11*w - 3. Let t(c) = 8*k(c) + 3*u(c). Let h(v) be the first derivative of t(v). Is h(-12) a composite number?
False
Let j be 5/10 + (-18)/(-4). Suppose -4*v = -k - 3 + j, -3*v = 2*k - 4. Suppose -2*t = -4*d - 58, v = t + d - 2*d - 26. Is t composite?
False
Suppose -3*u + 45 = -0*u. Let n = u - 12. Is ((-3)/(-2))/(n/26) prime?
True
Suppose w - a + 4*a - 4 = 0, 12 = 3*w - 3*a. Let f be 6597/12 + 1/w. Suppose -t - 2*u = -u - 102, 5*t - f = 5*u. Is t a prime number?
False
Let i(y) = 3958*y + 31. Is i(4) composite?
True
Let f(k) = 308*k + 17 - 18 - 4. Is f(2) a composite number?
True
Suppose 13*b - 168231 = -42066. Suppose -5*g + 4*y = -b, 4*g + 7*y - 7723 = 2*y. Is g prime?
False
Suppose 15*k - 198280 = 44975. Is k a prime number?
True
Suppose 4*t = 2*n + 8*t - 17578, -3*n + 26332 = -t. Is n prime?
True
Let c be (2 - -13) + ((-3)/1)/(-3). Suppose -4 = 4*d - c, -4*d - 1087 = -n. Is n prime?
False
Let q(g) = -g**2 + 7*g - 10. Let h(l) = -l**2 + 15*l - 21. Let y(v) = 3*h(v) - 7*q(v). Is y(10) prime?
True
Let b(c) = -c**3 - 3*c**2. Let k be b(-3). Suppose k = 2*r - 6*r + 1020. Suppose -3*m + 180 = -r. Is m a composite number?
True
Suppose 3*c = 12, 5*l + 0*c - 2203 = 3*c. Is l a prime number?
True
Suppose 107*f - 13743 = 98*f. Is f a composite number?
True
Let f = 86291 - 22914. Is f a composite number?
False
Let a = -17493 + 37090. Is a a prime number?
True
Let n(v) be the second derivative of -v**7/420 - v**6/120 + v**5/60 - v**4/4 - 4*v**3/3 + 2*v. Let u(f) be the second derivative of n(f). Is u(-5) prime?
False
Let v = 96 - 311. Let n = 622 + v. Is n a prime number?
False
Let p = -46 + 48. Suppose -y + p = -69. Is y a composite number?
False
Let i(k) = -k**3 - 10*k**2 - 9*k - 23. Is i(-10) prime?
True
Let x = 4 + 5. Let v = x + -9. Suppose -f + 0*f + 407 = v. Is f composite?
True
Let w = 11824 + -6735. Is w a composite number?
True
Let i(s) = s - 1. Let p(w) = 3*w - 1. Let y(o) = -4*i(o) + p(o). Let r be y(4). Is -2 + r*319/(-1) a composite number?
False
Let p(k) be the first derivative of k**3/3 + k**2 + 58*k + 1. Is p(0) composite?
True
Suppose -3*l - 12 = -7*l. Suppose 5*c = -1 + 16. Suppose l*j - 402 = -c*j. Is j a composite number?
False
Let h be 3/12 - (-92)/16. Let m = h + 50. Let a = 543 - m. Is a a prime number?
True
Let k(s) = 324*s - 34. Let u be k(16). Let g = u - 2833. Is g prime?
False
Let t = -1779 - -8180. Is t a prime number?
False
Suppose 44 + 1 = -9*g. Is (465/6)/g*-34 prime?
False
Let j be (2 - -3) + 2/(-2). Suppose -5*k + 3*r = -2*r - 5, j*r - 26 = -k. Is (-2 - -5)/(k/794) prime?
True
Let c = 2612 + 6491. Is c composite?
False
Let d = -452 - -226. Suppose -6*r - 646 - 2108 = 0. Let k = d - r. Is k a prime number?
True
Let s(v) = -111*v - 11. Suppose -7*y + 5*y = 16. Is s(y) a composite number?
False
Suppose -237 = 18*p - 17*p. Is (1 - 32/3)*p composite?
True
Let y be 3 + -1 + 2 + 1. Let n be (-2 + y)*(-120)/(-9). Suppose 5*z + 2*w = 149, 2*z = 3*z - 3*w - n. Is z a composite number?
False
Let i be (0/(-2 - -1))/(0 - -1). Suppose 45654 = 6*o - i*o. Is o composite?
True
Suppose 0 = 2*x - 4 - 2. Suppose 0 = x*j + 243 - 54. L