) a composite number?
True
Let s be 1*(-2 + (2 - 1))*-1. Let t be (-5 - 630)/(((-2)/(-14))/s). Let f = -2562 - t. Is f a composite number?
True
Let y(k) = 2*k**2 + 5*k - 6. Let b be y(-5). Suppose 5*m - 1 - b = 0. Suppose -2008 + 330 = -5*w - 3*o, m*o - 339 = -w. Is w prime?
False
Let q(k) = -1 + 3*k + 101*k**3 - 35*k**3 - 44*k**3 - 5*k**2. Suppose -3*c - c = -12. Is q(c) composite?
False
Is -14 + (-356411)/22*-6 composite?
True
Suppose -5*u + 35 = -3*r - 2*r, -4*u + 13 = r. Let g be 3*-8*((-68)/(-24) + r). Suppose 10*d - 7230 = g*d. Is d a composite number?
True
Let o = 2826 + -2824. Let a(m) = 158*m**2 + m - 1. Let y be a(2). Suppose 0 = o*f + f - y. Is f a composite number?
False
Let b(h) = -7*h**2 + 22*h - 23. Let f(y) = -7*y**2 + 22*y - 21. Let x(k) = 4*b(k) - 5*f(k). Is x(28) a prime number?
False
Suppose -4*h - k = -14929, 9579 = 5*h - 2*k - 9079. Is (-4 - (5 + -2 + -12)) + h prime?
False
Let x(m) = m**3 - 36*m**2 - 33*m + 38. Let p be x(35). Is (-63)/(-42) + p/(-4) prime?
True
Let l = -77 + 84. Suppose 20*n = l*n + 78. Suppose 2*q - n*q = 4, q + 1444 = 3*a. Is a a composite number?
True
Let j = -44116 + 74747. Is j a prime number?
True
Let f(t) = 28410*t**2 + 133*t - 430. Is f(3) prime?
True
Suppose -48*v = -53*v - f + 2466501, 4*v - 1973212 = 2*f. Is v composite?
False
Let y be -12*11/44 - -288. Let j = -883 - -1461. Let g = j - y. Is g prime?
True
Suppose -5*v - b = -269933, 5*v - 5*b = 6*v - 53977. Is v a prime number?
True
Let i(t) = 1120 + 1471 - 41*t**2 - 4*t + 40*t**2 - t**3 + 7*t. Let l = 3 - 3. Is i(l) composite?
False
Let b = 5511861 - 2414452. Is b composite?
True
Let m be ((-3)/4)/((-7)/56). Is 3/m*2*(11418 - 7) prime?
True
Let b(r) = 13*r**2 + 29*r - 12. Let m be b(-9). Suppose -3*q + 2651 = 4*y, 2*q = 3*y - 1187 - m. Is y composite?
False
Let z(x) = 4*x**3 - 29*x**2 - 19*x + 15. Is z(11) a prime number?
True
Suppose 2*o + 5*j = -2642, -2*o + 10*j - 2662 = 5*j. Let f = 5327 + o. Suppose 4*s - s = 5*t + 3986, -3*s + f = -2*t. Is s a prime number?
False
Let w(l) = -5*l**2 - 4*l - 5. Let g(d) = -24*d**2 - 19*d - 25. Let m(h) = -2*g(h) + 11*w(h). Let a be m(-8). Let q = a - -620. Is q prime?
False
Suppose -2*s + 0*s - 26 = 0. Let f(j) = 2*j**3 + 38*j**2 - 28*j + 3. Is f(s) a prime number?
False
Let w = 3655900 - 2357973. Is w prime?
True
Let z = 164695 + 80777. Suppose 14*o + 18*o - z = 0. Is o composite?
True
Suppose 20*p = 16*p + a + 329121, -3*a = 3*p - 246822. Is p prime?
True
Let g = 47 - 42. Suppose -2*p = -3*b + 1396, -5*b + 1869 = -b + g*p. Suppose 943 = w + 2*v, -w + v + 462 + b = 0. Is w a prime number?
False
Let a(v) = 16*v - 30. Let y be a(5). Let d be 30/y - (-16)/(-10). Is (-20)/(-40)*d*-4426*1 prime?
True
Suppose -14 = 3*w - 35. Is w + 15889 + 5 - -4 prime?
False
Suppose 9*g + 243499 = -135077. Is ((g/24)/(-11))/(2/9) a prime number?
False
Let q = -69 + 109. Suppose 0*r + 10*r = q. Suppose r*h - 1471 = -3*x, -5*x = -5*h + 42 - 2517. Is x a prime number?
False
Let g be (721383/(-4))/(-13) - (-1)/4. Suppose -23171 = -5*v - 5*n + n, 5*n = 3*v - g. Is v composite?
True
Let x = 311 + -1458. Let b = 2664 + x. Is b composite?
True
Suppose 16 = 2*m + d, -5*d = 2*m - 35 + 3. Suppose -q + 4*s = -7981, -m*q + 5*q = 2*s - 7999. Is q composite?
False
Is 99/(-9) + (-133146)/((-4)/4) prime?
False
Let x(w) = -1949*w + 830. Is x(-3) a prime number?
False
Suppose 0 = 16*j + 8*j - 96. Suppose 14413 = j*z - 13015. Is z composite?
False
Let h(l) = 8807 + 12452 - 5*l**3 + 4*l**3 + l**2 + l. Is h(0) a prime number?
False
Let r(h) = -2*h + 103. Let d be r(39). Is 53/265 + (-5)/(d/(-3744)) a prime number?
False
Let m be (-36)/(-17) + 4/(-34). Suppose -3*a = -a + f - 9, m*f + 3 = 3*a. Is a + 113 + (-5 - -2) a prime number?
True
Suppose 5*a + 7 - 2 = 2*b, 3 = 2*b - 3*a. Suppose b = q - 5, 0 = -t - 2*q + 1731 + 1482. Is t composite?
False
Suppose 8*d = -36*d + 1159312. Is d/2 + 3 + -8 a composite number?
True
Let b = 533 + -532. Let x(j) = 44785*j - 14. Is x(b) a composite number?
False
Let m(q) be the second derivative of -257*q**3/6 - 13*q**2 + 111*q. Is m(-5) a composite number?
False
Is 1904690/6 - (-2)/3 prime?
False
Let i = -176 + 103. Let n = i - -73. Suppose -z = -3*b - 2*z + 5539, -3*z - 6 = n. Is b prime?
True
Let y(b) = 143637*b**2 + 20*b - 9. Is y(-2) a composite number?
True
Let o(q) = 6*q - 52. Let h be o(9). Suppose 0 = 21*r + h*r - 141013. Is r composite?
False
Suppose s - 1713 = 5*g, 0*s = -2*s + 2*g + 3418. Suppose 3*j = -b + 11840 - s, -j + 3380 = 3*b. Is j a composite number?
True
Let i(z) = 262*z - 90. Let r be i(18). Is (-4)/(-7) + r/14 a composite number?
False
Let n be (60/66)/(-5) + 297534/33. Suppose -2*c - 4*u = -6*c + n, -5*c = -u - 11250. Suppose 1653 = 3*h + x - 604, x + c = 3*h. Is h composite?
False
Let q = -185 + 189. Suppose a - 89034 = -5*t, q*a - 35610 = -8*t + 6*t. Is t composite?
False
Let p = 1084181 - 591424. Is p a prime number?
True
Suppose u = 2*v - 196 - 11, -5*u + 109 = v. Suppose 3*l - 4*l = -526. Suppose -l + v = -2*j. Is j a prime number?
True
Let y(b) be the first derivative of 2*b**3/3 - 5*b**2/2 + 5*b - 9. Let l be y(1). Suppose l*s = 2816 - 378. Is s a composite number?
True
Let x be (6/9)/(742/126 + -6). Suppose -237 - 273 = -5*b. Is ((-1)/(x/(-159)))/((-3)/b) prime?
False
Let o(m) be the third derivative of m**6/120 - m**5/30 + 5*m**4/24 + 1117*m**3/6 + 272*m**2. Is o(0) prime?
True
Suppose 20*t - 886030 = -26*t + 1955804. Is t composite?
True
Let h(a) be the third derivative of -1129*a**4/24 - 7*a**3/3 + 165*a**2. Is h(-9) prime?
False
Let d be -3*3/(5/(-5)). Is (d/((-108)/18608))/((-8)/12) prime?
False
Suppose 4*d - 53966 = -5*f, 2*d - 32377 = -f - 5385. Is d a prime number?
True
Suppose -67*c - 619745 = -74*c. Is c prime?
False
Let z be (13/(-3))/(5/(-15)). Suppose 9*y - 44 = z*y. Is ((-1 - y)/(-2))/(34/(-22202)) a prime number?
False
Let t(n) = -n**3 + 2*n**2 + 13*n + 5. Let p be t(-4). Is (p + -45)*577/2 prime?
False
Suppose -321 = -6*k - 255. Suppose -k*n + 14*n - 9411 = 0. Is n a prime number?
True
Let n(t) = -652*t + 35. Let i be n(8). Let m = -1274 - i. Is m a prime number?
True
Suppose -4*l = -k + 2, 8 = 4*k - 3*l + 5*l. Is 3511 - -7*2/k prime?
False
Let o = -403252 + 1717263. Is o prime?
True
Is 1/3 - 38257607/(-381) a prime number?
False
Suppose -208*z = j - 211*z - 140804, -5*j + 704050 = -5*z. Is j a composite number?
False
Let m(w) = -87 - 110*w - 550*w + 20 - 442*w - 70. Is m(-4) composite?
False
Let l = 42 + -39. Let r be (-8)/((-1*6)/l). Suppose k + 2*k - 2*y = 2257, -3791 = -5*k - r*y. Is k prime?
False
Let y = 3954 - -29039. Is y composite?
False
Suppose l + 334 = 2*c, -5*c + 3*l + 531 = -303. Suppose 3*t - 939 = 3*h, 0 = -t - 4*h - c + 506. Is (-5)/10 + (t/(-4))/(-3) a composite number?
True
Suppose 0*c - 515343 = -5*c + 2*w, 6*w = -c + 103043. Is c a composite number?
False
Let v(s) = s**2 - 7*s + 4. Let a be v(5). Let l(y) = -1 - 19*y + 12 - 3*y. Is l(a) a prime number?
False
Suppose -100*f + 105*f = -3*k + 67279, 0 = 4*k + 2*f - 89696. Is k a prime number?
False
Suppose 4 = 2*l, -2*l = -5*m - 0*l + 66. Let n(p) = -3 + 7*p + 22 + 79*p**2 - 10 - 67*p**2. Is n(m) a composite number?
False
Let k be (-15)/(-25) - 388/(-20). Is k/25 - 61866/(-30) a prime number?
True
Let j be ((8/6)/(-2) - 0)*33. Let g be (12/(-10))/(j/5 + 4). Suppose -5*u - r + 14398 = -2*r, -g*r = -5*u + 14404. Is u prime?
True
Suppose -b = -2479 - 18513 - 4309. Is b a prime number?
True
Suppose -28 + 31 = i. Suppose -4*h + 629 + 182 = 5*a, i*a = 5*h + 494. Is a prime?
True
Let v = -7907 - -58266. Is v composite?
False
Let w(l) = 65*l**3 - 6*l**2 + 4*l + 2. Suppose 0*g = 4*g + 2*v - 8, 5*v = -5*g + 5. Let r be w(g). Let o = r + -864. Is o composite?
True
Let s be (-6)/9*60129/(-6). Suppose 0 = -4*q + s - 1205. Is q composite?
True
Let r(z) = z**2 - 16*z + 17. Let g be r(15). Suppose -5*h + 4100 = 3*w, -h + 808 = 5*w - g*w. Let j = h + -188. Is j a composite number?
True
Let i be (-41)/8 - (1 + 54/(-48)). Is -3*-118*3 - i prime?
False
Let t(j) = 2766*j + 53. Let m be 100/250*30/4. Is t(m) a composite number?
True
Let r = 110 + -105. Suppose -10*k - 40473 = -r*y - 6*k, 3*y - 5*k - 24289 = 0. Is y composite?
False
Let u = 66919 + -44180. Is u prime?
True
Let z(a) = 98*a + 31. Let g be z(11). Suppos