a prime number?
False
Let f(a) = 5*a**2 - 12*a - 5. Let n = 12 - 22. Let c be f(n). Let j = c - -862. Is j composite?
True
Suppose s - 5*m = -8*m - 16945, 5*s + 84635 = 3*m. Is s/20*12/(-2) a prime number?
False
Let j(s) = -58*s + 47. Suppose 4*b - 12 - 1 = 5*f, -f + 9 = 5*b. Suppose 0 = -a + 1, -b*g + 3*a + 5 = -3*g. Is j(g) a prime number?
False
Let w(k) = -k**3 + 5*k**2 + 8*k - 8. Let v be w(6). Suppose v*n - 84216 = z, n - 2*n + 21071 = 4*z. Is n a prime number?
False
Let w(z) be the second derivative of z**5/20 - 17*z**4/12 - 20*z**3/3 + 19*z**2 + 28*z. Let i be w(19). Suppose -3*c + 188 + 286 = i. Is c a prime number?
False
Is (1074584721/(-582))/(21/(-6)) composite?
False
Let u(s) = -174357 + 8*s**2 - 8*s + 174349 - 5*s. Let b = 13 + -7. Is u(b) a composite number?
True
Let o(r) = -103*r**3 + 10*r**2 + 11*r - 7. Let j be o(-9). Suppose -20*a + a + j = 0. Is a a prime number?
True
Suppose -184*g + 324*g + 615208 = 184*g. Is g composite?
True
Let i(f) = 54524*f**3 - 10*f**2 + 9. Is i(1) a composite number?
True
Suppose -3*b = -m - 8929, 0 = m - 5. Suppose h = 1059 + b. Is h prime?
False
Let j(o) = -2734*o**3 - 7*o**2 + 8*o + 3. Let p(q) = q**3 - q**2 + q + 1. Let h(y) = -j(y) + 5*p(y). Let i be h(1). Suppose 275 = -5*g + i. Is g a prime number?
False
Suppose 2*t = 2*d - 7636, 2*d + 6*t - t = 7643. Suppose d = 2*y - 5815. Is y composite?
False
Suppose 3116*f + 161482 = 3118*f. Is f prime?
False
Suppose -13*t - 65*t = 142*t - 84926380. Is t prime?
False
Let k(o) = o**3 - o**2 - o - 1. Let p(m) = 32*m**3 + 9*m**2 + 13*m + 7. Let r(v) = -3*k(v) - p(v). Is r(-3) a prime number?
False
Suppose 0 = -126*f + 122*f + 222916. Suppose 3*j - 2*a - f = 0, -4*j + 4*a - 2*a = -74306. Is j a prime number?
False
Let d = 231 - 584. Let r = d + 1312. Is r composite?
True
Let q = -164 - -159. Is 3389 - ((1 - 1)/q)/2 prime?
True
Let c(s) = 5*s + 6633 - 6646 + 20*s. Is c(4) a prime number?
False
Let g = -142638 + 320869. Is g a composite number?
False
Suppose -27*d = -39*d + 72. Suppose 31*s = d*s + 44225. Is s a composite number?
True
Let z(v) = -2200*v + 8. Let a be z(-4). Let h = a - 5891. Is h a composite number?
False
Let n(z) = -z**3 + 9*z**2 - 6*z - 6. Let y be n(8). Suppose -a + y*a = 21834. Is a prime?
False
Suppose 0 = 14*j - 6*j + 1560. Is (-1615653)/j + (-2 - (-16)/10) prime?
False
Let o(w) = -5691*w - 722. Is o(-23) composite?
False
Suppose -o + 3*q + 18 = -0*q, 4*q = -3*o - 11. Suppose o*l = -5*l + 11768. Is l a composite number?
False
Suppose -4*k - 5 + 13 = 0. Let s be 2979*((-4)/(-8) + (-3)/k). Let a = s - -5032. Is a a composite number?
False
Let i be -1 + -2 + -5*(-8)/20. Let n(l) = -7*l - 3. Let s be n(i). Suppose -788 = -s*k + 8*g - 3*g, 4*k + 4*g = 824. Is k composite?
True
Is -42 + 36 + (-1*597775)/(-5) a composite number?
False
Let v be (-6)/(-8)*(1 + 25/15). Let f be 0 + -1 + (-1)/(v/6088). Is f/30*4/(-2) a composite number?
True
Let r = -1 + -2. Let n be (r + 2 + 3)/(2/(-4)). Is -502*(-5)/(14 + n) prime?
True
Let g(d) = 214*d**2 + 120*d - 687. Is g(37) a composite number?
False
Let f = 18 - -17. Let t(b) = b**2 + f + 40 - 113 + 33 + b + 267*b**3. Is t(2) a prime number?
True
Let z = -199 - -433. Suppose -z*i = -229*i - 1945. Is i a prime number?
True
Let l = 1083276 - 630679. Is l composite?
False
Let f = 115790 + -31777. Is f composite?
True
Let u(b) = -33*b - 309. Let t be u(12). Let f be (-1755)/(-36) + (-3)/4. Let j = f - t. Is j prime?
False
Let l be -3 - (-4)/2 - 1 - 3. Is l*4/5*978/(-8) a composite number?
True
Is (-4)/2 - -8 - (498111 + -23)/(-23) a prime number?
False
Let d(s) = 39*s + 33*s - 26*s + 4. Let o be d(3). Suppose 2*x - o - 112 = 0. Is x prime?
True
Let g = 448 + -946. Let d = g + 755. Is d a prime number?
True
Suppose s = 2*w + 11114, -2*w + 11094 = 5*s - 4*s. Suppose -4*p = -l + 2*l - s, -5550 = -2*p - l. Is p composite?
False
Suppose 11*g + 39999 = 3*w + 10*g, w + g = 13333. Is w a prime number?
False
Let t be (-1)/((-464)/(-156) - 3). Suppose 51 + t = 9*z. Let h(f) = 142*f - 21. Is h(z) prime?
True
Suppose -28*m + 1280903 - 398259 = -0*m. Is m a composite number?
True
Is (340/(-51))/(-4) + 226432/3 composite?
False
Suppose 0 = -o - 9*y + 4*y - 5, o - 3*y = -29. Is ((-10)/o)/((-5)/(-125710)) prime?
False
Let v = 679540 + 513811. Is v a composite number?
False
Suppose 5 - 17 = -4*w. Suppose -5*m + 4*m = -w. Suppose 3*p = m*f - 6*f + 2298, -3*f = -3*p + 2298. Is p a prime number?
False
Let i = -12796 + 28607. Is i a composite number?
True
Let w(i) = 25*i**3 + 11*i**2 + i - 36. Let g be w(7). Suppose 12*o = 17*o - g. Is o composite?
True
Let z = -24 - -28. Suppose z*g = 20 - 0. Suppose 5*u - g*p - 1285 = 0, -5*u + 0*u - 3*p + 1285 = 0. Is u a composite number?
False
Suppose 20 = 8*s + 2*s. Suppose -20 = 5*n - 5*i, s*i + 1 = -n + 12. Let k = n - -46. Is k prime?
True
Let v = 151792 + -92903. Is v a prime number?
True
Suppose 0 = 109*z - 22749 + 6835. Let f = -560 + 806. Suppose i = 4*r - z, -3*i - 55 = 5*r - f. Is r a composite number?
False
Suppose -52*a - 7*a - 9*a = -157012. Is a prime?
True
Let c be 5/7 + (-10)/(-35). Is (-18978)/18*3*(c - 2) a composite number?
False
Let m = -39 - 40. Let g = 79 + m. Suppose g + 6 = -2*r, 0 = -3*q + 3*r + 2100. Is q a prime number?
False
Let q = 227367 + -73208. Is q a prime number?
True
Suppose -4*h - 6*h = 10. Let p be 3/3 + 1 - (h - -1). Suppose -3*f = p*j - 3289, 3*j - 5095 + 710 = -4*f. Is f a prime number?
True
Is (-290)/(-100) + -3 - 716511/(-10) prime?
False
Suppose -v - 391 = 1135. Let d be (-2)/(-6) + -1 - v/21. Suppose -2*x + 66 = -6*u + u, -2*u - d = -2*x. Is x composite?
True
Suppose 0 = d + j - 101080, 57101 = d + 3*j - 43977. Is d a composite number?
False
Let o = 1 - -2. Let m(p) = 3549*p**2 + 14*p - 15. Let x be m(1). Suppose -o*g - g = -x. Is g prime?
True
Let p(x) = 595*x**3 - 2*x - 1. Let j be p(-1). Let t be (-1)/(-7) - j/154. Suppose t*z - 93 + 53 = 0. Is z a composite number?
True
Suppose 8*z - 1522 = 7*z. Suppose -9*c - 6833 = 907. Let s = c + z. Is s composite?
True
Let s(r) = -448*r**3 + 3*r**2 - 2*r - 7. Let n be (8/(-10))/(30/75). Is s(n) prime?
True
Suppose 3*x + 5*r = 3*r - 29, 5*r + 34 = -4*x. Let b(m) = -m**3 - 11*m**2 - 23*m + 12. Is b(x) a composite number?
True
Let n = -3256 - -6498. Let r = n - -2977. Suppose 23*v - 26*v = -r. Is v prime?
False
Let k(r) = -1630*r**3 + 15*r**2 - 6*r - 11. Is k(-6) prime?
False
Let g(m) = 5835*m - 2201. Is g(8) a prime number?
False
Suppose -20 = -10*z + 10. Suppose 8*q + 13 = -z. Is q + 1 + (-8800)/(-5) prime?
True
Let s be (-30810)/(-26)*7/(14/330). Suppose -38*o - 9439 + s = 0. Is o composite?
True
Suppose 136*r - 6897979 = 10604813. Is r a prime number?
False
Suppose 3*p = 5*z + 1020277, 8*p + 3*z - 2720748 = 7*z. Is p a composite number?
True
Let i be (0 - (-4)/(-14))/(27/(-189)). Is ((-1)/i)/((-42644)/(-14216) - 3) a composite number?
False
Let k = 74 - 77. Let a(i) = -1758*i + 19. Is a(k) prime?
False
Let w = 2173 - -47946. Is w a prime number?
True
Suppose -40*w + 19 = -59*w. Let i(u) = -388*u**3 + 3*u**2 + 4*u + 2. Is i(w) composite?
False
Suppose f - 11 + 3 = -3*g, 2*g - 7 = -f. Suppose -5*l - 2*i + 1841 = 0, -f*i + 12 = -i. Is l composite?
False
Suppose 0 = 37*y - 32*y - 1475. Suppose 2*d - 5*r = y, 625 = 2*d + 2*d - 3*r. Suppose -5*b + d = -o, -284 + 104 = -5*b - 3*o. Is b composite?
True
Let z be (-2)/(-4) - (-5 - (-76)/8). Let l be ((-26614)/35)/(z/(-10)). Let p = -982 - l. Is p a prime number?
True
Let m be (4/(-12))/((-3)/18). Suppose 2*o - o + 9478 = m*z, -2*o - 9474 = -2*z. Is z a composite number?
True
Suppose 18*w + 3202724 = 56*w + 36222. Is w prime?
False
Let a = 426 - -873. Is 2 + (a/2)/((-8)/(-48)) prime?
False
Suppose -4302*l + 3*d + 490573 = -4301*l, -5*l + 2452769 = -3*d. Is l prime?
True
Let v = 250 - 233. Suppose -11*h - 50466 = -v*h. Is h composite?
True
Suppose 2409*g - 2456*g = -10904893. Is g composite?
True
Let w(d) = -36*d + 3. Let j(v) = 22*v + 1. Let z be j(1). Let p = 18 - z. Is w(p) prime?
False
Let u = 569 - -1269. Let g be 3566/(-10) - 2/5. Let f = g + u. Is f a prime number?
True
Let z(u) = -3*u - 31. Let r be z(-11). Let v(m) = r*m**3 + 3*m**2 - 8 - 39*m - 2 + 59*m - 28*m. Is v(7) a prime number?
False
Let b be (-24 - -17)*(-3*11 - -1). Suppose -b*f + 226*f - 1102 