3, 12*k = 15*k + t - 3346. Is k composite?
False
Is (-4)/(-10) - 79663/(-205) composite?
False
Let w be (-126)/49 - 6/14. Is (-10)/(15/w) + (2 - -163) prime?
True
Let u(i) = -7*i**2 - i. Suppose -3*m = -2*f + 1, m - 4*m = -f + 2. Let l be u(m). Is (33/6)/((-1)/l) prime?
False
Suppose -y - 16 = -2*f, -y + 4 = 2*f - 4. Let w(v) = 5 + 0 + 2*v**3 - 360*v - 3*v**2 + 362*v. Is w(f) a composite number?
True
Suppose -1401 = 2*z + z. Let y = -939 - -181. Let d = z - y. Is d composite?
True
Let r be 4*2*(16 - 14). Suppose -4*s - r = 5*o, -3*o = -0*o. Let t(b) = 17*b**2 + 5*b - 1. Is t(s) a composite number?
False
Suppose 8 = -4*a, 3*a + 18 = 5*m - 2*m. Suppose -m*i + 1866 = -i. Is i composite?
True
Suppose 48*y - 61*y + 82537 = 0. Is y prime?
False
Let s be ((-15)/10)/(2/(-4)). Suppose -s*b - 3806 = q, -8*b - 5*q = -3*b + 6350. Is 2/12 - b/24 a prime number?
True
Let c = 759 - -168. Let p = c - -80. Is p composite?
True
Suppose 5*j = 5*a + 54390, 41*a - 10894 = -j + 38*a. Is j a composite number?
True
Let y(p) = -5501*p**3 + 4*p**2 + 5*p + 1. Is y(-1) composite?
False
Let i(q) = 59*q**2 - q. Let a = 14 + -16. Let k be i(a). Let z = k - 167. Is z prime?
True
Let k(f) = -f**3 + 11*f**2 - 11*f + 7. Let y be k(10). Let j be y/5 - 1133/(-55). Let v = 151 - j. Is v a prime number?
True
Suppose -3*l - 250 = 2*l. Is ((-134)/5)/(20/l) a prime number?
True
Let n = 12 - 19. Let c(k) = -k**3 + 12*k**2 + 12*k + 15. Let z be c(13). Is ((-11)/z)/(n/182) composite?
True
Suppose 2*s + 326781 = 5*d, -21*d = -25*d + 3*s + 261422. Is d composite?
False
Let f = -3633 - -13424. Is f prime?
True
Let a = 5 + -1. Suppose 0 = 5*b - 2*y - 3661, 0 = b + b - a*y - 1458. Is b a prime number?
True
Is ((-42)/(-42))/(2/(4464 - 2)) a composite number?
True
Let h(l) = -7*l + 38. Let i be h(4). Is i*(42/12 - -2) a composite number?
True
Let x(d) = -923*d + 16. Let k be x(-3). Let o = -1386 + k. Is o a composite number?
False
Is -33257*16/(-56)*3/6 prime?
True
Suppose 40 = -6*n - 2*n. Let a(s) = -12*s**3 + 8*s**2 + 12*s + 3. Is a(n) prime?
False
Suppose -2013*h = -2016*h + 236019. Is h a prime number?
False
Suppose o = -0*i + 3*i - 6930, 0 = 2*i - 3*o - 4627. Is i prime?
True
Let c(k) = 39*k**2 - 4*k. Let r be c(-6). Let u = 2930 - r. Is u prime?
False
Suppose -5*r = -10*r + 20. Suppose 5*k + 4146 = 2*w, -3*w - r*k = -0*w - 6173. Is w composite?
False
Let c be (6/(-8))/(5/(-13380)). Is (-2)/(9/(c/(-2))) composite?
False
Suppose 0 = -0*x + 3*x - 18. Let p(a) = -2*a**2 - 3*a - 1. Let h(b) = b**2 + 3*b + 1. Let t(z) = -4*h(z) - 5*p(z). Is t(x) prime?
False
Suppose 0 = p - 2, -5*z = -p + 6*p - 185. Let w = z + 258. Is w composite?
False
Let d(x) = 256*x + 339. Is d(44) a composite number?
True
Suppose 0*z = -3*z + 12. Let i be -2 - 2/z*-26. Suppose x = 80 - i. Is x a prime number?
False
Let c(x) = -4*x - 11*x**2 + 8*x**2 + 21*x**2 + 29. Is c(-9) a prime number?
True
Suppose 0 = 4*z - 2*z - 20. Let l(y) = y - 5. Let d be l(z). Suppose -2*o + d*o = 4*v + 110, 0 = 4*o - v - 138. Is o composite?
True
Let v(w) = 3*w + 15 - 5 + 2*w - 3. Let f be v(6). Is f/(1*(-2)/(-4)) a prime number?
False
Let b = -477 - -3826. Suppose 3*r = 1334 + b. Is r prime?
False
Is (-61188)/(-36)*6*2/4 prime?
True
Let q = -17372 - -46951. Is q a prime number?
False
Let g(o) = -o**3 - 4*o**2 + 2*o - 5. Let l(z) = 3*z - 30. Let s be l(8). Is g(s) a composite number?
True
Suppose -5*p + p - m + 1712 = 0, -5*p + 2*m = -2153. Let n be ((-2)/6 - -1)/(1/6). Suppose k + p = n*k. Is k a prime number?
False
Suppose -4*y = 4*v - 5592, 2*y = 3*y - 3*v - 1402. Is y a prime number?
True
Let p(r) = -4 - r**2 - 9*r**3 + 0 + 4*r**3 + r. Is p(-3) prime?
False
Let x(f) = 277*f - 114. Is x(5) a prime number?
False
Let p be (-5 - -1) + 51 + 1. Let c = p + 2681. Is c a composite number?
False
Suppose 5*n - k - 6267 = 30696, -29566 = -4*n + 3*k. Is n prime?
True
Let v(p) = 30*p + 6 + 7*p - 55 - 3*p. Is v(23) prime?
True
Let x(k) = k**2 + 15*k - 33. Let c be x(-24). Let f = 4 + c. Is f composite?
True
Let s be 2/(21/(-27) + 1). Suppose -2*u - 3 + s = 0. Suppose 4*f = -u*h + h + 70, -h - 3*f = -37. Is h a composite number?
False
Let o(q) = 1396*q**2 - 10*q + 31. Is o(4) a prime number?
False
Suppose t + 10 - 2 = 0. Is (-908)/t - 1/2 a prime number?
True
Let z(a) = -504*a**3 + 2*a**2 + 3*a + 72. Is z(-5) composite?
True
Suppose -j - 4*y = -264, -j + 2*y + 820 = 2*j. Let c = j - -454. Let v = c + -505. Is v a prime number?
False
Is 469122/(-9)*33/(-22) a composite number?
True
Let g(u) = -211*u + 554. Is g(-12) prime?
False
Let t(v) = 35*v**3 - 17*v**2 - 10*v + 35. Is t(8) composite?
False
Let k = -1520 - -1078. Let j = -121 - k. Is j prime?
False
Is 7 - (-1040)/(-24)*8136/(-20) composite?
True
Let y = -40 + 58. Let q = y - 16. Suppose -8 = -q*d, -3*j = 2*d + 2*d - 550. Is j a prime number?
False
Let x = 1198 + 2589. Is x a composite number?
True
Let l = -29689 + 71556. Is l composite?
True
Suppose 8*r - 48162 = 85222. Is r composite?
False
Suppose -6*j = 24*j - 253950. Is j prime?
False
Let d(g) = 2*g**3 + 15*g**2 + 7*g + 4. Let q be d(-7). Suppose 4*u + 5*f = 3248 - 120, q*u - 5*f - 3168 = 0. Is u composite?
False
Let x be (-10)/(-5)*(2 - (-1)/(-2)). Suppose 4*r = 2*l - 982, x*l = -l - 2*r + 1964. Is l composite?
False
Suppose 3*q + 198 = q. Let k be (-2)/(-8) - q/36. Suppose -a - 155 = -k*w - 6*a, 5*w - 285 = 5*a. Is w a composite number?
True
Let d(s) = s - 3. Let b be d(3). Let o = -15 + b. Is (-978)/(-15) + 3/o a prime number?
False
Let f be ((-772)/16)/((-3)/12). Let r = 213 - 319. Let g = f + r. Is g composite?
True
Let u = 43 + -40. Is 2*18 + 8/((-8)/u) a prime number?
False
Let z(i) = i + 1. Suppose -5*s + a + 37 = 0, -s + 2*a = -4 - 7. Let q be z(s). Suppose -q*f = -7*f - 379. Is f a composite number?
False
Suppose -8*x + 164 + 2132 = 0. Is x prime?
False
Let k(f) = -3*f**3 + 20*f**2 + 26*f - 30. Is k(-17) a composite number?
False
Let q(f) = -4*f**2 + 62*f - 9. Let d be q(17). Suppose j = -3*y - y - 10, -2*j + y = 2. Is 3/((-225)/d + j) composite?
True
Suppose -19 = -2*x + 3*z, 5*x + 4*z = -6 + 19. Suppose -5*h - 3*t + 0*t = 105, x*h + 110 = -2*t. Let j = 55 - h. Is j a prime number?
True
Let l(u) = 2*u**2 - 1 + 20*u**3 + 4 - 5*u - u**2. Let b be l(3). Let f = b - 352. Is f composite?
True
Suppose -6476 = -7*h - 519. Suppose -13*r + 12*r = -h. Is r prime?
False
Let t = 128 - -110. Suppose 0 = b - t + 41. Suppose -3*x = 2*q - b, -q + 2*q = -5*x + 88. Is q prime?
True
Suppose g - 8*g + 42 = 0. Suppose 0 = 5*s - 20, 5*a - 3*s - 607 = -g*s. Is a a prime number?
False
Let h(x) = 6*x**2 - 33*x - 94. Is h(-25) a composite number?
False
Suppose -1106 - 582 = -x. Suppose -b = 3*b - x. Is b prime?
False
Let z = -6190 - -15008. Is z composite?
True
Let o = -13 - -7. Let x(m) = m**2 + m + 1. Let k(v) = 8*v**2 + 6*v + 7. Let d(u) = o*x(u) + k(u). Is d(-4) composite?
True
Let m(y) = -736*y - 17. Is m(-21) composite?
False
Let u = 79 + -76. Suppose u*b + 1067 = i, -4*b - b = 5*i - 5255. Is i prime?
False
Let u = -28 - -29. Suppose 2*m - u = 3. Suppose n + 3*v = 580, -7*n = -2*n - m*v - 2815. Is n a prime number?
False
Let q be 57/(-2)*(-200)/15. Suppose 0 = 4*p - 9*p + q. Is p - (-5 - -3 - -1) composite?
True
Let t = 41665 + -24936. Is t prime?
True
Let n(b) = -2*b. Let s(w) = w + 6. Let f be s(-7). Let m be n(f). Suppose m*l + r = 961, l - 3*l + r = -955. Is l composite?
False
Suppose -3*q = -6*o + 11*o - 21069, -q + 4*o + 7023 = 0. Is q a composite number?
True
Suppose 9*s - 4*s + 9375 = -c, -3*s - 3*c - 5613 = 0. Let a = -625 - s. Suppose -3*d + 0*d = -a. Is d a composite number?
True
Suppose 385744 = 7*x - 91425. Is x a prime number?
False
Let j(d) be the second derivative of d**4/6 + 17*d**3/6 - 11*d**2/2 + 4*d. Is j(-22) a composite number?
True
Let w = -205 - -335. Let h = 105 + w. Is h a prime number?
False
Let z = -7 - -10. Suppose 0 = -z*a + 3*j + 1752, -a + j = -3*j - 575. Is a composite?
False
Suppose -8*i = -10*i + 1418. Is i a composite number?
False
Let l = 109 - 59. Suppose 0 = 5*p + 6*o - 5*o - 45, -2*o - l = -4*p. Is p a prime number?
False
Let p(i) = -i**3 + i**2. Let s be p(0). Suppose -w + 4*r - 16 = s, 4*w = 3*r + 2*r - 31. Is (-3)/w - 486/(-24) prime?
False
Is 33203/(148/259 - (-6)/14) a prime number?
True
Suppose -4*f + 9*f 