) a prime number?
False
Let q(u) = -17*u**2 - u - 1. Let r be q(2). Let f = 1776 - 598. Let n = f - r. Is n a composite number?
False
Suppose 3*a - 3*y + 7 = 73, -115 = -5*a + 4*y. Suppose a*k = 29*k - 2798. Is k a composite number?
False
Suppose -5*u - 1084 = -2639. Let h(t) = -132*t + 76*t - u*t - 43 + 22*t. Is h(-10) composite?
False
Suppose 418415 = -103*j + 108*j. Is j a prime number?
False
Let n = 1055177 - 331648. Is n a prime number?
True
Is 251462/5 + -1 - -6*(-3)/45 a prime number?
True
Let j(y) = y - y**2 - 3 + 13*y + 24. Let v be j(22). Let a = v - -1716. Is a prime?
False
Let a(d) = 784*d**3 + d**2 + 6*d + 1. Let p be a(4). Let u = p - 35588. Is u a prime number?
True
Suppose -8*s = 5*s - 1170. Suppose s = 22*r - 13*r. Suppose 0 = 7*g - r*g + 1761. Is g prime?
True
Let b = 1700798 + -857729. Is b a composite number?
True
Suppose 3290 - 21629 = 3*l. Let i = -3789 - l. Suppose 4*u = i + 2168. Is u a prime number?
True
Suppose -4*l + 16 = 0, -20 = -29*g + 25*g - l. Suppose 2*s = n - 3861, 5*n = -s + g*s + 19326. Is n prime?
False
Suppose -4*q - 5*m = -18, 0 = 2*q + 2*m + m - 10. Suppose 4812 = q*u - 2314. Is u a composite number?
True
Let d be (8 + 5)/13*(0 - -1). Let i(v) = 46887*v**2 - 20*v + 22. Is i(d) a prime number?
True
Let j(y) = 6*y - 6. Let m be j(0). Let z be -995*((-4 - -8) + m). Suppose 8*h = -2*h + z. Is h a composite number?
False
Suppose 8077 - 304197 = -4*f. Suppose 159*w - 169*w + f = 0. Is w prime?
False
Let r = -62 - -64. Is (6 - (6 + 2))*(-79)/r composite?
False
Let p = 129978 + -42067. Is p prime?
True
Let q = -153 + 150. Is q*(-3 - -4) + 590 a composite number?
False
Suppose -89*o = -106*o - 340. Let k(z) = -1217*z + 177. Is k(o) a composite number?
False
Let q(d) = 57*d - 371. Let u(h) = 53*h - 371. Let n(k) = -4*q(k) + 5*u(k). Is n(16) a prime number?
False
Suppose -969547 = -26*x + 2089587. Is x a composite number?
False
Suppose -33 = -f - 4*w - 12, -2*w = -f - 3. Suppose -233 + 66 = -2*n + 3*d, f*d + 5 = 0. Let j = 273 - n. Is j a composite number?
False
Is (-16358198)/(-276) + 0 + 1/6 a composite number?
True
Suppose -2*x - 132 = 5*l, -8*l = -3*l - 2*x + 148. Let t(p) = -p**2 - 34*p - 2. Is t(l) prime?
False
Let g(m) be the second derivative of -21*m**5/40 + 2*m**4/3 - 23*m**3/6 - 6*m. Let u(a) be the second derivative of g(a). Is u(-17) prime?
True
Let p be (-20)/50 + (-12)/(-5). Suppose 6*j = p*j - 10032. Is j/(-21) + 3/(-7) composite?
True
Let x(i) = 10*i**2 - 19*i + 12. Let j be x(-15). Let z = -876 + j. Is z a prime number?
False
Let o(t) = -4*t + 10. Let a be o(5). Is (-19942)/a - -4*3/(-60) composite?
True
Let f be (-72)/33 - -2 - (-8)/44. Suppose f = 19*n - 12*n - 18599. Is n a prime number?
True
Let v = 46 - 42. Suppose 0 = j + i - 6024, i = v*j - i - 24090. Suppose 2*h + 3411 = 4*q - j, 0 = -q - 3*h + 2348. Is q prime?
True
Suppose 0 = 4*a - 8*a + 40. Is 10/4*(a + -8) - -16748 a prime number?
False
Is (0 + 160814)*(-176)/(-352) a prime number?
True
Let v(l) be the first derivative of l**7/280 - l**6/72 + 11*l**5/120 - 7*l**4/24 + 9*l**3 - 25. Let c(r) be the third derivative of v(r). Is c(6) composite?
True
Let y = 5057 - 2951. Suppose -6313 - y = -u. Is u a composite number?
False
Suppose 2*d = -4*l + 100, 7*d - 260 = 3*d + 4*l. Suppose 101 = 3*v - 3*p - 208, 5*p - 73 = -v. Let j = v - d. Is j composite?
True
Is 23 + (-2094741)/(-153) - (-2)/(-17) composite?
True
Let b be ((-487398)/(-4))/(57/38). Suppose 4*g = -2*r + 22436 + 10078, 5*r = 3*g + b. Is r a prime number?
True
Suppose 3*c + 12*c = 30. Let v(u) = 1070*u - 63. Is v(c) a prime number?
False
Let k(n) = 211*n**2 + 1407*n + 11. Is k(26) composite?
True
Let x be 15/10*(-40)/(-15). Suppose -5*w + y = -5249 + 604, -5*w - x*y + 4645 = 0. Is w a composite number?
False
Let a = 171652 + -25679. Is a prime?
False
Let c be -4 - (5 + -47703 + -3). Suppose 1025 = -16*v + c. Is v a composite number?
False
Is (-9 + 6)*(-5)/15*43661 prime?
True
Suppose 7 = -2*n + 4*y + 31, 0 = y + 4. Let v = 3943 - 1835. Suppose -5*s + v = -s - 2*c, n*s = -4*c + 2096. Is s a prime number?
False
Suppose 97 = -8*f + 113. Suppose -23259 = -3*j - f*q, -9*j + 15506 = -7*j - 4*q. Is j prime?
True
Let q be ((-4)/10 - (-6)/15)/(-1). Suppose 0 = 4*p - q - 32. Let r(f) = 9*f**2 + 3*f - 13. Is r(p) a composite number?
False
Suppose 35 = -q + 6*q. Suppose 4*j - 6436 = r - 2*r, 5*r + j - 32123 = 0. Suppose -q*b - b = -r. Is b a prime number?
False
Suppose -22 = 5*b - 2, 2*n + 2*b - 17610 = 0. Suppose 4*f = 2*o + 64, -3*f - 4*o + 53 = 5. Is (n/4 - 4/f) + 1 prime?
True
Is (-21)/(-15) + (-6 - 367308/(-30)) composite?
False
Suppose -5*y = -7*y + 96. Let r = 52 - y. Suppose -240 = -4*k - 3*s + 277, 523 = r*k + 5*s. Is k composite?
False
Let h(r) = 4917*r - 118. Let x be h(6). Suppose -4*j - 2*y + 19911 = -9479, x = 4*j + 4*y. Is j a composite number?
False
Let l be (-3 - (-7)/1) + (-21 - -21). Suppose 2*o - 2*w + l*w - 8002 = 0, 0 = -5*o + 3*w + 19973. Is o composite?
True
Let a = 290560 + -119303. Is a a composite number?
True
Let u(d) = -99*d - 1. Let y(b) = 101*b + 4. Let v(l) = -506*l - 21. Let m(n) = -2*v(n) - 11*y(n). Let x(s) = 3*m(s) - 4*u(s). Is x(1) a prime number?
True
Let r(q) = -q**2 + 16*q + 1. Let a be r(16). Is (563 - (-42)/7) + 2*a a composite number?
False
Let j(r) = -r**2 + 4*r + 19. Let g be j(5). Suppose g*l + 39 = -129. Let s(f) = 17*f**2 - 15*f + 25. Is s(l) a composite number?
True
Let b = -577 + 581. Suppose 11*x - 127589 = b*x. Is x prime?
False
Suppose -20*z - 1519372 = -4*m - 16*z, 3*m - 1139505 = -z. Is m a composite number?
False
Suppose 2*l + 5 = -u - 0, u + 3 = -4*l. Let c = u + 7. Suppose c = 3*z - z - 18. Is z prime?
False
Let a be (-2)/(-3) + (9 - 175308/(-18)). Let t = a + 11142. Is t a prime number?
False
Let s be 3 + 8/44 + (-143608)/(-44). Suppose 3*w - s = 1362. Is w composite?
False
Suppose -c + 21568 = k + 7310, -k - 2*c = -14261. Suppose u + 23751 = 6*u + 2*r, -r - k = -3*u. Is u a prime number?
True
Let n = 66599 + -28614. Suppose d + 34721 = 3*r - 3258, -4*d = -3*r + n. Is r a prime number?
True
Let b = 5051 - 1698. Suppose 0 = 25*v - 38 - 12. Suppose -v*g + 7 + 1 = 0, -3*g - b = -5*p. Is p composite?
False
Let j = -104084 + 206691. Is j a prime number?
True
Let a = 116 - 95. Is 151354/a - 1/3 prime?
True
Let l(i) = 25*i**2 - 4*i + 3. Let g be l(-6). Let j be (-4)/(5/(-10 + -355)). Suppose -g = -5*a - j. Is a a composite number?
False
Suppose -56048 = 3*h - 4*c, -4*h + 32754 - 107486 = -5*c. Let i = h + 31449. Is i a prime number?
False
Let i = -407 - -386. Is ((-240163)/i + 0)/((-2)/(-6)) composite?
True
Suppose 132189 = 6*d - 3*x, -6*d - 22018 = -7*d + 5*x. Is d composite?
True
Let f(h) = -h**3 - 12*h**2 - 14*h - 22. Let g be f(-11). Let o = g - 7. Suppose 0 = -o*r + 413 + 791. Is r a prime number?
False
Let j(h) be the second derivative of -1/3*h**3 + 0 + 77/12*h**4 - 22*h + h**2. Is j(3) a prime number?
False
Suppose 3*v = -h - 10, 3*h + 30 = -7*v + 11*v. Is (20/(-6))/(5/(4425/h)) composite?
True
Is 194233 + 3*2/1 prime?
True
Suppose 26*c - 2427060 = -40*c + 6*c. Is c a composite number?
True
Let v(x) = 16 + x**2 - 9*x + 11*x**2 - x**3 + 0*x**3 + 3*x**2. Let n(o) = 4*o**3 - 59*o**2 + 36*o - 65. Let u(g) = 2*n(g) + 9*v(g). Is u(13) a composite number?
True
Let f(n) = 3341*n**3 - n**2 + 5*n + 25. Is f(4) composite?
True
Let q(p) = 0*p**2 + 10*p**3 + 28*p - 12*p**2 - 11*p**3 + 68. Is q(-27) prime?
True
Suppose -4*f + o = 4422, 3*f - 2*o - 594 + 3913 = 0. Let j = f - -2242. Is j composite?
True
Suppose 5*n + 40 = -5*g, -3*g + 1 + 3 = -n. Let b(w) = 22*w**2 - 17. Let k be b(n). Suppose i + 4*s = k, -4211 = -4*i + 3*s - 8*s. Is i prime?
True
Suppose -5*n = -3*b - 2155324, -137*b = -3*n - 142*b + 1293242. Is n a prime number?
False
Let y = -88023 - -735932. Is y a prime number?
True
Let r = 37 + -35. Suppose -r*x = -12 - 32. Suppose 23*h = x*h + 629. Is h prime?
False
Let z(l) = 14*l**2 + 5*l - 3. Let b be z(2). Let m = b + 8. Suppose 5*f - 470 = -3*k, -m = -2*f + k + 117. Is f prime?
False
Let x = 1644 + -670. Suppose -w + x = -q, 5*w + 0*q + 3*q = 4910. Is w composite?
True
Let t(d) = -252*d**3 + 14*d**2 - 10*d - 7. Is t(-6) composite?
True
Suppose -5*u - 15 = 0, 5*l + 7*u - 3*u - 183 = 0. Suppose -15 = 6*t - l. Suppose 2*n = -n - t*p + 