e c*w - 1497 = 81. Is w prime?
True
Let k(s) = -49*s + 14. Let n(f) = -24*f + 7. Let b(a) = 3*k(a) - 5*n(a). Suppose 0 = -5*m - 30 + 5. Is b(m) a prime number?
False
Let u(d) = 2*d**2 - 11*d + 4. Let p be u(8). Let c be 39303/p - 3/(-4). Is c/4 - (-2)/(-4) a prime number?
True
Let q = -14989 + 31040. Is q a prime number?
False
Let y(j) = 60*j + 2. Let l be y(8). Suppose -14*b = 155 - 1597. Let q = l - b. Is q prime?
True
Let b = 1939 - -1014. Is b composite?
False
Let q = -9775 - -15486. Is q a prime number?
True
Let w = -13 + 16. Suppose -2*k + 4*a = 2*a + 10, -11 = w*k - 2*a. Is (117 - -19) + 3*k prime?
False
Let c = 19 + -16. Suppose -379 = -c*u - 1084. Let q = 644 + u. Is q a prime number?
True
Is 89/(-267)*(1 + -5080) prime?
True
Let o(m) = 7*m. Let r be o(-1). Let u(c) = -294*c - 37. Is u(r) composite?
True
Suppose -2*x + 5 + 3 = 0. Suppose x*f - 388 = 3*a, -3*f = a - 154 - 124. Suppose -g + 3 = -f. Is g prime?
True
Suppose -3*l - 126812 = -5*c - 38274, l - 88534 = -5*c. Is c a prime number?
True
Suppose 4*c - v = -2463, 0 = 4*v - 0 + 4. Let z = 887 + c. Is z a prime number?
True
Suppose 0 = -6*q - 84 - 18. Let o = q - 70. Is 26/(-4)*(o + 5) a composite number?
True
Let l = 301395 + -212596. Is l composite?
False
Let n = -7492 + 27969. Is n a composite number?
False
Is (-14 + 18)/1 + 0 + 3591 composite?
True
Let q(w) = 13*w - 8. Let h(u) = -14*u + 9. Let i be 4/(-5)*(-5)/(-2). Let t(b) = i*h(b) - 3*q(b). Is t(-11) a prime number?
True
Let u = -813 - -1486. Suppose -s = -a - 2*s + 162, 4*a - u = s. Is a a composite number?
False
Let k = 198 - -1855. Is k a composite number?
False
Let o = -495 + 1034. Let y = -251 + o. Let m = y + -143. Is m a composite number?
True
Let b(h) = -h**2 + 8*h + 11. Suppose 0*a + a - 26 = -3*s, 0 = -2*s + 4*a + 8. Let c be b(s). Suppose -l = -105 + c. Is l composite?
True
Let n(s) = -s**2 + 320. Suppose 6*c - 4*c = 0. Let m be n(c). Suppose 5*x - 785 = -5*h, h = 3*x - x - m. Is x a prime number?
False
Is 373 + (10/(-2) - -11) a prime number?
True
Let c = 2646 + -1585. Is c composite?
False
Let f = -928 - -2429. Is f a prime number?
False
Let x(t) = -t**3 - t**2 + 97. Suppose 2*y = 6*y. Is x(y) a prime number?
True
Suppose -11*y + 6*y + 221751 = i, 2*y - 88714 = 3*i. Is y a composite number?
False
Let d = -3043 + 4508. Is d a prime number?
False
Let b(a) be the first derivative of -a**3/3 - 21*a**2/2 + 28*a - 2. Let j be b(-12). Let w = 225 - j. Is w a prime number?
True
Let j be (-2)/7 - (-6638)/7. Suppose -2*u = 3*z - 15, -5*z + 21 = 2*u - 0*z. Suppose -r + j = u*r. Is r a prime number?
False
Suppose -2*o - 3600 = -2*l, 5*l + 2966 - 11982 = o. Let k = l - 1263. Is k composite?
False
Suppose 2*c = 7*c - 20. Suppose x + 15094 = 3*v, -9*v - 3*x = -c*v - 25180. Is v a composite number?
True
Suppose -5*n = 37 + 233. Let w = 79 + n. Is w composite?
True
Is (-2283930)/(-90) - (-1)/1 composite?
True
Suppose 17*a = 11*a + 246. Let i = a + 1116. Is i a prime number?
False
Is (-2*1056)/(-1) + 10/2 prime?
False
Let t(c) = 4*c**2 + 4*c + 9. Let f be t(-4). Suppose 0*v - v = -f. Is v composite?
True
Let w(x) be the first derivative of 3*x**4/4 + x**3 + 7*x**2/2 + 2*x + 19. Is w(5) composite?
False
Let s = 933 - -3770. Is s prime?
True
Let d(g) = g**3 - 11*g**2 + g - 7. Let o be d(11). Suppose v = 5*b + 145, -4*v = -o*b - b - 580. Is v a composite number?
True
Suppose 6*p - p = 4*n - 446, 4*p - 8 = 0. Let s = 89 + n. Is s composite?
True
Suppose -17*s + 11*s - 114 = 0. Suppose -5*f + 41 + 129 = 0. Let k = f - s. Is k prime?
True
Let c(i) be the third derivative of 3*i**5/20 + i**4/12 + 5*i**3/6 - 8*i**2. Is c(4) a composite number?
False
Let f(q) = 0*q**2 - q**2 - 2*q - 4*q + 0*q**2. Let s be f(-4). Is 48/64 + 706/s composite?
False
Let o(l) = 560*l - 44. Let t be (3/9)/((-1)/(-9)). Let w(m) = 112*m - 9. Let d(x) = t*o(x) - 14*w(x). Is d(5) composite?
True
Suppose 3*m + 4*u - 3703 = 15376, -5 = -u. Is m composite?
False
Let c be (-15 + -3)*(-80)/(-6). Let v = c + 911. Is v a composite number?
True
Suppose 91*x - 87*x + 1552 = 0. Let h(z) = -14*z**2 - 2*z + 3. Let m be h(3). Let w = m - x. Is w prime?
False
Suppose -4*m + 4*l - 50 = -6*m, m - 2*l - 45 = 0. Is m composite?
True
Let g(m) = -125*m - 28. Is g(-11) composite?
True
Suppose 488*f - 482*f - 45642 = 0. Is f a prime number?
True
Let p = -10355 - -14746. Is p a composite number?
False
Suppose -239244 = -920*o + 908*o. Is o prime?
True
Suppose -t = -l + t + 335, 4*l + 2*t - 1380 = 0. Let j(g) = 104*g + 4. Let d be j(-2). Let z = l + d. Is z a prime number?
True
Suppose -5*h + 15 = -2*h. Suppose h*i + 6 = 81. Let k = -8 + i. Is k prime?
True
Let f = 384 + -78. Suppose 0 = -c + 5*z + f, -z - 1242 = -4*c + z. Suppose -5*h = -c - 84. Is h composite?
False
Let g = 19 - -148. Suppose -6*m + 495 = -3*m - 3*r, -m = -2*r - g. Is m a prime number?
True
Suppose -t + 4*t + 3*v = 45, 35 = 3*t - 2*v. Suppose 0*y = t*y - 5447. Is y a prime number?
True
Let f = -37 + 42. Suppose -5*s + 14260 = f*g, 5*g - 2*s - 14290 = -s. Is g a prime number?
True
Let n be (-2)/(-7 + 4 - -2). Let f(i) = n + i**3 + 5 + 15*i + 2*i**3 - 4*i**3 + 14*i**2. Is f(11) a composite number?
True
Let p(f) = -f - 2. Let h be p(-2). Suppose -4*g + 11 + 5 = h. Is g a composite number?
True
Let y be (-33909)/(-51) - (-2)/17. Let z = y - 264. Is z a composite number?
False
Suppose -28870 = -2*h - 4*i, 5*i = -30*h + 29*h + 14441. Is h composite?
False
Suppose 0 = 5*q - 3*b - 2031, -q - b - 4*b + 395 = 0. Suppose 1670 = 5*g + q. Is g composite?
True
Let z be -4 + -1 - -4 - -11. Suppose -5*f = -0*f - z. Is (f - -2)*2051/28 a prime number?
True
Let u(k) = 842*k - 357. Is u(8) a composite number?
False
Let h = 99 + -94. Is h - 2 - (-2060 - -4) composite?
True
Let t(c) = 3*c - 7. Let d(x) = 7*x - 14. Let s(m) = 4*d(m) - 7*t(m). Let q be s(3). Is 4096/q + (-9)/(-21) a composite number?
False
Let o = 384 + 230. Suppose o = 17*b - 16*b. Is b a composite number?
True
Let a(s) = 7*s**2 - 27*s + 37. Is a(25) a prime number?
False
Is -5*(-3)/15*39569/1 composite?
False
Let l(z) = -19361*z - 55. Is l(-2) composite?
True
Suppose 4*k - 4*q - 20 = 2*k, 0 = -2*k - 4*q - 20. Suppose -4*p + 6*p - 34 = k. Is p*(3 + -1) - 3 a prime number?
True
Suppose -5*m + c - 2*c = -2351, -m - 3*c + 459 = 0. Is m a prime number?
False
Let s(r) = -r + 15. Let j be s(10). Suppose -j*z + 4*z - 5*i = -901, 0 = -4*z - 2*i + 3640. Is z prime?
True
Let x(s) = 30*s - 4. Let u be x(7). Let n = 537 - u. Is n a composite number?
False
Let o = -18 - -21. Suppose -6028 - 2363 = -o*w. Is w composite?
False
Let l(a) = a**3 - 9*a**2 + 15*a - 7. Let m be l(7). Suppose m = 4*v - 2456 + 964. Is v composite?
False
Suppose 12 = -0*d + 3*d. Suppose u + r - d = -0, -4 = -u + 3*r. Suppose u*i - 276 = 4*j - 3*j, i - 4*j - 69 = 0. Is i composite?
True
Let g = 10 - 13. Let c be -6*(-86 + g) + 3. Is c/9*9/3 prime?
True
Let z(k) = 181*k**2 - 3*k + 3. Let x be (0 + (-6)/3)*7. Let q = 16 + x. Is z(q) composite?
True
Let f = 5878 + -3411. Is f prime?
True
Suppose 2*s + 12 = 5*s, 4*k + 5*s - 93696 = 0. Is k a composite number?
True
Let s(x) = -19*x**2 - 5*x + 1. Let p(v) = -v**2 + v. Let k(c) = 2*p(c) - s(c). Let w(m) = -2*m - 1. Let i be w(1). Is k(i) a composite number?
False
Let t(v) = 420*v + 293. Is t(14) a composite number?
False
Let n(u) be the first derivative of -26*u**2 + u + 9. Is n(-1) a prime number?
True
Suppose 0*a - 3*a = -15, 2*w - 4545 = 5*a. Let m = w + -914. Is m prime?
False
Suppose 28*q - 136904 = 244484. Is q prime?
False
Let o(x) = 3 - 47*x + x**2 - 2*x**2 + 41*x. Let r be o(-6). Suppose 0 = -5*m + r*m + 174. Is m prime?
False
Let k(h) = 23*h**2 - 13*h - 197. Is k(-29) a prime number?
False
Suppose -n - 3126 - 1074 = -4*s, -5*n - 2118 = -2*s. Is s a prime number?
True
Let i(c) = 791*c**3 + 4*c - 5. Is i(2) composite?
True
Let g(r) = -1517*r**3 + 4*r**2 - 3*r + 3. Let s(o) = -o**2. Let c(d) = -g(d) - 4*s(d). Is c(1) composite?
True
Let z = -34260 - -58183. Is z composite?
True
Is (8 - (12 - 7)) + 5152 composite?
True
Is (-4)/((-112)/371068) + 60/105 a prime number?
False
Let p(w) = w**3 - 23*w**2 + 46*w + 11. Is p(23) composite?
False
Let z = 105 - 96. Is z a prime number?
False
Let h(r) = -r**3 + 12*r**2 + 2*r - 17. Let m be h(12). Let p(c) = m*c + 11*c**2 +