 v + 1217. Is (i/12 - 1)/((-2)/(-8)) prime?
True
Let y be 114/152*8/(-3). Is (5759/13)/(y/(-34)) a composite number?
True
Let h(o) = -11*o + 32. Let g be h(16). Let q = g + 147. Suppose -898 = -a + 3*x, q*a - 5*x = a + 1793. Is a a prime number?
False
Let r(x) = 3*x + 2. Let f be r(5). Let q(n) = 13098 + 71*n + 45*n - 13118 - 23*n. Is q(f) composite?
True
Let v = 9961 - 2556. Is v composite?
True
Suppose -3*k + 208*c = 203*c - 8842, 0 = -3*k + 4*c + 8837. Is k composite?
False
Let i = -282055 - -1286582. Is i a prime number?
True
Suppose 973 = -11*m + 20212. Suppose 3*t - 7*t = 2*o - 6956, 0 = t - 2*o - m. Is t prime?
True
Suppose 29*k - 136*k + 37410141 = 76*k. Is k a prime number?
True
Suppose 6*p = -0*p + 12. Suppose -2*o + 4*o - x = 2554, -4*o = p*x - 5108. Is o prime?
True
Suppose 0 = -4*b + 1010 + 2182. Suppose 3*a - b = -0. Let s = -143 + a. Is s prime?
False
Is (-3 + 170302)/((84/6 + -9)/5) a prime number?
True
Let v(o) = -14*o**3 + o**2 + o - 5. Let f be v(-2). Let b = f + -104. Suppose a - 5*d = -3*d + 1049, -b*a + 2*d + 5221 = 0. Is a a prime number?
False
Suppose -p + s = -2, -2 = 5*s - 7. Suppose -5*c + 3*z = 26092 - 107535, -48853 = -p*c + 5*z. Is c a prime number?
False
Suppose -23981964 = -54*n + 2216253 - 2582883. Is n a composite number?
False
Let p(o) = -o + 15. Let m be p(10). Suppose -m - 15 = -5*y. Suppose -y*v + 1802 = -1322. Is v a prime number?
False
Let a = -335236 - -509837. Is a prime?
False
Suppose -3*n = v + 2, 0 = 5*v - 9*n + 11*n - 29. Let q(k) = -k**2 + 5*k + 1. Let p be q(4). Suppose 2222 = p*m + 2*j, -m - 4*j + 458 = -v*j. Is m prime?
False
Let i(v) = -15*v**2 + v. Let a be i(-2). Let f = a + 70. Is (4/f)/1 + 2994/4 composite?
True
Let b be (-1)/1*(-26 - -21). Let s(x) = 4*x + 3*x + 16*x**3 - 6 - 5*x**2 - 3*x. Is s(b) prime?
True
Let g be (-26)/22 + 14/77. Let d(w) = -51*w**3 + 2*w**2 - 1. Let j be d(g). Suppose j = 2*b - q, -2*b + 4*q = -6*b + 92. Is b a prime number?
False
Is 12*(-3455220)/(-192) + (-7)/(-4) + -2 a prime number?
False
Let x(t) = -31*t**3 - 3*t**2 - t + 1. Let v be x(-1). Is v/(-48)*4 - (-326)/4 prime?
True
Suppose -225*a + 98308 = -197*a. Is a composite?
False
Let d(x) = 2*x - 1. Let t(l) = 7*l + 1793. Let v(b) = -2*d(b) + t(b). Let s = 1 - 1. Is v(s) prime?
False
Let q = -36 - -32. Let c be (-1)/4 + 7/q. Is 1*(-358)/4*c a prime number?
True
Let h(k) = -7*k**3 + k**2 + 9*k + 9. Let x = 58 + -64. Let s be h(x). Let z = s + -596. Is z composite?
False
Let r = -36212 + 21682. Let g = r + 23325. Is g composite?
True
Is 11401/6 - 16/((-1248)/65) a composite number?
False
Suppose -78*x - 118*x + 28513978 = -70326666. Is x prime?
True
Is 11776664/22 + ((-3)/(-11))/(122 - 119) a prime number?
True
Is (-4)/(-16)*12*175654/6 a prime number?
False
Let z be (9 + -10)*(-113 - -1). Let r = z - 108. Is (2/r)/(-4 + 12132/3032) prime?
True
Suppose 15*v - 1073 = 4252. Is v composite?
True
Suppose -7 = -q + 4*w + 15, 5*w = -20. Is 13218 - -6*(-1)/q a composite number?
False
Is (98/(-28))/((-8)/654448) a prime number?
False
Suppose -16*r + 1112464 = -0*r. Suppose 3*f = r - 20446. Is f composite?
False
Suppose 38*l + 12 = 36*l. Let w(c) = c**3 + 3*c**2 - 3*c - 9. Let z be w(l). Let g = -28 - z. Is g a composite number?
False
Suppose -3*b + 7*b - 12 = -4*w, 0 = -b - 3*w + 3. Suppose 0*a + 8820 = 3*a + b*n, 2*n - 2 = 0. Is a composite?
False
Is 115530/(-18)*(0 - 690/50) prime?
False
Let k be 1 + 8954 - 322/(-46). Suppose -4*u - u = y - 22405, 2*u - 3*y - k = 0. Is u a prime number?
True
Let c(m) be the first derivative of 7*m**3 - 5*m**2 - 41*m + 55. Is c(-12) a composite number?
True
Let d be -9 + 3 + 3 + 1726. Suppose 5*v + 2*s = 22126 + d, 2*s - 4 = 0. Is v a prime number?
False
Let z(k) = 692*k - 25. Let h be z(6). Let v = 53 + h. Is 2/6 + v/33 a composite number?
False
Suppose -10*u = 10049 - 155929. Suppose 0 = -2*z + 3*p + u, -3*p + p = 2*z - 14578. Is z composite?
True
Let b(o) = o**2 + 38*o + 137. Let k be b(-7). Is (-20275)/(-1) + 74 + k prime?
True
Let m(c) = 2*c - 5. Let i(n) = -n + 3. Let f(g) = 7*i(g) + 4*m(g). Let d be f(-1). Suppose -5*q - u + 272 = d, 5*q + 4*u - 263 = -0*u. Is q composite?
True
Let o = 217521 - -241736. Is o prime?
True
Suppose -32*f + 37*f = 55. Suppose -f = -5*c + 4. Is (-1 + 0)/(c/44196*-4) a composite number?
True
Let i = 10720 + -21888. Let f = i - -16387. Is f a composite number?
True
Let c(i) = 229*i**2 + 15*i - 53. Is c(7) a composite number?
False
Suppose -33*p + 40*p + 140 = 0. Is 68395/(-70)*p + 6/(-14) composite?
False
Let p(a) be the second derivative of 41*a**5/10 + 5*a**4/12 - 13*a**3/6 - 3*a**2/2 - 42*a. Is p(4) composite?
False
Let v = -13818 + 223561. Is v prime?
True
Is 75402 - 1/((-4)/(4 + -8)) composite?
False
Let a be (-54)/24 + 58/8. Let i(g) = 481*g + 13. Let d(j) = -240*j - 7. Let c(o) = -7*d(o) - 3*i(o). Is c(a) prime?
False
Suppose -38 = 5*s - 5*h + 3*h, -4*s - 40 = -4*h. Let v(f) = -17 + 6*f + 18*f**2 + 25*f**2 + f**3 - 34*f**2. Is v(s) prime?
False
Suppose 3*z - 13 = 2*o, 25 + 4 = 3*z + 2*o. Let x(s) = -s**3 + 5*s**2 - s + 1. Let r be x(4). Suppose -r*y = -z*y - 1122. Is y a prime number?
False
Is -1 + -11 - -1 - -45678 a composite number?
False
Is 2/7 - ((-76426304)/896 + 2/4) a composite number?
False
Suppose -3*a = 4*c - 38, 7*a + 3*c = 3*a + 39. Let m(l) = 15442*l. Let t be m(-10). Is t/(-80) - (0 + a/(-8)) prime?
True
Let z(v) = 1520*v**2 + 193*v - 2874. Is z(17) composite?
False
Suppose -4*q + 6 = -2*s - 8, -q + 26 = 4*s. Is -1478*8/q*18/(-16) composite?
True
Let q(w) = 2*w**3 - 6*w**2 - w - 25. Let p be q(4). Suppose -4*c = 4*h - 45148, -p*h + 2*c - 346 = -34207. Is h composite?
False
Suppose 2*j + 3*j - 208 = -4*l, -3*l = -2*j - 156. Suppose 3*v - 2 = 1. Let z = l + v. Is z a composite number?
False
Let k(f) = 1247*f + 1532. Is k(73) a prime number?
False
Let c(v) = 11*v + 115. Let y be c(-10). Suppose 2*b + 5*h = -3*b + 8760, y = -5*h. Is b composite?
False
Suppose -2*k + 19948 = 2*y, -4*k + 3*y = -27762 - 12169. Is k composite?
True
Let z(b) be the first derivative of -13*b**3/3 - b**2 - 3*b + 14. Let r be z(-1). Is (r/4 + 4)*-7*-34 prime?
False
Suppose -18 + 6 = -4*i. Suppose 0*b = -i*b - 5*s + 22832, 2*b + 3*s = 15221. Is b composite?
True
Let t(o) = 122*o**2 - 168*o - 97. Is t(36) composite?
False
Let k(s) = 5*s + 4 - 4982*s**2 - 4079*s**2 - 6*s + 2152*s**2. Let j be k(-2). Is (j/135)/(1 + (-17)/15) a composite number?
True
Let x(o) = 2161*o**2 - 13*o + 27. Is x(5) a composite number?
False
Let m(f) = -125*f + 30. Suppose x + 72 - 16 = 0. Let w be (-8)/(-28) - (-2)/(x/372). Is m(w) a composite number?
True
Let u = 460 + -458. Let m(r) = 410*r**3 + 5*r**2 - 12*r + 1. Is m(u) prime?
False
Suppose -4*s = -179*j + 176*j + 808815, 0 = 5*j + 2*s - 1348051. Is j prime?
False
Suppose 0 = 29*a - 33*a + 216. Is (21933/a)/(3/18) prime?
True
Suppose 16 = 4*f, -3*t - f + 465481 = -683226. Is t a composite number?
True
Suppose -3*n = 1 - 13. Let z(h) be the first derivative of h**4/4 + 2*h**3 - 3*h**2/2 + h + 59. Is z(n) a composite number?
False
Suppose 4*g + 229151 = 5*t, -5*t - g + 285656 = 56500. Is t composite?
True
Let w(m) = 8*m**3 + 2*m**2 - 2*m + 5. Suppose -r + 10 = 4*r. Suppose 24 = r*u + 2*u. Is w(u) composite?
True
Let r = -1186901 - -2143014. Is r a composite number?
False
Is (29 - (-486)/(-18))/((-5273571)/1757859 + 3) prime?
True
Let p(z) = z**3 + 17*z**2 + 2*z - 22. Let m = 35 - 47. Let j be p(m). Suppose y + 39 = j. Is y a prime number?
False
Let x(r) = 323*r + 6. Let y = 36 - 29. Let a be x(y). Let z = a - 802. Is z prime?
False
Let j be 121 - 6/((-6)/2). Suppose 4 = 2*f, 0 = 4*o + 2*f + 490 - 142. Let r = j - o. Is r prime?
True
Let w = -2 - -4. Let y be (-1)/5*727 - ((-3564)/60 - -59). Is w*y/10*-11 a composite number?
True
Let v be 12/(-48) + (-27506)/(-8). Suppose 0 = 3*u - 2*u - v. Suppose -3 = -4*o - 11, u = 2*p - 2*o. Is p a composite number?
True
Let m(k) = 4777*k + 1777. Is m(28) a composite number?
False
Suppose -f + 1275 = -2*t - 0*t, 0 = -3*f - t + 3790. Suppose -2*o - 5*g = -1773, 3*o - 1402 = -5*g + f. Suppose n = b - o, 0*b + 3*b - 2652 = -3*n. Is b prime?
False
Let t(a) = a**2 + 15*a - 25. Let v be t(-15). Let m = v + 31. Is 1169 + 6*(-4)/m prime?
False
Is (54369/(-2) + 3)/((-9 - -2)/14) a composite number?
True