 + 6434 = 0. Is j a prime number?
False
Let k(o) = 116*o + 30 + 26 - 53. Is k(5) a composite number?
True
Let k be 1 - ((-1)/1 + -1). Suppose 2*j - 4*z = 7*j - 617, -112 = -j + k*z. Is j a composite number?
True
Let s(d) = 2*d**3 + 80*d**2 + 26*d + 119. Is s(-38) prime?
False
Let s(h) = -h - 16. Let n be s(-4). Let x = n - -31. Is x prime?
True
Suppose 32*w = 515972 + 532124. Is w a composite number?
True
Let w be ((-798)/9)/(8/(-24)). Let n = -117 + w. Is n prime?
True
Let z(g) = 2238*g**3 + 2*g**2 - 3*g + 1. Let b be z(1). Suppose 5*j + 1126 = t - 0*j, -2*t + b = 4*j. Is t composite?
True
Let v(k) = -4 + 27*k**2 + 3 - 4*k - 19*k**2 + 27*k**2. Let z be v(-3). Suppose z = -m + 3*m. Is m composite?
False
Suppose -5*n - 61 = -11. Is ((-54765)/n)/(-9)*-2 a composite number?
False
Suppose -3*y + 5*y = 2330. Suppose 7*i - 2*i = y. Is i a composite number?
False
Suppose 4*g - 10 = -g. Suppose 0 = 5*f - m - g*m - 1549, -5*f + 1543 = -m. Let j = -103 + f. Is j composite?
True
Is -4 + 8 + -1 + 2 + 968 prime?
False
Suppose 0 = 10*d - 5*d - 25, 5*y - 3*d - 4970 = 0. Is y composite?
False
Suppose -17*x = 12*x - 2179031. Is x composite?
True
Let y be -10*(-2)/((-20)/(-6)). Suppose y*z - 3992 = -2*z. Is z a composite number?
False
Let n(q) = -3*q**3 + 19*q**2 - 5*q - 6. Let z be n(6). Let k be (3/2)/(-1)*-2. Suppose -3849 = -k*g - z*g. Is g a prime number?
True
Let c = 1980 + -1333. Is c prime?
True
Suppose -1152 = w - 3*h, w - h - 3446 = 4*w. Let y = w - -1742. Is y a prime number?
True
Let s = -17 + 19. Suppose 3*w = 4*x - 3502, 0 = s*x + 2*x + 3*w - 3514. Is x composite?
False
Let a(g) = 97*g**2 - 10*g - 17. Let u be a(-3). Let w = u + -495. Is w a prime number?
False
Let v(l) be the first derivative of -l**4/2 - l**3/3 - l**2/2 - l + 6. Let b be v(-1). Is 261/4 + b/(-4) a composite number?
True
Let m(s) = 4 - 12 + 21*s + 9. Let p = 5 - -1. Is m(p) composite?
False
Let b(k) = -k**3 + 5*k**2 - 5*k + 2. Let u be b(4). Let o be ((-6)/(-4))/(u/(-60)). Suppose -2*i + 63 + o = 5*a, -a = i - 51. Is i a prime number?
False
Is (1 - -2083)*235/188 a composite number?
True
Let k = -13 + 16. Let n = -1 + 210. Suppose -3*b = -k*m - m - n, b - m = 69. Is b composite?
False
Let q be (-6)/(-6) + 1111/((-2)/2). Let x = 647 - q. Is x a composite number?
True
Let o be (-1674)/(-12) - (-2)/(-4). Let f = o - -84. Is f a prime number?
True
Let x = -97 + 164. Suppose 6*h = 2*h. Suppose -z + 0*z + x = h. Is z a prime number?
True
Let v = -22 - -24. Suppose -2*q = -0*q - v*t - 106, -4*t = 2*q - 106. Is q a prime number?
True
Let s(v) = 758*v**2 + 26*v + 47. Is s(-6) a composite number?
False
Let x(j) = 47*j + 3. Let r be x(4). Let z = r - 74. Let t = 200 - z. Is t prime?
True
Suppose 0 = 2*u - 11*u. Let h(x) = 3*x + 133. Is h(u) a prime number?
False
Suppose 0 = -5*k + 20, -18*u = -21*u - 3*k + 7839. Is u a composite number?
False
Let n = -1 + 4. Suppose -2*t = w - 175, -835 = -5*w + 2*t - 4*t. Suppose -n*f + 4*u + 451 = 0, f - u - 4*u = w. Is f prime?
False
Suppose 4*u + y = 8154, -3*u + 4*y - y = -6123. Is u a composite number?
False
Let g = -196 + 196. Let c = 132 - 49. Is c + 6 + 0 + g composite?
False
Is ((-128115)/(-12) - -6)/((-9)/(-12)) a composite number?
False
Let b be 2/4*(-8 - -4 - -12). Suppose -5*g + 0*g = -2*s + 195, 5*g - 375 = -b*s. Is s composite?
True
Suppose -2*u - 65 = 67. Let b = u - -150. Is 6308/14 - (-36)/b composite?
True
Let j be ((-102)/(-68))/(2/52). Let x = 112 - -6. Suppose j = -m + x. Is m a composite number?
False
Let v(c) = -c**3 - 11*c**2 - 7*c - 15. Let k(d) = -3*d - 1. Let q be k(3). Let n be v(q). Is 10/n + 479/9 a prime number?
True
Suppose -6 = 2*n - 3*n. Suppose -n*g = -3*g - 369. Is g composite?
True
Suppose -2*l + 1 + 5 = 0. Suppose -l*w = -0*w - 933. Is w composite?
False
Let x(v) = 3*v**3 - v**3 + 3*v**3 + 5*v**2 + 4 - 4*v**3. Let y be x(-5). Let p(k) = 12*k**3 - 4*k - 7. Is p(y) composite?
True
Let s = -5582 + 23151. Is s a composite number?
False
Suppose -650557 = -22*f - 7*f. Is f a prime number?
True
Let s(x) be the third derivative of -x**6/60 + x**5/20 + 5*x**4/24 + 5*x**3/6 - 17*x**2. Is s(-8) a composite number?
False
Is (-2 - (-56)/24)*78087 a prime number?
True
Suppose -516 = -3*h + 921. Is h a prime number?
True
Is (86012/(-8))/(9/(-18)) a prime number?
True
Let x(s) = 7*s**2 + 22*s**3 - 5*s - 5*s - 12 - 21*s**3. Let a be x(-8). Suppose -a*y + 6*q - 2*q = -872, -4*y + 3*q + 877 = 0. Is y a composite number?
False
Let y = -71 + 1221. Suppose -2*g + y = 2*u, -3*g - u - 3*u = -1729. Is g composite?
False
Let i be 2 + (72/60)/(6/(-80)). Is (1110/24)/(2 - i/(-8)) a prime number?
False
Let l be 564348/52 + 4/26. Suppose 4*z - l + 1521 = 0. Is z prime?
True
Is 1/((-81792)/(-81768) - (0 + 1)) a prime number?
True
Suppose -j + 3*m + 0 = -8, 3*j - 12 = -3*m. Let f be (-102 - j)/(2/(-6)). Suppose -3*q = 3*g - f, -5*g - 2*q - 16 + 539 = 0. Is g composite?
False
Let i(x) = 9*x**3 - 2*x**2 + 2*x - 2. Let d be i(2). Let l = 208 + d. Is l prime?
False
Let f(q) = q**2 - 5*q + 3. Let j be f(2). Let n = j + 5. Suppose -n*d + 3*o + 483 = 0, 0 = 2*d + 2*d - o - 991. Is d a prime number?
False
Suppose 7*n - 48782 + 14937 = 0. Is n a composite number?
True
Let m = -33106 + 54299. Let p = -14840 + m. Is p composite?
False
Let w be 0*(7/(-2) - -4). Suppose -2*b + 4 = 0, w*y - 7 = 3*y + b. Is 134/((-6)/y) - -4 prime?
True
Let x(p) = 3*p**2 + 7*p - 8. Let n = 4 - 1. Let f be x(n). Is 4088/10 - (-8)/f a composite number?
False
Suppose 8*p - 3*p - 245 = 0. Let u = p + -30. Let g = 138 - u. Is g prime?
False
Let a(f) be the second derivative of 86*f**3/3 + 9*f**2/2 + 3*f. Let x = -56 + 63. Is a(x) a composite number?
False
Suppose -3*l - 11 - 5 = -s, -5*s - 2*l = -46. Is ((-2732)/(-10))/(4/s) prime?
True
Let y be 2 + (3 + -4)*-2. Suppose 5*z = 2*i + 4, -2*i - 3*z - y = -z. Is (12/(-36))/(i/126) composite?
True
Let s be (6/4)/(12/24). Suppose s*o - 44055 = -2*o. Is (-8)/(-28) - o/(-7) composite?
False
Let c be (2/6 - 0)*69. Let x = c - 25. Is (-59)/x*(3 + -1) a prime number?
True
Suppose 0 = 46*i - 16*i - 474990. Is i prime?
False
Let s be (4/6)/(15/675). Let b be 2886/s - (-2)/(-10). Let i = b - -127. Is i composite?
False
Let m(h) = -2166*h - 218. Is m(-6) prime?
False
Let k(n) = -5*n**3 - 12*n**2 - 9*n + 5. Is k(-13) prime?
False
Suppose 31*t - 615813 = -2*t. Is t prime?
True
Suppose -4*j - 20 = 0, -6*r + 68*j = 63*j - 72919. Is r a prime number?
True
Let h(x) = 7869*x**2 + 5*x - 1. Is h(-1) prime?
False
Let o(j) = 73*j - 39. Let i be 8*((-1)/2)/((-4)/10). Is o(i) a composite number?
False
Let u(s) = -s. Let q be u(-2). Suppose q*d + 0*d - 4*f = -1258, -2*d - 1282 = 4*f. Is (-2)/3 - d/3 composite?
False
Let n(x) be the first derivative of -18*x**2 - 10*x - 4. Let k be n(8). Let f = 455 + k. Is f prime?
True
Suppose c = -2, -5*f - 2*c - 4 = -10. Is (118/12)/(f/12) a prime number?
True
Let v(z) be the second derivative of -z**4/12 - 4*z**3/3 - z**2 - z. Let t be v(-3). Suppose 3*d - t = 98. Is d a prime number?
True
Let g(c) = 46*c**2 + 15*c + 13. Is g(-6) prime?
True
Suppose -26045 = -4*p + 56879. Suppose -p + 6605 = -14*b. Is b prime?
True
Suppose -5*o - 4*u + 77 = 23, -o - u + 10 = 0. Let k = o - -61. Suppose 5*w - 140 = k. Is w a composite number?
False
Is (-15)/(-18) - 254814/(-36) a composite number?
False
Suppose -4*b + 259 = -3877. Suppose 17*a = 19*a - b. Is a prime?
False
Let d = -79 + 82. Suppose -h + 4 = 9, -3*h - 2172 = -d*w. Is w composite?
False
Let j = 230 - 156. Let y = 109 - j. Is y composite?
True
Let i(p) be the first derivative of 14*p**3/3 - p**2/2 - 17*p - 4. Is i(-8) prime?
True
Suppose 0 = 11*d + 4482 - 200579. Is d composite?
False
Let n be (-28)/(-10) + (-11)/(-55). Suppose -5*l = -13 + n. Suppose -l*b = -3*z - z - 506, -3*b + 777 = 3*z. Is b composite?
False
Let b(c) = 2*c**2 + 7*c - 1. Let l be b(-7). Suppose o + 5*s - 269 = 0, s - 717 = -3*o + l. Is o a composite number?
True
Let r(c) = 2686*c + 7. Is r(19) prime?
False
Let g(q) = 2*q**2 + 5*q - 39. Is g(22) composite?
False
Let k be (-14)/21 + 8/3. Suppose u - 2*h + 4 = 0, 0 = k*u + 2*h + h - 27. Suppose 365 = u*n - 49. Is n prime?
False
Let w(o) = o**2 + 15*o + 27. Let v = 83 - 50. Let d = v - 53. Is w(d) prime?
True
Let q(o) be the third derivative of 0 + 7/6*o**3 +