(-1) + (-28)/((-728)/(-130)) a composite number?
True
Is (-13329)/(-18)*((-40)/(-5))/4 a prime number?
True
Let o = -2364 - -3459. Suppose 0 = -17*v + 12*v + o. Let x = v - -634. Is x a prime number?
True
Suppose -5*a = -0*s - 4*s - 1971803, 5*a = 3*s + 1971806. Is a composite?
False
Is 14/21*(-2800962)/27*(-72)/32 composite?
False
Let r be -4*(-5 + 21/14). Is (63/r)/((-3)/(-4)) prime?
False
Let o be ((-12)/10)/(-1*4/10). Suppose -s + 1 + 1 = -3*d, -d - 14 = o*s. Is 471 + ((-1)/s - 49/(-28)) a composite number?
True
Suppose 2628 + 420 = -4*z. Let f = 544 + z. Let h = 251 - f. Is h a prime number?
False
Let j be 0 - ((-6)/9 - 50/15). Suppose 4320 = 3*f + h, -j*f = 5*h - 1821 - 3950. Is f a prime number?
True
Suppose -2*v + 24748 - 9030 = 5*s, -2*s + 6285 = 3*v. Suppose 4*w - 1828 - s = 0. Is w a prime number?
False
Suppose -2*j = -232 + 1372. Let c = j - -628. Is c composite?
True
Suppose 8463 = -68*z + 65*z. Let y = -4287 - z. Let n = 3373 + y. Is n a prime number?
True
Is ((-18)/12)/(21/(-320306)) a composite number?
True
Let m(g) = 138*g**2 + 170*g + 15. Is m(17) composite?
False
Let v(a) = a**3 + 7*a**2 - 9*a - 4. Let x be v(-8). Let i be (-1294)/x - 1 - (-52)/(-104). Let f = 174 - i. Is f prime?
True
Let p(k) = -3*k - 3. Let j be p(2). Let m(d) = -333*d - 3 + 19*d + 42 + 34*d. Is m(j) composite?
True
Let d = 936386 - 348889. Is d prime?
True
Suppose -34*k + d + 1762551 = -32*k, 1762544 = 2*k - 2*d. Is k a composite number?
True
Let s(b) = -b**3 - 36*b**2 + 255*b + 69. Let y be s(-42). Suppose -2*m = -4*m + 4472. Let d = y + m. Is d prime?
True
Suppose -5*y - 230 = 4*v, 2*v + 57 = -y - v. Let d be 24/(-28)*y/9. Suppose d*u = u + 2103. Is u a prime number?
True
Let z = -843 - -575. Let s = z - -1304. Suppose 1265 = 5*k - p, -4*k + s = 5*p - p. Is k a prime number?
False
Let d be (-4539 + 6)/(3/(-2)). Suppose -d = -15*r + 5333. Is r a composite number?
False
Suppose 4*v - 2041253 = -q, 16*v - 5*v = q + 5613412. Is v prime?
True
Let i(h) = -h**3 - 31*h**2 - 68*h + 13. Is i(-29) a composite number?
True
Let s = -13188 + 43247. Is s composite?
False
Let s be 35/50*-178 + (-3)/(-5). Let o = s + 315. Is o a prime number?
True
Let t = 39 + -36. Let j(d) = 4*d**2 - t*d**2 + 26*d - 24*d - 18. Is j(20) prime?
False
Let w(b) be the first derivative of -34*b**3/3 - 5*b**2/2 - 10*b + 37. Let y be w(-4). Is (36/(-24))/(1077/y + 2) a composite number?
False
Let b = -3609 + 6349. Let c = 4699 - b. Is c a composite number?
True
Is (-54)/432 - ((-1415330)/16 + -1) composite?
True
Let d = -766331 - -1573188. Is d a prime number?
True
Is (-9 + (-493648)/8)/(-1) prime?
False
Let b(x) be the third derivative of 0*x + 0 - 20*x**2 + 1/6*x**4 - 29/24*x**6 - 1/60*x**5 + 1/6*x**3. Is b(-2) a composite number?
True
Let t = 5268 + -5245. Suppose -3*j + j + 48 = 0. Suppose -914 = -j*w + t*w. Is w prime?
False
Let z(q) = 126*q**2 - 2*q - 1. Let k be z(-2). Suppose 2*u - w - k = 0, -773 = -3*u + 4*w - 0*w. Is u a prime number?
True
Suppose u = 2*p + 40404 + 72924, u = -5*p + 113293. Is u prime?
False
Let r(q) = -957*q - 8. Let y(i) = -1916*i - 11. Let w(p) = -1916*p - 12. Let l(h) = -4*w(h) + 3*y(h). Let x(u) = -6*l(u) - 11*r(u). Is x(-1) a prime number?
True
Suppose -24*p + 156342 = 39318. Let q = 9875 - p. Is q prime?
True
Let b be 138201/13 - (-24)/156. Suppose -x + 33489 = -b. Suppose 7*t = 15*t - x. Is t composite?
True
Is ((-1)/(15/42))/(100/(-89686750)) a composite number?
True
Let i(k) = 3*k**2 + 7*k + 15. Let d be i(-3). Is (d + 7)*106/8 composite?
True
Let d(h) = 3550*h**2 + 97*h + 605. Is d(-12) a composite number?
True
Let d = -1691 + 11422. Is d a prime number?
False
Let n = -5 - 2. Let b(p) = 71*p**2 + 29*p + 9. Let u be b(n). Let k = u + -1384. Is k prime?
True
Let x(k) = -25*k - 14. Suppose -19*a = 8*a + 243. Is x(a) prime?
True
Suppose -1376610 = -27*x - 3*x. Is x prime?
True
Let i = 125399 - 87962. Is i a prime number?
False
Let n(y) = 145*y**2 - 104*y + 1955. Is n(22) a prime number?
True
Let c be (56/(-6))/(2/(-6)). Suppose 3*m - 27*m + 48 = 0. Is (-4837)/c*(-8)/m a prime number?
True
Let o be 4 + 2662/10 + 10/(-50). Suppose 3*v = -o + 1203. Is v a composite number?
False
Suppose 5*z - 43 - 57 = 0. Suppose 0 = -s - 5*g - 20, -2*s + z = s - 5*g. Suppose 3*q + 156 = -x + 889, -x + 4*q + 705 = s. Is x prime?
False
Suppose 2*b - 685686 = 4*m, -8*m = -15*b - 10*m + 5142485. Is b a composite number?
False
Suppose 5*n = -3*z - 116, n - 6*z + 40 = -z. Let x be 5989 + 20/n*(-10)/4. Suppose -4*v + 4*b + x = b, -2*v + 2995 = -b. Is v a composite number?
True
Suppose 0 = -23*i + 132332 + 447. Is i composite?
True
Let b(i) = -i**3 - 16*i**2 - 5*i - 31. Let q(l) = -l + 54. Let u be q(0). Suppose -4*h = 2*f + u, h + 7 + 19 = 2*f. Is b(h) a composite number?
True
Suppose 2*v = -5 + 15. Suppose -v*w - 594 = 66. Let p = -19 - w. Is p a composite number?
False
Suppose 6*i - 3*i - 173036 = -y, 0 = 2*y - 5*i - 346083. Is y prime?
True
Let y be (-8)/(-1)*(-5)/(-25)*5. Suppose 0 = -y*r + 11*r - 1257. Suppose 2*n - 2134 = 2*a, 2*n - 1723 = -2*a + r. Is n prime?
True
Let x = -39388 - -153731. Is x composite?
False
Let q be (7 - 15/3) + 863. Suppose 3*u - q = -2*j + 6893, 3 = j. Suppose -3*p + 11*p - u = 0. Is p a composite number?
True
Let v be 0/1*((-100)/30 - -3). Is (v + 2)*((-1895)/(-2) - 1) prime?
False
Suppose -2*w = -5*c - 466081, -2*c + 699130 = 3*w - c. Is w a prime number?
False
Let b = -408 - -290. Let i(y) = -y**2 - 38*y - 16. Let m be i(-13). Let a = b + m. Is a a composite number?
False
Is ((-210)/(-245))/((-1)/7) + -1 + 5271560 a composite number?
True
Suppose 0 = 40*j - 52345090 - 3150390. Is j composite?
True
Let i(a) be the first derivative of 2*a**3/3 - 31*a**2/2 + 31*a + 11. Let w be (0 + (-2 - -3))/((-7)/(-140)). Is i(w) prime?
True
Suppose 5 = -4*w - 3*m + 6, -5*w + 35 = -3*m. Suppose -n = -3 + w, -4*n = -5*o + 12059. Is o composite?
False
Let p(y) = 115*y**2 - 19*y + 24. Let u be p(19). Suppose 24*i - 18*i - u = 0. Is i a prime number?
True
Let l(t) = -4*t - 4. Let o be l(-2). Suppose -o*g = -9*g - 3*b - 56, -5*g + 5*b = 40. Is (g/(-5))/(7/(4270/4)) prime?
False
Suppose -9170 = -5*z - b, -2006 = -2*z - b + 1665. Suppose 0 = -4*o + 5*o - 5. Suppose z = 3*g - 3*n, o*n + 1829 = 3*g - 0*n. Is g a prime number?
True
Suppose -13*z + 14*z = 0. Suppose -5*d - 2*t = -z*d - 40098, -4*d + 32082 = -2*t. Is ((-1)/(-2) + 0)/(10/d) a composite number?
False
Let n be (4 + -2)*(-58965)/30. Let f = n + 5582. Is f composite?
True
Let r(g) = g**3 - 2*g**2 + 3*g - 5. Let s be r(3). Let q(w) = 10*w**3 - 10*w**2 - 12*w - 73. Is q(s) a prime number?
True
Suppose 0 = 4*z + o + 3, o = -0*o - 3. Suppose 2*l = 4*w + 22, z = 4*w - 9*w - 20. Suppose -496 = l*v - 1537. Is v prime?
True
Suppose -7*s - 4*y + 41 = -6*s, 5*s - 2*y - 183 = 0. Suppose -45*x = -s*x - 31544. Is x a composite number?
False
Let h = -324356 + 457705. Is h composite?
False
Let w(o) = 6*o + 42 + 16*o - o**3 - 49 + o**2. Let j be w(6). Is (4/10)/(-2) + (-198726)/j a prime number?
True
Suppose 79 + 53 = 11*m. Suppose -11*k + 2 = -m*k, 39661 = 3*r - 5*k. Is r prime?
True
Let l(g) = g**3 - 25*g**2 - 2*g + 53. Let q be l(25). Suppose h + 21846 = q*d, d + 0*h - 7292 = -3*h. Is d a composite number?
False
Let g(u) be the first derivative of 501*u**2 + 17*u + 100. Is g(10) composite?
False
Suppose -2*h + 5*h + 9*h = 1337412. Is h prime?
False
Suppose -1715584 + 873763 = -7*c + 998780. Is c a composite number?
True
Suppose -d + 5*t = -3116, d + 5*t - 6*t = 3104. Is d a composite number?
True
Let a(p) = p**2 - 47*p - 343. Is a(-11) a prime number?
False
Suppose -10*u = 37*u - 20*u - 895023. Is u prime?
True
Suppose -8 = -2*u - 2*u. Suppose -3*f + 4*f + 4*w - 393 = 0, 0 = u*w + 2. Is f prime?
True
Let u(y) be the second derivative of -3*y**5/20 - 13*y**4/6 - 5*y**3 + 8*y**2 - 190*y. Is u(-21) a composite number?
False
Let l(v) = 247 + 187 + 121 + v**2 + 3*v. Let i be l(0). Suppose -5*b - 4*z + 925 = 0, -4*b + i = -b + z. Is b a prime number?
False
Let k(d) = 63*d**2 + 47*d + 4181. Is k(75) a prime number?
True
Suppose 0 = 7*p - 11 - 10. Let v(k) = 1761*k + 10. Let n be v(p). Let z = n + -2330. Is z composite?
False
Let s(a) be the third derivative of -11*a**6/120 + 7*a**5/60 - 7*a**4/24 + 23*a**3/6 - 22*a**2 - 4*a. Is s(