(-550) - (-11438693)/5 a composite number?
False
Let s = 5731 + 33961. Suppose m - s = -3*m. Is m composite?
False
Let t be ((-17)/(765/36))/((-1)/(-5)). Is 3303 + 2/t*(5 + 3) a composite number?
False
Let q be 80/25*5/2. Let z = -4 + q. Suppose 0 = -z*a + 4*y + y + 6062, -2*a + 3028 = -y. Is a a composite number?
True
Suppose 10871*s = 10870*s + 416567. Is s prime?
False
Suppose 1375*b + 1827196 = 1403*b. Is b prime?
True
Suppose -4*h + 653 = -171. Is (-1903)/(-55)*(h + -1) composite?
True
Let q = -20741 + 41222. Let p = -14047 + q. Is p composite?
True
Suppose 106*d - 1712030 - 2248044 - 798584 = 0. Is d a prime number?
True
Is (-2814460)/(-11) - 7 - 2 a prime number?
True
Let j = -54 + 107. Suppose t - 717 + j = 3*w, 4*t + w - 2682 = 0. Suppose -5*d - t = -2885. Is d a prime number?
True
Suppose 17169 = 4*y - y. Let r = y - 3192. Is r prime?
True
Let l(s) = -30481*s**3 + 12*s**2 - 18*s - 222. Is l(-5) a composite number?
False
Let a(m) = 19*m**2 - m + 17. Let z(u) = u**2 - 3. Let x(w) = a(w) - 2*z(w). Is x(24) composite?
False
Let a(g) = -g**3 + g**2 + 7*g - 8. Let u(v) = -v**3 - 5*v**2 - 5*v - 4. Let y be u(-3). Let x be a(y). Let o = 202 + x. Is o prime?
False
Let s(y) = 46*y + 17. Let o(t) = t**2 + 16*t + 13. Let f be o(-17). Let l = 36 - f. Is s(l) prime?
True
Suppose -5*h + 4*h = -13. Suppose 57 = 5*l - h. Is 3 + (-46)/l - (-3901)/7 composite?
False
Suppose -4*x = -5*q - 40829, 3*x + 875*q - 30624 = 878*q. Is x composite?
False
Suppose -10*l + 18*l - 24 = 0. Suppose l*r - 1629 = 9156. Is r prime?
False
Let u(q) be the first derivative of -373*q**4/4 + q**3/3 + q**2 - 7*q - 95. Is u(-2) prime?
False
Let f(x) be the third derivative of x**5/20 - x**4 + 3*x**3 + 26*x**2. Let o be f(11). Let r = o - 50. Is r a composite number?
False
Let y(z) = -z**3 + 2*z + 1. Let s be y(-1). Suppose 7*w - 4 + 18 = s. Let g(b) = 129*b**2 - 2*b - 1. Is g(w) a composite number?
True
Suppose 4744 = -220*w + 224*w. Suppose 0 = -3*r + 4*r - 807. Let l = w - r. Is l prime?
True
Suppose -3*o + l + 6123 = -11735, 4*l = -5*o + 29735. Is o a composite number?
True
Suppose -9*f + 749548 = 10*f - 399933. Is f a composite number?
True
Let l(c) = 20*c**2 + 143*c - 1982. Is l(21) a prime number?
False
Let y = -1180 + 2141. Let r = -1354 + y. Let g = r + 644. Is g composite?
False
Let a be 1/2 + 345/(-46). Let u(t) = t**3 + 8*t**2 + 6*t - 9. Let g be u(a). Is g*(-3155)/10*1 a prime number?
True
Let p be (18/(-42) + 12/(-21))*-3. Suppose 4*h + 2*r = 44986, 7*r = 10*r - p. Is h a prime number?
False
Let d(m) be the first derivative of -17*m**2/2 - 39*m + 4. Let c(n) = -1. Let o(v) = -4*c(v) + d(v). Is o(-16) composite?
True
Is (-5 - 7) + 3 - -10016 a prime number?
True
Suppose 41829485 = -127*f + 106192704. Is f composite?
False
Let c(z) = -z**3 + 20*z**2 - 35*z - 18. Let i be c(18). Let h(s) = s**3 - s**2 + 25. Let w be h(i). Suppose -21*o = -w*o + 268. Is o composite?
False
Suppose 2396 + 29620 = -3*d + 3*j, 4*j + 53342 = -5*d. Is ((-12)/20)/(33/d) a prime number?
False
Suppose 8960 + 10199 = 17*z. Let n = 5472 + z. Is n a composite number?
False
Let f(z) be the third derivative of -5*z**2 + 0*z + 0 + 0*z**4 - 1/10*z**5 + 3/2*z**3 + 1/30*z**6. Is f(7) a prime number?
True
Let b(k) = -43*k**3 - 3*k**2 - 6*k + 13. Let v be b(-6). Suppose -2*z - 5*w = -v, -5*z + 4*w + 15703 + 7452 = 0. Is z prime?
False
Suppose 0 = 18*k - 3*k - 30. Is k*((-31602)/(-12) - -6) a composite number?
False
Let x(a) be the second derivative of 0 + 1/2*a**3 + 13*a - 3/2*a**2 + 2/5*a**5 + 5/12*a**4. Is x(5) a composite number?
True
Suppose 183962 = 5083*v - 4965*v. Is v prime?
True
Let p = -150 + 152. Is 2*133 - 1 - 4/p prime?
True
Let f = 68 - 71. Let l(w) = 265*w**2 - 10*w + 2. Is l(f) a prime number?
True
Let p(i) = 3*i**2 + i. Let q be p(-1). Suppose w = 5*o - 35 + 6, -o = -q*w - 4. Let h(z) = 3*z**2 + 13*z + 1. Is h(o) composite?
True
Suppose -2*h - 5*w = h + 4, 12 = 3*h - 3*w. Is h - (-6 + 2 - 3635) composite?
True
Let q be 2/4*((-5 - -8) + -3). Suppose 10*s - 15*s + 25 = q. Suppose 2*v - 13 = -s*n, v + v - 5*n - 43 = 0. Is v a prime number?
False
Let t = 11454 + 35920. Is t prime?
False
Let q(w) = 6*w**2 + 34*w + 16. Let m be q(-6). Let n(x) = 2*x**2 - 24*x - 99. Is n(m) a prime number?
True
Suppose 0 = -2*q - 5*t - 3533, -5*t + 3840 = -4*q - 3271. Let s = 3106 + q. Is ((-47)/4*-2)/(18/s) a composite number?
True
Let i(t) = -t**3 + 9*t**2 - 9*t - 8. Suppose 0 = 3*v - 96 - 24. Let b = v - 47. Is i(b) a composite number?
False
Let d be -1*14/(-6)*9. Suppose 0 = d*i - 22*i + 619. Is i prime?
True
Let o be 4/(-18) - 146/(-9). Suppose 4*y = 5*k - 10676, -3*k + y + 3100 = -3307. Suppose -3*l = l + s - k, -o = 4*s. Is l a prime number?
False
Is (-6)/15 + (-9338568)/(-120) a prime number?
False
Let f = 14888 + -3167. Is f prime?
False
Suppose -2*q - 36387 = -123913. Is q a composite number?
True
Let x(v) = 190*v**2 + 2*v - 37. Let m be x(-7). Let u = m + -6540. Is u a composite number?
False
Let j be 3*141827/(-21) - (0 - -3). Let b = -14271 - j. Let w = b - 4192. Is w composite?
False
Let a be 475/5*16/10. Suppose 144*y + 4584 = a*y. Is y a prime number?
False
Let w(f) = -f + 21. Let d be w(12). Suppose d*s - 6545 = 1123. Suppose -2*q + s = -302. Is q prime?
True
Let o = 35741 - 13398. Is o prime?
True
Let p = -247 + 231. Is (-1)/(p/(-32) - 7539/15074) prime?
True
Is (-4)/26 + (-3700610)/(-26) prime?
False
Let d(i) = 36*i + 122. Let m be d(-3). Is ((-6)/(-3))/(m/22561) a composite number?
True
Let k(w) = -w + 4 - 15*w**2 - 2 + 97*w**2 - 1. Let x = 52 - 54. Is k(x) composite?
False
Let t be 63/(-14)*(-12)/27. Suppose -6*i + t*i - 6757 = -n, -4*n + 3*i = -26963. Is n prime?
True
Suppose -15*g - 2*w + 6714 = -14*g, 2*g + w = 13443. Let l = g - 2717. Is l composite?
False
Suppose -6*h - 60 = -0*h. Let c be 3*(-3)/(18/h). Suppose 845 + 785 = c*w. Is w a prime number?
False
Suppose -2*k - 2*k - 52662 = -2*r, -r = 3*k - 26346. Suppose -3*h - 3*v = -r, -3*v = 5*h + v - 43895. Is h a prime number?
True
Let c(b) = 31607*b - 242. Is c(5) a prime number?
True
Suppose -26*g + 101059 = 8*g - 106375. Is g prime?
True
Suppose 3*s = -4*g + 7848370, 0 = -57*g + 55*g - 2*s + 3924186. Is g composite?
False
Let l = 2436 - -953. Is l composite?
False
Let k(p) = -6997*p**3 - 26*p**2 - 96*p + 22. Is k(-5) a prime number?
True
Let b(k) = 365*k**2 - 7*k + 1. Let d be b(-12). Suppose 4*j - 2*j - 21058 = -n, -d = -5*j + 2*n. Is j prime?
True
Let z = -160 - -162. Suppose z*r - 6*r + 7510 = 3*i, -i + 3*r = -2486. Is i a prime number?
False
Suppose 4*q = 5*b - 587871, q = -5*b - 3121 + 590972. Is b a composite number?
False
Suppose -206506 = -8*m - 25106. Suppose 3*i - 28*i = -m. Is i a composite number?
False
Suppose 2*o = -80*c + 82*c - 164852, 4*c - 329659 = -5*o. Is c prime?
True
Let f be (-4)/(-8) + (-18)/(-12). Suppose -z = -5*u - 658, -3*z = -f*z - 4*u - 654. Suppose 4*a - z = 2*a. Is a composite?
True
Let n(z) = -3*z**2 - 86*z - 50. Let f be n(-38). Let a = f + 5773. Is a a prime number?
False
Suppose -8*c - 73 - 359 = 0. Let s = c + 68. Suppose -11*k + s*k - 555 = 0. Is k composite?
True
Suppose 2*x - 60 + 50 = 0. Suppose 3*n - v = 4681, 42 - 62 = x*v. Is n a composite number?
False
Let a(o) = 15*o**2 - 2*o. Let m be a(3). Suppose -17 = 6*u - 29. Is (-10)/u + 3 + 0 + m prime?
True
Suppose n + 19944 = s, 6*n - 10*n = 2*s - 39894. Let v = s - 11976. Is v a composite number?
True
Let d = 232 + -83. Suppose 144*i - d*i + 36215 = 0. Is i prime?
True
Suppose -t = b - 6, 0*b + 1 = b. Let z be (-4)/14 + 2*t/35. Suppose z = -2*q - 659 + 2151. Is q composite?
True
Let c = -21796 + 44933. Is c composite?
True
Let x be (((-256)/(-12))/(5/(-30)))/(-2). Is 212088/x - 1/(-8) prime?
False
Suppose -3*t + 5*r = -274607, -5*t + 484395 = 3*r + 26762. Is t prime?
True
Is 713285/3*(-51)/(-85) a prime number?
True
Let w be 10*(2/(-8))/((-10)/(-40)). Let n(q) = q**2 + q - 1. Let z be n(w). Suppose 4*d = f + z, -2*f - 3*f - 25 = 0. Is d a prime number?
False
Suppose -96*v + 7422234 = 6*v. Is v a prime number?
True
Suppose -2*v = -p - 2166 - 6268, 5*v + 3*p = 21085. Let f = -1915 + v. Is f composite?
True
Suppose 13 = 4*n + 1. Suppose -l + 4086 = 3*s, -5*l = -0*s + n*s - 20418. Suppose 10*m - 13*m = -l. Is m composite?
False
Let v(b) = -b**3