 b(5) a prime number?
True
Let u = 64 + -66. Is 1212 + u - 15/(-4 + 9) prime?
False
Suppose -13*u - 90 = -16*u. Let d = 76 - u. Let x = 43 + d. Is x a prime number?
True
Let r(l) = 2834*l + 6. Let c be r(3). Suppose -5*w + 2*w = c. Is (-2)/(-9) + w/(-36) prime?
True
Suppose -9*g = -6*g - 9. Let c(z) = 289*z + 2. Is c(g) prime?
False
Let o(n) be the second derivative of -20*n**3 + 23*n**2/2 + 8*n. Is o(-7) a composite number?
False
Let m(w) = w**2 - 9*w + 13. Let y be m(8). Is 1893/12*(y + -1) composite?
False
Let x = 531 + -1136. Let c = 1968 + x. Is c prime?
False
Let s be -4 + 9 + -4 - (1 - 5). Suppose -92 - 1583 = -s*p. Is p a composite number?
True
Let u(d) be the second derivative of 40*d**4/3 + d**3/6 - d**2 - 14*d. Is u(3) a prime number?
False
Is (-6 - 88/(-16))/(2/(-38932)) composite?
False
Suppose 5*n - 9 = -2*u, -2*u + 5*u - 2*n = 4. Let i be u + 2 + -4 + 690. Suppose -86 = -4*k + i. Is k prime?
False
Is 2*584772/(-168)*-7 a composite number?
False
Let d(j) = j**3 + 30*j**2 - 8*j - 61. Is d(-24) a composite number?
True
Suppose -33*m - 64394 = -55*m. Is m composite?
False
Let o(x) = -2*x**3 - 15*x**2 - 11*x + 9. Let j be o(-12). Suppose 0 = 13*i - j - 1826. Is i prime?
True
Let u(h) = 2*h + 13. Let l be u(-12). Let d(p) = p**3 + 12*p**2 + 6*p - 18. Is d(l) prime?
True
Is 102063/5 - 2/(-5) a prime number?
False
Suppose 57 = z + 2. Suppose -z = -j - 439. Let n = -261 - j. Is n prime?
False
Suppose 506 = w - f, -4*f - f = 0. Let h = 212 + -209. Suppose -w = -h*v + v. Is v a prime number?
False
Let n(x) = x**2 + 10*x + 7. Let h be n(-7). Let b = -8 - h. Suppose -395 = -11*k + b*k. Is k prime?
True
Let w(y) = y**3 + 7*y**2 - 27*y + 32. Is w(13) prime?
True
Let s(q) = -q + 1. Let k(j) = -j**3 - 6*j**2 + 3*j + 2. Let v(a) = k(a) + 3*s(a). Let d = 3 + -11. Is v(d) composite?
True
Let m be 9*(-1 + (-680)/6). Let u be (-2)/((-2)/3) + -733. Let i = u - m. Is i a composite number?
True
Let v = -746 + 179. Let k = 854 + -586. Let t = k - v. Is t prime?
False
Let k be ((-2)/(-2))/((-5)/(-10)). Let s be (50/(-4))/(-5)*k. Suppose -s*c - 4*x + 1031 = 0, -2*c + 2*x - x = -402. Is c a prime number?
False
Let t = -5700 + 10657. Is t a composite number?
False
Suppose 8*d - 24 = 6*d. Suppose -9*n + 51 = -d. Is n a composite number?
False
Let z = 3484 + -1305. Is z composite?
False
Suppose -6*d + 4*t = -8*d + 5078, 7635 = 3*d - 3*t. Is d a prime number?
True
Let d(l) = -1202*l - 147. Is d(-4) prime?
False
Suppose -892 = q - 2*q. Let x = -198 + q. Is x a prime number?
False
Suppose 0 = 2*p - 1150 - 1144. Suppose -283 = -a + h - 3*h, 4*a + 5*h = p. Is a composite?
False
Suppose 0 = -8*f + 5*f + c - 1259, 2103 = -5*f + 4*c. Suppose 3*q + 118 + 89 = -2*b, b - 2*q = -100. Let m = b - f. Is m a composite number?
False
Let c = -26 + 24. Let z(x) = -51*x**3 - 4*x**2 - 2*x + 1. Is z(c) composite?
False
Suppose -5*r + 4*g = -17, -5*r + 4*r - g = -7. Suppose r*t = 4*y + 4, 5*y = -5*t + 39 + 1. Suppose 4*u + w - 745 = 0, -3*u = -6*w + t*w - 545. Is u composite?
True
Let u = -8 + 2. Let v(f) = 43*f**2 + 4*f + 11. Is v(u) composite?
True
Suppose -4*a = -3*n - 27131, -32*a - 20347 = -35*a + 2*n. Is a prime?
True
Let u be (-2)/(-4)*(5 + 653). Let d = 11 - 47. Let c = d + u. Is c composite?
False
Is 1 + (-4)/(-14) + (-231324)/(-42) a composite number?
True
Suppose 4*l - 29011 = -5*v, -3*v + 7915 = 2*l - 6592. Is l a composite number?
True
Suppose -3*t = 4*l - 26, -5*t = -3*l + 3 + 2. Let b be (8/20)/(2/10). Suppose -5*u - 28 = -b*p + 18, -23 = -p - t*u. Is p composite?
False
Let u(h) = -106*h - 52. Let j be u(-12). Suppose 9*t - 12677 = -j. Is t composite?
True
Let g = 5205 + -3028. Is g a composite number?
True
Suppose -10*u - 6622 = -21852. Is u composite?
False
Let v(c) be the second derivative of -c**5/10 - c**4/3 - c**3/2 - c**2 - c. Let t be v(-2). Suppose y + y = d + 66, 4*d = t*y - 128. Is y a prime number?
False
Suppose 3*o = -4*o + 35. Suppose k = o*k + 2676. Let z = -340 - k. Is z prime?
False
Let b(p) = -4*p**3 - 53*p**2 - 54*p + 2. Is b(-25) prime?
True
Is 2*(-6)/66 - (-33510)/22 a composite number?
False
Let t(r) = 4*r - 2. Let j be t(1). Suppose j*g + 2*l = 3948, -2*l - 15 = l. Is g composite?
False
Let z(n) = 5*n - 9. Let w be z(4). Suppose -10*y + w*y = -11. Is y/((-11)/216) + 1 a prime number?
False
Suppose -2*m - 7*u + 2*u + 3948 = 0, 2*u = 4*m - 7872. Is m a prime number?
False
Let i = 25 - 39. Let r be (2/3)/(i/(-21)). Is (-487)/2*(-2)/r prime?
True
Suppose 0 = 5*w - 5*q - 8700, q = -2*w + 2*q + 3485. Is w prime?
False
Suppose 3 = r + 4. Let m = r - 2. Let o(v) = 73*v**2 - 8*v - 2. Is o(m) prime?
False
Let m(n) = -n**3 + 11*n**2 + 12*n + 17. Let v be m(12). Is 14 - v - (1 - 513) prime?
True
Let h = 17228 - 8821. Is h a composite number?
True
Let n(o) = -2*o - 1. Let t be n(-3). Let h be 4/(30/5 + -5). Suppose -3*b + 54 = -b - h*a, -t*a = -b + 12. Is b prime?
True
Suppose 4*a + 55761 = 5*d, -11157 = -d + 3*a - a. Is d a prime number?
True
Suppose -5*z + 3459 = -3541. Suppose -11*x + 7*x - z = 0. Let n = 21 - x. Is n composite?
True
Suppose -4*r + 88 = 32. Suppose a = -a + r. Suppose a*q = 3*q + 596. Is q a prime number?
True
Let g = -247 + 788. Is g a prime number?
True
Suppose 4*n - p = -2*p + 5469, -n - 2*p = -1369. Is n composite?
False
Is 3580 - ((-10)/2 + 16) composite?
True
Suppose 2*y = -2*x + 41852, y - 3603 = -2*x + 17328. Is y composite?
False
Let n(j) = 12*j**3 + 4*j**2 + 4*j + 13. Let f be n(6). Let z = 4824 - f. Is z composite?
True
Let t be 47 + 0 + (-36)/12. Is 1382/18 - t/(-198) a composite number?
True
Let o = -73 - -1268. Is o composite?
True
Let f(s) be the third derivative of 47*s**5/60 - s**4/6 - 2*s**3/3 - 8*s**2. Is f(5) a prime number?
True
Suppose -34*a + 337088 + 739386 = 0. Is a prime?
False
Let z(r) be the third derivative of -13*r**6/720 - r**5/10 + r**4/8 - 6*r**2. Let d(k) be the second derivative of z(k). Is d(-10) composite?
True
Suppose -148 = s - 3*r, -5*s = -r - 0*r + 740. Let u = -529 - -746. Let c = s + u. Is c composite?
True
Let w be (-1)/11 + 17204/242. Suppose w*f - 69*f = 124. Is f a prime number?
False
Let d = 43 - 47. Is -1 + 1 + 6*(-698)/d a composite number?
True
Let h(l) = 8*l - 2. Let j be h(5). Suppose 3*s - 10 = 5*b - 2*s, 2*s + j = -4*b. Let k(a) = 2*a**2 + 2*a + 5. Is k(b) a composite number?
False
Let b be (-7 + 6 - 6/(-4))*4. Suppose -b*k + 0*o = -3*o - 1594, -3*k + 2391 = 2*o. Is k composite?
False
Suppose -6*z + 128111 = 3*l - 11*z, -85440 = -2*l - 13*z. Is l a prime number?
False
Let r(c) = 2*c - 15. Let h(g) = 3*g - 23. Let w(s) = -5*h(s) + 7*r(s). Let i be w(7). Suppose 2*x = 8, -i*k + 5*x = -245 - 170. Is k a composite number?
True
Let o = 3297 + -1782. Suppose 5*r = -3*a - 565 + o, 379 = 2*r + a. Is r a prime number?
False
Suppose 0 = -5*a - i + 29, 5 = 4*a + i - 18. Let u be 2*(-1)/a*-6. Suppose 0 = -2*r + m + 467, -u*r + 5*m + 1170 = 3*r. Is r prime?
True
Let d be (-4 - 8)*(-5)/(-10). Let h(l) = -5*l**3 + 4*l - 1. Is h(d) composite?
True
Let f = 808 + 231. Is f prime?
True
Let d(o) = -o**2 - 10*o + 2. Let u be d(-11). Let p = -3 - u. Is (-3)/(-2)*36/p a prime number?
False
Let g(k) = -76*k**2 - 12*k - 3. Let d(w) = -w**2 - w + 1. Let c(i) = 4*d(i) - g(i). Is c(-3) prime?
True
Suppose -20 = -4*n - 4. Suppose 3*p - 175 = -g, -3*p = 2*p - n*g - 269. Is p prime?
False
Let n(p) = -80*p**3 - p**2 + p + 1. Suppose 2*z = 7*z. Suppose 8*m - 3*m + 10 = z. Is n(m) prime?
False
Let f = -85 + 82. Is 0 + (-1940)/(f - 1) a composite number?
True
Let q(d) = 209*d + 24. Is q(31) a composite number?
True
Let i = 30197 - 19524. Is i prime?
False
Suppose 72*g - 318914 = 70*g. Is g a prime number?
True
Let c(u) = -u**2 + 12*u - 22. Let m be c(9). Suppose 4*x - 2694 = -m*w + 5*x, 20 = -5*x. Is w prime?
False
Let l be ((-116)/6)/((-6)/45). Suppose 20 = -5*f, 2*v + 2*f - 233 = l. Let r = v - 100. Is r composite?
True
Is (-2)/6*1/(3/(-25083)) composite?
True
Let g(p) = -p**3 - 7*p**2 + 18*p. Let z be g(-9). Suppose 3*w - 3119 = 8*n - 7*n, z = -3*n - 6. Is w composite?
False
Let w(f) = 2*f + 2. Suppose -q = -d + 3, -3*d = -2*d + 5*q - 33. Let l be w(d). Is 479/9 - 4/l a prime number?
True
Let k(a) = -1555*a - 356. Is k(-7) a composite number?
False
Let y(o) = 397*o + 40. Is y(7) a prime number?
True
Suppose -2