omposite number?
False
Is 5/((-21)/(47110035/(-25))) a composite number?
False
Let d be (-31 + 1)*72/20. Let x = d + 679. Is x a prime number?
True
Suppose -92 = -3*f + 2*m - 6*m, 48 = 2*f - 4*m. Suppose 9*i - 4*i - z = 23, 4*z = 4*i - f. Is 4 - (-9130 - 2)/i composite?
False
Suppose 109*k - 2971962 = 9893635. Is k prime?
True
Let d(f) = 3*f - 65. Let k(u) = -3*u + 65. Let s(x) = 6*d(x) + 5*k(x). Let z be s(19). Is (-2)/(-1) - (8 + z + -893) prime?
False
Is (-25)/50 + (225/4*3426 - 3) a prime number?
False
Suppose 0 = 118*s - 108*s - 2866200. Suppose -94*t + 34*t = -s. Is t a composite number?
True
Suppose -4*i - 82*f + 36015 = -77*f, 45024 = 5*i + f. Is i composite?
True
Suppose -11*n + 25*n = 18*n - 26188. Is n prime?
True
Let k(m) = m + 10. Let i be 1*3*(-70)/30. Let b be k(i). Suppose -3*g + 2*l = b*l - 2927, -2*g + 3*l = -1966. Is g a composite number?
False
Suppose 1515 = -2*x + 6999. Suppose 3*z + 339 - x = 0. Let q = -494 + z. Is q a composite number?
False
Let r(m) = -58 + 83*m + 64*m - 14*m - 4*m. Is r(11) a composite number?
False
Suppose -4*k = 5*v - 859537, 3*k + 1089809 = 5*v + 230293. Is v prime?
False
Let n(w) = w**3 + 10*w**2 - 10*w + 17. Let k be n(-11). Suppose -d - 4*o = 27, 5*o + 60 = -k*d + d. Let c(y) = -6*y**3 - 3*y**2 - 15*y + 15. Is c(d) prime?
False
Let q = 44 + -44. Suppose -4*t - 7*t + 66 = q. Let c(y) = -2*y + 31. Is c(t) composite?
False
Suppose 4*z = 8*v - 3*v - 28325, 12*z = v - 5609. Is v prime?
True
Suppose -4*z - 3 - 1 = -4*n, 2 = n. Suppose 0 = -2*f - 2*c + 10, 3*f - 2*c - 21 = -z. Suppose f*x - 560 = 3394. Is x composite?
False
Suppose 0 = 48*x - 25320171 + 316347. Is x a composite number?
False
Let y(x) = 12 + 16 - 6*x**2 - 230*x**3 - 39 + 9 + 2*x. Is y(-4) a composite number?
True
Let p(s) = 10*s**2 + 8*s + 5. Let x(g) be the first derivative of g**4/4 + 5*g**3/3 + g**2 - 6*g + 16. Let i be x(-3). Is p(i) prime?
False
Suppose -73*j + 137368537 = 100*j - 57803662. Is j a prime number?
False
Is 24729 - (-17 + 10 + 17) a composite number?
True
Suppose -b = -2*m + 1, 4*b + 0*m - 2*m = -22. Suppose 3*i + 3 = 15, 0 = 2*o + 2*i + 4. Is (3/2)/(b/(644/o)) composite?
False
Let t(f) = -1087*f - 1409. Is t(-58) a composite number?
False
Suppose 8 + 5 = -b - 5*y, 4*y + 80 = 5*b. Let k(w) = 5*w**3 + 2*w**2 + 4*w + 13. Is k(b) composite?
True
Let b = -280 + 276. Let i(x) = -10*x**3 - 3*x - 3. Is i(b) prime?
False
Suppose 9*a - 10 = 4*a. Let q be (34/(-102))/(1/3462*a). Let l = 1790 + q. Is l a prime number?
True
Let g(h) = -h**3 - 6*h**2 + 9*h + 8. Let k be g(-7). Let c(m) = 224*m - 21. Let t(p) = 222*p - 25. Let r(z) = -4*c(z) + 3*t(z). Is r(k) a composite number?
True
Let h(v) = 24*v**2 + 31*v - 118. Let q be h(5). Let a(u) = u**2 + u - 190. Let m be a(0). Let f = m + q. Is f prime?
False
Let g(d) = -1814*d - 252. Let u be g(-27). Suppose -50*y + 68*y = u. Is y a prime number?
True
Is (6/(-22))/(7/(-156751)) - (-282)/(-1551) a composite number?
True
Let o = -4 - -18. Suppose 10*a = o*a - 3240. Let r = a - 393. Is r composite?
True
Let b(i) = i**3 - 14*i**2 + 24*i + 4. Let x be b(12). Suppose -4 = x*r - 5*r. Suppose -4*a = -3*z - 37 + 470, -r*z + 2*a + 574 = 0. Is z a prime number?
False
Suppose 43072 = 2*q - 3*f, 3*f - 21527 = 17*q - 18*q. Is q composite?
True
Let d be 3*((-78164)/(-6) + -3 + 2). Suppose -112261 + d = -6*y. Is y a prime number?
True
Is (18/7 + -2)/(8/686924) a composite number?
True
Let l be 3*(1/5)/((-2)/(-10)). Suppose -l*u = -u - 4666. Is u a composite number?
False
Suppose 5*d = 2*t - 372711, 4*t + 3*d - 185192 - 560165 = 0. Is t a composite number?
False
Suppose -21160 - 8613 = 19*x. Let i(a) = 193*a + 16. Let w be i(12). Let h = w - x. Is h composite?
True
Let x(r) = -5*r - 235. Let n be x(-49). Let a(o) = 371*o - 189. Is a(n) a composite number?
True
Let t = 46290 + -13417. Is t a prime number?
False
Let l = -580680 - -1076663. Is l a prime number?
True
Let a be 8 + (-4)/4*28. Is 1*938 - a/(-5) a composite number?
True
Suppose -4*n + 0*n = -40. Let l(s) = -11*s**2 - 14*s + 21 + 8*s**2 + 6*s**2. Is l(n) composite?
False
Let p(s) = 42*s**2 - 31*s - 712. Is p(-45) prime?
True
Let c = -55 + 59. Suppose -3*a = -3*n - 9330 - 2211, a - c*n - 3835 = 0. Let k = a - 2592. Is k a composite number?
False
Suppose -4*a + 4*i + 4081040 = 0, -a + 79551 = 4*i - 940664. Is a a composite number?
True
Let z be 33801 - (-7 - ((4 - 11) + 5)). Let l = z + -20479. Is l a prime number?
True
Suppose -5*d - 2 + 22 = 0. Let s be (-6)/(-8) - 39/d. Is -1*4/(-18) + (-10537)/s composite?
False
Let c be (-2)/6 - 140/3. Suppose 3*a = -f + 260, 3*a = -5*f - 643 + 911. Let d = a - c. Is d a composite number?
True
Suppose -74418 - 141686 = 17*s. Is (-1)/(((-56)/(-7))/s) composite?
True
Let v be (3 - 9)*(-2 - 22/(-4)). Let b = -14 - v. Is 376 + b/((-7)/(-3)) prime?
True
Is 60/(-5) + (150 - -3114907) a composite number?
True
Is (952/196)/((-332062)/332066 + 1) a prime number?
False
Suppose 0 = -3*h + 4*o + 7, 0 = h + o + 2*o - 11. Suppose h*g - 667 = n + 977, 3*n + 1324 = 4*g. Suppose -5913 = -5*a - g. Is a composite?
False
Let o be ((-36)/18)/(20/122)*-2155. Let q = o + -5502. Is q a prime number?
True
Let j = -604169 + 1091038. Is j a composite number?
False
Suppose -2*q = 2*q - 4, -5*q = 3*h - 23. Is (-8 + 104/12)/(h/24345) composite?
True
Let h(y) = 4896*y**2 - 26*y - 29. Let o be h(9). Suppose o = 7*s + 16*s. Is s prime?
True
Let c be (-434336)/(-70) - 8/10. Let d = -3895 + c. Is d a composite number?
False
Let c = -77 - -82. Suppose -5*k - 4*j = -990, -k - 786 = -c*k - 2*j. Let b = k + -39. Is b composite?
True
Let q = 504 + -501. Suppose -22005 = -q*j - 24*j. Is j a composite number?
True
Suppose -4*f + 6*f - 1086 = 0. Let s = -33 + 359. Let g = f - s. Is g a prime number?
False
Suppose -3*a + 3797 = q, 5*a - 5931 - 414 = -5*q. Suppose n + 88 = 14*n - 2*n. Suppose 0 = -2*i - 2*t + a, 12*t + 1258 = 2*i + n*t. Is i a prime number?
True
Let m = 4296 + -103. Is m a composite number?
True
Let d = -1 + 9. Suppose -848 = 2*t - 8200. Suppose 4*p = d*p - t. Is p a composite number?
False
Let z(v) = -26113*v + 5291. Is z(-6) a prime number?
True
Let f(b) = 2*b**2 - 25*b + 270843. Is f(0) a composite number?
True
Let d(q) = 702*q - 74. Let g be d(3). Let l = g - 695. Is l composite?
True
Let q(m) = -m + 1. Let d be q(-3). Let o be -4 + 216/52 - d/26. Suppose o = -3*c + 2*a + a + 2985, 3*a + 4967 = 5*c. Is c a prime number?
True
Suppose 15*p - 108951 - 457134 = 0. Suppose y - 7621 = r + 4957, 3*y = 2*r + p. Is y composite?
False
Suppose -2*s = 3*s + 4*z - 6136, s + 5*z - 1223 = 0. Let f be 3284/6*3/2. Let m = s - f. Is m composite?
True
Let t(g) = -g**3 + 107*g**2 - 42*g - 159. Is t(90) prime?
False
Is -7 - ((-227088)/(-27))/(-8)*3 composite?
True
Let l(v) = -389*v**2 + 3*v + 13. Let g(r) = r**2 - 1. Let q(a) = -5*g(a) - l(a). Is q(-3) prime?
True
Let o = 527348 + 492393. Is o a prime number?
True
Let r be 5*(34/(-10) - -3) + 38916. Suppose -6*a = -5*i - a + 38910, 5*i - 3*a = r. Suppose -i - 6784 = -8*q. Is q composite?
True
Suppose -14*h + 40887 = 10563. Let q = h + -905. Is q a prime number?
False
Let k = 17 + -2. Suppose 0 = -y - 3*i - 13, 5*i + k = 4*y - 18. Suppose -m = -5*b + 3179, -b = -y*m - 529 - 114. Is b prime?
False
Let b(s) = -25*s - 10*s + 18 + 2*s - 12. Let a(z) = 33*z - 5. Let u(q) = 5*a(q) + 4*b(q). Is u(8) a prime number?
True
Suppose -7*r - 1596 = 12*r. Is r/(-39) - 2 - 2038239/(-117) composite?
True
Suppose -5*o - 22909 = -4*q + 298292, 2*q = 3*o + 160597. Is q composite?
False
Suppose -5*d + p = 5*p + 26949, 5*p = 5*d + 26985. Let z = -2794 - d. Suppose 3*i - z = 2642. Is i prime?
True
Suppose 3*k - 1 = t - 37, 0 = 4*k - t + 48. Let s(p) = -p**3 - 15*p**2 - 16*p + 2. Let h be s(k). Let c = h + 455. Is c composite?
True
Let q(j) = -j**3 + 15*j**2 - 41*j - 4. Let u be q(4). Is (u/12)/((14/67401)/7) prime?
False
Is (3/(-9))/(47/(-58646271)) prime?
True
Let v be (-15)/2*(2 - 408). Let n = -3522 - -3525. Suppose n*f - 528 = v. Is f a prime number?
False
Let p(g) = -4501*g - 3. Is p(-4) composite?
True
Suppose -9*u + 2352 = -6*u. Let k(c) = 2*c**3 + 12*c**2 + 8*c + 5. Let f be k(-8). Let x = f + u. Is x prime?
False
Let a be (-2 - 39/(-2))*40/14. Let q = a - 56. Is q/(-9) - 1 - 515/(-15) a composite number?
True
Let