omposite?
True
Let s = -80 - -121. Is -1 + s + (-2 - -1) a composite number?
True
Suppose -5*f + 3*i = -1940, -1395 - 525 = -5*f - i. Suppose -4*z = z - f. Is z prime?
False
Suppose -d - 148 = -3*d. Is d a composite number?
True
Let d(h) = -h**3 + 7*h**2 + 8*h - 2. Let f be d(8). Is 1/f - (-262)/4 prime?
False
Let v = 1919 + -1176. Is v a prime number?
True
Let l(m) = m**2 - 6. Is l(-7) a prime number?
True
Let q = 464 + -291. Suppose 5*r = 3*b + 167, -3*b + 0*b = 5*r - q. Is r prime?
False
Let f(a) = a**2 - 8*a - 7. Let g be f(8). Let y = 4 + g. Is ((-3)/y)/1 + 6 composite?
False
Suppose 619 + 608 = 3*m. Is m prime?
True
Suppose 0*f + 85 = 5*f. Let q be 1 + -6 + (3 - 1). Let c = f + q. Is c a prime number?
False
Let n be (-6)/(-21) + 120/(-28). Let c(i) = i**2 - 1. Let g(s) = -4*s**2 - 8*s - 3. Let j(b) = 3*c(b) + g(b). Is j(n) prime?
False
Suppose 6*c - 3*c + 278 = v, -2*v - 5*c + 611 = 0. Is v prime?
True
Suppose 4*i + f - 3625 = 0, 3*i + 0*i + 4*f - 2709 = 0. Is i prime?
True
Let o(p) = -p**2 - 13*p + 9. Let a be o(-10). Suppose l = -4*d + a, -l + 2*d - 2 = -11. Is l a composite number?
False
Suppose 4*m + 0*m + z - 1228 = 0, 2*z + 1535 = 5*m. Is m prime?
True
Let l(q) = 3*q**3 + 3*q**2 + 6*q - 11. Is l(5) a prime number?
False
Let p(n) = 17*n - 3. Let x be -3*((-30)/9 - -2). Suppose x = b + b. Is p(b) a composite number?
False
Suppose 0*f - 18 = -3*f. Let w(j) = -2*j**2 + 2*j**3 + f - j**3 - 4 - 2*j + j**2. Is w(3) a prime number?
False
Suppose -x + 660 = 2*z, -5*x + 3*x = -5*z + 1641. Is z prime?
False
Let m(u) = u**3 - 2*u**2 + 2*u + 1. Let q be m(2). Suppose -5*x - 63 = g, -2*g = q*x - 8*x - 30. Let l = 35 - x. Is l prime?
True
Is (1 - 4)*(-1354)/6 composite?
False
Suppose 3*t + 3604 = 7*t. Is t prime?
False
Suppose 5*j - 6 = 9. Suppose 556 = -l - j*l. Let t = -56 - l. Is t a prime number?
True
Let x(z) = z - 11. Let s be x(7). Let j(v) = -v**3 + 7*v + 10. Is j(s) a prime number?
False
Suppose 5*o - 4*s - 2153 = -2*s, 1295 = 3*o + 2*s. Is o prime?
True
Let u(b) be the second derivative of -1/12*b**4 + 1/2*b**2 - 1/2*b**3 + 3/10*b**5 - 2*b + 0. Is u(2) prime?
False
Suppose -3*c + 8*c = 1140. Let b = c - 61. Is b a composite number?
False
Let b(l) = 22*l**2 - 4*l - 1. Is b(-3) a composite number?
True
Is ((-8805)/12)/(26/(-8) + 3) a composite number?
True
Let v(k) = -k + 1. Let s be v(-3). Suppose -2*t + s*t + 4*r + 86 = 0, 2*r - 169 = 3*t. Is t/(1/(-1 + 0)) a prime number?
True
Let t be (-18)/(-12)*20/6. Let p = 3 - t. Is p + (12 - 1) - 2 a prime number?
True
Let v be (-10 + 0)/2*1. Let j = 9 + v. Suppose -a - j*a + 95 = 0. Is a prime?
True
Let x(h) = h + 5. Let a be x(0). Let y(v) = v**2 - 2*v - 7. Let m be y(a). Suppose -43 = -5*d - m. Is d a composite number?
False
Let q(t) be the second derivative of 35*t**3/3 + 3*t**2/2 - 3*t. Is q(8) prime?
True
Let f(x) = -2*x**2 + x - 4. Let u(h) = -5*h**2 + 3*h - 9. Let p = -8 + 13. Let j(l) = p*f(l) - 3*u(l). Is j(-6) prime?
True
Let u(h) = -h**3 + 6*h**2 + 8*h - 7. Let k(x) be the first derivative of -x**4/4 - x**3/3 - x - 3. Let f(q) = -2*k(q) + u(q). Is f(-6) prime?
True
Let u = -8 - -11. Suppose 0*w + u*x + 203 = 4*w, 4*w - 215 = -x. Is w a prime number?
True
Let q(l) be the second derivative of -3/2*l**2 - l + 1/4*l**4 + 0 - l**3. Is q(-6) composite?
True
Let a = -807 - -1294. Is a a composite number?
False
Suppose 5*r - 2*a = -1277, 4*r - r = -2*a - 763. Let n = -178 - r. Is n prime?
False
Let j = 492 - -89. Is j composite?
True
Let z = 180 - -57. Is z a prime number?
False
Suppose 2*d = d - 4. Let o(a) = -5*a - 1. Is o(d) composite?
False
Let b = 1470 - 945. Suppose -b = 4*h - 121. Let q = h + 292. Is q a composite number?
False
Suppose 2*h - 408 - 854 = 0. Is h a composite number?
False
Let m(a) = -a**3 + 12*a**2 + 3*a + 3. Let q be m(6). Let w = q + -76. Is w a composite number?
True
Let s = -3 - -3. Suppose -2*h - 4 = s, 2 = -2*f + 5*h + 36. Let j = f + -5. Is j a prime number?
True
Let u(q) = q**3 - q**2 + 177. Is u(0) a prime number?
False
Suppose 2 = -j + 1. Is (-3310)/(-40) + j/(-4) a prime number?
True
Let w(s) = -2*s - s**2 - s + 6*s + 2. Let o be w(2). Suppose 0*h = h - o. Is h a composite number?
True
Let m(u) = 6*u**3 - 3*u - 4. Is m(3) prime?
True
Is -134*3*3/(-18) composite?
False
Let h = -3 - -5. Suppose 2*i - 9 = -5*p, 4*p = -0*p - 3*i + 3. Is h + p + -2 + 10 a composite number?
False
Is (-2)/4 - 1*(-11995)/10 composite?
True
Let x(j) = 33*j**2 + j - 3. Is x(-8) a composite number?
True
Suppose -2*u + 267 + 291 = 0. Let p = u - 160. Is p prime?
False
Let u be 2/(-11) + (-62)/22. Let p be (-1 - u)/((-4)/(-6)). Suppose p*s - 44 = 58. Is s composite?
True
Let j = -2 - 122. Let i = j - -207. Is i a prime number?
True
Is (0 - 1) + -1 + 321 prime?
False
Suppose 2*h - 2934 = 5*y + 245, h = y + 1585. Suppose -4*a - 3*a + h = 0. Is a composite?
True
Let z(v) = v**2 - 5*v + 5. Suppose 9 = 4*i - 3. Let s be 34/6 + 1/i. Is z(s) prime?
True
Suppose 4*s = -88 + 852. Is s composite?
False
Suppose -2*k - 24 = 16. Let v = k + 105. Is v composite?
True
Let r = 1009 + -120. Is r a composite number?
True
Let g(b) be the third derivative of 5*b**4/8 + b**3/3 - b**2. Is g(5) a composite number?
True
Suppose -556 = -0*g - 4*g. Is g a composite number?
False
Let k be (-4)/10*(-535 + 0). Suppose 1 = w, k = 4*b + w - 63. Is b a prime number?
False
Is (4 - 5)/((-8745)/4371 + 2) a composite number?
True
Let k(v) = -20*v + 3. Let a = -20 - -12. Is k(a) composite?
False
Let n(g) = g + 55. Suppose -3*y = -3*b, -5*y + 0 = -4*b - 3. Let p(i) = -i**2 + 4*i - 3. Let c be p(b). Is n(c) a prime number?
False
Let o(c) = -4*c**3 + 4*c**2 + 9*c + 1. Is o(-6) a composite number?
True
Suppose -3 = -3*h + 27. Let c(r) = 0 + h*r + 13 + 0*r**2 - r**2. Is c(10) a composite number?
False
Let l be (-9)/(-2) + 7/(-14). Suppose -l*b + 255 = b. Is b a prime number?
False
Suppose -4*k + 1216 = 4*l, l - 289 = -k + 3*k. Is l a composite number?
True
Let n(w) = w**3 - 5*w**2 + 4*w + 13. Is n(9) prime?
True
Let o(s) = 2*s**2 + 1. Let g be o(-1). Let x(u) = 2 + 0 + 38*u - 1. Is x(g) prime?
False
Suppose 0*p = -2*p + 2*g + 106, -p = -5*g - 69. Is p a composite number?
True
Let u(v) be the first derivative of -5*v**4/4 - v**3 - v**2/2 + v - 1. Is u(-2) a composite number?
False
Suppose 4*i - 12581 = -2601. Is i a prime number?
False
Let d = 9 - 5. Suppose -d*j + 311 = 5*b - 784, -j + 5 = 0. Is b a composite number?
True
Let n = -681 + 1020. Is n composite?
True
Is (-6 + 2)*(-833)/28 a composite number?
True
Let q = -38 - -23. Suppose -4*u - 5*v + 1 + 17 = 0, -3*u + 31 = -5*v. Let i = u - q. Is i prime?
False
Is 293/5*(15 + -10) a prime number?
True
Let i = 4 + -6. Let m be (-2)/(-4) - i/(-4). Suppose m = -l + 3 + 8. Is l prime?
True
Suppose -2*n + 87 = -89. Let h be n/14 - (-6)/(-21). Let v = 8 + h. Is v a composite number?
True
Let k = -7 - -11. Suppose -k*u + 1 = -o - 0*o, 5 = -3*u - 5*o. Suppose u = 3*h - 4*h + 4. Is h a composite number?
True
Let b = -3445 - -5666. Is b a prime number?
True
Suppose -3*u - 2*s - 29 = -0*u, -s = -5*u - 70. Suppose 5*c - 59 = 61. Let h = c - u. Is h composite?
False
Let m(n) be the first derivative of n**3/3 + n**2/2 + 22*n + 3. Is m(0) a composite number?
True
Let i(h) = -58*h**2 - 2*h + 3. Let f(y) = -57*y**2 - y + 2. Let l(u) = -4*f(u) + 3*i(u). Is l(1) a prime number?
True
Let b(i) = 7*i**3 + 4*i**2 - 4*i. Let x be b(3). Suppose -3*k = -822 - x. Let r = -206 + k. Is r prime?
True
Let d(o) = 15*o**3 + 3*o - 1. Is d(3) composite?
True
Let p be (-6)/(-9) - 2/3. Suppose p = 2*v - 7*v + 10. Is (v - (2 - 89)) + 2 composite?
True
Suppose 0 = -7*f + 6*f + 2. Suppose 39 = f*c - 31. Is c a composite number?
True
Is 46*-3*(-2)/12 prime?
True
Suppose -5*t + 8*t = 63. Is t composite?
True
Let h = -1967 + 3898. Is h a prime number?
True
Let g be (-14)/63 + (-110)/(-9). Let h = g - -26. Is h composite?
True
Suppose 162 = -4*x + 510. Is x a prime number?
False
Suppose -30*j + 8905 = -25*j. Is j composite?
True
Let w = -388 - -639. Is w a composite number?
False
Let a(u) = -17*u + 3. Is a(-8) prime?
True
Suppose n = -2*j + 1751, 7*n - 1739 = -2*j + 2*n. Is j a composite number?
False
Suppose 4*c - 2*c = 394. Let f = c - -68. Is f composite?
True
Suppose -4*u + t - 246 = 0, -2*u - 3*t + 67 = -3*u. Let z