= -4369. Is n a composite number?
False
Let x(b) = 10144*b + 619. Is x(16) a prime number?
False
Suppose -5*n + n - 140 = 0. Let o be -2 - (2/(-7) + (-45)/n). Is (-30)/(-3)*26 - o*1 a prime number?
True
Let u(n) = -362203*n - 80. Is u(-1) a composite number?
True
Let m = -103534 + 193265. Is m a prime number?
False
Let t(y) = -15529*y - 2159. Is t(-30) a composite number?
False
Let b(c) = -c**3 - 8*c**2 + 10*c + 22. Let f be b(-9). Let x = f + -10. Let s(l) = 120*l**2 + 3*l - 10. Is s(x) a prime number?
False
Let f(m) = 3*m + 8. Let a be f(5). Suppose a = 7*o + 2. Suppose -3*s - 3 = 0, -o*y + 3*s = -2*s - 1196. Is y a composite number?
False
Let x(u) = -61*u + 18. Let p(l) = -61*l + 17. Let z(q) = 122*q - 34. Let w(c) = -11*p(c) - 6*z(c). Let o(i) = 5*w(i) - 4*x(i). Is o(-4) a composite number?
False
Suppose -355*m = -311*m - 1996852. Is m a prime number?
False
Let c = 854 - 608. Let m be ((-398)/(-6) - 11)/(4/6). Let a = c + m. Is a a composite number?
True
Let y(f) = 46*f**3 + 7*f**2 + 14*f - 27. Let g be y(9). Suppose 3*c - 20513 = 2*w, 5*c - w - g = -0*w. Is c composite?
False
Let u(x) be the second derivative of 139*x**5/10 - x**4/4 - x**3/3 + 9*x**2/2 - 3*x - 3. Is u(2) a prime number?
False
Let f(n) = 47*n - 133. Let m be f(-6). Let y = 666 + m. Is y a composite number?
False
Let a(t) = 3*t**3 + 3*t**2 - t - 189. Let x(j) = -4*j**3 - 4*j**2 + j + 188. Let f(c) = 5*a(c) + 4*x(c). Let n be f(0). Let w = n - -960. Is w composite?
True
Let s(k) = 441*k**2 - 24*k - 146. Is s(-7) a composite number?
True
Let r = -42 + 65. Suppose r*n - 20*n = 285. Suppose -4*w = w - n. Is w composite?
False
Let h be (60/30)/((-2)/2536). Let l = 1470 + h. Let a = -617 - l. Is a composite?
False
Let k be -12*(-4 + (-43392)/18). Suppose k = 17*l - l. Let h = l - 828. Is h a prime number?
True
Let i(q) be the first derivative of 47*q**2/2 + 15*q + 44. Let l(d) = -95*d - 28. Let r(k) = 5*i(k) + 2*l(k). Is r(18) a prime number?
True
Let m be (-1593)/(-6) + -2*2/8. Let g = 435 - 283. Let s = m - g. Is s prime?
True
Suppose 0 = -2*l - 2*s + 141082, -l = 44*s - 42*s - 70547. Is l a composite number?
True
Let v = 99 - 95. Let g be (-11 + 1)*v*7/(-56). Suppose 3594 = -g*d + 8799. Is d composite?
True
Let q(d) = 67873*d**2 - 1750*d - 7. Is q(-4) prime?
True
Let g = 1105617 - -883220. Is g composite?
False
Suppose -4808 = 16*p - 8*p. Let d = p - -2708. Let f = -936 + d. Is f a prime number?
True
Let d be (-38)/(-6)*2 + (-3)/(-9). Suppose d*o - 4333 = 6*o. Is o prime?
True
Suppose -157*v + 163*v = 12396. Let a = v - -2387. Is a a prime number?
False
Let u be 1/(-4) - 33250/(-8). Suppose u = -61*q + 65*q. Is q a prime number?
True
Suppose -20 = -3*p - 2. Suppose p*d = -12 + 42. Suppose -4*a - d*t + 1074 = -2910, 3*t + 4943 = 5*a. Is a prime?
True
Suppose 8302248 = 81*m - 6872049. Is m a prime number?
True
Let y be ((-6)/(-7))/((-9)/(-42)). Let k be -49*(-1 + y + 0 - -32). Let l = -538 - k. Is l prime?
False
Let n(r) = 2503*r**3 - 2*r**2 - 100*r + 533. Is n(6) prime?
True
Let w(u) = -u**2 + 10*u + 1. Let y be w(11). Let h be (-1556)/(-10) + (-4)/y. Let k = 311 - h. Is k a composite number?
True
Is 2/(-8) + 7863/24*2 a composite number?
True
Suppose -o + 10313 = -5*t, 8*o = 12*o + 3*t - 41252. Is o a composite number?
False
Let b(w) = 2175*w**2 + 103*w + 407. Is b(-4) a prime number?
False
Let u(a) = a**3 + 90*a**2 - 891*a + 277. Is u(-92) prime?
False
Let d(j) = 25*j**3 - 7*j**2 + 5*j - 169. Is d(20) prime?
False
Suppose -17*m = -14*m - 15. Suppose 0 = 5*x + 4*z - 4, -4*x + x + 5*z = m. Suppose 2*n + x*n - 638 = 0. Is n composite?
True
Let d = -227 + 124. Suppose -3*q + 192 = -5*u - 0*u, 5*u - 4*q = -196. Let y = u - d. Is y a composite number?
False
Let g = -69 + 102. Suppose 39 = 8*c - g. Suppose -4814 = -c*o + 2548. Is o composite?
True
Let l(r) = 365*r**2 + 130*r + 38. Is l(-17) a prime number?
False
Let j(f) = f**3 - 6*f**2 + f + 5. Let v(t) = -t + 1. Let g(w) = -2*w + 12. Let y(d) = g(d) + v(d). Let z be y(0). Is j(z) a prime number?
True
Let m = -15 + 8. Let r(q) = 2*q + 2. Let p(n) = 72*n + 11. Let w(t) = -p(t) + 2*r(t). Is w(m) prime?
False
Let r(d) be the first derivative of 6*d**3 + 10*d**2 - 31*d + 13. Let o be (-3)/2*2 + -10 + -2. Is r(o) composite?
False
Let p be ((-4)/6)/(18/(-108)). Suppose 5*f - p*o - 21443 = -0*o, 0 = -3*f + 2*o + 12867. Is f a composite number?
True
Let z(p) = -p**3 - 4*p + 2. Let d(q) = -q**3 - 18*q**2 + q + 18. Let a be d(-18). Let k be z(a). Is 37/2*-29*(-4 + k) a composite number?
True
Let b = -26 - -56. Suppose r - 5*s = -21, 8*r - 3*r + 2*s = b. Suppose -3*v = j - 416, -j + 414 = v + r*v. Is j a prime number?
True
Let u = -30 + 85. Let w = -53 + u. Suppose w*m + m = 177. Is m composite?
False
Is (-54 + 56)/(4/6326) prime?
True
Let w(l) = -2379*l - 1879. Is w(-10) a prime number?
True
Is ((-248)/(-32) + 12/(-16))*240551/7 a composite number?
False
Let d be 16/8 + 2*-1. Suppose d*k = -k + 5. Suppose -b + 4314 = k*b. Is b a prime number?
True
Let i(s) = -3*s + 53. Let k(j) = 23 + 20 - 3*j + 5 + 6. Let a(w) = -5*i(w) + 6*k(w). Is a(0) composite?
False
Let c = 50540 - 9439. Suppose 23*f = 25*f - 38. Suppose -109406 = -f*j - c. Is j prime?
False
Suppose -9*g - 693443 + 4508984 = 0. Is g a composite number?
False
Let b(u) = 3945*u**3 + 3*u**2 - 43*u + 16. Is b(5) prime?
True
Let a(y) = y**2 - 11*y + 10. Let k be a(10). Suppose -12*x - x + 19591 = k. Is x prime?
False
Suppose 0 = 3*f + 2898 - 15744. Suppose -4*i + 21124 = 4*x, -f = -x + 4*i + 979. Suppose 5*l = 8*l - x. Is l composite?
False
Let s(n) = -6*n + 102. Let t be s(17). Suppose -5*g + 928 = -t*g - z, 3*z + 9 = 0. Is g composite?
True
Suppose -4*m - 9*m - 2639 = 0. Let l = m - -285. Is l a prime number?
False
Suppose 15*t = 9*t - 12732. Let b = 3093 + t. Is b prime?
True
Suppose 3*o - 328 = -o. Suppose 9*q - o - 8 = 0. Is q/(-4) - (-4515)/10 prime?
True
Let h(t) = 1416*t - 1069. Is h(39) a composite number?
True
Suppose -3*x - 3*t + 4572 + 11514 = 0, -16092 = -3*x - 5*t. Let j = -824 + x. Is j prime?
False
Let g be (-17 - -15)*1*-5. Let y be (-2 + g)*(-3993)/(-2). Suppose -9*p = -16167 - y. Is p a prime number?
True
Let f = 76443 + -34106. Is f prime?
True
Let w(k) be the third derivative of -2*k**6/15 - 7*k**5/60 - 3*k**4/4 - 5*k**3/3 + 14*k**2 - k. Is w(-7) composite?
False
Let d(q) = 2*q**3 + q**2 + 60. Let j be d(0). Is (-10)/j - (-3)/((-18)/(-9709)) prime?
False
Let q(z) = z**3 - 12*z + 2. Let a(w) be the third derivative of -w**6/60 + w**5/60 + w**4 - w**3/2 - w**2. Let i(p) = -6*a(p) - 11*q(p). Is i(9) a prime number?
True
Is -44*(10337/5)/((-192)/240) a prime number?
False
Let w = 175 + -1524. Let n = w - -2720. Is n prime?
False
Let q(k) = 19*k**2 - 6*k - 59. Let a be q(-6). Let t = a + 1768. Is t a prime number?
False
Let t(i) = 9*i**2 - 6*i + 202. Is t(-21) a prime number?
True
Let y(x) = -2*x**2 + 7*x + 8. Let o be y(4). Suppose -o*m = 15*g - 14*g - 2743, 2*g = 4*m + 5450. Is g a composite number?
False
Suppose -5*s + 0*s = -5*m + 3451595, 0 = -4*m + 12. Is ((-18)/4)/3*s/174 a composite number?
True
Let f = -120329 - -171316. Is f a composite number?
True
Let a(j) = 6*j**2 + j - 3. Let t(p) = p**2 - p - 1. Let m(o) = -a(o) + 5*t(o). Let n be m(-4). Is (-2)/n - 152/(-6) a composite number?
True
Suppose -408528 - 155750 = -26*b. Suppose 27*u - 16*u - b = 0. Is u a composite number?
False
Suppose -31619 = 64*g - 102403. Suppose 3*k - 2*z = 3, k = 2*z - 4*z + 9. Suppose -g = -k*j + j. Is j prime?
False
Suppose -6*i = -i + 20. Is (i + 3)/(-1 - (-5664)/5667) a prime number?
True
Let n(g) = -128*g**2 - 2*g + 8. Let u be n(-4). Let k be 1/3 + (u/3 - 1). Let x = -443 - k. Is x composite?
True
Let b = 5918 + -777. Is b prime?
False
Let y be (-2)/(-12)*(-80 + 122). Let v(j) = -8*j**2 + 10*j + 2. Let p(d) = -8*d**2 + 10*d + 3. Let h(w) = -3*p(w) + 2*v(w). Is h(y) composite?
False
Let j(p) = -452*p**3 + 3*p**2 + 3*p - 4. Let v be j(-2). Suppose 3759 + v = 3*q. Is q prime?
True
Let o = 66 + -66. Suppose o*b = 2*g + b - 8, -5*g - 3*b = -22. Suppose -g*t + 8 - 2 = 0, 0 = -l + t + 918. Is l a prime number?
False
Suppose -5*r = -p - 14811, -4126 - 10680 = -5*r - 4*p. Suppose r + 1301 = 5*s - g, 0 = s - 3*g - 847. Is s a composite number?
False
Let y(b) = 2*b + 21. Let a be y(-16). Le