k + 709164 = 0. Is b composite?
True
Let l(d) = -15*d**3 - 4 - 18*d**3 + 6*d - 175*d**3 + 5*d**2. Is l(-3) prime?
True
Suppose -2 = 2*l, 132*l = 5*o + 128*l - 168399. Is o a prime number?
True
Let p(c) = 2343*c**2 - 46*c + 46. Is p(5) a prime number?
True
Let l = 104069 - 45784. Is l a composite number?
True
Let n(m) = 2925*m**2 + 9*m + 11. Is n(-1) prime?
True
Suppose 30 = 3*z - 0*z + 5*r, -4*r + 37 = 5*z. Let t be -1 + z + 3 + -4. Is 1758/1 - (t - 2) prime?
False
Suppose -992171 = -4*z - 3*t, -1240190 = 18*z - 23*z + t. Is z a composite number?
True
Let k(p) = -5*p + 45. Let y be k(9). Suppose -2*x + 632 = -634. Suppose 5*o - 8*o + x = y. Is o prime?
True
Suppose -199*n = -207*n + 3020528. Suppose -n = 9*t - 23*t. Is t prime?
False
Let s(q) = 27*q**2 - 69*q - 509. Is s(-51) a prime number?
True
Suppose -3*w - d = -6477097, 0 = w - 3*d + 6*d - 2159027. Is w a prime number?
False
Let i be ((-279)/31)/(-1*1). Let s(t) = -59*t - 26. Let f(w) = -119*w - 53. Let x(c) = 3*f(c) - 7*s(c). Is x(i) prime?
False
Suppose 3*c + 70877 = 5*u - 16968, -4*c = -2*u + 35152. Is u prime?
False
Suppose 854*z - 1776 = 851*z. Suppose -127*g - z = -135*g. Is g a prime number?
False
Suppose 5*z + 0*z - 25 = 0. Suppose 2*t = -7*n + 4*n - 6, z*n = 2*t - 10. Suppose t*p = -p + 1, 1264 = 2*g + 2*p. Is g a prime number?
True
Suppose -2*y + 5*y = 15, -y = 2*o + 54297. Let p = o - -50850. Is p a composite number?
True
Suppose -154 = 58*w - 65*w. Suppose -49*a + 335799 = -w*a. Is a a prime number?
True
Let u be 156/(-26)*2/4. Is (-1 - -2)/(46280/(-15427) - u) a prime number?
True
Let r(x) = -2*x**3 - 3*x**2 + 12*x - 18. Let n(c) = c**2 - 10*c + 13. Let l be 8 + (-8)/(5*6/15). Let k be n(l). Is r(k) a prime number?
False
Let s(h) = -h**3 - 7*h**2 - 4*h + 13. Let g be s(-6). Let z be ((-3140)/(-40))/(g/6). Suppose 16*r - 19*r + z = 0. Is r prime?
True
Let u = 75 + -60. Let i be (-2 + u/6)/(2/(-68)). Is (2/(-4))/(i/73202) a composite number?
False
Suppose -4*l + 2 + 1 = 5*j, 3*j - 3 = -3*l. Suppose l*k + 2*k - 30410 = -3*p, 2*k - 15202 = -3*p. Is k*-2*5/(-40) composite?
False
Suppose -2*d = 5*q - 14500, 2*q - 5668 - 113 = 3*d. Let z = q - 793. Is z a composite number?
True
Let h = 104 + -100. Suppose g - 2849 = h*t, g + 4*t = -g + 5662. Is g prime?
True
Suppose -37871032 = 62*l - 123647598. Is l a composite number?
False
Let n = -25230 - -45971. Suppose -n = -5*y - 4*w - 812, 0 = y - w - 3984. Let s = -2624 + y. Is s prime?
True
Suppose 0 = 8*l - 175389 + 45173. Suppose -3*r = 5*w - 24398, 6*w = -2*r + 5*w + l. Is r a prime number?
False
Let x(l) = 14446*l**2 + 13*l - 6. Is x(1) a prime number?
False
Let k(q) = -67 - 4*q + 158*q**2 + 1269*q**2 + 26*q. Is k(3) composite?
True
Let h = 1513 + -470. Is h a composite number?
True
Suppose f - 405 + 1708 = 0. Let d be -2181 - (1 - (-2)/(-1)). Let w = f - d. Is w a prime number?
True
Let h(a) = 6*a - 53*a**3 - 63*a**3 + 5*a**2 + 17 + 101*a**3. Is h(-8) a prime number?
False
Suppose -402*i + 55128 = -396*i. Suppose 316489 = 33*s - i. Is s prime?
False
Suppose 0 = -2*l + w + 8, -3*l + 4*l + 10 = -3*w. Let a = 36 - 33. Suppose -h = l*c - 2541, -2*c - a*h = -0*c - 2539. Is c a prime number?
False
Let z = 48632 - -223398. Suppose 19*o - 41*o = -z. Is o a composite number?
True
Let d(g) = 13697*g + 171. Is d(4) a composite number?
False
Let j be 6 + 76/(-18) + 48/216. Suppose 5*u - z - 2481 = 909, j*u - 1379 = 5*z. Is u a prime number?
True
Suppose -12*o + 26 = -46. Let z = o - -1649. Is z a prime number?
False
Let b(d) = 16*d**2 + 51*d + 141. Let t be b(-21). Let o = 605 + t. Is o composite?
True
Suppose -5*u + 19*h + 331103 = 22*h, -h - 4 = 0. Is u a composite number?
True
Suppose 642*v - 35840971 - 38499792 = 247744859. Is v a prime number?
True
Let b(j) = -774*j + 115. Let s = -13 + 10. Is b(s) a prime number?
True
Suppose -4*v + 20 = 8*u - 4*u, 3*v - 3*u = 3. Suppose 5472 = 3*c - v*i, -c - 4*i - 5473 = -4*c. Is c a prime number?
True
Suppose -3*l + 57948 = -3*r, 57988 = -6*l + 9*l + 5*r. Suppose 16*f - 94775 = l. Is f composite?
True
Let m = 13026 + -8813. Is m a prime number?
False
Is ((-17846262)/93)/((-114)/171) - (-4)/62 a prime number?
False
Let f = -9277 + 45528. Is f composite?
False
Suppose -2*y = 4*y - 12. Let q be 12/(-2)*(0 + y/6). Is (-5)/(20/(-1342)) - q/(-4) composite?
True
Let y be 5 + (-4)/(-6) + (-2)/3. Suppose 4*k - q = -9337, 2*k - 2*q = -y*q - 4665. Let r = k - -3971. Is r composite?
False
Suppose 3*h - 20 = -h. Suppose -21 + 367 = 2*s - 4*j, -865 = -h*s - 4*j. Let a = s + 101. Is a prime?
False
Let u(v) = -253*v - 799. Is u(-26) prime?
True
Let p = 1285776 + -823021. Is p a prime number?
False
Let k be 12/30 + 1368/(-20). Is (127*k/16)/((-2)/8) composite?
True
Let r = 21 - 19. Suppose 2*g + 3*h - 13 = 1, 2*g - 5*h + r = 0. Let t(m) = 44*m**2 - 1. Is t(g) a prime number?
False
Let q = -4320 + 8011. Suppose -q = 13*d - 53208. Is d prime?
False
Suppose 0 = 91*u + 21240789 - 99791716. Is u a prime number?
True
Suppose -18*v + 13*v + 1375772 = 7*l, 2*l + 3*v - 393073 = 0. Is l a composite number?
False
Suppose 137*i = -59954 + 13269980 + 26661769. Is i a composite number?
True
Suppose -8*r = 2*r + 760. Let l = r + 50. Is l*(-61)/2 + 41 + -43 a composite number?
True
Let j be ((-3)/(-2))/((-147)/(-392)). Suppose -5*r = -2*r. Suppose r = -u + 5*h + 294 + 18, 0 = -j*h + 20. Is u a prime number?
True
Let s be (1671/(-2))/((-2)/8). Let m = -18088 - -23666. Suppose -3*t + s = 3*h, -5*t + h + m = -2*h. Is t composite?
True
Let u be (-174)/(-9) + (-5)/(-3) + -1. Suppose u*v - 19*v = 3. Suppose n = h - v*n - 791, 5*n + 5 = 0. Is h prime?
True
Suppose -649845 + 180138 = -g - 5*d, -5*d = -4*g + 1878778. Is g a composite number?
True
Let r(i) = -18350*i + 12441. Is r(-68) composite?
True
Let t(u) = -17*u**3 - 2*u**2 - 5*u - 1. Let o be t(-4). Suppose -3*k = -o - 4202. Is k a prime number?
True
Is -8 - (-14 + -657 + -10) a composite number?
False
Is 11 + 1872/(-169) + (-4188108)/(-26) a prime number?
False
Let q = 19185 + -11800. Suppose -9*r + 4*r + q = 0. Is r a prime number?
False
Suppose -2*z = -10, -2*z = -7*b + 2*b + 5. Suppose p - 1011 = -7*u + b*u, 5*u = p - 1056. Is p composite?
False
Let t(d) be the third derivative of d**6/120 - d**4/8 - d**3/2 - d**2. Let i be 19/((-2717)/22) + (-264)/(-26). Is t(i) prime?
True
Let l be 2 + -61 + (-5)/((-20)/(-12)). Let h = -60 - l. Suppose -3676 = -6*s + h*s. Is s a composite number?
False
Let f = -43 - -42. Let v(s) = -586*s**3 + 11*s**2 + 8*s + 8. Let b(i) = -391*i**3 + 7*i**2 + 5*i + 5. Let g(p) = 8*b(p) - 5*v(p). Is g(f) composite?
False
Let c = 111 - 97. Suppose 5*u - 12559 = -2*x, -2*u + 12568 = -12*x + c*x. Is x a prime number?
True
Is 351/4914 - (-2 + (-3961186)/28) a prime number?
False
Let j(a) = -10*a**2 + 3*a + 13. Let x(i) = i**3 + 10*i**2 - 3*i - 13. Let d = 23 + -20. Let v(n) = d*x(n) + 4*j(n). Is v(7) prime?
False
Let k = 494498 + -247357. Is k composite?
False
Suppose 30*f = 540660 + 369333 - 9423. Is f prime?
False
Suppose -12*t + 7*t + 25 = 0. Suppose 2*s - t*j = 5681, 1157 = -2*s + 4*j + 6835. Is s a composite number?
False
Let v(t) = 7848*t + 601. Is v(21) prime?
False
Suppose -4*f + 4*b - b - 12035 = 0, 12025 = -4*f + b. Suppose -j - 15551 = 6*i - 3*i, 5186 = -i + 2*j. Let u = f - i. Is u prime?
True
Let h(a) = -10629*a + 21. Let d be h(-4). Let j be d/18 + (-52)/24 + 2. Suppose -4*t + 3*u = -0*u - j, 1169 = 2*t + u. Is t a prime number?
True
Let r be 4194 + 12 + -5 + -3. Let c = r - 1674. Suppose -2*b = -6*b + c. Is b composite?
False
Let h(g) = -4 + 17 - 5*g - 1. Let p be 5/(-1)*1/1. Is h(p) a composite number?
False
Let o be ((-13)/(-26))/(3/18). Is 52/(-6)*o*1969/(-22) prime?
False
Suppose 9*x - 165675 = -49242. Suppose a - 1774 - x = -2*q, -4*q + 29428 = 4*a. Is q a composite number?
True
Let u(q) = 14*q**2 + 9*q + 9. Let h be u(-5). Let m(r) = r**2 - 2. Let s be m(-2). Is 1/s*(h - 0) a composite number?
False
Suppose -6*g = -56 + 20. Let z(n) = n**2 - 6*n + 4. Let u be z(g). Is (-1)/(64545/(-16135) + u) a composite number?
True
Let n = 10318 + -1060. Suppose 22*b - n - 31024 = 0. Is b a composite number?
False
Is 12142672/40 - (-8)/(-10) prime?
False
Suppose 4*m - 5*j + 11 = -33, -20 = 4*m + j. Let i be (m - 1)*(1 + 365/(-35)). Suppose 2*a + 4*r - i = 5*r