Suppose 4*d = -5*x + 27, p = 2*d + 5*x - 9. Suppose d*n = -2*y + 211, 4*n = 5*n + y - 72. Is n prime?
True
Let g(x) be the first derivative of 112*x**3/3 - 8*x**2 - 71*x - 209. Is g(9) a composite number?
True
Suppose 5*g + 9*m - 884795 = 11*m, -884810 = -5*g + 5*m. Is g prime?
False
Suppose 2*j + 36148 = 126312. Suppose -5*p = -4*s + 90164, -j = -2*s + 5*p - 4*p. Is s a composite number?
False
Let d be (-49)/7 + 15 - 6. Suppose 3*x - 16495 = -d*x. Is x composite?
False
Let c be (-50 + -27904)*1/(-3). Suppose 13*g - 45893 = c. Is g prime?
False
Let s(t) = -18979*t - 7344. Is s(-19) a prime number?
False
Let v = -55662 - -106793. Is v a prime number?
True
Let t(c) = 16*c**2 - 10*c + 9. Let m(r) = 2*r**2 + 1. Let b(a) = -4*m(a) + t(a). Is b(-24) a composite number?
True
Suppose 277*k + 30 = 282*k. Let z(v) = 329*v - 1. Is z(k) composite?
False
Let n(y) = -1600*y + 99. Let z be n(-7). Suppose -2137 = -2*t - 5*d + 2409, -5*t = -4*d - z. Is t prime?
False
Let o be (9/(54/16))/((-2)/(-264)). Let k = 3037 + o. Is k composite?
False
Let g = 92 + -71. Suppose g*c = 24*c - 159. Is c a composite number?
False
Suppose -18613 = -w - z, 155*z - 156*z = 3*w - 55847. Is w a composite number?
False
Suppose -w - 2*l = w + 818, 0 = -3*w - 5*l - 1223. Let c = w - -2144. Is c prime?
True
Let t = 685 + 3862. Is t a prime number?
True
Suppose -23*b - 8884 = 3605. Let g be ((-1)/(-2))/(5/(-8380)). Let l = b - g. Is l composite?
True
Let c(z) = -9214*z + 7427. Is c(-38) prime?
True
Suppose 5*s + 30 = 15*s. Let y be (-4)/(-22) - (3970/55 - s). Is (5 + y/9)*(-1842)/8 a composite number?
True
Suppose 26*o - 28*o + 1098710 = -f, -5*f = 3*o - 1648091. Is o a prime number?
False
Suppose t + 19*f - 203551 = 23*f, 0 = t + 6*f - 203501. Is t prime?
True
Is 0 + (-5)/35 - (-54051080)/140 a composite number?
True
Suppose i + 2*k = -26, -i + 6 = -2*i + 3*k. Let f(w) = 2*w**2 + 9*w + 22. Let s be f(i). Suppose -2*q + s + 306 = 0. Is q a composite number?
True
Let t(y) = -3847*y - 106. Let i(b) = 4*b - 2. Let a(d) = i(d) - t(d). Is a(3) composite?
False
Suppose 39 - 11 = 4*u. Suppose u*c = 3249 + 2036. Is c prime?
False
Let h(x) = 9*x**2 + 30*x + 325. Is h(-124) a composite number?
False
Let n = -1339919 - -2844370. Is n a prime number?
False
Let p(s) = -23810*s + 1181. Is p(-9) a composite number?
False
Let f(a) = 18*a**2 - 805*a + 110. Is f(-45) a prime number?
False
Let i(p) = p**2 + p - 25. Let n be i(-6). Suppose 0 = -n*z + 6*z - 958. Suppose 2*r = -0*r + z. Is r composite?
False
Is (-52)/(-520) - 541587/(-30) a prime number?
False
Let q(m) = 3*m**2 - 11*m + 7. Let h be q(-7). Suppose -239*p = -h*p - 25096. Is p a prime number?
True
Let j = -406232 + 807621. Is j a prime number?
False
Is 25/25 + -9 + ((-1)/(-1) - -8426) prime?
True
Suppose -5*b - 579 = -49. Is (8 + 1)*b/(-9) a prime number?
False
Let w be (-1)/(-1 + (-9)/(-12)). Let a be (1/(-1))/(-1)*(w - 0). Suppose -a*z = 224 - 1420. Is z prime?
False
Suppose 0 = -3*c + b + 55660, 4*c - 3*b - 74240 = -7*b. Let t = c + -12602. Is t a composite number?
False
Let r(o) = -5*o + 15. Let h be 74/14 - (-4)/(-14). Suppose l = -7 + h. Is r(l) composite?
True
Let g = 8285 + 106964. Is g prime?
True
Suppose -t + 14 = -4*b, 2*b + 4 = -t - 0*b. Let f be t/(6 - -2) + (-97224)/(-96). Let r = f - 620. Is r a prime number?
False
Suppose -3*f - 5 + 14 = 0. Let p be 3/(-9) - ((-4528)/f + 3). Suppose p = 2*b + 104. Is b prime?
True
Let g(a) = -a**3 + 3*a**2 - 4*a + 13. Let m be g(3). Suppose 2*k + 14244 = 4*k + 2*n, -m = -n. Is k prime?
True
Let j(p) = -131*p + 6. Let s(l) = l. Let y(x) = j(x) + 3*s(x). Let n be y(-6). Suppose 3*a - 318 = 5*m + 458, 3*a - n = 3*m. Is a composite?
False
Let x = 23816 - -10497. Is x a composite number?
False
Suppose -2*u + 5 = -1. Suppose 25*b = 24*b + u. Suppose -5*t + 2012 = b*s, 0 = -s + t - 4*t + 664. Is s prime?
False
Is ((-2245558)/28)/((-24)/48) a prime number?
True
Let p be (112134/(-55))/(3/20). Let k = p - -22863. Is k composite?
True
Suppose -69418 + 13486 = -12*h. Is h a composite number?
True
Suppose 6*b + 248926 = 4*o, 311169 = 23*o - 18*o + 4*b. Is o a composite number?
False
Let g(p) = -439*p - 4. Suppose 11*x + 9 = -57. Let i be g(x). Let a = i - 657. Is a composite?
False
Suppose k - 314117 = 5*t, k - 190717 = -5*t + 123380. Is k composite?
False
Suppose 0 = -w + 3*a + 3046 + 4318, -3*w - 5*a = -22120. Suppose 0 = v - w + 1591. Is v prime?
True
Let r = 34 - -11. Let y be (-4)/18 + 10/r. Is 303 - (y - 0/(-3 - 0)) a composite number?
True
Let o(t) = 20*t**2 - 15*t - 110. Let v be o(19). Suppose v + 308796 = 9*a. Is a composite?
False
Let t(m) = 300*m**2 - 25*m + 688. Is t(-33) composite?
False
Let p = 2 - 2. Let y = -17298 + 27889. Suppose y = 2*i + 3*i - z, p = -4*z + 16. Is i composite?
True
Let r = 137 + -104. Suppose 2*x - 5*m - r = 0, 4*m + 0 = -20. Let a(p) = 7*p**3 + 6*p**2 - 2*p - 1. Is a(x) prime?
False
Let f(n) = -4244*n - 2501. Is f(-93) a prime number?
False
Let d(x) = -9*x**2 + 22*x - 14. Let y(l) = -9*l**2 + 20*l - 14. Let s(u) = 6*d(u) - 7*y(u). Is s(-21) a composite number?
True
Suppose -2*u + 3*g = -3333, -u - 41 + 1705 = -2*g. Suppose 14955 = 58*c - 73*c. Let w = c + u. Is w a composite number?
False
Let f = -84953 - -193660. Is f a composite number?
False
Let p = -24233 + 84374. Is p a composite number?
True
Let b be (-86)/(-559) + -2 + (-48)/(-26). Let p(h) = 2*h - 8. Let r be p(6). Suppose b = r*q + q - 1255. Is q prime?
True
Suppose -7*h + 11*h = 3*d - 98059, 4*h = -d + 32681. Suppose -54*f = -51*f - d. Is f composite?
True
Let m = 58 + -51. Let i be ((-6)/(-10))/(m/140). Suppose -i*f + 3*f + 8595 = 0. Is f composite?
True
Suppose -5*o + 21121 = 193701. Let t = o - -67013. Is t prime?
True
Let o = 64 + -54. Suppose 4*a - 2*w = 16, -2*w + o = -7*w. Let l(s) = 58*s**2 + 3*s - 10. Is l(a) composite?
False
Let d(w) be the second derivative of 1/4*w**4 + 0 + 17*w - 1/2*w**3 - 2/5*w**5 - 1/2*w**2. Is d(-3) a composite number?
False
Suppose -2*b + 3*p + 8254 + 6116 = 0, 0 = 4*p. Suppose 3*a = 6*a - b. Is a a prime number?
False
Let r(f) = -f**2 + 14*f + 2. Let d be r(14). Let n be 2280 + (0 - (-6 - -3)) - d. Suppose 5*k - 25 = 0, a + 0*k - n = -2*k. Is a a composite number?
True
Let z be (2/(-3))/((-8)/(-132)). Let a(c) = 3*c + 33. Let m be a(z). Suppose 20*d - 15*d - 2215 = m. Is d a prime number?
True
Suppose 11*a - 13*a - 5*o = -31, 0 = a - 3*o + 12. Suppose -2*m = a*h - 9416, 0 = 2*m - 7*m + h + 23557. Is m a prime number?
False
Let t(j) = -6*j**2 - 2*j**3 - 7*j - 5*j**2 - 6 + 5*j**2. Let r be t(-10). Suppose 0*f - 3*v - r = -3*f, 3*f + 5*v = 1440. Is f prime?
False
Let z = -1266 + 741. Let a = -493 - -1271. Let o = a + z. Is o composite?
True
Let p be (16 - -2)/((-12)/(-8)). Let v be ((-9)/p - -1)*8. Suppose -4*x = -16, -3*u - v*u + 5*x = -450. Is u prime?
False
Let y be -20295 - ((-18)/(-6) - 4). Let r be ((-156)/(-130))/(y/(-20290) - 1). Suppose 0*x + r = 3*x. Is x a prime number?
True
Suppose 49*y = 148529 + 53694. Is y prime?
True
Suppose -224*w + 40 = -216*w. Is 84/(-18) + w - 79340/(-3) a composite number?
True
Let y(b) = 5*b + 127. Let c be y(-25). Is (-95031)/18*(-4 + c) composite?
False
Let k = 291400 - 34483. Is k composite?
True
Let b be (3 - 2) + (-28696)/(-4). Suppose 2*y - 5309 = 4*d - 1699, 0 = -4*y - d + b. Suppose -5*c + y = -0*c. Is c composite?
False
Suppose 0 = -5*t + 4*o + 6 - 32, 0 = -t + 4*o - 2. Let g be t/(3/(-2)*2). Is (6 + 2912)*g/4 prime?
True
Let n(a) = 45*a**3 - 54*a**2 + 603*a - 17. Is n(10) a composite number?
False
Suppose 0 = 4*h, 10*d - 5*h - 99835 = 5*d. Let l = d + -13200. Is l a composite number?
True
Let b(j) = 640*j**2 + 186*j - 2595. Is b(14) a prime number?
False
Suppose -194*t = -195*t + 11755. Let n = t - 4482. Is n composite?
True
Suppose -2997 = -5*v - 287. Let w = -199 + v. Let i = w - 92. Is i composite?
False
Let y = -383 - -411. Is (-98)/y + 57129/6 a composite number?
True
Suppose 2*r - 4*r - 100324 = 0. Is r/112*-8 - (-6)/1 prime?
False
Let o be -10*(-1)/(-6)*12. Let d be 42/10 + (-16)/o. Suppose d*t = -9 + 29, 227 = w + t. Is w a prime number?
True
Suppose -36859 = -6*y + 5*y + q, -q = -1. Let r = y - 9589. Is r prime?
True
Suppose -5*w - 4*w - 11*w + 5553380 = 0. Is w a composite number?
True
Let p(i) = 267*i**2 + 32*i 