0, 4*x - b*f + 8*f = 2504. Is x a prime number?
True
Let o(i) = -167*i + 121*i - 22 - 146*i. Let g be o(-7). Let y = g - 687. Is y a prime number?
False
Suppose -5*b + 166324 = u - 148166, -5 = -u. Is b a composite number?
False
Suppose -62*m + 72*m - 222099 = -65309. Is m a composite number?
False
Let j(s) = 18*s**3 + 7 + 4 + 7 + 3 + 31*s - 10*s**2. Let y(o) = 9*o**3 - 5*o**2 + 16*o + 11. Let d(x) = -4*j(x) + 7*y(x). Is d(-5) a prime number?
True
Suppose -398*m + 397*m + 1767922 = 2*u, 0 = u + 2*m - 883955. Is u prime?
True
Let k(b) = -4317*b + 412. Is k(-9) prime?
False
Let v = 157 + -101. Is (-25518)/(-14) + (160/v)/10 composite?
False
Let c be (-72)/(-16)*(-2)/3. Is 4111/((-2 - (c - -4)) + 4) prime?
True
Let w(i) = -3*i**3 + 8*i**2 + 14*i + 7. Let p be w(-10). Let q = p - 2216. Suppose -4*h = -4*v - 1148, 6*h - v - q = h. Is h prime?
False
Let u(n) = -6158*n + 423. Is u(-35) prime?
True
Let l(b) = -104*b + 16 - 39 - 410*b - 128*b. Is l(-6) prime?
False
Let j(t) = -363*t - 25. Let a(s) = 364*s + 27. Let l(o) = 3*a(o) + 4*j(o). Is l(-11) composite?
True
Let l(y) = 2*y**3 - 40*y + 2135. Let f be l(0). Let w be (-4099)/3 + (-2)/(-6). Let g = f + w. Is g a prime number?
True
Suppose c = 2*l + 2795, 0 = 5*c + 2*l - 4274 - 9749. Suppose -3*n - 5*i = n - 15771, i - 7887 = -2*n. Let t = n - c. Is t a prime number?
False
Let n = 48643 - -87186. Is n a prime number?
True
Suppose w = 5*i - 3352, -9*w + 8*w - 2012 = -3*i. Suppose -5*l + 0*l - 1285 = 0. Let j = l + i. Is j composite?
True
Let v = 32 + -12. Suppose v - 5 = 3*a. Suppose 3*d + a*k - 4*k = 1406, 0 = -3*d - 2*k + 1411. Is d composite?
False
Let n(y) = 1836*y**2 - y + 9. Let x(h) = -1832*h**2 + h - 8. Let f(z) = -5*n(z) - 6*x(z). Is f(-2) composite?
False
Suppose 0 = 2*h - 8*h + 84. Suppose h*j - 5*j = 3573. Is j a prime number?
True
Let j = -106 - -178. Let a(g) = -g**2 - 109*g - 613. Let d be a(-6). Is j/30 - 2 - (-2553)/d prime?
False
Let a = 245 - 242. Suppose -6841 = -4*y + a*q, -7*q = -9*q + 2. Is y composite?
True
Is -4 - (11 - 85027) - (1 + 2) a composite number?
False
Suppose 154*s - 4221752 - 6210084 - 750566 = 0. Is s composite?
False
Let w = -2117901 + 3008292. Is w composite?
True
Let k = 66 + -57. Let y(p) = 141*p**2 - 28. Is y(k) composite?
False
Let v(s) = 94*s**2 - 17*s - 1970. Is v(-37) prime?
False
Is 6/16 - 1887/(-24) a prime number?
True
Suppose 87*u = 91*u + 3364. Let k = 1060 - u. Is k prime?
True
Let a = 4373 + -3981. Suppose -4*g = -6*g + 1010. Suppose 3*o - g = a. Is o a prime number?
False
Is (-4 - -8)/(4/13894)*28/56 a prime number?
True
Suppose 4*u = y + 6*u + 14, -31 = 2*y + 5*u. Let w(c) = 164*c**2 - 4*c - 29. Is w(y) prime?
True
Let c(b) = 70*b**3 + 14*b**2 + 10*b - 4. Let n be c(5). Let m = n + -3939. Is m composite?
True
Let g = -162 - -163. Let k(m) = -m**2 + m. Let l(t) = 837*t**2 - 4*t - 2. Let h(b) = 6*k(b) + l(b). Is h(g) composite?
True
Let b(d) = -3*d**2 + 22*d - 7. Let a(x) = x**2 - 7*x + 3. Let g(j) = 7*a(j) + 2*b(j). Is g(13) a composite number?
True
Let z(f) = f**2 - 16*f + 66. Let h be z(7). Suppose 4*q - q = -h, 0 = t + 5*q - 2328. Is t a prime number?
True
Let u = 274055 + -185976. Is u prime?
True
Let c = -2788 + 346. Let q = 760 - c. Let y = q + -1799. Is y prime?
False
Suppose 2*l = 5*k - 2*l + 2663, 2132 = -4*k + 4*l. Let z = k - -1496. Is z composite?
True
Let f = 9231 + -7330. Is f prime?
True
Let q(n) = -n**3 + 24*n**2 - 18*n - 115. Let z be q(23). Suppose z = 5*r + 3*r - 3896. Is r prime?
True
Let o = -251272 - -655493. Is o prime?
True
Suppose 88*w = 84*w + 2111008. Is 18/(-171) - (-3 - w/76) prime?
True
Let v(p) = p**3 - 14*p**2 - p - 53. Let w(a) = -a**3 + 15*a**2 + 2*a + 52. Let u(s) = 5*v(s) + 6*w(s). Is u(18) a prime number?
True
Suppose -123*k - 2*n = -120*k - 2640983, k - 880311 = -4*n. Is k a prime number?
True
Let z be ((-4)/7)/((-2)/7). Let m(x) = 25*x + 1. Let r be m(z). Is r/68 - (-1585)/4 composite?
False
Suppose 4*h - 311870 = 3*y, -389835 = -5*h + 2967*y - 2962*y. Is h prime?
True
Let s = 172 - -10255. Is s prime?
True
Let h be (-1 + 0)*(-16 + 12). Suppose -2*u + 2 = 0, 3*g - 2*u = h*g - 1936. Is g composite?
True
Let g(t) = 22*t + 115 - t - 4*t. Is g(12) a prime number?
False
Let s(x) = 14*x + 2997. Let f be s(-107). Let u be (-1)/(70/68 + -1). Let r = f + u. Is r a prime number?
False
Let o(g) = -19*g**2 + g + 28. Let x(v) = 13*v**2 - v - 19. Suppose -3*b - 17 = u, -2*u = 4*b - 0*u + 20. Let f(j) = b*x(j) - 5*o(j). Is f(-12) composite?
True
Let l(z) = -1115*z**3 - 3*z**2 - 2*z + 2. Let b be l(3). Let d = -17621 - b. Is d composite?
True
Suppose 17*b - 89226 + 24524 = 0. Is b + (-18)/(-12)*-2 prime?
True
Let w = 69061 + -22488. Is w a composite number?
False
Let p(b) = -2176*b + 29. Let y(x) = 2*x**2 + 9*x - 5. Let n be y(0). Is p(n) a composite number?
False
Let s be (-12856)/(-20)*5 + 2. Let t = s - 1567. Is t composite?
True
Let c = 68 - 67. Let u(y) = 5*y**3 + y**2 - 4*y + 2. Let p be u(c). Suppose 1523 = j + j - 5*t, 3*j - p*t - 2267 = 0. Is j a composite number?
True
Let c(d) = -d**3 - 29*d**2 - 25*d + 95. Let q be c(-28). Suppose 2458 = 12*g - q*g. Is g prime?
False
Suppose 0 = -73*t + 79*t - 740262. Suppose -3*g + t = -64594. Is g a prime number?
False
Suppose 3*a + 4*p = 717317, -2*a - 3*p + 567944 - 89731 = 0. Is a a composite number?
True
Let b be (16108*22/(-4))/((-16)/8). Suppose 3*m = -2*m - s + b, -s = -5*m + 44293. Is m prime?
False
Let k(a) = 10 + 147*a - 287*a + 4 + 141*a. Let q be k(-5). Let t(v) = v**3 - 8*v**2 + 8*v - 22. Is t(q) a composite number?
False
Suppose 0*g + 4*g = -4*u - 1620, 1255 = -3*g + 5*u. Let f = g + 668. Suppose -3*d + 123 + f = 0. Is d a composite number?
False
Suppose 0 = -49*i + 37*i + 84. Suppose -3*h = 0, 8*h - i*h + 8229 = 3*f. Is f prime?
False
Suppose -10222349 = -20*w + 35077131. Is w a composite number?
True
Let o(g) = 2471*g**2 + 701*g + 9205. Is o(-13) a composite number?
False
Let k = -98 - -125. Is k/36*146132/21 a composite number?
True
Suppose 3*r + 2*s = -r - 58, -33 = 4*r - 3*s. Let n = -261 - -643. Let k = n - r. Is k composite?
True
Let b be (-1800)/945 - (-2)/(-21). Is (b - -1) + (885 - -6 - 11) a composite number?
True
Let t = -218 + 233. Suppose -49998 = -t*m - 11*m. Is m composite?
True
Let i = 17 + 22. Suppose 0 = i*u - 53*u + 136108. Is u a composite number?
True
Suppose -13784368 = 33*h - 137*h. Is h a prime number?
False
Suppose -2*i + 115 = 3*u, -i + 90 = 2*u + 3*i. Let c = u + -19. Is 4/c*2*(1093 - -1) a prime number?
True
Let x(y) be the third derivative of -13*y**4/12 + 4*y**3/3 - 8*y**2. Let n be x(2). Let o = 81 + n. Is o a composite number?
False
Let r be (4 + 14/(-3))*63. Is (-21)/r + 5/(-2) + 93 prime?
False
Let n(x) = x + 16. Let y be n(-17). Let g(m) = -6*m - 2. Let i be g(y). Suppose 4*p + u - 8817 = 0, -3*p = p + i*u - 8832. Is p prime?
True
Let h = -96076 + 203787. Suppose -3*j + h = 16*j. Is j a prime number?
True
Let a(w) = w**2 + 4*w - 25. Let x be a(-11). Suppose 58*j - 11658 = x*j. Is j composite?
True
Let c(o) = -22*o**3 - 18*o**2 + 5*o - 6. Let t be c(5). Let l = 4818 + t. Is l a prime number?
True
Let z = 33 - 36. Let x be (3860/(-8) + z)*-2. Suppose -3*i = 2*i + 4*f - x, 386 = 2*i + f. Is i a composite number?
False
Suppose -5*s + 5*c + 5565 = 0, -2*s - 5*c - 2217 = -4*s. Let q(x) = x**2 - x + 611. Let w be q(0). Let n = s - w. Is n prime?
False
Is (-2)/(-12) - ((-104771681)/42)/19 a prime number?
True
Suppose 0 = -5*m - 10, -21*q + 2*m - 20 = -25*q. Is 16*14735/q - 6/18 a composite number?
False
Let g(i) = 2*i**3 - i**2 + 254083. Is g(0) a composite number?
False
Let j = -39 + 76. Suppose -j*v + 40*v = 4587. Let s = v + -760. Is s a prime number?
True
Let m(b) = -26759*b + 45. Is m(-2) prime?
False
Let w = 287 + -347. Is (205880/w)/(-2 + (-4)/(-3)) a prime number?
True
Let z = 138 + -136. Suppose 143 = 5*g + y - 231, -2*y = z. Suppose g*t = 70*t + 4265. Is t prime?
True
Let y(m) be the third derivative of -3*m**4/8 + 809*m**3/6 + 5*m**2. Let u be (30/56 + 22/(-77))*0. Is y(u) composite?
False
Let h be 28534/14 + (-9)/63. Suppose -4*t + h = -4294. Is t a composite number?
False
Suppose c - 2*a = -6, -2*a + a = -2*c. Is 183/(-9)*-3 - c prime?
True
Let u = -30 + 32. Let r be 175 - (3 + -1 + u). Suppose 3*a - r = -2*q + 236, -q +