rime?
True
Let l = -5889 - -67150. Is l a prime number?
True
Suppose 75*a + 44*a - 2791621 = 0. Is a composite?
False
Let g = 5986 + -2244. Let u = g + -2591. Is u prime?
True
Let f be ((-124)/12 + -3)/((-1)/57). Suppose -f*y - 67055 = -765*y. Is y prime?
True
Suppose -u + 6 = 3. Suppose 0 = -f + 2*q - 8, -7 = u*f - 4*q + 9. Suppose f = -10*w - 1119 + 6329. Is w composite?
False
Let y(j) = -4768*j**2 + 6*j - 11. Let c be y(-11). Is c/(-25) + (-20)/(-25) a prime number?
True
Let m(f) = -1811*f - 1200. Is m(-13) a prime number?
True
Let j(r) = 9469*r - 1399. Is j(8) a prime number?
True
Is 4 + -393*(-11 - 540) + 4 composite?
False
Let m = -55 - -57. Is 503205/150*m + (-2)/5 composite?
False
Suppose -3*n - 15*r = -11*r + 38, -5*n = -r + 25. Let g(l) = -11*l**3 + 2*l**3 + 3*l + 9*l**2 + l - 23. Is g(n) a composite number?
False
Let k(i) = -4*i - 10. Let a be k(-3). Suppose -j + 2 = x, x + j + j - a = 0. Suppose 44 = x*s - 422. Is s prime?
True
Suppose 4*o = 6*o - 12. Let i be 3/(o/5)*264/165. Is -1*((-2278)/(-51))/(i/(-78)) a prime number?
False
Let x(g) be the first derivative of g**6/120 + 9*g**5/20 - g**4/12 - 17*g**3/6 - 5*g**2/2 - 49. Let b(t) be the second derivative of x(t). Is b(-19) prime?
True
Is ((-120)/12 + 9)*-39889 prime?
False
Suppose 444945 = 37723*a - 37720*a. Is a a composite number?
True
Let a = 274 - 254. Suppose 20039 = 3*q - 2*n, -4*n - a = -4. Is q composite?
True
Suppose -3*u + 5*u + 229 = k, -k - 2*u + 225 = 0. Suppose 5*y - 2*n = 8*y - 247, -k = -3*y + 2*n. Is y a prime number?
True
Let c = -977 + 683. Let u(d) = d**2 - 27*d + 42. Let a be u(25). Is -4 - (c/a)/(5/(-100)) a prime number?
False
Is (0 - -1)*((2 - -5) + 1046800) a prime number?
True
Let g(y) = 29*y**2 + 3*y - 9. Let t = -90 - -93. Let n be 4/(-12) - 14/t. Is g(n) a composite number?
False
Suppose -4*j - 92 = -l, 10*j + 16 = 6*j. Suppose -74*c = -l*c + 13582. Is c a composite number?
False
Is (-9)/2*3064760/(-1020) a prime number?
False
Let u be 2/1 + 1 - (-2826 + 11). Let s = 4767 - u. Is s prime?
True
Suppose -29*a + 32*a - 1006578 = 3*n, 3*a - 1006573 = 4*n. Is a prime?
False
Suppose -i + 233 = 5*o + 16, -4 = -2*i. Suppose -o*g + 8 = -39*g, -2*c + 5*g + 13456 = 0. Is c composite?
False
Is 2/((42/(-63))/(((-43557)/9)/1)) prime?
True
Suppose 6*a = -7629 - 32895. Let z = -4023 - a. Let t = z + -1188. Is t composite?
False
Suppose z + 19 = 3*f, 3*z = 8*f - 3*f - 45. Let l(k) = 74*k**2 + 92*k - 13. Is l(z) prime?
False
Let v(n) = -55*n**2 + 3*n - 4. Let c be v(1). Is ((-11576)/(-12))/(c/30 - -2) a composite number?
True
Is 5216 + (217/(-124))/(1/4) prime?
True
Let d = -1 + -13. Let z(b) = 14*b**3 - 31*b**2 + 45*b - 16. Let f(n) = -5*n**3 + 10*n**2 - 15*n + 5. Let h(j) = -17*f(j) - 6*z(j). Is h(d) a composite number?
False
Let z(v) = 10*v**3 + 4*v**2 + v + 6. Let w be z(-3). Is (-4)/(-22) - 246435/w a prime number?
False
Let k(p) = -16*p + 83. Let n be k(-6). Let d = n - -435. Is d a prime number?
False
Let b(l) = 14*l + 0 - 8*l - 20 + 3. Let m be b(12). Suppose -5*g - 516 = -2*f, -724 = -3*f + 5*g + m. Is f a composite number?
False
Let h(c) = 23*c + 1. Let l be h(7). Let a = 455 - l. Is a a composite number?
False
Suppose -44 = u + 10*u. Let w be (2/u)/((-1)/(-202)*1). Let y = w - -230. Is y a composite number?
True
Let n be 1 - 15/9 - 80/(-30). Suppose -4*j + n*p = -22004, -p + 19 - 15 = 0. Is j prime?
True
Let g be ((-180)/54)/((-8)/75108). Let s = g - 13066. Is s a composite number?
False
Let p be (5/(-2) - 0 - -2)*0. Suppose -4*a + 20 = p, 5*v + 0*a - 3*a = -16635. Let o = -1617 - v. Is o a prime number?
False
Let p(q) be the first derivative of -q**4/4 - 4*q**3/3 - 9*q**2 - 3*q - 92. Is p(-8) a composite number?
False
Let t(b) = -6*b + 62. Let j(f) = -2*f + 21. Let l(g) = -7*j(g) + 2*t(g). Let w be l(13). Suppose -3*o + 5*u = o - 2233, -o + w*u = -560. Is o composite?
False
Suppose -10*s + 2598708 = 32*s. Is s a composite number?
True
Suppose 3*o - 264602 = -0*o + 101035. Is o a composite number?
True
Let i = 37 - 38. Let d be i + 1*(3 + -8 - 2). Is ((-598)/(-4))/((-4)/d) a composite number?
True
Let z be 12933 + -5 + (1 - -4). Suppose -10*j = -j - z. Is j composite?
True
Suppose 0 = 2*r - 5*p - 41 + 16, 0 = -4*r - 4*p + 8. Let a be -1 + 2/3 + 6/18. Suppose a = -3*b + 3*j + 415 - 61, -r*b + 620 = 5*j. Is b composite?
True
Suppose a + 84258 = j, 0 = -2*j - a + 40012 + 128507. Is j a prime number?
False
Let u be (6 - 512/88) + 42/11. Is ((-32)/u)/8 - -8514 a prime number?
True
Suppose 3*s = 2*y + 261 - 876, -5*s = 5. Let z = y + 163. Let c = -138 + z. Is c a prime number?
True
Let n(a) = 120*a**2 - 245*a - 478. Is n(-55) prime?
True
Let j = -245311 - -347928. Is j a prime number?
False
Let s(u) = 10021*u**2 + 2*u + 1. Let j be s(-1). Let z = -5159 + j. Is z a composite number?
False
Let r be ((-9240)/1078)/(-2 - ((-825)/(-819) + -3)). Suppose 0 = -x + 2 - 1. Is (x - 3) + -17 + r a composite number?
False
Is -8 + 8*(-439278)/(-16) a composite number?
True
Let f(u) = 33*u**2 - 5*u - 15. Let t = 194 + -196. Is f(t) prime?
True
Let i be 224065/(-41)*(4/(-2) - -3). Let u = i - -16054. Is u prime?
True
Suppose 15*g - 9*g + 16332 = 0. Is 2/(1 + -6*(-453)/g) a prime number?
True
Suppose 69*s = 5*p + 66*s - 324230, 3*s = 15. Is p a composite number?
False
Let u = 14390 + -3037. Let t = 1600 + u. Is t a composite number?
False
Let s(q) = -138*q + 5. Let b(n) = -138*n + 5. Let a(g) = 3*b(g) - 2*s(g). Let j(k) = -k - 7. Let v be j(-4). Is a(v) prime?
True
Suppose 24 = f - 6. Is (839/2)/(15/f) prime?
True
Is (1/(6/(-1101)))/(11/(-3278)) a composite number?
True
Let c = 770 - 766. Suppose c*p + 7803 - 26039 = 0. Is p composite?
True
Is (-104326)/(-8) + 200/160 prime?
False
Suppose -2*h = -v + 21, h + 5 = v - 7. Let a(p) = 191*p**2 - 4*p - 68. Is a(h) composite?
False
Suppose -h + 3 = -34. Suppose 5*k - 4*s = 51, -5*s + 9*s + h = 3*k. Suppose 0 = -11*v + k*v + 3508. Is v a composite number?
False
Suppose -3*j + 4*j = -2*j. Suppose j = 3*f - 13 - 2. Suppose -15 = -f*s, 0 = q - 3*s - 536 + 66. Is q composite?
False
Let o(y) = 5*y - 11. Let v be o(10). Let p(j) = 44*j + 105. Is p(v) prime?
False
Let y = 30 + -15. Suppose -y = -2*z - 11. Suppose p + 239 = -z*r + 1262, 5*p - 5127 = -4*r. Is p a prime number?
False
Suppose 0 = -8*i + 6*i. Suppose z + 4*w = -227 + 1014, i = 3*z - w - 2361. Is z a prime number?
True
Let s(d) = 202*d - 939. Is s(14) a composite number?
False
Let h(b) be the second derivative of 1687*b**3/6 + 21*b**2 + 61*b. Is h(7) a composite number?
True
Let n(w) = 36*w - 523*w**2 - 3 + 22 + 632*w**2. Is n(-10) a prime number?
True
Let x be (-2*(-10)/(-4))/1 + 2. Let b be ((-14)/21)/((x/3)/2013). Let o = b - -907. Is o prime?
False
Let l be ((-7)/(-3) + -2)*81. Suppose s + l = 29. Suppose 3910 = s*c - 1120. Is c composite?
True
Let g = -120443 - -257620. Is g a prime number?
True
Let c(z) = -z**3 + 5*z**2 - 3*z + 22. Let b be c(7). Let h = -107 - b. Is (-110464)/h - (-3)/5 composite?
False
Let c = -4592 + 30685. Is c a composite number?
True
Let v(u) = 111*u**3 - 9*u**2 - 25*u - 68. Is v(13) a composite number?
True
Let u(a) = 84*a**3 - 2*a**2 + 4*a - 2. Let t be u(1). Suppose 2*g = -3*p + 58, 5*g - 2*g + 3*p - t = 0. Is 24479/g + (-1)/2 prime?
True
Let m(y) = 30*y**2 - 41*y + 14. Let n be m(15). Suppose 3*x - 32 = -4*g + n, -2*g + x = -3083. Is g prime?
True
Let x be 2 - (-2 + 1 - 22). Suppose -5*p + 95 = x. Let r(a) = -a + 20. Is r(p) a prime number?
False
Is ((-2 + 209785)*-1 + -2)*(1 + -2) a prime number?
False
Suppose -n = -2*d + 203823, -5*d + 59*n + 509550 = 64*n. Is d composite?
True
Let l(o) = o**3 - 94*o**2 + 713*o - 63. Is l(89) prime?
True
Suppose 659915 - 1729520 = -19*d. Is 2/(-8) - d/(-108) composite?
False
Let o = -1161237 + 2455628. Is o prime?
False
Suppose 493195 = -g + 9*g - 3*g. Is g composite?
False
Let k(c) = 13*c**2 + 20*c + 16. Suppose -4*v - 93 + 20 = 5*j, -v = -4*j + 13. Is k(v) prime?
True
Suppose -30*k - 48 = -34*k. Suppose -n = -15 + k. Suppose 0 = -n*q - v + 1231, q + 206 = 4*v + 599. Is q prime?
True
Let p(s) be the third derivative of -s**6/60 - s**5/60 + s**4/6 + 27847*s**3/6 - 55*s**2. Is p(0) a prime number?
True
Let n = 145 + -123. Let w(h) = 9*h**2 - 19*h + 47. Is w(n) composite?
True
Suppose 0 = -0*a - 3*a + 9. Suppose 