Let r = -16 + -11. Is (557/(-3))/(9/r) a composite number?
False
Is 4/10 - (-38682)/45*6 a composite number?
True
Let p(t) = t**3 - 13*t**2 + 2*t + 9. Let v be p(12). Let b be (-2)/(-5) + v/15. Is (-23190)/(-70) - (-2)/b prime?
True
Is (-104)/(-13) + (-9933)/(-1) prime?
True
Let u = 21 + -21. Suppose -t + 939 = 2*b, -t = 4*b - u*b - 1883. Suppose 7*d - 3*d = b. Is d composite?
True
Let v(c) = 16*c**3 - 4*c + 5. Suppose -4*i - 18 + 50 = 4*w, -i = -3. Is v(w) a prime number?
False
Suppose 4*f = 6*f. Suppose f = 5*a - 5*x - 39 - 41, 4*a - 43 = -3*x. Is (-10)/2*(-58 - a) composite?
True
Let n(l) = 1. Let d(i) = -3*i**2 - 3*i + 4. Let z(s) = -d(s) + 5*n(s). Let t(y) = -9*y + 32. Let k be t(4). Is z(k) a composite number?
False
Let g be 1 + 2 + (-12)/(-3). Let i = 7 - g. Suppose i = n - 77 - 0. Is n a composite number?
True
Let z = 25611 - 16750. Is z a prime number?
True
Let m = 11 - 5. Suppose 298 - 4 = m*j. Suppose -5*n = -2*p + j, 0*p = -p + 3*n + 25. Is p composite?
True
Let d = 69 - 64. Suppose -d*b + 50 = -4*a - 41, 2*b = -3*a + 18. Is b prime?
False
Is (-26)/(-403) + (-519027)/(-93) a prime number?
True
Suppose -7*w + 115242 + 165745 = 0. Is w a prime number?
False
Let g(n) = -7*n - 1. Suppose q - 3*r = -9, -2*q + 7*r - 6 = 4*r. Suppose -u - 2 = 6*d - 5*d, 2 = -u - q*d. Is g(u) a composite number?
False
Let t(k) = -k**3 - 2*k**2 + 15*k + 26. Let x be t(-6). Let g = 105 + x. Is g composite?
True
Let h(w) = 2*w**3 - 6*w**2 + 21. Is h(4) composite?
False
Let i(q) = -330*q - 221. Is i(-9) a composite number?
False
Let d(g) = 98*g + 48. Let w be d(20). Let b = -1071 + w. Is b composite?
False
Let t be (-24)/(-36) + 2192/6. Is ((-42)/9)/((-4)/t) a composite number?
True
Let g = 6331 + 1854. Is g a composite number?
True
Is (-493)/68 + 8 + 304225/4 a composite number?
True
Let t be 7/2*40/(-70). Is t/4 + (-775)/(-10) composite?
True
Suppose 379131 = 15*b + 5526. Is b a composite number?
False
Let a(m) = -m**3 + 10*m**2 + 26*m - 37. Let b be a(16). Let u = b + 2611. Is u composite?
True
Let x = 92 - 50. Let a = 161 - x. Is a prime?
False
Let f be (-2)/(-10) - (-24)/30. Let s be -1*(3 - (f + -5)). Is 158*1 - (-6 - s) prime?
True
Let n = -4 + 9. Suppose d + 5 = 4*f, d + 2 = n*f - 5. Suppose f*g - 428 = -54. Is g a prime number?
False
Suppose 4*r = 5*b + 5 + 4, -2*b + 4*r = 6. Is b/((-5)/20) - -349 a composite number?
False
Let w = -28838 - -49125. Is w a prime number?
True
Let c(w) = 984*w**2 - 2*w + 1. Let x be ((0 - 2) + 1)/(-1). Is c(x) composite?
False
Let f = -82 + 84. Suppose f*a - 10615 = -3*a. Is a a composite number?
True
Let s(w) be the first derivative of 7*w**4/12 - w**3/6 - 7*w**2/2 + 7*w + 3. Let f(a) be the first derivative of s(a). Is f(-6) composite?
False
Let h be 2*14/(-8)*-106. Suppose 23*r - 37*r - 350 = 0. Let b = h + r. Is b a prime number?
False
Suppose 4*z + 22 = 4*m + 3*z, 0 = 2*m - 3*z - 16. Suppose -4 = -11*v - 4. Suppose 5*u = -m*t + 3145, t + 4*u - 623 = -v*u. Is t a prime number?
True
Is (-1 - -15) + -17 - (0 + -32054) a composite number?
False
Suppose -s - 238 = -2*l, 5*s = 5*l - 0 - 1170. Let g = -89 - s. Is g a composite number?
True
Let r(x) = x**3 - 3*x**2 - 6*x + 5. Let w = 24 + -19. Let g be r(w). Suppose -19 - g = -4*u. Is u a composite number?
False
Suppose -s = 2*s - 9. Suppose -2*w + 934 = s*b, 3*b + w = -b + 1242. Let z = b - 179. Is z composite?
False
Let j be (-5)/(-4) - (3 + (-33)/12). Let s(w) = 4048*w**2 + 2*w - 1. Is s(j) a prime number?
True
Suppose -26248 = 24*t - 167200. Is t composite?
True
Let o(c) = 60*c + 45. Let b be o(9). Suppose -r = 8*r - b. Is r prime?
False
Let v(w) = -70*w + 2. Let u(i) = 281*i - 8. Let y(d) = 2*u(d) + 9*v(d). Is y(-18) a prime number?
False
Is (10460/(-6))/(-4 + 10/3) prime?
False
Let v = 4019 - 1134. Is v a composite number?
True
Let i(k) = 3*k**3 - 13*k**2 - 5*k - 74. Is i(11) composite?
True
Suppose 2*x = 3*b - 4*b - 504, -2037 = 4*b + x. Let s = 1331 - b. Is s prime?
False
Suppose -6*g = 3*g + 9. Is 192 - -2 - (g + 4) prime?
True
Let t(v) = -4*v**3 - v**2 + 3*v - 2. Let b be t(2). Let w = b + 189. Is w a composite number?
False
Suppose -2*o + 117 = 5*r, 4*r - 24 = -4. Suppose -172 = -2*v + o. Suppose f + c = 109, 4*c + v = -f + 2*f. Is f prime?
True
Is (-10)/35 - (-95172)/49 prime?
False
Suppose -30 = 5*d - 10*d. Suppose -d*p + 745 = -5*p. Is p composite?
True
Let h = -1815 - -749. Is 4*4/16 - h a composite number?
True
Suppose d - 13436 = -5*s, -2*d + s = -8920 - 17897. Is d a composite number?
False
Let p(l) = 14*l**2 - 5*l - 7. Let v be p(5). Let w be (8/(-32) + 0)/((-2)/40). Suppose 1573 = w*j + v. Is j composite?
False
Let a(m) = 2*m**3 - 2*m - m**2 - 3*m**2 + 7 - 2 + 3*m. Let d be a(4). Suppose -91 = -r + 3*q, 2*r + 4*q - d = 129. Is r a prime number?
True
Suppose -4*j - 2*g = g - 3962, 4*g + 1970 = 2*j. Suppose -5*d + 2706 = -j. Is d a prime number?
True
Let p = -56 + 78. Suppose -4*y - p = -6*y. Let q(f) = -f**3 + 13*f**2 - 15*f + 10. Is q(y) a composite number?
True
Suppose 3*m - 12 = 0, -10 = 2*t - 3*m + m. Let c be (2/4)/(t/(-2662)). Suppose -151 = 4*f - c. Is f composite?
True
Suppose 9*d + 3995 = 14*d. Is d a composite number?
True
Let f = -502 - -1169. Is f a composite number?
True
Let y = 2390 - -1349. Is y a composite number?
False
Let k(y) be the first derivative of 16*y**2 - 11*y - 4. Let b be k(11). Let d = b - 150. Is d a composite number?
False
Let s = 0 - -11. Suppose 7*d = 10 + s. Suppose k - 2 - 389 = -3*y, d*k = 3*y + 1173. Is k a prime number?
False
Let l(y) = 1832*y**2 + 2*y - 1. Is l(3) prime?
True
Suppose 0 = 3*r - f - 29947, r - 2*f = 8733 + 1246. Is r prime?
False
Let o(q) = 3*q**2 - 68*q + 36. Is o(25) a composite number?
False
Let o(c) = 9*c**3 - 9*c**2 - 8*c - 12. Let z be o(-6). Let d = z - -4285. Is d a composite number?
False
Suppose -2*x = -6*f + 2*f + 2492, 2*f - 1236 = -4*x. Let v = 137 + f. Suppose -416 - v = -5*i. Is i a composite number?
True
Suppose -3*m + 4*c + 25375 = 0, 5*m - 5*c - 2316 = 39979. Is m prime?
True
Suppose 2*l + 3*w - 6*w - 22 = 0, 0 = -3*w - 12. Suppose -2536 = -l*g + 2619. Is g composite?
False
Suppose 6*k + 5*h = 8*k - 2191, k - 1097 = 2*h. Is k composite?
False
Let r(s) = -171*s**3 - 6*s**2 - s + 17. Is r(-5) prime?
True
Let x be 471/2 + (-3)/(-6). Suppose -x + 1498 = 2*b. Is b a prime number?
True
Suppose -2*z = z - 9. Suppose 1096 = -3*o - 4*h - 4, o + z*h = -370. Is (-1)/((-4)/o*-1) a prime number?
False
Let v(z) = -5 + 11*z - 10*z + 14*z. Let i be 1 + (-21)/(-15) - 14/35. Is v(i) prime?
False
Suppose 0 = -0*w - w - 3*u + 22, -50 = -5*w + 5*u. Suppose -w*v + 525 = -10*v. Let z = v - 108. Is z composite?
False
Let p(r) be the second derivative of -115*r**3/3 - r**2/2 + 24*r. Is p(-4) prime?
True
Let v = -761 - -821. Suppose 2*k + 0*k - 4*p = 0, -2*k = 3*p - 7. Suppose -k*y = -406 - v. Is y composite?
False
Suppose j + 3*g = 4579, 2*j + g = 6*g + 9158. Is j a prime number?
False
Let h(k) = 7*k - 1. Let p be h(1). Suppose p*r = 4*r. Suppose 0 = -2*s - r*s + 230. Is s a composite number?
True
Let i = 0 - -2. Let k = 78 - 75. Suppose -2*q - k*j + 1949 = i*q, 4*q - 5*j = 1925. Is q prime?
False
Suppose v = 4 + 4. Suppose -j - v = -5*g, 3*j - 10 = -3*g + j. Is (-5)/(20/(-444)) + g a prime number?
True
Let a = 10 - 0. Suppose 0 = 2*f - a, -4*f + f = 4*x - 539. Is x a prime number?
True
Suppose -132*f = -133*f + 2426. Is f prime?
False
Let v(c) = 255*c**2 - 6*c + 71. Is v(12) a prime number?
False
Suppose 0 = l + 132*l - 7674499. Is l prime?
False
Let f(p) be the second derivative of p**4/6 + 4*p**3 - 2*p**2 - 4*p - 1. Let k be (2/(-1))/(4/34). Is f(k) prime?
False
Let u be 3/2 - (105/(-10))/(-7). Suppose -j - 3*j + 1148 = u. Is j a prime number?
False
Let p = 79 + -101. Let y(d) = d**2 + 14*d - 13. Is y(p) prime?
True
Suppose 0*i = -5*i + 2*d + 12, 5*i = 4*d + 14. Suppose i*t + 0*c = -c + 402, -3*c + 1005 = 5*t. Suppose 3*n - t = -2*w, 3*n + 3*w - 258 = -60. Is n composite?
True
Let h be 1 - 1 - 2 - -6. Suppose h*w + 14 = 2*c, 4*w + 3 = w + 4*c. Let j(t) = -8*t - 6. Is j(w) a prime number?
False
Suppose 5*h - 2480 = -4*k + 2*h, 0 = 2*k + 3*h - 1234. Is k a prime number?
False
Let o = 29 - 27. Is ((-6)/(-12))/(o/1868) composite?
False
Suppose -3*a - 2528 = -4*w + 3*w, 4*w = -4. Let q = 1376 + a. Is q a co