-5*l + x = -f + 61. Let o = 24 + l. Is o composite?
False
Let v(l) = -l**2 + 8*l - 12. Let q be v(4). Suppose 2*s + 550 = q*k, -405 = -6*k + 3*k + 4*s. Is k a composite number?
False
Suppose 2*v + 45 = -65. Suppose -6*w - 1121 = -173. Let k = v - w. Is k prime?
True
Let u(y) = -y**2 + 5*y + 7. Let d be u(6). Suppose 5*w + n - 45 = -4*n, -4*w - 2*n + 26 = 0. Is d*2084/w - 2 prime?
False
Let a be 1 - (-6 - -2 - 13). Suppose -a - 1293 = -3*m. Is m a composite number?
True
Let l(s) = -1689*s + 220. Is l(-11) a prime number?
False
Let i(y) be the first derivative of 13*y**3/3 + y**2 + 5*y + 11. Let a be i(-3). Let r = a + 95. Is r a prime number?
True
Suppose 8693 = 3*j - m, 2 = -2*m + m. Is j a composite number?
False
Let q = 82955 + -44064. Is q prime?
True
Let m = 3362 - -3317. Is m prime?
True
Let y(m) = -m**3 - m**2 + 5*m + 2. Let u be y(-3). Suppose 0*a - u*a = -1305. Suppose -5*x = -2*x - a. Is x a composite number?
True
Is (-9375)/(-18) + (-6)/(-36) a composite number?
False
Let h(x) = 14 - 72*x + 19 - 4 - 10. Let g = -5 + -1. Is h(g) a composite number?
True
Suppose -7*r = -202063 + 52424. Is r a composite number?
False
Let d = -10364 - -17451. Is d a composite number?
True
Let u(h) = 26*h - 11. Let d = 49 - 40. Is u(d) composite?
False
Suppose -8*d = -27 + 11. Suppose d*w + 3*f - 2707 = 0, -5*f - 2421 - 1687 = -3*w. Is w prime?
True
Let v = -109 + 112. Suppose v*t = 8*t - 185. Is t a composite number?
False
Suppose 0 = -245*r + 243*r + 8. Suppose 2*d - 4*t = -0*t + 374, 2*d + r*t = 342. Is d prime?
True
Suppose 0 = -3*m + 4*y - 47 - 13, -4*m + 4*y = 76. Let l be (-1791)/(-4) + 12/m. Suppose -c + l = 2*c. Is c prime?
True
Let j = -355 + 543. Suppose 3*f - j = 184. Suppose q - f = 79. Is q composite?
True
Let x = 14 - 9. Suppose 0 = 2*q + 3*q - x*b - 505, 3*q + b = 323. Is q composite?
True
Let b(q) = 12*q - 5. Let r be b(5). Suppose 44*y - 49*y = -r. Is y a composite number?
False
Let x(g) = -2*g**2 + 11*g - 5. Let z be x(20). Let w = z - -1538. Is w composite?
False
Let d = -10717 - -18726. Is d a composite number?
False
Suppose -55*x + 1824276 = -352679. Is x prime?
True
Suppose -44*c + 74*c = 1951590. Is c composite?
False
Let k be ((2649/4)/(-3))/((-3)/12). Suppose -3*b - 2*h + k = 0, -9*b + h + 584 = -7*b. Is b a prime number?
True
Let p(l) = -7*l**3 + 9*l**2 - 18*l - 15. Is p(-11) composite?
False
Suppose 145*i - 5033483 = 54*i. Is i a prime number?
True
Let k(b) = -263*b - 15. Let t(f) = -132*f - 7. Let l(i) = -2*k(i) + 5*t(i). Is l(-3) composite?
False
Let f(w) = -w - 2. Let j be f(8). Let c = j - -13. Suppose 3*b - 4*h = 505, b = c*h - h + 171. Is b a prime number?
True
Let z(f) = -24*f - 6. Let u be z(-4). Let g = 169 + u. Is g composite?
True
Let h = 13813 + -8012. Is h a composite number?
False
Suppose g - 38*g = -179561. Is g composite?
True
Suppose 5*f - 68331 = q, 8*f - 11*f = -4*q - 40985. Is f a composite number?
True
Suppose -10*t + 301182 + 5128 = 0. Is t prime?
True
Suppose -2*y - 2*b - 25 = -b, 4*y - 2*b = -38. Let r(c) = -c**2 - 13*c - 12. Let q be r(y). Suppose a = -3*a - 2*n + 2040, 0 = 5*n - q. Is a composite?
False
Let b = 3132 + -850. Let v = -1243 + b. Is v a prime number?
True
Suppose -2*p - 1 = -3*p. Let f(g) = 7*g**2 - 8*g - 11. Let u be f(-5). Is -2*p*u/(-8) composite?
True
Suppose -5*i = -2*b - 30, -2*i - 4*b - 30 = -7*i. Suppose i*x = x. Is 1*676 + x - -3 composite?
True
Let u = -18108 + 30839. Is u a composite number?
True
Suppose 0 = 14*z + 408439 - 1297761. Is z a composite number?
True
Let f(r) = 3311*r**2 + 11*r + 3. Is f(4) a prime number?
False
Suppose 4*h = -2*n - 38, -n = 5*h - 6*n + 40. Let q = 11 + h. Suppose q*v + 2*v - 152 = 0. Is v prime?
False
Let b(n) = 52*n + 27. Let s be b(-13). Let k = s - -365. Let d = -90 - k. Is d a prime number?
False
Let b(z) = -7*z + 41*z**3 - 1 + 8*z + 0. Let w be b(1). Suppose w + 48 = a. Is a prime?
True
Let i(r) = r**3 - 15*r**2 + 13*r + 14. Let a be i(14). Suppose -3*u + 52 + 47 = a. Is u prime?
False
Let r be 4 + 1*3*(11 - 14). Is (-3)/(-3*r/(-28185)) a prime number?
False
Let b(q) = 3*q**3 - 11*q**2 - 5*q + 7. Is b(8) prime?
False
Suppose 5*t = 2*z + 237, -2*t - 3*z + 110 = -0*z. Suppose -5*h + b = -t, 3*b - 14 = -2*h + 9. Let j(y) = y**3 - 6*y**2 - 7*y + 7. Is j(h) prime?
True
Let k(s) = 8*s**2 - 2*s + 4. Let u(c) = 16*c**2 - 3*c + 7. Let g(o) = -5*k(o) + 3*u(o). Let b be g(3). Suppose b = 5*y - 259. Is y a prime number?
True
Is 1288 - 5/(50/(-30)) a prime number?
True
Suppose 71*d + 58*d = 403899. Is d prime?
False
Suppose 74 = -10*f + 5994. Suppose y + f = 5*z, 7*z + 5*y - 462 = 3*z. Is z composite?
True
Is 0/(-11) - -51*559 - -4 a prime number?
True
Let g be 1/(-6) - (-50)/12. Suppose 5*o - 603 = 4*h, h - 473 = -g*o + 1. Is o a composite number?
True
Suppose x = 2*o + 1401, -5*x - 9*o + 14*o = -6985. Is x a prime number?
False
Let o(h) = h - 1. Let p(n) = -99*n. Let l(g) = 3*o(g) - p(g). Let k = 8 - 6. Is l(k) composite?
True
Let o = 11 + 8. Suppose 7*m - 537 = -o. Is m prime?
False
Suppose 0 = -28*t + 50*t - 179234. Is t composite?
False
Let s(z) = 4*z + 136. Let b be s(-32). Suppose 0 = 5*j - 4*j - 3*q - 19, 0 = 2*j - 2*q - 18. Suppose 2*f + 151 = v + 28, 0 = -j*f - b. Is v a prime number?
False
Suppose -m - 2*w + 8 = 0, 17 = m + 4*w + 3. Suppose -p = m*c + 4*p - 1572, 4*c + 5*p - 3134 = 0. Is c a prime number?
False
Let n(v) = -v**2 - 12*v + 16. Let k be n(-12). Let q = -13 + k. Let r = 124 + q. Is r composite?
False
Let u(n) = -66*n + 277. Is u(-9) composite?
True
Let x = -85 + 77. Let w(y) = -y**3 - y**2 - 8*y + 5. Let p(l) = 2*l**3 + 3*l**2 + 16*l - 9. Let s(c) = -6*p(c) - 11*w(c). Is s(x) prime?
True
Suppose -2*d + 159 + 111 = 0. Suppose 116*z - 120*z + 2624 = 0. Let h = z - d. Is h a composite number?
False
Suppose -3*k - 3 = -4*k + j, -2*k + 3*j + 4 = 0. Suppose y = k*y - 120. Suppose -y = -2*o + 20. Is o prime?
False
Let n = 1496 - 939. Is n composite?
False
Suppose -107*k = -112*k + 208795. Is k a prime number?
True
Suppose -5*z = -12 + 2. Suppose -2*n - 5*x + 15 = 0, 4*n = -n - z*x + 27. Suppose -f + 5*f = 2*w - 210, f - 481 = -n*w. Is w composite?
False
Let u = 8204 + -4597. Is u composite?
False
Let a(r) = -4*r + 2. Let s be a(-4). Let q be (11/33)/(154/(-78) + 2). Let j = q + s. Is j a composite number?
False
Suppose -d - 3*x = x + 613, -5*d = 5*x + 3035. Let o = 140 - d. Is o a prime number?
False
Suppose k + 0*k = 12. Let c be (-4902)/(-42) + 6/21. Suppose -k*v = -15*v + c. Is v a composite number?
True
Let z(n) = -4*n - 4*n - 8*n**2 + 1 - 4 - 3*n**3. Let v(y) = -y**3 - y**2 - y - 1. Let t(l) = 2*v(l) - z(l). Is t(-4) a composite number?
True
Let k(q) = 12*q**2 - 20*q + 131. Is k(14) a prime number?
True
Let k = 354 + -39. Suppose -5*t = -k - 240. Is t a composite number?
True
Let g = -330 + -771. Let k = 2287 + g. Is k a prime number?
False
Let g(y) = -y**3 + 11*y**2 - 10*y + 6. Let n be g(10). Suppose 633 = -3*h + n*h. Is h a composite number?
False
Suppose 4*w - 2*i - 19170 = 0, -2*i + 0*i + 14360 = 3*w. Is ((-7)/2 + 3)/((-5)/w) composite?
False
Suppose -3*r = 24*d - 23*d - 3215, -5*r + 6426 = 2*d. Is d composite?
False
Let n = -6581 + 9532. Is n a prime number?
False
Let o = -19 - -1. Let s(y) = y**3 + 18*y**2 + y + 20. Let n be s(o). Is n*(5866/4 + 3) prime?
True
Let u(s) = 15*s**2 - 17*s + 11 - 4*s**2 - 10. Is u(-7) a composite number?
False
Let v = 6 + -3. Suppose -4*t - 2*y = -1520, -t + v*t - 766 = -4*y. Is t composite?
False
Let o = -1408 + 2256. Suppose -d = -3*g + 635, -5*g + o = -g - 2*d. Is g composite?
False
Suppose 0*r - 4 = -r. Let u(m) = m**2 - 4*m - 17. Let h be u(7). Suppose -k + 3*c = -256, -h*k = -9*k - r*c + 1261. Is k composite?
True
Suppose 16*t - 101343 = -17*t. Is t prime?
False
Is (-286916)/(-44) - (4 + (-460)/110) prime?
True
Suppose 5*t - 11 = 3*d, -9 = -d + 3*d - 5*t. Let m be 26*(d + 102/4). Let o = -292 + m. Is o composite?
True
Let k(f) = 4*f**2 - 15*f + 21. Let u be k(14). Let a = 1148 - u. Is a composite?
True
Let r be ((-7)/28)/((-1)/12). Let h(g) = 2*g + r*g + 3*g + 15*g - 2. Is h(5) a prime number?
True
Suppose q + 15 = 6*q, -a = -2*q - 9. Suppose -j - 11 = -5*z, 5*z + a - 42 = -3*j. Suppose 5269 - 497 = j*n. Is n a prime number?
True
Let r(g) = -32*g + 2. Let w be r(-8). Let t = w + 205. Is t 