e?
True
Suppose -3*k - 5*a = k - 20780, -a - 10404 = -2*k. Suppose 5*n - 75713 - k = o, 4*n - 3*o = 64726. Is n a prime number?
True
Let g = -15 + 11. Let o(p) = -136*p**3 + 4*p**2 + 2*p + 5. Is o(g) prime?
False
Let a be -3 - ((-4)/7 + 5367/21). Is (a/(-10))/(-8 + 7)*-5 a prime number?
False
Let o(i) = 602*i**3 - 7*i**2 + 7*i + 17. Let f(b) = 300*b**3 - 4*b**2 + 4*b + 9. Let r(z) = -11*f(z) + 6*o(z). Is r(2) prime?
True
Let j(n) = 344*n - 13. Let l be j(6). Suppose -16*c + l = -813. Is c prime?
True
Let w = -14 + 41. Let t(f) = f - 23. Let n be t(w). Suppose -2*u - n*u + 834 = 0. Is u a composite number?
False
Let w be 2172 - (1 - 5 - -1). Is w + -5 + -9*(-1)/3 a prime number?
False
Let q(b) = b**2. Let d(z) = 8*z**2 - 5. Let n(f) = 2*d(f) - 14*q(f). Let l be n(3). Is 1 + 11334/21 + l/28 prime?
True
Let v = 74 + -72. Suppose -3*r - v*r + 5*g = -6290, -2*r + 2515 = -3*g. Is r composite?
False
Let p(b) = 8*b**2 - b - 42. Let a(y) = -8*y**2 + 44. Let j(f) = 4*a(f) + 5*p(f). Is j(-15) composite?
True
Let h(n) = n**3 - 15*n**2 + 2*n + 5. Let q be h(15). Let z = 40 - q. Suppose 5*k - 4*d - 4861 = 0, -3*k + z*d = -2670 - 244. Is k a prime number?
False
Is ((-11399)/(-2))/(-1*(-17)/102) prime?
False
Let q = 280840 + -74558. Is q composite?
True
Suppose 19*j - 6*j = 58955. Let w be 8/(-52) - -62*(-9)/(-78). Suppose -2*p = -w*p + j. Is p a prime number?
True
Suppose 4*n - 6*n = -3*u + 225231, -u + 75073 = -2*n. Is u prime?
True
Suppose -17*w = -538269 - 426889. Is w prime?
False
Let k(h) = 7277*h**3 - 10*h - 29. Is k(4) a composite number?
False
Suppose -22631 - 25661 = -4*f - q, 2*f + 4*q - 24160 = 0. Suppose 0 = -z - m + 3019, 0 = -5*z + z - 2*m + f. Is z composite?
True
Let h be 20*27198/27 - (-2)/6. Let o = h + -10686. Is o a composite number?
False
Suppose 0 = -27*p + 26*p - 1. Let v be ((-1)/p)/((-13)/(-65)). Suppose 20 = v*z, z = d - 0*z - 83. Is d composite?
True
Let m = -167250 - -680467. Is m prime?
False
Suppose -5*j + 115 = -0*j - b, -5*j + 135 = 3*b. Suppose -2*p - 4*c = -36, -4*p + c + 21 = -j. Is ((-3)/p*166 + 2)*-2 a composite number?
False
Suppose -2*y - y = 18. Let h be (y/(-5))/(33/110). Suppose 5*j - 5 = 0, h*w + 0*j = 3*j + 6233. Is w a prime number?
True
Is (-167434 + (3 - 3))*(-13 - 450/(-36)) a prime number?
True
Suppose -3*l + 302 = i, -8*l + 5*i = -4*l - 409. Let t = l - -70. Let a = 488 + t. Is a a composite number?
False
Suppose -1012041 = -9*l - 18*l. Is l a prime number?
True
Suppose 16*l - 118*l + 23928624 = 42*l. Is l composite?
True
Suppose -3*g - 4*f = -2*g - 2342, 4*f = 4. Let l be 6*(g/(-6))/((-4)/6). Suppose 13*o = l - 140. Is o a composite number?
True
Let l(j) = -5*j**3 - 23*j**2 - 29*j + 98. Is l(-17) composite?
True
Let n(l) = -l**3 + 8*l**2 + 6*l + 24. Let v be n(9). Let k be 1/v + (-1068427)/(-57). Is 6/(-14) + -2 + k/28 prime?
False
Let o(r) = -2*r**2 - 11*r + 8. Let q(a) = -7*a**2 + 2*a - 1. Let f be q(1). Let u be o(f). Suppose -7266 = -u*h - 4*h. Is h prime?
False
Let l = 134595 + 129784. Is l a prime number?
False
Let o be (-129)/86 + (-63)/(-2). Is ((-276)/o)/(2/(-865)) composite?
True
Let j(y) be the second derivative of -293*y**3/6 + 2*y**2 - 6*y - 7. Is j(-14) composite?
True
Let c be ((-144)/108)/(2/(-3)). Is 1/c + (1 - (-5745)/6) a composite number?
True
Is ((-38708)/3)/(16/(-24)) a prime number?
False
Is (-14)/(-147) + (-3111627)/(-63) a prime number?
True
Let m = 36669 + -17982. Is m a prime number?
False
Suppose -18*m - 201191 = -37*m. Is m prime?
True
Suppose -v - 3*k + 259275 + 147523 = 0, -2*v - k + 813576 = 0. Is v a composite number?
True
Suppose -2*z = -7*z. Suppose c + c - 17572 = z. Suppose 12*l - 4258 = c. Is l a composite number?
False
Let d be (-2 - -1)*((1678 - -9) + -1). Is -9 + 9 - (d + -2) - -5 prime?
True
Suppose -2*m = -f - 3678, 4*f + f + 18425 = 3*m. Let y = f + 6825. Is y composite?
False
Let t(h) = -38*h**3 - 183*h**2 - 15*h - 37. Is t(-10) composite?
False
Let l(q) = q**3 - q**2 - 5*q. Let r be l(3). Is (0 - 6/r)*270521/(-34) a composite number?
False
Let c = -31 - -46. Suppose 2*y - c = -1521. Is (-1)/(0 + (-2256)/y + -3) a composite number?
False
Suppose 36*z - 94*z = 62*z - 76119240. Is z a composite number?
False
Suppose -2*x + 475 = 17*x. Suppose x*a = 46*a - 226821. Is a a prime number?
False
Let c(g) = -29*g**2 + 6*g - 9. Let k(h) = 28*h**2 - 7*h + 7. Let v(u) = 4*c(u) + 5*k(u). Is v(6) composite?
False
Let f = -46016 - -116007. Is f prime?
True
Let c = 945 - 412. Suppose -c = -3*v + 2*z + 264, -z = -2. Is v composite?
True
Let l(d) = -257463*d - 64. Is l(-1) a prime number?
True
Let l(y) = -48*y - 143. Let v = 245 - 266. Is l(v) prime?
False
Suppose s - 6*s = 5*o - 85, 5*o = -3*s + 83. Suppose -o*y + 17347 = -5*y. Is y prime?
False
Let d(m) = -m + 22. Let x be d(18). Let q(t) = t. Let l be q(x). Suppose l*r = v + 5908, 4*v - 3*v + 1477 = r. Is r composite?
True
Suppose -6 = -2*z + 3*z - 4*p, p - 2 = 0. Let s be -1286*(z/(-4))/((-2)/(-4)). Let w = s - 189. Is w composite?
False
Let m(u) = 3*u**2 + 3*u - 13. Let n = -28 + 20. Let h = -26 - n. Is m(h) prime?
False
Suppose 3*z + 15 = 0, 4*b - 23 = 3*z - 8. Let j(o) = -2*o + 70 - o**2 - 8 + 35. Is j(b) a prime number?
True
Let m = 5023 - -1499. Suppose -25*v = -19*v - m. Is v a composite number?
False
Let t(y) = 1. Let p(o) = -o + 7. Let s(m) = 2*p(m) - 6*t(m). Let u be s(13). Let v = u - -57. Is v a prime number?
False
Let b(m) = -m**3 + 9*m**2 - 7*m - 9. Let g be b(8). Let p = 4 - g. Suppose 5*z - 4*u + 0*u = 2365, 4*z - 1901 = p*u. Is z prime?
False
Suppose 4*p = -3*j - 3, -p - 5*j + 0 = 22. Suppose w + 5*b - b = -16, 0 = p*w - 2*b - 8. Suppose 2*f = y + 7*f - 716, w = -4*y - 5*f + 2834. Is y composite?
True
Suppose -4*d + 6 = 4*j - 9*j, -d = -j - 2. Suppose 2*c + 3*i - 7*i = 16, 2*c = -5*i + 7. Is (-3 - (j - c))*127 prime?
True
Suppose 4*d = 6*d + 215122. Is 2 + -2 + d/(-29) a prime number?
True
Suppose 4*g = -3*t + 373377, 0*g = 4*g. Is t composite?
False
Let u = 708 + -714. Suppose 5*c = -4*n - 12 - 26, -2*n - 24 = 5*c. Is (n/12)/(u/(-18))*-4196 a composite number?
True
Let w(o) = 84480*o**3 + 3*o**2 - 11*o + 7. Is w(1) a prime number?
False
Suppose -k - 73 = -3*c, -2*c + 6*k = 7*k - 52. Let o be 1*5/c*0. Suppose 0 = -o*z + 7*z - 9051. Is z a composite number?
True
Suppose 34*a + 94*a - 21985047 = -61*a. Is a composite?
True
Let c = -462 + 462. Let s be 2/8 + 19/4. Suppose -5 = -2*b + s, c = f - 3*b - 940. Is f a prime number?
False
Let a = 8224 + -6275. Is a composite?
False
Suppose 3*c - 56 = 4*c. Let x be 7*((-2)/4 + (-908)/c). Let l = 411 - x. Is l a composite number?
True
Let z be 3/3 - -2*(-3)/(-3). Let o be (-1427)/3*z/1 + -3. Is o/(-30) + 2*(-2)/6 a composite number?
False
Let b(r) = -18*r - 1. Let m be b(-1). Let x(y) = -200*y - 17. Let k(j) = -599*j - 50. Let p(a) = m*x(a) - 6*k(a). Is p(4) a prime number?
True
Let x = 11 + 18. Let d = x + -44. Is (-10813)/d - 12/(-90) a composite number?
True
Let v(l) be the second derivative of l**5/20 - l**4/12 - l**3 + 9*l**2/2 + 12*l. Let n be v(2). Is (-1 - 1/n)*34027/(-14) a composite number?
False
Suppose 2*q = -2*v + 8, 0*q = 5*q + 5. Suppose 1 = 5*g + 2*k - 1, -5*k + v = 3*g. Suppose -3*n + 1117 = 3*j - 4*n, -3*j + 4*n + 1129 = g. Is j prime?
False
Let r(c) = 5*c**3 - 121*c**2 - 9*c + 94. Is r(31) composite?
True
Suppose 5*k - 2*w = -3*w + 566, -3*k - 3*w + 330 = 0. Let x(r) = 154*r + 1725. Let z be x(-11). Let g = k - z. Is g prime?
True
Suppose -184*p + 183*p - 85982 = -j, 257928 = 3*j - 5*p. Is j a composite number?
False
Let r(w) = -w**3 - 14*w**2 - 15*w - 18. Let f be r(-13). Suppose -2*s + 18 = f. Suppose s*v - 760 = 1105. Is v prime?
True
Let z(p) be the first derivative of -110*p**2 - 31*p - 37. Is z(-2) composite?
False
Let y be -333*(-7)/84*192. Suppose 3*g = 5*b + 2738, -3*b - 1687 = 4*g - y. Is g prime?
True
Suppose 0 = -3*l + 5*s - 24, -2*s = l - 3*s + 6. Suppose 0 = r - 0*r + 2025. Is r/l - (6 - 4) a prime number?
True
Let a(f) = -89 - 44*f + 502*f - 11*f - 66. Is a(16) composite?
False
Let b(k) = 21508*k - 707. Is b(15) a composite number?
True
Let m(r) = 35*r**2 - 9*r + 106. Let f be m(7). Suppose -2*c - q = -3*c + f, c = 2*q + 1762. Is c a composite number?
True
Let f(p) = 661*p**3 - 4*p**2 + 4*p - 4. Let v be f(1). Let m = v + -26. Is m pri