 1 - 15 = n. Suppose u*i - 1062 = -2*i. Is i a prime number?
False
Is 4 + (-35160)/(-18) + (-2)/6 a prime number?
False
Let i = 5269 - -3970. Is i a prime number?
True
Suppose -157*c - 14122 = -159*c. Is c a prime number?
False
Suppose 3*i = -4*m - 4386, -5*m = 3*i - 7*i - 5848. Let p = i + 2103. Is p prime?
True
Suppose -27410 = -18*i + 8*i. Is i a composite number?
False
Suppose -2*z + 14698 = -5*g, 0 = -2*z - 3*g + 3220 + 11478. Is z composite?
False
Suppose -2*l + 788 = -2814. Is l prime?
True
Let o(y) be the first derivative of -6*y**2 + 1 + 6*y + 1/3*y**3. Is o(-11) composite?
True
Let r = 474 + 3637. Is r prime?
True
Suppose -u - 1 = 2*g - 4, -u - 9 = -2*g. Suppose -g = -3*s + 6. Suppose s*y + 3*h - 195 = 0, -2*h - 2*h + 59 = y. Is y a prime number?
True
Suppose 155939 + 281628 = 13*m. Is m a composite number?
True
Let k be (-6 - -9) + 1 + -35. Let w = k + 36. Suppose 0*t - 5*r = 4*t - 989, -t + w*r + 266 = 0. Is t composite?
False
Let g(n) = -n - 2. Let m be g(0). Let p(k) be the third derivative of 83*k**5/20 - k**4/12 - k**3/2 - 113*k**2. Is p(m) composite?
False
Let m(h) = -5*h**3 + 17*h**2 - 8*h + 41. Let b(p) = -2*p**3 + 6*p**2 - 3*p + 14. Let n(y) = -8*b(y) + 3*m(y). Is n(5) prime?
True
Let j(w) = w**2 + 6*w + 5. Let o be j(-6). Suppose -o = -3*n + 4*n, -2*m - 5*n = -3445. Is m composite?
True
Let v(h) = -1651*h - 34. Is v(-3) a composite number?
False
Suppose 4*j = -j - 25. Let d be (-648)/j + (-2)/(-5). Suppose 8*z + d = 10*z. Is z a prime number?
False
Suppose -2*w - 6*w = -48. Is (-6 - 143)*(-21)/(w/2) a prime number?
False
Let y(p) = -p**3 + 75*p**2 + 35*p + 377. Is y(74) prime?
True
Suppose o - 555816 = -3*o + 4*x, -5*x - 416860 = -3*o. Is o a prime number?
False
Let r(w) = -w**3 - 15*w**2 + 36*w + 23. Is r(-26) composite?
True
Let r be (-7 + 4)*(-6)/9. Suppose -r*o + 523 = -183. Is o prime?
True
Suppose -5*h - 3*k = -6*k - 66649, 0 = 3*h - 2*k - 39989. Is h a composite number?
False
Suppose 0 = -13*m + 14776 + 8923. Is m a composite number?
False
Let r(n) = 6*n**3 - 3*n**2 - 17*n + 7. Is r(7) a prime number?
False
Let r be 14/(-6)*12/4. Let w(y) = y**2 + 6. Is w(r) composite?
True
Let w = 13412 - 4066. Is w composite?
True
Let x(u) = 14*u**3 - 7*u**2 - 7*u - 1. Is x(8) a prime number?
False
Let i(m) = -m**3 - 7*m**2 - 1. Let l(s) = s**3 + 8*s**2 + s + 2. Let x(n) = -2*i(n) - 3*l(n). Let p = 16 - 26. Is x(p) prime?
False
Let u be 5618/4 - 3/(-6) - 2. Suppose -7*r = -18 - u. Is r a composite number?
True
Suppose 0*k + 50 = 5*k. Let y(q) = 6*q**3 - 4*q + 3. Let l be y(1). Suppose -l*n - 635 = -k*n. Is n a prime number?
True
Is -3*(2 + -5)*(-2798)/(-18) prime?
True
Let i = 168 + -107. Let k(p) = 21*p**2 + 9*p. Let y be k(-2). Let g = i + y. Is g composite?
False
Suppose 8 = 3*b + 5*l, 5*b = -3*l - 12 + 4. Is (-1)/b - (-70759)/52 composite?
False
Let g(d) = -d**3 - 8*d**2 - d - 10. Let w be g(-8). Let a be 1*(-1 - (1 - w)). Is (-1)/(a/1216) - -3 a composite number?
False
Suppose 3*p = 3*g - 9, 2*p + 10 = g + 3*g. Is p + 977 + (-30)/(-10) composite?
True
Let g be 4/(144/150) - (-2)/(-12). Suppose 0*i - g*x = -5*i + 10193, -6 = -2*x. Is i prime?
False
Suppose 2*c = -0*c + m - 69, 0 = c + m + 39. Is (3/(c/(-328)))/(2/33) a prime number?
False
Let u(y) = y**3 - 5*y**2 - 27*y + 13. Is u(14) prime?
True
Let s(r) = -18*r. Let y be s(1). Suppose 32*m = 21*m + 110. Is y/(-45) + 366/m a prime number?
True
Suppose -21*q + 24*q - 4197 = 0. Is q a prime number?
True
Let l = 219 - 47. Suppose -5*z + l + 433 = 0. Is z a composite number?
True
Let d(h) = -11*h - 41. Let c be d(-20). Suppose w = -0*w + c. Is w prime?
True
Is 2148755/385 - (-4)/(-22) prime?
True
Let v = 0 + 67. Let r = v + -33. Is r composite?
True
Suppose 3*m = -f, 4*f = f + 4*m. Let z be (f + 5/10)*8. Is 237 - z*(-1)/(-2) composite?
True
Suppose 0 = 5*f - 4*f - 1709. Is f a prime number?
True
Let k be (-2)/(-11) - (-8206)/121. Let a = 121 - k. Is a composite?
False
Let f = 22 + -29. Is (-19*1)/(-8 - f) composite?
False
Suppose a - 18*a = -201671. Is a prime?
True
Let h(o) = -6419*o**3 - 3*o - 1. Is h(-1) composite?
False
Let s be (9/(-12))/(1/(-372)). Is s/12 - (-2)/(-8) prime?
True
Suppose -7 = -5*v + 8. Suppose -7*y + 16 = -v*y. Suppose -y*a = a - 55. Is a prime?
True
Let x(j) be the second derivative of j**4/3 - 2*j**3/3 + 7*j**2/2 - 3*j. Is x(6) composite?
False
Let n(t) = 20 + 403*t**2 - 9*t - 3 - 404*t**2. Is n(-5) prime?
True
Suppose 0 = 4*g + 956 - 16. Suppose 2*a - 8 + 32 = 0. Let p = a - g. Is p a prime number?
True
Let j be (-1)/((-22)/10 - 1*-2). Suppose -j*g - 600 = -2*n, 5*n - n + 2*g = 1176. Is n a composite number?
True
Let r(x) be the second derivative of -x**4/12 + 23*x**3/6 + 3*x**2/2 - 3*x. Suppose -2*m + 3 + 77 = 4*o, -o = -3*m - 6. Is r(o) composite?
True
Let a = 90 - 92. Is -3 + (-11)/a*(522 + -4) composite?
True
Let t be ((-6)/(-15))/(1/10). Suppose t*c + 496 = 8*c. Let k = 15 + c. Is k prime?
True
Let f(j) = j**2 - 6*j - 1. Let h be f(5). Suppose 6*z = 3*z - g + 11, -5*g = 5*z - 15. Is (z/h)/(2/(-5541)) composite?
False
Let n = -28 - -18. Let h(g) = -11*g + 17. Is h(n) a prime number?
True
Suppose 29*v = 20*v + 270. Let c(a) = -10*a**2 + 1. Let s be c(1). Let i = v + s. Is i a prime number?
False
Let l = 88658 + -61269. Is l composite?
True
Let b(y) = -3*y**2 + 16*y - 39. Let a(c) = 3*c**2 - 16*c + 38. Let g(t) = -3*a(t) - 4*b(t). Is g(-17) a composite number?
False
Let u(y) = -133*y**2 + 2*y - 8. Let p be u(-4). Let q = 5187 + p. Is q composite?
True
Let s = 38 + -54. Let i = s - -52. Is ((-179)/4)/((-9)/i) a composite number?
False
Let y(i) = 17*i**2 + 6*i + 4. Let g be (-4)/2 + (3 - 12/3). Is y(g) composite?
False
Suppose 0 = -0*b - 3*b - 33. Let i = b - -16. Let j(w) = 2*w + 9. Is j(i) a composite number?
False
Let r(v) be the third derivative of -41*v**6/120 + v**5/30 + v**4/12 - v**3/6 - 8*v**2. Is r(-2) prime?
True
Is (86085/18 + -4)/(4/8) a prime number?
False
Suppose 2*h - c - 3 = 0, -3*c = -h - 8*c + 18. Suppose 5*k - h*k = g + 2352, 4*k - 4692 = -g. Is k composite?
True
Suppose 0 = 9*w - 25*w + 6512. Let m(v) = -17*v**2 - 3*v + 4. Let r be m(4). Let a = r + w. Is a a composite number?
False
Let d(a) = -a - 66. Let f be d(0). Let l be f/(-7)*(21 + 0). Let j = l + -101. Is j composite?
False
Let o = -20 - -18. Is 557/(3 + (-4 - o)) composite?
False
Let p = -22 + 15. Let h be ((-21)/6)/p*0. Suppose x + x - 182 = h. Is x a composite number?
True
Let y(i) = -4*i - 31. Let a be y(-9). Suppose -5*k + 4*f = 2*f - 435, 0 = k + a*f - 114. Is k prime?
True
Let s be ((-2)/(-4))/(6/60). Suppose -s*f = 11 - 36. Suppose 2*q - 113 - 40 = -3*t, -f*t + 3*q + 274 = 0. Is t a composite number?
False
Let f = -9 - -15. Suppose -4*r + f = -r. Is (r/(-3))/((-12)/2682) composite?
False
Let k be 7 - 4 - 5 - -40. Let v = k + -14. Is 40/v*(20 + 1) composite?
True
Let t(a) = -2*a - 15. Let r be t(-11). Suppose r*x - 8*x = 300. Let n = -178 - x. Is n prime?
False
Let s(p) = 1515*p - 14. Is s(3) a prime number?
False
Let w = 112 - 107. Suppose -w*k + 518 = -5*a - 1677, 0 = k + 3*a - 431. Is k a prime number?
False
Is 27172/6 + -8*(-4)/96 composite?
True
Suppose -j + 2*j - 3 = 0. Suppose -d = 5*r - 2065, 2065 = 5*r + j*d - d. Is r a prime number?
False
Let t(m) = -794*m - 20. Let q be t(-5). Suppose -15*n = -5*n - q. Is n a composite number?
True
Let a(c) = -c**3 + 16*c**2 - 12*c - 6. Let u be a(13). Let o = u - 50. Is o a composite number?
True
Let b = 447 - -260. Let q = -381 - -1797. Let d = q - b. Is d a composite number?
False
Let i = -5941 - -11550. Is i prime?
False
Suppose 5*g - 14 = 131. Suppose 0 = 3*k - 260 + 32. Let j = k - g. Is j composite?
False
Let f(y) = 772*y**2 + 12*y - 9. Is f(-4) a composite number?
True
Let o be (10/6)/((-16)/528). Is (16/4 + -5)*o a composite number?
True
Let j(x) be the second derivative of x**3/6 + 4*x**2 + 11*x. Is j(17) a composite number?
True
Suppose -6*j - 387 = -1641. Is j a composite number?
True
Let s(o) be the second derivative of -23*o**5/20 - o**3/2 - 7*o**2/2 - o. Suppose 3*a = 6*a - 3*z + 15, 2*z - 19 = 5*a. Is s(a) a composite number?
True
Suppose 4 + 11 = 5*w. Suppose -q + 274 = w*r, -2*r - 1026 = -4*q - 0*r. Is q prime?
False
Is (-15)/(-35) - 92768/(-56) prime?
True
Let q(l) = -5*l - 150 + 3*l + 172 + 0*l. Let 