Suppose 5*d + 1191734 = 3*k, 79 = -4*d + 99. Is k a prime number?
True
Suppose 0 = -3*f - 4*o - 44, 4*f - 2*o - 3 + 91 = 0. Let c(u) = -811*u - 97. Is c(f) prime?
False
Suppose 4 = 9*o - 14. Suppose -8049 = -o*i + y, -3*i - 4*y = -8*i + 20127. Suppose -5*r = 3*l - 6713, -l + i = 3*r + 2*l. Is r a composite number?
True
Let r(q) = 255*q**2 - 342*q - 140. Is r(-49) a prime number?
False
Let b = -66942 - -243541. Is b a prime number?
True
Suppose -3*u + 21 = 0, 976*u - 45991533 = -5*z + 972*u. Is z a prime number?
False
Suppose -80 = -6*x - 56. Is x/(-5) - ((-12396)/20 - -6) composite?
False
Let h(o) = o**3 - 7*o**2 + 8*o - 8. Suppose -7*j = -12*j + 30. Let l be h(j). Is ((-3 + l)*(-710)/1)/(-2) composite?
True
Let l(y) = 360*y**2 + y - 3. Let w be l(1). Suppose 5*a - 2077 - w = 0. Is a prime?
True
Let y = 78 - 58. Let z = 25 - y. Suppose 5*i = -b + 7386, 7387 = z*i + 2*b - 0*b. Is i a composite number?
True
Let f(u) = u**2 + 53*u + 964. Is f(-27) a prime number?
False
Let o(m) = -m**3 + 9*m**2 - 3*m + 29. Let b be o(9). Is (-4*b - -4) + (2092 - -7) prime?
False
Suppose 2*n - 6*n + 176 = 0. Suppose -g - 3*g + n = 2*f, 0 = f - 2*g - 18. Suppose -f*i + 19*i + 1109 = 0. Is i composite?
False
Let n(j) = -279*j + 4. Let a be n(-6). Let m be 2614/18 - 6/27. Let q = m + a. Is q composite?
False
Let q be ((-606)/(-5))/(21/280). Suppose 0 = 10*m + q - 17676. Suppose k - m = -k. Is k a composite number?
True
Suppose 0 = -p - 3*l + 2159, -35*p + 30*p + 5*l + 10795 = 0. Is p composite?
True
Let g(j) = -6*j + 49. Let c(d) = 15*d - 147. Let v(m) = 2*c(m) + 7*g(m). Let n = -25 - -19. Is v(n) prime?
False
Let v be (-4)/(-6)*(2 + 28697/2). Suppose -2*t + n + v = 0, 0*n + 2*n + 10 = 0. Is t a composite number?
True
Is 24714/27*(-20298)/(-68) prime?
False
Suppose -4 = -4*k - 2*t + 20, -t = -2*k + 12. Suppose 0 = k*m + 13*m - 418969. Is m composite?
False
Suppose -2490 = -a + f, -15*a + 12410 = -10*a + 3*f. Suppose 6*b = 2*b + 16. Suppose 9*p - b*p = a. Is p composite?
True
Let g(x) = 16*x**2 + 361*x - 662. Is g(-181) composite?
False
Let x(n) = 677*n**2. Let d = -12 + 13. Is x(d) prime?
True
Let y be (-36)/(-234) - (-134)/(-26). Is -982*(-1 + y/(-10))*1 composite?
False
Let v(w) = w**2 + 12*w + 3. Let h be v(-13). Let j(q) = -2*q**2 + 31*q + 2. Let x be j(h). Is (3 - 1)/(x/(-4417)) a composite number?
False
Let g(k) = k**3 + 44*k**2 - 102*k - 146. Is g(-46) composite?
True
Suppose 0 = 2*y - 5*l - 22824, -2*l = -4*y + 74913 - 29265. Let c = -7747 + y. Is c composite?
True
Suppose -32*d + 31*d + 16318 = -s, -5*d + 2*s + 81605 = 0. Is d composite?
True
Let o(l) = -l**2 - 9*l + 9. Let h be o(1). Is (h - 0/(-4))*-905 prime?
False
Suppose 0 = 3*z - 9, -4*m + 2171 = -10*z + 11*z. Let h = 84 + -33. Let j = m - h. Is j a prime number?
True
Let v be 93 + 1 - (40 - 37). Let b(f) = -27*f - 25 - 26*f - v*f. Is b(-6) prime?
True
Let t(z) = 4*z + 86. Let f be t(-8). Is 80982/f - (1 + (-2)/6) prime?
True
Let j be ((-567624)/(-22))/6 + 6/(-33). Suppose j = 8*x - 76. Is x a prime number?
True
Suppose -k + 46 = 2*b + 4*k, 5*b - 115 = 3*k. Suppose -b*i + 1284 = -17*i. Suppose i + 212 = 6*x. Is x composite?
False
Let a(u) = -7196*u**2 - 15*u + 16. Let r be a(1). Let o = -3974 - r. Is o a prime number?
True
Let c(f) = 45*f**2 + 10*f - 19. Let n be c(16). Suppose 7*m - n = 2360. Is m a composite number?
False
Suppose 0 = -2*f - j + 21430, 7*j = 3*f + 4*j - 32163. Suppose -4*r + 14727 = o, 2*o + 342 = 3*r - f. Is r prime?
False
Let s(u) = 3*u - 79. Let a be s(27). Suppose 4*x - 15006 = 2*o, 0*x - 7478 = -a*x - 4*o. Is x a prime number?
False
Suppose -15*c + 3*c = 5*c + 13192. Let k = 1612 - 3715. Let y = c - k. Is y a prime number?
True
Suppose 50 = 3*m + 206. Let j = m + 56. Suppose -j*g - 522 = -2*k, 0*k = 3*k + 2*g - 751. Is k a prime number?
False
Let i(h) = 7669*h**3 + 6*h**2 - 5*h + 4. Let j(g) = g**2 - g + 1. Let l(d) = i(d) - 5*j(d). Suppose 494 = -a - 3*w + 504, -5*a + 2 = -w. Is l(a) prime?
True
Suppose 20*m - 25*m - 4*u = -893785, 0 = m + 5*u - 178778. Is m a prime number?
True
Is 75969 - (8 + 6)/7 a composite number?
False
Let p = 2990 - -105. Suppose -6*c - p = -11741. Is c a prime number?
False
Let x(u) = -4*u**2 - 13*u - 63. Let s(j) = 6*j**2 + 20*j + 94. Let k(m) = 5*s(m) + 7*x(m). Let a be k(20). Is (a/(-4))/(7/(-28)) composite?
False
Suppose -4*p - 21 = 5*h, 0 = -5*h + h + p - 21. Let f(a) be the second derivative of -a**5/4 - 7*a**4/12 - a**3/3 - 3*a**2/2 + 6*a. Is f(h) prime?
True
Suppose 7*c - 45 = -10. Suppose 0 = 4*g + 3*a - 27791, c*g + 5*a - 43991 = -9251. Is g a prime number?
True
Suppose -7*v = 2*x - 9*v - 62966, -4*v = 3*x - 94449. Is x composite?
True
Let t = 91883 - -278514. Is t a composite number?
True
Is -4 - (17 + 175/(-10) - (-3604266)/(-4)) prime?
True
Let f(y) = -y**2 + 9*y + 9. Let x be f(10). Is 672378/42 + (3 + x - -2) composite?
True
Let u(o) = 96*o**2 + 6*o - 113. Let g(v) = 4*v - 143. Let b be g(38). Is u(b) a prime number?
True
Let p = 211 - 160. Suppose -44*b - 13181 = -p*b. Is b composite?
True
Suppose -20 = -21*h + 16*h. Suppose -5*j + 0*v = -2*v - 28, -2*v = 3*j - h. Suppose j*l - 9*l = -1115. Is l a prime number?
True
Suppose -10*i + 4*i = 0. Suppose i = -59*c + 60*c - 90. Suppose -4*x = -c - 1138. Is x a composite number?
False
Let f(d) = 3*d**3 - 7*d**2 + 16*d + 17. Let j(o) = 8*o**3 - 22*o**2 + 47*o + 51. Let p(c) = -11*f(c) + 4*j(c). Is p(-15) composite?
True
Let p = 265755 - 180706. Is p composite?
False
Is 4595 + 3 - (-35)/(-5)*1 prime?
True
Let y = 489 + -185. Suppose 0 = 302*b - y*b + 19302. Is b composite?
True
Is -10 - (7 + (-120)/8) - -133291 a composite number?
True
Is (-13)/208*-263724*(-12)/(-9) a composite number?
False
Let s = 0 - -1. Let j be (-713 - s)*3/(-2). Suppose -9*v + 0*v = -j. Is v composite?
True
Suppose 130*n = -112463 + 565773. Is n a prime number?
False
Suppose -5*u = -3*p - 583671 - 263635, 2*u = -4*p + 338886. Is u a composite number?
False
Let g be ((-1)/2)/((-4)/(-80)). Let r(v) = 21*v**2 + 15*v + 23. Is r(g) prime?
True
Let i(t) = -328*t**3 - 472*t**2 - 66*t + 19. Is i(-22) composite?
False
Suppose 10*i - 14*i - 4*m = -90672, -2*i - 3*m = -45335. Let b = i + -15548. Is b composite?
False
Suppose 57*z - 47*z - 630 = 0. Suppose -z*a + 619956 = -27*a. Is a prime?
False
Suppose -11002220 = -582*j + 562*j. Is j composite?
False
Is (-4 - -1) + 7 - (21 + 8 + -37268) a prime number?
True
Suppose -9*m + 0*m = -36. Let c = 1947 + -1128. Suppose -2*j + 2 = 0, -2*j + m*j = -l + c. Is l a prime number?
False
Let z be ((-24)/(-30))/((-10910)/(-2725) + -4). Suppose -5*q + z = h, -h + 122 = -q - 102. Is h a prime number?
True
Let w be (3 + -1)*5/6*3. Suppose 155 = -w*r + 1225. Is r prime?
False
Suppose 5*p = 3*l - 409, 4*l - p = -24 + 575. Let a be (2*l - -2)*4. Let i = 1943 - a. Is i composite?
True
Suppose -60480 = -9*t - 11*t. Let y = t + -1601. Is y composite?
False
Let u(i) = -26*i + 209. Let n be u(9). Is (-65)/n - 3 - (-18187)/5 composite?
False
Suppose -5*g = 5*c - 415, -4*c + 196 = g - 121. Suppose c*x = 70*x + 17224. Is x composite?
False
Let b(g) = -g**2 - 2*g. Let w(k) = -464*k**2 - 6*k - 32. Let a(d) = 8*b(d) - w(d). Is a(3) a composite number?
True
Let w = 78726 + 109135. Is w composite?
False
Let z be (-47)/5 + (-8)/(-20). Let k(o) = -3. Let y(n) = 322*n - 8. Let j(t) = -7*k(t) - y(t). Is j(z) a composite number?
False
Suppose 0 = 21*z - 22*z - 1, 2*x - 31 = z. Suppose -18733 = -3*a + 4*k, 4*a - x*k + 11*k = 24976. Is a prime?
False
Suppose 57 = 24*w - 63. Suppose 0 = -w*v - 2*q + 8181, v + 5*q - 1517 = 110. Is v prime?
True
Let j(x) be the third derivative of -5/12*x**5 - x**4 + 0 - 1/120*x**6 + 5/2*x**3 + 17*x**2 + 0*x. Is j(-24) a prime number?
False
Suppose -8 = -4*i - 4*j, -i - 4 = 5*j - 2. Suppose 0 = 2*z + 3*u - 2629, -2*z - 3966 = -5*z + i*u. Is z composite?
False
Let w = -102947 - -171514. Is w a composite number?
False
Suppose b + 21 = 2*b. Let g be (14/b)/(4/42). Suppose -561 = -g*j + 1000. Is j composite?
False
Suppose 4*k + 4*l + 1860 = 0, 4*l + 2084 = -5*k - 246. Let x = k + 1449. Is x a prime number?
False
Suppose -a + 16002 = 5*k - 2872, 4*k - 15098 = -2*a. Let s = 6524 - k. Is s a prime number?
True
Let y(j) = 2*j**2 - j - 6134. Let k(b) = 2*b**2 - 2*b - 6135. Let z(t) = -5*k(t) + 4*y(