= o**2 + 3*o + 9. Let n(c) = c - c**3 - 2 + 0*c**3 + 2*c - c**2. Let m be n(2). Is h(m) composite?
True
Let t(s) = 9*s + 5. Let c(n) = -n**2 + 27*n + 15. Let w(m) = -2*c(m) + 7*t(m). Suppose -4*f - 5 = 19. Is w(f) a prime number?
True
Let o = 11 - 6. Suppose -4 + o = l. Is (-1*2)/(-2) + l prime?
True
Is -3 - 1 - -4 - (-1 - 126) composite?
False
Let i(c) = -c**3 + 3*c**2 - 3*c - 4. Suppose -6 = 2*l - 0*l. Is i(l) a prime number?
True
Suppose -15 + 3 = 2*r. Is (-112)/(-6) + (-2)/r a composite number?
False
Suppose 0 = -6*o + o + 15. Let u = -13 + o. Let z = u - -17. Is z a composite number?
False
Is 22/(-12) + 2 + (-1613)/(-6) prime?
True
Is 2790/12 + 1/2 a composite number?
False
Suppose -4*v = -1122 - 1274. Is v a prime number?
True
Suppose -4*r + 28 = 4*h, 0*h + 4*r = -3*h + 23. Suppose h*t - 619 = -f - f, 605 = 5*t - 5*f. Is t prime?
False
Suppose 0 = -3*v + 7*v. Let i = v - -67. Is i a prime number?
True
Let p(r) be the third derivative of -r**5/60 - r**4/6 + r**2. Let a be p(-4). Suppose -3*k + k + 46 = a. Is k a composite number?
False
Suppose 5*y = 2*y + 3. Is 1143/(-36)*y*-4 prime?
True
Let v(p) = -p**3 + 8*p**2 - 7*p + 5. Let d = 6 - -1. Let k be v(d). Suppose 3*j - k*h = 6*j - 298, j - 2*h = 81. Is j composite?
True
Let a be 3*(-5)/(15/123). Let p = 208 + a. Is p a composite number?
True
Let i = 131 + 92. Is i a prime number?
True
Let o(k) = 0*k + 0 - 3*k - 7 - 8*k + k**2. Let v be o(12). Let x(c) = c**2 + 7*c - 7. Is x(v) a prime number?
True
Let d = -191 - -732. Is d a composite number?
False
Let p be (-2)/7 + (-60)/(-14). Let j be 6/4*p/3. Is 71/5 - j/10 a prime number?
False
Suppose -2*s + 0 = -2, 5*d + 4*s - 3954 = 0. Suppose 0 = -0*b - 2*b + d. Is b a prime number?
False
Let v(k) = 253*k**2 - 2*k - 2. Is v(-3) a prime number?
True
Let s(f) be the second derivative of -f**5/4 + f**4/4 + f**3/3 - f**2/2 + 2*f. Is s(-3) prime?
False
Let q = 1635 + -386. Is q prime?
True
Suppose -5*a + 19 = -6. Is (-792)/(-10) - 1/a composite?
False
Suppose -y + 20 = -2*h, 5*h + 9 + 36 = 2*y. Suppose -3*s + 0*v - y = 2*v, 5*s = 2*v - 6. Is ((s - -3) + -2)*-31 prime?
True
Let s = -17 + 25. Let g(t) = 4*t - 11. Let d be g(s). Let p = d - -56. Is p prime?
False
Suppose 2*c - 3*c = -3*d + 427, 3*c - 411 = -3*d. Is d a composite number?
True
Let p(z) = z - 5. Let i be p(6). Let u be (6/8)/((-1)/(-4)). Let m = u - i. Is m composite?
False
Let h = 859 + -323. Suppose -2*b + 2*d = -164, 2*b + 5*d = 2*d + 174. Suppose -b = 4*n - h. Is n composite?
False
Suppose -11 = -5*f + 4*a, 0 = 5*f - f + a - 13. Suppose 8*n - f*n = 185. Is n a composite number?
False
Suppose 2*j - 5*s + 18 = 3*j, j - 4*s + 9 = 0. Suppose 2*b + 98 = -l + j*l, -3*l + 123 = 5*b. Is l composite?
True
Is (-2*753 - 1)*-1 composite?
True
Let y = 2 + -2. Suppose y = 2*b - 4 - 0. Suppose 2*k + b*k = 84. Is k a prime number?
False
Let l(a) be the second derivative of -a + 7/2*a**2 - 1/12*a**4 + 0*a**3 + 0. Is l(0) composite?
False
Suppose 2*t - 1152 = -t. Is t/15 + (-2)/(-5) prime?
False
Let a(s) = -12*s**3 + 2*s**2 + 2*s + 1. Is a(-3) a prime number?
True
Let d(q) = -q**3 + 6*q**2 + 9*q - 5. Let j be d(7). Let r = 31 - j. Is r composite?
True
Is (-30)/(-9)*318/4 composite?
True
Let y = 9 + -7. Let k(r) = 106*r - 3. Is k(y) composite?
True
Suppose 5*k - 19 = 2*h + 23, -3 = -k - 5*h. Let y = k - 1. Is y composite?
False
Suppose -4*b + 4*c = -224, -c + 60 = b - 3*c. Suppose d - 27 - b = 0. Is d a composite number?
False
Let j = 84 - -37. Is j a prime number?
False
Let c = 6409 + -3100. Is c composite?
True
Let y be (-2 - 266)*(-12)/(-8). Let b = y + 1043. Is b composite?
False
Suppose 3884 = -3*c + 7*c. Is c composite?
False
Let r(f) = -f**3 - f + 38. Let a be r(0). Let g be 2/6 - 50/(-3). Let u = a + g. Is u a prime number?
False
Let p(v) be the third derivative of -5*v**4/8 - v**3/6 + v**2. Is p(-6) a prime number?
True
Let l(u) = 10*u**2 - 1 - 1 - u + 2*u. Suppose 21 = -6*a - a. Is l(a) composite?
True
Let n(a) = -a**3 + 10*a**2 - 9*a + 3. Suppose 5*c = -0*c + 45. Let u be n(c). Suppose -3*h + r - 10 = -5*h, 4*r = u*h - 4. Is h a prime number?
False
Suppose 0 = l - 4*l - 2*x - 76, 4*l = -x - 108. Let d = l - -41. Is d a composite number?
False
Suppose 5*b + l = 2093, -3*l - 4 = 2. Is b a composite number?
False
Let t(w) = w**2 + w - 7. Suppose -4 = 2*x - 4*x. Suppose -x*k + 9 = -7. Is t(k) a composite number?
True
Suppose 3*c - 31 = 128. Is c a prime number?
True
Let l(o) = -3*o**3 + 3*o**2 - 2*o - 1. Let w(h) be the second derivative of h**5/20 + 7*h**4/12 + 7*h**3/6 + 3*h**2/2 + 3*h. Let g be w(-6). Is l(g) prime?
True
Let a(g) = -17*g - 5. Let l(n) = -17*n - 6. Let r(u) = 4*a(u) - 3*l(u). Is r(-3) composite?
True
Let s(w) = -7*w**2 - 2*w + 6. Let g be s(4). Let j = -312 - g. Let z = j - -325. Is z composite?
False
Let w = -4 - -6. Let u be 1 - 1*(1 + 2). Is (w/6)/(u/(-498)) a composite number?
False
Suppose 17*u - 723 = 1232. Is u a prime number?
False
Suppose 4*o - 22 - 13 = -3*a, 15 = 3*o. Suppose -3*d - 8 = -a*d. Suppose -3*x = d*b - 447, -b + 89 + 60 = x. Is x a composite number?
False
Is (-4)/14 + 10265/35 composite?
False
Let o(n) = -3*n + 3. Let i be o(2). Let f be (2/(-1) - 4)*i. Suppose 2*j - 60 = -5*s, 3*j - f = -4*s + 23. Is s a prime number?
False
Suppose -3*b - 4*q - 11 = 0, -4*q + 0 = -b + 7. Let x = -1 - b. Is 2*24 + x + -1 a prime number?
True
Let r(a) = a**2 - 3*a + 9. Let l be r(9). Let y = l + 4. Suppose y = -2*w + 1005. Is w prime?
False
Suppose 10*v - 15 = 7*v. Suppose -v*f = -45 - 50. Is f a prime number?
True
Let s = 23 - 8. Is s a prime number?
False
Let x(n) be the first derivative of 25*n**2/2 + 4*n + 1. Let o be 2/5 - 13/(-5). Is x(o) a prime number?
True
Suppose -3*y = 3*y - 708. Is y a composite number?
True
Let v(g) = -g**2 + 3*g. Let q be v(3). Suppose 5*s - 3*y = 2*y + 35, q = -2*s - y + 26. Is s composite?
False
Let s(y) = -y**2 - 3*y + 4. Let t be s(-4). Let f(c) = 15 - c - c**2 + c + t*c**2. Is f(0) prime?
False
Let r(z) be the third derivative of z**4/24 + 2*z**3/3 - 4*z**2. Let k be r(-4). Suppose k = 8*y - 3*y - 1025. Is y a composite number?
True
Let u be (-1)/(20/18 + -1). Is (586/(-6))/(3/u) prime?
True
Is 894/12*(0 + 2) composite?
False
Let p be (-1 - -7) + 4/(-4). Suppose 0 = 2*k, -p*k + 135 = -3*d + 384. Is d prime?
True
Let q = 752 - 476. Let i = q - 85. Is i composite?
False
Is 3080/15 + (-2)/6 a prime number?
False
Let n(v) = 0*v**2 - 11*v + v**3 - 1 - 1 + 9*v**2 - 7. Is n(-8) a prime number?
False
Let l be 6/27 + 145/(-45). Let t(s) = -17*s - 2. Is t(l) a prime number?
False
Suppose -7*s + 28 = -3*s. Is s a composite number?
False
Let l be 2*(3 + 46/4). Let h = 43 - l. Is ((-76)/(-6))/(h/21) composite?
False
Let k = 1014 + -181. Suppose 5*q - k = 5*n + 197, 427 = 2*q + 3*n. Is q a prime number?
False
Let y = 1057 - -106. Is y a prime number?
True
Suppose -15 = 2*s - 5*l, 5*s - 3*l = -0*l - 9. Suppose -p - p + 194 = s. Is p prime?
True
Suppose 5*m - 6*m = -249. Is m composite?
True
Suppose -3*t - 56 = -221. Is t a composite number?
True
Is 2 + (-67866)/(-54) + (-2)/(-9) prime?
True
Let k(d) = -52*d - 9. Is k(-4) a composite number?
False
Let v(p) = -1 - 2*p + 155*p**2 - 30*p**2 + p**2 + 0*p. Is v(-1) prime?
True
Suppose 0 = 5*a - 2*n - 4, -4*a - 2*n + 17 = n. Suppose -2*j = -5*c + c - 10, a*c = -j - 11. Is -2 - j*(1 + 6) prime?
True
Suppose -f - 2*d = 2*f - 4, 0 = -f - 2*d - 4. Suppose v + 2*b = -0*b + 167, -4*v = -f*b - 644. Is v a composite number?
False
Let r(u) be the third derivative of -5/3*u**3 - 1/120*u**6 - 2*u**2 + 0 + 0*u + 3/20*u**5 - 1/6*u**4. Is r(8) a prime number?
False
Let x(d) = 17*d**2 - d - 6 - 2*d**3 - 3*d**2 - 7 + 3*d**3. Is x(-10) a composite number?
False
Suppose l - 3*a - 10 = -0*a, -5*a - 10 = 0. Suppose l*i + 93 - 3073 = 0. Suppose 0 = -3*m - 2*m - g + 745, -5*m = -3*g - i. Is m a prime number?
True
Let g(u) = -u**2 - 8*u - 8. Let q be g(-6). Let v(w) = -2*w - 3. Let z be v(-4). Suppose -a = 5*r - 51, 146 + 109 = z*a + q*r. Is a a composite number?
True
Let w(x) = -x**2 + 7*x - 2. Let q be w(6). Is (212/(-8))/((-2)/q) prime?
True
Let s = 102 + -172. Let g = s - -101. Is g prime?
True
Let c(v) = 2*v**2 + 9*v - 1. Is c(-8) a prime number?
False
Suppose -5*n - 438 = 4*a, -2*n - 195 = -0*n - 5*a. Let h = 212 + n. Is h 