n + 3*n = 8. Suppose -18 = n*o - 24. Is o + 41 - 1*-3 a prime number?
True
Let b(o) = -o**2 - 13*o - 8. Let r be b(-12). Suppose r*m + m - 20 = 0. Is m/3*18/4 a composite number?
True
Suppose 5*p - p = -384. Let z = 173 + p. Is z composite?
True
Let t = 4 + -4. Suppose t = 5*l - l - 1916. Is l composite?
False
Let s(r) = r**2 + 19*r - 20. Let m be s(-20). Suppose -2*b - 3*b + 4555 = m. Is b a composite number?
False
Let r(l) = 4*l - 6. Let t be r(3). Suppose 0 = 5*v + t - 26. Is 1/(v/(385 - -3)) composite?
False
Is (-5)/2*(-86540)/50 a composite number?
False
Suppose -s + 2*l + 2*l + 1 = 0, 4*l - 8 = 0. Suppose 739 = s*r - 8*r. Is r a composite number?
False
Suppose -8*b + 2877 = -299. Is b prime?
True
Suppose 5*b - 2*h - 17 = -0*h, -5*b + h = -16. Suppose -t = 4*t + b*v - 269, 144 = 3*t - 4*v. Let a = 119 - t. Is a a composite number?
False
Suppose -109*z + 122*z = 442819. Is z prime?
False
Let z = 20 - 21. Let h be z/(2 - 1)*-47. Let g = h + -9. Is g composite?
True
Let t be 6/33 - (-80)/44. Suppose 337 = t*h - h. Let z = h - 240. Is z a composite number?
False
Let j(k) = -223*k + 20. Let w be j(-10). Let g = -1141 + w. Is g prime?
True
Let w(t) be the first derivative of -t**4/4 + 7*t**3/3 - 5*t**2 + 4*t - 4. Let b be w(5). Suppose -b*s = -2*s - 158. Is s composite?
False
Let u = 6 + -16. Let x(g) be the third derivative of -g**4/4 - 5*g**3/6 - 3*g**2 - 10. Is x(u) a prime number?
False
Suppose -b - 2 + 19 = -3*x, -4*x - 12 = 4*b. Let d be (-2 + 0)*(-9)/b. Is 1*(0 + d + 1) composite?
True
Let o(w) = w**3 + 8*w**2 - 2*w - 6. Let s be 32/(-6)*24/16. Is o(s) prime?
False
Let g(y) = y**3 + 3*y**2 - 3*y. Let f(l) = -2*l**3 - 2*l**2 + 2*l - 1. Let i be f(1). Let x be g(i). Suppose 5*a + 1652 = x*a. Is a prime?
False
Let m = 34 - 31. Suppose -d - d + 2*j = -280, m*d - 415 = -2*j. Is d a composite number?
False
Suppose -3*n - k = -11960, 7*k + 11980 = 3*n + 3*k. Suppose -p = -2*m - 1994, 4*p + n = -0*m - 4*m. Let t = m + 1620. Is t prime?
False
Suppose 2*g = 5 + 3. Suppose -5*v - 10 = 0, 0*v - 18 = 5*w + g*v. Let o(u) = -1363*u + 3. Is o(w) a composite number?
False
Let k(s) = 87*s - 9. Let p be (-22)/(-2*4/4). Let r be k(p). Suppose 8*d - r = 4*d. Is d a prime number?
False
Let k(r) = -67*r + 54. Let h(n) = 201*n - 161. Let m(g) = -2*h(g) - 7*k(g). Let c(x) = -17*x + 14. Let i(t) = -9*c(t) - 2*m(t). Is i(9) prime?
True
Suppose -3*j = -2*p - 10413, j + 17*p = 22*p + 3458. Is j composite?
True
Let c(f) = 4*f**3 - 2*f + 5. Let a be c(5). Let p = -114 + a. Is p a composite number?
True
Suppose i - 3*l = -2*l, -5*i + 2*l = -15. Suppose -p - 60 = -13*p. Suppose -5*n = p*o - 42 - 228, i*o = -2*n + 285. Is o a composite number?
False
Suppose 8 = -4*d, d - 788 + 7941 = z. Is z prime?
True
Let b be (-2)/(3/(-9)*2). Suppose -4*g + 4060 = -2*u, b*g = -g - 5*u + 4060. Suppose 3*l - c = 2*l + 203, c + g = 5*l. Is l a prime number?
False
Let h = -761 + 2832. Is h a composite number?
True
Let i(b) = 8*b**2 + 21*b - 102. Is i(-35) a composite number?
False
Let z(u) = u**3 + 5*u**2 - 8*u + 2. Let j be z(-6). Suppose j*p = 20*p - 6942. Is p a prime number?
False
Let j = 239 - -4146. Let h = j + -2462. Is h a composite number?
True
Let t(v) = -9*v**3 + 3*v**2 - v + 1. Suppose -2*d + h + h - 18 = 0, -3*h = d - 11. Is t(d) composite?
True
Suppose j + j = 558. Suppose 0 = 4*x - u - 205 - j, -2*x - 3*u + 242 = 0. Suppose -x = -s + 84. Is s a composite number?
True
Let d = 15179 + -838. Is d prime?
True
Let d = -93 + 93. Suppose -2*o - 4*i = -9*i - 1617, d = -o - 2*i + 831. Is o a composite number?
False
Suppose -8*t - 25734 = -14*t. Is t prime?
True
Let j(r) = -5771*r**3 + 2*r**2 - r - 2. Let n be j(-1). Suppose 2*c - n = 3*u - 1274, -3*c - u + 6725 = 0. Is c composite?
False
Suppose -3*f = -2*f - 3*r + 5, f = -2*r + 10. Suppose -b + 8420 = 3*x, f*x - 10753 = b + 476. Is x composite?
True
Let w = -3629 + 6376. Is w a prime number?
False
Let q = -1870 - -5131. Is q/6 + (-1)/2 composite?
True
Let a = 19 - 19. Let y(m) = 7*m**2 - m**3 + 5*m + a*m**2 + 9 - m**2 + 2*m**2. Is y(8) a prime number?
False
Suppose 0 = -4*o + 4*x + 127316, 9*o + 4*x = 7*o + 63658. Is o composite?
True
Suppose 5*c + 6723 = 2*r, 13435 = 13*r - 9*r + c. Is r a composite number?
False
Suppose 0 = -2*z - z - 3*k - 114, -k = 3. Let o = 117 + -83. Let f = o - z. Is f a prime number?
False
Let f be ((-9)/2)/((-2)/1260). Let v = -1979 + f. Suppose 324 + v = 4*o. Is o a composite number?
True
Suppose 121*r - 71*r = 644650. Is r composite?
False
Let b(i) = -8*i**3 - i**2 + 3*i - 1. Let p = 25 + -24. Let v be b(p). Let w(h) = 3*h**2 + 2*h. Is w(v) composite?
True
Suppose 3*c + 740 = 5*g, -3*c + 733 - 168 = 4*g. Is g prime?
False
Let j be (-4)/6 + (-204)/(-36). Suppose 0 = 3*w + j*o - 12, 3*w - 2*o - 12 = 3*o. Suppose -5*i + 845 = 5*n, 4*n - 676 = 3*i - w*i. Is n a composite number?
True
Let o(g) = -g**2 + 2*g + 33. Suppose 0 = -7*d + 6*d. Is o(d) prime?
False
Let q = 4569 - 3208. Is q a composite number?
False
Let j(i) = 3468*i**2 - 2*i + 13. Is j(3) prime?
True
Let o(d) = -40*d**3 + 0 + 1 + 5*d - 6*d - 3*d**2. Is o(-3) prime?
False
Let h = -58 + 59. Is (-2690)/(-15) + h/(-3) a composite number?
False
Let w(x) = x**2 + 7*x + 12. Let m be w(-4). Let a = 0 - -3. Suppose 5*z - 2*q = 1651, 2*z + z + a*q - 978 = m. Is z a composite number?
True
Let n = -37805 - -74718. Is n composite?
False
Let h be 7/2 - 4/(-8). Suppose -a = 0, -a - 488 = -h*m - 3*a. Is m a composite number?
True
Suppose -7*i = -10*i + 2*r + 251, -89 = -i - 2*r. Is i a prime number?
False
Suppose 0 = 4*v + 4*u, -5*v + 3*u - u = -28. Is 2/(-12) - v/(-24) - -4103 composite?
True
Let y(o) = -1548*o - 50. Is y(-2) composite?
True
Suppose -6 = -2*j - s - 0*s, 2*j + 2*s = 6. Suppose -j*x + 83 = -5*d, x - 68 = -3*x - 4*d. Is x prime?
False
Is ((-4)/6)/((-98)/2786973) a prime number?
True
Suppose -5*q = 5*v - v - 19, -q + 5*v = 2. Suppose -4*z = -4*d + z + 945, d - 238 = q*z. Is d prime?
False
Is (-6415)/(-7) - (72/(-14))/9 composite?
True
Let t(c) = -c - 6. Let n be t(-10). Let l = -8 + 24. Suppose -5*z + z + 300 = n*v, 4*z + l = 0. Is v composite?
False
Suppose 5*o - 834 = 3*d - 7891, 2*o = -10. Let l be (d/6)/(26/(-273)). Is (2/4)/((-7)/l) a composite number?
False
Let w = 32 - 17. Suppose -2*l + y = -y, -5*y + w = -2*l. Suppose l*u = s - 5*s + 261, -5*u + 268 = -3*s. Is u a composite number?
False
Is (-2)/(-12)*-3*-2122 a composite number?
False
Suppose -11 + 6 = -f. Suppose -2*i + 3350 = 3*d + d, 5*d - 4200 = -f*i. Is d composite?
True
Suppose -5*z - 71 - 2158 = -s, 4*z - 19963 = -9*s. Is s a composite number?
True
Suppose 0 = -30*v + 45*v - 43695. Is v composite?
True
Let l(b) = 61*b**2 - 45*b - 21. Is l(11) composite?
True
Let i be 0 + 5 - (22 + -24). Suppose i*b - 216 - 505 = 0. Is b prime?
True
Let m(k) = -3*k**2 - 7*k + 559. Let d(z) = -z**2 + 1. Let n(i) = -2*d(i) + m(i). Is n(0) composite?
False
Let w be (16/10)/(2/(-5)). Is (-7*2)/(w/2) prime?
True
Suppose o + 50 = 6*o - 5*c, -2*o - 5*c = -48. Let j be 10/(-35) - (-46)/o. Is (3/(-1))/(j/(-11)) a composite number?
False
Let l(t) = t**3 - 5*t**2 - 8*t - 9. Let y(h) = -14*h**3 + h**2 - 1. Let g be y(-1). Suppose 0 = 7*m - 5*m - g. Is l(m) composite?
True
Let v = 40 - 18. Is 3/2 - (-9757)/v a composite number?
True
Let q = 3425 + -12567. Let k = q + 19005. Is k a prime number?
False
Let v(h) = -57*h**3 + 8*h**2 - 6*h - 6. Is v(-5) prime?
True
Let k(x) = 6*x**2 + 5*x**2 + 2*x - x - 1 + 8*x**2. Is k(2) a composite number?
True
Let u(x) be the third derivative of -x**6/120 - 13*x**5/60 - 13*x**4/24 - 13*x**3/6 - 5*x**2. Let j be u(-12). Is (-203)/(-28) - j/(-4) composite?
False
Let v(w) = w**2 + 16*w + 20. Let x be v(-16). Let m = -16 + x. Suppose 5*z - 557 = m*z. Is z a composite number?
False
Suppose 14*t - 3073 = 5733. Is t a composite number?
True
Let p be -60*(3 + (-320)/6). Let q = -921 + p. Is q prime?
True
Suppose -4*i + 5*s = -469, -29 = i - 4*s - 138. Let g = i + 196. Is g a prime number?
True
Is 2934 - (84/(-2))/(-6) composite?
False
Let t(b) = -69*b - 109. Let z(s) = -34*s - 55. Let f(r) = -4*t(r) + 7*z(r). Is f(14) prime?
False
Let d(s) = -s**3 - 9*s**2 - 18*s - 12. Let w be d(-7). Suppose w*x + 437 = 17*x. Is x composite?
True
Is 3/(-10) + 412927/190 composite?
True
Suppose 8*t = 