*b - 5*i + s = -11599, 2*i - 3589 = -b. Is b composite?
False
Let k(p) be the third derivative of p**8/6720 + 7*p**6/720 - 11*p**5/120 - 19*p**4/24 - 3*p**2. Let g(j) be the second derivative of k(j). Is g(11) composite?
True
Let l(c) = -c**2 + 77*c - 41. Is l(32) composite?
False
Let g(x) = x**2 + 2723. Let n(s) = s - 1. Let p(z) = g(z) - 3*n(z). Let a be p(0). Let o = 4675 - a. Is o prime?
True
Suppose -17*x - v = -12*x - 130710, x = -v + 26146. Is x a prime number?
True
Let z be (-1)/(3/(-3 - 12)). Suppose 0 = x + z*m - 30, x - 2*x = m - 10. Suppose x*k - 10536 = -7*k. Is k prime?
False
Let b(f) = 18389*f**2 + 78*f - 346. Is b(5) a composite number?
True
Suppose -j - 2*d = j - 53338, 0 = -3*j + d + 80011. Suppose -4*w + 9*p - 8*p = -j, -4*p = -w + 6675. Is w a composite number?
True
Suppose 79*h + 2*g = 77*h + 1724798, 6*g - 862439 = -h. Is h prime?
False
Is -4*6/(-12) + (-7 - -1) + 136115 prime?
True
Let f(u) = 3*u**3 + 16*u**2 + 4*u - 2. Let h be f(-5). Suppose -4*g + 319 = b, -8*g - h*b - 307 = -12*g. Is g prime?
True
Let l(i) = -3*i**2 + 125*i + 519131. Is l(0) a composite number?
False
Let b = -216045 - -328228. Is b a prime number?
False
Let a = 115 - 108. Let y be (3618 - 1) + -4 + 7. Suppose -a*q - y = -9843. Is q a prime number?
False
Let d(k) = -k**2 + 2*k + 65. Let s be d(9). Is ((0 - -1)/(-2))/(s/(-892)) prime?
True
Suppose -396*p - 4558624 + 100221532 = 0. Is p a composite number?
True
Let a = 1 - -4. Let i(t) = -4*t + a*t**2 - 26 + 2*t - 3*t + 3. Is i(8) composite?
False
Suppose 4*y + 5 = 5*b, -y = -4*y + 15. Let q be ((-9510)/(-75))/(2/b). Is q + 3 - 0 - (-1 - -4) a prime number?
True
Let a(r) = -439*r**3 - 9*r**2 + 5*r + 19. Is a(-14) a composite number?
True
Suppose -2*v = -5*z - 62051, -140288 + 16261 = -4*v - 5*z. Is v a prime number?
True
Suppose 16 = 3*x + 13. Let v(a) = -5*a**2 + 5 + 4*a**2 - a - 4 + 372*a**3. Is v(x) prime?
False
Let b(h) = -h**3 - 10*h**2 + 11*h - 12. Let l be b(-11). Is (2154 + 1 + -2)*l/(-12) composite?
False
Suppose l = 3*l. Let w = l - -4. Suppose w*j + 5280 = 4*b - j, 1295 = b + 5*j. Is b a composite number?
True
Suppose 7994 = -3*a - 14*a + 1173021. Is a prime?
True
Let d(r) = 63391*r**3 + 105*r**2 + 2*r - 1. Is d(2) a composite number?
True
Let j = -2061 + 5122. Is j composite?
False
Suppose -191*w + 189*w = -2*n - 4270228, 2*w - n - 4270231 = 0. Is w composite?
False
Let n(h) = 2*h - 2. Let k be n(11). Let v = k - 15. Suppose -v*z + 25 = -25. Is z composite?
True
Suppose 0 = -4*f - 7 + 23. Suppose z + 0 - f = 0. Suppose -2*k + 7460 = z*o, 0*o = 5*o + 2*k - 9327. Is o a composite number?
False
Suppose 4*t = 9*r - 8*r + 32824, 0 = -t + 4. Is (-4)/(-6) + r/(-9) + 1 composite?
True
Let h(p) = -2 - 1978*p - 5*p**3 + p**2 + 1979*p + 1. Is h(-6) prime?
True
Suppose 0 = 92*g - 93*g - 1042. Suppose 4*p = 3*t + 367, 211 = -2*t + p - 42. Let n = t - g. Is n composite?
True
Let q(o) = 62*o + 47. Let k be q(-6). Let j = 163 + k. Let h = 307 + j. Is h prime?
False
Suppose 81*x - 90147 = 78*x - 4*q, 3*x - 90165 = 2*q. Is x a composite number?
True
Suppose -18*b = 12*b - 899700. Is -6*14/56*b/(-3) prime?
False
Let s(j) = -j + 2. Let d(k) = -k**3 + 9*k**2 + 3*k - 21. Let x(p) = d(p) - 5*s(p). Is x(-16) composite?
True
Suppose -13 = c - 3*k, 0*c = -3*c + 2*k - 11. Let r be (99/(-30)*24)/(c/(-10)). Let j = r - -1333. Is j prime?
True
Let t = 58 + -60. Is (-1)/3 + (t - (-67632)/18) composite?
True
Suppose -10*z + 3*z - 33*z = -62034040. Is z a prime number?
True
Let o be 0 - (3 + (1 - (-1 + 5))). Suppose o = -23*k - 5887 + 135216. Is k composite?
False
Suppose 5*i = -c + 8287, 36143 + 5202 = 5*c - 5*i. Suppose 13*w = 21*w - c. Let t = w - 57. Is t a composite number?
False
Let k(h) = 3*h + 7*h + 3*h**2 - 11 - 2*h**2. Let a be k(-11). Let j = a - -23. Is j composite?
False
Let f = -25720 + 62447. Is f a composite number?
True
Is 2/(-4)*33/((-561)/20655170) prime?
False
Let b = -33 + 37. Let y(i) = -5*i + b - 151*i - 15*i. Is y(-2) prime?
False
Suppose -3*s - p - 161 = 0, -9 = -3*s + 5*p - 194. Is (5*(-11)/s)/(2/47086) a composite number?
True
Suppose -16*l + 66*l - 2919702 - 1881998 = 0. Is l a prime number?
False
Suppose 2*g - 72372 = -4*j, -3*g + 108579 = -0*g - j. Suppose 0 = 4*f - 5*b - 72414, 0 = -3*f + 5*f + 5*b - g. Is f a prime number?
False
Let k = -256 + 256. Let a = -20 - -37. Suppose k = a*p - 5*p - 804. Is p a prime number?
True
Suppose 0 = -2*o + 403 + 295. Suppose -f + 2957 = 2*z, -o = z + 2*f - 1823. Suppose 6*b - z = 2018. Is b a prime number?
False
Suppose -5*r - 31 = -4*k, 4*k - 2*r = -0*r + 22. Suppose -5*d = -k*d - 6803. Is d a composite number?
False
Let g = 20 - 19. Suppose -8*p + 15 + g = 0. Suppose p*w = 662 + 236. Is w a composite number?
False
Let b be (470/30 - 9)/(4/546). Suppose 0 = s - 3763 - b. Is s prime?
True
Suppose -3*r = -2*r + 4*r. Let y be (1 - r) + 130/(-13). Is 4172/12 - ((-30)/y)/5 prime?
True
Suppose -y + 57*n = 56*n - 263692, -5*y + 1318425 = 2*n. Is y composite?
True
Suppose 0 = -5*u + 2*i - 3720, -u - i - 930 = -193. Let a = u + 1342. Suppose 4*l - a = -4*f, 1 = -l - 4. Is f a composite number?
True
Let n be 9/3*350/21. Suppose -8*f = -13*f + 15. Suppose -2*w + n = -f*t, 3*w + 13 = t + 74. Is w a composite number?
False
Let n = 435822 - 120509. Is n a composite number?
False
Suppose 0 = -3*z + v - 2 + 10, -2*z = 2*v. Let b be ((-2)/z)/((-2)/6). Suppose 1183 - 322 = b*x. Is x a composite number?
True
Is 1/2*59050132/142 prime?
True
Let s(d) = -9*d - 6. Let f(a) = 9*a + 7. Let b(r) = -3*f(r) - 4*s(r). Let j be b(2). Suppose -j*n + 18*n + 471 = 0. Is n prime?
True
Let f(l) be the second derivative of 5*l**4/12 - 6*l**3 + l**2 - 2*l + 54. Is f(13) a composite number?
False
Suppose 0 = -3*k + 18 + 3. Suppose 0 = k*w + 14*w - 33537. Is w a prime number?
True
Suppose 4*f - 60 = 2*d, -d + 5*d = -2*f + 50. Suppose -f*c = -15*c - 38694. Is c composite?
True
Suppose 29494 = 2*z + 2*q, 135*q = -5*z + 139*q + 73681. Is z prime?
True
Let y(n) = 14348*n + 2465. Is y(6) prime?
False
Suppose -5*n - 200*d + 205*d + 50 = 0, 3*n - 6 = -3*d. Let g = 6668 + -4554. Suppose -g = n*p - 9020. Is p a composite number?
False
Let q(a) = -145*a**2 - 13*a + 6. Let o(d) = 73*d**2 + 6*d - 3. Let t(f) = 5*o(f) + 2*q(f). Let w be t(1). Suppose 81 = k - w. Is k a prime number?
True
Let s be ((-675)/(-2) - -3)*(-8)/(-12). Suppose -2177 = 2*w - s. Let v = w + 1546. Is v composite?
False
Let j = -118289 - -546918. Is j composite?
False
Is (-38)/(-95) - 21253166/(-10) - (-60)/(-15) a prime number?
True
Let d(z) = -5*z**3 + 2*z**2 - 14*z - 6. Suppose 0 = 5*w + 21 + 9. Let v be d(w). Let r = v - -1339. Is r prime?
False
Let u = -192 - -1401. Let w = 692 + u. Is w composite?
False
Let z(n) = -n**2 + 9*n + 71. Suppose -29*i = 2*u - 34*i - 31, -4 = -2*u - 4*i. Is z(u) prime?
True
Let s be (2 + 14/(-4))/(4/(-8)). Suppose -10719 = -s*i - f + 9586, 0 = -5*i + 3*f + 33851. Is i a composite number?
True
Suppose 5*i - 3*a - 1 - 3 = 0, -2 = 3*i - 4*a. Let g be i/(4 + (-2 - (-52)/(-28))). Suppose -18823 = -g*r + 8799. Is r composite?
False
Suppose c - 3*j = 5016, c = 4*j + 5671 - 659. Suppose -4*p - a + 75 = -53, 109 = 5*p + 14*a. Suppose 29*u + c = p*u. Is u a composite number?
True
Suppose -1 = i, -31 = -t + 8*i - 4*i. Suppose -t = -4*y + p, 0 = -y - p - p. Is ((-2068)/(-20))/1 - y/15 composite?
False
Suppose 7*y = 12*y + 4*i - 17835, y = i + 3576. Is y a composite number?
False
Let o be -1607 - (1 + 11)/(-3). Let d = o - -3846. Is d prime?
True
Let m = -786 - -785. Is 2839*m*2/(-2) composite?
True
Suppose -3*s + 42842 = y, 3*s + 47607 = y + 4747. Is y a prime number?
False
Suppose 4*r = -5*c + 309261, -231*c + 123714 = -229*c + 4*r. Is c a prime number?
False
Let j be 917 - 5 - 9/3. Let s = j - 1312. Let y = s - -677. Is y prime?
False
Suppose 0 = -13*h + 18*h - 30. Suppose -h*p + 3*n = -7*p + 1719, 5*n - 1711 = -p. Is p a prime number?
False
Suppose 0 = 29*q - 139526 + 9055. Is q a prime number?
False
Suppose -4899 = 5*d + 4*d - 147792. Is d prime?
True
Let d(q) = q**3 - 18*q**2 - 17*q - 33. Let r be d(19). Suppose -r*c + 8339 = -1416. Is c composite?
False
Suppose 0*y - 4*y = 5*z - 2062, 3*y - 5*z - 1529 = 0. Suppose 3*r - y = 144. Is (-5 - -3 - -4) + 5*r prime?
True
Let x(f) = 349*f + 2145. Is x(86) a prime n