posite?
True
Suppose -6*y + 96072 = 24*y - 3908718. Is y prime?
True
Suppose -72*v + 225752 + 406336 = 0. Is v composite?
False
Let t = -18 - -20. Let v(f) = 32 - 4*f - 13 - t*f. Is v(-16) composite?
True
Suppose -47*d + 809364 = 12*q - 43*d, 4*q - 269788 = -4*d. Is q a prime number?
True
Suppose 14*r - 2*r = 252. Is (-15)/35 + ((-1024584)/r)/(-4) a prime number?
True
Let s(i) = -i**2 - 4*i + 3. Let y be s(-4). Is (-1 + y)/((-20)/(-12010)) composite?
False
Suppose -160*y + 92*y + 78*y - 1305790 = 0. Is y composite?
False
Is 89478 - -25 - (-9 + (-4 - -3)) a composite number?
False
Let s = 170060 + -20077. Is s composite?
True
Let r(z) = -z**3 + 12*z**2 - 2*z - 106. Let a be r(11). Let m(k) = -2*k**2 + 5 - 2*k**3 + 0 + 6*k**2. Is m(a) composite?
False
Let q be 4/6 - 198/(-27). Suppose q*p = p + 994. Is p a prime number?
False
Let d = 226677 - -35240. Is d composite?
False
Let p be -14*(7/(-2) - 24/(-6)). Is (p/4 - -2)*(14 - -9822) a composite number?
False
Let a(l) = -l**2 - 12*l - 20. Let z be a(-9). Suppose -z*v + 2*v + 153240 = 0. Suppose q = -7*q + v. Is q composite?
True
Suppose 5*q + g + 18 = 4*q, 3*q = -5*g - 52. Let w(r) = r**2 + 11*r + 83. Is w(q) prime?
False
Suppose -15 = -28*j + 23*j. Suppose 4*y + j*o - 4510 = 0, 0 = -4*y - 4*o - 0*o + 4512. Let r = y - 49. Is r a composite number?
True
Let y(c) = -3*c**2 - 4*c - 32. Let h be y(16). Let n = -1578 - h. Let j = -205 - n. Is j composite?
False
Let k be 4/(-14)*(-7)/2. Is k/(162130/20266 + -8) a composite number?
False
Suppose 2*t + 9 = m - 0*t, 0 = 3*m + 3*t. Let l be (1/m + (-548)/6)/(-1). Let q = 218 - l. Is q prime?
True
Is (7 - 79975/(-7)) + 11 a prime number?
True
Suppose 3*x - v + 779 = 0, 2*v = -3*x + 7*v - 763. Is (-8 + 1)/(9/x) a composite number?
True
Let h = 49 + -45. Suppose -k - h*p = -2*k + 12, -5*p - 26 = -4*k. Suppose t = -k*i + 1891, -i = t - 128 - 344. Is i a prime number?
False
Let s(r) = -204*r + 55. Let b(h) be the third derivative of -17*h**4/6 + 3*h**3 - 14*h**2. Let d(n) = 8*b(n) - 3*s(n). Is d(4) composite?
False
Let j = -38096 + 57217. Is j a composite number?
False
Let l(z) = 272*z + 23. Let p be l(7). Suppose -a - w + 1915 = 2*a, -4*w = 3*a - p. Suppose 1048 + a = f. Is f prime?
False
Let m = -140700 + 213853. Is m a composite number?
True
Suppose 4*p - 291652 = -0*p - 2*z, 2*p = 5*z + 145850. Suppose -p = -75*q + 60*q. Is q a composite number?
False
Let u(p) = p**3 - 3*p**2 + 4*p - 2. Let o be u(2). Let a(g) = -3*g - 5*g + 454*g**2 + 5*g - o*g - 5. Is a(-2) prime?
False
Let t(i) = -261*i. Let h be t(-20). Let o be (h/25)/2*-10. Let m = 1931 + o. Is m a composite number?
False
Suppose -26700*g - 1808 = -26702*g. Let d = 2035 - 1394. Let u = g - d. Is u a composite number?
False
Suppose 0 = -g + 2*x - 2, 5*g + 6*x - 3*x - 16 = 0. Let f(h) = 127*h + 15. Is f(g) prime?
True
Is (-2)/10 - ((-326304)/45 - 10) composite?
True
Suppose -6101 = 4*n - 5*t, -3*n - 4*t - 7575 = 2*n. Let w = 238 - n. Is w prime?
False
Suppose 2586*l = 2587*l - 12. Suppose -l*v = -11*v - 8609. Is v a composite number?
False
Let x(m) = 352*m**3 - 10*m**2 + 30*m - 47. Is x(5) a prime number?
True
Let p(y) be the third derivative of y**5/30 - y**4/2 + 35*y**3/6 + y**2 + 55*y. Is p(-16) composite?
False
Let z(o) = -3*o + 7. Let t be z(3). Is -3 - (t - -5) - -2873 - 6 a prime number?
True
Suppose 210*n - 622683468 = -186*n. Is n prime?
True
Suppose -16*y + 38 = -26. Suppose 5902 = y*m - 5470. Is m a prime number?
True
Let m = 139993 + -9182. Is m composite?
False
Let u = -22172 - -99799. Is u prime?
False
Suppose -2*u - 2*j = -7*u + 28, -j + 16 = 5*u. Suppose 2*i - 2*t - 3*t = 16607, -3*i + 24899 = u*t. Is i composite?
True
Let s(o) = 54*o - 21. Let j(g) = -2*g - 1. Let z be j(-3). Suppose 0 = 5*k + v - 58, -z*k + 46 = -3*v - 0*v. Is s(k) prime?
False
Suppose 5*o - m = 46, -5*m + 10 = -5*o + 4*o. Is (-3 + 1)*((-9249)/6 - o) prime?
False
Let g(s) be the first derivative of 243*s**2/2 - 9*s - 11. Let k be g(5). Suppose 2*u = -5*x + k + 1463, -4*x + 2136 = 2*u. Is x prime?
False
Suppose -4*v = r - 7 - 4, 2*v = -2*r + 4. Let q be -3 + v - 1*-316. Suppose -2054 = -6*x + q. Is x a prime number?
False
Let j(w) = 16*w**3 + 81*w**2 + 115*w - 179. Is j(26) composite?
True
Let c(p) = -5*p - 4. Let f be c(0). Is 7753*4*f/(-16) composite?
False
Suppose -728 = 37*k - 173. Is 52665/(-10)*(10/k + 0) prime?
True
Suppose v + 2*y = -3*y + 18, 3*v - 2*y = 3. Suppose -3*r = -4*k + 18232, 35*r + 13667 = v*k + 31*r. Is k prime?
True
Let z = 85 + -76. Let i(f) = 252*f + 6. Let r be i(z). Suppose 2*o + 776 = r. Is o composite?
True
Let g be 180/36 + (-1*2)/2. Suppose -g*s + 1900 = 4*h, s + 1571 = 5*h - 828. Is h prime?
True
Suppose -817565 = -j - 116*l + 114*l, 3*j + 3*l = 2452689. Is j prime?
True
Let r = 17381 - -10308. Is r composite?
False
Let l(x) = -13*x + 117. Let r be l(9). Suppose r = -0*c - 4*c + 5*f + 44715, -4*c + f + 44735 = 0. Is c a prime number?
False
Let o(v) = -4*v**3 + 25*v**2 - 8*v - 235. Is o(-24) composite?
False
Is (-7 - 663/(-91)) + 24897/7 prime?
True
Let m = 478 + -473. Suppose -8141 = -3*b + 3*x - 8*x, -2*b + 5434 = m*x. Is b a composite number?
False
Let q(g) = 10 + 29 + 3*g - g - 3. Let z be q(-16). Is 42890/70 - z/(-14) a composite number?
False
Suppose 243*i = 250*i - 105. Suppose 7*l = i*l - 18168. Is l a composite number?
True
Let u(w) be the second derivative of 69*w**5/20 - 7*w**4/6 - 8*w**3/3 - w**2 + 106*w. Is u(7) a prime number?
False
Let t(a) be the second derivative of 607*a**4/4 + 3*a**3/2 - 11*a**2/2 + 28*a. Is t(2) a composite number?
True
Let m(s) be the first derivative of -8*s**3/3 - 23*s**2/2 - 2*s + 27. Let d(n) be the first derivative of m(n). Is d(-7) a prime number?
True
Suppose 108793 = 3*n + q + 1599, 0 = -4*n + q + 142909. Is n a prime number?
True
Let f(q) = -10*q**3 - 8*q + 7. Let w be f(5). Let l be 0/2493*(2/(-5) - 6/10). Is (w/5 - l)/(3/(-15)) composite?
False
Let k(h) be the second derivative of -227*h**4/24 - 13*h**3/6 - 3*h**2/2 - 26*h. Let o(i) be the first derivative of k(i). Is o(-4) a composite number?
True
Let t be (-4773)/(-3) + (-8)/2 - 7. Let h(l) = l**3 - l**2 + 5. Let r be h(0). Suppose -r*s = 5*m - t, -5*s + 3*m + 1581 = 7*m. Is s prime?
True
Let p(x) be the first derivative of 227*x**6/360 - x**4/12 - 28*x**3/3 - 8. Let w(n) be the third derivative of p(n). Is w(-3) a prime number?
False
Let o = -34 - -42. Suppose -4*x - 2*i + o = 2, 4*x - 4*i = 36. Suppose 4*y - 544 = -2*m, x*y - 1092 = -6*m + 2*m. Is m a prime number?
False
Suppose 20*g - 4*g = 114384. Let r = g + -3598. Is r prime?
False
Is (10 - (-787235)/35)*7 a prime number?
False
Let i be (-1)/(12147/(-6073) - -2). Suppose -4*p - 68 + 4146 = 2*g, -i = -3*g + 5*p. Is g composite?
True
Let j = 531 - -4988. Is j prime?
True
Let i(a) = 107603*a + 524. Is i(3) a prime number?
True
Let m(d) = d**3 + 8*d**2 + 11*d - 8. Let i be m(-6). Let t be (-3 + 6 - 1)*19/i. Is (t/(-2))/1*(10 + 4) a composite number?
True
Suppose 70*s = -76*s + 9069374. Is s prime?
True
Let n = -43378 - -61293. Suppose 0 = -13*m + n + 28326. Is m composite?
False
Suppose -3*w - 5*f + 3*f = -145481, 3*w - 5*f = 145516. Is w prime?
True
Suppose 30*b = 36*b - 96. Let m = 32 - 12. Suppose m*x - 4964 = b*x. Is x a prime number?
False
Let b = 346 - 327. Is 14 - b - -4 - -3811*2 composite?
False
Let c be 0/1 - ((0 - -1) + 1). Let f be 2768 - ((-14)/4 - -3)*c. Suppose -f = -2*k + 2319. Is k prime?
True
Suppose 0*h - 2*h + 188 = 0. Suppose 0 = 12*w - h - 38. Suppose 3*t = w*t - 1616. Is t composite?
True
Suppose 31*h - 27*h = 1168. Is (-365)/h + (-1009)/(-4) prime?
True
Let l be (-9135)/(-147) - (-1)/(-14)*2. Is l/4*(1 + -3 - -4) prime?
True
Let k be (2 - 45)/((-3)/(5 + -2)). Is -2 + (k - 0) + 2 a prime number?
True
Suppose -4*f + 3133063 = 26*m - 27*m, 0 = f + 3*m - 783282. Is f a prime number?
False
Let v be (34*1 - -1)*49. Let y(q) = 2*q + 906. Let c be y(33). Let h = v - c. Is h composite?
False
Let v = -146 - -162. Is 15868/v + (-3)/4*1 a prime number?
True
Let r = 13060 + 2491. Is r a prime number?
True
Let b be 7/2 - 2 - (-5454)/4. Suppose -4*r + a + 6777 = 0, -a + b = r - 323. Is r a prime number?
True
Suppose -109*j = -39*j - 30504110. Is j a composite number?
True
Is ((-4)/14)/((-429739)/39067 + 11) a prime number?
Tru