Is m a composite number?
False
Let y(d) = -1167*d - 56. Is y(-5) a prime number?
True
Is (-2856)/(-5) + (-11)/5 + 2 prime?
True
Let r(x) = 173*x**2. Let l be r(1). Let f = l + -50. Is f prime?
False
Let o be (-71)/4 + (-1)/4. Let t be (-54)/(-3*(-4)/o). Suppose -3*k - 24 = -t. Is k composite?
False
Is 2/12 - 3188/(-24) composite?
True
Let i(j) = -j**3 - 2*j**2 - 5*j + 6. Let o be 3*(-3 + 6 + -1). Let y be i(o). Is y/(-9) - 1/(-3) composite?
True
Suppose 0 = -o - 10*o + 3245. Is o a prime number?
False
Suppose 6 = 3*h - h. Suppose 4*o - 127 = h*o. Is o prime?
True
Suppose -q - 5*l = 2*q - 264, 5*l + 234 = 3*q. Is q a prime number?
True
Let w(g) = -6*g**3 - 4*g**2 - 8*g - 7. Is w(-6) composite?
False
Let z(h) = -h + 18. Let j be z(18). Is 157/4*(j - -4) a composite number?
False
Let p = -12 - 35. Is p/(-2)*(5 - 3) a composite number?
False
Suppose 5*c - 27 - 8 = 0. Let t be (-100)/c - (-6)/21. Is (t/(-4))/((-2)/(-4)) a prime number?
True
Let p(j) = 2*j + 12. Let m be p(-4). Let u = 444 + -232. Suppose 0*l - m*l + u = 0. Is l a composite number?
False
Let g be 0 + 4 + 7 + -7. Suppose -3*w - 77 = -4*c + 51, g*w - 16 = 0. Is c composite?
True
Suppose 0 = -5*n - y + 20, 45 - 5 = 4*n - 4*y. Let g(i) = 22*i**2 - 3*i + 6. Is g(n) a composite number?
False
Suppose 3*j = -j. Let s be 1/((-5)/3 + 2). Suppose 0 = -k - s*f + 34, j = -5*k - 5*f + 68 + 112. Is k a prime number?
True
Suppose -3*r + 3805 = -1526. Is r prime?
True
Suppose -2*w = 2*j - 376, -3*j + 763 = 4*w + 12. Is w composite?
True
Let r = 5972 - 2701. Is r prime?
True
Let w be 4/6 - 3172/6. Let d be (3/4)/(2/w). Let p = -83 - d. Is p prime?
False
Let l(n) be the third derivative of n**6/120 - 7*n**5/60 - 13*n**4/24 - 5*n**3/3 - 7*n**2. Is l(11) a composite number?
False
Let t(x) be the first derivative of 6*x**2 + 5*x - 3. Is t(4) a composite number?
False
Suppose 0 = -2*x - 2*x + 12. Let l = 6 - x. Is (l/6)/((-2)/(-316)) prime?
True
Let x(t) = -t**3 + 11*t**2 - 2*t + 19. Is x(9) a prime number?
True
Let o = 57 + -20. Suppose -3*a + 466 = o. Is a a composite number?
True
Suppose 3*d = -4*n + 50, -2*d - 4*n = -7*d + 30. Suppose 0 = 5*g - 4*g - d. Is 222/g - (-2)/(-10) a prime number?
False
Suppose r + 4*o = -0*r - 11, -r + 25 = -5*o. Suppose 3*b + b - 6 = 3*x, r*x - 5*b + 5 = 0. Is x composite?
False
Let g(j) = -4*j - 30. Is g(-11) prime?
False
Let m = 243 - 77. Is m composite?
True
Suppose -2*t - 3*t + 2*y = 75, -4*t - y = 60. Let s be -6*(2 + t/6). Suppose s*c = a + 26, -c + a + 2 + 6 = 0. Is c prime?
False
Suppose 2*z = 3*z - 2. Suppose -z*j - 2*m + 516 = 3*m, -5*m - 496 = -2*j. Is j composite?
True
Suppose 3*o - 8917 = -5*h, -h + 1765 = -3*o - o. Is h a prime number?
False
Let h be (-10)/(-3 + 100/36). Suppose -4*b = 9 - 525. Suppose b = 3*l - h. Is l a prime number?
False
Let x be (217 + 2)*4/12. Suppose -x = -0*p - p. Suppose -2*w = -y + p, w = -3*y + 7*y - 271. Is y prime?
True
Suppose -5*i + 9*i - 1604 = 0. Is i prime?
True
Suppose 2*d + 669 = 5*d. Is d a prime number?
True
Let m = 2 + 1. Is (233/5)/(m/15) a prime number?
True
Let c(u) = 116*u**3 - u + u**2 + 0*u**2 + 2 - 1 + 190*u**3. Is c(1) prime?
True
Suppose -o = -3*b + 231, -b + o = b - 154. Let m = b - 34. Is m composite?
False
Let a = -3127 + 5518. Is a a prime number?
False
Suppose 10 = -n + 3*b, -4*n - 5*b + 45 = -0*b. Suppose n*h + 120 = -5*s, -3*h + 0*s - 5*s - 68 = 0. Is (h/4)/(5/(-10)) composite?
False
Let g(r) be the first derivative of 11*r**2/2 - 2*r - 4. Is g(9) composite?
False
Let u = -5 + 6. Let s be (0 + (-11)/u)*2. Let w = 31 + s. Is w a composite number?
True
Let g(m) = -m**3 + 14*m**2 - m - 17. Is g(12) prime?
False
Suppose 0 = 3*t - 2*t - 4. Suppose -12 = -7*d + t*d. Suppose -38 = -3*k + d. Is k a composite number?
True
Let d be 24/9 + (-2)/(-6). Suppose -b - 389 - 284 = -d*g, 4*b = -16. Is g prime?
True
Let d(u) be the first derivative of -3*u**4/4 - 7*u**3/3 - u - 3. Suppose -4*b - 4*y + y = 20, 0 = -y. Is d(b) prime?
True
Let y(h) be the second derivative of h**4/12 + h**3/6 + 23*h**2/2 - h. Is y(0) prime?
True
Let d(k) = -4*k - 1. Let w be d(-1). Suppose 273 = w*j - t + 2*t, 5*t - 91 = -j. Is j a prime number?
False
Let b = -685 + 1581. Is 3/5 - b/(-40) composite?
False
Let w be ((-4)/(-10))/((-1)/15). Let v(u) = -3*u + 7. Is v(w) a prime number?
False
Let x be 0*-1*(0 + -1). Suppose x*m - 3*m = -9, -m = -2*k - 9. Let d(j) = -3*j**3 - 4*j**2 - 2*j - 2. Is d(k) prime?
False
Suppose 1059 = -3*m + 6*m + 4*w, -w = 3*m - 1068. Suppose 5*z - 1018 = -a, -4*z + 1166 = -a + m. Is z a composite number?
True
Suppose 0 = 5*l + 42 - 17. Is (-2)/l - 615/(-25) composite?
True
Is 4/(16/148)*1 prime?
True
Suppose 3*s - 5*o - 1540 = -0*o, -5*o - 25 = 0. Is s a composite number?
True
Let h(y) = 4*y**2 + y - 1. Let t be h(1). Suppose -t*i - 3*d + 0*d = -1475, 5*i - 1867 = 4*d. Is i a composite number?
True
Let u(y) = 37*y. Let g be 1*(2 - 2/2). Is u(g) prime?
True
Suppose -2*n - 3*s - 7 = 0, 1 = -n - 3*s - 1. Let i = n - -4. Is i/5 + 852/10 composite?
True
Let w(c) = -217*c - 10. Is w(-3) a composite number?
False
Suppose 2*a - 378 - 28 = 0. Is a a composite number?
True
Suppose 21 = 2*p - 2*g - 95, -3*p + 173 = -2*g. Suppose 0*o + 53 = 4*o - 3*j, j = -4*o + p. Is o composite?
True
Suppose -11 = 3*x + 5*f, -38 + 3 = -5*x + 5*f. Suppose 2*b = 9 + 3. Suppose -2*j = v - 1, -3*j = -2*v + x + b. Is v a composite number?
False
Let o(g) = 4*g**2 + 2*g + 5. Let f be o(6). Is 9/(-3) + f - 1 composite?
False
Let h = -162 + 293. Is h a prime number?
True
Let s be 547/4 + 3/(-4). Let m = s - 51. Is m a prime number?
False
Suppose -f + 1948 = 5*s, 7*s = 2*s + 5. Is f a prime number?
False
Let b(s) = 4*s - 9. Suppose 0*h + 4*h = 0. Suppose h = 2*q - 5*i + 13, -2*i = -4*q - 0*i + 14. Is b(q) a prime number?
False
Suppose 2*d = -3*d + 15. Suppose -g + 38 = l, l = d*g - 41 - 69. Is g composite?
False
Let b be (-550)/15*24/(-10). Suppose -3*k + 5*o = b, -7 - 10 = 2*k + 5*o. Is 1 - k/6*32 prime?
True
Let t(j) = 121*j**2 + 3*j - 1. Let k be t(3). Suppose 5*g + 0*z = 2*z + k, 4*z = 16. Is g a composite number?
True
Let j(s) = 8*s**3 - 4*s + 3. Let p be j(3). Suppose -p = -4*z + z. Is z composite?
True
Let j(x) = 7*x**2 + 8*x - 4. Let l = 3 - -2. Is j(l) a composite number?
False
Let l be (-149)/(-2) + 2/(-4). Let p = -83 + 40. Let n = l + p. Is n a composite number?
False
Let d = -1 + 4. Suppose d*s = 2*b + 375, 2*s + 4*b = -0*b + 266. Is s a composite number?
False
Suppose -2031 = -3*q - 0*q. Is q a composite number?
False
Let f be ((-224)/42)/((-4)/18). Is 8/f - 110/(-3) composite?
False
Suppose 2*f - b - 1413 = 0, -5*b + 2572 = 3*f + 420. Is f a composite number?
False
Let t = -60 + 143. Is t a prime number?
True
Let f = -8 - -13. Suppose -3*j = -f*j + 4. Suppose 3*c + 102 = 5*s - j*s, 3*s = c + 96. Is s a prime number?
True
Suppose 0*p = -4*p + 4. Is -2 + 52 - (p - 0) composite?
True
Let g(u) be the third derivative of u**4/24 - 19*u**3/3 + 2*u**2. Let p be g(0). Is (-63)/(-14)*p/(-3) a composite number?
True
Let x(g) = -3*g**3 + 23 + 4*g**3 + g - 2*g**2 - g**2 + 4*g**2. Is x(0) composite?
False
Let j = -8 - -11. Let g(r) = 4*r**3 + 3*r**2 - 4. Is g(j) composite?
False
Suppose 2*x + d - 1 = 0, 0*d - 17 = -4*x + 3*d. Suppose 35 = 3*s - x*s. Let u = s - -44. Is u a prime number?
True
Let x(y) = 32*y**2 - 2*y - 7. Is x(-9) composite?
True
Let n be 4/(-12) - 211/(-3). Let o = n + -50. Is 4*(-6)/o*-5 prime?
False
Let o(k) = k**3 + 8*k**2 + 6*k - 5. Let s be o(-7). Suppose 251 = -g + s*g. Is g a composite number?
False
Let c = -105 - -179. Suppose -1006 = -2*p + c. Is (-1)/2 - p/(-8) prime?
True
Let n be (-57)/(-5) - (-10)/(-25). Suppose -w = -n - 11. Is w a prime number?
False
Suppose -v = -5*c - 1244, -5*v + 7*v + 5*c - 2533 = 0. Is v a composite number?
False
Suppose -2*r + 3*z = -182, -z = r - 0*z - 81. Is r a prime number?
False
Suppose p - 5*o - 53 = 0, -o - o = -3*p + 120. Is p prime?
False
Suppose -2*m - m + 45 = 0. Suppose w + 4*g = 6 + 12, -m = 5*w - g. Is (6/(-4) - w)*326 prime?
True
Suppose 5*m = m + 6124. Is m prime?
True
Let l(s) = -4*s**3 + 3*s**2 - 3*s - 3. Is l(-5) a prime number?
True
Suppose 0 = 4*n + n - 10. Is n/(-4) + 42/4 a composite number?
True
Suppose -247 + 683 = 2*k - 2*p, 0 = 3*k + 4*p - 689. Let d = k - -124. Is d 