ite?
True
Suppose -3*z + 3*u + 2370 = -0*u, -3985 = -5*z - 2*u. Suppose 2319 - z = 3*t. Let v = 923 - t. Is v a composite number?
True
Suppose 0 = -43*k + 58*k - 268815. Is k composite?
False
Let t(l) = -2*l + 23. Let s be t(17). Let n = -8 - s. Suppose n*c = 5*u - 5480, -u = -4*c - 0*c - 1079. Is u a prime number?
False
Let a = 344 - -67. Is a prime?
False
Let o(q) = 53*q. Suppose -8 = 4*u - 6*u. Let x = u - 3. Is o(x) composite?
False
Let z = -14 - -8. Let m(h) = 1270*h**2 - 1265*h**2 + 3 + 4*h + 4 + 4*h. Is m(z) a prime number?
True
Suppose -3*j + 0*o + 150 = -3*o, 4*o + 53 = j. Let f(s) = 2*s + 3*s - j*s**2 + s**3 + 44*s**2 + 8. Is f(7) composite?
True
Let i = 13 - 9. Is 1/i + (-945)/(-12) composite?
False
Let i = -38 + 65. Let k be i/(-2)*70/15. Let j = 16 - k. Is j composite?
False
Let k = 9 - 6. Suppose -k*r = -r - 674. Suppose -3*b - c + 5*c + r = 0, -2*c + 605 = 5*b. Is b prime?
False
Suppose 6*k = 3*k - p + 11, 11 = -2*k + 3*p. Suppose h - 1040 = -3*h + 4*l, k*l - 269 = -h. Is h composite?
False
Suppose 9*b - 27826 = 22385. Is b composite?
True
Suppose 4*f - 8 = 0, 4*r + 0*f + 10 = 5*f. Is ((-666)/(-12))/((-6)/(-20)) - r a prime number?
False
Let q(i) = i + 16. Let w be q(-11). Suppose 3*j = w*u - 6, 2*u = -5*j - u - 10. Is (-501)/(-9) - j/(-3) composite?
True
Let n = -56 - -86. Suppose 4*k = 8, g + n = 5*k + 105. Is g a prime number?
False
Suppose 2839 = 3*m - 3*u - 1007, 6418 = 5*m + 3*u. Suppose -2*n + 5*v + 576 + 33 = 0, -4*n - 3*v = -m. Is n composite?
False
Let p = 9058 - 81. Is p composite?
True
Is (-1)/(3 + -1 - 1)*-4289 a prime number?
True
Let g be 6/((-2)/240*-3). Let o = g + 1097. Is o a composite number?
True
Let k(w) = 76*w**2 + 2*w - 3. Let u be k(4). Suppose 10 = -4*d + q, 5*d + q = 7*d + 6. Is (8/(-12))/(d/u) prime?
False
Let n = -64 + 69. Suppose n*k + 5*d - 2815 - 1725 = 0, k - 3*d = 920. Is k prime?
True
Is -1 + 2671 + (1 - 2 - -2) a prime number?
True
Let m = 27126 + -17715. Is m a prime number?
False
Suppose -2*n = -0*q - 3*q - 4, 0 = -5*q - n + 15. Suppose -q*u + 9863 = 5*u. Is u composite?
False
Let h = -19877 - -71092. Is h prime?
False
Suppose -i - 5*x - 14 = -5, -4*x - 24 = -2*i. Suppose i - 7 = -y. Is 176 - (-1 - (y + 1)) a composite number?
False
Let k = 3694 + 1885. Is k a prime number?
False
Let o(m) = 198*m - 13. Is o(12) prime?
False
Suppose -g - 3*g = -824. Is (g - 0)*12/8 composite?
True
Suppose 42849 = 3*b - 3*s, 71397 = b + 4*b + 4*s. Is b a prime number?
True
Let j = -25 - -27. Suppose -v = -a + 8, -2*a + 46 = j*a + 3*v. Is a prime?
False
Suppose 98641 + 42411 = 4*l + 3*x, 3*l - 105789 = 4*x. Is l composite?
True
Suppose 4*d - d - 2*r = 8155, d = 3*r + 2709. Is d composite?
True
Is 3028*(1/(-1) + (-10)/(-8)) prime?
True
Suppose 2*m + p = -0*p + 15583, -3*m + 2*p + 23357 = 0. Is m a prime number?
True
Let d(x) = -x**2 + 17*x - 5. Suppose 2*g - 42 = -3*g + 4*m, 2*m + 6 = 0. Suppose g*v + 4 = 88. Is d(v) a prime number?
True
Let u(o) = 125*o + 3. Let f be u(8). Let b = f + -689. Is b a composite number?
True
Let d(w) be the first derivative of -w**4/4 - w**3/3 + 2*w**2 + w - 4. Let s be d(-6). Suppose 2*y - 3*y = -s. Is y composite?
False
Let w = 437 - 183. Is w a prime number?
False
Let l(a) = 660*a**2 + 3*a + 2. Is l(3) a composite number?
True
Suppose 7*a - 2*a = -15. Let i be 3*(a/3 - -2). Suppose i*m - 5*h = 164, 4*h + 57 = m - 0*m. Is m a prime number?
True
Suppose -6*g = -8*g + 3542. Suppose -5*r + g = 306. Is r a prime number?
True
Let c(h) = 240*h**2 + 8*h + 19. Is c(-7) composite?
True
Let b(k) = 4*k - 13 - 3*k + 2*k + 3*k**2 - 52. Is b(27) composite?
False
Suppose -45 = -10*i + 7*i. Suppose -5*v - i = 0, 5*x + 5*v = x + 5429. Is x a composite number?
False
Let c(g) = 123*g + 1. Suppose 3*i + 2*k = 15, -21 = -4*i + 2*i - 5*k. Suppose 10 = n - i*n, -5*n - 13 = s. Is c(s) prime?
False
Is (-26)/247 - 45279/(-19) a composite number?
False
Suppose -2*k - 2*k = -40028. Is k prime?
True
Let l be (14/2 + -24)/(2/(-34)). Suppose n - 1280 + l = 0. Is n a prime number?
True
Suppose -2*i + 2*w = 1994 - 9466, 4*i = 5*w + 14941. Is i composite?
False
Let n be -4 + 2*(-3 - -8). Let r be ((-1015)/(-4))/(4/16). Suppose -i = n*i - r. Is i composite?
True
Let v = -3790 + 5889. Suppose -v = -5*j - a + 5*a, 0 = 2*j + 3*a - 835. Is j prime?
True
Suppose -1521 = -22*y + 9*y. Suppose 0*w + 3*w = -r + 64, -128 = -2*r + 3*w. Let g = y - r. Is g a composite number?
False
Suppose 5*n + 3*h + 111 = n, 2*h = -n - 34. Let s = n - -28. Suppose -s = q - 125. Is q a composite number?
True
Suppose 8875 - 2305 = 5*c. Let m = 2103 - c. Is m prime?
False
Let c = -222 + 2573. Is c prime?
True
Suppose 5*t - 665 = 3*y, 4*t = y + y + 532. Is t a composite number?
True
Is (-353650)/(-500) - 3/10 a composite number?
True
Let l(u) = -870*u - 1. Suppose 10 = -3*q + 1. Is l(q) prime?
True
Let s(j) = j**3 + 15*j**2 + 13*j - 11. Let x be s(-14). Suppose 0 = c - x - 1. Suppose -c*r + 3*r + 158 = 0. Is r a composite number?
True
Suppose 2*m - 6 = -0*m. Suppose -3*t = 12, -3*d - m*t + 0*t = 6. Suppose d*x - r - 3*r - 126 = 0, -5*x - r = -337. Is x a composite number?
False
Let k(t) = -255*t + 239. Is k(-8) composite?
True
Let t = -3361 + 5070. Is t a composite number?
False
Suppose 44*b - 11658 = 38*b. Is b a composite number?
True
Suppose 8*f + 219481 = 12*f - 5*t, -3*f = -3*t - 164610. Is f composite?
False
Let h(y) = 831*y + 24. Let t be h(-7). Is (t/(-12))/(4/16) a composite number?
False
Let s(p) = 4*p - 8. Let y be s(4). Let j(i) = 202*i + 41. Is j(y) a composite number?
False
Let f(j) = 105*j**3 + 4*j**2 - 5*j + 5. Let q = 159 + -157. Is f(q) prime?
False
Let z = -11 + 12. Suppose 28 = 3*h + z. Suppose 5*n - 12 - h = -2*d, -3 = n - 2*d. Is n a composite number?
False
Is (-1 - (-1468)/(-3))/((-133)/14763) prime?
False
Let k(v) = -12*v**3 - v - 1. Let r be k(-3). Suppose 5*y + 1924 = 3*z, 4*z - 2*z + 2*y - 1256 = 0. Let f = z - r. Is f composite?
False
Let b = 179 + 2972. Is b a prime number?
False
Let k be 27/(-6)*32/(-1). Let v = 445 - k. Is v composite?
True
Let q be (6/(-2))/(-1 - 0). Suppose -a + 131 + 252 = 0. Suppose 32 = 4*s - q*g - a, -2*s + 207 = -g. Is s a composite number?
False
Suppose 0 = 5*b - 3*o - 13026 - 7724, 0 = 2*b + 3*o - 8321. Is b prime?
True
Let f = 206 - -90. Suppose 3*j = f - 5. Is j prime?
True
Let n(r) be the second derivative of -11*r**4/6 - r**3/3 + r**2/2 - 3*r. Let a be n(1). Is (-1 - -2 - 4)*a a composite number?
True
Let f = -63 - -66. Suppose -w + 199 = t + f*w, 5*w = -t + 203. Is t prime?
False
Let o(g) = 219*g**3 - g**2 - 3*g + 3. Let d = 56 + -55. Is o(d) composite?
True
Let j = 8405 - 13544. Let h = j - -8596. Is h prime?
True
Let u = 4322 - 7345. Let y = 10092 + u. Is y prime?
True
Suppose -5 = 5*s + 3*v - 20, 5*s = -5*v + 15. Suppose s*u - 16 = -b + 4*u, -b - 3*u = -36. Is 6/b + 5900/28 composite?
False
Let u(f) = f + 7. Suppose -5*p + 4*d - 17 = 0, -5*p - 11 = -5*d + 4. Let o be u(p). Suppose -1 - 237 = -o*j. Is j composite?
True
Suppose -127 = 8*w - 559. Let c = 30 + -59. Let x = w + c. Is x a prime number?
False
Suppose j - 15 = -v, 4*j = -5*v + 2*j + 75. Suppose -5*r - v = 0, 3*n - 3*r = -2*r + 2286. Is n a composite number?
False
Let r(s) = 5*s**2 + 11*s + 35. Let k be r(-13). Let p = -420 + k. Is p a composite number?
False
Let j(z) = 14*z**2 - 18*z + 15. Let y(c) = -5*c**2 + 6*c - 5. Let h(x) = 4*j(x) + 11*y(x). Let v be h(6). Suppose v*m + 12 - 347 = 0. Is m a composite number?
False
Suppose -120120 = -5*q - 5*z, 48057 = -27*q + 29*q - z. Is q prime?
False
Let a = 5754 + 2809. Is a a prime number?
True
Suppose -18662 = -x + 14595. Is x a prime number?
False
Suppose -8*b + 5*b + 1461 = 0. Let t = -236 + b. Is t a prime number?
True
Suppose 7*a = -a + 104. Suppose -12*l + a*l - 629 = 0. Is l a prime number?
False
Let y be (0 - 2)/((-1)/2). Suppose -3*n = y*l - 1116, -1860 = -5*n - 2*l - l. Suppose -551 = -3*h - 4*z, 0*h - n = -2*h + 2*z. Is h a prime number?
False
Suppose -3*u - 7 - 8 = 0, -4*f - 4*u = 0. Suppose 18235 = 2*z + f*z. Is z prime?
False
Let n(i) = i**2 - 12*i - 6. Let w be n(13). Let p(m) = w*m + 4*m + 5 - m**2 - 8*m - 16*m. Is p(-10) a composite number?
True
Let r be (0/(-14))/((-4)/2) - 2. Let l(i) = -2*i + 24*i**2 + 32*i**2 + 1 - 11*i**2. Is l(r) composite?
True
Suppo