. Is (-9 + (-6111)/(-6))*k/(-6) a composite number?
False
Let d be (-1 - 71071/14)*4. Let a = d - -30077. Is a a composite number?
False
Let u(p) = -p**3 + 9*p + 5. Let g be u(0). Suppose -2*z + 5*l = -7929, 19794 = g*z + 8*l - 11*l. Is z a prime number?
False
Let s(l) = -l**3 + 7*l**2 + 27*l - 8. Let u be ((-3)/2)/(4 - 329/84). Is s(u) a composite number?
True
Let q(f) = 110*f - 179. Let n = -76 - -82. Is q(n) a composite number?
True
Suppose 5*x = -h + 518212, -x + 116*h = 112*h - 103655. Is x a prime number?
True
Let f(w) = 36*w**3 + 3*w**2 - 2*w + 1. Let t be -1*(-1 - 2) + 0. Let p be f(t). Suppose y + 256 = o, o + 2*y - p = -3*o. Is o prime?
True
Let l be 3*(5/(-15) + 2). Suppose l*b - 4823 = 5*u + 1497, -3*b - 2*u + 3777 = 0. Is b prime?
False
Let v(b) = b**3 - 8*b**2 + 8*b - 7. Let s be v(7). Suppose 2*l - 6 = -x + 29, 4*l + 4*x - 60 = s. Suppose -2588 - l = -16*z. Is z composite?
False
Suppose 8*j + j = 8307. Let i be -635 - (1 + -3 + 1). Let c = i + j. Is c a prime number?
False
Let u(q) = 2*q**2 - 13*q + 11. Let c be u(5). Is ((-8)/c - -456) + -1 prime?
True
Let g be (156915/(-20))/(-11) - (-4)/(-16). Suppose 2*t - 5*v = 2510, 0 = t + 5*v - 542 - g. Is t a prime number?
False
Let b(w) = -21175*w + 2674. Is b(-33) composite?
True
Let h be 8/(-5)*15/(-6). Suppose 0*x + 5*x = 2*w + 4, -x - 5*w + 17 = 0. Suppose 2822 = h*a + 3*r - 3734, -x*a - 3*r + 3278 = 0. Is a prime?
False
Let t = -11 + 11. Suppose 1622 = 5*v + 2*f, f + t - 1 = 0. Let c = v - 121. Is c composite?
True
Suppose -4*t + c + 9 = 0, 3*t + 3*c = 7*t - 11. Suppose -5*r + 2*m = 3856 - 32597, 11506 = t*r - 4*m. Is r composite?
True
Is (21619054/(-82))/(1 - 2) prime?
True
Let g(l) = 1413*l**3 - 8*l**2 - 140*l + 797. Is g(6) prime?
False
Let f = 5066 - 2652. Suppose -u - 567 = -f. Is u a prime number?
True
Let j(x) = 15*x**2 - 24. Let a(u) = 8*u**2 + u - 11. Let k(y) = 5*a(y) - 2*j(y). Is k(8) composite?
False
Suppose -2*i - j + 1498 = 0, 5*i - 2571 = -2*j + 1176. Suppose -2*x = -2*o + i + 475, 3*x = 0. Is o prime?
True
Suppose -179 - 45 = 4*o. Let h = -52 - o. Suppose h*k - 475 = k - 4*d, 0 = 4*k + 3*d - 638. Is k composite?
True
Let c = 48119 - -13002. Is c prime?
True
Let j = 117 - 119. Is ((-135927)/(-242) - j/(-11))*2 a composite number?
False
Let q = 63970 - 13929. Is q prime?
False
Let z(c) = 1. Let u(r) = -9 - 87*r - 6 + 273*r. Let t(d) = u(d) + 2*z(d). Is t(3) a prime number?
False
Let j(q) = -237*q**2 + 4*q - 5. Let s(p) = -p**2 + p - 1. Suppose -b = 3*i - 10, 16 = 7*i - 2*i + 2*b. Let k(n) = i*s(n) - j(n). Is k(-2) a prime number?
False
Let f = 20316 + -10193. Is f a composite number?
True
Let y(r) = 136*r - 11. Let i(u) = -2*u + 4. Let x(s) = -6*i(s) + y(s). Is x(17) prime?
False
Let i(o) = 48026*o + 8977. Is i(6) a composite number?
False
Suppose 3*q = -10*g + 11*g - 719131, -q + 3595719 = 5*g. Is g composite?
False
Suppose 8*o = 3*u + 7*o - 313, 0 = -5*u + 4*o + 524. Is ((-1754)/8)/((-26)/u) a prime number?
True
Let h = 84 + -80. Suppose 804 = h*b - 1832. Is b a prime number?
True
Let b(h) = 120*h + 171. Let f be b(17). Let n be (-4)/(-10) - 159/(-15). Suppose -14*z + f = -n*z. Is z composite?
True
Let i(p) = -p**3 + 37*p**2 - 34*p - 45. Let g be i(36). Suppose -b - g = -31, -5*l + b = -95611. Is l a prime number?
False
Let t(q) = q**3 - 9*q**2 - 24*q - 881. Is t(31) a prime number?
False
Let b(x) be the second derivative of -9*x**5/5 + x**3/2 + x**2 - 12*x - 5. Is b(-1) prime?
False
Suppose 3*y = -4*c + 1591607, -4*c - 20*y + 18*y = -1591614. Is c prime?
True
Let c(n) = 4*n**2 - 2*n - 1. Let y(l) = 5*l**2 - 3*l. Let k(g) = 6*c(g) - 5*y(g). Let d be k(3). Is 5 + d - 0 - -1694 composite?
False
Let m be -24 + 15 - 3*-39. Is (-8)/(-6) + 639540/m a composite number?
False
Let f(x) = 3*x**2 + 34*x - 68. Let d be f(2). Is 62745/5 - (-48)/d prime?
True
Suppose -2*o + i = -33, -2*o + 2*i + 11 + 21 = 0. Let f = o + -13. Suppose 4*u = -4*y + 4192, f*y - 4*u + 3143 = 7*y. Is y a prime number?
True
Let l = -1875495 - -1096035. Is (-2)/(-11) + l/(-121) a prime number?
False
Is -7*(11535408/(-84))/12 a prime number?
True
Let x = -70 + -40. Let s = 113 + x. Suppose 0 = -5*b + s*g - 1280 + 5520, -b = -2*g - 841. Is b a composite number?
True
Let g(c) = c + 18. Let w be g(-12). Suppose -a + 3*z = w - 60, -4*z = -5*a + 292. Suppose -4*x + a = -424. Is x a prime number?
False
Let j = -45281 + 31716. Let r = j + 19680. Is r a prime number?
False
Let c(u) = 62*u**3 + 4*u**2 - 2*u + 2. Let o be c(3). Is (-3 + 8 + -2)*o/3 prime?
False
Let h(j) = -59*j + 3*j**2 + 5 + 55*j - j**2. Let t be h(2). Is 301 - ((-1)/(-5) - (-9)/t) prime?
False
Suppose 3*q - 15*a = -10*a + 287391, -4*q + 383188 = a. Is q composite?
True
Let k(p) = 0*p**2 - 71*p + 0*p**2 + 58*p + 2*p**2 + 10. Let a be k(6). Suppose 884 = a*q - 2*y, q - 3*q + 450 = y. Is q composite?
False
Is (-9322752)/(-408) + 4/34 - -3 a composite number?
False
Suppose -2*n = -30*m + 33*m + 7, -38 = 4*n - 2*m. Is n*(-8)/(-288) - (-42329)/9 composite?
False
Let h(f) = -10*f - 129. Let v be h(-18). Is (-6)/v - 33396/(-68) a composite number?
False
Let o = -32559 + 57353. Suppose -3*b + o = -9211. Is b a prime number?
False
Suppose -4*p - 5247652 = -4*q, 0 = -2*q + 3*p + 1140371 + 1483449. Is q composite?
True
Let h(v) = v**3 - 10*v**2 + 4*v + 45. Let w be h(9). Suppose 5*t + w*c + 2*c = 949, -t + 194 = -c. Is t a composite number?
False
Suppose -3*p = 2*j - 0*p - 26, -p + 4 = 0. Let k be (25974/(-91))/((-1)/j). Suppose -k = -5*z - 383. Is z prime?
False
Suppose 0 = 6*o - 7 - 11. Let j = o + 208. Is j prime?
True
Let k = 10231 + 92112. Is k composite?
True
Let a(s) = -20*s**3 + 7*s**2 + 6*s + 25. Let v be a(-6). Suppose d - 4570 = 7*m - 2*m, -d + v = -2*m. Suppose -f + 6*f - d = 0. Is f composite?
False
Let n(r) = 60*r**3 - 2*r**2 + r - 17. Let m be n(-4). Let k = 12252 + m. Is k a prime number?
False
Let x be ((-2818440)/144)/(1/2). Let g = x - -67988. Is g prime?
True
Let q(f) = -1070*f - 36. Let s be q(-7). Let u = -5067 + s. Suppose -u = -2*h + 431. Is h a composite number?
False
Suppose -2*t = -32 - 8. Let r be (3 - (3 - -4)) + t. Suppose r = m - 35. Is m composite?
True
Suppose -2*z - 5*v + 68 = 0, 0*z + 4*z + 3*v - 122 = 0. Suppose -28*t + z*t = 5571. Is (-6)/60 + t/10 a prime number?
True
Let s(g) = -g**3 - 3*g**2 + 11*g + 8. Let c be s(-5). Suppose -2*h + 17 = 3*w, 0 = c*h - 5*w + 5 - 2. Suppose h*l + l - 1055 = 0. Is l a prime number?
True
Let s(h) = -64*h**3 + 3*h**2 + 3*h - 9. Let u be s(2). Let b = u + 649. Is b composite?
True
Let a = -545 - -549. Is 16719 - 38 - a*2 a prime number?
True
Suppose x - 3*n + 68137 = 5*x, -x = 3*n - 17032. Is x prime?
False
Suppose -1 = 7*n - 6*n. Let z(w) = -1940*w - 9. Let i(y) = 647*y + 3. Let d(s) = 8*i(s) + 3*z(s). Is d(n) prime?
True
Let g be 0 + 1 + (-3)/6*5114. Let k = 8753 + g. Is k a prime number?
True
Let t = 32 + -146. Let m = t - -114. Is (m - (-2)/6)/((-6)/(-7146)) prime?
True
Let x = 26 + -37. Let k(h) = -14*h + 11. Let f(i) = 28*i - 23. Let g(c) = x*k(c) - 6*f(c). Is g(-12) a prime number?
False
Suppose -19 - 17 = -3*c. Suppose -12 - 16 = -h + 5*b, h + c = -3*b. Is h*219*21/27 prime?
False
Let u(h) = -73*h + 5. Let t(g) = 216*g - 16. Let f(d) = -4*t(d) - 11*u(d). Suppose 2*l - 4 + 12 = 0. Is f(l) a composite number?
True
Suppose 137402 - 29909 = 3*i. Suppose -23*x = -3890 - i. Is x composite?
True
Let g(o) = -11. Let p(k) = 299*k - 11. Let x(h) = 2*g(h) + p(h). Suppose s + 5*i - 18 = 0, -2*i + 0*i - 20 = -3*s. Is x(s) a prime number?
False
Let b = 301 + -295. Is 2*(69016/16 + b) composite?
True
Let m be -350 + (8/(-4) + -4)/2. Let t = m - -1284. Let i = t - -3690. Is i composite?
False
Let c be 150858/(-162) - (-4)/18. Let j = c + 1756. Suppose 2*t - j = -35. Is t a prime number?
False
Is (1 - -58)/((-307)/(-217663)) prime?
False
Suppose 0 = -2*q - 10*k + 7*k + 39, -2*k + 6 = 0. Suppose -3*b + 4098 = -7*n + 2*n, 5*n = q. Is b prime?
False
Suppose 2*x = -n - 146, -x + 3*n - 69 - 11 = 0. Let r = x + 76. Suppose 3*l - 7*l = 2*b - 2526, -r = l. Is b prime?
False
Is 2/((12/5882540 - 0)*(-120)/(-36)) prime?
True
Let m(o) = o**3 - 6*o**2 + 2*o - 8. Let g be m(6). Let a be (840/75 - 10) + (-6)/5. Suppose -4*x + g*s + 652 = a, 3*x - 5*s + 162 = 655. Is x a prime number?
False
Let g(d) = -21*d 