3 + p*k**2 - 10*k. Is s(21) composite?
True
Suppose -5*o - s - 2291 = 0, -o - 2289 = 4*o - s. Let h = -49 - o. Is h composite?
False
Let a be -2*1/2 + 1 + 2. Suppose -3*t + 696 = 4*b, -a*b - 232 = -t + 3*b. Let c = 359 - t. Is c prime?
True
Let p(g) be the second derivative of -g**4/12 + 3*g**3/2 + 18*g**2 - 29*g. Let m be p(11). Let j(b) = b**3 - 4*b**2 - 4*b + 27. Is j(m) prime?
True
Is (-4712)/1767 + (-2825842)/(-6) a composite number?
True
Let s(k) = 2*k**2 - 27*k - 13. Let q be s(14). Is ((-2471 - -3) + q)*2/(-2) a prime number?
True
Let u = 2086 + -1455. Suppose -31 = -3*y - 4*s + 625, -4*s - 688 = -3*y. Let m = u - y. Is m prime?
False
Let l(p) = -p**2 + 5*p + 15. Suppose -3*v = 4*q - 2*q, q = -v. Let y be l(v). Is (0 - 5/y)/((-1)/10491) composite?
True
Let k(v) = -53*v**3 - 12*v**2 + 21*v + 22. Let p be k(-6). Let q = p + -4613. Is q a composite number?
False
Let g be (-5)/(280/(-93312)) + 4/(-14). Suppose 5*j - 4*i - 8177 = 0, 2*j - 5*i + g = 4930. Is j composite?
False
Let u be (-2)/((-6)/(-9)*-1). Suppose 0 = -u*n + 4*n - 4*i - 8, 0 = 5*n + 5*i + 10. Suppose 4*p - 4 = n, 2*p = -4*z + z + 869. Is z composite?
True
Let c be 252/30*(616 - -4). Let i = c - 2735. Is i prime?
True
Suppose 1721137 = -2722*w + 2733*w. Is w a composite number?
False
Suppose -3*q - 6 = 0, -5*b = -8*q + 10*q + 4739. Let p = b + 1860. Is p a prime number?
False
Let s(x) = -x + 38. Let b be s(20). Suppose -19*r + 4219 = -b*r. Is r composite?
False
Is (-7)/(-210)*-10*(-2583382 + 1) composite?
True
Suppose 4*o - 3*c + 703821 = 0, -2*o = -7*o + 5*c - 879770. Is o/(-36) - (20/(-16) + 0) composite?
False
Let z = 159 - 157. Suppose 0*a + z*a - 11566 = -4*g, -3*a + 3*g = -17331. Is a prime?
True
Let i = 34986 - 24005. Suppose 5*w - 3937 - 14356 = -2*t, 4*t = 3*w - i. Is w prime?
True
Suppose -12*d + 335 = 71. Suppose -12*y - 23610 = -d*y. Is y a prime number?
False
Suppose 92 = 7*u - 3*u. Let y = -18 + u. Suppose 3*a + y*w - 196 = 0, -2 - 1 = 3*w. Is a prime?
True
Let y = -175196 + 474151. Is y composite?
True
Let n be (-28)/(-70)*(25/(-2))/(-1). Suppose n*o + 1152 - 4357 = 0. Is o a prime number?
True
Let u = 1636 - -924. Let j = u + 162. Is j a prime number?
False
Suppose -36*o = -43*o + 652477. Is o a prime number?
False
Let g = 26114 - -146883. Is g a composite number?
True
Let o(f) = 466*f + 52 + 64 - 29. Is o(5) prime?
True
Let r(s) = 214*s**3 - 2*s**2 + s + 4. Let a(n) = 1071*n**3 - 11*n**2 + 5*n + 20. Let c(q) = -2*a(q) + 11*r(q). Is c(3) prime?
False
Suppose -1293053 = -3152*t + 3151*t - 4*d, -5*t = -2*d - 6465441. Is t a prime number?
False
Suppose 163*l - 344994 - 341011 = -100998. Is l a prime number?
False
Suppose 16*z = -19 + 3. Is (-9 - -563)/(z/(-34)*4) a composite number?
True
Let q = 72 - -160. Suppose 0 = -3*v + 29 + q. Suppose -v = -b - 4*u, -2*u + 85 = b - 0*u. Is b a prime number?
True
Suppose -104*f = -122*f + 826290. Is f prime?
False
Let t(i) = -134*i**2 + 13*i + 39. Let k be t(-9). Let u = k - -31613. Is u prime?
True
Suppose -2*f + k - 3 = 0, -5*k + 1 = -2*f - 6. Let c(s) = 16*s**3 + 2*s**2 + s. Let w be c(f). Let y(i) = i**2 - i - 17. Is y(w) prime?
True
Is (2*4*267/(-48))/((-2)/2228) a prime number?
False
Let n = 51518 + -36353. Let r = n - 1696. Is r a composite number?
False
Let p be (-1)/((-3)/(9/3)). Is (997 - 9) + p*5 a prime number?
False
Let f(y) = -138*y**3 + 56*y**2 + 247*y - 38. Is f(-15) composite?
True
Suppose -5*i + 5*h = -30, -2*h - 8 = i + i. Suppose 4*q - 11 - i = 0. Suppose 4*v - q*v - 307 = 0. Is v prime?
True
Suppose -386405 = -49*k - 120286. Is k a composite number?
False
Let r be 2/((4 + -1)/(-47832)). Let v = 54623 + r. Is v composite?
True
Suppose 0 = -3*x + 2*x + 5*r + 579, 0 = 2*r - 10. Let y = -313 + x. Is y composite?
True
Is ((-238)/595)/(4/(-3840990)) a prime number?
False
Let q(c) = -163*c**3 + 8*c + 32. Let h = -702 + 699. Is q(h) a prime number?
True
Let d(l) = -3976*l**3 + 85*l**2 - 183*l + 5. Is d(-11) a composite number?
False
Let g(p) = -27*p**2 + 57*p + 2. Let m be g(19). Is (-2)/2 - (-2 + m) prime?
True
Let k = -642 - -196. Let p = 961 + k. Let q = -184 + p. Is q composite?
False
Let g = -103 + 107. Suppose -g*y + o + 23295 - 4888 = 0, -3*o = y - 4618. Is y prime?
True
Suppose 2*m - 3*s + 2*s - 22969 = 0, 5*m - 3*s - 57424 = 0. Suppose -3*b + 4180 + m = 0. Suppose 3*z - w = 2*w + 3135, -5*z + 4*w = -b. Is z a composite number?
True
Let f be ((-2)/(-8)*4)/(-1). Let a be 5 - (f + -1*(2 + -1)). Suppose 12*c = a*c + 885. Is c a prime number?
False
Let h(u) = u**2 + 3*u - 37. Let w be h(-8). Suppose 3*v - 2*b = 5531, -v + 4*b + 1845 = w*b. Is v prime?
False
Let g(z) = -17*z**3 + 7*z**2 - 15*z - 2. Let n be g(5). Let q = n + 5326. Is q composite?
False
Let k(o) be the first derivative of -53*o**7/840 + o**6/180 + o**5/60 - o**4/6 + 8*o**3/3 - 31. Let v(t) be the third derivative of k(t). Is v(-3) composite?
False
Let a = 156269 - 106250. Is a a composite number?
True
Let r be (-272)/336*-4854 - (-6)/(-14). Let q = r - -5560. Is q prime?
False
Let r = -86583 - -332442. Is r composite?
True
Let v(i) = 11*i - 51. Let q be v(6). Suppose -5*l - 2*m + 48353 = 0, -q*l + 3*m + 48358 = -10*l. Is l prime?
False
Suppose 39*r - 3260570 - 2433781 = 0. Is r prime?
True
Let a(i) be the third derivative of i**6/120 - i**5/30 + 8*i**3/3 + 20*i**2. Let y be a(13). Suppose 0 = -6*j + 4059 + y. Is j a composite number?
True
Suppose -5*j = 5*s - 6*j - 1284, 0 = 5*s + 4*j - 1289. Suppose -3*r = -3*l + 2*l + 15, -5 = 5*l + r. Suppose 3*a - 2*a - s = l. Is a a prime number?
True
Let l(n) = 2*n**2 + 65*n + 940. Is l(-35) a prime number?
False
Suppose 2*s + 77 - 81 = 0. Suppose -w + 40 = -5*j, s*w - 44 - 36 = -j. Is ((-8)/(-12))/((w/12132)/5) composite?
True
Let l = 542 + -545. Let i(c) = -2273*c + 152. Is i(l) prime?
True
Let v = -401 + 434. Suppose 0 = -v*s - 2*s + 89075. Is s a composite number?
True
Let r(j) = -308*j - 136*j + 2286*j + 1894*j - 2. Is r(1) prime?
False
Suppose 4*g - 259 = 4*j - 31, 3*g - 4*j - 168 = 0. Let p be (-1)/((-3)/(g/4)). Suppose -4*b = p*b - 20187. Is b prime?
True
Let o be (-170)/(-50) - 2/5. Suppose 0*q - 4*u = o*q, -2*u = 6. Let r(p) = 3*p**3 + 4*p**2 + 2*p - 5. Is r(q) a prime number?
False
Let g(u) = -u**3 - 32*u**2 - 29*u + 368. Let h be g(-31). Suppose 3*s + s = -2972. Let k = h - s. Is k prime?
True
Let a(f) = -536*f + 501. Is a(-23) composite?
False
Suppose 13*h = -6*h - 760. Let c(r) = -62*r + 227. Is c(h) a composite number?
False
Suppose -2*a = -s + 895893, 0 = -14*s + 15*s + 2*a - 895865. Is s composite?
False
Suppose 5*j - 72 = -2*m, -4*j + 80 = -0*j - 4*m. Suppose -4*g = 3*w - 7 - j, 5*g - 4*w = 21. Suppose 0*z = g*z - 6425. Is z prime?
False
Let d = -42 - -42. Suppose d = -0*y - 3*y + 15. Suppose m = -4*q + 1207, 417 = -y*m + q + 6410. Is m composite?
True
Suppose -41*o = 4*w - 44*o - 83137, 4*o + 28 = 0. Is w composite?
True
Suppose -3*b - p = -54564, 81*p - 90944 = -5*b + 78*p. Is b a prime number?
False
Let t(k) = 3*k - 2*k - 2*k + 10 + 6*k**2 + k**3 + 7*k. Let h(v) = v**2. Let i(a) = 4*h(a) + t(a). Is i(-9) prime?
True
Suppose -3*l - 31 = -10, -5*l = 3*r - 194548. Is r composite?
True
Suppose -3*w + 3 = 0, -983*r + 978*r - 4*w + 3740669 = 0. Is r composite?
False
Let o = 15549 + -11037. Suppose 2*w = 5*j + o, 0*w - w = 3*j - 2278. Let l = 3219 - w. Is l composite?
False
Is ((-171478)/(-8))/((-182)/(-728)) a prime number?
False
Suppose -34*f = -35251 + 218273. Let k = -3726 - f. Is k prime?
True
Let q(s) = -s**2 + 12*s - 15. Let d be q(10). Let j(b) = d + 6 - 1 + 1 - 380*b. Is j(-3) composite?
False
Let d(b) = 851*b**2 + 0 + 9*b - 2*b + 1 - 8*b. Let i = -19 + 20. Is d(i) a composite number?
True
Suppose -17*w = -30*w + 26. Is (4112 - w/2)/1 a composite number?
False
Let z(b) = -24*b**2 - 9*b + 102. Let v(u) = 8*u**2 + 3*u - 34. Let d(o) = -11*v(o) - 4*z(o). Is d(-7) prime?
True
Suppose 39*w - 933 - 42 = 0. Suppose w*i - 439341 = 4*i. Is i composite?
False
Let x(z) = 34210*z**2 - 48*z - 71. Is x(-5) a prime number?
True
Let g(a) be the second derivative of -a**5/20 + a**4/6 + a**3/3 + 37*a**2/2 + 2*a. Let d be g(0). Let o = d + 30. Is o a composite number?
False
Let g(w) = 794*w**2 - 65*w + 50. Is g(7) a prime number?
True
Let m = -56660 + 110491. Is m prime?
True
Let r = 2831 - -459