c = s - 575. Is c a composite number?
True
Let q be 28/140 + (-78)/(-10). Suppose -q*f + 47004 = -2*f. Is f a composite number?
True
Let x be 8 - 30/6 - 0. Suppose 13*g - 5705 = -3*i + 11*g, -7601 = -4*i + x*g. Is i a prime number?
True
Is (2/(-4)*-1)/(61/24418666) prime?
True
Let g(s) = -4654*s**2 + 10*s + 16. Let k be g(-9). Is (1/2)/((-28)/k) composite?
False
Let h be ((-24)/15)/((24/(-10))/6). Is (-16)/h - -7 - -2756 composite?
True
Let o = 15 + -15. Suppose -2*w = -o - 10, -4*w = -3*j - 47. Is (22440/9)/4 + 3/j prime?
False
Suppose -18*g = -2*g - 709616. Is g prime?
True
Let d(p) be the third derivative of 3*p**4/8 - 47*p**3/6 - 6*p**2. Let y be d(8). Is ((y/10)/(-5))/(2/(-1828)) a composite number?
False
Let y be 30/7 + (-20)/70. Suppose -5*k + 51775 = -5*d, -k - 51793 = -6*k - y*d. Is k prime?
True
Suppose -5*o + 10 = 5. Let t(s) = 16*s + 3727*s**3 + o - 16*s - s**2 - 9110*s**3. Is t(-1) a prime number?
False
Suppose -3*d + 695147 + 85921 = -460971. Is d composite?
False
Suppose -16 + 22 = 3*j. Suppose -5*d = 4*f - 17, -5*f = -5*d + j + 33. Suppose -d*l - 193 - 1032 = -3*n, -2*l + 1253 = 3*n. Is n a prime number?
False
Let f(d) be the second derivative of d**6/120 + 4*d**5/15 - d**4/12 - 2*d**3/3 - 4*d**2 + 2*d. Let t(a) be the first derivative of f(a). Is t(-11) prime?
False
Let n = -106615 - -149414. Is n composite?
True
Let o = 209722 - 108185. Is o a composite number?
False
Let m(x) = -x**2 - 2*x + 6. Let l be m(-3). Suppose -9*h - 6300 = -2*y - 7*h, -9456 = -3*y - l*h. Is y a composite number?
True
Let s be ((-4)/5 - -1)/(3/15). Let t be (1 + (0 - s))/(8/4). Let f(o) = 4*o + 623. Is f(t) composite?
True
Is (478701/63)/(88/77 + -1) a composite number?
False
Let h(n) = 2*n**2 - 19*n - 28. Let x be h(19). Let v = 662 - x. Is v a composite number?
True
Let h be ((-164)/(-205))/((-2)/(-265)). Is ((-25147)/(-3) - 0)/(h/318) a composite number?
False
Suppose -20 = -y - 55. Let c = y - -599. Is (c - -9)*(-1)/(-3) prime?
True
Let m be ((73744/33)/(-8))/(4/18). Let h = 1021 - 1791. Let t = h - m. Is t a composite number?
False
Suppose 0 = v + 7*v - 400. Suppose -45*k - 6855 = -v*k. Let o = -830 + k. Is o a composite number?
False
Suppose 0 = -w + 5*t + 209936, t - 419883 = -11*w + 9*w. Is w composite?
True
Let y = -194 + 198. Suppose 4444 = y*k + 5*x, 7441 = 5*k - x + 1886. Is k a composite number?
True
Let s = 2521 + -422. Is s a composite number?
False
Suppose 3799564 = 84*n + 719200. Is n a composite number?
False
Let c = 21473 - -221600. Is c a composite number?
False
Suppose 2*y - 5*q + 3*q = 8226, -2*q = y - 4110. Let l = y + 873. Is l a prime number?
False
Let w be 9/(-6) + 2*75801/12. Suppose -53193 = -25*q + w. Is q a prime number?
True
Let m(s) = -6746*s + 3235. Is m(-5) composite?
True
Suppose -2*d = -5*o - 4404, d = -2*o + 4*d - 1755. Let v = o - -5663. Is v composite?
True
Suppose -201*w + 5051136 + 17639553 = 0. Is w prime?
False
Suppose -3*r + 3 = 0, -4*d + r - 338371 = -14*d. Is d a prime number?
False
Suppose -323093 = -a + 102686. Is a a composite number?
False
Suppose -11*q - 2377902 + 8102393 = 20*q. Is q composite?
True
Is (((-162)/810)/((-3)/(-5)))/(2/(-882276)) composite?
True
Let j = 35 + -33. Let s(x) = 1683*x**2 + 13*x - 5. Is s(j) a composite number?
True
Is -12*((-686025)/12 - 8) a prime number?
False
Let r be 2*(-9 - (-84)/8). Suppose -3*n = w - 76446 + 27447, 4*w - 48999 = -r*n. Is n composite?
False
Is ((-2)/(2/197367))/(-17 - (-5 - 9)) a composite number?
False
Let f be (572/(-39))/((-2)/3). Suppose -f*s + 64651 = -5*s. Is s composite?
False
Let o be ((-540)/(-25))/(4/10). Suppose -5*i = 4*i - o. Suppose -6268 = -i*x + 4040. Is x composite?
True
Let d(g) = -13*g**2 - g**2 - 37 + 9*g + 15*g + 20*g**2. Is d(-24) composite?
False
Suppose 2*a - 5*i - 14054 = 36027, 0 = 2*i + 2. Let d = -8731 + a. Is d a prime number?
False
Let r(d) be the first derivative of d**4/4 - 10*d**3/3 + 17*d**2/2 + 9*d - 29. Let g be r(16). Let b = -858 + g. Is b prime?
False
Let g(q) = 1519*q - 6. Let l be g(2). Let z be (36/(-24))/((-6)/l). Suppose 4*y = 2*y + z. Is y composite?
False
Let i(h) = 321*h - 25. Suppose 0 = q - 4*k - 204, 2*q = 3*k + 373 + 50. Let x be q/52 - (-3 + 82/26). Is i(x) a prime number?
True
Let z be ((-3)/(-12) - -4)*52. Let l(g) = 18*g**2 - g + 1. Let c be l(-5). Let y = z + c. Is y a composite number?
False
Let c be 0 - (-2649 + 3)*7. Let l = c + -9715. Is l prime?
True
Let s = 270 - 245. Suppose s*k + 112524 = 37*k. Is k prime?
True
Suppose -4*b = -o - 11, -3*b - 2*o = -42 + 20. Is 20158/b + 19/(-38) a prime number?
True
Let p = 381 + -1290. Let z be ((-48)/(-9))/((28/(-1122))/7). Let r = p - z. Is r a composite number?
False
Let b = 101426 - -15216. Is b a composite number?
True
Let s = 15 - 16. Let t be ((-6)/(-8))/(s/8). Is (1*(-554)/3)/(t/63) a composite number?
True
Suppose 0 = -7*t + 39 + 66. Suppose v + v + 5*k = 2931, -5*k = t. Suppose f - 3*d + d = v, 2*f - 2956 = -d. Is f prime?
False
Let s be 15*(-7)/(1 - 8). Let z(h) = 10*h**2 + 8*h**2 + 6 + 15*h + 1 - h**3. Is z(s) composite?
False
Let b(z) = -5*z + 43. Let q be b(8). Suppose 3*v = 6 + q. Suppose -2*k = -3*x + 1003, 4*x + 2*k - v*k = 1329. Is x composite?
False
Let q(n) = n**2 - 6*n - 11. Let r be q(-5). Let i be 1/((-112)/r - -3)*55. Let y = i + -47. Is y a prime number?
False
Suppose 664*r - 4109829 = 223*r + 32124054. Is r a prime number?
True
Suppose 7*k + 2*p - 22 = 3*k, 4*p = 5*k - 60. Suppose -2*b + 13060 = k*b. Is b a prime number?
False
Suppose 32*u - 39*u = -35994. Let p = u - -10091. Is p prime?
True
Suppose 3*u + 0 + 2 = 5*y, -5*u = 5*y - 50. Is u - 5 - (-1 + -1209) a prime number?
False
Let g = 3892 - 3551. Is g a prime number?
False
Let l = -7 - -9. Let m be (-5 - -6)/(l/(-246)). Let j = -77 - m. Is j a prime number?
False
Let q(f) = -f**2 - 6*f - 395. Let a be q(0). Let t = 323 - a. Is t a composite number?
True
Suppose -4*m + 835*n + 1562734 = 836*n, -2*m + 781368 = n. Is m composite?
True
Suppose -5*l + 3*l + 48 = -4*b, -3*l = -4*b - 52. Let i(g) be the second derivative of -g**5/20 - g**4/12 + 2*g**3/3 + 19*g**2/2 + 22*g. Is i(b) a prime number?
False
Let u = -28478 - -43917. Is u a composite number?
False
Let u(s) = -3*s - 10. Let t be u(-7). Let n(m) = 4*m**3 + 3*m**2 - m - 13. Let h be n(t). Suppose -4*v - h = -4*k - k, -v - 1132 = -k. Is k composite?
True
Suppose 2*r + 1365 = -3103. Is (-2 - 3/2)*r prime?
False
Let x(s) = 902*s**2 - 17*s + 29. Is x(8) a composite number?
True
Let l be ((-24)/(-18))/(-2 + 44/18). Suppose -4964 = -3*r + r - l*c, -4*r - 2*c + 9912 = 0. Let a = r + -835. Is a a prime number?
False
Let h(o) = -9*o**3 + 41*o**2 + 36*o - 51. Is h(-14) a prime number?
False
Suppose -5*p + 358 = -3*x + 5*x, 5*p - 342 = 2*x. Let c = -40 + p. Suppose 5*k = a - c, -a - k + 0*k = -60. Is a composite?
True
Suppose 5*m + 5*i - 945 = 0, m + 5*i - 72 = 117. Suppose 2*q - 4*b - 242 = -3*b, 0 = -q - b + 118. Let y = m - q. Is y composite?
True
Let w = 94 - 90. Suppose -4*i = -6*i + w. Suppose -i*g + 168 = d, 3*d - 229 = -2*g - 57. Is g a composite number?
False
Suppose -147 = 5*y - 377. Let j = 5 + y. Is j prime?
False
Let i(s) = 12*s - 40. Let p be i(2). Is 40/p*(-449498)/35 prime?
False
Suppose 34*v = -29*v - 8*v + 47413871. Is v a composite number?
False
Let s = 8893 - -4390. Is s prime?
False
Let k(q) = 68*q + 61. Let z(o) = 2*o**3 - 12*o**2 - 6*o + 45. Let y be z(6). Is k(y) a prime number?
True
Suppose -5*k + 202908 = 3*w, 8*k - 3 = 7*k. Is w prime?
True
Let b(a) be the third derivative of 2*a**5/15 - 5*a**4/24 - 4*a**3/3 - a**2. Suppose 0 = -5*h + 22 - 47. Is b(h) a composite number?
True
Let j(s) = 12*s**2 - 5*s + 94. Suppose 7*h - 4 = 6*h + 3*d, 3*h - d - 20 = 0. Is j(h) a composite number?
False
Let f(l) = -3*l**3 + 0 + 5*l**2 - 2 - 3*l**3 + 8*l**3. Let u be f(-2). Suppose 3*d = 0, 0*k + u*d + 9290 = 2*k. Is k composite?
True
Suppose -w + 4*w = 2529. Let u = 12 + -9. Suppose l = -4*f + w, 0 = -u*l + 2*l + 2*f + 873. Is l composite?
False
Suppose 3*j - 67*o = -62*o + 417388, -4*j + 4*o = -556504. Is j a prime number?
True
Suppose -4*g + 4*q + 94915 = -334037, 4*g + 4*q = 428992. Is g composite?
False
Let c(j) = -79*j**3 - 5*j**2 - 3*j + 2. Let o be (2/1 - (3 + -2)) + -4. Is c(o) prime?
True
Let s = -36 + 38. Suppos