site number?
True
Let h(d) = d + 1. Let q be h(3). Let k(y) = 2*y**3 + q + 2*y**2 - 7*y**3 + y**2 + y. Is k(-3) composite?
False
Let i(u) = 27*u + 2. Is i(7) prime?
True
Let g be ((-34)/1)/(3/(-9)). Suppose -n = n - g. Is n composite?
True
Suppose 4*p - 3 = p. Let n = p - 2. Is n*(-2)/(-2) - -56 composite?
True
Suppose 5*t - 16 = 3*h - 42, -2*t = -5*h + 18. Let m(b) = -28*b + 3. Let o be m(t). Suppose 2*k - 53 = -5*a + 2*a, o = 4*k + 3*a. Is k composite?
False
Let z be (-3)/(-5) - 392/20. Let l = 47 + z. Let q = l - 19. Is q prime?
False
Suppose 0*m - 5*m + 290 = 0. Suppose 3*s = -5*a + 170, m = -s + 2*s + 3*a. Is s prime?
False
Let d(c) = -6*c**3 - 4*c**2 - 2*c - 5. Is d(-4) a composite number?
True
Let w(j) = 1847*j - 4. Is w(1) composite?
True
Suppose -5*u + 200 = -3*v, -5*u - 77 = -2*v - 272. Is u a composite number?
False
Let s be (-2)/(1*(-8)/596). Let v = s + -87. Is v composite?
True
Let j be (-1)/4 - 126/(-24). Suppose 0*y - 27 = j*s - y, y + 33 = -5*s. Is 584/10 - s/10 prime?
True
Let q(s) = -s**2 - 7*s + 2. Let r be q(-7). Suppose -4*c + 0*c + 24 = 4*l, -l + 5*c - 12 = 0. Suppose r*n - 110 = -l*n. Is n a prime number?
False
Suppose -30 = -2*j - 4. Suppose c + j = 2*c. Is c composite?
False
Let d(m) = m**2 + 4*m + 2. Let y be d(-3). Let r be 5*((-2)/(-5))/y. Is 5/10 - 7/r composite?
True
Let v(m) be the third derivative of m**4/4 - m**3/3 + 3*m**2. Is v(2) prime?
False
Let y = 3201 + -2206. Is y a prime number?
False
Let k = -1322 - -2551. Is k composite?
False
Let m(c) = 52*c - 6. Is m(5) prime?
False
Suppose 2*s - 839 - 1319 = 0. Is s a prime number?
False
Let o(q) = -q**3 + 3*q**2 + 5*q - 4. Suppose 3*n + 3*j - 25 = -n, 23 = 2*n + 5*j. Let b be o(n). Suppose 1 + 63 = 5*r - 3*k, b = 5*r + 5*k - 80. Is r prime?
False
Let p(u) = u**3 + 9*u**2 - 9*u + 9. Let v = 0 + -8. Is p(v) prime?
False
Let d(j) = j**2 - j - 1. Let w be d(2). Is 1 + -2 - -213 - w composite?
False
Suppose q + k = 750, -3*k - 3735 = -5*q - 5*k. Is q a prime number?
False
Let s(i) = -i**3 - 4*i**2 + 5*i + 17. Is s(-9) prime?
False
Let d(o) = 8*o - 5. Let g(q) = q**2 - q + 2. Let f be g(-3). Let u = 20 - f. Is d(u) prime?
True
Let z be -6*(15/6 - 3). Suppose -59 = -z*u + 2*w, 4*u - 84 = u - 3*w. Is u composite?
False
Is ((-59)/5)/(3/(-15)) composite?
False
Let f = 0 + 2. Let l be -3 + 4/2 + f. Suppose -3*g + l + 29 = 0. Is g a prime number?
False
Suppose -4*f = l - 140, -4*f + 36 = 5*l - 104. Is f composite?
True
Is 321/2*(0 + -4 - -6) a composite number?
True
Let j = -21 + 15. Let l = -3 - j. Suppose k - l*c = -2*c + 7, 5*k - c - 35 = 0. Is k prime?
True
Let j = -4 - 8. Is (-580)/(-6) - 4/j a composite number?
False
Let q(w) = w**3 + w + 6. Let j be q(7). Is (j/(-16))/((-3)/12) prime?
True
Is (-1 + 15/6)/(9/21834) a prime number?
False
Suppose 2*o - 4 = -0*o. Suppose o*n - 35 = -5. Suppose -5*a = -2*s - 99, 0*s - 2*s - n = -a. Is a prime?
False
Let o = 1 - 2. Is 1 + o*2 + 36 a composite number?
True
Let l(h) be the first derivative of -5*h**3/3 + 1. Let c be l(-1). Is (-14)/5*c/2 a composite number?
False
Let o(p) be the third derivative of -11*p**6/120 + p**4/24 - 3*p**2. Is o(-1) composite?
True
Let a(c) = 188*c - 9. Let v be a(-7). Let r = v + 1882. Is r prime?
True
Suppose 2 = -5*i + 3*i. Is (29 + 1)*i/(-2) a prime number?
False
Let z = 1 - -14. Let w = 52 - z. Is w composite?
False
Suppose 5*g = -k + 162, 4*k - 3*k - 160 = -3*g. Is k composite?
False
Suppose 4*g = -4*d + 1696, 0*d = 5*g + 4*d - 2118. Is g composite?
True
Let o be -1 + 3 - -1*1. Suppose 5*d + 2*u - 4*u = 598, o*u - 224 = -2*d. Suppose d + 40 = 2*v. Is v composite?
False
Let y(k) be the third derivative of -k**6/120 + k**5/15 + 5*k**4/24 + 2*k**3/3 + 3*k**2. Let t be y(5). Suppose t*h = 2*h + 322. Is h a composite number?
True
Let f = -4 + 2. Let x(v) = -3*v**3 - 4*v**2 - 7*v + 1. Let i(k) = -k**2 - k. Let y(u) = -5*i(u) + x(u). Is y(f) a prime number?
False
Let j(s) = 1322*s. Is j(1) composite?
True
Let g = -9 + 4. Let s be ((-1)/g)/((-2)/(-10)). Let h = 8 - s. Is h prime?
True
Let i(b) = -28*b - 1. Let l be i(2). Is l/(-4) - 4/16 a prime number?
False
Let j be -2 + 3*116/3. Suppose -2*h = 4*h - j. Is h a prime number?
True
Suppose 39 = -q - 11. Is -2 + 4 + (3 - q) a composite number?
True
Let y = -9 - -12. Let g = y - 5. Is g/7 + (-135)/(-7) a composite number?
False
Suppose 0 = 4*u + 5*g - 1167, -1177 = -4*u - 0*u + 5*g. Is u a composite number?
False
Suppose 4*d - 5*i = -d + 640, -d - i = -126. Is d composite?
False
Let p(t) = t**3 + 12*t**2 + 10*t + 6. Is p(-9) a composite number?
True
Let f(r) = r**2 + 4*r + 10. Suppose -2 = 3*a - a - 4*m, -a - 3*m = 6. Let q be ((-3)/1 + 6)*a. Is f(q) a prime number?
False
Let y(i) = -53*i. Suppose 2*m + 0 = -2. Is y(m) a prime number?
True
Let g be -2 + 0 + -1 + 4. Let c = 16 + g. Is 4 - 2 - (0 - c) a prime number?
True
Let i = 12 + -9. Suppose -122 - 401 = -4*h + i*d, 3*h + d - 376 = 0. Is h a prime number?
True
Suppose 0 = 2*i + i + 3*s - 270, -5*i + 2*s + 464 = 0. Let k = 241 - i. Is k a prime number?
True
Let y = -124 - -68. Let w = y + 145. Is w prime?
True
Suppose 0 = -4*u + 5*p + 1171, -4*p + 0*p - 584 = -2*u. Is -1 + 5/(5/u) composite?
False
Suppose -2*a = -3*y + 2*a + 1593, y - 4*a = 523. Is y composite?
True
Is ((-1)/(-3))/(2/5814*3) a composite number?
True
Suppose -7*h - 1172 = -11*h. Let r = -130 + h. Is r composite?
False
Let f = 3422 - 1561. Is f a prime number?
True
Let f be (4 + -9)*4/(-5). Suppose -5*m = -f*d - 33, d - m + 9 = -d. Is 51 + (d - -3) - 1 composite?
True
Let k be 1/(-1 + 1 - 1). Is -2 - (k + (-3 - 49)) composite?
True
Let f(z) = -z + 4. Let s be f(3). Let p(x) = 4*x - 1. Is p(s) prime?
True
Let x(d) = 6*d + 7. Is x(4) composite?
False
Let j be (-6)/4 + (-14058)/(-36). Suppose x - 42 = j. Is x a composite number?
False
Suppose -3*t + 4*h + 5939 = 0, 4*h + 7912 = 4*t - 0*h. Is t a prime number?
True
Let c(p) = -35*p**3 + 4*p**2 - 4*p - 3. Let s(m) = -17*m**3 + 2*m**2 - 2*m - 2. Let w(f) = -3*c(f) + 5*s(f). Is w(1) composite?
False
Let o = -7 + 7. Let a(h) = h + 331. Is a(o) composite?
False
Let g(c) = c**3 - 3*c**2 - c - 2. Let a(w) = -3*w**3 - 3*w**2 - 3*w - 3. Let m be a(-3). Let b be (-1)/(-4) - m/(-16). Is g(b) a prime number?
False
Let j(q) = 177. Let u(k) = -k + 176. Let z(v) = 3*j(v) - 2*u(v). Is z(0) a prime number?
True
Let x(t) = -3*t + t - 1 + t. Let b be x(-1). Suppose 0 = -c - 3*h + 65, 2*c + b*h - 142 = -3*h. Is c composite?
True
Suppose 5*j + 8 = -2*x + 26, -5*j + 16 = 4*x. Suppose -2*w + 52 = 2*d - j*d, 0 = -w - 3*d + 26. Is w a composite number?
True
Let v(d) be the third derivative of d**8/2016 + d**7/1260 + d**6/240 + d**5/60 - d**2. Let a(j) be the third derivative of v(j). Is a(-2) a composite number?
True
Suppose -s + 5 = -4. Suppose -3*p - 5*h - s = -185, 4*p = -h + 229. Is p a composite number?
True
Let z be 2*51 - (1 + -3). Let y = z - 47. Is y a prime number?
False
Let v = 8 - 3. Is (-726)/(-55) + (-1)/v a composite number?
False
Suppose 2*t = 3*o + 3889, 0 = -3*t + 4*t - 2*o - 1943. Is t a prime number?
True
Suppose p = -2*p + 9. Suppose -2*r + p*l - 28 = -l, -5*r - 40 = -4*l. Let s(g) = 2*g**2 + 4*g + 3. Is s(r) composite?
False
Let j = -10 + 99. Is j prime?
True
Suppose q - i = 338, 2*q + 2*i - 410 = 262. Is q a composite number?
False
Let v be (-4)/24 + 1/6. Let f = 4 + v. Suppose 0 = -0*l - f*l + 356. Is l prime?
True
Suppose 0*o - 4*o + 140 = 4*m, 5*m + 137 = 3*o. Let t = o - -14. Is t a prime number?
True
Suppose -2723 = -39*y + 38*y. Is y a composite number?
True
Let o(r) = -6*r**3 - r**2 - 2*r - 2. Let k = 11 - 13. Is o(k) composite?
True
Let i(l) = -4*l + 2 + 7*l**2 + 3 + 2 + l**3. Suppose -2*b = -8, -2*z + b = 3*z + 39. Is i(z) a prime number?
False
Let h(g) = 47*g**2 + 2*g - 22. Is h(9) a composite number?
False
Let f = 559 + -266. Is f a prime number?
True
Suppose -i = 4 - 5. Let s = 4 + i. Suppose -3*x + 43 = r + 6, 0 = s*x - 3*r - 71. Is x a prime number?
True
Let d = 39 + 182. Is d a prime number?
False
Let h be 5/(-2)*(-32)/20. Suppose -h*w + 6 = -6. Suppose -w*a = -12 - 21. Is a a composite number?
False
Let r = -17 - -32. Suppose r*y - 20*y = -2155. Is y a composite number?
False
Suppose -o + 5*t + 67 = 0, -2*o + 2*t + 232 = 2*o. Is o a composite number?
True
Suppose -3*j = 3*d 