h**2 + 16*h - 3. Let q(r) = -3*r - 59. Let n be q(-10). Is a(n) a prime number?
True
Suppose -53*q = 21*q - 14*q - 14694180. Is q a composite number?
True
Let j be 9/(-12) + (-154)/(-56). Suppose 0 = 2*o, 4*o - 6986 = -j*l + 3*o. Is l a composite number?
True
Let n = 293693 + -149695. Is n prime?
False
Suppose -27*y - 10*y = -15488089. Is y a composite number?
False
Let o(h) be the third derivative of 19*h**5/60 - 5*h**4/4 - 17*h**3/6 - 4*h**2. Is o(8) a prime number?
False
Let b(t) = -46*t**3 - t**2 - 6*t - 5. Suppose 172 = 4*i - 4*y, -2*i + 3*i + 5*y - 19 = 0. Suppose i = -7*u + 11. Is b(u) composite?
True
Is 5318396/6 + (-1 - -4)*(-3)/27 a composite number?
True
Suppose 2*k - 17 = -5*z, -k - 4*k + 11 = 2*z. Suppose z = h - 2*d - 6, -6 = 2*h + 4*d. Suppose 2*a - h*f = 1763, 0 = a + 3*a + 2*f - 3566. Is a composite?
True
Let l be (-64)/448 + (-3599)/(-7). Let x = 5405 - l. Is x a composite number?
True
Suppose -2*x = -x + 3*i - 89894, -x + 89915 = -4*i. Suppose -2*r = 5615 - x. Is (-2)/(-10) + (4 - r/(-30)) composite?
False
Is ((-4)/5 + 1)/(1340176096/(-46212970) + 29) a prime number?
True
Let c = 839 + -839. Suppose -3*r - r = 2*m - 3636, c = -3*m + 4*r + 5474. Is m prime?
False
Suppose c - 472715 = -n, -4*n + 3*c + 854177 = -1036641. Is n a composite number?
False
Suppose 2*a = -5*z + 1699, -5*z + 3413 = 4*a - 0*a. Let p = 613 + -265. Let y = p + a. Is y a prime number?
False
Suppose 37*g - 2*g - 115806454 = -23*g. Is g a composite number?
True
Let w(j) = 514*j**2 + j + 247. Is w(20) a composite number?
True
Let i be 2 + 0 + (94 + -6)/(-8). Is (0 + 1)*(1 - (i - 4261)) prime?
True
Is 126510/3 + (-35)/(35/(-8)) composite?
True
Suppose -3*g - 380677 = 7*f - 1667141, g - f = 428838. Is g composite?
False
Let c(x) = -x**3 - 8*x**2 - 2*x - 11. Let j be c(-8). Suppose j*u + 22 - 204 = d, -3*d - 102 = -3*u. Is u a composite number?
False
Suppose -4*a - c + 59116 = -4*c, 0 = 3*a - c - 44337. Is a a prime number?
True
Let g be ((-30)/15)/(1*2/(-1218)). Let m be ((-18)/4)/((-7)/g). Suppose -2*k + m + 7 = 0. Is k composite?
True
Suppose -3*w + 55 = 2*z + 50, -9 = 3*w. Let q(r) = 5*r**3 - r**2 - 45. Is q(z) composite?
False
Suppose -3*t - 1 = -10. Suppose 0 = -t*v - 4*v + 10367. Is v prime?
True
Suppose -252*g - 172608705 = -297*g. Is g a composite number?
True
Suppose 21*g + 1179512 = 29*g. Is g a prime number?
False
Let v = -569 + 571. Is v/15 + ((-2791344)/(-90))/8 a prime number?
True
Let o(y) = -41*y**2 - 3*y + 4. Suppose 2*f + 2 = 0, 0*f = -4*l + 2*f + 10. Let a be o(l). Let t = a + 419. Is t prime?
False
Suppose 0 = 1677*i - 1615*i - 1838393 - 3164697. Is i prime?
False
Suppose -206147 = -b - 3*z, -824588 = -4*b - 10345*z + 10349*z. Is b prime?
False
Let z(u) be the third derivative of -u**4/12 + 419*u**3/6 - u**2. Suppose -3*p - 114 = 125 - 239. Is z(p) a prime number?
True
Let j = 53310 + -339. Is j a composite number?
True
Suppose -1247 = -9*p + 850. Let h(l) = -147*l - p*l + 256*l - 55. Is h(-9) prime?
True
Let w(n) = -1108*n**2. Let o be w(-1). Let s be (o/(-8))/((-2)/44). Let t = 6850 + s. Is t a composite number?
False
Let u be (15*(-2)/(-9))/(2/3). Suppose 0 = -31*l + 9*l + 6490. Suppose u*q = 3630 + l. Is q composite?
True
Let q be 4 + (-349646)/(-13) + 46/299. Let a = q - 8863. Is a prime?
False
Let q = -267 + 494. Let l = q - 130. Is l a prime number?
True
Let o(m) = 73596*m - 39. Let v be o(2). Suppose -35*t = -41182 - v. Is t a composite number?
False
Let a(w) = 14*w**3 + 7*w**2 - 4*w - 20. Let x be a(-8). Is (x - (-2 + 7 + -4))*-1 a composite number?
False
Let k = -34 + 38. Suppose -3*s - 4*w + 448 = 0, -k*w + 144 + 160 = 2*s. Suppose 0 = -5*x + 3*y + 200 + s, 0 = x - y - 70. Is x prime?
True
Suppose -4*i - 134 - 234 = 0. Let h be (((-20)/6)/(-10))/((-4)/(-1944)) + -3. Let l = h - i. Is l composite?
False
Suppose 85*u - 123*u + 1248908 = 0. Is u a prime number?
False
Let c = 10592 + -7539. Let h = c - 892. Is h a composite number?
False
Is (-2)/(-4)*(-5 - 13 - -6) - -7999 a prime number?
True
Let g = -12524 + 12452. Suppose -3*k - 6 = t + 3, 5*k = -5*t + 5. Is 2722*(-6)/g*t a prime number?
True
Suppose 0 = -4*z - 5*n - 17, 18 = 2*z - 3*n - 1. Suppose 2*l = d + z, d - 15 = -2*d - l. Suppose 0 = d*o - 7*o + 93. Is o a composite number?
False
Let n = -310851 - -1225088. Is n composite?
False
Let b(a) be the second derivative of -a**7/840 + a**6/180 + a**5/15 - a**4/3 - 7*a**3/6 + 13*a. Let y(l) be the second derivative of b(l). Is y(-5) prime?
True
Suppose 0 = 3*x - 3*f + 11268 - 109062, 5*f + 97792 = 3*x. Is x a composite number?
True
Let i be (-60)/(-75)*(-10)/(-4). Suppose 159 - 37 = 2*a. Suppose m - 71 = 3*w, -5*m - i*w = -4*m - a. Is m composite?
True
Suppose -2*h + 3 = 3*g - 2*g, 15 = h + 5*g. Suppose -5*n + 4*j + 6193 = h, -3*n = -6*n - j + 3709. Let r = n + -686. Is r a prime number?
False
Let o(z) = 208*z - 11. Let c(f) = -3*f - 4. Let i(r) = r + 1. Let s(v) = -c(v) - 4*i(v). Let m(h) = o(h) - 2*s(h). Is m(6) composite?
False
Is (-1)/33*-238827 - 34/187 composite?
False
Let o(d) = -2*d**3 + 22*d**2 - 19*d - 10. Let w be o(10). Suppose 3*a + 2*l - 13114 = -1867, w = 5*a + l - 18745. Is a composite?
True
Let a(w) = 2*w**3 + 15*w**2 + 3*w - 5. Suppose 15*f - 10*f - 20 = 0. Suppose -3*t - 2*t - 2*p - 25 = 0, f*t + 2*p = -18. Is a(t) composite?
False
Let l = 680308 + -447785. Is l a prime number?
True
Suppose -128*n + 132*n = -4*k + 313912, -5*n = -2*k - 392425. Is n composite?
True
Let r be 1/(-1)*13093 + 3. Let f be r/(-8) + (-24)/(-32). Suppose 2*o = o + f. Is o a prime number?
True
Suppose 284642 - 4345439 = -27*n + 31298106. Is n prime?
True
Let j(g) = 9521*g - 165. Is j(2) a composite number?
True
Let k(x) = -12640*x + 1633. Is k(-6) a composite number?
True
Let q(r) = -5*r**2 + 4*r - 13. Let u be q(4). Let a = 108 + u. Is a prime?
True
Suppose -y + 7*y - 162 = 0. Let o(k) = 103*k - 2. Is o(y) a prime number?
False
Let n = 5531 + 16360. Let u = n - 11204. Is u composite?
False
Let l = -319 - -649. Let t = 6041 - l. Is t prime?
True
Suppose 1421123 = 16*c - 5986029. Is c a composite number?
False
Let p = -3804 + -7165. Is (2 - p) + 1 + -3 prime?
False
Let w = -3 + 5. Suppose 439*r - 451*r - 79 + 7 = 0. Is w*((-1)/r)/(6/15786) a prime number?
True
Let w = 677299 + -469898. Is w prime?
True
Suppose 2*j + 5*c = 54 - 11, -5*j + 70 = 5*c. Let w(o) = -129*o + 1025. Let v be w(7). Let g = v - j. Is g a prime number?
True
Let s be (-4830)/(-48) - 6/(-16). Let n = 4 - 2. Suppose -f - s = -2*i + 11, -8 = -n*f. Is i a composite number?
True
Let n(y) = 11*y - 187. Let h be n(17). Suppose -2*c + 783 = 3*a - 6854, 3*c + 4*a - 11455 = h. Is c a prime number?
False
Suppose 22 = f - 2*d, -4*f + 4*d = -0*f - 80. Suppose o - f = -22. Let x(q) = -26*q + 7. Is x(o) a composite number?
True
Let g = 41 + -38. Suppose 0 = -2*l + g*n - 12, 0 = l - 4*n + 3 + 13. Is (-3 + l)/(-3)*3155 a prime number?
False
Suppose -26*o = 3183483 - 72681613. Is o a composite number?
True
Let q = -144 - -158. Suppose 17*f - q*f = 5181. Is f a composite number?
True
Suppose l + 11 = 7. Let p be l + 1 + 35 + -9. Suppose 0 = -p*r + 30*r - 6307. Is r prime?
False
Suppose 3*q = 2*g + 1122673, -3*g + 605253 = 4*q - 891599. Is q prime?
True
Suppose 5*l - 73155 = 34695. Suppose -l + 5606 = -13*t. Suppose -5*y + 2048 = -3*c, 3*y + 0*c = c + t. Is y prime?
True
Let p(r) be the third derivative of r**5/30 - 25*r**4/12 + 31*r**3/6 - 41*r**2. Is p(25) a prime number?
True
Suppose -26*w + 2646587 = -2847551. Is w a prime number?
True
Let w(v) = -1. Let k(f) = 4652*f**2 - 2*f - 2. Let a(o) = -k(o) + 3*w(o). Let m be a(-1). Let r = 2414 - m. Is r prime?
True
Let g = -49 + 49. Suppose g = -6*a + a + 15765. Suppose -3*i + 1883 = -d, 3*i - a = -2*i - 2*d. Is i a prime number?
False
Let u be 6 + (6 + -5 - -3). Let t = 15 - u. Suppose 1913 = 3*j - t*w, w = 6*j - 4*j - 1280. Is j prime?
True
Suppose -r + 8 - 18 = -z, 0 = 5*z + 5*r - 20. Suppose 100095 = z*n + 8*n. Is n prime?
True
Let t = -67 - -82. Suppose 6*a = a - t, 3*a = u - 158. Is u composite?
False
Suppose 457*j = -31*j + 87831704. Is j a composite number?
True
Suppose -t + 0 + 3 = 2*o, 5*t + 3 = -o. Let c(z) = -5115*z**3 - 3*z**2 + 1. Is c(t) a composite number?
False
Suppose 0 = 84*o - 45900 - 93120. Is o composite?
True
Suppos