8*c + 677. Is y(5) a composite number?
False
Let d(q) = 2563*q - 2. Let i be d(1). Let z = 4828 - i. Is z a composite number?
False
Suppose u = -4*l + 12, l + 0*l - 18 = -4*u. Suppose 7*r - 3*r - 5698 = -l*f, 3*f - 8602 = 5*r. Is f composite?
True
Suppose 318053 - 167212 = 2*k - 568065. Is k prime?
False
Is ((1/2)/(6/807524))/((-65)/(-195)) prime?
True
Suppose 4*x = -16, x - 4*x - 20 = -w. Let b be 2 + -2 + (w - -765) - -2. Let z = 190 + b. Is z a prime number?
False
Let p(n) = -1035*n**3 - n**2 - 12*n - 31. Is p(-5) a prime number?
True
Let g = 825687 - 579218. Is g composite?
False
Suppose -1715*m = -1739*m + 12719640. Is m a composite number?
True
Suppose -12*r + 7*r - 225 = 0. Let b = 786 + r. Suppose 0 = -3*p + b + 396. Is p a composite number?
False
Let g = 353 - 10. Suppose -11*j + 47324 = g. Is j prime?
True
Let t be 1096/(3 - (-2 - -4)). Suppose t = b - 3625. Is b a composite number?
False
Let d = -60 + -29. Let v be 135/(-21) + 4/(-7). Is (1 - -1)*v*d/2 prime?
False
Suppose 5*d - 5*l = 4*d - 24, 0 = -2*d + 3*l - 13. Is (-3 - (-5 + -329))*d composite?
False
Let o(n) be the first derivative of 245*n**3/3 + n**2 + 31*n - 59. Is o(-4) composite?
False
Suppose 0 = 4*k - v + 17080 - 2364, 0 = -2*k - v - 7352. Is 8 - (2 + k + -7) prime?
True
Let a(u) = 246*u + 5. Let l = 62 - 49. Is a(l) composite?
False
Let z = 168552 - 86423. Is z composite?
False
Let u(h) = 1520*h + 8. Let f be u(1). Suppose 0 = -4*g + 960 + f. Let z = g - 291. Is z a prime number?
True
Let y be ((-12)/(-7))/(22/77). Let t(i) = -y*i**2 - 33*i**3 + 8*i - 2*i + 5 + 43*i**3. Is t(4) a composite number?
True
Let m be 143/13 - (-21)/(-3). Suppose m*j = -0*v - 2*v + 5550, v = -5*j + 2772. Is v a prime number?
True
Is 14*(-81)/4914 - 2558572/(-13) prime?
False
Let f(m) = m**3 + 5*m**2 + 4*m - 15. Let x be f(-5). Is (-4)/7 + ((-102115)/x - 4) prime?
False
Let i = 753227 + -173616. Is i a composite number?
False
Suppose -1 = 5*k - 21, 5*c - 2*k = 7. Let b(o) = 77*o**2 + o + 5. Is b(c) a prime number?
True
Let d be (-12)/(-30)*10 + (8172 - 1). Suppose -2*p - 3*p = 4*o - d, -3283 = -2*p + o. Is p a prime number?
False
Let w(n) = -n**2 + 6. Let r be w(3). Let x = -7 - r. Is ((-20)/15)/(x/102) a composite number?
True
Let w be (1 - 1 - -2)/((-9)/(-71289)). Suppose 2*h = 2*c - w, 2*c = c - h + 7921. Is c a composite number?
True
Let f = -46 + 54. Suppose 10*v - 212 - f = 0. Is (-1 + 8)*(v + 255) a prime number?
False
Let l(r) = -94*r + 567. Let h be l(6). Let t = -496 - -839. Suppose t + 266 = h*u. Is u prime?
False
Is (0 + 1)/((-34)/(-370498)) composite?
True
Let s(t) = -5*t + 11*t + 2 - 2 + 3. Let i be s(0). Suppose -i*k + 1803 = -3*v + 7*v, 1347 = 3*v + 4*k. Is v composite?
True
Suppose 4*g - 4*m - 2816 = 0, 855 = 2*g + 5*m - 574. Suppose 8062 = g*o - 705*o. Is o prime?
False
Suppose p = j, 3*j = -3*p - j. Suppose -7*u + 16 - 2 = p. Suppose 0 = 5*n - u*b - 595, 2*b = -5*n + 3*n + 238. Is n prime?
False
Suppose 0 = -2157*d + 2166*d - 190602. Is d a composite number?
True
Let i(u) = -2*u**3 - 4*u**2 + 9*u + 34. Let l be i(-3). Let t(w) = w**3 - 6*w**2 + 20*w + 76. Is t(l) a prime number?
True
Suppose 0 = 3*o - 0*o - 120. Suppose 0 = 2*t - 10*t + o. Suppose -1 = k, t*q + 3*k = 2*k + 54. Is q a composite number?
False
Is 108/(-38 - -11)*(975087/(-4))/3 prime?
False
Suppose 3*o + 2*a - 237 - 628 = 0, 2*o + 4*a - 582 = 0. Let j = o - -264. Is j + 0 - 4/8*-4 composite?
True
Let m(w) = 34602*w**2 - 177*w - 19. Is m(6) composite?
False
Let i(d) = 12373*d**2 - 47*d + 47. Let c(z) = -3*z**2 + 8*z + 4. Let f be c(3). Is i(f) a prime number?
True
Is 1/(((-132)/220)/((-1)/5))*670407 a prime number?
True
Let f(q) = -238*q**3 + q**2 + q - 1. Suppose 5*a + 0*j - 3*j = 20, -2*j - 8 = 2*a. Let i be f(a). Let d = i - -638. Is d composite?
False
Let l = 83542 + 55321. Is l prime?
True
Suppose 14*j = 351 + 6607. Suppose -237*m = -236*m - j. Is m prime?
False
Let s = 89787 - 20882. Is s a prime number?
False
Suppose -2*t + 4*o + 586 = -50204, 0 = 4*t + 3*o - 101602. Is t prime?
False
Let n = 237 - 869. Let b = 339 - n. Suppose -q - 24 = -b. Is q a prime number?
True
Let m(f) = 13*f - 59. Let t be m(4). Is (t/28)/((-4)/75536) prime?
True
Let v be (5 + (-237)/(-6))*8. Suppose 1 = -2*g - 1, 2*g - v = -2*f. Is f prime?
True
Let h = 61470 + 52991. Is h a prime number?
False
Let j(l) = -207*l - 29. Let g be j(-8). Suppose -1529 = 3*h + g. Is h*((-7)/(-4))/(-7) prime?
True
Let m = 80 + -103. Let d(f) = -f**3 - 24*f**2 - 23*f. Let j be d(m). Suppose 6*w - 672 - 16326 = j. Is w prime?
True
Let n(a) = -12*a + 3. Let p be n(-1). Suppose -p = -5*b, o + 2*b - 2654 = -0*b. Suppose 3*j - o + 887 = 0. Is j a composite number?
False
Let r = -719 + 713. Is (r/(-3))/(16/(-1491960)*-3) composite?
True
Suppose 5*j + 20*r = 19*r + 4217, 0 = -2*r + 4. Suppose -834*o + j*o - 1665 = 0. Is o a composite number?
True
Suppose -5*s - 878 = -4*k + 2*k, 4*k - 1736 = 5*s. Suppose -35538 = k*g - 435*g. Is g a prime number?
True
Suppose 4*n = -z + 991593, 30*n - 3*z = 28*n + 495779. Is n a prime number?
False
Let t = -129 + 120. Is (t - (-64)/8)/((-1)/159) prime?
False
Let m(b) be the first derivative of -555*b**2/2 + 38*b + 14. Is m(-4) composite?
True
Let d(r) = -3775*r + 761. Is d(-18) composite?
False
Suppose 32*c = c + 93. Suppose c*q = -9, 2*s - q - 12392 = -2667. Is s a prime number?
True
Suppose 78447 - 238547 = -20*l. Is l a composite number?
True
Let h(l) = -l**3 + 3*l**2 - 8*l - 4. Let g be h(5). Let m = g - -79. Is ((-41016)/36)/(2/m) a prime number?
False
Let j(u) = 659*u**2 - 4*u + 18. Suppose -17*s + 28 = -10*s. Is j(s) composite?
True
Suppose 3*w + 2*m - 22 = 740, -756 = -3*w - 4*m. Suppose 9*n - 729 + 2268 = 0. Let f = w + n. Is f prime?
False
Suppose 249909 = 2*n - d, -26 - 2 = 4*d. Is n a composite number?
False
Suppose -113*a + 111*a - 10840 = 0. Let s = -3747 - a. Is s a composite number?
True
Let o be (134/8)/(3/132). Suppose -55*l = -50*l - 2510. Suppose 3*g - o = l. Is g prime?
False
Suppose 4*o = -20, -1394 = s + 5*o - 0*o. Let z = 2138 + s. Is z a prime number?
True
Let q be (-12 - 0) + 1/((-2)/4). Let r = q + 6. Is r/(-2) + 0 + 2145 prime?
False
Let q(i) be the second derivative of i**5/20 - 4*i**4/3 + 13*i**3/6 + 15*i**2 + 20*i. Let a be q(15). Suppose 4*g - 2972 = -a*g. Is g a prime number?
True
Let s(q) = 9511*q + 3394. Is s(9) a prime number?
True
Let o = -141 - -146. Let k(c) = 15*c**3 + c**2 + 2*c - 3. Is k(o) composite?
False
Suppose -2*b - 2*b = v - 108, -4*v = -3*b + 100. Suppose 47*a - b*a = 460807. Is a composite?
True
Let x = -11 + 13. Suppose 3 = -2*t - 3*m + 7, -2*m - 40 = -4*t. Suppose -x*u = -t*u + 942. Is u a prime number?
True
Is -16 + -11 + -3 + 88917 a prime number?
False
Suppose -1342393 + 275365 = -6*c. Is c prime?
False
Let p be (-10*30/(-200))/((-6)/(-8)). Is (-4 + 2271/6)*p a composite number?
True
Suppose -p + 361 + 308 = 0. Let g = p - 38. Is g a composite number?
False
Suppose 425 = 6*a - 7. Let v = a + -66. Suppose -v = -3*l, 4*g = -0*g + 2*l + 5440. Is g a prime number?
True
Suppose -w = -3*v + 7, -25*v - w + 3 = -23*v. Let x = 0 + 2. Suppose x*h - 356 = -v*h. Is h prime?
True
Let m be ((-6)/8)/((-3)/(-12)). Let s be (7/m)/((-2)/6). Let a(h) = 21*h + 22. Is a(s) prime?
False
Let m(w) = 4*w - 5. Let d be m(2). Suppose -d*z = 5*z. Is 77 + z + 0 - 3 prime?
False
Let p = -1167 + 552. Let f = p - -7162. Is f a prime number?
True
Let i(h) = h**2 - 2*h + 1. Let m(g) = -92*g**2 + 6*g + 4. Let n(y) = -5*i(y) - m(y). Let o = -2 + 6. Is n(o) prime?
True
Suppose 4*o + 5*q - 6 = 0, -13*o + 8*o + 3*q - 11 = 0. Is (217/62)/(o/(-6)) composite?
True
Let l(q) = 32 - 10 - 4 - 9 + q. Let w be l(-6). Suppose 0 = w*u + 3*u - 1794. Is u prime?
False
Let a(l) = 55 + 2 - 5 + 32*l**2 - l**3 - 14*l. Is a(21) a composite number?
True
Suppose -2038 = -4*u - 414. Suppose -g - u = -1449. Is g a composite number?
True
Is -3 - -195880 - -4*(-8 + 9) prime?
False
Let o be 39/8 - (-5)/40. Suppose -9*i = -13*i - 4*r + 9152, 2*r + 11433 = o*i. Is i prime?
True
Let s(h) = -59*h + 13 - 5*h**3 + 80*h - 29*h**2 + 4*h**3. Is s(-34) prime?
False
Suppose 0 = k - 5868 - 1756. Let o be (36/4)/(-54 - -57). Suppose o*s + 2*n + 10174 = 7*s, -5*n + k = 3*s. Is s a prime number?
True
Suppose 0 = 4*g - 5*b - 10 - 11, 3*b - 9 = -