composite?
True
Suppose 13*j + 31*j - 27978689 - 41644491 = 0. Is j prime?
False
Let j = -603 - 340. Let b = 1796 + j. Is b a prime number?
True
Suppose -7*b + 3 + 4 = 0. Is (b + -2)/(1/(-2747*1)) prime?
False
Let l be 0/((-1)/3*3). Suppose -4*s = -3*i - 756 - 855, 4*s + 5*i = 1635. Suppose l = g - 2534 - s. Is g prime?
True
Let d be ((3 - -48032)/(-5))/1. Is d/2*-3*(-4)/(-6) a prime number?
False
Let h = -120 - -114. Is 8/12 - (3 - (-55676)/h) prime?
True
Let a(o) = o**3 + 7*o**2 - 10*o + 29. Let q be a(-9). Let m = 42 + q. Is (-23 + m + 2)/(8/(-716)) a composite number?
True
Let q = 295 + -345. Is q/(-10) + (2 - (-2425 + 3)) a composite number?
True
Let o(p) = p**2 + 14*p + 49. Let s be o(-15). Let k = 68 - s. Is (-6)/3 - -751 - k composite?
True
Suppose 0 = -45*x + 26231 + 486724. Is x a composite number?
False
Let t = 16882 + -9705. Let m = t + -5000. Is m a composite number?
True
Suppose 0 = 2*s - 4*u + 33268, -4*u + 2*u = -10. Let a = s + 30177. Is a prime?
True
Let p(v) = 130*v - 15*v + 45 - 16 + 23. Is p(9) a composite number?
False
Suppose 0 = 4*m + 4*p - 431296, -47*m + 48*m - 107818 = -3*p. Is m a composite number?
False
Let q be 11/(77/(-16534))*-1. Let i = q + -511. Is i prime?
False
Suppose -j = 32 - 37, 4*j + 24771 = u. Let t = -16857 + u. Is t composite?
True
Suppose -1198 = -l + 3*s, 4*l + 0*l - 2*s - 4842 = 0. Suppose l - 9797 = -8*b. Is b a composite number?
True
Let d = 115805 - 52755. Suppose -5*h + d = -z, -4*h = -0*z - 4*z - 50424. Is h a prime number?
True
Let a = -5530 + 26921. Is a prime?
True
Suppose -4*q = 2*s - 32174, q - 2518 = -5*s + 5503. Let t = 4135 + q. Is t composite?
True
Let a = -392 - -394. Let h = 19 - 10. Suppose h*k = a*k + 1099. Is k a prime number?
True
Is ((-5)/1 + -20797)/(-6 - -4) a prime number?
False
Let a(u) = -5*u + 39. Let p be a(7). Is 5 + 141 - (1 - (-16)/p) a prime number?
False
Suppose 2*h = -21976 - 56948. Let p = h - -60073. Is p composite?
False
Let m(z) = 354*z**3 - 12*z**2 + 4*z + 145. Is m(16) a prime number?
False
Is 134/201*(-1)/(-2)*(758750 + 1) prime?
False
Is ((-25)/100)/(4/(-8))*482234 a composite number?
False
Let i be ((-4)/8*-3522)/(-1). Let c = i + 2532. Suppose -6*n + 8235 = -c. Is n a prime number?
False
Let t(p) = 277*p**3 - 814*p**3 + 10 - 323*p**2 - 2*p + 317*p**2. Is t(-3) a prime number?
True
Suppose -4*z - 1114 = -6*z. Suppose -z - 794 = -r. Suppose 4*f - 3*d - 1679 = -f, 5*d = 4*f - r. Is f a prime number?
False
Let f be -5 + 9 + -4 + 2. Suppose 5*n - 2*r - 1109 = 0, f*n = -r + 502 - 53. Suppose 3*y + n = i, 3*y + 0*y + 434 = 2*i. Is i a composite number?
False
Let x(l) = l - 6. Let t be (-2)/(-3)*(-66)/(-4). Let v be x(t). Let w(i) = 25*i + 16. Is w(v) composite?
True
Let z = 158 - 145. Suppose z*o - 3*o = 257410. Is o prime?
True
Suppose -m + 4*r + 9971 + 1083114 = 0, 2186221 = 2*m + 9*r. Is m a composite number?
True
Let c(m) = -2*m - 4. Let d be c(-5). Let b be d/(-45) - (-77)/15. Suppose -4*t + 995 = 5*o, -b*o + t = -t - 995. Is o composite?
False
Let k(a) = -21*a**2 - 77*a - 41. Let w(g) = -4*g**2 - 26*g - 14. Let v(n) = -3*k(n) + 8*w(n). Suppose 3*u - 32 = -u. Is v(u) composite?
False
Let g(p) be the second derivative of 91*p**5/20 - p**4 - p**3 + 12*p**2 - 9*p - 4. Is g(5) prime?
True
Suppose 5*q + 58*o = 61*o + 27161, -4*o = 8. Is q a composite number?
False
Let t(i) = i**2 - 12*i + 3. Let j be t(12). Suppose f = -2, 2*a = 8*f - j*f + 92. Is a - 3 - (-2 + (-3)/(-1)) a composite number?
False
Let s(l) be the third derivative of -31*l**4/8 - 38*l**3/3 + 18*l**2 + 2*l. Is s(-23) prime?
True
Let n(y) = 26*y**2 - 18*y - 8. Let s(i) = -27*i**2 + 18*i + 8. Let l(x) = 4*n(x) + 3*s(x). Let q be l(8). Let o = q + -233. Is o a composite number?
False
Let i(x) = 4002*x + 1579. Is i(62) prime?
True
Let f be -1 + -1 + (-3)/(9/(-123)). Let q be 6/48 + f/8. Let x(b) = 25*b**2 + 3*b + 7. Is x(q) prime?
True
Suppose -4*s + 213617 - 831598 = -3*t, -2*s = 3*t - 617969. Is t a prime number?
True
Let p = -581 + 582. Is 0/(p/(-1)) - -4141 prime?
False
Let v = 40364 + -11493. Is v a prime number?
True
Let l(k) = -5*k**3 + 19*k**2 - 6*k + 39. Let d(v) = -6*v**3 + 17*v**2 - 5*v + 38. Let w(f) = -4*d(f) + 3*l(f). Is w(12) prime?
False
Let j(f) = 1 + 3*f**3 + 5*f**2 - 2*f + 5*f - f**3. Let p = -14 - -20. Is j(p) prime?
True
Suppose 0 = -v + 15*v - 20146. Is (v/(-2))/(8/(-16)) prime?
True
Let x be ((-5)/(-15))/((-6)/54). Let s be 15/(-3) + (x - 1). Let r(b) = 20*b**2 - 13*b - 6. Is r(s) prime?
False
Let u be (-1362)/(5 - (-63)/(-18)). Let n = 1723 + u. Is n prime?
False
Suppose 3*d - 82383 = -2*r, -4*r - 2*d = -980 - 163774. Is r prime?
False
Suppose 0 = -3*a + 117 + 42. Suppose -a*y + 44*y = -2313. Is y a prime number?
True
Let c(b) = -2*b**2 + 23*b - 45. Let w be c(9). Suppose w = -2*h + 31831 + 2707. Is h a prime number?
False
Suppose 36705 - 2104 = 56*r - 69951. Is r a prime number?
True
Let l be 2 - -5 - (-1 + 8). Is (l - 10/2)*(-1144868)/316 a composite number?
True
Let s(m) = -m**2 - 10*m + 2. Let b be s(-10). Let f be ((-1010)/(-20))/((5/(-24))/(-5)). Suppose 1577 = 3*c + 2*a, -b*c - 4*a + f = 150. Is c composite?
False
Let s(f) = 2*f**3 + 11*f**2 - 21*f - 49. Let p be s(11). Let a = p - -488. Is a a prime number?
True
Let t be -2 - ((-26)/13 - 2852/(-2)). Let d = t - -2032. Suppose d = 40*l - 38*l. Is l composite?
True
Suppose 0 = 8*s + 83 - 211. Suppose t = -s*t + 4947. Is t a prime number?
False
Let q(j) = -741*j**3 + 2*j**2 - 13*j - 23. Is q(-7) a prime number?
True
Suppose 297 = 3*w - 5076. Let p = w - -2698. Is p a composite number?
True
Suppose -4*z - 14 = -t - 97, t + 81 = 3*z. Let f = t - -648. Is f prime?
False
Let o(d) = -7*d**3 - 180*d**2 - 29*d + 55. Let f(r) = -r - 85. Let v be f(-57). Is o(v) a composite number?
False
Suppose 403*p - 42975410 = 39151557. Is p composite?
False
Suppose 14*h + 295773 + 311631 = 0. Let m = -19785 - h. Is m a composite number?
True
Let w(x) = 7. Let i(f) = -53 + 16*f - 15*f + 61. Let r(v) = -3*i(v) + 2*w(v). Is r(-23) prime?
True
Let o = -64787 + 90784. Is o a prime number?
True
Suppose 4*l = -2*k + 8 + 6, 5*k + 7 = 4*l. Suppose -b = l*b - 44. Let u(m) = 41*m - 6. Is u(b) composite?
True
Is (1 - (-1086518)/14) + 597/(-21) + 28 composite?
True
Let z(h) = h**3 - 2*h**2 + h + 2. Let j be z(2). Suppose 4*a = -a - 2*t - 3636, j*t = 4*a + 2892. Let l = 1781 + a. Is l composite?
True
Let m be ((-38995)/2)/(2/(-4)). Suppose -37*k = -26*k - m. Is k a composite number?
True
Suppose 2*u - 4*b = 1346, 5*u + 4*b - 4518 = -1181. Let s = -1271 + u. Let k = s + 1371. Is k prime?
True
Let w be (1/(-3))/(483/252 + -2). Suppose -p = 2*a - 12, 9 = a - 2*p - 2. Is (298/4)/(w - a/2) a prime number?
True
Let f = -212 + -306. Suppose m = -2*w + w - 1284, -1282 = w + 3*m. Let s = f - w. Is s a prime number?
False
Suppose -5*a - 66822 + 450307 = 0. Suppose 42891 + a = 28*t. Is t a composite number?
False
Suppose 2 = -2*w + 82. Suppose 0 = -14*h + 4*h + w. Suppose 2*n = -4*t + 368, h*n - 374 - 344 = -2*t. Is n composite?
True
Let z(p) be the second derivative of p**7/10 + p**6/360 + p**5/120 - 3*p**4/8 - 19*p**3/6 + 16*p. Let a(j) be the second derivative of z(j). Is a(3) composite?
True
Let k(j) = 5010*j**2 + 3*j - 163. Is k(-10) a composite number?
False
Let f(g) = g**3 - 3*g**2 - 8*g - 5. Let l be f(5). Let r be 20*l/((-5)/1). Is (r/6)/((-30)/585) prime?
False
Suppose 4*g - 23433 = -3*m, 6*g + 6 = 8*g. Is m a composite number?
True
Let a(y) = y - 10*y**3 + 278 - 2*y**2 - 5*y - 305. Is a(-8) prime?
False
Let w(k) = -67*k + 15. Let p(q) = 67*q - 15. Let i(x) = 4*p(x) + 3*w(x). Let y be i(9). Suppose -3*v + 189 = -y. Is v a prime number?
False
Suppose -241*r - 225805 = -246*r + 2*b, 0 = -3*b + 2*b. Is r composite?
False
Let z = -566 + 814. Suppose -3*p + 2*p - f = -z, -5*f - 266 = -p. Is p prime?
True
Suppose -117*m + 9387189 = -2135383 - 9609617. Is m a prime number?
True
Let m(d) = -d**2 - 20*d - 11. Let g be m(-18). Let x(o) = -o**2 + 42*o - 46. Is x(g) prime?
True
Suppose 288*z - 286*z - 4*n - 46586 = 0, 0 = -z - 2*n + 23301. Is z a composite number?
False
Is (10585431/(-54))/(6/(-12)) a composite number?
False
Let k(g) = 5105*g**2 + 28*g - 46. Let y be k(-13). Suppose 0 = 21*f + 24*f - y. Is f prime?
True
Suppose 0 = 4*t - 17965 - 9579. Suppose -w =