 prime?
True
Suppose -2*v = 4*p + 6, 5*v - 2*p - 37 = -4. Suppose -2*d + 12 = 2*g, -v*g + 5*d + 0 = -20. Suppose -2*i - 18 = -g*i. Is i a prime number?
False
Let b = 3844 - 2076. Suppose b = 19*q - 15598. Is q prime?
False
Let t(m) = 2650*m + 35. Is t(3) a prime number?
False
Suppose -5*m + 3*m - 30 = 2*b, -11 = b - 3*m. Is ((-3)/((-12)/b) - -3)*-794 a prime number?
True
Suppose -33515 = -9*o + 43696. Is o composite?
True
Let r = -657 - -82. Let d(n) = -2*n**3 + 7*n**2 - 3*n + 6. Let z be d(9). Let w = r - z. Is w prime?
True
Is 6609*(52/(-12) - -5) a prime number?
False
Let h(t) be the second derivative of -t**5/20 - 5*t**4/6 + 29*t**3/6 + 7*t**2/2 + 40*t. Is h(-15) a composite number?
True
Suppose 1 = -2*w + 3. Let b be (2 + w)/(-1 - 0). Let y(g) = -6*g**3 - 3*g**2 + 4. Is y(b) prime?
True
Let n be 1/(0 + 1/2). Let f be 2/((-2)/(-8)*n). Suppose -o + 0*s = 2*s - 391, -f*o + 3*s = -1597. Is o prime?
True
Let h(o) = -1. Let y(d) = -45*d - 13. Let z(m) = -4*h(m) - y(m). Is z(12) a composite number?
False
Let z = -475 - -944. Is z prime?
False
Let j(q) = 22*q**2 + 12*q + 39. Let u be j(-21). Is ((-11)/33)/((-1)/u) a composite number?
False
Let q(c) = -5*c**2 + 3*c - 5. Let d be q(-5). Let b(h) = 355*h**2 - h. Let r be b(-1). Let m = d + r. Is m composite?
False
Let x = -971 - -1525. Let s = 3333 - x. Is s composite?
True
Let o be 10/65 + (-42928)/13. Let a = o + 5103. Is a composite?
False
Suppose 0 = -5*b - 4*f - 0*f, -5*f = 2*b + 17. Suppose -5*h - 957 = -2*u + 1449, 0 = b*u - 4*h - 4788. Is u a composite number?
False
Let t = -23 - -18. Let c be (-8)/20 - 337/t. Suppose 358 = 3*o + c. Is o prime?
True
Let n = -17472 + 25325. Is n a prime number?
True
Let h(l) = -l**2 + 39*l - 27. Is h(17) prime?
True
Let b be 1*(-11)/((-44)/6520). Suppose 5*p = -0*p + b. Is p a composite number?
True
Let r(m) be the first derivative of -7*m**2 - 23*m - 11. Is r(-11) a composite number?
False
Is (3488 - -3)/(2/2) a composite number?
False
Let s(j) be the first derivative of -j**2/2 + 6*j - 5. Let l be s(3). Is (4 - l)*-3 - -504 a prime number?
False
Let s = 632 + 3. Is s composite?
True
Is ((-11802852)/(-114))/2 - (-6)/57 a prime number?
True
Let m(x) = 2*x - 19. Let r(c) = -c**3 + 5*c**2 - 3*c + 5. Let g be r(4). Let s be m(g). Is (-1)/(-2)*(399 + s) a composite number?
False
Suppose 0 = -5*b + 4*a + 16, 3*a + 1 = b. Suppose 432 + 232 = b*x. Is x a composite number?
True
Let n = -255 - -123. Let z = n - -221. Is z composite?
False
Let f(r) = 4*r**2 - 3*r - 7. Let k be f(7). Let c be ((-120)/28)/((-3)/k). Suppose 0 = -4*n + 1468 - c. Is n a prime number?
True
Is (-1231062)/(-420) - (-2)/(-20) prime?
False
Let j(z) = -z**3 + 2*z**2 + z - 2. Let d be j(3). Let t(y) = 28*y**2 + 27*y + 7. Is t(d) prime?
True
Let u(t) = t**3 + 15*t**2 + 20*t + 19. Let a(k) = 2*k - 4*k + 0 - k**3 + 5*k**2 + 0 - 3. Let z be a(5). Is u(z) a composite number?
False
Let f(v) = 3*v**3 - 17*v**2 + 8*v - 13. Let x(s) = -2*s**3 + 17*s**2 - 8*s + 14. Let p(b) = 3*f(b) + 4*x(b). Is p(-16) prime?
True
Let o(z) = 138*z + 1. Let p be o(3). Let i(k) = -3*k**3 + 3*k**2 + 3*k - 7. Let b be i(3). Let f = p - b. Is f composite?
False
Let x(z) = 2*z**2 + 8*z + 33. Suppose -j + 4*b - 6 = 0, -4*b = 3*j - 11 + 45. Let g be x(j). Suppose -4*t + 195 + g = 0. Is t a prime number?
False
Suppose w + 4*n - 3429 = 66486, 0 = -w + 3*n + 69908. Is w a prime number?
True
Suppose 5 = 4*z - 3*z, 0 = p + 5*z - 30. Let j(n) = 211*n + 3. Let b be j(3). Suppose b = p*w + 251. Is w prime?
False
Suppose m + 3*p + 12 = 0, -2*m + 7*m + 90 = -5*p. Let b be ((-2)/1)/(14/m). Suppose -4*g + b*d = -2*d - 654, -5*d = 3*g - 473. Is g composite?
True
Let t(j) = 5 + 7*j**2 + 23*j + 5*j - 8*j. Is t(-8) prime?
True
Suppose 5*f - 2587 = 3*c, -25*c + 16 = -29*c. Is f a composite number?
True
Suppose 3*x + 4*p = 2*x + 94, -3*p + 183 = 2*x. Is x/(-495) - (5568/(-11) + 1) composite?
True
Let r = -3 + 7. Let g(h) = -h**2 + 7 + 11*h**2 - 2*h + 0*h**2 - 2*h**2 - 2*h. Is g(r) a prime number?
False
Let d(s) = 106*s**2 - 23*s - 11. Is d(-4) a composite number?
False
Suppose 0 = -2*i - i + 45. Is 2488/i + 4 + (-290)/75 a composite number?
True
Let o = 5559 + 1340. Is o prime?
True
Let r(h) = h**2 + 7*h + 15. Let s be r(-5). Suppose 4*v = n - 11 - 6, 5*v = s*n - 115. Is n a composite number?
True
Let m = 6 + -6. Suppose 0 = -w - 5*s + 20, -8 = -2*w - m*s - 2*s. Suppose 4*g + r - 132 = w, 5*r - 14 = -0*g - g. Is g a prime number?
False
Suppose -2870*h = -2871*h + 2653. Is h prime?
False
Suppose 14 = 5*k + 4. Suppose 0 = k*w - 4*w + 140. Suppose 0 = c + 3*h - w, 2*h + 264 = 3*c + 109. Is c prime?
False
Let l = -7469 + 11836. Is l prime?
False
Let x = -9540 + 14291. Is x composite?
False
Let y(v) = 9*v**2 + 1. Let f be y(-1). Suppose -7*t + f*t = 903. Is t composite?
True
Suppose 3*n - 2*p + 6*p = 12, -5*n - 6 = -2*p. Suppose n = 5*y - 8304 + 769. Is y prime?
False
Let c be (2 + (-3279)/(-6))*2*1. Suppose 13*b = 14*b - c. Is b a composite number?
False
Suppose -5 = -3*o + 4. Suppose i + 3376 = 5*s + 3*i, 0 = o*s - 5*i - 2007. Is s a prime number?
False
Let p = 0 + -5. Let f(k) = -4 + 6*k + 7 + 1 + k**2 + 6*k**2. Is f(p) prime?
True
Let a be -3 + (-16)/(-2) + -2. Let y be 4/a*(-6)/(-4). Suppose 3*v - 1015 = -y*v. Is v composite?
True
Suppose 0 = 6*j - 3*j + 5*u - 47842, -2*u + 63794 = 4*j. Is j prime?
False
Let h = -64 - -63. Let g(i) = -2647*i. Is g(h) a composite number?
False
Let c(w) be the third derivative of w**5/15 + w**4/4 - w**3 - 10*w**2. Is c(-8) prime?
False
Let r = 28907 + -17130. Is r prime?
True
Suppose o - 2*z = -5*z - 2, -3*z = 0. Let p(l) = -199*l + 11. Is p(o) a composite number?
False
Suppose 3*a + 3*a + 12 = 0. Is (-974)/(a - 0/(-4)) a prime number?
True
Let u(o) = -o**3 - 10*o**2 - 12*o - 18. Let f be u(-9). Suppose -f*c = -14*c + 955. Is c a composite number?
False
Suppose -3*x + 1704 = x. Let h = x - 79. Is h a prime number?
True
Let w = 18 - 13. Suppose 2278 = w*u + 593. Is u prime?
True
Is 1/(5/(-201220)*-4) a composite number?
False
Let b(o) be the third derivative of o**6/120 + o**5/10 + o**4/12 + o**3 + 4*o**2. Let m be b(-4). Let i = 281 - m. Is i a prime number?
True
Let d(y) be the second derivative of y**5/20 - y**4 + 4*y**3/3 - 19*y**2/2 + 8*y. Is d(12) a composite number?
True
Let j(r) = 2*r - 2. Let h be j(-5). Let y be 2*3/h*0. Suppose -2*o = -y*o - 470. Is o composite?
True
Let q(t) = 3*t + 18. Let m be q(-6). Suppose -5*i - 1983 + 5348 = m. Is i composite?
False
Let f(l) = 6432*l + 209. Is f(7) a composite number?
False
Suppose -3*i = -5*x - 14454 + 301, 2*i + 3*x - 9448 = 0. Is i a composite number?
False
Let u(o) = -1 - 3 - 7*o + 7. Let i be u(-6). Let r = i - -44. Is r prime?
True
Let f = 1022 + -331. Is f prime?
True
Suppose -3*g - 26187 = -4*l, 0*g = -5*l - 3*g + 32727. Suppose 4*z - 2*n = l, 1639 = -0*z + z + 2*n. Is z composite?
False
Let q = 1008 - 785. Is q prime?
True
Suppose -8*y + 9*y - 28229 = 0. Let x = y - 18155. Is x/8 - (-3)/(-12) a prime number?
True
Suppose 0 = 4*j + 16*j - 808420. Is j composite?
True
Let n(o) = o**3 - 3*o**2 + 2*o - 1. Let y be n(1). Let x(m) = -435*m**3 - m - 1. Let a be x(y). Suppose -3*s + 0*s = -a. Is s prime?
False
Let v be (1 - 2)*(2 - 1). Is (2/(-3)*25656/16)/v a prime number?
True
Let h(k) = k**3 + 13*k**2 + 6*k + 15. Let j be 0*((-12)/4)/3. Suppose -2*r - 24 = -j. Is h(r) a composite number?
True
Let b(o) = -3*o**3 - 2*o**2 - 116*o + 10. Is b(-9) a prime number?
True
Suppose 3*c = 2*l + 316, -440 = -l + 4*l + 4*c. Let o = l + 357. Is o composite?
True
Suppose -26*a + 27435 = -11*a. Is a a prime number?
False
Let f be 15*(-3)/(-8 + -1). Suppose -y - f*b + 1376 = 0, -b - 1 = -4. Is y a composite number?
False
Suppose -u + 0 = 3*y + 18, 3*u + 5*y = -50. Is (-6)/15 + (-21171)/u a prime number?
False
Let d be ((-116)/87)/(((-4)/(-9))/(-2)). Suppose 0 = d*f - 4376 - 58. Is f a composite number?
False
Let v be 4/(-10) + (-2364)/(-10). Suppose 8*g - 1130 = -2*g. Let c = v - g. Is c a composite number?
True
Let r(u) = -2*u**3 - 7*u**2 - 2*u - 6. Let c(m) = -2*m**2 - m + 1. Let l be c(-2). Is r(l) prime?
True
Let a(n) = -14925*n - 2. Is a(-1) a prime number?
True
Let c = 25 - -4652. Is c composite?
True
Let p = 193 + -83. Suppose 5*g - 80 = p. Is g a composite number?
True