s t composite?
False
Let x(n) = 4*n**2 + 3*n - 17. Let h(v) = v**3 + 15*v**2 + 12*v - 15. Let f be h(-14). Suppose -35 = 3*r + f. Is x(r) prime?
False
Let p = -49705 + 76286. Suppose 6483 + p = 4*m. Is m prime?
False
Suppose 5*r + 5*s + 0*s = 35, r - 27 = 4*s. Let h(p) = 12 - 23*p - 97*p - r*p. Is h(-5) composite?
True
Let r be (-131)/(-2) - ((-2)/(-4) - 1). Let f be 23494/(-11) - 12/r. Let w = 3257 + f. Is w composite?
True
Let i(r) = -1949*r - 293. Is i(-20) a composite number?
True
Let v(p) = 5*p + 78. Let k be v(-15). Suppose -k*s = -13*s + 3710. Is s prime?
False
Let b(v) be the second derivative of v**3/6 + 23*v**2/2 - 8*v. Let t be b(-9). Let z(j) = j**2 + 17*j - 15. Is z(t) composite?
False
Let i(k) = 171144*k**2 + 160*k - 162. Is i(1) composite?
True
Let i = -199 + 866. Let z = i - 522. Is z prime?
False
Let t(k) = k**3 + 37*k**2 + 2*k + 597. Is t(-25) composite?
True
Let n(k) be the third derivative of -k**5/10 + 11*k**4/6 - 2*k**3 + 8*k**2. Let g be n(12). Let i = g + 2865. Is i composite?
True
Let p = -59 - -69. Let d be 52990/6*((p - 1) + -6). Suppose 28*w = 23*w + d. Is w composite?
True
Let g = 169 + -165. Suppose 22*l = -a + 17*l + 226, g*a + 5*l = 859. Is a a composite number?
False
Let c(g) = -249*g - 228. Let s be c(15). Let u = 3098 - s. Is u composite?
True
Suppose 0 = -35*x + 16854095 + 13475820. Is x composite?
True
Suppose -3*x + 7*x - 12 = 0. Suppose 6*c = x*c + 5097. Is c/3 - (-9)/(-27) composite?
True
Let h(c) = 16*c + 162. Let f be h(-10). Suppose -3*r - 16*x + 5547 = -14*x, -4*x - 3682 = -f*r. Is r prime?
True
Let z(o) = 904*o - 102. Let n be z(27). Let b = n + -7739. Is b a composite number?
False
Let y(d) = -11*d + 191. Let k be y(10). Suppose -4683 = 60*l - k*l. Is l prime?
True
Let w be -2 - (-3 - (-1 + 1) - 0). Suppose w + 5 = 2*p. Is (p*1/3)/(3/573) composite?
False
Let x = 65 + -5. Suppose 15*r - x = 3*r. Suppose 5100 + 1705 = r*b. Is b a composite number?
False
Let l(g) = 333*g**2 - 20*g - 368. Is l(-29) a composite number?
True
Let u be ((-33)/6)/(8/(-16)). Suppose -u*x + 63754 = -41505. Is x prime?
False
Suppose -4*o - 2*o + 18 = 0. Let d be o - 2/2 - 760. Let c = d - -1267. Is c a prime number?
True
Let u = 293630 + -9552. Is u a prime number?
False
Let p = 95 + -84. Suppose -9*f = -p*f + 2402. Is f composite?
False
Let t = 50172 + -33301. Is t a prime number?
True
Suppose -h + 131 = 136. Let v(u) = -711*u - 4. Is v(h) a composite number?
True
Let m = 12246 + -7897. Is m a prime number?
True
Let x(k) = k**3 + 34*k**2 + 38*k + 42. Suppose 4*i - 104 = 4*p, 4*i = 3*p - i + 80. Is x(p) a composite number?
True
Let p = -2 - -5. Suppose -14*t - 4807 = -p*t. Let b = t - -856. Is b a prime number?
True
Let s = 28718 + 6371. Is s a prime number?
True
Suppose 57*o - 770 = 50*o. Suppose -o*i + 6388 = -106*i. Is i a composite number?
False
Let k = 877 - 873. Suppose -704 - 1371 = -5*c. Suppose 0 = -k*f + 1483 - c. Is f a composite number?
True
Let r(x) = x**2 + 22*x + 126. Let d be r(-14). Suppose d*l - 5504 = 40010. Is l a composite number?
False
Let j(u) = -3*u - 16. Let g be -2*(8/(-12) + (-25)/(-6)). Let p be j(g). Suppose 0 = 4*h + p*a - 6543, 8*a = -5*h + 10*a + 8220. Is h a composite number?
True
Let d(j) = -4*j**2 + 4*j - 1. Let h be d(1). Let y be ((-161)/(-35) + -5)/(h/5). Suppose 3*k = 2*t + t - 369, 0 = -4*t + y*k + 500. Is t composite?
False
Is ((-16)/(-6) + (-48)/16)/(3/(-2072241)) a prime number?
False
Let o(s) = 37 + 310*s + 35 - 73. Is o(26) prime?
True
Let c be 36/(-7) + 8/56 + -4643. Let m = -3105 - c. Is m a composite number?
False
Let p(v) = 92 + 192*v - 46 - 27. Let k be p(8). Suppose -k = -5*j - 4*w, -3*j + 2*w + 1218 = j. Is j a composite number?
False
Suppose -g = -466*l + 468*l - 267696, -2*g = -2*l + 267714. Is l composite?
True
Let j = 29 + -27. Suppose 15 = j*l + 9. Is (-3 - -414) + (-6)/l composite?
False
Let l = -71 - -675. Let t = l - -373. Is t a composite number?
False
Let t(u) be the third derivative of 303*u**5/20 + 3*u**4/8 - 5*u**3/6 - u**2 - 4*u. Is t(2) prime?
False
Let s = -461 - -979. Let m = 1646 + s. Let l = -1277 + m. Is l prime?
True
Let r be (-8 - 67)/(-5) - -2. Suppose -2*f = -8, r*w - 3*f = 18*w - 7913. Is w a prime number?
True
Let l = 13760 - 19600. Let n = 8197 + l. Is n a composite number?
False
Let h(w) = -53934*w**3 + 2*w**2 - 5*w - 8. Is h(-1) a prime number?
False
Suppose -4*l - 98 = -2038. Suppose -s = -2*a - 850 - l, -3*a + 6688 = 5*s. Is s a prime number?
False
Let f = 76419 + -46016. Is f a prime number?
True
Let t = 192830 - 115243. Is t a composite number?
False
Let q(r) = -r**2 - 14*r + 20. Let g be q(-14). Suppose 0 = -2*n, 0 = 4*x - 3*n + 4*n - g. Suppose -y - 132 = -x*y. Is y composite?
True
Let j(f) = 14*f - 48. Let c be j(8). Suppose c*z = 68*z - 62996. Is z composite?
False
Suppose -67*g + 69*g = -4. Let f be (g - (-14)/4)/((-6)/(-16)). Suppose -f*j + 4835 = -16209. Is j a prime number?
True
Let j(o) = -o**3 - 5*o**2 - 5*o - 5. Let g be j(-4). Let r be (9 - 9) + g + (1 - -2). Suppose -134 - 773 = -i + 4*a, -r*a = 0. Is i prime?
True
Suppose -2*w + 5*z + 0*z + 10 = 0, -3*z - 6 = 4*w. Suppose p - 4*k + 405 = 2*p, -2*p - 3*k + 815 = w. Let r = 1976 - p. Is r prime?
True
Suppose w - 5*r - 69593 = 0, 3*w - 4*r - 12661 = 196162. Is w a prime number?
False
Is (12 + 585/(-52))/(3/237868) prime?
True
Let v be (-2226)/(-12)*-7*-2. Suppose -8*j + v = -j. Is j a prime number?
False
Let c(f) = -10*f**2 - 59*f + 14. Let q(d) = 29*d**2 + 178*d - 42. Let r(p) = -7*c(p) - 2*q(p). Is r(7) composite?
True
Suppose -3*n = 4*h - 15651, 0 = 3*h - 4*n - 5347 - 6360. Suppose -d = 3*v - 3139 - h, 3*d = v - 2336. Suppose -c = -5*c + v. Is c a prime number?
True
Let m(j) = 69*j**2 - 205*j + 135. Is m(56) composite?
True
Let z(g) = 26*g**2 - 249*g - 73. Is z(38) prime?
False
Suppose 161*n = -1728824 + 15424611. Is n composite?
True
Let s be ((-65)/(-30))/(-13) - 1119498/(-36). Let p = -16954 + s. Is p composite?
False
Suppose 97*n = -59*n + 3206580. Is n a composite number?
True
Suppose 6 = 5*z + 26. Let v(c) = 3*c**2 + 2. Let n(i) = -i**2 - 1. Let d(g) = 13*n(g) + 6*v(g). Is d(z) prime?
True
Let y = 562 - -175. Let q be -40*2*y*(-1)/2. Is 2/9 - q/(-99) a composite number?
True
Let s be ((-50)/(-6) - -1) + (-2)/6. Suppose 16*u = s*u - 119. Let t(x) = -12*x + 67. Is t(u) composite?
False
Let p(j) = 2*j**3 - 17*j**2 + 6*j - 11. Let k be p(14). Let c be (k/(-2))/(-3) - (-3)/(-6). Suppose -3*m = -c - 508. Is m composite?
False
Suppose 2175*c - 2182*c + 517937 = 0. Is c a prime number?
False
Let g(h) = h**2 + 2*h - 12. Let d be g(3). Let s be -1 + d + 2 + -4. Suppose 42*y - 46*y + 204 = s. Is y prime?
False
Let a(m) = -m**2 + 8*m + 48. Let t be a(-6). Let k(h) = 2*h**3 + 73*h**2 - 22*h - 35. Is k(t) a composite number?
False
Let h(d) = 2*d**2 + 22*d + 6. Let v be h(-11). Suppose g = 2*g - v. Is (-6)/(g + -8) - 172/(-2) composite?
False
Let p = 242 + 4619. Is p composite?
False
Suppose -3*a - 15 = 0, -g + 3*a = -1370 - 926. Is g prime?
True
Suppose -10*n = 3*i - 8*n - 899357, 5*i + 2*n - 1498931 = 0. Is i a composite number?
True
Let i(m) = -m - 9. Let d be i(-13). Suppose -d*s = 13*h - 12*h - 762, 8 = -4*h. Is s a prime number?
True
Let v = 706 - 1248. Let z = -381 - v. Is z a composite number?
True
Let n(r) = -5*r + 118. Let c be n(23). Suppose -41268 = -c*x - 5*f, -2*f = -3*x + 30830 + 10417. Is x prime?
True
Let s(v) = -16*v**3 - 11*v**2 - 7*v + 12. Let o be s(-10). Suppose 0 = q - 5*w - 1813, 5*q - 4*w - o + 5875 = 0. Is q a prime number?
True
Suppose 3*k = 2*x + 6 + 1, -5*k = -x. Is (0 - (-8)/(-10) - k)*28895 prime?
True
Suppose 2*m - 395323 - 58731 = 0. Is m prime?
True
Let o(s) be the third derivative of -109*s**6/120 + 11*s**4/24 - 2*s**3/3 - s**2. Let d be o(-5). Let i = d - 6661. Is i composite?
True
Let s = -1961196 - -2931895. Is s composite?
False
Suppose -37*h + 84*h - 27233330 = 37*h. Is h a prime number?
True
Suppose m - 4 = 0, -3*t - 2*t - m = -952829. Is t a prime number?
False
Is (-15558928)/(-730) - (-3)/(-5) prime?
True
Let x(r) = -r**3 - 4*r**2 - 6*r - 9. Let n be x(-4). Suppose -10*c = -n*c + 51065. Let s = 15570 - c. Is s prime?
False
Let h(c) = c - 244*c**3 + 44*c**3 - 253*c**3 - 121*c**3. Let t be h(-1). Suppose 0 = -0*w + w - t. Is w prime?
False
Le