u - 6031. Is l composite?
True
Let i = 152857 - 22520. Is i composite?
False
Let s(b) = -9*b**2 + 42*b + 16. Let f be s(8). Suppose -2*u - 4 = 4, -1768 = -4*n - u. Let d = f + n. Is d a prime number?
False
Is -2*(22 + (-9847575)/30) a prime number?
False
Let w(c) = 26*c**2 - 32*c - 521. Is w(42) a prime number?
False
Is (-4)/3*171/(-228) + 7602 composite?
False
Suppose 41*f - 36*f - 9284988 = -111*f. Is f a prime number?
False
Suppose 4*x - 11142 = x. Let b(t) = -t**2 + 16*t - 17. Let q be b(14). Suppose -x = -q*g + 1115. Is g composite?
False
Let g(u) be the second derivative of u**8/6720 + u**7/504 - u**6/360 + u**5/24 - 3*u**4/4 - 13*u. Let t(v) be the third derivative of g(v). Is t(8) composite?
False
Let m(d) = 4*d + 37. Let n be m(-8). Suppose 3*c - 13 = -3*j + 11, 4*c = -n*j + 40. Suppose -3512 = -j*z - 0*z. Is z a prime number?
True
Let n(t) = -51*t**2 + 3*t - 24. Let u(l) = -17*l**2 + l - 8. Let s(v) = -4*n(v) + 11*u(v). Let i be s(-4). Let k = -189 + i. Is k a composite number?
True
Suppose 1019559 = 9*n - 1798440. Is n a composite number?
True
Let z(k) = -17626*k**3 - 5*k**2 - 44*k - 83. Is z(-2) a composite number?
True
Let u(f) = 3*f - 9. Let m be u(3). Suppose m*g = g - 5*g. Let p(l) = l**3 - 2*l + 453. Is p(g) composite?
True
Suppose 28*w - 143494 = -2*z + 26*w, -4*z = w - 286988. Is z a composite number?
True
Suppose -8*z + 377 = -2703. Is 21540155/z + 6/11 composite?
False
Suppose -4*r = 5*s - 593049, -13*s + 11*s - 2*r + 237218 = 0. Suppose -u + 35*z - 32*z + 23726 = 0, 5*u = -2*z + s. Is u prime?
False
Let g(j) = 149*j + 14. Let q be g(2). Let b = -199 + q. Suppose 0 = u - 36 - b. Is u a composite number?
False
Suppose -z = 5*g - 73, -3*z = 4*g - 9*g - 199. Let d be 6/8 + 153/z. Is 2054 - d/(-4 - -7) a prime number?
True
Let r be 1 - (105/84 - 2/8). Suppose -2*d = -5*a + 40265, -3*a - 29*d + 26*d + 24159 = r. Is a composite?
False
Suppose 2*r - 15881446 = -0*r - 12*r. Is r a composite number?
False
Suppose x + 0*x - 2*u - 21673 = 0, 0 = -x - 4*u + 21685. Is x composite?
True
Suppose 2*z - 952 - 1440 = 0. Let l = 3119 - z. Is l a prime number?
False
Let f be (-1 + 1)*1 + (-15 - -26). Let x(a) = 11*a**2 - a + 41. Is x(f) prime?
True
Suppose 24*w - 84688 = 278657 + 243999. Is w composite?
True
Let m(a) be the third derivative of a**5/60 + a**4/8 + 19*a**3/6 + 3*a**2. Suppose -t - 5*y - 4 - 11 = 0, 4 = -y. Is m(t) composite?
False
Suppose 0*z - 2*b = 4*z - 1432292, -z - 5*b + 358109 = 0. Is z prime?
True
Is ((-3035201)/(-65))/(1*-3*4/(-60)) composite?
False
Let t = 2 - -1. Suppose -12 = -t*x + 3. Is 1*(x + -1 - -247) a composite number?
False
Suppose 4*m - 766485 - 163463 = 0. Is m a composite number?
False
Suppose -4*j - 40 = -g, 5*g + 2*j - 175 = -3*j. Suppose 3*i = 2*i - 4*p + 26, 0 = 2*p + 4. Suppose -g*d = -i*d - 3166. Is d a composite number?
False
Let a = -1334550 + 1892893. Is a composite?
False
Suppose 4481089 + 102287054 = 153*i. Is i prime?
True
Suppose -4*c - 4*g + 23494 + 69918 = 0, 2*g - 93420 = -4*c. Is c a composite number?
False
Let j = -154 - -67. Let k = j + 87. Suppose -8*v + 4114 + 1302 = k. Is v prime?
True
Suppose 4*r + 162 = -5*c, 5*c = 3*c - 4. Let t be 124/30 - r/(-285). Suppose -t*n + 221 + 27 = 4*k, -2*k = -2*n + 112. Is n composite?
False
Let u(q) = 1249*q - 696. Is u(65) prime?
True
Let d(y) = -11*y**3 - 56*y**2 + 49*y + 277. Is d(-35) a composite number?
False
Let o(r) = 0*r - 14 + 64*r**2 - 2*r - 5*r - 5. Let x be o(8). Suppose x + 13392 = 11*j. Is j a composite number?
False
Let o(c) = 526*c**2 - 26*c + 5. Is o(-1) a prime number?
True
Suppose 0 = -3*k - 6*k + 6*k. Suppose 3*n = 3*c - 105066, k = -5*n - 5 + 10. Is c composite?
False
Let z(i) = i**3 - 3*i**2 + 2*i - 1. Let u be z(2). Suppose 25*k - 3*k = 43 + 23. Is (76/(-6))/(u/k) composite?
True
Suppose -1693953 = -35*o - 217198. Is o a composite number?
False
Suppose -7 = 2*c + 25. Let f(n) = 7*n**2 + 12*n + 55. Is f(c) prime?
False
Let w be (1 - -60705) + (-6 - -15). Suppose 24*z - 19*z = w. Is z prime?
True
Let b(c) be the third derivative of 5*c**4/24 - c**3/3 - 31*c**2. Let r be b(1). Is (-197)/(-1 - 8/(-10)) - r a prime number?
False
Suppose 106*t - 693608550 = -44*t. Is t composite?
False
Let b = -5206 - -2340. Let m = -4741 - b. Let w = m - -2789. Is w prime?
False
Let c = -11404 + -3015. Let k = c + 22130. Is k prime?
False
Suppose -10 - 14 = -4*g. Suppose 0 = -19*k + 7 + 278. Suppose g*a - a = -o + 196, 0 = 3*a + k. Is o a prime number?
False
Let y = 0 + 3432. Suppose 0 = 4*f - 2012 - y. Is f a composite number?
False
Suppose -4*i - 2*i = -12. Suppose -i*s - 3*a = -16, 0 = 2*s - s + a - 10. Let z = 45 - s. Is z composite?
False
Let i(y) = 3*y - 34. Let k be i(12). Is -7507*(0 - k/4)*2 prime?
True
Let q be (894/15)/(12/360). Let h = -168 + q. Let y = h - 667. Is y prime?
True
Suppose -12*d - 37*d + 2676102 = -1506979. Is d prime?
True
Suppose 0 = 34*k - 2180818 + 537360. Is k a composite number?
False
Let d(k) = -154*k**3 + 11*k**2 - 20*k - 26. Let i(u) = -103*u**3 + 7*u**2 - 13*u - 17. Let l = 39 + -44. Let h(z) = l*d(z) + 8*i(z). Is h(-3) composite?
True
Suppose 9*r - 23*r + 42 = 0. Suppose -r*x + y - 3*y + 8507 = 0, x = y + 2829. Is x a composite number?
False
Suppose -11*y + 175194 = -716719. Is y a composite number?
False
Suppose z + 5527 = -5*n, -z = -n + 2*n + 1107. Let o = n + 3684. Is o composite?
False
Let z(y) = 3*y**2 - 103. Let v be z(0). Let s = 56 - v. Is s composite?
True
Let h be (0/(-2) - -1)*1 + 2. Let i(r) = 156*r + h*r + 46*r - 22. Is i(21) a composite number?
False
Let v(w) = -w**3 - 43*w**2 - 2*w - 3597. Is v(-73) composite?
False
Let u(o) = -o - 6. Let c be u(-6). Suppose 3*n = 3*d - 7*d - 31551, -n + 3 = c. Is 1/(3 + d/2631) a composite number?
False
Let l be (-146)/(2 + ((-303)/150 - 0)). Suppose 2*t + 5*n - 3*n = l, 2*n - 18247 = -5*t. Is t composite?
True
Suppose n = 5*n + 5*l - 24, -2*n - 2*l + 12 = 0. Let i be 8/24 + 4/n. Let f(k) = 7*k**2 - 5*k + 5. Is f(i) a composite number?
False
Let n = 355527 + -208144. Is n composite?
True
Let m = 658658 + -355945. Is m a prime number?
False
Let j be -1 + 13/52 - 3/(-4). Is ((-29)/(-58))/(2/12436 + j) a composite number?
False
Let l = 11047 - 3138. Is l a prime number?
False
Let b(a) = -12*a - 44. Let x be b(-4). Suppose -x*g + 39775 = 6099. Is g a prime number?
True
Let h(c) = -5*c - 25. Let v be h(-5). Suppose r + 9 = 6*r + 3*g, v = 3*g + 6. Suppose -r*x = -7*x + 2164. Is x a prime number?
True
Let h(d) be the first derivative of 8*d**3 + 6*d**2 - 2*d - 21. Is h(-14) a prime number?
False
Suppose -68*z = -122*z - 130*z + 77259944. Is z a composite number?
True
Let p be (-4)/2 + (-136)/17. Let m(g) = -28*g - 119. Is m(p) a composite number?
True
Let a = -705 - -715. Let j(h) = 727*h - 111. Is j(a) a prime number?
True
Let v(s) = -s**2 + 26*s - 34. Suppose -i + 4*d + 51 = 0, -5*i + 124 = -i + 4*d. Suppose 0 = -2*a - 1 + i. Is v(a) composite?
True
Suppose g + 5*o = -3, -3*o - 65 = -3*g + 16. Suppose 20*f - g*f - 4434 = 0. Let p = -1534 - f. Is p prime?
True
Suppose 5*q + 474429 = 15*v - 9*v, 12 = -4*q. Is v a composite number?
True
Is (80075/(-250)*10)/((-1)/41) composite?
True
Let t(l) = 7*l + 20. Let f be t(-4). Let i(s) = -s**3 - 7*s**2 + 5*s + 9. Let u be i(f). Is 10/15*-3 + u a prime number?
True
Suppose w - 1100 = -1113. Let l(x) be the third derivative of x**5/30 + x**4/24 + 7*x**3/3 + x**2. Is l(w) a prime number?
False
Let h = 27 - 24. Let m be 17 + h + (-3 - -1). Is 3226/m + 4/(-18) a composite number?
False
Let s(f) be the first derivative of 5/2*f**2 - 297/4*f**4 + 1/3*f**3 + f - 19. Is s(-2) a prime number?
True
Suppose 33*d - 5010253 - 12527828 = 0. Is d composite?
False
Let n(l) = -1092*l - 7103. Is n(-133) a prime number?
False
Let t(x) = -2*x**3 + 9*x**2 + 8*x - 6. Let y be t(5). Suppose -3*i = -y*i + 2010. Is i a prime number?
False
Suppose -c + 4*t + 57049 = 0, -8*c + 228259 = -4*c + 5*t. Is c a composite number?
True
Is (-4005)/(-979) + 4/(-1) + (-16792400)/(-22) prime?
False
Suppose -3*t + 144 + 144 = 2*w, 0 = -3*w - 9. Suppose -66039 = -101*p + t*p. Is p prime?
True
Let h be (4 + (-77)/14)/((-3)/4). Suppose -h*f + 2620 = 2*f. Is f prime?
False
Let f(w) = -57*w - 17. Suppose -4*t - 34 = 3*q, 3*q = -3*t - 22 - 11. Is f(q) prime?
False
Let n(r)