Let k(h) = -156*h**3 + 3*h**2 + 2*h + 1. Let u be k(-1). Let g = u - 61. Is g prime?
True
Let x = -71754 - -183000. Suppose -4*w - 3*n = -165154 - x, w - 69081 = 4*n. Is w composite?
True
Let c(v) = -10*v + 33. Let a be c(5). Let f(d) = -d**3 - 16*d**2 + 12*d + 15. Let q be f(a). Let u = q + 823. Is u composite?
True
Let d(r) = -r**3 + 32*r**2 + 10*r + 11. Suppose 3 + 141 = 12*k. Is d(k) a prime number?
True
Suppose -4*b + j = -95880, 2*j - 24153 = -b - 192. Is b a prime number?
False
Let k(d) = -39797*d + 156. Is k(-1) composite?
False
Let q = 3522 - -270. Let d = 3346 + -1259. Let n = d + q. Is n composite?
False
Suppose 2*k + 111*o = 116*o + 1142388, k - 4*o = 571191. Is k a composite number?
False
Suppose -7 = 6*c - 43. Suppose c*o - 22*o = -48. Suppose 5*h - 297 = 4*h - 4*p, -o*h + 876 = -3*p. Is h a prime number?
True
Let s = 22 - -5. Let u be s*((-1026)/(-12))/((-2)/12). Is (-1)/(-2) + (-8)/(48/u) prime?
True
Let m = 100 - 102. Is m*(-18)/(-24)*38056/(-12) a prime number?
False
Let k be (-15)/(-2)*90/25. Suppose -2*x + 3*c + 5 = k, 5*x + 13 = -3*c. Is 2*x/65 + 1419/13 a prime number?
True
Suppose 0 = -2*w - 4*p, -8 = 6*p - 2*p. Is (1 - 7818/w)/((-2)/4) composite?
False
Let d = 512 + -531. Let j(k) be the first derivative of -7*k**2/2 - 6*k - 1. Is j(d) a composite number?
False
Let q = -182005 - -290812. Is q prime?
False
Let t(f) be the second derivative of -6166*f**3/3 + 53*f**2/2 + 95*f. Is t(-1) prime?
False
Suppose -16*g + 17*g + 20 = 0. Let q(d) = -d - 15. Let k be q(g). Suppose 3*c + k*c - 2896 = 0. Is c a prime number?
False
Suppose 4*z = 6 + 10, 4*h = -5*z + 40. Suppose m - 68 = h*x, m + 2*x = -0*m + 96. Suppose i - m + 33 = 0. Is i a prime number?
False
Let r(l) = -537*l**2 - 9*l + 14. Let s(u) = -u**2 + u + 5. Let m be s(4). Let v be r(m). Is v/(-21) - (-2)/(-6) prime?
True
Let s(m) = 112*m**2 - 10*m + 1. Let l be (-3)/9 - (-104)/24. Is s(l) a prime number?
True
Let h be -3 - -4 - 2764/2. Is h*(1 + (-3 - -1)) a composite number?
False
Let q be (748/85)/((-2)/2845). Let j = 17595 + q. Is j composite?
False
Let h(j) = 38*j + 228. Let x be h(-9). Is 1*39279*(-38)/x prime?
True
Suppose -2*a + 463568 = 2*d, -22*d + 23*d = -3*a + 231794. Is d composite?
False
Let w(o) = -252*o + 1577. Is w(-13) a composite number?
True
Suppose 5*t + 48 = -7*t. Is (2/(-10))/(t/326660) composite?
False
Let w(c) = 28 - 7 + 13*c + 7*c. Let r be w(8). Suppose 4*q + r = 4*p + 45, -p - q = -40. Is p composite?
False
Let v be -3 + 10 + -4 - 318. Let z be (-10)/v*7 + (-45518)/(-18). Suppose 41*m - 38*m = z. Is m prime?
False
Suppose -14 = -4*g + 74. Let i = 250 - -528. Suppose -i = g*b - 24*b. Is b a prime number?
True
Let r(t) = -224*t**2 - 3*t - 35. Let q be r(-5). Let c = q + 10193. Is c a composite number?
True
Let v(p) = 4 - 3 - p**3 + 5*p**2 - 6*p**3 + 3*p + 2. Let f be v(4). Let d = f - -631. Is d prime?
False
Suppose -4*q + 4*v - 156 = 0, 5*q - 5*v + 150 = -9*v. Is (-85)/q - (-6909)/2 a composite number?
False
Let i(w) = 68*w**3 - w**2 + 3*w - 5. Let o = 5 - 26. Let l be o/(-9) + 6/(-18). Is i(l) prime?
True
Suppose 0 = -4*d - 3*a + 16 + 37, -4*d - 2*a + 54 = 0. Suppose -10*z = -d*z - 16, -3*z = 5*u - 4653. Is u prime?
False
Let t = 176 - 171. Suppose -2*x + 2*b + 3571 = -3621, t*x + b = 17962. Is x composite?
False
Let k = -840122 + 1265769. Is k composite?
True
Let r(f) = -f**3 + 4*f**2 + 13*f - 6. Let v be r(6). Suppose -3*z + 2*m + 1251 = 0, v*z = -z - m + 422. Is z a composite number?
False
Let n(s) = 99*s**3 + 5*s**2 + 6*s - 5. Let u be n(4). Suppose -16*y + 5*y = -u. Suppose 2*x + 3*x - y = -5*c, c = 5*x + 93. Is c prime?
True
Suppose 3*b + 129280 = 5*i, -3*i + 4*b = -33631 - 43926. Is i composite?
True
Let b(n) = 398*n - 78. Let j be b(6). Suppose t - j = -w - 4*w, 4*t + 4*w = 9160. Is t composite?
True
Suppose 0*q - 3*m - 12459 = -3*q, 0 = -2*m - 4. Let g = q - -2628. Is g a prime number?
True
Let b = 120332 - 66231. Is b prime?
True
Let z = 307 - 303. Suppose 0 = -z*r + 626 + 7338. Is r a prime number?
False
Let j(v) = 66*v**3 - v**2 + 3*v - 2. Let b = -22 + 24. Let i be j(b). Suppose -2*g + 569 + i = 5*w, -4*w - 2693 = -5*g. Is g a prime number?
True
Suppose -l - 3*w + 8377 = -229, -3*l = 2*w - 25825. Is l a composite number?
False
Suppose 5*z - 33 = -5*w - 3, 2*z + 5*w = 6. Is 6833 - (48/z - 8) a prime number?
False
Suppose -30268840 = -296*u + 26*u + 7061090. Is u prime?
False
Suppose 0 = f + 2*o - 973 + 374, -5*f = -2*o - 3031. Let k = f - 348. Is k prime?
True
Suppose -m - 1552735 = -2*t, 3*t - 1242336 - 1086789 = 4*m. Is t a composite number?
True
Let n = 41900 + -12049. Is n a composite number?
False
Suppose -5*q + 26761 = k - 22961, -2*q = -5*k + 248637. Is k prime?
True
Suppose 0 = -5*r + 73*h - 78*h + 979890, h = -4*r + 783927. Is r composite?
True
Let x = 96 + -99. Is x/(-15)*6/((-18)/(-89715)) composite?
False
Let y(m) be the first derivative of 27/2*m**2 + 4/3*m**3 - 7 + 5*m. Is y(-12) prime?
True
Is ((-51)/68)/(24/(-2170592)) a composite number?
True
Let m(x) be the second derivative of 185*x**4/12 + x**3/6 - 41*x**2/2 + 11*x - 7. Is m(-8) a composite number?
True
Suppose f - w - 1 = 0, 10*f - 11*f = w - 5. Suppose s = 3*c - 4900, 4*c + f*s = 6*c - 3269. Is c composite?
True
Is (-1480)/80*(-7536 + 2) a prime number?
False
Let y = 3048 + 2941. Is y composite?
True
Let j = -418 + 421. Let a(w) = 42*w**3 + 2*w**2 + 4*w - 13. Is a(j) a composite number?
False
Suppose 12*o - 285 = -59361. Let n = -2000 - o. Is n prime?
False
Let k(f) = 14*f**3 - 7*f**2 + 25*f + 3. Suppose 0 = 48*a - 54*a + 24. Is k(a) a prime number?
True
Let b = -13 - 83. Let g be ((-1)/4)/(8/b). Suppose -357 = -g*j + c + 3098, -2294 = -2*j - 4*c. Is j a prime number?
True
Let i be (-9)/(-45) - 548/(-10). Suppose 5*a + i = 16*a. Suppose -619 = -a*f - 4*q, 5*q + 428 + 59 = 4*f. Is f a prime number?
False
Let t be 0/(-2 + (-1)/2*0). Suppose t = -4*x - 0*x + 5612. Is x prime?
False
Let l(h) = 3*h**2 + 4*h + 3. Let o = -125 - -120. Is l(o) prime?
False
Let c(r) = 9*r**3 + 73*r**2 - 112*r - 52. Let l(u) = 5*u**3 + 37*u**2 - 56*u - 25. Let v(x) = 6*c(x) - 11*l(x). Is v(27) composite?
False
Suppose 19 = 3*y - m + 6*m, 2*y - 4*m = -24. Is (-7006)/y + 2 + 1 + -1 a prime number?
False
Let m(r) = 592*r**3 - 2*r**2 - 6*r + 8. Let a be m(2). Let f = -3067 + a. Is f a prime number?
True
Suppose -56*b + 19*b + 19750637 = 0. Is b a prime number?
True
Suppose 46577 = -14*w + 132005. Suppose 3*r - w - 3255 = 0. Let s = r - 1146. Is s a prime number?
True
Let u = -3216 + 22135. Is u a prime number?
True
Let t(w) = 3953*w**2 - 48*w + 389. Is t(10) a prime number?
False
Let g = -282423 + 524094. Is g composite?
True
Suppose -26*o + 42*o - 2529908 + 265540 = 0. Is o a composite number?
True
Suppose n - 2*n = -2*r - 13, 4*n - 4*r - 32 = 0. Suppose 3*q = -n*m - 15, 2*m + 1 = q - 0*m. Let y = q - -482. Is y composite?
False
Let f = 2119 - -63204. Is f a prime number?
True
Suppose 5*q - 57375 = 2*u, 0 = 2*u - 4*u - 4*q - 57402. Let j = u + 63596. Is j prime?
False
Let z(g) = 49*g**2 - 237*g + 151. Is z(55) a composite number?
True
Let o(b) = 2*b**3 - b**2 + 8*b - 4. Let s be o(4). Suppose -3*c = 11*c - s. Is c a prime number?
False
Suppose 0 = 4*c - b + 26, 3*c + 18 = 3*b + 3. Let z(l) = -l**3 - 6*l**2 + 8*l + 7. Let a be z(c). Suppose -8*m + 5*m + 309 = a. Is m a prime number?
True
Let b(p) = 4 - p**3 + 8 - 6*p**2 + 0*p**3 + 16*p - 9. Let k be b(-8). Is 8 - k - (-45 - -4) a composite number?
True
Let n be 5208/35 + (-8)/10 + 1. Suppose 0 = -4*f - n + 801. Let c = f + 423. Is c a composite number?
True
Let b = -41 - -45. Suppose 10459 = -b*c - 30901. Is 1/(-4) - c/80 a composite number?
True
Suppose -p - 1012250 = -5*x, x + p - 83669 = 118787. Is x prime?
False
Suppose -3*b = m - 51752, 2*b = 910 - 904. Is m prime?
False
Is (-2)/3*(-27)/(-6) + 37466 composite?
False
Let f(w) = 576*w**2 + 21*w - 155. Is f(13) a composite number?
True
Let m = -11 + 7. Let u(c) = 7*c**2 - 2*c - 4. Let g be u(m). Suppose 4*i - g - 32 = 0. Is i composite?
False
Suppose -155 = -g - 66. Let m = 291 - g. Suppose 0 = -2*b - m + 1032. Is b a prime number?
False
Let a(f) = f**2 + 6*f - 5. Let o be a(-8). Let c(g) = 210*g + 16. Let p be c(o). Let n = p + -425. Is n prime?
True
Suppose -5*o + 46097 = 3*d, 6*d - 4