Let m be 2*142*5/(s/9). Let f = -144 + m. Is f composite?
True
Let d(m) = -39 + 12*m - 11*m + 40 - m**2. Let p(u) = -4*u**3 - 2*u**2 - 16*u + 5. Let r(l) = -6*d(l) - p(l). Is r(7) prime?
True
Suppose 3*f - 11*o + 15*o = 251, f + 2*o - 83 = 0. Is f composite?
True
Let j(m) = -3*m**3 + 2*m**3 + 17*m**2 + 7 - 22*m + 0*m**3. Suppose -268*f + 272*f = 60. Is j(f) a composite number?
False
Let m be (-6)/(-2) + -1 + -1 + -29137. Is ((m/15)/(-8))/(2/25) a composite number?
True
Let k(w) = -11*w - 248. Let g be k(-23). Suppose 3*v - 6*v + 41552 = g*x, 0 = -4*x + 2*v + 33246. Is x prime?
True
Let o = 7998 - 2832. Suppose o = 9*k - 21303. Is k a composite number?
True
Let g(y) be the third derivative of 20671*y**4/24 - 9*y**3/2 + 52*y**2. Is g(2) a composite number?
True
Suppose 6*w - 6 = 12. Suppose 2*n + 5413 = 2*f - n, w*n = -15. Suppose -5*x = 834 - f. Is x a prime number?
True
Is (-2 + 566)/((-3)/(-1680)) - 7/1 prime?
False
Suppose -15*c + 10*c = -10180. Suppose b - c = 11204. Suppose -2*t + b = 6*t. Is t composite?
True
Let i = 321611 - 191692. Suppose 17*h - i - 84332 = 0. Is h a prime number?
False
Let v(q) = -q**3 - 17*q**2 - 17*q - 11. Let k be v(-16). Suppose r + 2*r = t + 1750, r = -k*t + 578. Let u = r + -372. Is u a composite number?
False
Let s = 423531 + -271208. Is s composite?
True
Suppose 3*l - 1209 = 177. Suppose 0 = -2*m + 2*o + l, -667 - 278 = -4*m - 3*o. Suppose -2*s + 194 = -m. Is s a prime number?
False
Is (-5 + 3)/(-6*(-6)/(-985662)) a prime number?
False
Let b(n) = n**3 - 2*n**2 - 2*n + 2. Let h be b(2). Let p = -67 - -25. Is (-5910)/p + h/(-7) a composite number?
True
Let i = -31 - -33. Suppose -13 = 3*a + 5*d + 1, 0 = 3*a + 2*d + i. Suppose 5*m + 20 = 0, a*c + m + 429 = 1899. Is c a prime number?
False
Let u(y) = -52*y**2 + 17*y + 36. Let a be u(-18). Let p = a + 25261. Is p composite?
True
Suppose -a + 1197 = -3150. Let n(l) = -12 + 3 + a*l - 4350*l + 7*l**3. Is n(4) composite?
True
Suppose 0 = -14*p + 12*p + 2064. Suppose -4*z - 4*y + p + 1548 = 0, -z = 5*y - 637. Is z prime?
True
Let l(r) = 70*r**2 - 148*r - 655. Let j(g) = 14*g**2 - 30*g - 131. Let i(p) = 11*j(p) - 2*l(p). Is i(-21) a composite number?
True
Suppose 2*p - 4*d + 22 = 0, -3*p + 12 = -0*p + 3*d. Is (11942/(-35))/(p/5) composite?
True
Let r(g) = -g**3 - g**2 - 26*g + 45. Let v be r(-6). Let c = -237 + 865. Suppose v + c = j. Is j prime?
True
Let o = 3914 + 28193. Is o a prime number?
False
Is (-14913*2/(-54))/(-3*(-2)/4014) prime?
False
Suppose 6545 = -27*s + 44*s. Suppose 0 = -2*l + 2 + 2. Suppose -7*r + s = -l*r. Is r a prime number?
False
Suppose -9*u - w = -10*u + 319542, -5*u - 3*w + 1597702 = 0. Is u a composite number?
False
Let g(n) = -3*n + 10. Let d be 1*(-5)/(10/(-22)). Let j be g(d). Let c = j + 900. Is c composite?
False
Suppose -47*u + 651544 = 5*g - 48*u, 0 = u - 1. Is g composite?
True
Suppose -889*b - 19244 = -902*b + 1853159. Is b a prime number?
True
Suppose -7*d + 24703 = -9527. Suppose d = -14*f + 29*f. Is f a composite number?
True
Let b = -98 - -330. Suppose -b = 4*g - 6876. Is g prime?
False
Let y(a) = 13*a**3 - 3*a**2 + 25*a - 5. Let v be y(10). Suppose -13*j - v = -28*j. Is j a composite number?
False
Suppose 5*t = -48*l + 45*l + 410837, -2*t + 2*l = -164322. Is t composite?
True
Suppose 4*m = -4*z + 29352, 0 = m - 2*z - 10007 + 2690. Is m composite?
False
Let n = -72200 + 128509. Is n prime?
False
Let c = 9 - 5. Let x(v) = 111*v**2 - 4*v + 9. Let s be x(c). Suppose i - 2*g = -3*g + 882, 2*i + 3*g - s = 0. Is i composite?
False
Let r = 81582 + -55301. Is r a composite number?
True
Let n be (-8 + (-1161)/4)/(1/4). Let w = 208 - n. Is w prime?
False
Let j(a) = 120*a**2 - 25*a + 73. Is j(4) prime?
False
Let s(q) = -q - 372. Let g be s(0). Let w = 3358 - 4143. Let p = g - w. Is p a composite number?
True
Let j = 7485206 - 4730071. Is j a composite number?
True
Is (-25)/(25/6) + 7 + 85990 a composite number?
False
Is (-37)/((-296)/48) - (-75303 - (4 + -2)) composite?
True
Let z be (-3)/21 + ((-255)/(-21) - 3). Suppose 7*v - z*v + 7710 = 0. Let l = v + -368. Is l a composite number?
True
Let g be 8 - (-2)/(8/(-12)). Suppose -3*w - 4 = -g*w. Suppose -5*p = 2*y - 3803, -y + 1882 = w*p - 6*p. Is y composite?
True
Let z = -541 - -547. Is (-39907)/(-4) - z/72*-3 prime?
False
Let i(r) = 59*r - 49. Let o be i(11). Let d = -277 + o. Is d a composite number?
True
Let i(h) = 66*h**2 + 26*h + 114. Let a be i(-18). Suppose -5*d = 2*y - 7*y + a, -d + 12598 = 3*y. Is y a prime number?
True
Let g(w) = 2*w**2 + 6*w - 5. Let c be g(-4). Let u be 10/(((-4)/6)/(-1)*c). Suppose 3*t + 3*x = -0*t + 1161, -10 = u*x. Is t composite?
False
Let m = -51288 + 139289. Is m composite?
False
Let v(g) = g**3 + 13*g**2 - 7*g + 5. Suppose k = 5*z - 27, 5*z - 3*k - 21 = 2*z. Let x be (z + 31/(-5))*10. Is v(x) prime?
True
Let n = 15188 + 225. Suppose 0 = -2*k - c - n + 52687, 3*k + 2*c - 55911 = 0. Is k a prime number?
True
Is (-82542)/4*(-4 - -3)*3806/519 a prime number?
False
Let s(q) = -q**3 - 13*q**2 + 13*q - 14. Let u be s(-14). Suppose 0 = 4*b - b, -4*t + 4*b + 3072 = u. Let f = 1657 - t. Is f composite?
True
Let t = -133 + 139. Suppose -t*u + 18 = 6. Suppose 4*a + 1166 = u*d, 0 = -4*d - 4*a + 2659 - 327. Is d prime?
False
Let f = 61028 + -126415. Let i = -34620 - f. Is i a prime number?
False
Let r = 882026 - 219055. Is r a prime number?
False
Suppose 6*j = 3*j. Let i(v) be the first derivative of v**4/4 - v**3/3 + 3*v**2/2 + 565*v - 125. Is i(j) composite?
True
Suppose 4*i - c - 635585 = 0, 3*i - 2*c = 274089 + 202596. Is i a prime number?
False
Let w = 154117 - 109780. Is w prime?
False
Let b be (-2332)/8 + -2 - 1/(-2). Let l = 420 + b. Is l composite?
False
Suppose 0 = -7*i + 5*i + 4*i. Suppose i = -8*t - 6531 + 17419. Is t a composite number?
False
Let f = 594 - 616. Is 7 + (-325332)/(-99) - (-4)/f a prime number?
False
Let d(t) = 6*t. Let w be d(-1). Let v(n) = -8*n**2 - 11*n**3 + 4 + 2 - 6*n + 7*n + 8*n**3 - 2. Is v(w) a prime number?
False
Is (-3 + 4)/(12253802/(-942601) - -13) prime?
True
Let x = 143 - 139. Is 13/26 - (-9290)/x a prime number?
False
Is (8406/27 - 9)*(132/4 + 0) prime?
False
Let n = -16 - -16. Suppose -3*c = 3*j - 45, 2*j + 5*c + 18 - 51 = n. Let m(d) = 49*d - 3. Is m(j) composite?
False
Let w(u) = 0 + 34*u - 26*u + 2 - 2*u**2. Let q be w(4). Suppose 2*f - 2932 = -q*f. Is f a composite number?
False
Let y(w) = -514*w + 11. Suppose -36 = 3*q - 3*j - 15, 0 = -4*q - 5*j + 8. Is y(q) prime?
True
Suppose 2*m + 2 = -0*m + v, -5 = -m + 2*v. Let x(g) = -g**3 - 2*g**2 + 4*g + 1. Let i be x(m). Is (-184)/(-8)*(i - -19) composite?
True
Is 11/(-132) - (-9462171)/36 - (1 + -2) composite?
True
Let u(y) = -903094*y - 645. Is u(-1) composite?
False
Suppose -9*g - 9 = 36. Let w be (-12)/15*g - 19. Is (-483 - -2)/(w - -14) a composite number?
True
Suppose 0*z = -3*z - 2*x + 5925, -3*x = 0. Suppose 5*t + 25 = 0, -5*t + 732 + 905 = r. Let b = z + r. Is b a composite number?
False
Suppose -215*c + 162*c = -36330599. Is c composite?
True
Suppose 0 = -9*p + 18*p - 1188. Suppose 0 = 3*z + 3 + p. Is (z - 1)/(3 - 393/129) prime?
False
Suppose 39*k - 40*k + 594463 = 2*g, 2*g = 4*k + 594478. Is g a composite number?
False
Suppose 12*d + 1418343 = 5*f + 13*d, 3*d + 6 = 0. Is f prime?
True
Is (2/11)/(24/321684) a prime number?
True
Suppose 70 = 11*q + 26. Suppose w = 4, q*w - 1850 + 31920 = l. Suppose l - 6104 = 14*y. Is y prime?
False
Let b = -51 + 53. Suppose 3*v = b*v + 11. Suppose 5*f = v*f - 2586. Is f a prime number?
True
Let u(r) = 86*r**2 - 1. Let i be u(1). Let d = 10 - i. Let a = 1964 - d. Is a a composite number?
False
Let k(p) = 9*p**3 + 2*p**2 + 5. Let w be k(6). Let f(i) = -i**3 + 12*i**2 + 28*i + 25. Let y be f(14). Suppose 0 = y*b - 24*b - w. Is b composite?
True
Let r(o) = -6686*o - 1907. Is r(-8) a composite number?
False
Let u = -14997 + 29052. Suppose -11761 - u = -8*l. Is l a prime number?
False
Suppose 0 = -9*c + 5*c + 12. Suppose 5*g - 1716 = c*g. Suppose -3*f = 4*k - 2549, 3*k - g = 3*f - 4*f. Is f prime?
False
Suppose 0 = 67*n - 58*n + 1611. Let o = n - -1014. Is o prime?
False
Let a be ((-4)/(-3))/(34/51). Suppose -b + 2 = -4*i + 15, 0 = a*b - 2*i + 8. Is (2/(-8))/(b/1324) prime?
True
Let m = 391886 - 162435. Is m prime?
False
Suppose 33*x - 36*