alse
Let a(d) be the first derivative of -56*d**2 + 255*d - 13. Is a(-5) a composite number?
True
Suppose 80*j - 25*j - 344 - 426 = 0. Let w be (0 - 561)/((-1)/4). Is (j - 13)/(1 - w/2246) a composite number?
False
Let m = -39225 + 226798. Is m a composite number?
False
Let m = 162 - 508. Let z = m - -3835. Suppose -z = -11*i - 695. Is i composite?
True
Let x be (12 + -2 + 2)*(-4)/(-3). Let s be 11875/(-4) - 4/x. Let d = s + 4350. Is d a composite number?
False
Suppose 76*d = 81*d + 5*k - 7710705, 4*k = -d + 1542135. Is d a composite number?
True
Suppose -2*k = -5*k - 11652. Let w = -2233 - k. Is w a composite number?
True
Let v = -302011 + 650276. Is v composite?
True
Let i = 8858 + 6291. Suppose 0 = -2*u, 2*y + u + 1417 = i. Is y a composite number?
True
Let n be (-1 - 1/3)*-3. Suppose 4*j - 36 = -4*b, -3*b - b - n = -4*j. Suppose b*k = 10*k - 3894. Is k a composite number?
True
Suppose -34120 = -5*h + 2*y, 13*h + 5*y = 14*h - 6801. Is h - -14*(-4)/(-8) composite?
False
Suppose -4*g + 308 = 3*l, -3*g - l + 4*l = -252. Let b be (g/(-64))/(-2 - 14/(-8)). Suppose n = -4*x - 0*x + 465, -b*n + 2346 = -x. Is n a composite number?
True
Let l(u) = 31334*u + 5337. Is l(52) composite?
True
Let v = -626 - -720. Suppose -v*o + 168203 = -87*o. Is o a prime number?
True
Let z = 3730 - 2283. Suppose 3*g - 11084 = z. Is g prime?
True
Is (9/5)/(450/15548250) composite?
True
Let j = 10811 + 3856. Is j a composite number?
True
Let u be -3 + (-20)/(-8) + 33/6. Let b(c) = -4*c**3 - 22*c**3 + 3 + 11*c**2 - 10*c**2 - u*c - 8. Is b(-2) a composite number?
True
Let b(k) = -k - 31 - k**3 + 15 - 14*k**2 + 15*k. Let u be b(-15). Is 3/3*(u + 128) a composite number?
False
Let k(q) = -8*q**3 + 12*q**2 + 29*q - 16. Let c(w) = 4*w**3 - 6*w**2 - 15*w + 8. Let g(x) = -11*c(x) - 6*k(x). Suppose 11 = -16*i + 155. Is g(i) a prime number?
True
Suppose 0 = k + 2*k, 4*y + k - 140 = 0. Suppose 6*s = -s + y. Suppose s*n - 70 = 115. Is n composite?
False
Let g = -660 - -663. Is g + 7*(25090/35 - 0) a composite number?
False
Suppose -4*s - 4*z = -1700, -3*s + 1904 = -z + 629. Is (s/10 - -1)*2930/15 composite?
True
Suppose -3358498 = -5483*p + 5478*p + o, -3*o = 9. Is p a composite number?
True
Let n(a) = -51*a**3 + a**2 - 8*a + 17. Let v(l) = -3*l**2 + 13*l + 3. Let f be v(5). Let r be n(f). Suppose 4*w - r - 2029 = 0. Is w composite?
True
Suppose 3*g = 5*g - 2*v + 1536, -4*v = -2*g - 1538. Let p = 1174 + g. Is p composite?
True
Let v(b) = 66171*b - 4664. Is v(5) a prime number?
False
Let g be ((-108)/45)/((-1)/5). Is g/(-8)*(-13732)/6 composite?
False
Suppose 2*q = -5*q + 63. Let s be 24/16*(-12)/q. Let z(h) = -285*h + 1. Is z(s) a prime number?
True
Let a be -5*(-6)/75 + 1119/15. Let k = a + -70. Suppose 0 = k*s - 5732 + 337. Is s a prime number?
False
Suppose -c - 8061 = c + 5*r, r = -2*c - 8073. Is 4/(-3)*c + -1 a prime number?
False
Suppose -3*z - 2*h = 2*z + 309, -z = h + 63. Let s(a) = 2*a**3 - a + 7. Let n be s(5). Let m = z + n. Is m a prime number?
True
Suppose 118*r - 119*r = 0. Let w(m) = -2*m**2 - 7*m + 9029. Is w(r) prime?
True
Let i(b) = 15*b - 743. Let k be i(49). Let d(g) = -3 - 110*g - 1 + 1. Is d(k) prime?
True
Suppose 3*j - 16 = 5*j. Let t be 1007 - j/(-12)*3. Let m = t - 608. Is m prime?
True
Let g = 343959 + -83660. Is g composite?
True
Suppose 9*j - 6*j = -2*n + 11612, 0 = -4*j + 8. Let s = n - -238. Is s composite?
True
Let p(u) = u + 24. Let j be p(3). Is 10560/j + 17/(-153) prime?
False
Let p be (-10 - (5 - 9))*(-1766)/(-3). Suppose 4*z = -8240 + 38116. Let d = p + z. Is d composite?
True
Let w = -42 + 44. Is (w/8)/(20/200240) prime?
True
Suppose 4*o + 5*n - 354362 - 108561 = 0, 4*o - n = 462905. Is o prime?
True
Let l(d) = -1352*d**3 + 2*d**2 - 4*d - 1. Let u(z) = 1353*z**3 - z**2 + 4*z + 1. Let m(a) = -3*l(a) - 4*u(a). Is m(-2) a composite number?
False
Is (-708)/1593*(-702531)/4 a prime number?
True
Suppose 5*v - 16*f - 1561617 = -15*f, 0 = -10*f - 20. Is v prime?
False
Let q = 1627 + -1050. Suppose -5*w + 472 = -w - h, -5*w + q = 2*h. Let s = w - -394. Is s a prime number?
False
Let r(m) = -142*m - 11. Let q = 62 - 67. Let s be 36/q - 3 - 3/(-15). Is r(s) a composite number?
False
Let u be 2/(5 + -1)*(45 + -43). Is 4422 + (u + 0/4)/(-1) prime?
True
Let b = -283 + 288. Let t(r) be the first derivative of 11*r**4/4 - 2*r**3/3 - 11*r**2/2 + 3*r + 2. Is t(b) prime?
False
Suppose -16*p - 2*a = -15*p - 766837, -5*p + 2*a + 3834197 = 0. Is p a prime number?
False
Suppose -h - 4*i = -0 - 9, 0 = -4*h - 2*i - 20. Let w(n) be the first derivative of -n**4/4 + 8*n**3/3 - 16*n - 1324. Is w(h) composite?
False
Let g = 210787 + -130340. Is g a composite number?
False
Is ((-18397405)/(-105) + -2 + 144/63)*3 composite?
False
Is (-1*(-54)/45)/((-10)/(-593525)) a composite number?
True
Let j(x) = x**3 + 11*x**2 + 8*x - 12. Let i be j(-10). Let w be -2 + 5 + (-13 - i). Let k(z) = -26*z - 23. Is k(w) prime?
False
Let u = 252 - 293. Is (-67)/(206/u + 5) prime?
False
Suppose -j - 7*b + 456868 = 0, -4*j = -3*b - 607223 - 1220218. Is j prime?
False
Let u(a) = 88*a**3 - 3*a**2 + 4*a - 8. Let h be u(2). Is -4 + (-2)/(-2) - (-2 - h) prime?
True
Suppose 7646 = 7*l + 1969. Suppose s + 216 = 3*p, -s + 63 + 9 = p. Let d = l - p. Is d prime?
True
Let i = 59326 + 25903. Is i a prime number?
True
Let y(z) = 637*z - 87. Let f be y(18). Suppose -f - 25512 = -9*s. Is s prime?
True
Let u(w) = 9*w**2 + 4*w**2 - 12*w**2 + 1 - w. Let t(o) = -36*o**2 - 7*o + 12. Let b(s) = -t(s) - 5*u(s). Is b(6) composite?
False
Suppose 0 = -2*o + 9*o. Suppose 2*t = -3*f + 27887, 5*f + 2*t - 26229 - 20244 = o. Is f prime?
True
Suppose 28*g = -64*g + 425132. Is g composite?
False
Let y(z) = 1705*z**2 - 250*z - 308. Is y(-15) a prime number?
False
Suppose 4*v + i = 22649, 49*v - 53*v - 2*i + 22646 = 0. Is v prime?
False
Suppose -342*d + 341*d + 230 = 0. Is 18724/14 + (-7 - d/(-35)) composite?
True
Suppose p = -2911*u + 2909*u + 23145, -2*p - 46294 = -4*u. Is u prime?
False
Suppose -2*d = 4*b - 55112, 3*b = 5*d - 2*b - 137765. Is -6 + 9/(18/d) prime?
False
Let r(w) = 1365*w**3 + 28*w**2 - 294*w - 15. Is r(8) composite?
True
Suppose 4*q = -s + 178, 3*s = -3*q + 150 - 12. Suppose 0 = -q*w + 77533 - 16329. Is w prime?
False
Suppose -49*o + 8761228 = 16*o - 3970907. Is o prime?
False
Let q = -148270 - -281693. Is q a prime number?
False
Let m be ((-379)/3)/(264/(-54) - -5). Is (6 + -3 + 4)/((-3)/m) a composite number?
True
Let s(g) = 5*g**3 - 8*g**2 + g - 4. Let k be s(-4). Let n = 895 + k. Is (5 - 7)/((-2)/n) composite?
False
Suppose 16687378 = 126*s - 47552377 - 12582571. Is s a prime number?
True
Let q(z) = 3*z - 5*z - 2*z + 3*z + 2*z**2 + 98 - z**3. Let n be q(0). Suppose n + 151 = 3*s. Is s prime?
True
Suppose 3*s = 4*z - 402571, 2*z - 231515 = -2*s - 30247. Suppose 6*f + 5*f - z = 0. Is f composite?
True
Let y = 3 + 14. Let w(z) = 3*z - 10 + 5*z**2 + 7*z**2 + y*z**2 + 7*z. Is w(7) a prime number?
True
Suppose o - 24 = 2*c, c + 16 = 2*o + 5*c. Suppose 2*u + 2 = p - 2, u + 4*p = o. Suppose u = -3*r + 12*r - 117. Is r a composite number?
False
Is ((-565)/(-113))/((-15)/(-48381)) a composite number?
False
Suppose -2*h + 6*h - 11696 = 4*c, 0 = 5*c + 2*h + 14648. Let x = 1639 - c. Is x composite?
False
Let i(q) = 69*q**2 + 22*q + 34. Suppose 2*h + 5*s = 43, 4*h - 3*s = -6*s + 79. Is i(h) a prime number?
False
Let x = 518 + -513. Suppose 0 = x*u - u - 5036. Is u a composite number?
False
Let k be 0/(-2) - (-3)/1. Suppose -415 = -2*j - 5*v, -j + 0*v = k*v - 210. Let o = -106 + j. Is o prime?
True
Let i = 3584 - -15679. Is i composite?
True
Let v(f) = 2*f**2 - 4*f - 1. Let u be v(3). Suppose u*t = 8*t - 12. Suppose t*j + 0*j = 804. Is j prime?
False
Suppose 8*o - 11*o - 5462002 = -17*o. Is o a composite number?
True
Suppose 4*o - 239842 = -a - 0*a, 0 = -5*o - 4*a + 299819. Is o a composite number?
True
Let m = 2696 + -1798. Let o be ((22/(-4))/11)/((-2)/20). Suppose p + o*j - 278 = 0, -p + m = 2*p - j. Is p a prime number?
False
Suppose -5*d - 6*z + 2*z + 82 = 0, -4*d - z = -70. Suppose 4*x + 5*u = 68 + d, 82 = 4*x + 3*u. Is x prime?
True
Let a be (-30)/70 + 15487/7. Suppose 3*r - a = 2288. Suppose r = 2*u + 526. Is u prime?
True
Let l be (-45)/10*8/(-4). Suppose l*f + 22812 = 11*f. Suppose f = -42*r + 48*r. Is r a pr