4641. Is x composite?
True
Suppose 0 = -d - u + 8054 - 1611, -3*u - 19329 = -3*d. Is d a composite number?
True
Let r(h) = -h**2 - 8*h + 8. Let q be r(-8). Suppose 2*f + 13 = -u, -5*f + q*u = 4*u. Is ((-691)/f)/((-2)/16*-2) a prime number?
True
Suppose -34*c + 9 = -25*c. Suppose 0 = -3*o - 5*y - 16, -5*o = -0*y + 3*y + 16. Is (c*-11)/(o/22) composite?
True
Let j(o) be the third derivative of o**6/45 + 19*o**5/120 - 5*o**4/24 - 29*o**3/6 - 19*o**2. Let d(c) be the first derivative of j(c). Is d(-12) composite?
False
Let c = 97869 + -19976. Is c a prime number?
True
Suppose 20 = -112*f + 110*f. Is (-1505)/(-6) + 5/(20 - f) composite?
False
Let x(f) = 1164*f + 211. Let h(v) = -582*v - 107. Let g(l) = -9*h(l) - 4*x(l). Is g(11) prime?
True
Suppose -6*r + 10 = -4*r. Suppose 4*l = -r*y - 10, 4*l - 2 = 3*y + 4. Suppose 10*t - 1144 + 114 = l. Is t a composite number?
False
Let f = -79847 + 129348. Is f prime?
False
Let f(r) = 6*r**3 + 19*r**2 - 6*r + 29. Let b be f(-9). Let s = 11681 + b. Is s prime?
True
Let y = -239 - -238. Is (-8 + (-25)/20)*44/y a composite number?
True
Let i(x) = 42*x + 22. Let j(o) = -o**3 - 7*o**2 + 6. Suppose -k = -2*k - 3, 3*k - 12 = 3*a. Let u be j(a). Is i(u) composite?
True
Suppose 13*l = 17*l - 20, -1569575 = -5*n + 4*l. Is n composite?
True
Let f = 98 - 93. Suppose f*g - 2825 = 2210. Is g a prime number?
False
Let s be (-2)/((-12)/(-18)*(-6)/4). Suppose -3*t + 162 = 3*k, k - s*t - 48 = -0*k. Suppose -4*h = 5*r - 76, 4*h + 0*h - r = k. Is h a composite number?
True
Let g(b) = 23*b**2 - 12*b + 1. Let m(q) = q. Let o(r) = 4*g(r) + 44*m(r). Let y be o(8). Is 6/(-33) + y/44 a prime number?
False
Let o = -604 - -654. Suppose 82*c - 61792 = o*c. Is c composite?
False
Is 2*-4*2/(-8)*(-574064)/(-32) a composite number?
False
Suppose 379*g - 638*g = -438762317. Is g a composite number?
True
Suppose -2*g + 7*g = -149790. Is 136/(-17) - g/2 a prime number?
False
Let z be 6*-4*(-2)/(-2). Let y be (z/16)/(1/(-2)). Is ((-1706)/6)/(y/(-9)) composite?
False
Let r(o) = 2*o**3 - 2*o**2 - o - 1. Let i be r(2). Suppose 5*j = 10, -5*j + 17323 = i*d - 2*d. Is d composite?
True
Let g(c) = 12264*c**2 - 331*c - 9. Is g(4) prime?
True
Suppose -5*x - 23 = -n, 0 = -0*x - 4*x - 3*n - 7. Let h(p) = -4*p**2 - 5*p - 1. Let w be h(x). Let b = w + 68. Is b a composite number?
False
Let b = -85339 + 152598. Is b composite?
True
Let a(r) = -516*r**2 - 1875*r**2 + 2 + 9888*r**2 + 4*r + 3581*r**2. Let g be a(-1). Suppose g = 5*u + 3361. Is u a composite number?
False
Let x(n) be the first derivative of -3*n**4/4 - 2*n**3 - 4*n**2 + n + 57. Is x(-12) a prime number?
False
Suppose -101*m + 985119 + 887026 = -3958686. Is m prime?
True
Suppose 0*h = -2*h + 4. Suppose -9*k + 528 - 546 = 0. Is 253 - 0*(1 - (h + k)) composite?
True
Let u be (-1 - 2) + -2 + 140/4. Suppose -116 = -u*h + 28*h. Is h prime?
False
Let c = -44497 - -71570. Is c a prime number?
True
Let r = -32330 + 76387. Is r prime?
False
Let s(v) = 3*v - 20. Let c(t) = 10*t - 59. Let p(f) = 3*c(f) - 8*s(f). Let q be p(4). Suppose 1052 = q*l - 3*l. Is l prime?
True
Let q(n) = 3*n + 20. Let y be q(-5). Suppose -y*v + 5*b + 1924 = -2441, 2604 = 3*v + 2*b. Is v/(15/3) - -4 a composite number?
True
Let c = 476762 - 326659. Is c a composite number?
True
Suppose 5*j = -m - 1481664, -127423 = -j + 5*m - 423735. Is j/(-76) + (2 - (-80)/(-38)) a composite number?
True
Let o be (-854)/(-168) + 1/(-12). Suppose a = o*n + 2398, -5*n + 6578 + 5502 = 5*a. Is a composite?
True
Let i(y) = y**2 - 5*y + 16806. Let h be i(0). Suppose -h - 6091 = -7*o. Is o a prime number?
True
Let p(z) = -3665*z**2 + 2*z + 3. Let q be p(-1). Let g = 5657 + q. Is g prime?
True
Suppose 17*i = 21*i + 12, 285074 = 2*k - 4*i. Is k composite?
True
Suppose -24410758 - 33838113 = -184*a - 27*a. Is a prime?
False
Suppose -4*n + r = -161572 - 158903, -4*r - 160234 = -2*n. Is n a composite number?
True
Let x(k) = 205*k - 822. Is x(7) a prime number?
True
Is (-45)/12*144/(-60) - -216050 prime?
False
Suppose -5*o - r = -103582, -222*r + 41443 = 2*o - 225*r. Is o prime?
True
Let p be 5*(-6)/(-15) + 246600. Suppose 3*a + 42919 = -5*o + p, -2*o + 2*a + 81486 = 0. Is o a prime number?
True
Let x(c) = -99*c**3 - 14*c**2 - 8*c - 13. Suppose 3*y - 2 = -p - 14, -y = -3*p + 4. Is x(y) prime?
True
Let h(n) = 45*n**2 + 17*n + 27. Suppose r = -j + 16, -4*r - 3*j + 74 = r. Is h(r) composite?
False
Is (-1660278)/(-477)*3/2 composite?
True
Suppose 12116 + 6472 = 2*c + 2*g, 4*c - 37183 = -5*g. Is c a composite number?
True
Let w be (-6410)/((-7)/2 - -3). Suppose -2*y + w = 4238. Is y a prime number?
False
Is 89/(-623) - 1/((-28)/14981600) a composite number?
True
Let d = 7 - 2. Suppose d*o - 792 = 2*o. Let r = 611 - o. Is r prime?
True
Suppose -1356*h = -1337*h - 6879539. Is h a composite number?
False
Let y = -868531 + 1581560. Is y composite?
True
Is (-471535)/(-60)*-6*-2 a composite number?
False
Suppose -11*s - 665475 = -16*s - 5*y, -2*y - 532404 = -4*s. Is s prime?
False
Let i(h) = 10547*h - 1973. Is i(38) composite?
False
Let d(i) = 1559*i**2 + 64*i - 276. Is d(5) a prime number?
True
Let j be 1376 + 3 + -2 + -1 + 3. Suppose -5*c + j = -3*c + 3*a, 0 = 4*c - 5*a - 2769. Is c composite?
False
Is (-8 - -269940)/4 - (3 - (4 - 7)) a prime number?
True
Suppose -3904 = -6*k - 754. Let q = k - 307. Is 1*(q - 0) + 5 a composite number?
False
Suppose -c = 382 - 120. Let d = c + 473. Is d a prime number?
True
Is (-6)/18 + 652610/24 + (-15)/20 prime?
True
Let m(j) = 8*j**2 + j - 6. Suppose -11*n - 180 = n. Is m(n) prime?
False
Let y = -22777 - -308568. Is y composite?
True
Let s be (-3)/(7/(784/(-12))). Suppose -5*u - s = 12. Is u/(-36) + (-80762)/(-18) a composite number?
True
Let f(w) be the second derivative of -20*w**3/3 - 33*w**2/2 - 64*w + 1. Suppose 3*s + 0*s + 33 = 0. Is f(s) prime?
False
Is ((-64)/(-12) + -12 + 7)/(1/424443) a prime number?
True
Let g = -152264 + 440047. Is g prime?
True
Let d(h) = -h**3 - 4*h**2 + h + 7. Let z be d(-4). Suppose z*b = -2*m + 10, 12 = 2*b + 2*b + 2*m. Is ((-2791)/(-7) - 2) + b/7 composite?
False
Suppose -5*j = 3*i - 2102683, -64*i + 68*i + 16 = 0. Is j composite?
True
Suppose 4*o + 120 - 21 = -3*g, 2*o + 5*g + 67 = 0. Let q = o + 21. Suppose q = -5*k + 10360 + 4255. Is k a composite number?
True
Suppose 0 = -144*v + 112*v + 865376. Is v a composite number?
False
Let l = -45447 + 79424. Let o = l - 21518. Is o a prime number?
False
Suppose -66*b + 72*b - 30 = 0. Suppose 4*z - 8542 = b*q, 5*z + q + 0*q = 10692. Is z prime?
False
Suppose 0 = -5*n + 2*n + 9. Suppose -474 - 559 = -4*y + 5*p, -3*y = n*p - 768. Is y prime?
True
Let d = 46939 - 19490. Is d a prime number?
True
Let a = 143 - 83. Suppose -2*u - 1 - 11 = 4*h, -4*u + 4*h = a. Is (1 - 2334/u)*2 composite?
True
Let h(y) = 1764*y**2 + y. Let t be h(1). Let d(o) = o**3 + 17*o**2 - 17*o + 20. Let u be d(-18). Suppose u*s - t = -3*s. Is s prime?
True
Let z(v) = -v**3 - 9*v**2 - 8*v - 3. Let q be z(-6). Suppose 14*x - 5*x - 788 - 1246 = 0. Let d = x + q. Is d a prime number?
True
Let i be 8 + -1 - (2 - 1). Is 5 + 150 + i + -4 a prime number?
True
Let d(v) = 15*v**3 - 933*v**2 + 206*v + 87. Is d(67) a composite number?
False
Let d = -57099 + 36665. Let v = 7353 - d. Is v a composite number?
True
Is 12/(-540)*10 - (-2107005)/27 a composite number?
True
Suppose -4*r + 1 = -3*r + x, -5*x = -3*r - 5. Suppose 86299 = 3*j + 4*g, 3*j - 3*g - 86271 = -r*j. Is j a prime number?
False
Is ((-30)/(-50))/(9/45)*839037/9 a composite number?
False
Suppose 16 - 1 = 3*v. Suppose -5*t - v*d = 3165, -5*d - 176 - 1733 = 3*t. Is (-3)/(24/t)*2 composite?
False
Let j(g) = 15483*g + 244. Suppose 0 = -r + v + 2, -9 = 6*v - 9*v. Is j(r) composite?
False
Let g(t) = -1559*t**3 - 2*t**2 - 3*t - 23. Is g(-3) a prime number?
True
Let o = -62 + 70. Let u be (-2)/o + 64155/60. Let v = u + -690. Is v prime?
True
Let g(k) = 629*k**2 - 249*k + 627. Is g(-34) composite?
True
Let a(w) = -w**2 + 4*w + 13. Let y be a(6). Let m(o) = 2864*o**3 + 2*o**2 - 4*o + 1. Is m(y) a composite number?
True
Let r(k) be the third derivative of -1753*k**4/24 - 11*k**3/2 + 2*k**2 - 29*k. Is r(-2) a prime number?
False
Let a be (-5486)/2 + (9 - 6) + -1. Let u = a + 4024. Is u a prime number?
True
Let x = -18925 + 36336. Is x composite?
Tr