7*x + 3. Let q(c) = c**2 - c. Let h(a) = d(a) - 5*q(a). Let u be h(1). Is u/9 + (-10)/(-45) a composite number?
True
Let h = 986070 + -636097. Is h a composite number?
True
Let o(w) = 51*w**3 - 3*w**2 + 23*w + 4. Let y(f) = -26*f**3 + f**2 - 11*f - 2. Let i(u) = 3*o(u) + 7*y(u). Let b be (-27)/12 + 4/32*-6. Is i(b) prime?
True
Let x(f) = -271*f + 2. Let y(i) = -7*i**3 + 6*i**3 - i**2 - i**2 + 7*i**2 - 3. Let l be y(5). Is x(l) a prime number?
False
Let l(i) be the first derivative of 5*i**4/2 - 2*i**3/3 + 7*i**2/2 - 10*i + 26. Let n be l(-6). Is (n/(-10))/((28/10)/7) prime?
True
Let q(t) = -t**2 + 4*t + 10. Let o be q(5). Let w(p) = -14 + o*p - 31 - 93*p. Is w(-4) a prime number?
True
Let p(l) = l**3 + 2*l + 16273. Is p(0) composite?
False
Let b = 217448 - -3795. Is b a composite number?
True
Suppose -238 - 1724 = 18*q. Suppose r + r + 64 = 0. Let p = r - q. Is p composite?
True
Suppose -16 = -2*i - 6, -4*j + 4177 = 5*i. Suppose -j = -0*v - v. Let w = -667 + v. Is w a composite number?
True
Is (-546 - 1)*11/(55/(-95)) a prime number?
False
Let y be (-18)/36 + (-8397)/(-2). Let x = y - 7227. Is x/(-39) - 4/6 composite?
True
Suppose -31040 + 5709 = 12*b - 125783. Is b a composite number?
True
Suppose 0 = 4*d - 3*f - 4, -3*d + 3*f - 20 = -5*d. Suppose 3*r - 2*r = -d*k + 2398, -4*k - 2398 = -r. Suppose -592 + r = 6*p. Is p a prime number?
False
Let l = -27597 - -62506. Is l a prime number?
False
Suppose -55*a = -50*a - 360. Let z = -66 + a. Suppose z*g = 3*g + 5*m + 5847, m + 7796 = 4*g. Is g composite?
False
Let z(n) = -8*n - 12*n + 31*n + 25 + 13*n**2 - 7*n. Suppose 5*b + 5 = 2*p + 53, -5*b + 52 = -3*p. Is z(b) a composite number?
True
Let y be (2816/320)/(2/575). Let l = 4299 - y. Is l composite?
True
Suppose 223*n + 5*p - 3161088 = 220*n, 4*p = 12. Is n a composite number?
False
Let b be ((33316/10)/((-5)/(-25)))/(-2). Let x = b + 16080. Is x composite?
True
Let v(x) = 6*x**2 - 3*x + 8997. Suppose 0 = -16*w + 7*w. Is v(w) prime?
False
Let v(u) = 238*u**2 + 25*u + 12. Let c(t) = 237*t**2 + 26*t + 11. Let s(r) = 4*c(r) - 3*v(r). Is s(-9) prime?
True
Let k = -117179 - -251098. Is k composite?
False
Suppose -606240 = -3*t + 3*y - 102675, 2*t - 335728 = -y. Is t a prime number?
True
Let f be (-4)/18 + (-702865)/(-45). Let z = f - -19410. Is z a composite number?
True
Let y(z) = 34*z**2 + 34*z - 283. Is y(-30) a composite number?
False
Suppose 14*i - 10618 + 115926 = 0. Let t = -3660 - i. Is t a prime number?
False
Suppose 3*z - 2*h = 1 + 1, -5*z = -4*h. Suppose 5*s - s = 4220. Suppose j - z*u - s = -4*j, 0 = -u. Is j a prime number?
True
Let y(f) = -630*f**3 + 3*f**2 + 2*f + 3. Let t(m) = -1890*m**3 + 8*m**2 + 5*m + 8. Let c(h) = -3*t(h) + 8*y(h). Let v = 12 - 11. Is c(v) composite?
False
Let d(i) be the second derivative of 239*i**4/12 + 13*i**3/3 - 37*i**2 - 233*i. Is d(3) prime?
False
Suppose 6*i - i - 2*b = 16, -10 = -5*b. Suppose 0 = -5*w - 5*q + 702 - 177, w = i*q + 125. Let t = -90 + w. Is t prime?
True
Let g be 3/7 + 221/(-91). Is (0 + -1)*(-919 + g) composite?
True
Let n = -361 - -2160. Let m = -1265 + n. Let c = 1527 - m. Is c prime?
False
Suppose 0 = 10*t - 18*t + 72. Suppose t*d - d = 272. Is d a composite number?
True
Let c be (-144)/216*9/(-2). Suppose 2*s - d = 34674, -26345 = -c*s - 5*d + 25666. Is s a prime number?
False
Let l(s) = 340*s - 6. Suppose 2*u - 5*j - 46 = 0, -3*j - 115 = -0*u - 5*u. Is l(u) prime?
False
Is (-6)/4*((-38852)/6 + -12) composite?
True
Let d = 21494 + -10135. Is d a composite number?
True
Let l(a) = -34738*a + 151. Is l(-3) a composite number?
True
Let n(q) = -q**3 + 12*q**2 + 20*q + 12. Suppose 5*f + 2*z - z - 68 = 0, 2*z - 71 = -5*f. Is n(f) a prime number?
True
Let w(p) be the third derivative of -p**6/40 + p**5/20 + 3*p**4/8 + 2*p**3 - 42*p**2. Is w(-9) a composite number?
True
Let n = 7584 - 13552. Let t = 271 - n. Is t a composite number?
True
Let b = -1349 - -917. Let a = 1595 + b. Is a prime?
True
Suppose 18821519 = 48*d + 26*d - 21*d. Is d composite?
True
Let i be 1/(-7) - (-29)/7. Suppose 0 = i*r - 2982 - 290. Is r composite?
True
Suppose -3*t + 4*b = 2*b - 251, -4*b - 241 = -3*t. Let u = 218 - t. Let r = u - -240. Is r composite?
True
Let l be (-4 - (-10)/2) + 150. Let k = l + 2406. Is k prime?
True
Suppose -50*r = -29*r - 1093071. Is r a composite number?
False
Suppose -4*u - 5*u = -99. Suppose u*m + 1065 = 16*m. Suppose m + 24 = l. Is l composite?
True
Let i = 559365 - 373420. Is i composite?
True
Suppose -8*z + 32 = -0. Suppose -z*r + 5*r + 2*h - 3511 = 0, -5*r - h = -17555. Is r a prime number?
True
Let o be 5/(-6) - 161/(-42). Is (-482747)/(-161) - o*(-8)/42 a composite number?
False
Let w(b) = -2708*b - 261. Let n be w(-28). Let p = n - 46866. Is p composite?
False
Suppose 4*n - 10019 - 3616 = c, 5*n + 20 = 0. Is (-3 - c)/8 + 3 a composite number?
False
Let i(u) = 28*u**2 + 35*u + 2. Let f be i(11). Let z = f - 1841. Is z prime?
False
Let o = -13166 + 29840. Let h = -9331 + o. Is h prime?
False
Suppose -3*z + 7 = -5*s, -22 = -2*s - 8*z + 3*z. Let d(p) = 534*p**3 - p**2 + 3*p - 3. Is d(s) composite?
True
Suppose 968025 = 1136*g - 1121*g. Is g a composite number?
True
Is ((-274370)/6)/(30/(-18)) prime?
True
Let m(i) = -5*i**2 + 7*i + 527. Let h(c) = 9*c**2 - 13*c - 1054. Let w(x) = -x**2 + 6*x - 11. Let l be w(5). Let a(q) = l*h(q) - 11*m(q). Is a(0) prime?
False
Let o(r) = -12*r + 75. Let l be o(5). Is 9495/l*29/3 prime?
False
Let s = 283 + -142. Suppose -s*z - 21044 = -145*z. Is z composite?
False
Suppose 3*l - 870390 = a, 18*l - 580253 = 16*l + 3*a. Is l prime?
False
Is 45082*((-4)/68)/((-4)/34) a composite number?
False
Suppose -14*z + 1252496 = 39*z. Let u = z + -11873. Is u composite?
True
Let x(f) = -f**2 + 14*f - 20. Let j be x(11). Let d(u) = u - 20. Let m be d(j). Is (0 + 1)*59*(10 + m) composite?
True
Suppose 362424 = 182*f - 158*f. Is f a composite number?
False
Let y(a) = 48*a**2 - 4*a - 69. Let w be y(-19). Let o = -6630 + w. Is o a composite number?
True
Suppose 1005*s = 1012*s - 1153159. Is s prime?
False
Let d(p) = 452*p - 28. Let z be d(-2). Let l = z + 3385. Is l a composite number?
True
Let d be (1*(-6)/8*-8)/(-1). Let u be 0 + (-1 - (4 + d)). Is (-10)/3*666/(-15) + u a prime number?
True
Is 1820/(-1040) - 875/(-4) a prime number?
False
Let k = 214092 + 41637. Is k a composite number?
True
Let m = 89215 + 60054. Is m a composite number?
False
Suppose 4*a = 3*a + 7. Let v be a/7 + (-3)/(-1). Suppose 0 = c + 3*p - 379, 0 = -v*c - 0*c - 5*p + 1502. Is c a prime number?
True
Let z be -2 + 0 + 3 + 1049. Let r = z - -131. Is r a composite number?
False
Suppose 2*z + 2*n - 450438 = 0, 14*n = 13*n + 2. Is z composite?
False
Let d(y) = -2*y - 4. Let s be d(-3). Let f(b) = -110*b**3 + s*b - b - 4*b**2 - 2*b + 2*b**2 + 3. Is f(-2) a composite number?
False
Suppose -360657 + 110078 = -7*g. Is g prime?
True
Suppose 4*p - 3211621 = -3*t - 2*t, -2*t = 3*p - 2408721. Is p composite?
False
Let x(y) = 147*y + 214. Let u = -160 + 195. Is x(u) a composite number?
True
Let i(w) = -w**2 - 7*w - 4. Suppose -2*f - y - 14 = -0*y, 8 = -4*y. Let t be i(f). Suppose -p = -t*p + 6. Is p a composite number?
True
Let l(i) = -4*i**2 + 3*i**2 - 5*i**3 - 31*i**3 - 7 + 8 - 7*i. Is l(-5) a composite number?
True
Suppose -5*p = p + 15504. Let r = -1543 - p. Is r composite?
True
Let u = -224 + 565. Let b = u + 1188. Is b composite?
True
Let c(j) = -3*j**2 - 30*j + 44. Let i be c(-10). Suppose 0 = 9*f - i - 1675. Is f prime?
True
Let f(l) = 80*l + 8329. Is f(0) a prime number?
True
Is 24/9 + 5704777/39 composite?
True
Let g(q) = -10*q + 19. Let u be (1 - (-8)/(-12)) + 32/12. Suppose -3*f = 2*p + 14, 3*p + 8 = -u*f - 7. Is g(f) a composite number?
False
Let m(h) be the third derivative of 875*h**4/24 + 95*h**3/2 - 66*h**2. Is m(20) a composite number?
True
Let b be 6 - ((-2)/8 + (-13)/(-4)). Suppose -b*v + 1 + 8 = 0, -5*v = 2*z + 87. Is (-4)/6 + (-12937)/z a prime number?
False
Suppose -2*v + 5 = i, -3 + 0 = -3*i. Suppose -8212 = -2*x + 2*s, 5165 = v*x + 3*s - 3072. Is x a prime number?
True
Let y = 61 - 49. Suppose 0 = -v - 5*v + y. Suppose 0 = v*g + 35 - 105. Is g a composite number?
True
Suppose 14*m = 12*m - 5*s + 430261, -2*s = 4*m - 860498. Is m composite?
False
Let b(m) = 4*m + 21. Let t be b(-5). Is (