o a prime number?
False
Let m = -9108 + 89187. Is m a composite number?
True
Let y = 8 - 18. Let l(a) be the second derivative of a**4/2 - 5*a**3/6 + 5*a**2/2 + a - 173. Is l(y) a prime number?
False
Let m = -18981 - -29984. Is m prime?
True
Suppose -4*v - i = 1 - 25, -i = v - 9. Suppose r = -9*k + 8*k + 1358, v*r = k - 1376. Is k a prime number?
True
Suppose -403*p = -817*p + 397*p + 425221. Is p composite?
False
Let b(m) = -499*m + 35. Let k be (7/4)/((-1)/4). Let i be b(k). Suppose 0 = -9*a + i + 4293. Is a a composite number?
True
Let x(h) = -728*h - 19. Let g(m) = -2*m**3 - 3*m**2 - m + 2. Let a be g(1). Is x(a) a composite number?
True
Suppose 2*x = 1835*s - 1830*s - 4090225, -2*x = 3*s - 2454151. Is s composite?
True
Suppose 0 = 746*k - 667*k - 72303565. Is k a composite number?
True
Suppose 2*t = t - 1, 5*z - 12 = -3*t. Suppose 2*b - 4*o + 2396 = -2*b, 0 = -z*b - 5*o - 1797. Let c = b - -1072. Is c a composite number?
True
Suppose 75*q + 803171 = 66*q + 2697914. Is q composite?
False
Suppose -3*k + 6*a - 3*a - 17298 = 0, -23054 = 4*k + a. Let f = k + 11757. Is f composite?
True
Let i = 706 + -700. Suppose -i*p + 8500 = 1618. Is p a prime number?
False
Suppose -7*c = -29*c - 196350. Let t = -28 + -11. Is -5 + t/(-9) - c/9 prime?
True
Suppose 3*u = -3*q + q + 7, 5*u - 5 = 0. Suppose q*z = -5*z. Suppose 5*x + 2*l - 1775 = -z*l, -4*x + l = -1420. Is x a prime number?
False
Suppose 18529247 = 54*y + 44*y - 87*y. Is y a composite number?
False
Let g(b) = 3*b**3 - 8*b**2 + 19*b - 108. Let d(o) = -3*o + 37. Let m be d(10). Is g(m) a prime number?
False
Suppose -11*n + 14 = 3. Is (n + -3)*37604/(-56) prime?
False
Let y = -525632 - -934827. Is y a prime number?
False
Let a(c) = 12*c**3 + 63*c**2 - 13*c - 449. Is a(26) composite?
False
Suppose -2*m + 4*u = -324962, 62 - 83 = 3*u. Is m a prime number?
False
Let w = 569493 + -405022. Is w prime?
True
Let l(p) = -6*p**3 + p**2 - 5*p + 7. Suppose 20 = -2*s + 6*s. Suppose 20 = -5*b, -4*d = -2*d - s*b - 10. Is l(d) a prime number?
False
Let o = 186 + -177. Suppose 35*d - 14898 = o*d. Is d prime?
False
Suppose -13*v + 20*v = 17262. Let y = -1352 + v. Is y prime?
False
Suppose 250517 = 2*r - 3*v - 40538, -4*r + 5*v + 582107 = 0. Is r a composite number?
True
Let d(h) = 62244*h**2 + 1239*h - 2476. Is d(2) composite?
True
Let d = -106 - -111. Suppose -5*o + 1599 = -2*g + 404, -d*o = -g - 1195. Is o prime?
True
Suppose 0 = -2*z + 5*w + 4, -w + 4 + 0 = -2*z. Is 168*9 - (-15)/z a prime number?
False
Suppose 0 = -2*p - 2146 + 33000. Let v = p - -464. Is v a prime number?
False
Is 10 - (-60336816)/176 - (-2)/22*2 a composite number?
False
Suppose -2*j + 6 + 4 = 0. Suppose 4*c = 2*k + 3*k - 20, j*c + 3*k = -62. Is c/(-1)*(-4)/(-8)*131 composite?
True
Suppose -17*d + 5*y = -20*d + 6178922, 4*y = 4*d - 8238552. Is d composite?
True
Suppose -67*p + 96975 = -58*p. Suppose 582*y = 587*y - p. Is y composite?
True
Suppose 13 = 12*p - 47. Suppose -5*y - 6 = -26, 0 = -p*w + y + 15031. Is w a composite number?
True
Let a(w) = -29*w - 199. Let j be a(-7). Suppose -3*d + 4033 = 4*k, 5*d = -j*k + 8*k - 4041. Is k a composite number?
False
Let i be (-4 - (-22175)/20)/((-9)/(-24)). Suppose 2*t - 4468 - i = -3*j, -11127 = -3*t - 3*j. Is t a composite number?
True
Let c be -19 + 2 - -1*2. Let z(x) be the first derivative of x**4/2 + 31*x**3/3 - 21*x**2/2 - 17*x - 171. Is z(c) composite?
False
Suppose 184915 = 9*j - 485774. Is j prime?
True
Let i = 6 - 2. Suppose -8*p = -9*p + i. Suppose 2*c = -p*s + 778, -c + 4*s = -198 - 161. Is c a prime number?
True
Is (-104)/(-572) + (1 - ((-4613832)/22)/2) a composite number?
True
Suppose -2*r = 3*r. Suppose -u + 32 = 2*t + 12, -t + 10 = -5*u. Suppose r = t*i - 5*i - 1615. Is i prime?
False
Let x be (-123)/(-5)*(-1105)/(-17). Let k be -5*(-9)/15 - x. Let b = -863 - k. Is b composite?
False
Let q(a) = 4*a**3 + a**2 - 98*a - 35. Is q(10) composite?
True
Let q be (2 - -2 - 3)*-39. Let b = q - -43. Suppose b*j - 2367 = -227. Is j a prime number?
False
Let z(w) = 4*w**2 - 6*w - 1. Let n be z(-1). Suppose -n*l = -4*l - 5, o - 6929 = 2*l. Is o prime?
False
Suppose 1029459 = 5*k + 2*j, 3*j + 373377 = 4*k - 450158. Is k prime?
False
Let m(f) = 38*f + 5. Let s(j) = 2*j. Let n(i) = -2*m(i) + 2*s(i). Is n(-4) prime?
False
Let i(j) = 12804*j + 1075. Is i(18) a composite number?
False
Let g be 4/5 - 30/(-25). Is (-6573)/(-4) - (42/(-24) + g) a composite number?
True
Let z(q) be the third derivative of -31*q**7/840 + q**6/720 + 3*q**5/10 - 6*q**2. Let w(d) be the third derivative of z(d). Is w(-2) a prime number?
True
Suppose -r + 5531 = -3*j, -1635*r = -1634*r + 5*j - 5539. Is r a composite number?
True
Let f be (1 - 31)/6 + -41428. Is (-1 - -2)*f/(-21) prime?
True
Is ((-3)/3)/((-344294)/(-86074) - (-20)/(-5)) a composite number?
False
Let f = 45 - 43. Suppose 0*j - f*b + 16 = 2*j, 3*j - 2*b = 4. Suppose 1751 = j*z - 1869. Is z a composite number?
True
Suppose 3*z + 15 = 0, -2*m + 47 + 1142 = -z. Let p(r) = 5*r**2 + 4 - 3 - 324*r**3 + m*r + 0*r**2 - 590*r. Is p(-2) a prime number?
True
Suppose b = 2*i - 121, 3*b + 70 = 4*i - 295. Let z = b - 12. Let l = 626 - z. Is l a composite number?
False
Suppose -a + 3*f = -2*a + 73049, 5*a + 2*f = 365219. Suppose -3*l - 36517 = -j - j, 4*j = 3*l + a. Is j composite?
True
Let m(f) = -6158*f**3 + 28*f**2 + 19*f + 2. Is m(-5) a prime number?
False
Let o(z) = -z**2 + 11*z - 24. Let g be o(6). Let u(f) = 2*f**3 - 7*f**2 - 6*f - 17. Is u(g) prime?
True
Suppose -3*j - 5126 = 2*c, -5*j + 4*c - 2262 - 6296 = 0. Let g be (28/35)/((-4)/j). Let n = -227 + g. Is n a prime number?
False
Let a = 157114 + -65693. Is a a prime number?
False
Let f(i) = 166*i - 5. Let c(o) = -829*o + 25. Let q(a) = 2*c(a) + 11*f(a). Let z be 45/15 + -2*1/(-1). Is q(z) a prime number?
False
Let p(o) = -2*o**3 - 74*o**2 - 51*o - 69. Is p(-52) composite?
True
Suppose -20 = 5*y - 4*i, 3*i = 2*y + 7 + 8. Suppose -5*n + 2664 + 22 = -2*v, y = 2*n + v - 1069. Suppose 2*c + n = 10*c. Is c a prime number?
True
Let m(j) = -382*j + 9555. Let f be m(25). Let g = 825 - 527. Suppose -5*v - 2*q = -g, 2*v + f*q - 194 = -v. Is v prime?
False
Let p = -343 + 675. Suppose -15*v - p = -17*v. Suppose 89*w = 87*w + v. Is w prime?
True
Suppose 0 = 3*p + 6 + 3. Let x be (-501)/(-2)*(1 + p + 4). Let s = x + -58. Is s a prime number?
True
Let h(n) = 2*n + 1. Let w be h(-8). Let b = w - -22. Suppose -b*x = -11*x + 764. Is x a composite number?
False
Let p(d) = 108*d**2 + 56*d - 217. Is p(-27) a composite number?
False
Let r(v) = v**2 + v - 33. Let n be r(6). Is (-121494)/9*(75/10 - n) a prime number?
True
Let x be 51/((-1)/(-2114)*2). Suppose -3*c + 32346 = 3*f, -5*f - 21*c + x = -19*c. Is f composite?
False
Let f(k) = 7 + 0*k**2 + 8*k**2 - 241*k**3 + 8*k + 242*k**3. Let l be f(-7). Suppose 2*x + 283 - 1077 = l. Is x prime?
True
Let o(q) = 43*q - 4. Let g be o(-3). Let u = g - -65. Is (-6)/4 + u/(-16)*586 a prime number?
False
Suppose 0*n + 2 = n. Let y(c) = c**3 - c - 2. Let f be y(n). Suppose 0*u - 4*u + 845 = -5*d, 2*u - 442 = -f*d. Is u prime?
False
Is ((-57736)/(-32))/(22/(-8) + 3) composite?
True
Suppose -7*s + 71 = -601. Let t = -96 + s. Suppose t = -r - r - 4*i + 4822, 5*r + 2*i = 12039. Is r a composite number?
True
Let l be 3 - (-1 + 1) - 33. Let w(r) = -124*r - 133. Is w(l) composite?
True
Let g be ((-112)/(-5))/1 - (-3)/5. Suppose g*h - 277998 - 6305 = 0. Is h a composite number?
True
Suppose -19 = 5*m + 6. Let c be (130/75 - (-2)/m)*21. Suppose -c = -4*g + 208. Is g prime?
True
Let u = -171 - -239. Is (-60)/u - -1 - 644194/(-34) prime?
True
Let f be (5 + -3)/(1/231). Suppose -f = -o + 8*o. Let r = o - -481. Is r composite?
True
Let c = -39 - -87. Let g = 47 - c. Is (g/(-1))/(1 - 584/586) composite?
False
Suppose 10*u - 5*u = 10255. Let n = u + -1256. Suppose n = -2*j + 3673. Is j a prime number?
True
Let h(c) = -1. Let u(j) = 2291*j - 6. Let i(x) = 3*h(x) + u(x). Is i(2) composite?
True
Suppose 12*v - 14*v + 29 = -b, 3*v - 3*b = 51. Let n(h) = 21*h**3 + 11*h**2 - 1. Is n(v) a composite number?
False
Let o(a) = 54*a**2 - 146*a + 1157. Is o(-61) a prime number?
False
Let k(n) = 7561*n**2 + 9*n - 11. Let i be 2/(7 - -7)*7. Is k(i) prime?
True
Let t(j) = -1238*j**2 + 16*j - 9. Let p(d) = 413*d**2 - 5*d + 3. Let m(c