 be (-6)/(-4)*(-2)/3. Let t(k) = 99*k**2 - k - 1. Let x be t(u). Let f = -46 + x. Is f prime?
True
Suppose f + f - 18 = 4*n, n + 27 = 3*f. Is f composite?
True
Let m = -2081 + 1404. Is (-4)/4 - (m + -1) composite?
False
Suppose -a = 2*h - 72, 4*a - h - 4*h - 301 = 0. Let g = a + -37. Is g composite?
False
Let w(c) = -c**2 - 8*c - 9. Let l be w(-6). Let a = 3 - l. Suppose a = -2*n + 14 + 8. Is n prime?
True
Let a(j) = -j + 17. Let v be a(12). Suppose -v*c = -157 - 23. Let o = -22 + c. Is o a composite number?
True
Suppose 1 = n - d, 3*n = -n + 2*d + 2. Suppose z - 3*z = n. Suppose p + 0*p = 2*y + 27, z = -5*p - 5*y + 75. Is p a prime number?
True
Suppose -f - 2 = -2*f. Suppose -6*u + f*u = -16. Let t = 6 + u. Is t prime?
False
Let j(k) = -k - 1. Let w be j(-4). Let q be -2 + w*12/9. Let v(y) = 32*y**3 + 2*y**2 + y - 1. Is v(q) a composite number?
True
Let p(r) = 1951*r + 1. Let t be p(-1). Is -3*(1 + t/9) prime?
True
Let c be -1 - 1*(-6)/2. Is (-7 + 5)*(-91)/c composite?
True
Let s = -24 - -16. Let y(t) = -3*t - 9. Let q be y(s). Suppose q = 3*h + 2*h - 5*f, 4*h = 2*f + 14. Is h prime?
False
Suppose 0 = 4*u - 3*u + 6. Is (3/u)/((-3)/318) composite?
False
Let l = -91 + 212. Let a = l - 54. Is a composite?
False
Let o = 154 - -519. Is o a prime number?
True
Suppose p = -2*z - z + 518, p - 526 = 5*z. Is p a composite number?
False
Let n = 235 + -132. Is n composite?
False
Suppose 666 = 5*r + 31. Suppose 276 = -2*a + 3*a. Let v = a - r. Is v prime?
True
Let k be (-70)/(-21)*(-9)/1. Is (k/25)/((-6)/1095) prime?
False
Let o be (-1 - -2) + 27/1. Suppose b - 2*b + o = 0. Suppose -2*i = -3*i + m + 8, 3*i - b = m. Is i composite?
True
Let d = 194 - -333. Is d a composite number?
True
Suppose -35 = -2*h + 5*r + 28, -3*r + 165 = 4*h. Is h prime?
False
Is (0 + -1)/(7/(-763)) composite?
False
Suppose 0 = 3*w - 22 + 1288. Is (w/6)/(1/(-3)) prime?
True
Suppose 5*o + 45 = -k + 2*k, 2*k = -4*o - 36. Is (-6)/o - (-494)/6 prime?
True
Let f be (-27)/6*(-4)/9. Suppose 5*h - 253 = -3*v, 4*h + 0*h - f*v = 220. Is h a prime number?
True
Let l be (6/(-4))/((-3)/156). Suppose 212 = 2*q - l. Is q prime?
False
Let g = -243 - -634. Is g a composite number?
True
Let j(m) = 10*m**2 + 0*m**3 - m**3 + 7*m + m + 1 + m. Is j(9) composite?
False
Suppose o + o - 12 = 0. Is (28/o)/(10/465) prime?
False
Is 13542/9 + 2 - 4/(-12) composite?
True
Let x = 7 + -3. Suppose x*w - 3*c - 7 - 8 = 0, 3*w - 3*c - 9 = 0. Is w composite?
True
Suppose l + 711 = 2*x, 279 = 5*x + 2*l - 1494. Is x composite?
True
Let s = 9614 + -5247. Is s a composite number?
True
Suppose -2335 = -5*o - 630. Is o composite?
True
Let l(c) = 57*c**2 - 3*c - 11. Is l(5) a prime number?
True
Let v = 661 + -268. Is v a composite number?
True
Suppose 2*s + 2*p = 6*s, -3*p - 20 = 4*s. Let a(i) = 21*i**2 + 4*i + 3. Is a(s) a prime number?
True
Let q(c) = 65*c - 3. Is q(2) a composite number?
False
Let y(z) be the second derivative of -41*z**5/20 - z**3/2 - 3*z**2/2 + 3*z. Is y(-2) a prime number?
True
Let w be 4*(-2 - 21/(-12)). Let k = w + -2. Is 57/(k + 6) - 0 composite?
False
Let k(n) = -20*n**3 - n + 1. Is k(-2) a prime number?
True
Let g = -4 + 7. Suppose 5*d = -5, 4*u - 2*d - g*d = -23. Is (2 - u/(-2))*-2 prime?
True
Let r(w) = 5*w**2 + 4*w - 7. Is r(-4) prime?
False
Let b(q) = -q**2 - q + 6. Let c be b(0). Suppose -z = -5*p + 117, -4*p - 56 = -c*p + 5*z. Is p prime?
True
Let v(c) = -14*c**3 + 2*c**2 - 2*c - 3. Is v(-2) prime?
False
Suppose -3*x = -0*x - 909. Is x a prime number?
False
Let c(n) = n + 4. Let h be c(0). Is h/6*564/8 prime?
True
Suppose -1644 = -4*q - 2*t, 0 = 3*q - 2*t - t - 1251. Is q prime?
False
Suppose 32 = 5*t - 18. Suppose n - 1 = -2*v + t, 4*v = -4*n + 16. Is v composite?
False
Suppose 0 = -2*p + 4 - 0. Suppose -149 = -p*r + r. Is r prime?
True
Let x(u) = -u**3 - 13*u**2 + 8*u + 27*u**2 - 6 - 15*u**2. Is x(-4) composite?
True
Suppose 3*g - 3*v - 2166 = 0, -3*v = 2*g - 610 - 809. Suppose n = -2*n + g. Is n a prime number?
True
Suppose -8*h = -5*h - 2517. Is h composite?
False
Let z(o) be the third derivative of o**6/120 + o**4/24 + 5*o**3/3 + 3*o**2. Is z(0) prime?
False
Let i = -593 + 834. Suppose 3*n + 19 = i. Is n prime?
False
Let l(y) = -y**3 + 14*y**2 - 17*y + 15. Is l(11) a composite number?
False
Let p = 2 + 1. Suppose -i = 2*i - o - 11, -p*o = 2*i - 11. Is (4/i)/((-2)/(-134)) a prime number?
True
Let a = 1 - 3. Is (a/(-1) - 1) + 82 prime?
True
Suppose 2382 = 2*s + 4*s. Is s prime?
True
Let s(y) = y**3 + 55. Let n be s(0). Let t = n - 33. Is t prime?
False
Let d = 1 - -48. Let k be (6 - 3 - -29) + 2. Let v = d - k. Is v a composite number?
True
Suppose 0 = -4*r + 328 - 8. Let n = r + 3. Is n composite?
False
Is 993/2*(-6 - -8) a prime number?
False
Suppose -3*a = a - 980. Let w = 449 - a. Suppose 4*z = -0*z + w. Is z a composite number?
True
Let l(b) = -b**2 + 7*b + 3. Let p be l(7). Suppose -p*d = -49 - 20. Is d composite?
False
Let x(n) be the second derivative of 19*n**6/72 - n**5/120 - n**4/24 + n**3/2 + 3*n. Let a(u) be the second derivative of x(u). Is a(-1) prime?
False
Suppose -3*v + h + 1795 = 0, -5*h + 1130 + 659 = 3*v. Let o be 6/(-36) + (-433)/(-6). Suppose -d - o = -x - 188, -5*d - x = -v. Is d composite?
True
Suppose 0 = -z + 24 + 89. Is z a composite number?
False
Let m(t) = -t**3 - 11*t**2 + 9*t + 13. Is m(-12) composite?
True
Suppose -9*i + 1761 = -9192. Is i a composite number?
False
Let b(s) = 4*s**2 - 9*s - 2. Let r = -5 + -2. Is b(r) composite?
False
Let a(y) = -4*y + 1. Let d be a(1). Let w(u) = -5*u**3 - 8*u**2 - 4*u - 10. Let t(o) = 4*o**3 + 7*o**2 + 3*o + 9. Let j(x) = 6*t(x) + 5*w(x). Is j(d) composite?
True
Let n(k) = -k + 12. Let u be n(7). Suppose -u*l - 37 + 0 = -j, 5*j - 5*l = 125. Is j prime?
False
Let p(m) be the second derivative of -5*m**4/24 - m**3/3 - 2*m**2 - 4*m. Let f(w) be the first derivative of p(w). Is f(-3) a composite number?
False
Let v = 4835 + -2682. Is v composite?
False
Suppose 4*p + 777 = 7*p. Is p prime?
False
Suppose -268 = -3*w - 94. Is w a composite number?
True
Let k be (4/12)/((-2)/(-1038)). Let s = k - 122. Is s a composite number?
True
Suppose d + 4*i - 20 = 0, 4*d + 3*i + 0*i - 28 = 0. Suppose -d*u - q = -3*u - 62, u + 5*q - 42 = 0. Let k = u - 41. Is k a prime number?
False
Suppose -10 = -3*t + k, -t + 0*k = 3*k + 10. Suppose w + t*j - 49 = 0, 0 = -4*w + 2*j + 2*j + 256. Is w a prime number?
True
Suppose 0 = -4*j - j. Is j - -2 - (3 + -396) a composite number?
True
Let q(t) = 30*t + 35. Is q(15) a prime number?
False
Let s be 3*(-7)/(63/(-6)). Suppose s*g + 575 = 7*g. Is g prime?
False
Is (-2)/(-7) + 16263/91 a prime number?
True
Let c = 1087 - 668. Is c a prime number?
True
Let g be 4/(-14) - 1860/(-42). Is (g/12)/1*141 composite?
True
Let u(i) = 47*i**3 - 2*i**2 + 2*i - 1. Suppose 2*v - 2 = 4*x, -v - 3*v = -5*x - 7. Is u(x) composite?
True
Suppose -2*c + 4 = -2. Let i be 13/3 - (-2)/c. Suppose -3*z - 161 = -i*b, 5*b + 92 = 4*z + 255. Is b prime?
True
Let x(f) = -114*f + 53. Is x(-20) composite?
False
Let p(b) = -b**3 + 4*b**2 + 4*b - 6. Let q be (-7)/(-4) + (-1)/(-4). Suppose 5*h - 1 = o - 0, -q*o + 4*h + 4 = 0. Is p(o) composite?
True
Let z be 2 - (2/(-2) + 0). Suppose z*t - 226 = t. Is t a composite number?
False
Let l(h) = 23*h + 19. Is l(6) a prime number?
True
Let r(h) = 2*h + 29. Let t be r(-16). Let u(d) = -d**2 + 1. Let w(p) = 17*p**2 + 6. Let j(y) = -4*u(y) + w(y). Is j(t) prime?
True
Let l(p) = -21*p. Let u be l(2). Is (u/(-4))/(3/6) prime?
False
Suppose 1508 = 3*y + 251. Is y prime?
True
Let f(r) = -r**2 - 17*r - 9. Let l be f(-8). Suppose -2*c - c = -l. Is c a prime number?
False
Let c = 2336 - 1219. Is c prime?
True
Let v(t) be the second derivative of t**5/20 + 11*t**4/12 - 2*t**3 + 2*t**2 - t. Let p be v(-12). Suppose -3*q - 223 = -p*q. Is q prime?
True
Suppose 0 = 5*k - 8*k + 3147. Is k composite?
False
Let i(v) be the second derivative of v**4/12 - 2*v**3/3 - 11*v**2/2 + v. Let a be 54/7 + (-6)/(-21). Is i(a) a composite number?
True
Let n = -10 - -6. Let m be 4*(-1 - (n + 2)). Suppose -m*r + 84 = 28. Is r a prime number?
False
Suppose 3*g = -2*g. Suppose 5*z - 4*b - 376 = 0, 0 = z - g*b + 5*b - 52. Let r = 143 - z. Is r prime?
True
Is 1338/(-4)*88/(-66) a prime number?
False
Suppose -4*m + 6 = -2*b + 26, -m