t m(u) = -u**3 - 5*u**2 - 1. Is m(l) a composite number?
True
Suppose -18 - 180 = -2*m - 4*n, -2*m + 210 = -2*n. Is m a prime number?
True
Let y = -226 + 463. Is y prime?
False
Let s(p) = -p**2 + 33*p - 12. Is s(14) composite?
True
Let m = -93 + 248. Let h = 7 + -4. Suppose h*p - 2*k = 93, -3*p + m = 2*p + 5*k. Is p a composite number?
False
Let v = -7 + 13. Is 5*(-3)/v*-14 composite?
True
Let n be (-4)/6 - 70/(-15). Suppose 5*f - a = 411, 95 = f - a + n*a. Is f a prime number?
True
Suppose -x - 4 = 0, -j = -x - 177 - 296. Is j prime?
False
Let g(h) = -84*h - 3. Suppose 3*k = -11 - 7. Let i be g(k). Suppose -5*q + 3*m + 487 = -10, 5*q - i = 4*m. Is q a composite number?
False
Let q(v) be the first derivative of v**3/3 - 2*v**2 - 8*v + 4. Is q(9) a prime number?
True
Let o(d) = -26*d - 3. Let k(v) = -v + 1. Let w(g) = 2*k(g) - o(g). Is w(3) a prime number?
False
Let v be 3/2 - (-4)/8. Suppose -v*j = -3*n - 1, -j = -4*n - 0*j - 3. Is (n/(-1))/((-3)/(-147)) a composite number?
True
Let h be (1 + 0 + -5)/(-1). Let m(i) = 74*i + 5. Is m(h) composite?
True
Is 28/(-49) + 2794/14 a composite number?
False
Is 12/(27/(-9)) + (1766 - -1) composite?
True
Let t = -3 - -3. Suppose 4*f - 5*f + 134 = t. Let j = f + -95. Is j prime?
False
Let t(k) = 19*k**2 + k + 1. Let z be t(-1). Suppose 2*y = 5*y. Suppose y*s + s = z. Is s a prime number?
True
Suppose -2*j = -3*i, 2*i = 3*j - 0*j. Suppose a = -j*a, -2*m = 2*a - 66. Is m a prime number?
False
Let s = 19 - 21. Is 19/(s - 15/(-7)) composite?
True
Let x = 591 - -1462. Is x a composite number?
False
Let f(n) = 26*n + 64. Is f(5) composite?
True
Let w = 321 + 242. Is w composite?
False
Let l be -1 - -2 - (-5 - -2). Suppose -l*u + 2031 = -u. Is u a prime number?
True
Let d(q) = -5*q + 6. Is d(-17) composite?
True
Is (-4)/(20/(-15)) + 6386 a composite number?
False
Let j = -1807 + 3500. Is j a prime number?
True
Let a(l) = 19*l**3 - 3*l**2 - l. Let p be a(-1). Let r(i) = i**3 - 2*i**2 - 3*i + 2. Let n be r(3). Is (p/n)/(1/(-2)) a prime number?
False
Let i(m) = 6*m**3 - 7*m**3 - 8*m**2 - 8*m - 4*m - 7. Is i(-8) prime?
True
Let z be 0/((-1)/(-3 + 2)). Suppose z = 2*a - 0*a + 6. Is -4*a/12*34 composite?
True
Let o(m) = 7*m**2 + 2*m - 4. Let n be o(-3). Suppose 2*g - 3*g + n = 0. Is g prime?
True
Let v(i) be the second derivative of 145*i**3/6 - 2*i**2 + 5*i. Is v(5) prime?
False
Is ((-1962)/(-54))/((-1)/(-21)) prime?
False
Suppose -8 = 4*x, r + 2*x - 5*x = 1171. Is r composite?
True
Let s(f) = -f - 12. Let x be s(-14). Let b = 9 - x. Is b composite?
False
Let c = 877 - 404. Is c a composite number?
True
Let d(r) = 4*r**3. Let u be d(1). Suppose -66 = -7*w + u*w. Is w a composite number?
True
Let k(f) = -f. Let a(m) be the second derivative of m**5/20 + m**4/2 + m**3/6 + 3*m**2/2 - 2*m. Let t be a(-6). Is k(t) a composite number?
False
Let n(m) = -m**3 - 5*m**2 - 2*m + 7. Let j be n(-4). Is ((-1)/(-3))/(j/(-291)) a prime number?
True
Let p = 146 + -86. Suppose c + 332 = 3*m - p, -5*c = 3*m - 362. Is m a prime number?
False
Let m(n) = -n - 6. Let l be m(-7). Is ((-481)/(-39))/(l/3) a composite number?
False
Suppose -1 = -3*i + 8. Let x be i + -2 - (-4 - 0). Suppose 0*p - 2*p = x*m - 39, 27 = 3*m + 3*p. Is m a prime number?
True
Let i(q) = -q**3 + 15*q**2 + 10*q + 8. Let d be i(10). Suppose -5*s + 1525 = -5*r, -2*s + 3*r + d = -0*s. Is s a composite number?
False
Suppose 25 + 15 = -5*w. Let f(q) = -3*q + 7. Is f(w) a prime number?
True
Suppose 5*v - w + 112 = 0, 3*v + w + 81 = 9. Let m be (-4)/14 + v/(-7). Is (-1 + m)/((-2)/(-91)) prime?
False
Suppose -11*q + 9942 = -5*q. Is q composite?
False
Let t be 3/(131/128 + -1). Suppose 0 = 2*q - 3*j - 437, 5*j + t = -4*q + 1035. Is q prime?
True
Let y = 27 + -13. Let s be 4/((18/3)/3). Suppose 0 = -2*p + s*a + 3*a - 16, 5*p - y = -a. Is p a prime number?
True
Is (-6126)/(-10) + 20/50 a prime number?
True
Let m = -165 + 239. Is m a prime number?
False
Suppose 2 = 4*l + 18. Let w(y) = 5*y**2 + 4*y + 0*y**2 + y**3 - 5 + y**2. Is w(l) prime?
True
Let r = -11 - -10. Is (-9)/(-3) + 5 + r prime?
True
Suppose 0 = -2*r - 3*o + o + 80, 5*r + 2*o = 191. Is r a prime number?
True
Let w = 3 - 5. Is (-1176)/(-20) - w/10 a prime number?
True
Let v be 114*(15/6 + -3). Is (-2)/(-1) - 5*v composite?
True
Let r(y) = -y**2 + 6*y + 9. Let j be r(7). Suppose -2 = -5*i + j*h, 2*h - 1 = 2*i + 3. Suppose i*s = -0*s + 6. Is s a composite number?
False
Let k(g) = 3*g - 1 + 3 + 18*g**2 + 2. Suppose -2*m - 5 = o, 3*m + 4 = 4*o - 9*o. Is k(m) a composite number?
False
Let x be (-3)/(-12) + 19/4. Suppose -17 = -x*m + 18. Is m a composite number?
False
Suppose 0 = 4*h - 9*h + 135. Let m be (-2 - (-56)/10)*-5. Let u = h + m. Is u a composite number?
True
Let y = 139 - 73. Let b = 46 - y. Let n = b + 30. Is n a composite number?
True
Suppose 35 = 5*s - 10. Let c(d) = d**2 - d - 19. Is c(s) composite?
False
Let s(w) = w**3 - 8*w**2 - 8*w - 7. Let u be s(9). Suppose 0 = 2*k + u*r - 1216, -4*r = 4*k + r - 2429. Is k a composite number?
True
Suppose 4*b = -2*k - 12, -4*k - 5*b - 16 = -b. Let j be (-3 + 2)*(k + -130). Suppose 0*p - j = -4*p. Is p a composite number?
True
Suppose 2*b = 6*b - 920. Suppose -3*h + 481 = -b. Is h prime?
False
Suppose -l = 2*s - 4*l - 7, -1 = -s + l. Let x be (-2)/s*6 - 9. Is (-3)/x*(3 - -295) a composite number?
False
Suppose 883 = 7*p - 1266. Is p a composite number?
False
Let v(p) = -1404*p**3 + 8*p**2 - 3*p + 8. Let s(i) = -936*i**3 + 5*i**2 - 2*i + 5. Let k(z) = 8*s(z) - 5*v(z). Is k(-1) a prime number?
False
Let x(f) = -8*f + f - 2*f + f - 11. Is x(-6) a prime number?
True
Let r be (-9)/(-18)*(-23 + 1). Let n = 22 + r. Suppose 3*g + 1280 = 4*b, 2*g + n = 3. Is b a composite number?
False
Let p = 1138 - 651. Is p composite?
False
Suppose -2*m = -0*m. Suppose -3*v = -2*q + 3*q - 178, -5*q + v + 810 = m. Is q prime?
True
Let k = 4 + -2. Suppose 0 = 3*c - 2*h - 14, -7 - 1 = k*h. Suppose -f = -c*l + 55, 3*l - 95 = -2*f + 6*f. Is l prime?
False
Let l = -2 - 0. Let o(q) = -10*q - 1. Is o(l) prime?
True
Suppose -883 = -4*u - 227. Suppose -2*i + u = 54. Is i composite?
True
Let m(y) = y + 1. Let i(p) = -3*p + 9. Let c(n) = i(n) + 2*m(n). Let d = 3 - -5. Is c(d) prime?
True
Suppose 4*m = 4*n + 26 - 86, 0 = 5*n - 3*m - 65. Let i = 17 + n. Let r = -14 + i. Is r a composite number?
False
Suppose -3*z + d = -86, -3*z + 150 = 2*z - 5*d. Is (-8)/z + 408/7 a composite number?
True
Let t(x) = 5*x - 3. Let h(s) = -14*s + 9. Let u(i) = 4*h(i) + 11*t(i). Is u(0) prime?
True
Suppose 0 = -3*z + 2*j - 9, 2*z - j + 6 = -3*j. Is 34 - (5 + z - 1) prime?
False
Suppose 0*k = -4*h - 2*k + 19922, 0 = -5*h - k + 24904. Is h a composite number?
True
Let z = -51 - -95. Suppose 2*b + 0*b = z. Let q = b - 9. Is q composite?
False
Suppose 5*p = 8 + 2. Suppose -4*x = -p*x - 66. Is x a composite number?
True
Let o be (3/1)/((-12)/328). Let w = 117 + o. Is w composite?
True
Suppose 5785 = 5*c + 1070. Suppose 3*q + 76 - c = 0. Is q a prime number?
False
Let b be 49*1*(-4 + 3). Let m = -14 - b. Is m a composite number?
True
Suppose -175 = -4*z - 23. Suppose h - 3 + 4 = -v, 4*h + 5 = -3*v. Let q = v + z. Is q a prime number?
False
Let s = -1269 - -1918. Is s a composite number?
True
Suppose 0 = 4*i - 5*k - 192, 3*k - 147 + 30 = -3*i. Is i composite?
False
Let n(i) = 2*i - 8. Let x be n(6). Suppose 0 = x*u + 3*g - 46, -4*g = -u - g + 19. Let p = u - -6. Is p a composite number?
False
Suppose c - 388 = -c. Is c prime?
False
Let m be 4/(-14) + 66096/56. Suppose 0 = -4*p - 2*i + m, -3*i + 20 = 2*i. Is p a prime number?
True
Suppose -3*n = -5*g + 429, -5*g - 5*n = -4*n - 437. Suppose 0 = -3*u + g + 150. Is u a composite number?
False
Suppose 0 = -3*y + 3*x + 504, x - 166 = -4*y + 481. Is y a prime number?
True
Suppose 4*r - 2*w = 18, 5*r - 2*w - 30 = 3*w. Suppose -3*p = r*s - 87, -3*p = -8*p + 5*s + 105. Is p a composite number?
True
Is (-2)/((-2231)/743 + 3) a prime number?
True
Let o = -14 - 113. Let v = o + 378. Is v prime?
True
Suppose 0 = -9*n + 5*n + 3*s + 3976, 0 = -3*n + s + 2987. Is n a prime number?
True
Is -4*2/(-8) + 82 - 0 a composite number?
False
Let a be 1/(-3) - (-8)/6. Suppose 2 + a = -3*q, -4*d + q = 7. Is (-2)/(-4)*d - -50 composite?
True
Let f = 942 + 46. Suppose -f = -h - 3*h. Suppose 2*j = 5*w + 108, 0*