-42)/36)/((-1)/5442) a composite number?
True
Let v(w) = 4*w**3 - 3*w**2 + 3*w + 2. Let q(i) = 7*i**3 - 5*i**2 + 5*i + 3. Let d(l) = 3*q(l) - 5*v(l). Suppose 31 - 79 = -8*j. Is d(j) a composite number?
True
Let j(m) = 1 + m - 10*m - 17 + 0 + 89*m**2. Let y be j(-3). Let u = y + 155. Is u a prime number?
True
Let b(v) = 29*v + 57. Let x be b(13). Let f = 299 + x. Suppose 9*t - 716 = f. Is t a prime number?
False
Let g(a) = 147*a**3 - 7*a**2 - 28*a + 317. Is g(15) a composite number?
True
Suppose 0*h = -16*h - 112. Let p(d) be the first derivative of -3*d**4/4 - 10*d**3/3 - 5*d**2/2 - 3*d - 5. Is p(h) prime?
True
Let k = 502 + -498. Is k/(-6)*-4227*(-1)/(-2) prime?
True
Is (5/(-3) + 1)*(-74565570)/340 a prime number?
False
Is (-5 - (-10 + 10)) + 484535 + (-7)/(-7) prime?
True
Let s(w) = -w**3 + 19*w**2 + 21*w - 17. Let d = -55 - -59. Suppose 0 = d*j - j - 48. Is s(j) composite?
False
Suppose 5*g = -d + 2, 4*g + 2 = -2*d + 6. Let t be 14 - 12 - (-2462)/d. Suppose -967 - 677 = -4*j - 3*m, 5*m - t = -3*j. Is j a prime number?
False
Let w(a) = -a**2 - 22*a - 46. Let z be w(-19). Is (-2)/4*22/z*-89 composite?
False
Let a = -50241 - -104014. Is a composite?
False
Let s = 260950 + -13217. Is s composite?
True
Suppose 858 = 7*r + 15*r. Is 8/52 + 0 - (-42153)/r composite?
True
Let d(p) be the third derivative of 11*p**5/12 + p**4/8 - 17*p**3/6 - 32*p**2. Is d(3) composite?
False
Suppose -5*o - 3716 = 3*x + 32679, 3*o = 2*x + 24276. Let p be x/(-4)*256/48. Suppose -13*i = -9*i - p. Is i a composite number?
True
Suppose -19*s + 20*s + 4*n = 2939, 4*s + 5*n - 11723 = 0. Is s a composite number?
False
Let r(b) = 3*b**2 + 12*b - 22. Let a = 10 - 21. Let k(y) = -6*y**2 - 23*y + 43. Let w(f) = a*r(f) - 6*k(f). Is w(-13) composite?
True
Let f(p) = 2402*p + 1624. Is f(9) a composite number?
True
Suppose -398063 = -81*r + 2225770. Is r a composite number?
True
Suppose 4*v - 398 = -2*p + 50, p = 0. Suppose v*n - 107*n = 1595. Is n a composite number?
True
Let i(l) be the third derivative of 17*l**5/60 + 13*l**3/3 + 2*l**2 + 10*l. Suppose 0 = -9*y - 183 + 66. Is i(y) a composite number?
True
Let d(h) = 5050*h**2 + 2*h - 31. Is d(-4) a prime number?
True
Is 660793/5 + 1368/(-855) prime?
True
Suppose -29 = -5*p - 3*n, 0 = -p - n - 0 + 7. Suppose p*g - b - 23 = 0, 2*g = -4*b + 14 + 2. Suppose 48 = g*z - 174. Is z composite?
False
Let m(x) be the second derivative of -x**2 - 1/3*x**3 + 1/6*x**4 + 9*x + 0. Is m(4) composite?
True
Suppose 11 = -u + 14. Let a(g) = 3 - 13 - 60*g + u*g. Is a(-7) a prime number?
True
Let u(i) = 54*i**2 + 3*i - 17. Let t(q) = 161*q**2 + 8*q - 51. Let m(c) = -6*t(c) + 17*u(c). Let n be m(-9). Let p = -2163 - n. Is p a composite number?
True
Suppose -6*q = 3*q - 18. Suppose 3137 = 2*h + 4*u - 1791, -5*u = -2*h + 4919. Suppose -l = 5*j - 3432, -4*l + 16100 - h = q*j. Is l prime?
True
Let t be 67/(2 + -1) - 2. Suppose c + 367 - t = -3*y, -5*c + 490 = -5*y. Let s = 1159 - y. Is s a composite number?
False
Suppose n + 40 = 36. Let w(p) = -117*p**3 - p + 3. Is w(n) composite?
True
Let c = -918 - -77. Let l = c + 1524. Is l a composite number?
False
Let y(k) = -793*k - 31. Let h be y(-7). Suppose -7*z + h = -11*z. Let q = 2551 + z. Is q composite?
False
Suppose 4*q + 6*w - 2566 = 5*w, 4*q - 2556 = 4*w. Suppose a + 3*y = 2*a - 4, 5*a - 2*y = 7. Is ((-3)/a - -3) + q a composite number?
False
Let k = -359 - -351. Let v(j) = -13*j**3 - 12*j**2 + 2*j + 51. Is v(k) a composite number?
False
Suppose -3422 + 358 = 4*k. Let w = -485 - k. Suppose 0 = -g - q - q + 93, w = 3*g + 4*q. Is g prime?
False
Let g be ((-30)/20)/(6/(-16)). Suppose i - 9587 = -d + 4*i, -g*i = d - 9615. Is d a prime number?
False
Let a(d) = 2*d - 28 - 32 + 37. Let m be a(19). Is (-2)/m - 33235/(-75) composite?
False
Suppose 0 = 2*x + 3*l - 101, 5*l + 70 + 110 = 3*x. Let r = x + 316. Is r a composite number?
True
Let x(g) = -43*g**3 - 2*g**2 - 11*g + 12. Let k be x(1). Is 10 - 882937/k - (-1)/4 composite?
True
Suppose s + 1622694 - 239213 = 4*r, 0 = -4*r - 4*s + 1383456. Is r a prime number?
True
Let y(w) be the third derivative of w**8/2240 + w**7/336 - w**6/144 - 17*w**5/30 - 12*w**2. Let g(a) be the third derivative of y(a). Is g(-7) a prime number?
True
Suppose -432029 = -0*s - 2*s + d, -864061 = -4*s + 3*d. Is s prime?
False
Suppose 2*l + 4 = -2, 2*j - 4*l - 4 = 0. Is ((-728820)/(-630))/(j/(-14)) a composite number?
False
Is ((-8105248)/96)/(5/60*-4) composite?
True
Let t = -447 - -451. Suppose -l + 4*u = -11445, -33551 = -t*l - 5*u + 12208. Is l prime?
False
Suppose 0 = 2*t - 2004 + 8904. Let f = t + 9497. Is f composite?
False
Let t = -11961 - -43882. Is t a composite number?
True
Let f be (252/24 + -8)*(-4)/5. Is 359932/68 - f/(-34)*2 a prime number?
False
Let z = -239 - -239. Suppose 4*u + 0*u - 27164 = z. Is u a prime number?
True
Suppose -3*d = -0*r + 3*r - 9267, -15400 = -5*d + 4*r. Suppose -10637 = -3*t + 2*k + d, -2*t = -5*k - 9162. Is t a composite number?
True
Suppose 197114 = 2*s - 5*g, -s + g + 68084 = -30476. Suppose 0 = 28*u - s + 24278. Is u a composite number?
True
Let v(x) = -x**3 + 3*x**2 + 7*x - 5. Let s be v(4). Let z(c) be the first derivative of c**3/3 - 2*c**2 + 10*c - 194. Is z(s) composite?
False
Suppose 2*l + 5*q - 87862 = q, -5*q = 3*l - 131794. Is l prime?
True
Suppose -f + 72641 = 13*j - 7*j, -2*j = -5*f + 363461. Is f a composite number?
False
Suppose 0 = -415*t + 417*t - 16. Is -2 - t/(-5) - 54019/(-35) prime?
True
Let a = -33 + 42. Suppose -a*w = -4*w - 25. Let d(b) = 3*b**3 + 3*b**2 - 7*b. Is d(w) a composite number?
True
Let d(z) = 3*z**3 + 13*z**2 - 55*z + 635. Is d(10) prime?
False
Suppose 203*y - 198*y + 2*n = 1938735, -5*y + 3*n + 1938710 = 0. Is y prime?
False
Let d be ((-2)/(2/(-1193)) - 2) + -4. Let f = d + -706. Let y = f + -258. Is y prime?
True
Let p(r) = -1159*r - 34. Let s be p(-11). Let l = 21954 - s. Is l prime?
True
Suppose -w = 632 + 3676. Let r = -2471 - w. Is r a composite number?
True
Let u be (-2)/(-6) - 161/(-21). Is 135/(-180) - (-20366)/u a composite number?
True
Let y = 1201 - -370. Let u = y - -1206. Is u prime?
True
Let n(b) = 3041*b - 90. Suppose -27*j - 20 = -31*j. Is n(j) a prime number?
False
Let v(n) = 268*n**2 + 11*n + 289. Is v(-20) prime?
True
Suppose 7*w - 266391 = 1464968 + 980420. Is w composite?
False
Is -3*(4/14 + 7534283/(-861)) a composite number?
False
Let w = -491 + 495. Suppose 0 = w*y - 2*y - 1946. Is y a composite number?
True
Let h = -130 + 130. Suppose -17*b + h*b + 28373 = 0. Is b prime?
True
Let f be (1/(-6))/((-2)/12) + 4. Suppose 20 = 5*k + f*i, 5*k - 60 = 6*i - i. Suppose k*b - b = 413. Is b a composite number?
False
Let h(g) be the first derivative of -43/2*g**2 + 11 - 40*g. Is h(-9) a composite number?
False
Let j(l) = -6*l - 242. Let g be j(-42). Let o(a) = 445*a + 97. Is o(g) composite?
False
Suppose 0 = 2*a - 85 + 81. Suppose -19616 = -4*s + g, a*s - 10*g + 12*g - 9798 = 0. Is s prime?
True
Is (-22088088)/(-297) - 2/(-6) a prime number?
False
Suppose 225481 = -18*g + 1004179. Is g composite?
False
Let c(t) = t**3 + 6*t + 1253. Let r be c(0). Suppose 3*d - r = 2*m, -d + 0*d = -m - 417. Is d a composite number?
False
Let t = 328362 - 125815. Is t composite?
True
Suppose -4*x + 1092753 = -b - 1578687, -5*x + 3*b + 3339307 = 0. Is x prime?
True
Let s = -60055 - -96302. Is s prime?
False
Let d(h) = 4*h**3 + 2*h**2 + h - 2. Let u be d(1). Suppose 2 + 5 = -4*m - 5*r, u*m - r - 13 = 0. Suppose -3*c = m*c - 50. Is c a prime number?
False
Let a(o) = -1690*o - 121. Is a(-36) prime?
True
Let c = 28466 - 10413. Is c composite?
True
Let o be 78 - 76 - (0 - (3330 - 0)). Let c = 159 + o. Is c a composite number?
False
Let l(r) = 118*r**2 - 3*r - 4. Let u = 265 + -262. Is l(u) prime?
True
Let g be (-2 + 16/12)*-4119. Let k = g - 255. Is k a composite number?
True
Let p(u) = 12*u**2 + 6*u - 1. Let y be p(-9). Let x(q) = 287*q**2 + 12*q - 13. Let n be x(1). Suppose -n = l - y. Is l composite?
False
Let o = -74 + 75. Is (-1255756)/(-170) + o/5 a composite number?
True
Let x be (-10 - 5129)*(6/9 - 1). Let z = x + -874. Is z prime?
True
Let v(w) be the second derivative of -3931*w**3/6 + 33*w**2/2 - 116*w. Is v(-2) prime?
False
Suppose -i = -4*t + 1724, 0 = -i - 2*i + t - 5216. Let c = -80 - i. Is (c/(-6) - 3)*