omposite number?
True
Let p(i) = 3*i**2 + 15*i - 631. Is p(-61) a composite number?
True
Let o(a) = -1816692*a + 19. Is o(-1) a composite number?
True
Let g = -120 - -121. Let k(x) = -426*x + 2. Let j(c) = -852*c + 3. Let r(m) = 2*j(m) - 5*k(m). Is r(g) prime?
False
Is 450130/2 + 4/(-1)*(318 + -317) a prime number?
True
Let g(c) = 32*c**2 + 8*c - 37. Let x be g(-11). Suppose -2966 - x = -7*v. Is v a prime number?
False
Suppose -3*c + 4*c - 12 = -2*t, 4*c + 5*t = 45. Let s(l) = -5*l**3 + 3*l**2 - 24*l + 9. Let w be s(c). Let i = -2472 - w. Is i prime?
True
Let j = -34729 - -93140. Is j a prime number?
True
Let k be (-6)/4 - (-1)/2. Let h = -1061 + 1058. Is k/h + 572/3 a prime number?
True
Let f(n) be the second derivative of 0 + 5/12*n**4 - 49/20*n**5 - 1/2*n**2 + 18*n + 1/3*n**3. Is f(-3) a prime number?
True
Let n(x) = 5737*x - 15. Let g(r) = -r**3 - 21*r**2 - 22*r - 38. Let m be g(-20). Is n(m) a composite number?
True
Let k = 874 + -882. Is k/68 - 2408168/(-136) composite?
False
Suppose 15*d - 134025 - 82792 = 1668098. Is d a prime number?
False
Let v(z) = -z**2 - 7*z - 6. Let g be v(-7). Let r be (-4)/g*(12 + 60). Suppose -4*c + 1296 = -4*n, 5*n - 1060 = -3*c - r. Is c prime?
False
Suppose 2*q - 13096 = 354. Let n = q + -9840. Let f = -1856 - n. Is f prime?
True
Suppose 20*w - 16*w - 12 = 0. Suppose 9*i - 10*i = -w. Suppose m + 68 = u + 12, i*u - 4*m = 166. Is u a prime number?
False
Suppose 3*l = -x + 88, 5*l - 4*x - 199 + 58 = 0. Suppose 4*a = -13 + l. Is 215 + (a - (-3 + 9)) composite?
True
Let i(o) = 3*o - 3. Let t be i(6). Suppose -18*h = -t*h + 3060. Let j = 1471 + h. Is j composite?
True
Let u = 609 + -613. Is (-5)/((-121866)/(-30474) + u) a composite number?
True
Let x be ((4 - 4) + -5)/(-5). Is (x - -1471) + 14 + -15 a prime number?
True
Let m be -2 + (35/3 - 10/(-30)). Suppose m*l + 6300 = 26750. Is l a prime number?
False
Suppose 6 = u - y, -u + 3*y = y - 8. Suppose -x + 9264 = 5*v, 0 = u*x - 4*v + 6*v - 36966. Is x composite?
False
Let z be 5*9/30*-2. Let h be ((-3)/(-6))/(z/(-18)). Suppose 0 = -4*l + 5*l + 5*b - 223, -h*b = -12. Is l a prime number?
False
Let l(p) = 3*p**2 - 45*p + 15. Let d be l(20). Is -5*(-18)/d - 1629/(-7) a prime number?
True
Suppose 0 = 3*f + 4*y - 23 - 11, 2*f - 4 = 2*y. Let r(u) = -4*u**2 + 24*u + 5. Let w be r(f). Suppose -4*d + 2*i + 3024 = 0, -8 = -w*i + i. Is d a prime number?
True
Let b = -403 + 2649. Suppose -3*q = -0*q + 5*l - 2234, -3*q + l = -b. Let g = q - -261. Is g a prime number?
True
Suppose 4*h + d - 743868 - 1063082 = 0, d + 1806962 = 4*h. Is h a composite number?
True
Suppose 2*d + 5 = 3*d. Let k(h) = -4*h**2 + h**2 + 3*h - 2*h**2 + 5*h**3. Is k(d) composite?
True
Suppose 0 = -4*t - 2 - 6, -4*q + 5*t = -1958286. Is q prime?
False
Let p(r) = 7607*r + 9927. Is p(26) a composite number?
False
Let m(j) = 15*j**3 - j**2 - 3*j + 2. Suppose -4*x + 0 = 2*h - 14, x + 14 = 2*h. Is m(h) a composite number?
False
Suppose 100*a + 932171 - 3010980 - 1041891 = 0. Is a a prime number?
False
Suppose d + 15*d - 5*j = 799169, 3*d + 4*j - 149859 = 0. Is d prime?
False
Let m(l) = 172*l - 202. Let k = 321 - 298. Is m(k) a composite number?
True
Is (-44293)/(-1)*-6*2/(-12) a composite number?
False
Let a(o) be the second derivative of -o**5/20 - 23*o**4/12 + 14*o**3/3 + 27*o**2/2 - 4*o - 2. Is a(-28) prime?
True
Let v(x) be the second derivative of -13*x**5/5 - 5*x**4/12 - x**3/2 - x**2/2 - 7*x. Is v(-2) prime?
True
Let x = 132628 - -37419. Is x a composite number?
False
Let b = -87208 - -129167. Is b a composite number?
False
Let z = 300 - -1385. Let i = 5178 - z. Is i a prime number?
False
Suppose 774 = 2*d - 580. Suppose -5*z - v = -2*v - 3412, 2*v = z - d. Let r = 576 + z. Is r composite?
False
Suppose 4*s + 4*t + 40 = 0, t + 0*t - 5 = 0. Let k(m) = -19 + 6*m - 5 + 13141*m**2 - 13127*m**2 + 1. Is k(s) composite?
False
Let t be (-3588)/161 - 4/(-14). Let o(l) = l**2 + 21*l + 2. Let b be o(t). Is 4/(-3) + 53192/b prime?
False
Let q(z) = -z - 6. Let d be q(-7). Let k(l) = 129*l**2 - 79*l**2 + 2 + 0*l - l. Is k(d) a prime number?
False
Suppose 104*t = -94*t + 76*t + 63892498. Is t a composite number?
True
Let x(j) = 1498*j**2 - 25*j + 89. Is x(4) composite?
False
Suppose 76*i - 5*i - 11785645 = 0. Is i composite?
True
Let l(a) = -a**2 - 3*a + 6. Let y(c) = c**2 - 10*c + 17. Let w be y(7). Let p be l(w). Is p/((-12)/381)*(-76)/2 composite?
True
Let t(z) be the third derivative of 0 - 43/6*z**3 - 15*z**2 + 45/8*z**4 + 0*z. Is t(14) a composite number?
False
Let r = 2555732 - 1467523. Is r a prime number?
True
Suppose -4*b - 5*w = 468, -5*b + 17*w = 14*w + 585. Is (-2110316)/b + (-1)/(-9) composite?
True
Let z be (2984/12)/((-4)/84). Let q = 15199 + z. Is q prime?
False
Suppose -r + 532 = 4*i + 90, 0 = -i + 4*r + 102. Let l be ((-18)/2)/((-9)/567). Let m = l + i. Is m a prime number?
True
Let t(c) = -c - 4. Let r(l) = -8*l**2 - 27*l + 103. Let z(v) = -r(v) - 3*t(v). Is z(-32) prime?
False
Suppose -4*q + 144 = 5*d, -5*q + 225 = 3*d - 8*d. Suppose -37*p + q*p - 1324 = 0. Is p composite?
False
Let b(h) = 30*h**2 - 253*h + 80. Is b(-75) a composite number?
True
Let d be (-1 + 0)*0/2 - -23. Let a be (6/1 - 5)*2*d. Suppose 0 = 44*y - a*y + 670. Is y composite?
True
Suppose -14*m + 23 + 47 = 0. Suppose z - 14594 = -4*y + 2229, 0 = 4*z - m*y - 67229. Is z composite?
False
Suppose 0 = -6*v + 5953 - 19117. Let f = 5563 + v. Is f composite?
True
Let c = -263515 - -639909. Suppose 0 = 15*q + 117659 - c. Is q prime?
False
Let y(z) = 6*z - 46. Let i be y(9). Is (-4005)/(-6) - (60/i - 7) a composite number?
True
Suppose 0 = -41*w + 235*w - 3789014. Is w a prime number?
True
Let s be ((-4)/(-16))/1 + 434/(-8). Let a be (-2)/((-18)/34841) - (-12)/s. Let p = -2702 + a. Is p a composite number?
True
Let f be 70/10 + 3/1. Suppose -f*q + 5*q - 4*l = -4869, 5*l + 1974 = 2*q. Is q prime?
True
Suppose 101*c - 1537649 - 13855495 = 800893. Is c a prime number?
False
Let o(m) = 253*m**2 + 62*m + 92. Is o(19) prime?
False
Let q(w) = -235*w**2 + 2*w - 20. Let r be q(-6). Let c = 12079 + r. Is c a composite number?
True
Let g(d) = 10*d - 135. Let u be g(14). Suppose 2*n + u*b = 2340, b = -4*n + 6*b + 4650. Is n a prime number?
False
Let o(n) be the first derivative of n**7/840 - n**6/360 + n**5/120 + 989*n**4/24 - 20*n**3/3 - 13. Let v(q) be the third derivative of o(q). Is v(0) prime?
False
Let c = 1472533 - 761124. Is c a composite number?
False
Let r(s) be the first derivative of -s**3/3 + s**2/2 + 1724*s + 11. Let c be r(0). Suppose -c = 7*f - 13869. Is f prime?
False
Let s(o) = 2*o - 1. Let m(k) = -2*k. Let c(b) = 3*m(b) + 4*s(b). Let d be c(-6). Is 26754/34 + d/(-136) a prime number?
True
Let y = -46 + 45. Let u be (30/5 - (2 - y))*1. Suppose -94 = b - u*b - 4*i, -3*i = 9. Is b composite?
False
Let r(o) = 433*o - 21. Let a be 14 - (4 - (-5)/(-5)). Is r(a) a prime number?
False
Let q be 38/133 - (-138)/7. Let i be (q/(-15))/4*-6675. Suppose 10*p = 5*p + i. Is p prime?
False
Let a = -1487 + 2568. Suppose a = n + 295. Suppose 15*v - 9*v = n. Is v composite?
False
Let o = -63 - -65. Suppose 4*y + 27*s = 28*s + 47038, -4*s + 23510 = o*y. Is y a prime number?
False
Let b(t) = t**3 + 109 - 43*t + 14*t**2 + 13*t**2 + 0*t + 5*t**2 - 5*t**2. Is b(-26) a composite number?
True
Let s = -116 + 158. Let i(y) = y**2 - 25*y - 31. Is i(s) a composite number?
False
Let r be (0 - 1)/(4/(-34732)). Suppose 5*j - 3*f - 14462 = 0, 2*j = 5*j + 4*f - r. Is j a composite number?
True
Let f = 15851 - 28615. Is (21/14)/((-3)/f) composite?
True
Suppose -10*o - w = -15*o + 611398, 2*o = -19*w + 244695. Is o composite?
True
Let k(f) = 2848*f**2 + 195*f - 2550. Is k(13) a composite number?
False
Let k = -15 - -7. Let x be (-72)/90 - 28/(-10). Is (-2 - x)*262/k composite?
False
Suppose -3*d - 4*f = -103, 0*d + f + 210 = 5*d. Suppose -50 = -905*p + 915*p. Is (-82)/(-3)*d - p/15 a prime number?
False
Let j(p) = p**2 + p + 1. Let l(w) = -904*w**2 + 6*w + 11. Let b(n) = 3*j(n) - l(n). Let m be b(5). Suppose 46*a - 50*a + m = 0. Is a a prime number?
False
Suppose 0 = -11*y + 14*y. Let p be (-2)/7 - (y + 11516/(-28)). Suppose -2*z + 5*d = -784, 0 = 3*z + 4*d - 788 - p. Is z composite?
False
Let k = -235989 + 581728. Is k composite?
False
Let a be ((-180)/(-8))/(-3)*-2