e?
True
Let n(k) be the second derivative of 23*k**4/12 + 2*k**2 - k. Let x be (-14)/2 - -3 - -1. Is n(x) prime?
True
Let t(z) = -14*z + 19. Let g be t(-6). Let w = g - 54. Is w a prime number?
False
Suppose 28 = 2*l + 5*u - 0, -5*u = 4*l - 36. Let k(a) = -a**2 + 3*a + 5. Let r be k(l). Is (r/4)/(8/2144) prime?
True
Let q = 4303 - -10224. Is q composite?
True
Suppose -6*g - 88 = -7*g. Suppose 5*c - 810 = -5*a, -712 = -5*a + 5*c + g. Is a a composite number?
True
Suppose -9*b + 3630 = -14*b. Let x = b + 440. Let a = -129 - x. Is a prime?
True
Let d(h) = -238*h + 1495. Is d(-17) a composite number?
True
Let n(d) = 3*d - 6. Suppose -4*i - f = -3*f - 12, -5*f = 4*i - 12. Let y be n(i). Is 49 + -1 + y + 0 a composite number?
True
Let r(j) = -3*j + 16. Let w be r(7). Let l = 11 + w. Is (446 + 0)*15/l composite?
True
Suppose -n - 3*p = 4618, -4*p + 13663 = -5*n - 9427. Is (12/12)/((-2)/n) a composite number?
False
Let k(s) = -16*s**3 - 7*s**2 + 16*s - 6. Is k(-7) composite?
True
Suppose 0 = -2*u - 4*u + 2766. Let i = u - -80. Is i prime?
True
Let y = 85 + 90. Let p = 5 - 3. Suppose -5*d = -p*v - 0*d + 362, v = 4*d + y. Is v prime?
True
Let d(n) be the third derivative of -n**6/120 - 7*n**5/60 + 7*n**4/8 + 28*n**3/3 + 34*n**2. Is d(-19) prime?
True
Suppose 494616 = 4*w - c, -5*c - 333109 = -4*w + 161523. Is w a prime number?
True
Let l(t) = -90*t**3 - 2*t**2 + 1. Suppose 0 = -2*q - 0*q - 2. Let d be l(q). Suppose 0 = -2*s + 117 + d. Is s prime?
True
Suppose 4*f - 2*f = 0. Suppose 5*q - 25 = -4*w, 2*q + 3*q + w - 25 = f. Suppose -18 = -q*g + s + 13, 5*g - 5*s = 35. Is g composite?
True
Let v = 56 - 57. Is (-1)/(v - ((-1776)/447)/4) a prime number?
True
Suppose w = 2*b - 4*w + 1, -5 = -5*w. Let c be (-51 - 1)*(-331)/b. Suppose 0 = 4*u - 2*p - c, 4*p = -2*u + 3*u - 2141. Is u a prime number?
True
Suppose 2*h + 690 = -h. Let a = 63 - h. Is a a prime number?
True
Let o(a) = -8*a**3 + a**2 + 3*a. Suppose -14 = 5*z + 2*z. Is o(z) composite?
True
Suppose -4*v - n - 6713 + 27231 = 0, -2*n = 4*v - 20520. Is v prime?
False
Let u(w) = -9*w**3 - 6*w**2 - 19*w - 31. Is u(-6) a composite number?
False
Let b(d) = -5*d - 4. Let g be b(-6). Suppose 4*m - 9*m + 17 = -2*u, 4*u = 2*m - g. Is (424/12)/(u/(-99)) a composite number?
True
Suppose 7*y = 2*y + 2*i, 0 = -2*y + 3*i - 11. Let c(z) = -5329*z + 1. Let b be c(-1). Is y/7 - b/(-14) a prime number?
False
Suppose 14*k = 3*k + 27841. Is k prime?
True
Let b = 15 - 27. Let i = b - -44. Let m = i - 22. Is m a composite number?
True
Let h be (-5*1)/((-9)/4140). Let f = -1627 + h. Is f prime?
True
Let c(y) = -6037*y**3 - y**2 - y - 1. Let g be c(-1). Is (-5)/(-1)*g/60 a prime number?
True
Let z(h) = -h - 11. Let s be z(-10). Let o(m) = -20*m**3 + m**2 + 2*m + 1. Let q be o(s). Is 8/q + (-2093)/(-5) composite?
False
Suppose -2*k + 2*i = -548, 0 = -3*k + 5*i + 606 + 208. Suppose 3*x = -56 + k. Suppose x = 4*y - 2*y. Is y a composite number?
False
Let i = 64 - 66. Is (-3 - i)*(-373)/1 composite?
False
Suppose 3*f - 1 = 5. Suppose 1707 = u + 4*g, f = -3*g + 17. Suppose -1708 - u = -5*m. Is m prime?
False
Suppose 11*v + 107577 - 379970 = 0. Is v composite?
False
Suppose 4*n + 3*o - 47860 - 25861 = 0, 2*n - 36867 = 5*o. Is n prime?
False
Let f = 5 + -2. Let l be -94*(1/4)/((-2)/4). Suppose -l = -f*v - 5. Is v prime?
False
Suppose 4*r - 3*p = -7*p + 60, 2*p = 2. Let f = r + -11. Suppose -3*u + 4*h + 2054 = f*h, 4*u + 2*h = 2722. Is u prime?
True
Let i(r) = -18*r**3 + 1. Let k be i(-1). Let b = k + -10. Suppose b*m = 4*m + 2645. Is m composite?
True
Let u(f) = -2*f - 4. Let z be u(-6). Suppose -z = -3*n + 13. Is n/28 - 55/(-4) a prime number?
False
Let s = -3 - -5. Suppose 4*n = o + 4, s*o = -n - 3 + 4. Suppose 0 = -o*j - 5*j + 355. Is j prime?
True
Let m = -5 - 2. Let v = m - -21. Suppose -2*p + 8 = -v. Is p a composite number?
False
Suppose -522 + 18953 = 7*l. Is l composite?
False
Suppose -19*b + 21*b = 10182. Suppose 0 = -4*w + b + 14545. Is w composite?
False
Let t = 24 + -10. Let h = -14 + t. Suppose 7*x - 2*x - 1055 = h. Is x a composite number?
False
Let a = -272 + 667. Is a composite?
True
Let v(s) = 8*s - 9. Let j(p) = 1. Let w(o) = -2*j(o) - v(o). Is w(-15) prime?
True
Suppose -3*a - 60 - 15 = 0. Let s be (-10)/a + (-126)/(-10). Let t(b) = b**2 - 11*b - 7. Is t(s) prime?
True
Let c(y) = -y**3 + 8*y**2 - 10*y - 8. Let j be c(6). Suppose -3*p + 3*k = p - 8881, j*p - k = 8883. Is p a composite number?
False
Suppose -2*k + 32 - 4 = 0. Let v be 6/(-21) - (-6)/21. Suppose -15*s + k*s + 127 = v. Is s prime?
True
Is (-101065)/(-20) + (-4)/16 a composite number?
True
Suppose -2*d = f - 16159 - 6020, -4*f - d = -88751. Is f a prime number?
True
Suppose -4*u - 3*p + 12 = 0, 6*u - 3*u - 14 = -p. Let q be 47 - (4 - 2 - u). Suppose 2*k + 4*s = 106, 0*k - k + q = 4*s. Is k a prime number?
False
Suppose -4*u + 2*n = -0*n - 68, 0 = -5*u - 2*n + 94. Let q(o) = o**2 + 7*o - 7. Is q(u) composite?
False
Suppose -8*r + 3*r + 110741 = 3*z, 3*r + 3*z = 66447. Is r a composite number?
False
Let i(b) = -78*b - 1. Suppose 4*l = -5*f + 30, f + 3*l - 11 = 3*f. Suppose 0 = v - 0 + f. Is i(v) a prime number?
False
Let u = 11 - 12. Let o be 1*(-3 - u) + 10. Let p = o + 63. Is p composite?
False
Let t(c) = c**2 - 2*c + 3. Let f be t(0). Suppose -3*k + 378 = 3*r, 2*k + 0*k = -f*r + 257. Is k a prime number?
False
Let k(o) = -o**2 + 14*o - 10. Let z be k(13). Suppose 2*h - 3*j = 427 + 78, -h + 254 = -z*j. Is h composite?
False
Let h(b) = 43*b**2 + 15*b. Let z be h(-6). Let t = z - 917. Is t prime?
True
Let b(t) be the third derivative of t**5/60 + t**4/4 - 4*t**3/3 + 4*t**2. Let p be b(-8). Let g = 22 - p. Is g a composite number?
True
Let x = 1800 + 5491. Is x a prime number?
False
Suppose 94*w = 101*w - 6139. Is w a prime number?
True
Let a be (-2)/4 - 456/(-16). Is 1113/a*8/3 a prime number?
False
Suppose x - 2792 = -2*l, 8*l - 2*x = 5*l + 4195. Is l prime?
False
Suppose -2*m - y = -7*m + 170, 0 = -4*m + 5*y + 115. Is 6279/m + 6/(-15) a prime number?
True
Let l(k) = 394*k**2 + 72*k + 1. Is l(3) prime?
False
Is -1*(-133)/14*(917 + -3) a prime number?
False
Let g(n) = -5*n**3 + 57*n**2 - 27*n - 11. Let z(m) = m**3 - 14*m**2 + 7*m + 3. Let r(c) = 2*g(c) + 9*z(c). Let s be r(-6). Is ((-6)/15)/(1/s) composite?
True
Suppose 12*b + 5 - 377 = 0. Is b a prime number?
True
Suppose -112*p = -129*p + 22729. Is p composite?
True
Let r = 81 + -77. Suppose 0 = n - r*k - 771, -481 - 274 = -n - 4*k. Is n a composite number?
True
Suppose y + 3*y + 16 = 0, 3*a + 4*y + 4 = 0. Let w(c) = -c**2 - 4*c. Let p be w(-3). Suppose -2*s + a*b + 34 = 0, -s - p*b - 2*b = -10. Is s prime?
False
Suppose -5*v + 76555 = -4*q, v - 5*q + 45896 = 4*v. Is v a prime number?
True
Let u be -788*(-3 + 66/24). Let d be 1 + -78 + 2 + -1. Let v = d + u. Is v composite?
True
Suppose -s - 4 = s, 5*s = 3*u + 395. Let m = u + 1454. Is m prime?
True
Suppose c = -a + 10134, 5427 - 56087 = -5*a - 3*c. Is a composite?
True
Suppose -9*l - 9062 + 30995 = 0. Is l composite?
False
Let k = -556 + 42. Let c = 108 + k. Is (-1)/(-2*(-1)/c) a composite number?
True
Is 3158 + 1/((-8)/24) prime?
False
Let a = 112 - 107. Suppose -a*g - 5*j = -4755, 15*g - 18*g + 2851 = 4*j. Is g prime?
True
Suppose b = 2 + 2. Let o be 1/((-2)/b) - 4. Let p(t) = t**3 + 8*t**2 - 3*t - 7. Is p(o) a composite number?
False
Suppose -370599 - 1035287 = -38*w. Is w prime?
True
Suppose -j + 7440 = -m - 2*m, 0 = 2*j - 4*m - 14874. Is j composite?
True
Let o(i) = -2*i. Let h be o(-1). Suppose h*a - 494 = 5*r - 2937, -a + 979 = 2*r. Suppose 0 = -5*s + 2*s + r. Is s prime?
True
Let s be 1/3 - 28023/(-9). Suppose -w + 1738 = -s. Suppose 3*k = -k + w. Is k a prime number?
True
Let v = -7334 - -10671. Is v prime?
False
Is (128/(-40) - -3)*-93045 composite?
True
Suppose 0 = 6*k - 2257 - 791. Suppose 7*j - k = 3*j. Is j a composite number?
False
Is 5/(-2)*134372/(-10) a prime number?
False
Suppose 4*l = -3*w + 31, -w - 2*w + 5*l - 5 = 0. Let u(g) = g**3 - 6*g**2 + 6*g + 2. Let n be u(w). Let v(x) = 5*x**2 + 2. Is v(n) composite?
True
Let j = -1119 - -2758. Is j composite?
True
Let n = 9839 + -4578. Is n prime?
True
Let p(a) = a - 3. Let o be p(6). Suppose 5*x - 237 = -f, 2*x + o*x - 479 = -2*f. Suppose f = 3*l - 25. Is l a composite number?
False
