9. Suppose -17 = -2*o + 5*d, -2*o + d = 3*d + 18. Is v(o) prime?
True
Let q(x) = -x**3 + 11*x**2 + 12*x - 1. Let l be q(12). Let k be (l/(-2))/((-4)/(-2328)). Suppose 2*r - c + k = 5*r, 0 = r + 2*c - 97. Is r prime?
True
Let x = -405 + 1412. Is x a composite number?
True
Suppose -8*a + 5*a + 5797 = t, 4*a + 29042 = 5*t. Is t composite?
True
Suppose -4*h - 877 = -4745. Is h composite?
False
Let h(a) = -375*a + 6. Let s be h(-7). Let r = s + 3242. Is r prime?
False
Let k(h) = 2*h**2 + h + 7. Let l be k(4). Suppose -2*m + 9 = 5*i + l, m = 3*i + 5. Is (-888)/m + 5/35 a prime number?
True
Let w be (1 - 1)*1*(-4 - -3). Suppose z + 2*g - 5*g - 1385 = w, -3*g = 5*z - 6997. Is z composite?
True
Let d(f) = 42*f - 7. Let v be d(2). Let t(j) = 8*j - 4. Let r be t(6). Let b = v + r. Is b prime?
False
Let p(f) = 6*f**3 - 3*f**2 - f + 2. Let r be p(5). Let l = 1295 - r. Is l a prime number?
False
Suppose -236 = -2*a + 596. Let l = -188 + a. Suppose l + 693 = 3*b. Is b prime?
True
Let p(j) = -8*j**3 - 2*j**2 - 6*j - 33. Is p(-5) prime?
True
Let p(v) be the second derivative of -3*v**4/2 + v**3/6 - 3*v**2/2 + 5*v. Let t be p(8). Let x = -738 - t. Is x composite?
False
Let g(h) = -2451*h - 994. Is g(-7) prime?
False
Let o(c) = 3*c - 6*c + 0*c**3 - 5*c - c**3 - 5. Is o(-6) a composite number?
True
Let p(z) = z**2 + 4*z + 2. Let r be p(-4). Let o be -86*(-3)/r - -1. Let f = -27 + o. Is f a composite number?
False
Suppose 0 = -3*j - d + 22374 + 28652, 3*d - 85050 = -5*j. Is j prime?
False
Let m(l) = -l**3 + l**2. Let c(w) = -5*w**3 + 5*w**2 - w + 2. Let z(u) = c(u) - 4*m(u). Let o be z(2). Is 13*(4 - (-3 + o)) prime?
False
Let g be (-306496)/(-36) - 2/(-9). Let x = 13379 - g. Suppose 5*h - x = -0*h. Is h composite?
True
Let q be 1 + 0 + (1 - 0). Suppose 5*g - 122 = -4*v, 5*g - 4*v = 6*g - 34. Suppose 3*f - 5*u - 449 = -g, 2*f - q*u = 290. Is f a composite number?
False
Let u be 132/(-21) - 4/(-14). Let z be 1436/u*42/(-28). Let a = z - 214. Is a a composite number?
True
Suppose -9*o - 2*o = -42295. Is o composite?
True
Let m(g) = g**3 + g**2 + 2*g - 1. Let y be m(2). Suppose -2*k + y = k. Suppose 2*t + 141 = k*t. Is t prime?
True
Is 8682 - (-2 - (4 + 3)) prime?
False
Let h = 1582 + 41763. Is h composite?
True
Suppose t - 5*f + 8*f = 79, 2*t = -2*f + 174. Let d = 246 - t. Is d a composite number?
True
Suppose 55*r - 58*r + 5*v + 8799 = 0, -2933 = -r - 3*v. Is r a prime number?
False
Suppose 215 = 5*v - v + 5*n, -2*n = 10. Suppose 3*w - 2*w = -25. Let p = v + w. Is p prime?
False
Let s = -17645 + 30954. Is s a prime number?
True
Let p(o) = 148*o + 19. Suppose 0 = -4*h - 5*j + 39, 2*h - 5*h - 2*j + 24 = 0. Is p(h) a prime number?
True
Is (-29726)/(-18) - (-40)/(-90) a composite number?
True
Is 1586 - ((-6)/9)/(2/9) a composite number?
True
Suppose 0 = 6*q - 2*q + 3*o - 89741, -2*q = -4*o - 44854. Is q a composite number?
False
Let t(q) = 1461*q**2 + 36*q + 637. Is t(-14) prime?
False
Let r = 2071 + -117. Is ((-10)/(-4))/5*r a composite number?
False
Let w(p) = 21 - 3 - 4 - 139*p. Is w(-3) composite?
False
Let s(p) = 583*p + 372. Is s(5) composite?
True
Let i(v) = v**2 - 9*v - 3. Let p be i(10). Suppose 2*m = 1 - p. Is (-618)/m*1/2 prime?
True
Let n(j) be the second derivative of -j**5/4 - j**4/12 - j**3 - 11*j**2/2 - 2*j - 8. Is n(-6) a composite number?
False
Let q(l) = -l + 13. Let x be q(9). Suppose -2*v = 2*z + 18, -v - 15 = x*z - 4*v. Let u(w) = 8*w**2 - 5*w + 1. Is u(z) a composite number?
True
Let t(y) be the third derivative of y**5/60 + 3*y**4/8 - 5*y**3/6 + 15*y**2. Is t(6) a composite number?
True
Let x(j) be the second derivative of -61*j**3/3 + 7*j**2/2 - 4*j. Is x(-8) composite?
False
Let r = -5522 + 21739. Is r a prime number?
True
Let q(g) = -83*g + 55. Let t be q(-6). Suppose t = u + 4*i, 5*u + 0*u = -4*i + 2717. Is u prime?
True
Suppose 6*r - 11*r - 3*u = -471904, 15 = 5*u. Is r prime?
True
Let g(a) = 3393*a**2 + 12*a + 5. Is g(-2) composite?
False
Suppose 4*g = 5*y - 16247, 5*y - 3*y - 3*g - 6496 = 0. Is y composite?
False
Suppose -60*u + 660377 = -676603. Is u prime?
True
Suppose 5*a - 29*u + 30*u - 27343 = 0, -5*a + 27347 = -u. Is a a composite number?
True
Suppose l - 23 = -3*l + 5*s, 4*s = 4*l - 28. Suppose 4*p = -a + 218, 0 = 2*p - 4*a + l - 130. Is p a prime number?
False
Let p(v) = -9 + 71*v - 7 + 3 + 83*v. Is p(3) a composite number?
False
Is 15/(-20) + ((-339590)/8)/(-5) composite?
True
Let p(u) = -u**2 - 17*u - 11. Let b be p(-16). Suppose 6*r = r + 3*q + 2218, 0 = 5*r - b*q - 2210. Is r a composite number?
True
Let w be (-76)/6 - (-1)/(-3). Is ((-2)/(-2))/(w/(-15301)) a prime number?
False
Let t = -3 - -1. Let r be (t/(-5))/((-1)/10). Is 63 - -4*(-2)/r composite?
True
Let r be ((-14)/(-56))/(2 - (-18)/(-8)). Is (-1338 + -1)*r - (-70)/(-35) prime?
False
Let o(w) = -1 - 204*w + 1 - 6 - 3. Is o(-5) a prime number?
False
Let x = 6991 - 1764. Is x prime?
True
Suppose -46 = -9*d + 8. Let n(i) = 4*i + 10. Let f(p) = -3*p - 11. Let x(r) = 3*f(r) + 4*n(r). Is x(d) a composite number?
True
Let w = -9536 - -18216. Suppose 0 = 10*z - w + 1490. Is z a prime number?
True
Let i(c) = c**3 - 7*c**2 + 5*c + 8. Let d be i(6). Suppose -231 = -27*a + 24*a. Suppose -a = k - d*k. Is k a prime number?
False
Let x = -68 - -104. Suppose x = 4*a - 0*a. Let h(u) = 2*u + 1. Is h(a) composite?
False
Let a = -1067 + 1905. Is a a prime number?
False
Let i(m) = -401*m - 239. Is i(-6) a composite number?
True
Suppose -3 = -j + 2*u, -2*u = -3*j - j + 12. Let l(d) = 5*d + 18. Is l(j) prime?
False
Is (37 - 36)/(1/1139) a composite number?
True
Let r(j) = -j**2 - 9*j - 2. Suppose -7*u = -2*u + 35. Let l be r(u). Is (844/l)/((-2)/(-6)) a prime number?
True
Let t(i) = 3*i + 18. Let z be t(-6). Suppose z*u = -6*u + 1296. Suppose 3*a = 3*g + 1488, -3*g + 1278 + u = 3*a. Is a composite?
True
Let d(w) = 9*w**3 - 3*w**2 - w - 11. Let z be d(5). Suppose -o = -k - 6*o + 190, 3*o = 5*k - z. Is k prime?
False
Let a be (-15)/(-6)*(-1332)/(-3)*1. Suppose p - 7915 = -a. Is p a prime number?
False
Let h be 3/(9/(-6)) - 50. Let i(k) = 2*k**3 + 3*k**2 - 4. Let l be i(-5). Let d = h - l. Is d a composite number?
False
Let o(d) = -d**3 + 13*d**2 + 2*d - 27. Let n = 62 + -50. Is o(n) composite?
True
Suppose 2*t - t - 2 = 0. Suppose -t*m + 922 = -160. Is m prime?
True
Let n = 12 - 7. Suppose 316 = 4*j + 4*h, -h = -n + 3. Is j prime?
False
Let c be -3*(-1 + 0 + -5). Let k = 21 - c. Suppose -k*w + 252 = 3*q - 123, -3*q - 351 = -3*w. Is w a prime number?
False
Suppose -1464 = -4*o + 364. Let v = o + 462. Is v a composite number?
False
Suppose 3*n - n = 2*v + 4, -4*n = -2*v - 2. Let f be v + (-2 - -1) - -2. Is (-259)/14*(f + 0) composite?
False
Suppose 0 = -5*d + 5*b + 45, 33 = -0*d + 2*d - 5*b. Let s be (10/d)/(11/638). Let w = s + 0. Is w prime?
False
Let c(y) = -y + 7. Let b(n) = -n**2 + 8*n + 24. Let x be b(10). Let p be c(x). Suppose -7*s + 3556 = -p*s. Is s prime?
False
Let q(b) = 99*b - 143. Is q(20) a prime number?
False
Let l(d) = -1189*d + 321. Is l(-22) a prime number?
True
Suppose 2*y - 60 = -3*g, -y = -3*y - g + 52. Let s be 6/4*y/(-18). Is 6 + s + -1 + 138 prime?
False
Let v(j) = j**2 - 7*j - 25. Let a be v(13). Let z(g) = 330*g - 24 - 30 + a. Is z(1) a composite number?
True
Suppose -225 - 485 = -5*w. Suppose j - w = -j. Is j composite?
False
Let k = -16885 - -28496. Is k a prime number?
False
Let l(d) = -d**3 + 35*d**2 + 61*d + 82. Is l(36) a composite number?
True
Let h = 1217 - 466. Is h prime?
True
Let p = -22 - -110. Let b = 34 - 85. Let v = b + p. Is v prime?
True
Let h = 12 - -95. Is 0 + h + (-4)/(-2) prime?
True
Let b(k) = -146*k - 4. Let h(g) = -292*g - 7. Let m(x) = 5*b(x) - 3*h(x). Is m(6) prime?
True
Let i(o) = o - 15. Let v be i(11). Let t(p) = -48*p - 7. Let a be t(v). Suppose -2*u - a = -7*u. Is u a composite number?
False
Suppose 0 = s + 4, 0 = -19*q + 15*q - s + 5440. Is q a prime number?
True
Is ((-17)/(-4))/(1/3148) prime?
False
Let n = 62 + -55. Is n/((-84)/(-8))*411 a composite number?
True
Suppose -2*t + 9 = o, t = -0*t - 5*o - 18. Let c(g) = -g**2 + 7*g + 15. Let b(m) = m**2 - 10*m - 22. Let h(q) = -5*b(q) - 8*c(q). Is h(t) a prime number?
False
Suppose 7*u = -5*u + 165012. Is u prime?
True
Let b be 0/(1 - (-6)/(-2)). Suppose -4*u + b*u = -2564. Is u compos