Is (-135)/30*(-13571592)/108 prime?
True
Suppose -2*t = h + 6189, -2*t - 5*h = 6019 + 150. Let y = t - -4818. Is y prime?
True
Is (-42 - 368/(-23)) + 1703839 prime?
False
Suppose -321*b + 308*b = -555971. Is b prime?
True
Let j(q) = 7*q. Let u be j(4). Suppose l - 3*c = 5, 0 = 3*l - 2*c - 123 + 115. Is ((-1441)/(-22))/(l/u) a prime number?
False
Suppose 0 = 3899*m - 3887*m - 231708. Is m composite?
False
Let i(f) = 183*f**2 - f - 5. Suppose -11*v + 62 - 7 = 0. Suppose -t + 5 = -x, 6 = v*x + 2*t + 24. Is i(x) prime?
True
Is 9 + -1 - (24 - 2205) composite?
True
Let w(v) = 2316*v - 1057. Is w(31) a prime number?
False
Suppose -v + 4*d = -55987, 0 = -280*v + 275*v + 2*d + 280043. Is v composite?
True
Let o(n) = 21 + 0*n - n - n. Let u be o(-15). Suppose -3*w + u = -2*w. Is w a composite number?
True
Suppose 7 = 2*m - 4*y + 77, -4*y = -5*m - 163. Let a = 42 + m. Suppose -a*k + 14*k = 111. Is k composite?
False
Let t be (-5)/(-2)*216/90. Suppose -t*z = -14683 + 217. Is z composite?
False
Suppose 0 = -8*q + 13*q - 10. Let c(s) = 26*s**2 + 10*s - 4. Let r be c(-9). Suppose 4*i - r = -k - 236, -q*k + 2217 = 5*i. Is i prime?
False
Suppose 14*g - 4*v = 12*g + 285378, 3*g - 428051 = -2*v. Is g a composite number?
True
Suppose -5*k + 34 - 9 = 0. Suppose 25 = -5*a - k*p, 3*p + 0*p + 15 = 5*a. Suppose b - 158 - 456 = a. Is b a prime number?
False
Let h = -3748 - -8872. Suppose -h - 27686 = -10*w. Is w a composite number?
True
Let p = -136 + 139. Is -8 + (-264)/(-36) + 58595/p a prime number?
True
Let m(y) = -43*y - 215. Let c be m(-5). Suppose -9*h - 8*h + 42415 = c. Is h prime?
False
Suppose -83*v + 78*v + 133455 = 0. Suppose 35*h - v = 14*h. Is h a composite number?
True
Let x = 87 - -21. Let i = x - 143. Is 2*(258 + -1) + (i - -32) prime?
False
Suppose -5*h - 40 = 25. Let q = -16 - h. Is (-813 + -2)*q/(-6)*-2 composite?
True
Suppose 0 = -21*c + 1749 + 26622. Let i = 2610 - c. Is i a composite number?
False
Is (-25771)/(3*(5/3)/(-5)) composite?
False
Suppose 967663 = 15*d - 1395984 + 31102. Is d prime?
False
Suppose 5*n + 5*l - 30 = 0, 6*n - 24 = -5*l + 8. Suppose 0 = 2*d + n*o - 45254, 4*d - 2*o = -7*o + 90512. Is d composite?
True
Suppose 5*c - 1122922 = 3*r, 224570 = 43*c - 42*c + r. Is c a composite number?
False
Suppose -11*n + 19 = -36. Suppose -4*v - 3*j + j = -40228, 0 = -n*v - 4*j + 50291. Is v a prime number?
False
Let a be (-1 + 0)*2*13220/(-20). Let w(t) = -t + 4. Let j be w(0). Suppose -3*q + 6*u + a = u, 1760 = 4*q - j*u. Is q prime?
True
Let d(g) = -96*g**3 + 24*g**2 - 5*g - 2. Let b be d(-6). Suppose 5*o - 2*z = 0, -2*o - 5*z = -0*o + 29. Is o/3*(b/(-8) + 2) prime?
True
Let h be 4 + 36/(-3) - -4. Let t(f) = -1208*f - 49. Is t(h) composite?
False
Suppose 0 = -30*b + 25*b + 220. Let l(a) = 8*a**2 - 5*a + 37. Is l(b) composite?
True
Let o(a) = 2*a + 25. Suppose 31 = -r + 5*s - s, 0 = -r + s - 16. Let d be o(r). Suppose -5*i + 8*g + 675 = 3*g, d*g + 266 = 2*i. Is i composite?
False
Let x be (-6)/(-18) + 3962/(-6). Suppose 0 = 3*p - 2*p + 395. Let z = p - x. Is z composite?
True
Let h(t) = t**2 - 8*t + 16. Let z be h(5). Let w be (5*1 - z) + -19 + 492. Let d = w - 168. Is d composite?
True
Let j(s) be the first derivative of 55*s**4/2 + 3*s**2 - 13*s + 11. Is j(4) a prime number?
False
Let u = 82 + -75. Suppose -u*f - 2532 = -11*f. Is f a prime number?
False
Suppose 5*h = 4*p + 3106925, -293*h + 292*h + 3*p = -621385. Is h a prime number?
False
Let k(z) = z**3 + 4*z**2 + 4*z + 5. Let o be k(-3). Suppose y - 42 = 4*t, -5*y + 0*y = o*t - 210. Suppose y*n - 844 = 40*n. Is n a prime number?
False
Suppose 0 = 3*j - 2*w - 351865, 29*j + 5*w = 32*j - 351853. Is j prime?
False
Suppose 0 = -2*y + 33*w - 37*w + 311590, 467325 = 3*y - 4*w. Is y a prime number?
True
Let o = -8331 - -239984. Is o a prime number?
False
Suppose -s - q = -49195, q - 401325 = -7*s - 56972. Is s a composite number?
False
Let r = -1059300 + 1902827. Is r a composite number?
False
Let v be 6/5*(754/6 + 1). Let s = v - 266. Is ((-29)/3)/(2/s) prime?
False
Suppose -61*a = -66*a + r + 406601, -3*r + 406577 = 5*a. Is a a prime number?
False
Let h(b) = 525*b - 1. Let i be h(6). Let r be (-10)/20 - i/(-2). Suppose -2*g = -z - r, 6*z = z. Is g prime?
True
Suppose 0 = 3*r + 6059 - 358550. Is r prime?
True
Let o = -157 - -82. Let i = o + 151. Suppose -i*k = -80*k + 4468. Is k prime?
True
Let d be 6/(-10)*(-10)/3. Suppose 116105 = 13*p - d*p. Is p prime?
False
Is 5*16/(-80)*-15305 a composite number?
True
Suppose 96*d - 71800 = 56*d. Is d a composite number?
True
Let r = 6 + -18. Let w be ((-5730)/r)/((-2)/(-4)). Suppose 2*g - w = g. Is g a composite number?
True
Let m = 263 - 266. Let i(q) = -532*q - 33. Is i(m) a prime number?
False
Let o = -92 + 185. Let s = o + -81. Is (31 - s)/(-1 + 12/11) composite?
True
Let b be 1*1*-21109*-1. Let f = b + -9416. Is f composite?
True
Let b(u) = 42*u - 3*u**3 + 5*u**3 + 22*u**2 + 40 - 62*u**2. Let v(c) = c**3 - 13*c**2 + 14*c + 13. Let w(a) = -2*b(a) + 7*v(a). Is w(8) a prime number?
False
Let b be -1 - (-9)/7 - 188/(-28). Is b + 3 + 1355 + -4 a composite number?
False
Suppose y + 144 = 3*i, -5*i - 8*y = -5*y - 240. Is (-36)/i*6824/(-3) composite?
True
Let q be 147/(-196) - (-6097)/(-4). Let w = 1966 - q. Is w a composite number?
False
Suppose -k + 161264 = -5*s, -2*k + 423805 - 101235 = -4*s. Is k prime?
False
Let w be -3415*((-115)/25 - -5). Let z = w - -1978. Suppose -2*c + 802 = 4*j, z = 3*j - 9*c + 14*c. Is j prime?
True
Let x(s) = 2*s**2 + 130373. Let i be x(0). Suppose -23*o + i = 19720. Is o a prime number?
False
Let o = -744 + 762. Suppose -o*g + 193258 = -167084. Is g a composite number?
True
Let n(l) = -l**2 + 11*l - 5. Let f(c) = c**3 - 4*c + 10. Let k be f(0). Let b be n(k). Suppose -3*h = b*w - 373, 134 = w - 3*h + 45. Is w composite?
True
Suppose 5*h - 89099 = -v + 30138, -5*v = -h - 596237. Is v a composite number?
True
Suppose 53*h - 454755 = -52*h. Is h a composite number?
True
Let d = -58 - -138. Suppose 0 = -8*u + d + 56. Suppose f - 22554 = -u*f. Is f prime?
False
Suppose 2*v + 12 = 2*l, -2*l + v = l - 22. Suppose -u + 5*u - l = 0. Suppose u*d = 4*d - 3602. Is d a composite number?
False
Suppose 2*i = 3*i + 11. Let c = i + 11. Suppose -f + c = -59. Is f a prime number?
True
Suppose 3*l - 2*d = 117297, 3*l + 2*d - 49333 = 67988. Is l a prime number?
True
Let t(z) be the second derivative of -17*z**3/6 - 135*z**2/2 + z - 116. Is t(-26) prime?
True
Suppose -158*v + 10335376 + 13356185 = 5*v. Is v prime?
False
Let x be ((-1)/2)/(12/(-48)). Let t(g) = 23*g + 4 + 9 - 19*g - 1 + 3*g**x. Is t(11) prime?
True
Let r = 97777 - 35658. Is r a composite number?
False
Is (-14)/(-35)*331140/(-8)*(-1)/3 composite?
False
Let v(g) = g**3 + 4*g**2 + 2*g - 3. Let z be v(-3). Let a be (-7)/7*z/2. Suppose a = 2*u - 1523 + 529. Is u prime?
False
Let i(z) = -1603*z**3 + z**2 + 9*z + 15. Is i(-4) prime?
True
Let x(s) = -4*s**2 - 20*s + 374501. Is x(0) prime?
True
Let o be (3/(-9))/(-3 - (-3560)/1188). Let k = 218 + 8. Let i = k - o. Is i prime?
True
Suppose -10 = -5*q, -99 - 102 = -g - 2*q. Suppose -g*o + 10973 = -196*o. Is o prime?
True
Suppose 32 - 184 = -4*f. Suppose -6*z - f + 98 = 0. Is 12/z + 41424/80 a composite number?
True
Suppose v = -4*b + 636484, 3*v = 3*b - 6*b + 477363. Is b a prime number?
False
Let l(c) = 52*c**2 + 5*c + 4. Suppose 4*v + v + 89 = 3*g, -2*v + g = 35. Let x be (-3)/1 - (v/(-4) + -4). Is l(x) a composite number?
False
Suppose 0 = -13*w + 107357 + 244176. Is w prime?
False
Let i(g) = g**3 - 21*g**2 + g - 11. Let a be i(21). Is (-5)/a*-1*4822 composite?
False
Suppose -3*g = -5788 - 128741. Suppose 3*y = -c + 33642, 3*y = -y + 3*c + g. Is y prime?
True
Let k be (56720/6)/20*18/4. Suppose 9835 = 2*t - k. Is t prime?
True
Suppose 412 = 32*k + 124. Suppose k*b + 14751 = 53028. Is b prime?
True
Suppose 4*j - 32276 = -4*k, -6*k + 7*k + 2*j = 8067. Let s = k + -5336. Is s a composite number?
True
Let g(k) = 6*k + 61. Let b be g(-10). Is b/(-6 - (-460369)/76727) prime?
False
Let u = -155 + 164. Let t(q) = -q**2 - 15*q + 24. Let n(a) = 1. Let g(p) = -5*n(p) - t(p). Is g(u) a prime number?
False
Let s be 4 + 459461 + 4 - -4. Suppose -20*f = -86707 - s. Is f a prime number?
False
Let i = -495 + 495. Suppose i = 7*l - 12983 - 14366. Is l