 prime?
True
Let p = 2474 + -1063. Is p composite?
True
Let o(k) = 468*k**3 + k**2 + k + 5. Is o(2) composite?
True
Let m(q) = -2*q - 8. Let l be m(-6). Let u = 4 - -15. Suppose -l*h + u + 201 = 0. Is h a prime number?
False
Let i(n) = 10*n + 41. Is i(17) prime?
True
Suppose 8*g = 2*g + 1266. Is g prime?
True
Is (-2 - -2) + (2745 - -4) composite?
False
Let h = 3852 - 2622. Suppose f - h = -f. Suppose -5*l + 4*m = -f, 4*m - 40 + 528 = 4*l. Is l prime?
True
Let a(j) = 14*j**3 - 8*j - 6. Let r(g) = -7*g**3 + 4*g + 3. Let x(q) = 2*a(q) + 5*r(q). Suppose 6 = -5*h - y - 9, -4*y - 30 = 5*h. Is x(h) prime?
False
Let s be 2 + (2 - 3) + 6. Let l(x) = x**2 + 0*x**2 + s*x + 3 - 5. Is l(-8) a composite number?
True
Let p be 3/(-9) + 30/9. Suppose 23 = p*o + 2*g - 4, 0 = 4*g. Is o a prime number?
False
Let x = 3187 + -1678. Is x a composite number?
True
Suppose -8892 = -3*y + n, 2948 = y + 8*n - 3*n. Is y composite?
False
Is 49 + (-6*1)/(-3) composite?
True
Let o be 0 + 0 + 31 + 1. Let q be 7/14 - (-21)/2. Let p = o - q. Is p a composite number?
True
Let o be (-21)/(-3) - (-2)/(-1). Let t = 3 + -3. Suppose -4*a + 63 + 7 = o*y, -5*a - y + 77 = t. Is a prime?
False
Let i(m) = -15*m - 11. Let y(u) = 31*u + 23. Let s(z) = 13*i(z) + 6*y(z). Is s(-4) a composite number?
False
Let f(u) = 2*u**3 - 21*u**2 + 7*u + 29. Is f(14) prime?
True
Let f(x) = 18*x - 17. Is f(8) a composite number?
False
Suppose -2*d = 2*d + 1240. Is 12/10*d/(-4) a prime number?
False
Let k(w) = 10*w + 7. Let h be k(6). Suppose 0*b + b = h. Is b prime?
True
Let i(z) = -z**3 - 2*z**2 - 12*z - 11. Is i(-8) prime?
False
Let r(z) = 2*z**2. Let a be r(-1). Let k be a*(-4 + 1)/6. Is -1 + k + 297/3 prime?
True
Let o(u) = u - 10. Let s be o(12). Is (7/(-28))/(s/(-536)) a prime number?
True
Suppose 0 = 3*z + z - 16. Suppose -3*l - 53 = -z*w, w = -w - 4*l + 10. Is w composite?
False
Is (-7 - (3 - 7)) + (586 - 0) composite?
True
Let i(g) = 78*g**2 - 2*g - 1. Is i(-1) a composite number?
False
Suppose -5*i + 10 = -3*i. Let r(h) = 2*h**3 - 4*h**2 - 2*h - 1. Let s be r(4). Suppose -2*j - s = -3*u, 2*j = -i*u + 3*j + 80. Is u a composite number?
True
Let s be 37/4 - (-2)/(-8). Suppose x - 6 + 3 = 0. Suppose -x*q + 27 = -f - s, -5*f = -15. Is q a prime number?
True
Suppose 320 = m - 6*m. Let l = m + 117. Is l a composite number?
False
Is ((-3)/4)/(8/(-4768)) prime?
False
Suppose 0 = 23*z - 25*z + 538. Is z a composite number?
False
Let t(p) be the first derivative of -p**3/3 + 7*p**2/2 - 5*p + 1. Let f(g) = 3*g**3 + g. Let j be f(1). Is t(j) composite?
False
Suppose o + 5*u - 13 = 0, 4*o - u - 17 = -7. Suppose -o*v - a + 54 = 0, -3*v + v = -5*a - 53. Is v prime?
True
Let u be 22/6 + (-3)/(-9). Suppose -92 = -u*f + 56. Is f prime?
True
Let v = -698 + 2097. Is v composite?
False
Is 0 + 642 + (-1)/1 a prime number?
True
Let g be (2/6)/((-2)/(-48)). Suppose 4*w = g*w - 8. Suppose w*n - 193 = 65. Is n a prime number?
False
Let c be ((-1)/3)/((-3)/45). Suppose 20 = -c*m, 3*h + 0*h + 54 = -3*m. Is ((-6)/(-4) - 2)*h prime?
True
Let h = 24 - 8. Suppose -3*y + 73 = h. Is y prime?
True
Let s = -10 + 12. Is (141/(-6))/((-1)/s) a prime number?
True
Let o(g) = -6*g + 0*g - 8 + g. Suppose s - 2*s = 2*p + 21, 2*p = s - 15. Is o(p) a prime number?
True
Suppose k + 1119 = 4*k. Is k prime?
True
Let k(p) = -p**2 - 3*p + 1. Let j be k(-3). Is j*21/1 + 1 a composite number?
True
Let b be (-6)/18 - (-4438)/(-6). Let z = 17 - b. Is z a prime number?
True
Let n be (4 - 0) + 4 + -6. Suppose -4*s - 2*m - n*m + 4 = 0, 0 = s - 3*m - 17. Is (-2)/s + (-1641)/(-15) a composite number?
False
Suppose -2*h + 176 = -2*p, 2*h - 2*p = p + 174. Let q = h + -57. Is q a prime number?
False
Suppose a = 54 + 221. Suppose w = 6*w - a. Is w a prime number?
False
Let h(o) be the third derivative of -o**7/280 - o**6/72 - o**5/30 - o**4/12 - o**3/6 - o**2. Let p(r) be the first derivative of h(r). Is p(-3) composite?
True
Let f = -57 + -116. Let j = 104 + f. Let r = 126 + j. Is r composite?
True
Let j(s) = s**3 + 11*s**2 - 11*s + 17. Let a be j(-12). Let b = a - 2. Suppose 5*c = -m + 43, -b*c - 23 = -m + 2*c. Is m a prime number?
False
Is -1 + 5382 + 2 + -2 composite?
False
Suppose 0 = -3*p + 6*p + 138. Is p/(-4*2/4) a composite number?
False
Let p be (-1)/2 - 1715/(-10). Let j = p + -82. Is j a prime number?
True
Let l(j) = j - 6*j - 1 + 5*j**3 - 3*j**3 - 5*j**3. Is l(-6) a composite number?
False
Is 8/20 + (-793)/(-5) a composite number?
True
Let s be 0/5 + 5*1. Let y = -3 - -18. Suppose -y = -2*r + s. Is r prime?
False
Let l(s) = -2*s**2 + 15 + 6*s**2 + 15*s - 3*s**2. Let m(u) = -u - 1. Let y(a) = -l(a) - 4*m(a). Is y(-9) a composite number?
False
Is (-314)/(-4)*(-5 + 19) prime?
False
Suppose 30 = 4*b - 2*n, -3*b - b + 5*n + 45 = 0. Suppose 0 = -4*l + b*p + 24, 4*l + p = 2*l + 12. Let k = l + 1. Is k a composite number?
False
Suppose 0 = 3*d - 3*f - 21, -d = d - 3*f - 11. Is d a composite number?
True
Suppose 5*x - 16 = -6. Let k = -8 + 11. Suppose -3*c - 46 = -2*b - x*c, 0 = -k*b - c + 59. Is b prime?
False
Suppose -19 = 3*c + 2. Suppose 3*d = 4*d + 10. Let i = c - d. Is i a composite number?
False
Suppose 9 - 7 = 2*q. Is -2*(-122 + 3) + q prime?
True
Let n(i) = -i**2 - 7*i. Let y be n(-7). Suppose -v - d = 106, y*d = -3*v - 2*d - 319. Let t = v - -160. Is t a prime number?
True
Suppose 0 = 3*g + a - 2394, 4*g + 2*a = -a + 3197. Is g a composite number?
False
Let j(i) = 7*i**2 + 5*i - 65. Is j(24) a prime number?
False
Let d(q) = -q**3 + 8*q**2 + 6*q - 13. Is d(8) a composite number?
True
Suppose 5*l - 835 = -2*z, -2*l + 334 = 2*z + z. Is l composite?
False
Suppose 5*f - 4222 = -m, 2*m - f - 4*f = 8399. Is m a composite number?
True
Suppose 2*u - 137 - 33 = 0. Is u a composite number?
True
Let r(w) = 34*w**3 - 2*w**2 + 1. Let q(n) = n**2 + 7*n + 1. Let b be q(-7). Is r(b) composite?
True
Is (-252)/(-35) + (-2)/10 a prime number?
True
Let f = 11 - 2. Let u be 523 + f/3 + -6. Suppose -5*j - u = 2*y - 7*y, 525 = 5*y - 4*j. Is y a composite number?
False
Suppose 4*m = 4*n + 1496, 8*n - 1143 = -3*m + 4*n. Suppose 4*z - 4*s - 203 = m, 4*z = 2*s + 588. Is z a composite number?
False
Let c(f) = -40*f - 5. Suppose -q - 4*p = 2*q + 29, 26 = -2*q - 4*p. Is c(q) a composite number?
True
Is (-127)/((-9)/(-15) + (-16)/10) prime?
True
Let g(s) = -2*s**3 - 10*s**2 - 7*s - 1. Let q be g(-6). Let c = -60 + q. Is c a prime number?
True
Is (-2*1)/((-20)/4870) a composite number?
False
Suppose -101 = -4*y - a + 114, 0 = 5*y + 3*a - 260. Is y a composite number?
True
Suppose h - 4*p + 8 - 2 = 0, -2*h + 5*p = 0. Suppose l + 154 = 5*r, -2*r = -3*r - 5*l + h. Suppose r = 3*t - t. Is t prime?
False
Let y(s) = 128*s - 1. Let d(m) = -m**3 + 4*m**2 - 4*m + 4. Let i be (-5)/(15/(-18)) + -3. Let p be d(i). Is y(p) composite?
False
Let x = -13 - -74. Let u = 154 - x. Is u prime?
False
Suppose 20 = -2*n - 3*n, -z - 4*n + 360 = 0. Suppose 3*w - 6947 = g, -5*g + z = 3*w - 6595. Is w a prime number?
False
Suppose -5*s + 46 = -24. Suppose -4 + 28 = 3*u. Is u/28 - (-178)/s composite?
False
Suppose 4*u + 3*o = -18 + 6, 20 = 2*u - 5*o. Suppose u*t = t, 3*t = -2*h + 150. Suppose -5*y = 0, -2*f + h = 3*y - 83. Is f prime?
True
Let t(u) = 0 + 3 + 44*u - 1. Is t(1) a prime number?
False
Is (-6)/(-2) + 250*4 composite?
True
Suppose -229 + 33 = -4*c. Is c a prime number?
False
Let a = -2 + 4. Suppose -5*n - l + 382 = -a*n, 0 = 4*l + 20. Is n prime?
False
Suppose x + 5 = 10. Let v be 964/10 - 2/x. Suppose -3*c = 5*l - 583, 4*c - 318 = -2*l - v. Is l composite?
True
Let v be (-362)/(-3) - (-4)/(-6). Suppose -2*g + v + 50 = 0. Is g a composite number?
True
Let b(h) = 66*h**2 - 4 + 8*h - 6*h + 0*h**2 + 3. Is b(-3) a prime number?
True
Suppose -2*d - 244 = -2*x - 56, -3*x = d - 270. Suppose 3*u = -2*v + x, 4*v - 189 = u - 0*u. Is v a prime number?
True
Let w(r) = 11*r - 3. Let o be 4/1*1/2. Is w(o) a composite number?
False
Let f be (1 + -1)/(2 + -1). Suppose f = 4*l - 5*l. Suppose 0 = 2*w - l*w - 158. Is w composite?
False
Let v = 7 - 3. Suppose v = -5*k + k. Is 1/(-3)*345/k composite?
True
Let o(r) = r**2 - r + 3. Let q be o(0). Suppose -4*f - 32 = -m, 0 = 2*m + q*f - 2*f - 37. Let h = m + -13. Is h a composite number?
False
Let w(l) = -2*l - 6. Let b be w(-4). Suppose -3*r + 4*o = -0*r - 58, -3