92/a a prime number?
True
Let d(f) be the second derivative of f**6/180 - f**5/20 - 5*f**4/24 - 5*f**3/6 + 9*f. Let r(k) be the second derivative of d(k). Is r(9) composite?
False
Suppose k = 4*k. Let r be k + 6/3 - 8. Let x(t) = -21*t - 13. Is x(r) a composite number?
False
Suppose -3*t + 3853 = h, 4*h = -0*t - 2*t + 2552. Suppose -o = -2*o + t. Let l = 2037 - o. Is l a composite number?
False
Let c = -96 - -85. Is (c + 12)/(2/958) a prime number?
True
Let p = -35 - -39. Let a = 209 + p. Is a a prime number?
False
Suppose -29*l - 32 = -148. Let m = 18 - 36. Let q = l - m. Is q composite?
True
Suppose 100 = 15*g - 5*g. Suppose -1977 - 1433 = -g*p. Is p a composite number?
True
Let x(f) = 9*f**3 + 8*f**2 + 20*f + 13. Is x(8) composite?
True
Suppose 0 = 3*a + 23 - 8, -3*c - 2*a + 5135 = 0. Suppose -334 = r - c. Is r a prime number?
True
Suppose 7*q - 4568 = 3*q. Let l = q + -661. Is l a prime number?
False
Let k(o) = -29*o**3 - 2*o**2 - 3*o + 4. Suppose -i = -5*t + 19, 3*t + 11 = i - 6*i. Let c be k(i). Suppose -n + 519 = -c. Is n a composite number?
True
Let o = -12 + 94. Let g = o + 11. Is g a prime number?
False
Suppose -3*a = -5*a + 418. Suppose -201 = 17*x - 15*x + o, 3*o = -2*x - 211. Let u = x + a. Is u a composite number?
True
Let t(u) = -u**2 - 4*u + 42. Let h be t(-8). Suppose 0 = h*k - 9*k - 1379. Is k a composite number?
True
Let d be 4/6 - (-6 + (-68)/(-12)). Suppose -2*x + 4*x = -4*m - 508, 0 = -m + 5*x - 105. Is (m/20)/(d/(-4)) a prime number?
False
Suppose -24 = -4*q - 4. Is q/(-10)*(0 - 1778) prime?
False
Let t = -4 - -3. Is (t/3)/((-13)/4329) prime?
False
Let f = 3 - 1. Let n(b) = -2*b + 13. Let v be n(4). Suppose 2*w - 14 = -f*o + 32, 0 = v*w - 4*o - 106. Is w prime?
False
Let x = 954 + -743. Is x a composite number?
False
Suppose -28*n = -4679 - 134957. Is n prime?
True
Let u = -92 - -94. Is 6/u - (-439 + -1) composite?
False
Let r = 4626 - 2423. Is r composite?
False
Suppose -14*d + 9348 = -2398. Is d a composite number?
False
Is (8/(-6) + 1)/(3/(-31329)) composite?
True
Suppose 0 = -22*l + 258474 - 38980. Is l a composite number?
True
Let p(o) = -268*o - 449. Is p(-15) prime?
True
Let j = 64 - 56. Let s = j + 1263. Is s prime?
False
Suppose -1 - 14 = 3*f. Is 907*(f/2)/(5/(-10)) a composite number?
True
Let k(d) be the second derivative of -d**5/5 - d**4/2 - d**3/2 + 9*d**2/2 + 2*d. Suppose 11 = -l + 7. Is k(l) a composite number?
False
Let w be 6/(-4 + 17802/4449). Let o = 458 + w. Is o prime?
False
Let j be -4 + (-6295)/5*-1. Is j/3 + 22/33 a prime number?
True
Let w = -34 + 35. Let p(c) = -2*c + 2. Let o be p(-3). Is (379 - o) + 2*w a prime number?
True
Let n(z) = 329*z**2 + 2*z. Let k be (((-2)/10)/1)/((-24)/120). Is n(k) composite?
False
Let u(l) = 46*l**3 - 5*l**2 + 2*l + 3. Let g = 14 + -11. Let h be u(g). Suppose -h = -8*j + 2*j. Is j a prime number?
False
Suppose -3*j + 4*z = -7*j + 39948, 0 = j - 5*z - 9975. Is j composite?
True
Suppose 67694 = 58*m - 95344. Is m prime?
False
Let w(g) = -39. Let q(s) = s + 40. Let y(i) = -2*q(i) - 3*w(i). Is y(0) a prime number?
True
Let y be 266/(-63) + 4 - (-2968)/(-9). Is ((-1)/3)/((2/y)/1) a prime number?
False
Suppose -121755 = -5*h - 5*b, -2*h = -5*h + 5*b + 73085. Is h composite?
True
Let l = -72 - -71. Let k(v) = -4 + 1 + 2*v - 212*v**3 + 0 + 4. Is k(l) a composite number?
False
Suppose -14*w = -17*w + 45. Suppose -1 = 5*k - 71. Is w - k - (-1 - 51) prime?
True
Let d = -1859 - -2757. Suppose 2*n + 3*a - d = 0, n + 108 = -5*a + 571. Is n a composite number?
False
Suppose u - z = 29 + 83, -z = u - 110. Let i = 194 - u. Is i a prime number?
True
Let z(n) = 19396*n + 201. Is z(2) a prime number?
True
Suppose i + 2 = q, 0 = i + 2*i - 3. Suppose q*u - 1069 = 4*c, 7*u + 786 = -3*c + 4*u. Let m = c + 374. Is m a prime number?
True
Let x(m) = -149*m**3 + 2*m + 2. Suppose 4*c + 24 = 5*b, 2 - 4 = 2*c. Let t be (-4)/b - 0/(-2). Is x(t) a prime number?
True
Suppose -t = -2*n + t - 12, -13 = -2*n - 3*t. Is n*3 - (-6)/((-30)/(-125)) prime?
False
Let i(k) be the second derivative of 11*k**3/3 - 11*k**2/2 - 8*k. Is i(4) a composite number?
True
Let b(w) = -3877*w + 6. Is b(-5) a prime number?
True
Is ((-8)/5)/(-2) - 164855/(-25) composite?
True
Is 3/7 - (-221216)/28 a composite number?
False
Let v = 12 + -6. Suppose 3*x = 5*n - 62, -v*n + 3*n - 4*x + 43 = 0. Is n prime?
True
Is (11 - 210/(-4))*29*2 a prime number?
False
Suppose -44*h = -49*h + 4595. Is h a composite number?
False
Let f(m) = m**2 + 2. Let n be f(0). Suppose -4*k + 858 = n*v - 728, -k - 5*v + 410 = 0. Is k prime?
False
Suppose 0 = 4*c - 16, -3*p + 6*c + 81909 = 9*c. Is p a composite number?
False
Let m(t) = -1. Let r(c) = -c**2 - 416. Let w(i) = -3*m(i) - r(i). Let u be (-42)/231 + (-4)/(-22). Is w(u) a prime number?
True
Let p(j) = -9*j - 17. Suppose -3*a - 11 = 13. Is p(a) a composite number?
True
Is 1294/2*(33 - 28) prime?
False
Let x = 13793 - 6024. Is x a composite number?
True
Suppose -14 = -3*p - 2. Suppose -p*c = -5*c + 2. Suppose 4*f - c*f - 66 = 0. Is f a composite number?
True
Let s = -43144 - -69381. Is s composite?
False
Let h = 15173 + 6686. Is h a composite number?
False
Let i(l) = -15*l**2 + 5*l + 1. Let p(f) = -f**2 + 2*f + 7. Let o be p(0). Let v(r) = 23*r**2 - 7*r - 2. Let b(j) = o*i(j) + 5*v(j). Is b(4) a composite number?
False
Let r(p) = -p - 4. Let t be r(-7). Suppose 161 = z - l - 2*l, -3*z = t*l - 471. Let j = z + -89. Is j a prime number?
False
Let k = -433 - -759. Suppose -k = -i - i. Is i composite?
False
Let f(c) = 2005*c + 88. Is f(5) prime?
False
Suppose -6 = -5*s + 2*s + 2*m, 4*m + 8 = 4*s. Suppose -2*n + 300 = s*u - n, 5*u + 2*n = 749. Is u a composite number?
False
Let f(p) = -2*p**3 + 4*p + 5. Let j be f(-6). Suppose -3552 = 11*b + 5*b. Let k = b + j. Is k a composite number?
False
Let j(c) = 207*c + 237*c - 4 + 1966*c + 7. Is j(1) a prime number?
False
Let p(r) = -r. Let j be p(-4). Suppose 0 = 5*d - j - 11. Suppose 0 = d*x - 6 - 531. Is x prime?
True
Suppose -5*m + 1972 = 3*s - 9975, 19949 = 5*s - m. Is s a composite number?
False
Let l be (-3 - -7)*(-9)/(-12). Let v be (1324/(-6))/(-1)*l. Suppose -5*b + 3*b + v = 0. Is b a prime number?
True
Suppose -r + 33 + 10 = -4*m, m = -4*r + 155. Let f = r + -179. Let n = -63 - f. Is n a composite number?
True
Let t(r) = -22 + 13*r**2 + 4 + 3 + 10 + 6*r + 6. Let h be (2/5)/(2/(-20)). Is t(h) composite?
True
Let y be (-3)/18 - 7/(-6). Let v = y + 2. Suppose -1056 = -v*i - 63. Is i a composite number?
False
Suppose 4*r = -v + 9910 + 2740, -15809 = -5*r - 3*v. Is r composite?
False
Is 134852/24 + (-1)/(-6) a prime number?
False
Let s = 2997 - 1454. Is s prime?
True
Let h = -10 + 15. Suppose -2*l = -h*b - l - 4219, 0 = -b + 4*l - 840. Is (b/6)/((-4)/6) prime?
True
Suppose -u + 14526 = -4*d + 45291, 5*d + 2*u = 38453. Is d a composite number?
False
Suppose 21883 = q + 2*q + 4*a, a - 7295 = -q. Is q prime?
True
Is (8246 - 3)/(7 - 10)*-9 a composite number?
True
Let c be -2*7*(-2)/7. Let j(n) = 13*n**2 + 5*n - 15. Is j(c) prime?
False
Let w(s) = -4*s**2 + 2*s - 1. Let h be w(1). Let k be h/((-6)/2) + -86. Is (-3 + 2 - 0)*k prime?
False
Let k(d) = d**2 + 31*d - 19. Let m(s) = -s**2 - 32*s + 19. Let v(a) = -5*k(a) - 4*m(a). Is v(-21) a prime number?
False
Let g be 8/(-20)*(-89 + -1). Is (33144/g)/((-2)/(-3)) a prime number?
True
Let h = 6 + -2. Let s = h - -106. Let v = s + -1. Is v composite?
False
Suppose -3*q + 4 = -4*a, -4*q = -a - 8 - 6. Is (-71 + (4 - a))/(-1) composite?
True
Suppose 4*r = -3*y + 6, -2*r + 2*y = 2 + 2. Suppose r = -38*v + 36*v + 2282. Is v a composite number?
True
Let h be (-2)/(0 - (10/6 - 1)). Suppose 181 = v - 5*t - 20, h*v = 4*t + 581. Is v prime?
True
Suppose 3*p - u = 4*p - 501, 5*p - 2*u = 2477. Is p a prime number?
False
Let d(r) = 14*r**2 - 8*r + 7. Let q(b) = b**2 - b - 1. Let k(g) = d(g) - q(g). Is k(5) prime?
False
Let p = 56 + -56. Suppose 0 = 7*i - 3*i - 356. Suppose -h + 26 + i = p. Is h a composite number?
True
Suppose -5*y + 1009 = -751. Is (-14 - -16)*(1 + y) composite?
True
Let k(f) = -f**3 - 19*f**2 - 36*f - 37. Let s be k(-17). Is 3 - (1/s + (-63483)/9) composite?
False
Let s = -7 - -11. Suppose 4*h + 840 = 4*d, -3*d + d + 5*h = -411. Suppose 3*p - 108 = -2*v + 5*p, -p - d = -s*v. Is v a composite number?
Fals