6 = 0, 6*f = 3*f - 3*i + v. Is f a composite number?
True
Is 136688 - 4 - ((-130)/(-325) - 37/5) a composite number?
False
Let s = 19498 - -789. Is s composite?
False
Suppose 3*t - a = 7 - 2, -t = -a - 1. Suppose t*x - 48 = 5*g, -x + 26 - 2 = -g. Is 9/(-12) - (-33594)/x a composite number?
False
Let c(t) = -56736*t**3 - 5*t**2 - 89*t - 89. Is c(-1) a composite number?
False
Let o(p) = 0 + 99*p**2 - 1 + 28*p**2 - 3*p + 367*p**2. Is o(-4) composite?
True
Let f = 2607 + 1140. Suppose 8*i - 5*i - f = 0. Is i prime?
True
Let m(a) = -a + 5. Let f be m(0). Suppose 2422 = n - f*l, -2*l = 5*n + l - 12194. Is n prime?
True
Suppose s + 2*q - 6 = 3, -q = -3*s + 6. Suppose -s*o + 373 = m, 3*o - 8*o + 627 = -m. Suppose 3*f - 136 = o. Is f prime?
False
Suppose 0 = 4*k - 3*s - 2*s - 166, -2*k + 4*s + 80 = 0. Let b = k + -42. Suppose -3*o - 5*f = -787, -5*o - b*f + 1280 = -0*o. Is o a composite number?
True
Let n(d) = -13*d + 15. Let j be (-10)/1*(-1)/2. Suppose y + j = -2. Is n(y) prime?
False
Suppose 3*p = 24 + 33. Let o = -15 + p. Suppose v + v - o*f = 626, -5*v + 5*f + 1550 = 0. Is v a prime number?
True
Suppose 1854*v + 607434 = 1860*v. Suppose 22*s - v = -7*s. Is s prime?
True
Let o be (186/(-16))/(-3) - (-7)/56. Suppose -o*k - 5*x + 164741 = 0, 9*x - 14*x = -4*k + 164771. Is k a prime number?
True
Suppose 5*c - d = 3*c + 269, 0 = -3*d - 3. Let t(y) = 1099*y**3 + 136 - 4*y**2 + 5*y**2 - c - 3*y. Is t(1) composite?
True
Let m(f) = 7339*f - 2616. Is m(41) composite?
False
Is (26323866/324)/((-2)/(-12)) a composite number?
True
Suppose -4*c = -5*m - 3, -7*m + 5*c + 12 = -6*m. Let k(l) = -12903*l - 30. Is k(m) a prime number?
False
Is (-7)/56 - (-216699)/24 composite?
False
Is (-4158)/(-3465)*-2*1544870/(-12) a composite number?
True
Let s(d) = 3*d**3 + 30*d**2 + 34*d + 8. Let b be s(-19). Let u = -6436 - b. Is u a prime number?
False
Let m(p) = 4*p**3 + 21*p**2 - 35*p - 19. Let o be m(15). Let k = -9524 + o. Suppose -k = -4*c + 4031. Is c a composite number?
True
Suppose 0 = -d + 9*d - 2008. Let z = d - 60. Is z composite?
False
Suppose q - 37 = z, 150 + 8 = 5*q + 4*z. Let j = q - 36. Let t(a) = 28*a**2 - 5*a - 7. Is t(j) a composite number?
True
Let m(s) = -7*s + 181. Let h be m(20). Suppose 73599 + 44030 = h*t. Is t composite?
True
Suppose 947955 = 5*n + 2*b, 5*b = -3*n + b + 568759. Is n prime?
True
Suppose 23755073 = 146*o - 17295893. Is o a composite number?
True
Suppose -2*i + 42*m + 304496 = 41*m, 3*i + 4*m = 456755. Is i a composite number?
False
Let d be (-26)/((-5)/45*-1). Let v = 434 + d. Suppose v + 317 = p. Is p a prime number?
False
Suppose -5*j - h + 26 = -2*h, 0 = 4*j - 4*h - 24. Let z be ((-139)/(-2))/(j/(-70)). Is (-1 + z)*((-3)/(-6) + -1) a prime number?
True
Let w(v) = -4*v + 83. Suppose 102*u = 103*u + 32. Is w(u) a composite number?
False
Let h(z) = -57 + 56*z + 32*z - 42. Is h(29) prime?
False
Let k = -717856 + 1220635. Is k composite?
True
Let k(q) = 10 + 2*q - 5 - 11*q**2 + 341*q**2 + 51*q**2 + 396*q**2. Is k(2) a composite number?
True
Let o = -22263 - -54280. Is o prime?
False
Let c = 212785 + -106476. Is c composite?
True
Let u(s) = -36*s**3 - 2*s**2 + s + 2. Let l be u(-1). Let j be (-7)/l + 1012*(-11)/(-10). Suppose 69*v - 66*v = j. Is v a composite number?
True
Suppose -3*v - 23*r = -25*r - 679941, 2*v + 4*r = 453278. Is v a composite number?
True
Let o be 2 - (0 + 3) - (9 - -730). Let h = o + 1098. Is h composite?
True
Let w be 45 - 50 - 16/(-2). Suppose 2*c = -w*r + 4733, 0 = 4*c + 3*r + 2*r - 9469. Is c a prime number?
True
Let r(m) = 3311*m**2 + 13*m + 33. Is r(-5) prime?
False
Is (-6054045)/10*(-88)/132 prime?
True
Is (291/9)/(53/230073) prime?
False
Suppose 7116461 = 5*d - 3*v, 47*d - 50*d = -2*v - 4269875. Is d composite?
False
Let z = -1245 - -2729. Let n = 2115 + z. Is n a prime number?
False
Is (-3 + 5 + 1 - 880373)/(-6 - -4) composite?
True
Is 6 - (3/(18/(-30)))/((-1)/(-36145)) prime?
True
Is 2/5 + ((-233607940)/(-25) - -5) prime?
True
Suppose -i = y - 1081322, -5*y + 1119*i = 1123*i - 5406609. Is y a prime number?
False
Let c(u) = 318*u**2 + 54*u + 3. Let s be c(6). Suppose 0*k - w = -5*k + 19608, 3*k - s = 4*w. Is k a prime number?
False
Suppose 0 = 4*p + 2*j - 4*j, -4*p - 5*j - 28 = 0. Is 44616 - p - (-29 + 36) a composite number?
True
Let u(p) = -3*p - 21. Let c be u(-7). Suppose c = -22*w + 38498 + 12696. Is w a prime number?
False
Let d = -1262794 + 2092811. Is d a composite number?
False
Suppose 0 = 5*q + 5*d, -3*d - 7 = q - 1. Suppose n = -1 - q, 1072 = 2*t - 3*n. Let o = t - -191. Is o prime?
False
Let v = 5428 + -2470. Suppose 0 = -13*g + 19*g - v. Is g a composite number?
True
Let k(s) = s**3 + 15*s**2 + 53*s - 19. Let a be k(-7). Suppose 3*t - 66322 = -u, a*u = 2*t - t + 132679. Is u a composite number?
False
Suppose 4*h + 0*r = -2*r + 548, -3*h + 5*r + 398 = 0. Let a be (-49 - 3) + 0 - (-6 + 5). Let x = h + a. Is x prime?
False
Let a = -99265 + 156447. Is a prime?
False
Let b = -4996 + 10775. Is b a composite number?
False
Let f(b) = -2372*b + 235. Let h be f(-10). Let w = h - 3468. Is w prime?
False
Suppose 11 + 29 = 8*q. Suppose q*k - 7169 = 4126. Suppose -4*g - 475 = -k. Is g prime?
False
Let a(u) = u**3 + 6*u**2 - 10*u - 17. Let k be a(-7). Let g(j) = -2*j**2 + 8*j - 6. Let t be g(k). Is 2211/t*(2 - 4) a prime number?
False
Suppose 65*f = 80*f - 1739235. Is f composite?
True
Suppose -7 = -3*r - 13. Let k be 0/(-1 - -5) + (1 - r). Suppose -3*o + f + 526 = 0, k*o + f = -2*o + 890. Is o prime?
False
Let a be 1*(-1 + 46/(-2)). Is (-2)/12 + (-86236)/a a composite number?
False
Let r(t) = 26131*t**2 + 36*t - 3. Is r(-2) prime?
False
Suppose f + 8 = -0. Is 1/(36/f) + 22025/9 a prime number?
True
Let v(d) be the first derivative of 157*d**4/3 + 7*d**3/6 - 5*d**2/2 - 19*d + 17. Let s(q) be the first derivative of v(q). Is s(2) a composite number?
False
Let b be 1 + (3 + -4)*(0 - 6). Suppose -a + 2*f + b = 0, 3*f + 8 = 2. Suppose -4*p - 2*t + 254 = -202, -a*p = -5*t - 329. Is p composite?
False
Let m(r) = 25*r**2 - 386*r + 17. Is m(30) a composite number?
False
Let t = 926 - 886. Suppose 0 = t*d - 59*d + 13946. Is d a composite number?
True
Let u(r) = 2*r**3 - r**2 - 3*r + 4. Let k be u(1). Let o(q) = -16*q**k - 11 - 3*q - 9*q + 2*q + 18*q**2. Is o(-11) prime?
False
Suppose 3*h = 22*x - 21*x + 1002710, -2*h - 2*x + 668476 = 0. Is h a prime number?
False
Let k(l) = -2019*l**3 - 4*l**2 - 8*l + 65. Is k(-8) a prime number?
True
Let l(b) = b + 12. Let z be l(-8). Suppose -z*n - 426 = -1298. Let u = 529 - n. Is u prime?
True
Suppose 1022*s - 4146604 = 994*s. Is s a composite number?
True
Suppose 5*s - 1056240 = b, -s - 5*b + 147207 = -64067. Is s a composite number?
True
Let u(y) = y**3 - y**2 + y + 5. Let g be u(0). Suppose 0 = -0*o - 2*o + j + 64, -g*j + 130 = 5*o. Is (-4)/(-3) + 13250/o a prime number?
True
Suppose -56*d + 51*d = -3*p + 1024441, -3*p + 1024433 = -d. Is p composite?
False
Suppose 3*c + 44 = -1. Let v = 1658 - 1660. Is v/(-3) - 18275/c prime?
False
Suppose -5*l = -4*y, -l = -4*l. Suppose -3*u + 7*n - 5*n + 22 = 0, 4*u = n + 21. Suppose 4*x - 3*z - 218 + 16 = y, 0 = u*z + 8. Is x a prime number?
False
Let s(q) = 2716*q**2 - 28*q - 1. Let y be s(-6). Let o = -69762 + y. Is o prime?
True
Suppose 2*v = -2*z + 8, -18*v + 22*v + 5*z - 20 = 0. Suppose -3*l - k + 64901 = v, -12 = -k + 4*k. Is l composite?
True
Let n = 5652 - 2585. Is n composite?
False
Is (46696/52)/((-45)/51 - -1) a composite number?
True
Let d(p) = -4857*p**3 + 18*p**2 + 49*p + 9. Is d(-4) composite?
False
Let i = -28 - -31. Suppose i*k + 60 = 4*k. Let z = k + -29. Is z a composite number?
False
Suppose -2*p = -5*k + 207, 4*p - 3*k + 2*k + 441 = 0. Is (-1)/((-2)/p)*(-2116)/138 composite?
True
Let a be ((-224)/12)/((-9)/(135/10)). Suppose a*z + 1133 = 39*z. Is z a prime number?
True
Suppose 4*p - 4*b + 331 = -1249, 0 = 4*p + 5*b + 1535. Let g = p + 599. Is g a composite number?
True
Suppose -7*w + 13*w = -5*w. Let r be 290/20*(w - -122)*6. Suppose -5*i + 4*x - r = -7*i, 5*x = 20. Is i prime?
False
Let u(t) = -282*t - 97*t + 79 - 88*t + 178 + 90*t. Is u(-4) prime?
False
Let p(w) = 30991*w + 520. Is p(1) a prime number?
True
Suppose 0 = -3*c + 14 - 8. Let u(h) = 1 - 10*h**c + 1638*h**3 + h - 5766*h**3 + 9*h**2. Is u(-1) a prime numbe