 composite number?
False
Suppose -5*k - 13 = h, 2*k - 4*h = 7 + 1. Is (-16103)/k + 168/112 prime?
True
Suppose 4*y + 6 = -2*x, 4*y + 18 + 18 = 4*x. Let s be ((-3*5)/x)/(-1). Suppose -4*k - s*v + 1184 = -0*v, -v = k - 297. Is k a prime number?
True
Let q(u) = 285*u**3 - 4*u**2 - 12*u + 26. Is q(5) composite?
False
Let k(v) be the second derivative of -349*v**3/6 + 117*v**2/2 - 3*v + 11. Is k(-8) prime?
True
Let u = 15013 - 7040. Suppose -3*b - u = -m, -b - 2 + 6 = 0. Is m a prime number?
False
Let v = 3 + 15. Let q(t) = 1 + 16*t + 22 + 1786*t**2 - 1767*t**2 - t**3. Is q(v) a prime number?
False
Let y(z) = 2985*z + 2344. Is y(51) composite?
False
Suppose -4*u = -865 + 4877. Suppose 2*n - 2027 - 6553 = 0. Let w = u + n. Is w composite?
True
Let y = -165502 + 281571. Is y a prime number?
False
Let a be 8/(7 - 3) + 3. Suppose a*v + 14 - 39 = 0, -v = 4*t - 20033. Is t composite?
True
Let r = 918 + -392. Let q = 36 + -3. Let v = r + q. Is v prime?
False
Is 4*(-14900235)/20*11/(-33) prime?
False
Suppose 10*f = 17*f - 4401313. Suppose f = 18*y + 204013. Is y a prime number?
False
Let u = 124 + 679. Suppose -183*z = -182*z - u. Is z a prime number?
False
Let h(n) = n**2 + 9*n - 7. Suppose -k = -5, -4*p = 4*k - 0*k + 20. Let a be h(p). Suppose -a*g - 5667 = -6*g. Is g prime?
True
Let q(l) = -4710*l + 10139. Is q(-89) composite?
False
Suppose 0 = -5*n + 2*r + 160, -3*n + 4*n + r = 32. Is ((-19948)/(-3))/(n/24) a composite number?
False
Let l be 80/10*(-1)/(-2). Let u(y) = -y**3 + 5*y**2 - 4*y. Let c be u(l). Suppose 0 = -4*x + k + 512, c = -0*k + 2*k + 8. Is x composite?
False
Let z be -2 - (-3 - 2 - -1). Suppose -z*j - s = 2, s = 3*j - 2*s + 3. Is 2/j - 7/(28/(-1956)) prime?
True
Let l be -3 + ((-320)/(-24))/(1/(-3)). Let m(s) = s**3 + 45*s**2 + 34*s + 85. Is m(l) composite?
True
Let g(k) = 5*k + 5. Let y be g(5). Suppose 0 = -y*p + 36*p - 4674. Is p a prime number?
False
Suppose -o - 332 - 201 = 0. Let w = 1626 - o. Is w a composite number?
True
Let z = 1060 + 1938. Is z prime?
False
Let o(y) = -y + 41. Let k be o(39). Is ((-87504)/(-9))/2 - k/6 composite?
False
Let i(w) = 5*w**2 - 5 + w**3 + 4*w - 2*w + 0*w**3. Let l be i(-4). Suppose 0 = -l*u + 351 + 1122. Is u a composite number?
False
Let g(x) be the second derivative of -13*x**3/2 + 2*x**2 - 29*x. Let r(d) = 38*d - 3. Let z(y) = -4*g(y) - 3*r(y). Is z(7) prime?
False
Suppose -82*r = -4*r - 5271942. Is r prime?
True
Suppose 2*k + 7*k - 3841812 = -27*k. Is k prime?
False
Suppose -39*g + 5915114 - 97367 = 0. Is g composite?
False
Suppose 2709601 = 5*h + 3*i, -116*h - i = -111*h - 2709597. Is h a prime number?
False
Let q(z) = -6*z**3 - 7*z**2 + 4*z + 7. Let g be q(-6). Suppose -12*l = -27*l + 75. Suppose l*y - g = 448. Is y a prime number?
False
Let t(i) = -i**2 + 6*i + 6. Let z be t(7). Let f(o) = -311*o**3 + 0*o - 2*o - 3289*o**2 + 3287*o**2. Is f(z) prime?
True
Suppose 12*x = 14*x - 236. Suppose 224 - x = f. Is f composite?
True
Suppose 110*w = 107*w + 1158. Suppose 6*d - w - 1624 = 0. Is d prime?
False
Let o be 3/(8 - -1)*3*8. Let s(b) = 2*b**2 - 15*b - 3. Let r be s(o). Is (-22071)/(-35) - (-2)/r composite?
False
Let s(b) be the second derivative of -9*b**3 - 7*b**2/2 - b. Suppose -4*q = 3*p + 20, 4*q + 3*p = -q - 25. Is s(q) a prime number?
True
Suppose 63*v = 59*v + 1468184 + 4132892. Is v a prime number?
False
Let g(a) = -13*a + 5. Let l be g(0). Suppose 4*i - l*r = 1061, 4*i - r - 118 - 923 = 0. Is i composite?
True
Let k(r) be the first derivative of 596*r**3/3 - 11*r**2/2 + 30*r - 44. Let h be k(4). Suppose -3*q + h = -d + 401, q + 3*d - 3047 = 0. Is q a composite number?
False
Let p be -3365 - (70/(-17) - (-6)/51). Let c = p + 6660. Is c prime?
True
Suppose 5*y - 19994 - 2785339 = -19*m, 0 = m - 5*y - 147607. Is m a prime number?
True
Suppose -37*x - 123*x = -5798560. Is x a prime number?
True
Is (2298/(-3))/(((-8)/(-52))/(-1)) composite?
True
Suppose -84*f + 48 = -92*f. Is 7589/3 + (104/f)/(-13) prime?
True
Is 222*(-17022)/(-27) - (-5)/(-3) a prime number?
False
Suppose 44663712 + 16884020 + 18755824 = 284*i. Is i a composite number?
True
Let w be (-2)/(-4) - (-399)/42. Let f be 15/w + (-2)/(-4). Is (-1 - 36*f)/((-4)/44) a composite number?
True
Suppose -2*o + 5*i + 449704 = 0, -18*o + 23*o - 2*i - 1124323 = 0. Is o composite?
True
Let i = -4729 + 260. Let c = i + 8556. Is c prime?
False
Suppose 5*m + 11930 = 13*c - 8*c, -4*c + 9579 = 3*m. Is c a composite number?
True
Let p = -29050 - -235343. Is p a composite number?
True
Let v(k) = -188*k**3 + 5*k**2 - 38*k - 33. Is v(-8) a prime number?
True
Let p = 97 - 96. Let z be (-16975)/14*-4*p. Suppose -14*b + 4*b = -z. Is b composite?
True
Let n = 992350 - -77193. Is n composite?
False
Let d(v) be the third derivative of v**6/2 + v**5/12 - 4*v**3/3 + 22*v**2 + 1. Is d(3) a prime number?
True
Let h(d) = 2101*d + 13. Let i(o) = 6303*o + 39. Let b(c) = -7*h(c) + 2*i(c). Let y be b(-5). Is (-9)/(-15) + y/5 a composite number?
False
Suppose 0 = 30*h + 3*h + 8580. Let d = 381 + h. Is d a prime number?
False
Let t be 12/(-4)*20/(-12). Suppose -2*b = 4*m - m - 10, t*m + 5 = b. Suppose -b*s + 306 = v, -8*v - 4*s = -4*v - 1304. Is v a composite number?
False
Let v = 1871580 - 1010189. Is v composite?
False
Suppose -4*f + 125583 = w, -10*w - 502368 = -14*w + 2*f. Is w a prime number?
True
Let x = 251018 - 165604. Suppose -10*r + 111096 + x = 0. Is r a prime number?
False
Let o = -170 + 179. Suppose -4*r = -o*r + b + 1708, -4*r - 5*b = -1349. Is r a composite number?
True
Let t = -196905 - -449986. Is t a composite number?
False
Suppose -2*q = 18*q - 100. Suppose -367 = -a + 898. Suppose a = -q*s + 7560. Is s a composite number?
False
Let o(d) = -128*d**3 - 9*d - 23. Let z be o(-3). Suppose -6*q = -z - 1946. Is q a prime number?
False
Let k = 307 + -304. Suppose -3*d = -5*f + 24198, -15708 = -k*f + d - 1190. Is f a composite number?
True
Suppose 1047*h = 1034*h + 758017. Is h composite?
False
Suppose -z - z + 24 = 0. Let r be ((-2)/6 - 2)/(z/(-72)). Let m(l) = 59*l + 27. Is m(r) a prime number?
True
Suppose 2273493 + 2999941 = 86*d. Is d composite?
True
Let o(f) = f + 20. Let m be o(-16). Let j = -23 + 25. Suppose j*g - 8 = 0, -2780 = -5*x - m*g + 1681. Is x prime?
False
Let f(k) = -20*k - 17. Let x be f(16). Let o be 4941/15 + (2 - (-7)/(-5)). Let z = o - x. Is z prime?
False
Suppose -821 - 1451 = -8*g. Let l = 87 - g. Let u = 1390 + l. Is u a prime number?
True
Suppose 2*h = -2*g - 2*g + 2, -4*h - 12 = 0. Let x = -31 + 35. Suppose 74 = g*k + x. Is k a composite number?
True
Let n(q) = q**3 + 16*q**2 - 5*q + 17. Let j be n(-16). Suppose -92*o = -j*o + 6925. Is o a prime number?
False
Suppose 26*c + 19*c = -10*c + 1504855. Is c composite?
False
Let x(q) = -197*q - 21. Let b = 171 + -181. Is x(b) composite?
False
Let w(y) = -704*y**3 + 40*y**2 + 547*y - 40. Is w(-11) a prime number?
False
Suppose -349995 = -21*b + 101526. Let v = b + -838. Is v prime?
True
Suppose k = -2*h + 451 + 516, 0 = 2*k - 4*h - 1910. Let j = k - -464. Suppose 602 = b - j. Is b a composite number?
False
Let j be 3 + (0 - 3 - -5893). Let o = 11102 - j. Is o composite?
False
Suppose -25*v = -30*v - 355. Let y = 73 + v. Is y/(-1) + (1 - -1800) a composite number?
True
Suppose 92*o - 88*o - 2352 = 0. Is 4/1 + -7 + o - 2 prime?
False
Suppose y = -583 - 231. Suppose -2*h + 0*d = -d + 24, 0 = -2*h + 5*d - 24. Is (-6*4/h)/((-4)/y) prime?
False
Suppose 1282435 = 29*n - 7*n - 421927. Is n composite?
False
Let n(d) = -651*d**3 + 18*d**2 + 64*d + 47. Is n(-10) composite?
False
Let y be 120/21 + -1 - 2/(-7). Suppose -y*m + 5569 = -4*m. Is m a prime number?
True
Let h = -27 + -7. Let w = h - -33. Is (-4 - -1) + (w - -893) composite?
True
Suppose -4*v + 15 = -d + 35, 3*d - 2*v = 20. Let s be -111*(d + -9 + 2). Suppose 19*w - s = 16*w. Is w composite?
True
Let z = -442505 - -1148088. Is z prime?
False
Let a(x) = x + 11. Let l be a(-7). Let z be (-233)/((12/l)/15). Is 2/(10/z)*-1 composite?
False
Let h = -42 + 42. Suppose -9*p + 12*p + 18 = h. Is 3/p*(-3 - 131) a composite number?
False
Let j(s) = 2*s**2 + 35*s - 93. Let v(p) = p. Let n(z) = j(z) - 6*v(z). Is n(-32) a prime number?
False
Suppose 420027 = 67*g - 58420. Is g a composite number?
True
Let a(i) = 83633*i - 1667. Is a(8) prime?
False
