 -2*w - 13. Let m(x) = 1. Let o(y) = -h(y) - 6*m(y). Is o(6) composite?
False
Let x(j) = -j**3 + 5*j**2 + 2*j - 3. Let b be x(6). Let h = -15 - b. Let a = 7 + h. Is a a composite number?
False
Suppose -33 + 6 = 3*k. Let u = 12 - k. Is u prime?
False
Suppose -3*p = p + 64. Is (-4700)/p + (-6)/8 a composite number?
False
Suppose 0*f + 14 = 2*f. Let j be (0 - 3)*(-3)/((-18)/(-10)). Suppose f*g - j*g - 586 = 0. Is g a composite number?
False
Let p(h) = -2 + 4*h - 2*h**3 + 2*h**3 - 3*h**2 + 2*h**3. Let d be 3/2 + (-12)/(-8). Is p(d) prime?
True
Suppose -5*v + v = 116. Let c = v + 52. Is (c + -2)*3 + 2 composite?
True
Is (-88025)/(-225) - 2/(-18)*-2 a composite number?
True
Let l be 14/(-4)*(-1 + -1). Suppose -x + 8 + 10 = 0. Suppose -3*w - 2*j + x = 0, -2*w + l*w - 5*j = 30. Is w a composite number?
True
Let a = 20 - 38. Let u = -6 - a. Is ((-148)/u)/((-1)/3) composite?
False
Let u(j) = -j**3 - 11*j**2 + 12*j - 6. Let r be u(-12). Is 966/4*r/(-9) a composite number?
True
Suppose 5*u + 3*k - 5 = u, -u + 4 = -2*k. Suppose -390 = -4*t - u. Is t a composite number?
False
Suppose 3*f - n + 5 = 4*f, -f + 2*n + 5 = 0. Suppose 5 = s + 2*j - 21, -3*j = -f*s + 104. Is s composite?
True
Let t(w) be the third derivative of w**6/60 - w**5/30 + w**4/24 - w**3/3 - 4*w**2. Is t(3) composite?
False
Let h(i) = 142*i - 1. Let w be h(-2). Let a = 412 + w. Is a a prime number?
True
Let r be 33/15 + (-2)/10. Suppose -g + 993 = r*g. Is g prime?
True
Suppose 9*i - 45625 = 17942. Is i prime?
False
Let z be -3 + 0 + 4 + -1. Suppose z = 8*s - 3*s - 370. Is s a prime number?
False
Suppose 12 = 3*c - 4*y, 3*c + 4*y + 1 = -11. Suppose 0*n + n - 1 = c. Is 3/6*6/n a prime number?
True
Let k(v) = 14*v + 9 - 3*v**2 - 2 - 1 + 2*v**2. Is k(7) a composite number?
True
Let a = 31 + 15. Suppose u = 257 - a. Is u a prime number?
True
Let y = -275 + 496. Suppose -2*d = -3*h - 6*d + y, 0 = h + 3*d - 82. Is h a composite number?
False
Let n(i) = 4*i**2 + 7*i - 38. Is n(-15) prime?
True
Let b(c) = 4*c**2 + c + 4. Is b(-3) prime?
True
Suppose 0 = -0*i + i - 851. Is i a prime number?
False
Let u = 22 + -12. Is u a prime number?
False
Is 1 + -1 + (-3)/(18/(-6582)) a prime number?
True
Suppose 5*r - 7*r + 6 = 0. Suppose 2*g = -r*g + 20, -5*p + g + 271 = 0. Is p a prime number?
False
Suppose 0 = -4*i, i - 25 = k - 6*k. Is -1 + (k - 3) + 177 a prime number?
False
Suppose t + 9 = 4*t. Suppose 2*n - 370 = -6*j + 2*j, 3*n + t = 0. Is j a prime number?
False
Suppose 0 = l - n + 3*n - 28, l - 13 = -5*n. Suppose 2*v - l = 3*a, -4*v - 3*a + 14 = -2*v. Is v a composite number?
False
Let y be 324/7 + (-2)/7. Let x = y - 23. Is x a prime number?
True
Let p(f) = 7 + 35*f - 5 - 3. Let g be p(5). Suppose 2*l + 0*v = 2*v + 308, l - g = 5*v. Is l a prime number?
True
Let w(z) = 2*z**2 + z. Let l be w(1). Let y(c) = -2*c**2 - c + 19*c**l + 5*c**3 + 2*c. Is y(1) composite?
False
Let g(u) = 9*u**2 + 7*u + 17. Is g(-7) a composite number?
False
Suppose -23*f = -17*f - 18294. Is f prime?
True
Let l = 0 - 8. Let b(o) = -3*o - 5. Is b(l) prime?
True
Suppose -5*p + 26 = -4*i - 15, 2 = 2*p + 2*i. Let u(n) = n**3 + 3*n**2 + 2*n + 5. Is u(p) composite?
True
Let g = 651 + -450. Is g prime?
False
Suppose -2 = -4*l + 2. Let b be l + -2 + (-12)/2. Let a = 4 - b. Is a a composite number?
False
Let h = -15 - -9. Let s(l) be the third derivative of -5*l**4/24 + 7*l**3/6 - 2*l**2. Is s(h) a prime number?
True
Suppose 50 = 4*x + 5*u - 177, -5*u - 197 = -4*x. Is x a prime number?
True
Let g(t) = 5*t. Let j be g(1). Suppose 6*y - j*y - 3 = 0. Is 1/((-188)/(-62) - y) prime?
True
Suppose 3*n + n - b = -3, -3*n - 8 = 5*b. Let u be (-64)/(2 + n) - -1. Is ((-4)/(-6))/((-3)/u) prime?
False
Suppose 0 = -3*j - 4*o + 3465 + 134, 0 = -5*o + 25. Is j prime?
True
Let f(v) = 153*v + 16. Is f(5) prime?
False
Let x = 129 + -233. Let h be (x/(-6))/(2/24). Is 1/3 + h/6 a prime number?
False
Let l be ((-3)/6)/((-2)/(-20)). Let b = l + 9. Suppose w - 285 = -4*x + b*w, -x + 4*w = -81. Is x a composite number?
True
Let s(m) = -4*m + 13. Let f be s(6). Let b = f - -346. Is b a prime number?
False
Suppose 6*b + 7827 = 9*b. Is b composite?
False
Let h(m) = -149*m**2 - 10*m - 13. Let a(v) = 99*v**2 + 7*v + 9. Let d(j) = -7*a(j) - 5*h(j). Let y(w) be the first derivative of d(w). Is y(2) a prime number?
False
Let m be (-1 + 134)/(-3 - -4). Let r = m - 56. Is r a composite number?
True
Suppose 545 = -5*x + 5*n, -2*x - 3*x - 561 = -n. Let k = 190 + x. Is k a composite number?
True
Let j(t) = 14*t**3 - t**2 - 3*t. Let v be j(-3). Let a = -5 - v. Is a a prime number?
True
Let u = 270 + -379. Let y = -72 - u. Is y prime?
True
Let f be 8/(-44) + 4360/22. Let c be 4/(-10) - (-693)/(-5). Let q = c + f. Is q a composite number?
False
Suppose -9 = 2*m - 5*m. Suppose 2*t - 195 = -m*u + 17, -408 = -4*t + 2*u. Is t prime?
True
Let g = -4 + 57. Suppose 0 = -2*r - 11 + g. Is r prime?
False
Suppose 0 = -9*j + 1031 + 274. Is j a prime number?
False
Let g(p) = p + 207. Let d be g(0). Suppose -y = 80 - d. Is y composite?
False
Suppose -4*a + 17 = -15. Is 3346/a + 3/4 composite?
False
Let h(f) = -f**3 + f - 1. Let g(a) = 14*a**3 - 2*a**2 + 6*a - 6. Let u(t) = g(t) - 5*h(t). Is u(2) a composite number?
True
Let g = 946 + -560. Is g composite?
True
Suppose 3*g - g = 0. Suppose 0*u - u = g. Suppose -4*s + 0*s + 764 = u. Is s composite?
False
Let d = -145 + 356. Is d composite?
False
Let s(h) = 2*h**3 - 10*h**2 - 6*h - 1. Let z be -2 - 30/(-3) - 0. Is s(z) prime?
False
Suppose -4*r + 2 + 10 = 0. Is r composite?
False
Is 14 + 306 - (-1 + 2) a prime number?
False
Let h = 7 + -7. Is h + (0 - -1 - -52) a prime number?
True
Let j(n) = 11*n**2 - n + 5. Let y = 4 - 10. Is j(y) prime?
False
Is 6/(-4)*1146/(-9) composite?
False
Let i = -545 - -2238. Is i composite?
False
Suppose -2*l = -d - 10, 0*d + 5*d - 4*l + 26 = 0. Let i be (-1594)/(-10) + d/5. Suppose -p - i = -4*p. Is p composite?
False
Let r(n) = n**3 + 12*n**2 + 4*n - 4. Suppose -5*g = 5*j + 25, 2*g = -3*g + 5*j - 65. Is r(g) a composite number?
True
Suppose -5*m + 5499 = -3*a + 4*a, m - 1079 = 5*a. Is m a composite number?
True
Suppose 2*h - 179 = s, 4*h + 5*s - 83 = 240. Is h composite?
True
Let z(u) = 2*u**2 + 5*u + 3. Suppose -32 = -0*n - 4*n. Let x be 1*3/(-6)*n. Is z(x) a composite number?
True
Suppose -5*n = -2*j + 2391 + 683, -4*n + 7685 = 5*j. Is j a composite number?
True
Suppose 3*m - 220 = -4*d, -4*m + 138 = 2*d + 28. Is d prime?
False
Suppose a = 3*c + 6 + 26, 0 = 5*a + 3*c - 70. Suppose -4*m - a = -389. Is m composite?
True
Suppose 7*s - 2*s - 565 = 0. Is s prime?
True
Suppose 2*l = -z + 295, 588 + 2 = 2*z + l. Is z a composite number?
True
Let n be -1 + 3 - (-4 - -4). Let q = 4 - n. Let j = 5 - q. Is j a prime number?
True
Let f(i) be the second derivative of -i**5/20 - 5*i**4/12 - i**3 - 7*i**2/2 + i. Suppose -2 = 4*w + 22. Is f(w) a composite number?
True
Let k(c) = -9*c + 8. Is k(-15) a prime number?
False
Suppose 0 = 4*c - 5 + 37. Let w = c + 22. Is w composite?
True
Let h(p) = 29*p + 3. Is h(10) a composite number?
False
Suppose -89 = -3*h + 64. Suppose -a = -0 - h. Is a a composite number?
True
Let y be (-1 + 4)/((-2)/(-2)). Suppose 0 = -c - 0*i - y*i + 70, 2*c = 2*i + 180. Is c prime?
False
Let y(g) = -3*g**3 - 7*g**2 + 8*g + 9. Is y(-10) prime?
False
Let x = -3207 + 5728. Is x prime?
True
Is (12256/(-24))/(6/(-9)) a prime number?
False
Suppose c - 9605 = -5*v, -3*v - 5*c + 7217 - 1454 = 0. Is v a composite number?
True
Let j(o) = -o**3 - 14*o**2 + 15*o - 13. Is j(-16) a composite number?
True
Suppose -5*m = -2*u - 91, u + 5*m = 4 - 12. Let t = -14 - u. Is t a composite number?
False
Let k = -4 - -6. Suppose k*o - o - 34 = 2*w, 4*o = -2*w + 116. Suppose 0 = -2*a - u + o + 11, 0 = 4*a - 4*u - 88. Is a a prime number?
False
Let n(s) = -8*s + 3. Let f(d) = -24*d + 8. Let k(r) = -4*f(r) + 11*n(r). Let x be k(1). Suppose -x = z - 2*z. Is z a composite number?
True
Let u(i) = -i**3 + 11*i**2 - 8*i + 15. Suppose 3*b = -g + 35, -20 = -2*g + 2*b + 2*b. Let p = g - 10. Is u(p) a prime number?
False
Let t(k) = 7*k + 2. Let n be t(2). Suppose -5*u + 5 = 0, -5*u = -2*m + n + 55. Is m a prime number?
False
Let j be (30/(-4))/3*-2. Suppose 3*k + 2*k - 20 = 0. Suppose 3*b - 3*z - 12 = 0, -j*b + k*z + 9 = -13. Is b prime?
