lse
Let m(y) be the second derivative of -1/2*y**3 - 2*y + 0 - 1/2*y**2 - 1/4*y**4 + 1/20*y**5. Is m(4) a prime number?
True
Let w(h) = -77*h - 8. Let z be w(-7). Suppose 0 = 13*n - 16*n + z. Is n prime?
False
Suppose -3*l + 14 = -5*p - 6, -2*p = -4. Is l a composite number?
True
Let u(a) = -a + 2. Let p be u(3). Let d(n) = 11*n**2 + n. Is d(p) a composite number?
True
Suppose 5 + 3 = 2*s. Suppose -y - 1779 = -s*y. Suppose 5*a - y = 482. Is a a composite number?
True
Suppose 0 = 3*f - 4*f + 489. Is 1/(-2 + 981/f) a prime number?
True
Let i(y) = 5*y**2 - 11*y - 9. Is i(10) prime?
False
Suppose -4*d + 2*d + 5*a = -54, -2*d = 2*a - 26. Suppose -5*o - 43 = -2*b, -o = 4*b + d - 158. Is b composite?
True
Let t = -267 - -166. Let y be 0 - (1 - -1) - t. Let k = y + -41. Is k a prime number?
False
Let h(i) = 6 - 22*i + 2*i - 1 - 20*i. Is h(-5) a prime number?
False
Let w = -16 + 27. Suppose 5*f + 3*i - 756 = 0, w*f + 4*i - 753 = 6*f. Suppose u = 5*r + f, -4*u = -r - 17 - 557. Is u composite?
True
Suppose -f + 3*f - 4 = 0. Suppose -h + 50 - f = 0. Suppose -d - 11 + h = 0. Is d a prime number?
True
Let o(d) = 11*d**3 - 5*d**2 + 7*d + 1. Is o(5) a composite number?
True
Let f = -6 - -4. Let q be (-8)/f*(-3)/(-4). Suppose -q*b = -31 + 1. Is b composite?
True
Suppose -d = -t + 3 - 5, -2*t - 4*d = -20. Suppose -4*b = -4*f - 276, -t*b + 2*f = 6*f - 126. Is b prime?
True
Suppose 5*j + 4 = 2*r, 3*j = 5*j - r + 1. Let y be 6/j*8/6. Is 37/2*(-2 - y) composite?
False
Suppose -3*o = 4*y + 385, 0*o - o = -5*y + 122. Let a = -305 - o. Is a/((-5)/((-10)/(-4))) prime?
True
Let i(j) = -4*j + 1. Suppose 18 = -g - g. Is i(g) a composite number?
False
Suppose -2*t - 3*q = 2*q - 331, 0 = -2*q - 10. Is t prime?
False
Is (-6 - -3) + (-1608)/(-6) a prime number?
False
Suppose 2*i - y = -4*y + 350, 4*i + 2*y = 684. Is i prime?
False
Let n = -500 - -1915. Is n composite?
True
Let i = 223 + 874. Is i prime?
True
Suppose 0*g - 948 = -4*g. Is g prime?
False
Suppose 0 = -j - 4*i + 321, i - 5*i - 20 = 0. Is j prime?
False
Let w = -115 - -242. Is w a composite number?
False
Let b = 7 + -4. Suppose 144 = b*u + 3*i, -2 + 17 = -3*i. Is u a prime number?
True
Let y = 8 + -16. Let i be (-1172)/y - 2/(-4). Is i + -2 + 3 + 1 a prime number?
True
Let c(r) = 248*r - 3. Is c(2) prime?
False
Let r(v) = v**3 + 9*v**2 + 8*v + 4. Let g be r(-8). Let j(o) = 3*o + 2 + 6 - g. Is j(7) a composite number?
True
Let m = -2 + 4. Suppose m*c + 285 = 3*i, -3*i + c - 3*c + 273 = 0. Suppose 22 = 5*q - i. Is q prime?
True
Suppose 3*b - 4*b + 5*w - 8 = 0, 3*b + 5*w = 16. Let r(f) = f - 11. Let t be r(17). Suppose -b*i + t*i = 572. Is i a composite number?
True
Suppose 0 = 2*x - 0*x - 640. Suppose x = 2*u - 5*d + 67, 2*u + 3*d - 229 = 0. Is u prime?
False
Suppose 5383 = 3*l - 4091. Is l/12 - 2/12 prime?
True
Let r = -5 - -7. Suppose -6*a + 2*a - b = -344, 0 = -a + r*b + 86. Is a prime?
False
Suppose 4*r = 9*r - 2285. Is r a prime number?
True
Suppose l - 34 = 4*l - j, -l + 2*j = 13. Let z = l + 8. Let a = z - -46. Is a a prime number?
True
Let f = -7 + 28. Let n = -111 + f. Let i = -53 - n. Is i a prime number?
True
Is 571 + -3 + (7 - 2) prime?
False
Suppose 32 + 48 = 4*g. Is (g/8)/5*8 a composite number?
True
Suppose 0*a = 3*a - 132. Suppose -5*m + 0*m + q = -70, -3*m + a = -q. Is m composite?
False
Suppose -2*c = 260 - 1038. Suppose 0 = 3*t - f - c, -5*f + 16 = -f. Is t prime?
True
Let j(o) = o**3 + 10*o**2 - 4*o + 3. Let m be j(-5). Suppose 88 = 4*g - m. Is g a prime number?
True
Let j(u) = -u**3 - u**2 + 5. Let w(y) = 3*y**3 + 4*y**2 - 14. Let p = 1 + -4. Let c(r) = p*w(r) - 8*j(r). Is c(-6) a composite number?
True
Suppose 0 = -5*l + 3*a + 562, -3*l - a = -0*l - 340. Is l prime?
True
Let s = 4 + -6. Is 1 - s - 0/8 composite?
False
Let h(n) = 4*n**2 - 9*n - 8. Is h(-7) a prime number?
True
Let f = -17 + 12. Let m = 11 + f. Suppose -2*b - m + 26 = 0. Is b a prime number?
False
Let s(b) = -b**2 + 22*b + 53. Is s(16) composite?
False
Let j be (1/3)/((-2)/(-18)). Suppose 0 = j*v + 2*w - 0*w - 615, 5*v - 1003 = 4*w. Is v a composite number?
True
Suppose 2*q = z - 38, -q + 5*z = q + 54. Let w = -11 - q. Let a = w + 1. Is a composite?
False
Suppose 0 = -v + 5*a + 34, 5*a = -2*v + a + 26. Is v composite?
False
Let z(x) be the first derivative of 3*x**2/2 - 8*x + 1. Is z(9) a prime number?
True
Let j be 9/(-3 - (-174)/57). Suppose 0 = 3*w + 66 - j. Is w a composite number?
True
Suppose -10526 = -2*z + 2*a, 10532 = 2*z - a - 4*a. Is z composite?
False
Let j = 59 + 40. Let t = j + 92. Is t composite?
False
Let z(n) = n**3 - 9*n**2 + 10*n - 9. Let w be z(8). Let m = 0 + w. Is m a prime number?
True
Suppose -3*f - 2*f = -45. Is f prime?
False
Let s be (3 - 5) + (-10)/(-2). Let o(i) = 1 + i**2 - s - 1. Is o(-3) a composite number?
True
Let r = -14 - -14. Suppose -4*h = 12, 0 = 3*v + 5*h - 26 - 31. Suppose -4*u + r*u + v = 0. Is u composite?
True
Let w(z) = -940*z + 11. Is w(-3) composite?
True
Suppose -w + 0*w + 1355 = 0. Let q = -792 + w. Is q prime?
True
Let n(k) = k - 7. Let g be n(3). Let u(f) = f**2 + 22*f - 16. Let h(p) = -7*p + 5. Let t(d) = 7*h(d) + 2*u(d). Is t(g) a composite number?
True
Suppose 0 = -7*a + 3*a + 4*d + 2208, 0 = -5*a - 3*d + 2768. Is a composite?
True
Suppose 0 = 4*f - 3*i - 21, f + 5*i + 21 = 3*f. Let z(d) = 11*d**2 + f + 8*d**2 - 2. Is z(-2) composite?
True
Let d(t) = -265*t + 2. Let u be d(-3). Suppose 793 = 5*b - 0*b + 2*y, 5*b - u = -3*y. Is b composite?
False
Let q(h) = -2*h**3 + 14*h**2 + 9*h - 8. Let w(x) = 3*x**3 - 27*x**2 - 19*x + 16. Let d(c) = -5*q(c) - 3*w(c). Let i = 8 + -17. Is d(i) a composite number?
True
Let d be (2/6)/(4/204). Suppose -2 = -i + d. Is i prime?
True
Let w be -95 - (-6)/(4 + -1). Let a = -46 - w. Is a a prime number?
True
Let g = 204 + -77. Is g prime?
True
Suppose 0 = -2*t + 2*c + 418, 4*t - 3*c - 840 = -c. Is t a prime number?
True
Is ((-270)/24 + 4)/((-2)/424) a composite number?
True
Let r(w) = -428*w - 11. Is r(-5) composite?
False
Let j = 150 - 1. Is j composite?
False
Let c(j) = 33*j**3 + 3*j**2 - 3*j - 2. Is c(3) a composite number?
False
Let p(h) = 312*h**2 - 9*h + 19. Is p(2) prime?
True
Let v(r) be the first derivative of -7*r**2 - r + 2. Let w be v(7). Is ((-16)/(-12))/((-6)/w) prime?
False
Let q = 6 + -3. Let k(r) = r**2 + 3*r + 2. Let n be k(-3). Is ((-1)/q)/(n/(-186)) prime?
True
Suppose -12 = -5*j + 2*j. Suppose 5*q = 10, 5 = -j*d + 3*q - 9. Is (-2 - (-33)/(-2))*d composite?
False
Is 562/1 - (-2)/2 composite?
False
Suppose g - 6 = 2. Let i(o) = -3*o**3 + 8*o**2 - 9 + 11*o + 2*o**3 - o**2. Is i(g) prime?
False
Suppose 4*j - 4 = 0, 3*j = -u + 7 + 145. Is u composite?
False
Let q = 2 - 0. Let j(r) = -3*r**2 - r**3 + 7 - r**2 + 0*r**3 + 5*r**q + 7*r. Is j(-6) a prime number?
False
Let o(u) = -142*u**3 + u**2 + u. Let k be (-9)/15 + (-2)/5. Let x be o(k). Suppose 0 = 5*i - 4*n + 20 - x, 0 = 3*n - 6. Is i a composite number?
True
Is 5/2*(0 + 46) prime?
False
Suppose 2*h = 2*j + 284, -3*j - 27 = h - 181. Is h prime?
False
Let u(v) be the third derivative of 0 + 2*v**2 - 5/6*v**3 + 0*v - 1/2*v**4. Is u(-6) prime?
True
Suppose -3*p + 794 = -p. Is p a composite number?
False
Let b(z) = z**2 + 9*z + 25. Is b(21) a composite number?
True
Let o(u) = -7*u - 10. Let s(p) = 4*p + 5. Let g(c) = 4*o(c) + 9*s(c). Is g(9) composite?
True
Suppose -k + 2*i = -49, -56 + 166 = 2*k + 2*i. Is k a composite number?
False
Let k = 2298 - 1565. Is k prime?
True
Let y be ((-20)/(-15))/(2/6). Is 358/4 - 2/y a composite number?
False
Suppose -w = -2*q + 50 + 16, -3*q - w = -104. Is q composite?
True
Let h = 2642 + -1357. Is h a prime number?
False
Let m be -3 + 4 - (1 + 28). Let p = 147 + m. Is p prime?
False
Let a = -2 - -5. Suppose -u + i - 12 = -63, -3*u + 177 = a*i. Is u a composite number?
True
Let x(j) = 4 + j + j - j. Let n be x(5). Let m = 34 - n. Is m composite?
True
Let y(o) = o**3 + 2*o**2 - 4*o - 3. Suppose -4*s + 45 = -s. Let l be (-5)/s + 13/3. Is y(l) a composite number?
True
Let k be 1/9*-3*1083. Let n = k + 612. Is n a composite number?
False
Let u(i) = i**3 - i**2 - i - 1. Let y(g) = 7*g**3 - 11*g + 1. Let s(b) = 5*u(b) - y(b). Is s(-5) a prime number?
True
Let u be (26/3)/((-4)/(-6)). Suppose 0 = 2*z - u - 9. Is z a composite number?
False
Suppose 5*q = 1863