 i(-1) a composite number?
True
Let a = -85243 - -59625. Is a/5*(-5)/(-10)*-5 prime?
True
Let w = 36 - 25. Suppose 3270 = 6*k - w*k. Let g = k - -1241. Is g a composite number?
False
Suppose 5612 = t - 3*x, -15 = -4*x - 3. Suppose -5*n + 2788 = c, 0 = 2*c - 24*n + 25*n - t. Is c composite?
True
Suppose 0*n - 2*n + 4106 = 0. Let d be 28/63 + 12/(-27). Suppose 11*i - 12*i + n = d. Is i a composite number?
False
Suppose -5*r + 9*r - 4*d = 120356, -4*d = r - 30089. Is r a prime number?
True
Suppose 2 = -t, -5*r + 4*t - 280582 = -2170235. Is r prime?
False
Suppose 15*k = 2274974 + 8418271. Is k a prime number?
True
Let h(v) = -74*v + 0 + 2 + 3 + 179*v**2 - 8 + 5*v. Is h(-10) prime?
True
Let t = 52093 + -5042. Is t composite?
False
Let c(g) = 69 - 9 + 12*g + 14 + 2*g. Is c(6) a composite number?
True
Let q(o) = 8*o**2 + 85*o + 5672. Is q(-107) a prime number?
True
Let o = 219 - 124. Let v = 214 + o. Suppose 22*l - v = 21*l. Is l a prime number?
False
Suppose -55*c - 55*c + 604230 = -44*c. Is c a composite number?
True
Suppose -w - 335 = -0*l + 3*l, -2*l - w = 225. Let x = l - -117. Suppose -12590 = -x*j - 3*j. Is j composite?
False
Suppose -4*l - 4495 = -5*f + 2194, 3 = -f. Let h = 3705 - l. Is h a prime number?
True
Suppose 3*q = -9*q - 12. Is q - (-16)/2 - -12886 a composite number?
False
Let w = 215 - 212. Suppose n - 4*b - 11255 = 0, -6*n + w*b = -4*n - 22510. Is n a prime number?
False
Is (-1742797)/(-2)*22*(22/847)/1 a composite number?
True
Let a = -481 - -486. Suppose a*m - 12 = 3, 5*m = o - 8639. Is o a prime number?
False
Is 46224090/234 + 2/78*6 prime?
True
Let o = 15 - 12. Let z = o - -3. Is ((-3)/9)/(z/(-234)) composite?
False
Is 79285465/20 - (-3)/48*-4 prime?
True
Let g(z) = 12*z**2 - 7*z + 20. Let b(p) = -11*p**2 + 7*p - 15. Let c(l) = -5*b(l) - 4*g(l). Let o = 5 + -8. Is c(o) prime?
True
Let a = 13393 - 7916. Suppose -5*q = -3*i + 27068, 3*q + a = 3*i - 21601. Is i a prime number?
False
Let d be (-18)/(-6) + (0 - (1 - 3)). Suppose d*o = 3772 - 557. Suppose 3*u + 2*p = o, -3*u + 2*p + 0*p + 647 = 0. Is u a prime number?
False
Let x(u) = 1187*u - 874. Is x(9) a prime number?
False
Let c(x) be the second derivative of 77*x**4/3 + 7*x**3/2 - 25*x**2 + 14*x. Is c(3) a composite number?
True
Let q(j) = -3*j - 7. Let c(v) = 7*v + 15. Let n(z) = -4*c(z) - 10*q(z). Let s be n(-10). Is 10/25 - (1 - (-23336)/s) a composite number?
False
Suppose 0 = 7*i + 12 + 2. Let v be (i - 46)*3/(-9). Is 3*v/(-12) + 73 a prime number?
False
Let j(g) = g**2 + g + 1. Let l(r) = -238*r**2 + 2*r + 21. Let o(i) = -4*j(i) - l(i). Is o(-3) a composite number?
False
Is (-1378500)/1200*1208/(-10) prime?
False
Let v be 158*(-2)/((-8)/6). Let a be -6 + 11 - (9/7 - (-64)/(-224)). Suppose 0 = -a*t - 2*u + 892, 0 = 2*t - t + 4*u - v. Is t composite?
True
Let l be (18/(-36))/((-1)/6). Suppose 0 = -2*o + 2*a + 19212, l*o - 48070 = -2*o - 3*a. Is o a prime number?
False
Let h = 115939 - -130830. Is h composite?
False
Suppose 5*z - 4652 = -b, z + 9280 = 2*b + 3*z. Suppose 0 = -5*j + 501 + 6279. Let i = b - j. Is i a composite number?
True
Let o = 12571 + -5357. Suppose 0 = 3*n + 2*u - 5413, 7*n - 11*n - 2*u = -o. Is n prime?
True
Let m = 25 + -21. Suppose 0 = m*a + 3*d - 42362, 2*a - 4*d - 21182 = -6*d. Is a prime?
True
Let v = -47 - -47. Suppose 7*d - 4049 - 6178 = v. Suppose 6*a = 3*a + d. Is a composite?
False
Let g(a) = -258*a**3 - 4*a**2 - 2*a + 1. Suppose 2*t + 17 = -j + 15, -3*j + 4*t - 6 = 0. Is g(j) prime?
True
Let x = 16208 + 56973. Is x a prime number?
True
Suppose -1308*w = -1220*w - 14134472. Is w a prime number?
True
Let d(v) = v**3 - 3*v**2 - 2*v + 6. Let a be d(0). Suppose -a*h + 0 - 36 = 0. Is ((-7)/(84/8))/(h/24561) a composite number?
False
Let l(p) = -4*p**2 + 6*p**2 - 8*p + 19 - 16*p. Suppose 115 = -4*a + 187. Is l(a) prime?
False
Suppose -3*y = 3*w - 10908, -5*w + 18182 = -3*y + 6*y. Let f = 10275 - w. Is f a prime number?
False
Let y be (7 - 5951/(-2))*2. Let u = y + -327. Is u prime?
False
Is (68046/44)/((-3)/(-52)) - 7 prime?
False
Is (-174569)/3*((0 - 3) + 0) prime?
True
Let x = 338 + -333. Let a(j) = 2*j**3 + j**2 - j - 17. Is a(x) composite?
True
Let a(p) = p**3 - 23*p**2 + 14*p - 17. Let c(l) be the third derivative of l**5/60 - l**4/12 + 23*l**3/6 - 33*l**2. Let s be c(0). Is a(s) a composite number?
True
Let v = 1718 + -4773. Let c = v + 13508. Is c a prime number?
True
Let s(t) = t**3 - 7*t**2 - 13*t + 15. Let g be s(9). Is (g/(-150))/(4/(-124790)) a composite number?
False
Let l = 174 - 170. Is l/36 - (-54834)/27 a composite number?
True
Suppose s + 2*w = 3*w, 4*s + 4*w = 24. Suppose -4*c + 4*m + 13896 = 0, c - m - 3492 = -6*m. Suppose -3*n + c = -s*x, -n + 223 = 3*x - 952. Is n composite?
False
Is (1315276/(-8) + 8)*8/(-12) a composite number?
True
Let h(d) = 8*d + 18. Let j be h(5). Let z = -58 + j. Suppose z = -2*u + u - 5*w + 14473, -5*w + 28956 = 2*u. Is u a composite number?
True
Let r be 223/(-2)*(-1 + -61). Let k(s) = -s**2 - s + 8. Let l be k(-3). Suppose 5*a + 0*a = -l*w + r, 3*w + 1369 = a. Is a a composite number?
False
Let l(y) = 3*y - 1. Let k be l(1). Let o be ((-846)/(-24))/(k + 18/(-8)). Let g = o - -470. Is g composite?
True
Let l = -1670 + -6848. Let x = 15703 + l. Suppose 3*c - b - 7169 = -0*c, 0 = 3*c + 3*b - x. Is c a composite number?
True
Let q(z) be the third derivative of 7*z**5/20 - 2*z**4/3 + 8*z**3 - 60*z**2 + z. Is q(13) a composite number?
False
Suppose -o - 2*o + 1482 = 0. Let z = o - -175. Is (-3)/(-9)*3*(-2 + z) composite?
True
Let d(s) = -118*s**3 - 16*s**2 + 48*s + 495. Is d(-17) prime?
True
Suppose 3*u + 28 = 5*z, 2*z + 3*u + 4 = 11. Suppose 3*h - z*h = -5086. Is h a prime number?
True
Let u(i) = 2*i**2 + 19*i - 201. Let a be u(7). Suppose -a*w = -23*w - 224987. Is w a prime number?
True
Suppose 5*g - 2*a - 81349 = 0, 6*a + 65087 = 4*g + 7*a. Is g a prime number?
False
Let n = -593294 + 885921. Is n a prime number?
True
Let i = -191 - -320. Let n = i + 3632. Is n prime?
True
Let m(j) = j**3 - 5*j**2 + 4*j + 3. Let z be m(4). Suppose 0 = z*u + 2*r - 5*r - 66501, 2*r + 8 = 0. Is u composite?
True
Suppose 0 = -2*h - 35*p + 37*p + 132592, 5*h = -3*p + 331496. Is h composite?
True
Let z = 29 + -24. Suppose -2729 = -3*x - 4*u, z*u + 3620 = 4*x + u. Is x composite?
False
Suppose -37*j = 12*j - 746221. Is j a composite number?
True
Let w(o) = 226*o**2 + 11*o - 11. Let h(l) = 1351*l**2 + 67*l - 65. Let c(q) = -2*h(q) + 13*w(q). Is c(4) composite?
True
Suppose -14*u - 12*u = -193258. Let d = -5124 + u. Is d a prime number?
True
Suppose -250*d + 3510830 = -168*d. Is d a prime number?
False
Suppose 89*k - 97*k + 294088 = 0. Is k composite?
False
Let y(p) be the second derivative of -p**5/20 - p**4/4 + p**3/2 - 5*p**2/2 - 17*p. Let q(i) = i**2 - 8*i + 9. Let j be q(5). Is y(j) a prime number?
False
Let g be (-30)/(-4)*(-528)/440. Is (2 - 9 - -19017) + g a prime number?
True
Let z = 716070 - 18833. Is z composite?
True
Let f(g) = 7*g - 45. Let d be f(6). Is 30472/9 + (25/(-9) - d) a prime number?
False
Is (2 + -5 + 917)*1742/52 a prime number?
False
Let g(o) = o**3 + 9*o**2 + 13*o - 7. Let j be g(-7). Suppose w + 3*w - 20 = j. Suppose -w*f + 1060 = 5*q, q - 5*f = 3*q - 415. Is q a composite number?
True
Suppose -16*y = -0*y + 48. Is 26616/9 - (-1)/y composite?
False
Let t be (-5 + 8)*682/6. Suppose 3*n - 18 = -5*i, -5*i + 5*n - 4*n = -14. Suppose i*u + 68 = t. Is u composite?
True
Suppose 16*i - 175 = 11*i. Suppose 0*m - i = -7*m. Suppose 0 = 3*k, -m*k - 251 + 15 = -4*r. Is r composite?
False
Is (62851/(-3))/(52/(-91) - (-5)/21) a composite number?
False
Let s(y) = 16640*y + 85. Let v be s(25). Suppose 22*u - v + 118579 = 0. Is u composite?
False
Suppose -7*l + 6*l = 3*t - 23150, -5*l = 2*t - 115802. Suppose -l = -12*y + 13954. Is y a composite number?
True
Suppose 18*l + 1358 = 81242. Let d = l - -1201. Is d prime?
True
Suppose 29*k + 63*k = 50*k + 12860274. Is k prime?
False
Let s(m) = -1543*m**3 - 7*m**2 + 6*m - 2. Let c(h) = -2 + 6*h - 4*h**2 - 2*h**2 + 1 - 3*h**2 - 1544*h**3. Let g(z) = 4*c(z) - 5*s(z). Is g(1) a prime number?
False
Let f(b) be the second derivative of b**4/12 - 29*b**3/6 + 47*b**2/2 + 74*b. Is f(-24) a composite number?
False
Let t(o) = 4*o**3 + 7*o**2 + o + 3. Let f be t(5). Suppose b + g - 