mposite number?
True
Suppose 48*y - 44*y - 51470 = 2*g, -5*y + 2*g = -64339. Is y prime?
False
Suppose -7*l = 3*d - 2*l - 15566, 0 = 2*d - 5*l - 10394. Suppose 0*m + d = 8*m. Is m composite?
True
Suppose 7*r + 4*i = 2*r + 17095, 0 = -2*r + i + 6838. Is r a composite number?
True
Let y = 212 + -148. Let z = y + 507. Is z a composite number?
False
Is (-16)/4 + (3 - -5096) composite?
True
Let l(j) be the third derivative of -j**4/24 + j**3/6 - 4*j**2. Let o(k) = -47*k - 2. Let w(i) = -5*l(i) + o(i). Is w(-12) a prime number?
False
Let y be (-27)/(-2)*392/6. Let z be (-4)/(-26) - (-1197)/247. Suppose -3*a + y = -2*h - h, 5 = -z*h. Is a a composite number?
False
Let r = 7782 + 6325. Is r a composite number?
False
Let q(i) be the third derivative of 227*i**5/60 - i**4/8 + 5*i**3/6 + 25*i**2. Is q(2) prime?
True
Let l(o) = -44*o + 23. Let n(j) = 43*j - 23. Let t(h) = -3*l(h) - 4*n(h). Is t(-13) a prime number?
False
Is -16 + 21 + -3 + 159*11 composite?
True
Let x(n) = 11*n - 3 - 6*n + 9*n. Let c = 11 + -7. Is x(c) a prime number?
True
Let z = -1187 - -1336. Is z a prime number?
True
Let s = 85618 - 48941. Is s composite?
False
Let g = -48 - -85. Let v = g + 90. Is v a prime number?
True
Let p = -5455 - -8034. Is p prime?
True
Is (-8)/48 - (-213090)/36 prime?
False
Let g(x) = -2*x**3 - 9*x**2 - 15*x - 17. Is g(-11) a prime number?
True
Suppose 0*w - 45 = 3*w - 4*b, 0 = -3*w + b - 36. Let q = 17 + w. Suppose n - q*n = -745. Is n a composite number?
False
Suppose -2*t = 5*x - 0*t - 2243, -4*t - 453 = -x. Is x prime?
True
Suppose -4*b + 7 = -0*b + c, 12 = 3*b + 3*c. Is 13 + -13 - (b + -332)/1 a composite number?
False
Suppose 4*m = -4*w + 376784, -2*w - 470973 = 3*m - 8*m. Is m a prime number?
False
Let s(t) = -317*t - 77. Is s(-38) composite?
False
Let y(t) be the third derivative of t**5/60 + 5*t**4/8 + 7*t**3/2 - 54*t**2. Let a(r) = r**3 - 7*r**2 + 3*r + 4. Let x be a(6). Is y(x) a composite number?
False
Let q(b) = -14*b**3 - 5*b**2 - 4*b + 3. Let i be q(-5). Let c = 2405 - i. Let f = -500 + c. Is f a prime number?
True
Is (-31359)/(-18)*-2*(-16 - -7) a prime number?
False
Suppose -3*b + 8 = -2*m - 0*m, 0 = -3*b - 4*m + 20. Suppose 5*k - 1660 = 5*x, 283 = 2*k - b*x - 383. Is k a prime number?
True
Suppose 4*p = 2*x - 18, -2*p = x + 3*x - 6. Let i be 4*p/(-24)*14. Is (298/(-4))/(i/(-14)) prime?
True
Let l(z) = z**3 - 20*z - 1 - 9 - 9*z**2 - 1. Is l(11) a prime number?
True
Suppose 0 = -24*v + 10*v + 142702. Is v a composite number?
False
Let k be 7440/(-18) + 3/9. Let r = -286 - k. Is r prime?
True
Suppose 0 = -q - 10 + 1. Let k = -17 - q. Is (-748)/(-16) + (-2)/k a prime number?
True
Suppose -3*z + 35604 = 3*w, -4*z + 7031 = -w + 18874. Is w a prime number?
True
Let o(g) = 2*g**3 - g**2 - 7*g + 2. Let u be o(11). Let p = u - 1579. Is p a composite number?
False
Suppose 1846 = f - 325. Is f prime?
False
Is (-9 - -6025) + -9 - 0 a composite number?
False
Let u(m) = -m**2 + 8*m - 16. Let l be u(7). Let z = l - -19. Is z composite?
True
Let z(x) = -x**3 - 6*x**2 - 8*x - 12. Let n be z(-5). Suppose -2*l + 505 = 3*l - 5*r, -n*l + 4*r + 298 = 0. Is l a composite number?
True
Let w = 922 + -519. Let k = 51 + -17. Suppose k = p - w. Is p prime?
False
Suppose -p + 5 = 0, -3*p + 21 = 4*f - f. Suppose f*t - 1101 = -t. Suppose -t = 4*i - 1355. Is i a composite number?
True
Let m(b) = -8*b - 11. Let s(v) = -17*v - 23. Let j(y) = -13*m(y) + 6*s(y). Let x be j(7). Let a = x - -34. Is a a prime number?
True
Let h(s) = -9*s**3 - 6*s**2 + 7*s - 6. Let m be h(3). Let q = m - -545. Is q a prime number?
True
Let b(o) = -1023*o - 1 - 1399*o + 427*o. Is b(-2) prime?
True
Let n(c) = 78*c**3 + 2*c**2 + 5*c - 11. Suppose 6*m = 8*m - 4. Is n(m) a composite number?
False
Let o(m) = 4*m - 5*m**3 + m**2 + 4*m**3 - 5*m. Let g be o(0). Suppose g*y = 4*y + s - 183, 146 = 3*y - s. Is y prime?
True
Suppose -6*q + 7084 = q. Suppose -2*k = 3*z + 3*k - 791, q = 4*z - 4*k. Is z a composite number?
False
Let j(k) = -k**2 + 10*k + 11. Let r be j(11). Suppose r = -4*y + 1773 + 1831. Is y prime?
False
Let u be 105*5/(-5)*67. Let o = -4790 - u. Is o a composite number?
True
Let q(g) = -g**3 + 7*g**2 + 11*g - 6. Let b(z) = 3*z - 2. Let u be b(3). Let i = 14 - u. Is q(i) a prime number?
True
Suppose 44*o - 5*w + 67790 = 49*o, -2*w = 4*o - 54240. Is o prime?
False
Let k(u) be the third derivative of -u**6/120 + u**5/12 + u**3/2 - 4*u**2. Let p(s) = s**3 - 2*s**2 - 1. Let x(t) = 3*k(t) + 7*p(t). Is x(3) prime?
False
Let b be 8/(-6)*(-21)/(-2). Let d = 79 + b. Is d composite?
True
Let a(j) = 262*j**2 - 2*j + 5. Let u = -6 - -8. Is a(u) prime?
True
Let p(w) = -1555*w - 3. Let l(o) = 518*o + 1. Let x(b) = 11*l(b) + 4*p(b). Is x(-1) a prime number?
True
Suppose g = 3*n - 2 - 13, 3*g - 3*n + 51 = 0. Is (-4805)/(-11) - g/99 a composite number?
True
Suppose -3*b = r - 456, 4*r + b - 3*b = 1894. Let p = r + 890. Is p a composite number?
False
Let x = -64 - -68. Suppose -12 = -3*s, 2*s = -x*j - 460 + 2216. Is j composite?
True
Let n = -4 + 7. Suppose n*a = a + 18. Suppose 42 - a = z. Is z prime?
False
Let i = -6997 - -16730. Is i a prime number?
True
Suppose -3*n - j + 1944 = 2*j, -3*j + 12 = 0. Is (0 - 3)*1 + n a composite number?
False
Suppose 10*o + 2580 = 12*o. Let v = -569 + o. Is v prime?
False
Let a be (-54)/10 - 2/(-5). Let p(q) be the first derivative of -q**4/4 + 5*q**3/3 - 3*q**2 + 7*q + 60. Is p(a) a composite number?
True
Let n(o) = o**2 - 5*o + 3. Let q = 16 + -12. Let k be n(q). Is -3 - k/((-3)/(-282)) composite?
True
Suppose 11*o = -45 + 221. Is (-64)/o*(-1838)/8 a composite number?
False
Let p = -148 + 67. Let f = p + 45. Is 120/f*(-246)/4 prime?
False
Suppose d - 96 = 4*d. Let p be (40/d)/((-2)/8). Suppose 0 = q - 2*v - 885, q - 287 = p*v + 592. Is q a prime number?
False
Is ((-60)/(-135) - 11570/72)*-92 prime?
False
Suppose -a = -6*a - 30. Let d(u) = 13*u + 19. Let h(s) = 6*s + 10. Let o(w) = -3*d(w) + 5*h(w). Is o(a) a prime number?
True
Let r(c) = c + 1. Let k be 20/(-70) + (-60)/(-14). Let d(q) = 44*q + 5. Let w(n) = k*r(n) - d(n). Is w(-3) a prime number?
False
Suppose -4*c - 3*r = -5, -3*r = 3*c - r - 5. Suppose 2*h - 848 = -2*h - f, -c*h + 1035 = -5*f. Is h a composite number?
False
Suppose -5*v + 14 = 3*q, 0*q + 2*v - 20 = -3*q. Suppose 3*k - q*k = 5*f, 5*f + 3*k + 2 = 0. Is (1/3)/(f/(-117)) a composite number?
True
Let r(o) = -3 - 8*o**3 + 3*o**2 + o**2 + o + 2 - 3*o**2. Is r(-2) prime?
False
Is 4 - (15273/(-12) + 1/(-4)) composite?
False
Let u = -10076 - -14277. Is u prime?
True
Let l(i) = -13*i + 9. Let w = 13 + -8. Suppose 3*g = w*g + t + 13, -14 = 2*g + 2*t. Is l(g) prime?
False
Let v = 8 + -6. Suppose -6*j - v*j = -2344. Is j a prime number?
True
Let q(t) = -213*t - 12. Let s be q(-10). Suppose -u = -i + s, 4*i + 447 = 3*u + 8918. Suppose 0 = 3*p + 4*b - i, -p = -2*b - 179 - 530. Is p a prime number?
False
Suppose 25345 + 22049 = 18*b. Is b a prime number?
True
Is (-2463)/(8 - 5)*-2 a prime number?
False
Suppose 0 = -4*y - h + 131823, -y + 164775 = 4*y + 2*h. Is y prime?
True
Let w be 2*37/2 + 0. Let y be (-62)/(-124)*(-34 + 2/(-1)). Let z = w - y. Is z composite?
True
Suppose -2*g + o = -3*g + 463, g = -2*o + 459. Is g prime?
True
Let w(m) = -m**2 - 14*m - 14. Let o be w(-12). Let v be (-267)/(-5)*o/2. Suppose 3*x - 4*x = -v. Is x composite?
True
Suppose 11*j = 24850 + 11769. Is j prime?
True
Let b be (-4640)/(-4) + 2 - 2. Let t = b - 487. Is t composite?
False
Is (6754/(-4))/(3 + 77/(-22)) composite?
True
Is 46/(-3)*(-4089)/58 prime?
False
Let z(k) = k**2 + 8*k - 117. Let w be z(17). Let u be ((-4)/5)/((-2)/(-10)). Is (u - -5)*(w - 1) a composite number?
False
Suppose 0 = -5*w - 2*b + 43009, -15 = -0*b + 5*b. Is w a prime number?
False
Suppose -2 = -4*r - 6. Let l be 2 - r - (1 + -273). Suppose 2*w = -6, 2*d = -5*w + l + 180. Is d a prime number?
False
Let t be (1/((-3)/(-1)))/((-2)/(-30)). Suppose 0 = -2*k + 10, 9*k - 4*k - 1470 = -t*p. Is p a prime number?
False
Suppose -9061 - 29717 = -6*a. Is a a prime number?
False
Let l = -74 - -79. Suppose a = -0*z + 2*z - 4202, 0 = 3*z - l*a - 6303. Is z prime?
False
Suppose 11 = b + 2. Suppose t = -7 + b. Suppose t*n - 7*n = -2095. Is n a composite number?
False
Let g(q) = q**2 + 12*q + 15. Let n be g(-11). Suppose -1264 = -n*