s z/(-7)*(-1 - 8/(-6)) a composite number?
True
Suppose 4*f - 46 = 70. Suppose 25*t = f*t - 8780. Is t prime?
False
Suppose -6*c - 6 = -8*c. Suppose 0 = -11*v + 23*v - 25632. Suppose -5*i = 0, 4*s - 3124 = -c*i + v. Is s prime?
False
Let v(z) = 407*z**3 + 2*z**2 + 64*z - 447. Is v(8) a prime number?
True
Let o = -24 - -27. Suppose 27 = 5*t - o. Suppose t*x - 5*x = 985. Is x composite?
True
Let a = 1148261 + -731874. Is a prime?
True
Let a(s) = -s**3 + 3*s**2 + 8*s + 7. Let z be a(5). Is (((-46288)/12)/4)/(z/9) composite?
True
Let i(c) = 16*c**3 + 2*c**2 + 2*c - 1. Let z be i(2). Suppose a - 3*d - 123 = 0, -a - 3*d = -z + 10. Suppose -a = -7*b + b. Is b a prime number?
False
Let g be (4/(-10))/(-8 + 5471580/683950). Let i = 22806 - g. Is i a composite number?
False
Let i(c) = c**2 - 3*c + 110. Let z be i(0). Suppose 116*y - 3306 = z*y. Is y a composite number?
True
Suppose -6*x - 34150 = -x. Let a = -9696 - x. Is 6/(-14) + a/(-7) composite?
False
Suppose -6*m = -4*m + 4*k - 42, -47 = -3*m - 2*k. Let b = -9 + m. Suppose b*r - v + 2080 = 9972, -2*r + v = -3946. Is r a prime number?
True
Let s = -427 - -427. Suppose 5*i + s - 5 = 0, -d - 5*i + 1906 = 0. Is d prime?
True
Let t(j) = -43996*j - 45. Let m be t(-4). Suppose 10*i = m - 52929. Is i prime?
True
Let i(c) = 5*c - 90. Let h be i(18). Suppose h = -2*m + l + 10959, -2*l + 5 = -l. Is m a prime number?
False
Suppose -166*a + 92802644 = 318*a. Is a a prime number?
False
Suppose -t - 25460 = -6*t. Let u = -53 + 57. Suppose u*g - 6136 = t. Is g a composite number?
True
Suppose 0 = -2*i + 5*a + 1421, -23*i + 18*i = 2*a - 3509. Is i a composite number?
True
Suppose -3*k - 2815 = 4*j, 108 - 1043 = k + 3*j. Let w = -333 + k. Let c = -641 - w. Is c composite?
True
Let l(j) = -3*j**3 - 24*j**2 - 48*j + 22. Let f be l(-22). Let c = f - 11439. Is c composite?
False
Let b = -101 + 116. Let p(o) = -o**3 + 14*o**2 + 14*o + 17. Let z be p(b). Suppose 4*u + n = 17928, z*n - 4861 + 372 = -u. Is u a composite number?
False
Let n(i) = -i + 36. Let j be n(17). Let t(v) = 16*v**2 + 11 - j*v + 32*v - 17*v. Is t(5) a composite number?
True
Suppose 2*a - 2*u - 3759 = 1551, -2*u = -8. Let y = a + -1406. Is y prime?
False
Let y(a) = 12*a + 68333. Let o be y(0). Suppose -5*z + o = 18*z. Is z prime?
True
Suppose 261*u = 263*u - 4*l - 300274, u - 150125 = -2*l. Is u prime?
True
Let y = 10092 - 5542. Suppose -3*q - y = -5*q. Let v = q - 1434. Is v composite?
True
Let o = 247465 + 121026. Is o prime?
True
Suppose -2*x + 1135038 = -4*c, 73*x = 77*x + 5*c - 2269972. Is x a prime number?
False
Is (15 + -13 + 24)*(-142)/(-4) a composite number?
True
Let f be (3/1 - -48) + 2/2. Let k be 120510/f - (0 + 1/(-2)). Let i = k - 1423. Is i a composite number?
True
Suppose -q - 5*h = 2637, 3*h - 7979 = 3*q + h. Let m = q + 6668. Suppose -1337 = -g + 2*u, -m = -3*g - 0*g - u. Is g a prime number?
False
Suppose 3*c - 333201 - 774537 = -3*x, -2*c + 5*x = -738499. Is c a prime number?
True
Let u = 415 - -752. Let d = -2857 + u. Let h = 2883 + d. Is h composite?
False
Is -1*3*(5533801/(-21))/13 a prime number?
True
Suppose -5*r + 6*r = 3. Suppose 592 = -r*j + 5*j. Suppose 8*c = 12*c - j. Is c prime?
False
Let p(q) = -606*q + 2. Let y be p(-28). Let t = -10633 + y. Is t composite?
False
Is 404223/2*(728/(-168) - (-7 - -2)) prime?
True
Suppose 0 = 3*b - 5*b - 3*b. Suppose -3*g - 23*k + 28*k + 1852 = b, k + 2 = 0. Is g a prime number?
False
Suppose 5 = 4*g + v, -g + 4*v + 9 + 5 = 0. Suppose g*j - 2947 - 999 = 0. Is j prime?
True
Let l(y) = y**3 - 3*y**2 + y - 1. Let j be l(3). Suppose -1881 = -j*h + h. Suppose -h = -3*m + 510. Is m composite?
False
Suppose -8*z = -49 - 23. Let v(p) = 190*p**3 - 2*p**2 + 2*p**2 - z*p + 10*p. Is v(1) a prime number?
True
Let k(g) = -7*g + 20. Let a be k(9). Let m = -39 - a. Suppose -2*h + 445 + 153 = -m*o, 3*h + 2*o - 921 = 0. Is h composite?
True
Let h(q) = -5*q + 1. Let r(s) = 1366*s - 1. Let x(k) = -h(k) - r(k). Is x(-3) composite?
True
Let o(p) = -18*p**3 + 353*p**2 - 48*p + 3. Is o(-20) prime?
True
Suppose 2*w - 7123 = d + 7020, -3*d = -2*w + 14153. Is w a composite number?
False
Let k = -610 + 614. Is -4 + (32835 - 4) + k a prime number?
True
Let b be 5 - 7 - (-1 - -2). Let f(n) = -53*n - 7. Let o be f(b). Let g = -81 + o. Is g prime?
True
Suppose -7*x + 3*x = -4. Let n(q) = 1635*q - 4. Let p(l) = -8709646*l + 21307. Let g(a) = -21307*n(a) - 4*p(a). Is g(x) prime?
False
Suppose 76*b - 14021606 = -311*b + 20849803. Is b prime?
True
Suppose 0 = -0*t - 2*t + 8. Suppose 0 = -t*l - 4*l + 440. Suppose -5*b = 5*p - l, b = 2*b - 2*p - 20. Is b a composite number?
True
Suppose 9*a - 16 - 2 = 0. Is 6*(-75333)/a*16/(-144) composite?
False
Let w = -100 + 104. Suppose -o = -5*a + 20416 + 63637, 0 = w*o - 8. Is a a prime number?
True
Let x be (-912)/(-108) - 8/18. Suppose -x*j + 8572 = 3*v - 3*j, -3*v - 4*j = -8573. Is v a prime number?
False
Suppose 0*g + 31*g - 643325 = 6*g. Is g a prime number?
True
Is (245/(-10) + 10)*-1006 a composite number?
True
Let y(d) = 4720*d**2 + 37*d - 202. Is y(5) prime?
False
Let z(t) = t - 9. Suppose -4*p + 7 = -13. Let o be z(p). Is o - (-177)/(-3)*-1 prime?
False
Let o = 116515 - -448594. Is o a composite number?
False
Let j(c) be the first derivative of 26*c**3/3 - 5*c**2 + c + 53. Let d be j(5). Suppose 2*x = 2421 + d. Is x composite?
False
Suppose -n + 499 = 10. Let h = n + 572. Suppose -18*v + 17*v + h = 0. Is v a composite number?
False
Is (-30)/150*71719*-5 prime?
True
Suppose -434 = -4*c + 4*h + 1350, -3*c + 5*h = -1342. Is 0 - (10/(-2) - c) composite?
False
Suppose t = -0*w + 2*w + 22251, 4*t = -5*w + 88978. Is t a prime number?
True
Let j(m) = 11*m**2 + 17*m + 35. Is j(-61) composite?
False
Is ((-7931)/357 + (-16)/136)*-7509 a prime number?
False
Let m = 5703 - -5266. Is m composite?
True
Let p(k) = 11*k + 10. Let z be p(4). Let h be 9/(z/(-4))*6 + 7. Is 1 + 966/h + (-4)/1 a prime number?
False
Let j = 343793 - 83230. Is j a composite number?
True
Let g(c) = -11*c**3 + 5*c**2 + 3. Let w(i) = -24*i**3 + 11*i**2 + 6. Let f(x) = 7*g(x) - 3*w(x). Is f(-4) prime?
False
Is (-38)/(-988) - 150615/(-78) composite?
False
Suppose 685*k - 683*k = 2*w + 141024, -4*k + 282088 = 4*w. Is k composite?
True
Let b = 43078 - -12343. Suppose -b = -8*v + 66059. Is v prime?
False
Let y be 75/(-15) + 4388/4. Suppose -3*c + 0*c = -9. Suppose -c*k + y = -2541. Is k composite?
True
Let y = 20 - 19. Let o be 4*((-684)/16 - y). Is 5*(-8)/(-10) - o a composite number?
False
Suppose -120 = 26*v - 18*v. Let c(q) be the third derivative of -95*q**4/24 - 13*q**3/3 - q**2. Is c(v) a composite number?
False
Let w(n) = n - 15. Let h = 79 + -85. Let f be w(h). Let z(r) = 7*r**2 + 31*r + 67. Is z(f) a prime number?
True
Suppose 109*u - 1357728 = 13*u. Is u a composite number?
False
Let z(o) be the third derivative of -o**4/3 - 13*o**3/6 + 11*o**2. Let k be z(-2). Is k/1 + (488 - -2) composite?
True
Let z be (-3 - -4 - 2)*9/27*-3. Let r(i) = 207*i**2 - i - 7. Let g(v) = 208*v**2 - v - 6. Let s(o) = 6*g(o) - 5*r(o). Is s(z) a composite number?
False
Let q = 183 - 305. Let x = 130 + q. Suppose 6643 = -x*m + 15*m. Is m a composite number?
True
Let l be ((-8)/(-16))/((-3)/5526) - -4. Let n = l + 2652. Is n prime?
False
Suppose 5*w + 2*t - 28425 = 6*t, -w + 5*t = -5685. Let s = -2534 + w. Is s prime?
False
Let n(k) = -3284*k - 1141. Is n(-45) composite?
False
Let x(n) = -2*n**2 - 14*n + 126. Let z be x(-12). Suppose 2*g + 4 = 0, 9*p - z*p - 5*g = 27799. Is p prime?
False
Let a(p) = -p**2 - 12*p - 27. Let k be a(-8). Suppose r = -3*f + 968, 0 = k*f - 3*f - 2*r - 656. Suppose 4*c - 4*n - 1048 = 232, c - 5*n - f = 0. Is c prime?
False
Let h = -1097 + 657. Let y = h + 2329. Is y prime?
True
Let q = -238 + 248. Let k(i) = 2*i**3 - 5*i - 8. Is k(q) a prime number?
False
Let c(a) = -a + 7. Suppose -2*v = -v - 5. Let j be c(v). Suppose t = 4*s + j*t - 299, -4*s + 287 = -3*t. Is s prime?
False
Let f(g) = 56277*g**2 - 58*g - 54. Is f(-1) composite?
True
Suppose 3*l + i = 209515, 2*l - 54033 = -4*i + 85647. Is l a composite number?
True
Suppose -13*n - 44 + 330 = 0. Suppose n*c - 18*c - 2*p = 10918, 3*c + 3*p - 8184 = 0. Is c composite?
False
Is (-2)/(-6)*2*(-9 - (-2578851)/18) prime?
True
Suppose -z + w + 7 = 0, -8*z - 2*w + 14