posite?
False
Is ((-16)/(-12))/4 - 26744/(-3) prime?
False
Suppose 5*m + 4*c = 38, -c = 3*m - 10 - 10. Suppose -m*r = -11*r - 35. Let n(a) = -2*a**3 - 4*a**2 - 3*a - 10. Is n(r) a composite number?
True
Let u = 9910 - 3429. Is u a composite number?
False
Suppose -y + 3*a + 2102 = 6*a, 6300 = 3*y + 3*a. Is y a composite number?
False
Suppose -7*t + 300 = -2*t. Is ((-148)/6)/(1 + (-68)/t) a composite number?
True
Let w = 1784 + -507. Is w composite?
False
Suppose 78071 = 9*x - 2*x. Suppose 14*t + 5*t = x. Is t a composite number?
False
Suppose 2*h - 79178 = -4*s, -3*h + 118797 = -4*s - 0*s. Is h a composite number?
True
Let i(n) = n**3 - 7*n**2 - 9*n + 12. Let f be i(8). Suppose -f*g = -5*g - 11. Let j = g - -13. Is j composite?
False
Let o(k) = 25*k**2 + 102*k + 577. Is o(-50) composite?
False
Is 8/(56/143969) + (-5 - 1) composite?
True
Let b(w) = 2416*w - 63. Is b(19) a composite number?
False
Let k(j) = -13*j + 6. Let w be k(6). Let o be w/(-63) - (-1)/(-7). Is (59/o)/(-5 + 6) prime?
True
Let h = -24 + 29. Suppose 8 = 4*y + 4*d, -h*y - 3*d + 2 = -12. Is y/6 - 1092/(-36) a prime number?
True
Suppose -82821 = 19*j - 903982. Is j prime?
False
Suppose -g - 8 = -3*g. Let m(f) = 3*f + 2. Let z be m(g). Suppose 2*o = 3*o - z. Is o prime?
False
Let i(r) = r**2 - 7*r - 13. Let t be 96/(-15) - 6/(-15). Is i(t) a prime number?
False
Suppose 5*y = -3*x + 22189, -y = x - 3*x + 14784. Is x a prime number?
True
Suppose g + 3*t - 34138 = 0, 0 = 3*g - 5*t - 107336 + 4992. Is g a prime number?
True
Suppose -75143 = -6*l + 3205. Is l composite?
True
Let t(x) = 3*x**2 + 7*x + 15. Suppose q + c = -0*c + 6, -4*q + 18 = c. Suppose 0 = -2*j - 4*d + 2*d + q, j + 13 = -4*d. Is t(j) composite?
False
Let r be -2 + 5 - -29 - 1. Let t = r + -71. Let h = t - -71. Is h composite?
False
Let b(p) = p**3 + 23*p**2 + 26*p + 4. Let l be b(-21). Suppose l = w - 3117. Is w a prime number?
True
Let y(a) = 28*a**3 + a**2 + a + 1. Let w be y(-1). Let t be (1 + 2)/(w/(-477)). Let u = 86 - t. Is u a prime number?
False
Let r = -20 + 35. Is ((-1117)/6)/((-5)/r)*2 a prime number?
True
Suppose 3*m + 5*l - 10*l = 21018, -15 = 5*l. Is m a composite number?
False
Let p = 4485 + -2050. Is p prime?
False
Suppose 0 = -8*u - 9371 + 28947. Is u prime?
True
Is 20155/4 - ((-17)/4 - -4) a composite number?
False
Suppose 3*k - 2*i - 3885 = 2*i, 4*k = 5*i + 5180. Let v = k + -162. Is v a composite number?
True
Let o(d) = 3 - 10 - 4*d**2 + 7*d**2 + 0*d + 4*d. Let i(k) = 6*k**2 + 8*k - 13. Let j(w) = -2*i(w) + 5*o(w). Is j(4) a composite number?
True
Suppose -14 = -3*r - 8. Let x = 37 - r. Is x composite?
True
Let c(g) = g**3 - 5*g**2 - 4*g - 12. Let k be c(6). Let t be -3 + 1 + 5 + -3. Suppose k = 4*f - t*f - 740. Is f a prime number?
False
Is 1331425/50 + ((-1)/(-2) - 2) a composite number?
False
Suppose -4*l = -2*k - 3922, 12*k = l + 7*k - 994. Is l a prime number?
False
Let c = 777 - 90. Is c a composite number?
True
Let a = 10 + -10. Suppose 3*f + m + 14 = -4*m, f + m + 2 = a. Suppose -3*d + 2825 = f*d. Is d composite?
True
Suppose -10*o + 79088 = -5*o + h, -o + 2*h + 15811 = 0. Is o a prime number?
True
Let j(t) = -4*t + 2. Let u be j(-4). Suppose 2*d - 4*b - u = 3*d, -5*d = -b - 15. Suppose -q + d*k + 187 = 5*k, 0 = q - 3*k - 187. Is q a composite number?
True
Let o be (13 - 5) + 2/(-1). Let y = -10 + o. Is (158/y)/((-5)/10) a composite number?
False
Let h be (-7)/(-56) + (-807)/(-8). Suppose -4*p + 6447 + h = 0. Is p composite?
False
Let v(m) = -m**3 - 14*m**2 - 8*m + 62. Let o be v(-13). Let d(n) = -29*n**3 - 3*n**2 - 1 - 11*n**3 - 3. Is d(o) a prime number?
True
Let c(b) = b**2 + 13*b + 53. Is c(37) prime?
False
Suppose -11 = -b + 5*h, 2*b = -5*h + 2 + 5. Let x(u) = u**2 - 7*u + 10. Let o be x(b). Suppose 4*d = v + 5*d - 442, 1773 = o*v - d. Is v prime?
True
Let l(q) = -q**2 + 3*q + 4. Let m be l(4). Let x = 2196 - 1915. Suppose s = a + 81 - 22, m = 5*s + 2*a - x. Is s prime?
False
Let b = 5397 + -3240. Is b a prime number?
False
Let i be -1 + -1 - 2 - -1100. Suppose 0 = -3*x - i + 3340. Suppose 203 = 3*j - x. Is j a prime number?
True
Let b(h) = 18*h**2 - 2*h - 3. Let m(f) be the first derivative of -f**2 + 2*f - 6. Let r be m(3). Is b(r) a composite number?
False
Let v(o) = -o**3 - 17*o**2 - o - 20. Let u be v(-17). Is 3/u*-1*559 composite?
True
Let i be (5 - 5)/(1 + -3). Suppose -3*h + 5*c = -i*h - 12, c = 2*h - 8. Suppose -3*g + h*g - 347 = -4*l, 3*g = 2*l - 177. Is l composite?
True
Suppose -16916 = -4*o - 1988. Suppose 30*w - o = 26*w. Is w composite?
True
Let p = 14374 + -7925. Is p prime?
True
Is 58/(-319) - 288855/(-33) a prime number?
True
Let k = -1082 - -3285. Is k prime?
True
Let k = -8037 + 11798. Is k prime?
True
Suppose -c = -i - 55873, 2*c = -5*i + 119194 - 7462. Is c a prime number?
True
Let w(r) = 54*r**3 - 3*r**2 + 19*r - 13. Is w(6) prime?
True
Suppose 16 = -4*l, 186 = -2*n + 5*l + 770. Let w(q) = 40*q + 1. Let k be w(-1). Let y = n - k. Is y a composite number?
True
Suppose -13*d + 5569566 = 45*d. Is d composite?
True
Let l be -477 + (-3 - 24/(-4)). Let w = -140 - l. Is w prime?
False
Let y be (25 - -3)*(-9)/(-2). Suppose -k + 3*k - 5*z = y, -5*z = -20. Suppose 2*v - 61 = k. Is v a prime number?
True
Let o = 10 + -6. Let i be ((-15)/(-30))/((-2)/o). Let h(j) = -9*j**3 + j**2 + 2*j + 1. Is h(i) composite?
True
Let k(b) = 23*b - 23. Let z be k(12). Suppose 3*y - 4*l - z = 0, 2*l - 3 = 5*l. Is y prime?
True
Suppose -32522 = -21*o + 7*o. Is o a composite number?
True
Suppose 12*t - 205726 = -17314. Is t prime?
False
Suppose 2*n = -2*y + 49306, 74593 = 2*y + 5*n + 25293. Is y prime?
False
Let k = -22 + 28. Is ((-10)/(-3))/(k/531) prime?
False
Let d = -16 + 22. Suppose d*q = q + 20. Suppose -3*c - 64 = -2*x - 177, -c = q*x - 33. Is c a composite number?
False
Is (-35)/21 - (-54584)/12 prime?
True
Suppose 0 = 48*y - 113053 + 20365. Is y a prime number?
True
Is 48431 - 5*(192/40)/(-4) a prime number?
True
Let k(m) = 243*m**2 + m - 2. Let z be k(1). Let v = 423 - z. Suppose 5*b - 114 = v. Is b a composite number?
False
Let h be 2/1*(-1 - -3). Let q = -390 - -1028. Suppose t + q = 3*t - 4*x, -3*t + h*x = -957. Is t a prime number?
False
Let k(v) = -v**2 + 8*v + 4. Let a(m) = -m**2 + 7*m + 4. Let c(q) = q**3 + 6*q**2 - q - 11. Let s be c(-6). Let l(o) = s*a(o) + 6*k(o). Is l(11) prime?
False
Let p(b) = 31 + 4 - 528*b - 16. Is p(-5) prime?
True
Let m be 1 + 6 - 3/1. Suppose 3*r - 2*i - 106 = 0, -3*r + 104 = i - 5*i. Suppose -p - p = z - 7, m*z - r = -4*p. Is z composite?
False
Let i(s) = 211*s**2 - 38*s + 129. Is i(4) prime?
False
Suppose -4*k + 4*t + 60428 = 0, -t = -3*k + 53476 - 8151. Is k a prime number?
False
Suppose 3*v - 131602 = -j, -v + 26307 + 17564 = 4*j. Is v composite?
False
Let f = 193 - 199. Let l(o) be the third derivative of -o**6/60 - o**4/12 + 7*o**3/6 - o**2. Is l(f) a composite number?
True
Suppose -5*n = -s + 3340, -11323 = -4*s + 4*n + 2117. Is s composite?
True
Suppose 2952 = 5*q + 262. Let t(m) = -m**3 + 3*m**2 + 4*m + 5. Let d be t(4). Suppose d*k = 17 + q. Is k a composite number?
True
Let w(o) = 12*o**2 + o - 2. Let k be w(1). Let h(p) = 73*p - 36. Is h(k) prime?
False
Let n(o) be the second derivative of o**5/60 - o**4/24 + 17*o**3/6 - o**2/2 - 4*o. Let z(t) be the first derivative of n(t). Is z(12) a prime number?
True
Let q = 80 - 74. Suppose -530 = 4*h - q*h. Is h a prime number?
False
Let z be (2/(-4))/(7/(-28)). Suppose 3*h + 3*x + 1167 = 0, z*h + x + 800 = 25. Let w = -255 - h. Is w a prime number?
True
Let u be 297/12 + (-1)/(-4). Suppose -2*g = 3*w - u, w = -4*w + g + 20. Suppose 4678 = 4*c - r, -5*c + 4392 = -w*r - 1463. Is c prime?
False
Suppose 2*n - 25 = 5*h, -4*n = -7*n + 4*h + 34. Is (n/4)/((-3)/(-1338)) a composite number?
True
Let m(c) = c**3 + 10*c**2 - 15*c + 7. Let n be m(-11). Suppose -n*w = -47*w - 5132. Is w composite?
False
Let q be 1*(-6)/(1 + -3). Let h(l) = l**3 - 2*l**2 - 2*l - 3. Let i be h(q). Suppose i = -4*d + 153 + 299. Is d a composite number?
False
Suppose -9*t + 4*t + 80 = 0. Is ((-754)/(-3))/(t/24) prime?
False
Let o(s) = s**2 - 12*s + 10. Let f be o(10). Let w be 653/1 + f/10. Is w/6*(-6)/(-4) a prime number?
True
Let d be (3/(-5))/(3/(-15)). Suppose -5*h + 25 = -h + a, 2*h + d*a = 25. Suppose -h*l = 2*b - 617, l 