mposite number?
True
Let v(c) = 3*c**2 - 2*c - 1. Let d be v(-1). Suppose 1 = 3*f - d*f. Let k(i) = -75*i**3 - i**2 + i + 1. Is k(f) composite?
True
Suppose 0 = 2*j - j - 3*g - 2327, 3*j - g - 6981 = 0. Is j prime?
False
Suppose 5*n = 5, -73 = -5*f - n - 2*n. Suppose 2*j - 2*m = f, 0 = -3*j - 3*m - 2 - 1. Is 11/(((-6)/j)/(-2)) prime?
True
Let f(c) = -202*c**3 + 6*c**2 + 4*c - 13. Is f(-7) prime?
True
Let x(k) = k**2 + 12*k + 16. Let a be x(-11). Let q = 7 - a. Suppose -q*n = n - s - 1491, 4*s = n - 497. Is n prime?
False
Let u be (0 + -359)*1 - 1. Suppose 2*o - 669 = y, 2*y + o = -2*y - 2658. Let x = u - y. Is x a prime number?
False
Let m(u) = 0*u - 3*u + 0 - 3*u**2 + u**3 - 3. Let x be m(3). Let g(f) = -3*f - 1. Is g(x) composite?
True
Suppose 3*u = 2*m - 23, m + 14 = 2*m - 2*u. Suppose -j = -3*i + 12, i - 88 = m*j - 3*i. Is (j/(-6) - 1)*106 prime?
False
Let x be -5 + 12/3 + -1066. Let p = -190 - x. Is p a composite number?
False
Suppose -8*i = -64237 - 17611. Is i a composite number?
True
Let h(d) = d + 15. Let w be h(-12). Suppose -5*q - g + 3364 = 0, -7*g = -4*q - w*g + 2696. Is q a prime number?
True
Suppose 5*a = 10*v - 13*v + 3872, 1284 = v + 3*a. Is v a composite number?
True
Let d(s) = -14*s**2 - 3*s**3 + 13*s + 8*s**3 + 2*s**2 - 3*s**3. Let w be d(10). Suppose n - w = -3*y, 2*y - 4*n = -n + 631. Is y composite?
False
Let m(a) = -59*a**2 - 14. Let n(z) = z - 1. Let l(s) = -m(s) + 5*n(s). Is l(4) a composite number?
True
Let k(x) = 2737*x - 3. Let q be k(1). Suppose -o + j = -2*j - q, o = 4*j + 2731. Is o prime?
False
Let h(m) = -2*m**2 + 4. Let f be h(-4). Let a = f - -25. Let u(n) = -38*n**3 - 5*n**2 - 2*n + 6. Is u(a) a composite number?
True
Let b be 6/39 + (-111)/(-39). Suppose 5*g - 3*j = 1123, -b*g + 0*j = -2*j - 674. Let a = 185 + g. Is a a composite number?
False
Is 14135 - 2/3*-3 a prime number?
False
Let y = 398 + -284. Suppose d = y + 539. Is d a composite number?
False
Suppose 4*d - 1 = -a, 0*a = -3*a + 3. Suppose 5*z - z + 3*g - 608 = 0, z - g - 159 = d. Is z a composite number?
True
Suppose 0 = 9*s - 5*s - j - 37563, 3*s - 2*j - 28171 = 0. Is s a composite number?
False
Let o = 1506 - 1068. Let f be (-2 - (3 + -4))*233. Let c = o + f. Is c composite?
True
Suppose 0 = 61*r - 1145081 - 865418. Is r composite?
True
Suppose -b = -1509 - 3128. Is b a composite number?
False
Let w = 10780 + -2157. Is w a prime number?
True
Is ((-121794)/(-4))/((-1)/16*-24) a composite number?
True
Let j be 1/(-5) - (-2)/10. Let b(f) = f**3 - f**2 + 2. Let m be b(j). Suppose m*l = 6*l - 812. Is l composite?
True
Let v = 181 + 88. Let c = v - 186. Is c composite?
False
Suppose -2*o - 5*h - 34 = 0, -2*o + h - 2*h = 34. Let j = 21 + o. Suppose -5*t - j*i = -2935, 5*t - 3*i - 2789 - 146 = 0. Is t prime?
True
Let o(a) = 8*a**2 + 42. Let u(n) = 17*n**2 + n + 85. Let c(h) = 7*o(h) - 3*u(h). Is c(9) a composite number?
True
Suppose -7*m - 5100 = -2*m. Let l = 1765 + m. Is l a composite number?
True
Let l = 1726 - 579. Is l a composite number?
True
Suppose -10*v = -7*v - 699. Suppose 1685 = u - 3*o, -u + o + 1444 + v = 0. Is u a composite number?
True
Let d = 43 - 38. Is (-1)/d + 0 + 7098/15 prime?
False
Let o be 4 + (-3 - (-2 + 1)). Let a(g) = -14*g - 118. Let y be a(-31). Suppose 3*c - 1353 = 5*b + y, o*c = -5*b + 1146. Is c a composite number?
False
Let x = -6 + -5. Let p(c) = -77*c - 8. Is p(x) prime?
True
Let u = 2055 + -3592. Let q = 264 - u. Is q a composite number?
False
Let y(a) = -34*a**3 - 3*a**2 + 3*a - 30. Is y(-8) a composite number?
True
Let i = -228 + 445. Suppose -4*o + 0 - 8 = 4*p, -p + 6 = 5*o. Suppose a - i = o*n, 2*a + n - 4*n - 435 = 0. Is a a prime number?
False
Let l(p) = 39*p**2 - p - 3. Is l(-11) a prime number?
False
Let i(x) = x**3 - 10*x**2 - x + 4. Let h be i(10). Let k be h/(-10) + 18/(-30). Suppose k*n - 1353 = -3*n. Is n a composite number?
True
Suppose 5*n - 2*b = 0, -n - 3*b + b = -12. Suppose -240 = -3*j + n*d + 239, -2*j + 4*d = -330. Is j prime?
True
Let s(z) = 767*z**3 + z**2 - 4*z - 1. Is s(2) prime?
True
Let t(b) = -b**2 - 3*b + 7. Let x be t(-5). Let f = -18 - x. Let d = f + 128. Is d a composite number?
False
Suppose 0 = 5*j - 7*j - 72. Is (-6 + 2)*2853/j a prime number?
True
Let g(m) = 3 - 5 + m + 1 + 2. Let d be g(3). Is d/26 + 1704/78 a prime number?
False
Let u(b) = 221*b**2 - 4*b + 3. Let i be u(3). Suppose -11*t - i = -7*t. Let h = 1780 + t. Is h composite?
True
Suppose -c = -0*c + 3*n - 2411, -9589 = -4*c - n. Let i = 3861 - c. Is i a prime number?
False
Let y(j) = 2*j**3 - 28*j**2 + 21*j - 151. Is y(26) prime?
True
Let m(l) = 16*l + 18. Is m(10) a composite number?
True
Is (-2)/(-7)*(14220 - 31) composite?
True
Let d = 841 + 246. Is d prime?
True
Suppose -10*t = -15*t + 43285. Is t a composite number?
True
Suppose 0 = 2*s - s - 5*i + 8, -2*s = -i + 25. Let b be s/(-5) + (-9)/15. Is b*(-1)/2*-127 a prime number?
True
Let s be (-234)/((-19)/(-7) + -3). Suppose 3*l - 215 = 4*k + s, -2*l = -k - 681. Is l + (-2 - (-3)/(-3)) composite?
True
Let c be (-612)/(-162) + (-2)/(-9). Suppose -2674 = -5*s + 3*z, -z + 5*z = c*s - 2144. Is s a prime number?
False
Let m(s) = -s**3 + 17*s**2 - 3*s + 5. Let j be (-2)/8 + 686/56. Is m(j) prime?
False
Let v = 186 + -72. Let g = 407 + v. Is g a composite number?
False
Let g be (-13525)/5*(-16)/(-10). Is (3/12)/((-2)/g) composite?
False
Suppose -20*h + 418368 = 57188. Is h prime?
True
Let z = -5313 + 8018. Is z a prime number?
False
Suppose 30*y - 176256 = 31854. Is y a prime number?
False
Let r be 21/(-35) + (-6)/(-10). Suppose r = 5*f - f - 148. Let a = 220 + f. Is a composite?
False
Suppose 25*y - 16*y - 142353 = 0. Is y composite?
False
Suppose -3*b + 3*t + 2549 - 590 = 0, 2*b + 4*t - 1324 = 0. Suppose p = -2*u + 4*p + 323, -4*u + 4*p = -b. Is u a prime number?
False
Suppose -3*u = 4*c - 6*u + 756, -c - 4*u = 189. Let t = 110 - c. Is t prime?
False
Let s(j) = 3*j**2 - 17*j - 20. Let f be s(14). Suppose f = -4*t + 1638. Is t composite?
True
Let o(m) = 76*m**2 - 4*m - 1. Let q be o(3). Suppose -4*f + 7*u = 2*u + q, 2*f = -u - 353. Let g = -63 - f. Is g composite?
True
Is (13 - 32 - 7944)*(0 + -1) a composite number?
False
Suppose 0*m + 2*m = 10, 4*j - 25 = -5*m. Let x = j - -2. Suppose x*y - 13 = 3*k + 100, -2*k = -y + 56. Is y a composite number?
True
Suppose 0 = 3*s + 6, -5*a + 0*a = -2*s - 10789. Let t = a - 1238. Is t composite?
False
Let x be -1 + 6 + -4 + -1. Is (x + 1)/(5/10505) a composite number?
True
Let n(q) = 120*q**2 + 21*q + 16. Let d(g) = -24*g**2 + 2 - 3*g - 5 - 4*g + 3*g. Let i(o) = -11*d(o) - 2*n(o). Is i(-1) a prime number?
True
Suppose -210*p + 211*p - 1553 = 0. Is p composite?
False
Let o be ((-2)/(-4))/((-3)/(-36)). Suppose 0 = w - o*w + 10. Suppose -w*t - 1270 = -7*t. Is t a prime number?
False
Let o = 13 + -9. Suppose -656 = -w - 0*w - 5*x, -12 = -o*x. Is w a prime number?
True
Let k(v) = 3*v**2 - 224*v + 14. Is k(-15) prime?
True
Let k(p) = 11178*p**2 - 8*p - 9. Is k(-1) a composite number?
False
Suppose 3*h - 10 = 8*h, 0 = 5*i + 4*h - 2. Is 958/(-12)*(-12)/i a composite number?
False
Suppose -2*d = 4*b - 5778, -7708 = -3*d - b + 934. Is d a prime number?
True
Let v = -5360 - -10069. Is v composite?
True
Suppose 0 = 5*d - 94*f + 97*f - 1892, -2*d + 3*f + 761 = 0. Is d a prime number?
True
Let n = 2522 + 49613. Is n composite?
True
Let n(m) = 5*m**3 - 16*m**2 + 67*m - 45. Is n(14) prime?
False
Suppose 0 = -5*s + 8781 - 2661. Suppose -5*i - 3*t = -7921, 2*i + 2*t - 1946 = s. Is i prime?
True
Let m(u) = -45*u + 17. Let s(a) = 46*a - 17. Let z(p) = -6*m(p) - 5*s(p). Is z(6) composite?
False
Let w(o) = -11*o - 4. Let l be w(-2). Suppose -4*r + l + 166 = 0. Is r composite?
True
Let l be 0*((-2)/(-4))/((-1)/1). Suppose 5*r - 2950 = -3*t + 3432, l = -5*t - 4*r + 10641. Is t prime?
True
Suppose -5*y = r + r + 1943, 2*y = -3*r - 775. Let l = -10 - y. Is l a prime number?
True
Suppose -4*f = -f. Let w(b) = -b**2 - b + 127. Is w(f) a prime number?
True
Is -223*((-14)/(-21))/(6/(-9)) prime?
True
Let s be (-2)/13 + 17751/39. Suppose 4*q = -h + 364, -q = -6*q - h + s. Is q a prime number?
False
Let z be ((-2)/6)/((-2)/3714). Suppose -3*b - x - 972 = 0, -324 = 4*b - 3*b - 2*x. Let l = z + b. Is l a prime number?
False
Let m(s) = s + 1. Let u be m(2). Let y(i) 