 = -25*d. Is d a composite number?
False
Suppose -44776 = -13*k + 70417. Is k a prime number?
True
Let p(f) be the first derivative of 31*f**3/3 - 11*f**2/2 + 25*f - 40. Is p(5) a prime number?
False
Let i(r) = 8*r**2 + r + 19. Let q be i(-16). Suppose 2*j - j - q = 0. Is j composite?
True
Is 23153/6 - (-28)/168 a prime number?
False
Let v be 160/30 - (-2)/3. Let a = 49 - v. Is a prime?
True
Suppose 2 = 5*k - 8. Suppose 2*j = -k*n + 74, j + 2*n - 22 = 4*n. Let m = j - 13. Is m prime?
True
Suppose 5*j + 15*j = 22020. Is j composite?
True
Let q be 546/65*(-5)/(-1). Suppose 4*z - q = -2*o, 3*z - 2*z - 10 = -o. Is z prime?
True
Let j(w) = -16*w**3 + w**2 - w + 1. Let t be j(3). Let o = 893 + t. Let r = o - 247. Is r a prime number?
False
Let a(z) = z**2 - 4*z - 1. Suppose 4 = -3*p + 5*p. Let j be a(p). Is 192/10 + 1/j prime?
True
Let n(i) = 63*i**3 - 4*i**2 + 7*i - 7. Is n(4) prime?
True
Let h = 1069 + -705. Let p = h + -111. Is p a composite number?
True
Suppose 11*b - 51405 = -4*b. Is b a prime number?
False
Let h(q) be the first derivative of q**4/4 + 7*q**3/3 - q**2/2 - 10*q - 2. Let j be h(-7). Is (-3)/(j/124) - -3 prime?
True
Suppose 0*y + 251 = o + 5*y, -2*o + 523 = 3*y. Suppose -1478 + o = -4*h. Is h prime?
False
Let x(m) = -5*m - 13. Let l(g) = 5*g + 13. Let d(s) = -4*l(s) - 3*x(s). Suppose -6 = -2*y - 20. Is d(y) a prime number?
False
Is 2/12 - (-12830)/(-240)*-1084 a composite number?
True
Let y(u) = -2*u**3 + 5*u**2 + 4*u - 2. Let l be y(3). Is l - (-144 - 16/4) composite?
False
Suppose 0 = -27*g + 156458 + 235933. Is g prime?
True
Suppose 4*o = 3*k - 890385, 4*k - 5*k - 2*o = -296785. Is k composite?
True
Let j = -101 + 108. Let i = 1064 - j. Is i prime?
False
Let k be ((-8)/6)/(40/8340). Is 9/(-6) + k/(-4) + 1 a prime number?
False
Is 19 + -14 + 6632*(2 - 1) prime?
True
Suppose -3123 = -4*d + 857. Is d composite?
True
Let g(h) = h**2 + 5*h - 2. Let r be g(-6). Suppose 3*x + 4*w - 16 = 2*x, 49 = r*x + w. Suppose 0 = 3*f - 6*f - x, -3*d = -5*f - 1001. Is d prime?
False
Suppose -z = 3*n - 1 - 11, 4*n = 16. Let j = -3 + z. Is 10*j/(-6)*29 prime?
False
Suppose -24615 = -2*v - b, 13*v - 8*v - 2*b = 61533. Is v a composite number?
True
Let y = -1131 + 598. Let o = 1036 + y. Is o prime?
True
Let f = -84 + 84. Suppose f = o - 30 + 5. Is o composite?
True
Let s = 18 - 29. Let m(o) be the first derivative of -9*o**2/2 - 10*o - 14. Is m(s) a composite number?
False
Let i(p) be the third derivative of 13/6*p**3 + 5*p**2 + 0 + 1/12*p**5 + 11/24*p**4 + 0*p. Is i(-6) a composite number?
False
Let j(w) = 108*w - 2. Let d be j(-3). Let c = d + 1687. Is c composite?
False
Let w(s) = 10*s**3 - 2*s. Let a be w(2). Suppose 0*n + 2*k = 3*n - 109, -4*n - 4*k = -172. Let h = a - n. Is h prime?
True
Let c(n) be the second derivative of -29*n**4/24 + 2*n**3 - 5*n**2/2 - 6*n. Let g(x) be the first derivative of c(x). Is g(-5) prime?
True
Let n(c) = 2*c**3 - 70*c**2 + 43*c + 154. Is n(43) prime?
False
Suppose -2*n + 2223 = -2065. Suppose r - n = -0*r - 3*z, 5*r - 10762 = -z. Is r composite?
False
Suppose -4921 - 11433 = -13*f. Suppose 4022 = 4*w + f. Is w a prime number?
True
Is (141806/14)/(8/8) a composite number?
True
Let k(d) = -126*d - 1. Let x(t) = t**3 + 9*t**2 + 3. Let b be x(-9). Suppose 5*f = -b*u - 1, 11 = 2*f + u + 4*u. Is k(f) composite?
False
Let p(b) = 2166*b**2 - 3*b - 5. Is p(-2) composite?
True
Suppose 8*t - 8 = 6*t. Suppose t*p - 64 = 68. Is p a composite number?
True
Suppose -54*n = -55*n - 2*k + 1573, -5*n + 4*k + 7893 = 0. Is n a prime number?
False
Is 4/(-30) + 1/60*92588 composite?
False
Let y(t) = -t**2 - 14*t - 11. Let o be y(-12). Suppose -5322 = -o*v - 239. Is v prime?
False
Suppose 0 = -4*o - 8, 5*t - 17*o - 318191 = -14*o. Is t composite?
True
Suppose 5*q = 10911 + 12724. Is q composite?
True
Suppose -3*h - 2*g = h + 8, 4 = h - g. Suppose 5*p + p = h. Suppose -4*c + 528 = -0*c + 4*y, p = -5*c - y + 656. Is c a prime number?
True
Suppose 40*i - 1435772 = -12*i. Is i a composite number?
False
Let v be (-1)/3 - 348/(-9)*191. Suppose -10*q = -17*q + v. Is q composite?
True
Let x(k) = -k**3 - 14*k**2 - 7*k - 13. Suppose 2*y + 25 = -j, -15 = -y + 4*j + j. Let l be x(y). Let c = l + 520. Is c composite?
True
Let r = -14 + 24. Let j(t) = -10*t**2 - 32*t + 13. Let o(s) = 4*s**2 + 11*s - 4. Let i(b) = 3*j(b) + 8*o(b). Is i(r) a prime number?
True
Let z be ((-10)/15)/((-2)/129). Let o = 76 - z. Is o prime?
False
Let b = 13372 - 4367. Is b a composite number?
True
Is 8 - (-15546)/10 - 2/(-5) a prime number?
False
Let s(h) = -14*h**2 - 11*h - 26. Let o be s(-6). Let t = 209 - o. Is t prime?
True
Suppose -1415 = -5*q - 2*i + 703, 0 = -4*q + 3*i + 1676. Let w = q - 293. Is w composite?
True
Suppose 35 = -u + 6*u + 5*w, -3*w + 15 = 2*u. Let o be (69/6)/(3/u). Let j = o + -12. Is j prime?
True
Let d(k) = k**2 + 3*k + 8. Let s be d(-6). Is (1/(-2))/((-1)/s) prime?
True
Let n(u) = 6*u**3 + 4*u - 5. Let l(a) = -a**2 + 10*a + 2. Let x be l(10). Let m be n(x). Is m + -2 + 0/3 composite?
True
Suppose 4*d - 2*c - 6094 = -0*c, 3*d - 4565 = -4*c. Suppose 0 = f + 2*s - 357 + 58, -5*f = 3*s - d. Is f prime?
True
Let k(g) = 2*g + 134. Let n be k(0). Suppose 2*d = n + 50. Let l = d + -58. Is l a prime number?
False
Let u(c) = -c. Let t(y) = 13*y**2 - 6*y - 1. Let m(d) = t(d) - 2*u(d). Suppose 6*k + 647 = 671. Is m(k) prime?
True
Let n be ((-2)/(-2))/(42/(-15) - -3). Suppose n*i + 245 = 1540. Is i prime?
False
Suppose 12*s = 14*s - 13796. Suppose -5*k = 1683 - s. Is k a prime number?
False
Let h be 4*3/4*1. Suppose 3*o = h*r + 2124, -4*o - o + 3*r = -3542. Is o prime?
True
Let c be (6 - 267/15)/((-2)/10). Suppose -4*a = 3*j - 242 + 6, a + 5*j = c. Is a a prime number?
True
Let b(t) = t**3 + 8*t**2 - t - 4. Let x be b(-8). Suppose -2*s = -x*s + 166. Is s a prime number?
True
Let o = -44 - -66. Let l = o - 19. Suppose 4*s = -l*n + 1092 + 63, 0 = -3*s + 3*n + 882. Is s composite?
True
Let t(z) = -z**2 + 9*z - 4. Let d be t(6). Suppose -2 + d = 3*m. Suppose -1066 = -m*j + s + s, j - 256 = -3*s. Is j a composite number?
True
Is (-3358908)/(-90) + (-5)/25 prime?
True
Suppose -3*j + 8939 = -4*q, -5*q + 6111 = -5*j + 21011. Is j a composite number?
True
Let b(z) be the third derivative of -z**6/120 - 7*z**5/60 + 7*z**4/24 + 5*z**3/6 - z**2 + 17*z. Let o = -7 - 1. Is b(o) a composite number?
False
Let j(n) = 2*n**2 - 3*n - n**2 + 3*n. Let f be j(-2). Suppose 1477 = 3*o - f*q + 3*q, -4*q + 1487 = 3*o. Is o a composite number?
True
Suppose -2*h - 6617 = -2*i - h, h = -3*i + 9918. Is i a prime number?
True
Let g(l) be the first derivative of 139*l**2/2 - 10*l + 9. Is g(3) a prime number?
False
Let c be (-28)/(-3) - (-7)/(-21). Suppose -4*r = -3 - c. Suppose r*v - 4*k = -v + 872, 0 = -5*v + 4*k + 1089. Is v composite?
True
Let c(n) = 405*n - 16. Let p be c(5). Suppose -4*l = 3*l - p. Is l a prime number?
False
Let g be 43/(-86)*(0 + 1 + 37). Let y(r) = r**3 + 21*r**2 - 16*r + 16. Is y(g) a prime number?
False
Let v(w) = -7*w**3 + 5*w**2 + 18*w - 19. Is v(-9) a prime number?
False
Let l(p) = -2*p + 33. Let w be l(17). Is 2/14 - (-42060)/(-21)*w composite?
False
Suppose -9*k = -3*k - 177774. Is k a composite number?
False
Let r(m) = 7*m - 2 - 3*m + 11*m. Let h be r(-5). Let p = 146 - h. Is p composite?
False
Let k(c) = -c**3 - 29*c**2 - 183*c + 63. Is k(-22) a prime number?
True
Let s(z) = -3*z**3 - 4*z**2 - 3*z + 15. Suppose -5*l - 57 = 4*g, -2*g - 1 = -3*l - 0. Is s(g) a composite number?
False
Suppose x - 2 = -3*l - l, 0 = 4*l + 12. Let r(t) be the third derivative of -t**5/60 + 17*t**4/24 - 8*t**3/3 - 25*t**2. Is r(x) a prime number?
False
Suppose -7*a + 12 = -3*a. Suppose -y - l + 2*l = -192, -2*l = -a*y + 575. Is y prime?
True
Suppose 3987 = 2*s - 3*o, 0 = -4*s - 3*o + 2228 + 5791. Is (-1 - 0) + s + 21 a prime number?
False
Let n(t) = 27*t**2 + 3*t + 1. Let i be n(-1). Suppose 0 = x - 1 - 1, -3*z = 2*x - i. Suppose z*h - 1042 = 1009. Is h a prime number?
True
Let m = -5770 + 10924. Suppose 0*p + m = 6*p. Is p prime?
True
Suppose -3*b + 4814 = 1787. Is b prime?
True
Let k(h) = 23*h**2 + 12*h + 35. Is k(12) a composite number?
False
Let n = -15 - -15. Suppose 2*s - 7*s + 5245 = n. Is s a prime number?
True
Suppose 0 = -536*w + 532*w + 109932. Is w a prime number?
False