e k(s). Let b = c + -6574. Is b a composite number?
True
Let k be (5 - 6714/(-27))*-162. Let z = k + 58411. Is z prime?
True
Let x(s) = -2762*s + 387. Is x(-4) prime?
False
Is (-10 - -9)*(-517130)/10 prime?
True
Let k(j) = 2*j**2 + 16*j + 10. Suppose -27 = 5*c - 4*b, 4*c + 2*b + 24 = 4*b. Let w be k(c). Is 1/(w/(-4168)*2) a prime number?
True
Let b(u) = u**3 + 7*u**2 - 17*u - 12. Let w be b(-23). Is (-8)/6 + (w/(-9) - 2) composite?
True
Let v(i) be the second derivative of -i**4/6 - i**3/3 + 339*i**2/2 - 2*i. Suppose 15*x + 5 - 5 = 0. Is v(x) prime?
False
Suppose -8*y = -11*y + 31365. Suppose -7*l + 2950 + y = 0. Is l prime?
False
Suppose 30 = g - 4*d, -6*g - 2*d = -4*g - 10. Is ((-6)/(12/1103))/((-1)/g) composite?
True
Let t = -443 + 155. Let u = 510 - t. Suppose -566 = -4*x + u. Is x a prime number?
False
Let q = -27881 + 86257. Suppose 6*v = q - 23954. Is v composite?
False
Let n = -710656 - -1127603. Is n prime?
True
Suppose 74*d - 5*d - 2400529 = 3840038. Is d a composite number?
True
Let j(n) = -241 + 1098*n - 1727*n + 908*n. Is j(13) composite?
True
Let z(o) be the first derivative of -11*o**2/2 - 38*o + 78. Is z(-27) a prime number?
False
Suppose -3*h - 4*u = -2203, -737 = -3*h + 2*h - 2*u. Is (h + 70/(-7))*(-1)/(-1) composite?
False
Suppose 4748 = 3*k + 5*s, -9*s = 3*k - 5*s - 4750. Let d = k - 837. Is d a prime number?
False
Let g(o) = 16*o**3 - 49*o**2 + o + 245. Is g(26) a composite number?
True
Suppose 58*q - 54*q = -322628 + 1051240. Is q composite?
True
Suppose -11*f + 24*f - 14794 = 0. Is 36/(-12) - f/(-2*1) composite?
True
Suppose 0 = 9*m - 2*m - 91. Suppose 20*n - m*n - 29407 = 0. Is n a prime number?
True
Let a = 266195 + -103224. Is a a prime number?
True
Let d be (169/13 - 16)*(-10)/6. Is ((-20425)/15 - -2)*(-1 - d) a composite number?
True
Is (2/(-7) - 414/(-126)) + 33194 composite?
True
Suppose 2473*g = 2503*g - 7926870. Is g a composite number?
True
Suppose 314145 = 22*n - 8*n + 43987. Is n a prime number?
False
Let s(l) = 36*l**3 + 19*l**2 - 33*l + 11. Is s(10) a prime number?
False
Let c(i) = -33*i + 16*i + 92*i**2 - 176 + 74 - 167. Is c(24) a prime number?
False
Is (-9975189)/(-531) + (-4)/(-3) composite?
False
Let v(a) = -842*a**3 + 510*a**2 - 25*a - 5. Is v(-11) a composite number?
True
Suppose 3*v - 9841 = h + 1686, -h + 2*v = 11522. Is (-15)/20*h/6 a composite number?
False
Let h be ((-4)/(-26) + 965525/325)*-93. Is ((-4)/(-34))/(-1) - h/17 composite?
False
Let z = 739815 + -490604. Is z prime?
True
Let d be ((-233)/(-4) - 1)/((-3)/(-276)). Suppose -18*w + 16*w + d = 5*j, 4216 = 4*j + w. Is j a composite number?
True
Suppose -5*p = -h - 165345, -5*p + 0*h = -5*h - 165365. Suppose 21*s = 7*s + p. Is s a composite number?
True
Let k = -460513 + 958470. Is k a prime number?
True
Suppose 30038383 + 11756454 = 151*l. Is l composite?
True
Suppose -245 = -101*s + 94*s. Suppose 22*i = s*i - 25103. Is i composite?
False
Let y(w) = 48*w**2 - 187*w - 268. Is y(46) prime?
False
Suppose 0*r + 5*r = 5*y + 25695, -5*y - 20553 = -4*r. Suppose -12142 - r = -4*m. Is m prime?
False
Let a = 353 + -343. Let r(k) = 11*k**2 + 18*k - 143. Is r(a) prime?
False
Let h = -506 + 3664. Is h prime?
False
Let w be (-4 - 4)*((-72468)/(-8) - 1). Is (13/13)/(144916/w - -2) composite?
True
Is ((-10)/(-12) + 12/(-9))/(2/(-2604676)) a composite number?
False
Let r(y) be the third derivative of -47*y**4/6 - 13*y**3/6 + 4*y**2. Let b be r(-6). Suppose -41*f + 46*f - b = 0. Is f a prime number?
True
Let c be (96/(-112))/(6/(-28)). Is ((2 - c) + 816)*1/2 a composite number?
True
Suppose 5*r + 16 = -4, 4*r + 12 = -p. Suppose p*m - 6063 = d + 7*m, 0 = 2*m. Let t = -3730 - d. Is t a prime number?
True
Suppose -2*f + 474438 = z - 1411211, -f - z = -942822. Is f composite?
False
Let k be -6*(5 - 7)/6. Let f be 2/2 - k - (-8)/2. Let t(n) = 538*n + 19. Is t(f) a composite number?
True
Suppose 15*o - 13*o - 4 = 0. Suppose i + 5 - 1 = 0, 2*g - o*i - 270 = 0. Is g a prime number?
True
Suppose -12 = -2*v + 3*i, 2*v + 9 - 25 = 2*i. Let j be ((-3)/v)/((-3)/24). Suppose 0 = j*y - 21 - 233. Is y a prime number?
True
Let j be (16037/174)/((-1)/(-6)). Let t = j + 1626. Is t a composite number?
False
Suppose -2*u = -n - 2921, 4*u = -n - 339 + 6166. Suppose -2*k + 1051 + u = -3*o, 0 = 4*k + 5*o - 4963. Is k a prime number?
False
Suppose 503*m - 515*m = -562644. Is m prime?
False
Let g = -85 + 81. Let f be 2/g - 5550/20. Is f*(4/16)/(2/(-4)) composite?
False
Let h be -3 + 23 + (-2 + 3)*-4. Suppose 66582 = h*p + 11302. Is p a prime number?
False
Let y = 51 + -45. Suppose -1920 = -y*v + v. Suppose -d - 650 = -5*j - 6*d, 3*j + d = v. Is j prime?
True
Suppose 0 = -0*j - 2*j + 3*u + 88684, u = -4*j + 177354. Is j composite?
True
Suppose 5*v + 794059 = 3*k, -7*k - 2*v = -5*k - 529362. Is k a prime number?
False
Suppose -5*k + 3*d + 298076 = 0, -21*k + 16*k - 2*d = -298041. Is k composite?
False
Suppose 247*u - 38926244 = 219*u. Is u a composite number?
True
Let k(q) = -q**2 - 8*q + 1. Let z be (-3 - 26/(-8))*28. Let g be k(z). Let i = 453 - g. Is i a prime number?
True
Suppose -8*v + s + 1 = -10*v, 4*s - 20 = 4*v. Let y(m) = -133*m**3 - 3*m**2 - 4*m + 1. Is y(v) composite?
False
Let v(h) = -13*h**2 + h**3 + 19*h + 29*h + 5 - 10*h**2 - 6*h + 2. Is v(29) a prime number?
True
Let s(c) = c**2 + 3*c - 9. Let r be s(-5). Suppose -4*g = -1359 - 793. Is 1 + 1 + r + g a composite number?
False
Suppose 17*f - 15*f = 4. Suppose 0 = -3*d + w + 2 + 5, -18 = -f*d + 4*w. Is d/(3/12*8/166) composite?
False
Let w be ((-14792)/6)/((-2)/(-6)). Let k = w - -14465. Is k composite?
False
Let u(x) = -5*x - 6. Let z be u(-3). Suppose 0 = -z*d + 205 + 884. Suppose d = 13*p - 165. Is p a composite number?
True
Suppose -79365 = -4*u + 5*m + 275251, 4*u - 354616 = 3*m. Suppose -51*c + 4 = -53*c, -c = 2*l + 8. Is (l/(-2))/(57/u) composite?
False
Let h(r) = 52041*r**2 + 440*r + 2597. Is h(-6) composite?
False
Suppose 115*o = -9536711 + 197280766. Is o composite?
False
Let d(z) = -310*z - 7. Let n(t) = -t + 6. Let y be n(8). Let k be d(y). Suppose -2*c + 733 + k = 0. Is c composite?
False
Suppose -2*u + u + 2*m = 36, 110 = -3*u + 5*m. Is (-238850)/u + 2/(-8) prime?
False
Is 420204/(-7 + 26) + 1 + -2 + 6 prime?
False
Let h be 44*(-6 + 3)*-1. Let j(n) = 3*n**3 - 4*n**2 - n - 3. Let r be j(7). Let q = r + h. Is q a composite number?
True
Let v be 6*(16/18 + 12/(-54)). Suppose -4*z - m + 7343 = 0, -v*z + 2427 = -2*m - 4907. Is z a composite number?
True
Let n = 36703 - -16255. Is n prime?
False
Suppose 142*h - 22*h - 5552847 = -330807. Is h a composite number?
False
Let c be (-2)/1 + -3 + 3161. Suppose -22*n = -10*n - c. Is n a composite number?
False
Let b be 1/(10/(-24)*21/70). Let p(i) = -5*i**3 - 7*i**2 - 4*i + 35. Is p(b) prime?
True
Let w = 56139 - 5582. Is w prime?
False
Let h(j) = j + 6. Let w be h(-6). Let p(o) = -1944*o**2 + 2*o - o + 1945*o**2 + 839. Is p(w) a prime number?
True
Let x(u) = 15*u - 24*u**2 + 8*u**3 + 16 + 39 - 10*u**3 - 38*u. Is x(-18) a composite number?
False
Let f(j) = 6*j**2 - 25*j - 8. Let v be (-20)/(-4)*(4 + 116/(-20)). Is f(v) prime?
False
Suppose 157 = -2*n - u, -4*u = -13*n + 8*n - 425. Let r = 150 + n. Is r composite?
True
Let i(q) = -20*q**3 + 27*q**2 - 27*q - 77. Is i(-20) prime?
True
Let u(z) = -214*z - 46. Let k be u(-14). Suppose -2*c - 4*l = -k, -c + 1450 = -3*l - 0*l. Is c composite?
True
Suppose -m = 3*m - 96. Is m*(-3 - 27/(-2)) - 1 composite?
False
Let d(x) be the third derivative of -13*x**4/4 + x**3/3 + 14*x**2. Let b be d(2). Let q = 24 - b. Is q a composite number?
True
Let l(x) = 26*x**3 - 11*x**2 - 3*x - 17. Let r be l(5). Suppose -r = -3*n + 3*t + 4773, 4*n - 5*t = 10293. Is n a prime number?
False
Suppose -3*k = -5*h + 20, -2*k = 4*h - 9 - 7. Suppose -h = -5*c - 4. Is (-1 - -3 - c)/(6/1011) a prime number?
True
Suppose 0 = -99*v - 807459 + 5514216. Is v a prime number?
True
Suppose 20*j + 4 = 4. Is j + 0/8 - (-2 + -11253) composite?
True
Let l = 3492 + -3417. Let k be 2/3*33*1. Let v = l - k. Is v a prime number?
True
Suppose 191*d - 321*d = -70219370. Is d a prime number?
True
Suppose -5*d + 3*d - 4*u = -898, 4*u = -5*d + 2245. Let v = 122 + d. Is v prime?
True
Let p(i) be the second derivative of -103*i**5/10 - 7*i**4/6 - 4*i**3/3 + 2*i. Let x(k) = 69*k