omposite?
True
Is ((-13)/169)/(16/(-212928976)) composite?
False
Suppose 3*j + 4 - 12 = -4*c, -2*j + 3*c = -11. Suppose 0 = 4*n - 4*a - 3216, 7*n = 4*n - j*a + 2377. Is n composite?
True
Suppose -1 = -5*u + 2*u + 5*b, -5*u + 15 = 5*b. Suppose u*g = -d - 1 + 2, 3*d - 3 = -4*g. Is (g - (-2138)/22) + (-38)/209 a composite number?
False
Suppose 4*u + 12*u = 95072. Suppose 3366 = g - 3*v + 415, -2*g - 2*v = -u. Is g a prime number?
False
Is -2 + -1 + -1 - (-7107 + -28 + 16) a prime number?
False
Suppose -777686 - 12151527 = -121*k. Is k prime?
True
Let p be 8/(-16)*(12 - -2). Let t(x) = x**3 + 5*x**2 - 15*x - 6. Let m be t(p). Is m/(-3) + (-15250)/(-75) a composite number?
True
Is (-18 + 9456756/(-48))/(15/(-12) - -1) prime?
False
Let p(a) = -a**3 - 7*a**2 - 6*a + 2. Let m be p(-6). Suppose -2*x = -m*n - 72, n = 2*x + 2*n - 84. Suppose 43*v - 642 = x*v. Is v a composite number?
True
Let n(i) = i**3 + 12*i**2 + 2*i + 26. Let x be n(-12). Let f be 3/12*(x - -3746). Suppose 72 - f = -l. Is l prime?
False
Let p(j) = j + 25. Let v(n) = n**3 - 2*n**2 + n + 30. Let a be v(0). Let f = 19 - a. Is p(f) a composite number?
True
Let k be -91*(-1 + 2) + (-10 - -9). Is (-1)/(2/(-1)) + (-822342)/k prime?
False
Let g = 166891 + -89729. Suppose -6254 = -8*t + g. Is t a prime number?
True
Suppose 979488 = 17*b - 1476655. Is b a composite number?
False
Let r(i) = i**3 + 8*i**2 - i - 6. Let q be r(-8). Let x be (11/(-1))/((-255)/127 + q). Suppose m = s + x, -6*m + 2*m = 5*s - 5606. Is m a composite number?
False
Let o(l) be the first derivative of 10 + 77*l + 5*l**2 - 70*l - 3*l**2. Is o(6) composite?
False
Let q be -2*(-7 - -6) - (-4)/(-2). Suppose 739 = u - 4*t, 5*u + q*u - 3*t - 3610 = 0. Is u composite?
False
Let z be (-30)/(-4)*86/129. Suppose 0 = -z*b - 25, -3*s - 6*b = -b - 23396. Is s prime?
False
Let x be (1 + 3/(-12))/((-17)/68). Is ((-702)/(-5) - -8) + x/(-5) composite?
False
Let b(o) = 242114*o + 675. Is b(1) a prime number?
True
Let d = -13768 + 20501. Is d composite?
False
Let r = 540186 - 251963. Is r composite?
True
Suppose -9*g + 48 + 87 = 0. Suppose 3*n = 4*n + 5*w - 25, g = 4*n + 3*w. Suppose c + y - 275 - 269 = n, -3*y + 550 = c. Is c prime?
True
Suppose -4*i + 3*n = -34 - 538, -4*i - n + 572 = 0. Suppose 0 = i*u - 153*u + 106710. Is u composite?
True
Is (-1073399)/(-39) + (-26)/507 a prime number?
False
Let x = 154 + -176. Let a(z) = 2*z**2 + 14*z - 25. Is a(x) a prime number?
False
Suppose 0 = -56*l - 53*l + 15*l + 102780070. Is l a prime number?
False
Suppose h = -5*t - 9, 2*h + 7*t - 9 = 6*t. Suppose s + 2*s = 3*i - h, 4*i + s - 28 = 0. Suppose 0*a + i*a - 1770 = 0. Is a a composite number?
True
Is (28/(-84)*(1 - 86790))/((-2)/(-6)) a prime number?
False
Let s be ((-234)/8)/(145/(-140) + 1). Suppose 8*j - 203 = -s. Let d = 408 + j. Is d a prime number?
True
Let d(u) = 23*u + 51. Let y be d(-2). Suppose 2*x = -5*h + 7607, 0 = -2*h + y*h - 5*x - 4589. Is h a composite number?
False
Let v(l) = -51*l**3 + 22*l**2 + 98*l + 27. Is v(-16) a composite number?
False
Let f(p) = 31*p**2 - 3*p + 17*p**2 + 7*p**2 + 21*p - 27 - 15*p**2. Is f(-7) a composite number?
True
Suppose -4*u - 8*u = -17736. Let m = 193 + -191. Suppose m*c = -0*c + u. Is c prime?
True
Suppose 2*l = -v + 364646, -5*v - 358851 = -4*l + 370483. Is l a composite number?
True
Suppose 5*s + 3*w - 1191464 = 0, 4*s - 5*w = 869533 + 83653. Is 3/(-2) - s/(-28) prime?
False
Let b be ((-63)/(-6))/(-7)*4. Let c(p) = -3*p**3 + 18*p + 23. Is c(b) prime?
True
Let w(y) = -9*y - 12. Let i be w(-2). Is (-4703)/((1/2)/((-3)/i)) composite?
False
Suppose 0 = -69*l + 13359186 + 2668479. Is l a prime number?
False
Let u be 4*3/6 + 47. Let g be 21989/7 + 8 + (-406)/u. Suppose -g = -3*m - 5*x, m = -3*m + 5*x + 4153. Is m a composite number?
True
Suppose k = -27*k + 224. Suppose -468 = k*l - 2236. Is l composite?
True
Let p(b) = -10*b - 169. Let f be p(-18). Is -4*8/(-176) + 12549/f a composite number?
True
Let r(z) = 31*z**2 - 3*z - 13. Let w be r(9). Suppose 3*x = 2*x - 1332. Let p = x + w. Is p prime?
False
Let n = -291 + 789. Suppose -496*d - 3070 = -n*d. Is d a prime number?
False
Let k(f) be the second derivative of 11*f**4/12 - 4*f**3 + 3*f**2 + 2*f + 1. Is k(-17) composite?
False
Suppose 365*r - 366*r + 42 = -5*i, -5*i - 57 = 4*r. Let s be 12*(1 + (-1266)/4). Is (s/(-2)*(-6)/i)/2 a composite number?
False
Suppose 0 = -z + 2 - 4. Let l(m) = -2*m - 4. Let i be l(z). Suppose -3*c + 6*c - 1695 = i. Is c composite?
True
Let r(h) = -h + 4. Let m be r(0). Suppose 14 = 2*d - m*y, -3*y - 15 = 2*y. Is d*(232 + 0) - (1 - 2) prime?
True
Suppose -47*g + 2050643 = 26*g. Is g a composite number?
True
Let y be (-2)/11 - (-24)/11. Suppose -18*j + 1906 = i - 17*j, -y*i + 5*j + 3819 = 0. Is i prime?
True
Suppose 13 + 8 = 7*p. Let f(l) = -2*l**3 - 7*l**2 + 9*l + 11. Let x be f(-7). Suppose -6*r - 3*c + 194 = -4*r, 2*c = -p*r + x. Is r composite?
False
Suppose 3*x = 3*s - 1179117, 2*s = -4*x - 9604 + 795658. Is s a composite number?
True
Suppose -m - 568 - 890 = 0. Let p = 196 + m. Is (-4)/(-8)*-1*p a prime number?
True
Let s be (-9)/(-45) + (-4)/20. Suppose 17*b - 10*b - 38479 = s. Is b prime?
False
Let g be 2*(-57)/27 - (-6)/27. Is (130/20)/((-1)/g) a composite number?
True
Suppose -41*j = -35*j + 336. Is 6213 + 8/j + (-26)/14 a composite number?
False
Let o = -61 - -63. Let a be o/(-5) + 88/20. Is (-6)/(-8) - (-1001)/a composite?
False
Is (2044/(-42))/((-4359)/(-873) - 5) a composite number?
True
Let h be (-597)/12 + (-7)/(-4) + -2. Is (-231642)/(-45)*h/(-20) a composite number?
True
Let l(n) = 24381*n - 26. Is l(5) prime?
False
Let r(f) = -409*f**3 + 15*f**2 + 7*f + 41. Is r(-12) composite?
True
Is -1 + (-66163)/(-6) - (-11 - (-122)/12) a prime number?
True
Is (-316906 - 41)*(-22)/6 composite?
True
Suppose -4 = -3*m + m. Suppose -l = 4*f - 11, -l + 9 = -f - m. Let r(z) = 2*z**3 - 16*z**2 + 9*z + 14. Is r(l) composite?
False
Let w(t) = -2006*t - 2965. Is w(-9) a composite number?
True
Let c(g) be the third derivative of 29*g**6/180 - g**5/24 + g**4/12 - 4*g**3 - 26*g**2. Let r(m) be the first derivative of c(m). Is r(-5) a composite number?
True
Suppose 4*k - 8 = -20, -5*j = 2*k - 3874. Let t(l) = -2*l - 2 - 45*l**2 - j*l**3 - 2055*l**3 + 45*l**2. Is t(-1) composite?
True
Let d be 16/7 + (-38)/133. Let n(q) = 142*q**2 - 16*q**2 - q + 96*q**d. Is n(-1) prime?
True
Let o = -1008330 - -2155421. Is o a prime number?
False
Let v(s) = -s**2 - 1 + 0*s**2 + 0*s + 4*s. Let q be v(3). Suppose y + 213 = 2*y + 4*p, -q*y + 5*p = -400. Is y a prime number?
False
Let c(a) = a**2 - 6*a + 16. Suppose 3*w - 5*v - 12 = -55, 5*w + 2*v + 82 = 0. Let t = 1 - w. Is c(t) prime?
False
Let c = 56198 + -34110. Suppose -5*k - 3*q + 22094 = 0, 7*k - c = 2*k - q. Is k a composite number?
True
Suppose 10*q - 511755 - 482640 = -228445. Is q composite?
True
Let c be 2 - (-1303 + 14)/((-1)/(-4)). Is (c*(-3)/(-12))/((-10)/(-20)) a prime number?
True
Suppose 2*q = 5*f - 17983, f - 4*q = -2*q + 3595. Let u = 46 + -51. Is 2/u + f/5 a composite number?
False
Let v be (1902/8)/((-8)/320 + 0). Let z = -6363 - v. Is z prime?
False
Let c(y) = y**2 - 13*y - 63. Let g be c(-7). Is 9998 - -3 - (g/(-7) + 5) prime?
True
Suppose -347*r = -352*r + 950. Let p = r + -157. Is p composite?
True
Suppose -23*q = -27*q + 16. Suppose 2*u - 9496 = -3*w, -4244 = q*w + 3*u - 16907. Let v = w + -2195. Is v prime?
True
Let s(o) = o**3 - 13*o**2 + 21*o + 19. Suppose -4*i + 3*k = 3 - 35, 0 = -i + k + 7. Let w be s(i). Is 2108/w - 2/4 prime?
True
Let w(q) = 200*q**2 - 9*q - 12. Let k(m) = -m**3 + 2*m**2 + 16*m - 2. Let n be k(-3). Is w(n) prime?
False
Let y(q) = -1698*q + 1. Let n(u) = -1699*u + 6. Let w(f) = 1. Let i(z) = n(z) - 5*w(z). Let b(j) = -6*i(j) + 5*y(j). Is b(2) a prime number?
True
Let v be (6/(-2))/((-16755)/(-16764) + -1). Suppose o = 2*c - 6178, v = 4*c + 2*o - 6752. Let l = -1198 + c. Is l prime?
True
Let a = 2493 - 1704. Let f(v) = v**2 - 2*v. Let n be f(3). Suppose n*b - a = -84. Is b composite?
True
Suppose -11*i - 308368 = -15*i + 4*l, i + 2*l - 77095 = 0. Is i a prime number?
True
Suppose -4*u + u - 27 = -n, 5*u + 44 = 2*n. Let a(f) = -2*f - 11. Let k be a(u). Let q(z) = 3*z**3 - 10*z**2 - 13*z + 7. Is q(k) composite?
True
Suppose 13*l = 19*l. Suppose -4*a - 