 - (-44)/8)*x a composite number?
True
Let d(p) = -p**3 + 5*p**2 - 7. Let j(s) = -s**2 + 18*s + 23. Let t be j(19). Let w be d(t). Let o(c) = -c**3 + 21*c**2 + 9*c - 10. Is o(w) composite?
True
Let y(q) = -q**3 + 2*q**2 + 5*q - 9. Let o be y(3). Is 2/((-6)/o) + 13810 prime?
False
Suppose -5300833 = -9*r + 2805134. Is r composite?
True
Let g(h) be the second derivative of -3485*h**3/6 + 119*h**2 - 143*h. Is g(-5) a composite number?
True
Let k be (-4)/48*-3 - (-15)/4. Suppose -5*h = -2*u + 6372, h + 1239 - 13961 = -k*u. Is u prime?
True
Let q be 8/4*(6 - 36/8). Suppose 2*l - 3*i - 2998 = 0, q*i + 6980 = 4*l + 984. Is l prime?
True
Let c = -17 + 19. Let h(p) = 110*p**2 - 1 - 18*p + 13*p - 16*p**2. Is h(c) a composite number?
True
Let f(a) = -14*a + 156. Let c be f(11). Suppose -9579 = -b + 6*s - c*s, 4*b + 3*s = 38354. Is b prime?
True
Let m = -17 - -48. Suppose 4*y - m = -3*d, -3*y - d = 4*d - 37. Suppose 5*i = y*i + 37. Is i prime?
True
Let v(d) = -100194*d + 491. Is v(-2) a prime number?
False
Suppose -129734 - 42006 = -10*s. Suppose 15*b - 81419 = -s. Is b prime?
True
Suppose 5403 + 154 = n. Is n/2 - 12*(-7)/(-56) a composite number?
False
Let l = 8962 + -4571. Is l composite?
False
Suppose 0 = -w - 5, -551557 = -3*a - 4*w - 0*w. Is a composite?
True
Suppose 2*l - 3453473 + 363110 = 5*u, -3090343 = -2*l + u. Is l prime?
True
Is ((-140702)/(-6))/(328/246*1/12) prime?
False
Let x = -36 - -40. Suppose -3*i = r - 5264, 2*r - 1511 = x*i + 9007. Is r prime?
True
Suppose -4*h + 5*h - 2 = 0. Is (-36)/(-72) + 401/h a prime number?
False
Let r = 201388 - 137099. Is r prime?
False
Let g(b) = -39*b - 290. Let h(t) = -t**2 - 9*t - 34. Let p be h(-6). Is g(p) a composite number?
True
Let r = 72444 + 10918. Is r a composite number?
True
Let y be 24/(-18) + (-20)/(-6). Is ((-67)/y + 4)*-22 prime?
False
Suppose -7033068 - 374501 = -37*i + 2647292. Is i a prime number?
True
Suppose -i - 4*v - 6 = 8, 3*v = -6. Is (i/(-8))/(66/375848) prime?
True
Let d = 137 + -137. Suppose d = -2*i - 179 + 2017. Is i a prime number?
True
Suppose -1446571 = -20*c - 136631. Is c a prime number?
True
Let w(t) = 928*t**3 - 2*t + 1. Let h be w(1). Let m = h + 231. Let n = m - 671. Is n composite?
False
Let r = 71265 - -353048. Is r composite?
False
Suppose -u - 5*r - 5 = 0, -u + r - 5 = -6. Suppose -3*i = u, -3*o + 6*o + 3*i = 8493. Is o a prime number?
False
Suppose 0 = -5*p + j + 4, -16 = p - j + 5*j. Is (p - 6)*7141/(-6) a composite number?
True
Suppose q = -2*u + 729703, -17*q + 22*q = u - 364802. Is u a composite number?
True
Suppose -2*p - 4*d - 5015 = d, d = -5. Let c = p + 3538. Is c a composite number?
True
Suppose 0 = -46*q + 27*q + 4459471 + 4903824. Is q composite?
True
Suppose -9*l + 4*l = -4*z - 75, l = 5*z + 78. Is ((-318)/z)/(16/1480) a composite number?
True
Suppose 4*r + 5*i + 3 - 16 = 0, 14 = 2*r + 4*i. Let q(d) = -85*d**3 + d**2 + 3*d - 10. Is q(r) a prime number?
False
Let k(y) = 281*y + 15. Let q(t) = 141*t + 7. Let v(m) = 6*k(m) - 13*q(m). Let d be (8/6)/(17/(-51)). Is v(d) composite?
False
Suppose 0 = 190*n - 189*n + 3*r - 4607, -6*n - r + 27676 = 0. Is n composite?
True
Let o = -125741 - -36868. Let p = -45446 - o. Is p prime?
True
Let m(s) = -s**3 + 16*s**2 - 17*s + 32. Let v be m(15). Is (-14)/v - -3251 - 5 a prime number?
False
Let i be -2757*((-4)/3 - -1). Suppose -1092 = 3*z + 6. Let d = i + z. Is d a prime number?
False
Suppose 0 = 134*d - 128*d. Suppose -15*p = -d*p - 42285. Is p composite?
False
Let l(g) = -g**2 - 11*g - 23. Let q be l(-4). Let b(d) = -303*d + 44. Let p(x) = x - 1. Let m(h) = q*p(h) + b(h). Is m(-5) a prime number?
False
Let y(n) = 2*n**3 + 11*n**2 + 6*n + 4. Let f be y(-5). Is (f - 678301/(-10)) + (-160)/1600 a composite number?
False
Suppose 981*g = 1006*g - 2457925. Is g a composite number?
False
Let g(q) = q - 4. Let m be g(4). Suppose m = -3*h + 1297 + 476. Let s = h - -56. Is s composite?
False
Let d(b) be the first derivative of 34*b**3/3 + 9*b**2/2 - 5*b - 37. Is d(-6) a composite number?
True
Let a(n) be the first derivative of -2*n**3/3 - 15*n**2/2 - n - 43. Let j be a(-5). Suppose -j*y + 15*y + 1719 = 0. Is y prime?
True
Is 275/(-100) - 1003149/(-12) prime?
False
Suppose -2*j + 2*d + 223790 = 0, 0 = 449*j - 448*j + 2*d - 111877. Is j a composite number?
True
Let i be 1*(-5)/10*-2. Let d(r) = 4*r**3 - 3*r**2 + 2*r. Let c be d(i). Suppose -b - c*b = -856. Is b a prime number?
False
Let g(l) = 510*l + 57957. Is g(0) a prime number?
False
Suppose 60*f - 40706761 - 10432738 = -9592919. Is f a composite number?
True
Suppose -5*z - 2*a = -7, 0*a + 2*a = z - 11. Is 76740/50 + z/15 a composite number?
True
Let c(m) = -3592*m - 173. Is c(-12) prime?
False
Let t = 7104 + -1643. Is t prime?
False
Suppose -69 = -2*a + f - 8, 32 = a + f. Suppose -a*t - 495 = -36*t. Suppose -2*m = -t + 25. Is m a composite number?
False
Let z(p) = -2*p**3 - 8*p**2 + 47*p - 39. Is z(-32) prime?
False
Let l = -160042 + 227865. Is l composite?
True
Let s(y) = -751*y - 403. Let o be s(-58). Suppose 0 = 10*n - o - 15815. Is n composite?
False
Suppose 3*v - 2*a - 352927 = 0, -4*v + 2*a - 81672 + 552242 = 0. Is v a composite number?
False
Let v(r) = -2208*r - 73. Let s(x) = -2*x. Let h(z) = 5*s(z) + v(z). Is h(-6) a prime number?
False
Suppose 6*y - 63 = -y. Suppose -y = -0*a + 3*a, -22 = -4*k + 2*a. Suppose 5225 = 5*v + 5*p, 3*v - k*p - 35 = 3128. Is v composite?
False
Suppose 5*z + 3*h = 27 + 2, 5*z + 5*h - 35 = 0. Suppose -5*n - z*k - 152891 = -484768, -199122 = -3*n - k. Is n prime?
True
Let o = 217738 + 11793. Is o composite?
True
Let y = 1857 - -12782. Is y prime?
True
Let i be (1 - 2) + -1 + 154/22. Suppose 3 = 4*d - i. Suppose 4*s - d*p = 470, 3*s - 2*s = p + 116. Is s a prime number?
False
Let s be (1*-662*-1)/((-26)/13). Let w = 13 + s. Let x = 475 + w. Is x composite?
False
Is (-20)/25 - (4/(-10) + 12748302/(-30)) composite?
True
Let d(s) be the first derivative of s**4/4 - 8*s**3/3 + 7*s**2/2 + 3*s + 9. Let y be d(6). Is (-630)/y - (-2)/(-6) composite?
False
Suppose -4*f + 7 = 59. Suppose i = m - 6*m + 65, -m + 2*i + 2 = 0. Is -1*((-960)/1 - (f + m)) a prime number?
False
Let w(n) = 57*n**2 + 203*n - 125. Is w(-97) a prime number?
False
Let i(m) = 4*m**2 + 11*m - 52. Let l(q) = -1. Let p(x) = i(x) - l(x). Suppose -1849 = -3*w - 1771. Is p(w) prime?
True
Let x = 63744 - -412517. Is x composite?
True
Suppose -4*j + 8*j + 531824 = 3738100. Is j a prime number?
True
Let o(a) = -313961*a + 1820. Is o(-9) a prime number?
True
Suppose -3 - 5 = -4*p. Suppose 0 = -j + 2*t - 3008 + 10822, 3*j - p*t - 23458 = 0. Is j a composite number?
True
Suppose -5*h + 3*w = 9, -8*h + 2*w = -5*h + 6. Suppose 16 = 2*b - 4*f, b - 3*f + 4*f = 2. Suppose h = -b*i + 13*i - 28467. Is i prime?
True
Let w = 79 - 146. Let g = -67 - w. Suppose 0 = -0*t + t + 2*a - 309, -2*t - 3*a + 622 = g. Is t composite?
False
Let w be -2*((-4)/(-18) - 186993/(-162)). Let k = w + 4642. Is k a composite number?
False
Suppose 2*n = 3*h + 22955, 0 = 1246*n - 1241*n + 5*h - 57450. Is n prime?
False
Let k(r) = 159*r**2 + 2*r - 5. Let c be k(-2). Suppose x - c = -4*n + 3*n, 3*x - 1873 = -5*n. Is x prime?
True
Let t(a) = 148*a - 2590. Is t(18) a composite number?
True
Let g be (-644)/(-252) - 8/(-18). Suppose g*j - 5*p = -2*p + 65028, 86683 = 4*j + 3*p. Is j prime?
True
Suppose 6*l = 9*l - 75. Suppose m - l = 2*h - 9, -3*m = -h - 38. Let j(i) = 54*i - 13. Is j(m) composite?
True
Suppose k + 4 = -s + 3*k, 3*s - k - 3 = 0. Suppose 4*x - 3466 = x - 5*d, d = s*x - 2315. Is x a prime number?
False
Let i(r) = 618*r + 16*r + 167*r + 31 + 40 + 523*r. Is i(2) a composite number?
False
Let i = 9 - 4. Suppose -i*c - 383 = -34318. Is c composite?
True
Suppose 2*w - 5*c - 8 = 0, -2*c - 13 = -w - 4*c. Suppose 5*k - 31486 = -w*k. Is k a prime number?
False
Suppose 0 = 3*t + 47*t + 18*t - 19443716. Is t prime?
True
Suppose 7*a - 37 = -2. Let q(y) = 16*y**3 + 4*y**2 + 14*y - 9. Is q(a) prime?
True
Let d(u) = 9 + 3*u**2 - 8 - 16*u**2 + 3*u + 8*u**2 - 3*u**3 + 8*u**2. Let s = 4 + -6. Is d(s) prime?
True
Let j = 2762 + 21581. Let u = j - 12194. Is u a prime number?
True
Let h(c) = -1627*c**3 - 2*c**2 - 95*c - 419. Is h(-5) composite?
False
Suppose 114*s - 120*s + 7266 = 0. Let c = s + -72. Is c prime?
False
Let h(o) =