s - 459 = -l*v - 153, -3*s + 926 = v. Is s composite?
True
Let i = -119 + 1001. Suppose -3*p = -h - 2*p + 6, 0 = -4*p - 4. Suppose 277 - i = -h*c. Is c prime?
False
Suppose c + 2*c = 9. Suppose -5*o - c*r + 35680 + 40194 = 0, -15164 = -o + 3*r. Is o a composite number?
False
Suppose 4*n = 3*j + 5, 5*n - 3*j + 2*j - 20 = 0. Suppose 7 + n = 2*f. Is 17*74/5 - f/10 prime?
True
Let z(d) = -398*d**2 + 23*d - 154. Let t(f) = 265*f**2 - 15*f + 103. Let a(q) = 8*t(q) + 5*z(q). Is a(7) a prime number?
True
Suppose -15*u - 600903 = 27*u - 4156161. Is u a composite number?
False
Let v(m) be the second derivative of 16*m**4 - m**2/2 - m. Let b(d) = -77*d - 1924. Let c be b(-25). Is v(c) a prime number?
True
Let i(b) = b**3 - b**2 + b + 109274. Let s be i(0). Suppose 26*c = 4*c + s. Is c composite?
False
Let q be 18/8 - (-1)/(-4). Let z(d) = 923*d**2 - 64*d + 37. Let r(l) = 185*l**2 - 12*l + 7. Let t(p) = 11*r(p) - 2*z(p). Is t(q) prime?
True
Let p(z) = 16347*z + 4399. Is p(6) a prime number?
True
Suppose 0 = 47*s - 50*s - j + 494965, -3*j = 5*s - 824947. Is s composite?
False
Let p(d) = d**2 + 1. Let l(z) = -1174*z**2 + 2*z - 1. Let y(w) = -l(w) - 3*p(w). Is y(-1) composite?
False
Suppose 0 = 171*j - 176*j + 3*x + 4062950, 0 = j - 4*x - 812607. Is j prime?
True
Let z(u) = -u**3 + 15*u**2 - 52*u + 83. Is z(-33) composite?
True
Suppose 4*c + 1289986 = 4*p + c, -2*p - 18*c = -645110. Is p a prime number?
True
Suppose -458*q = -461*q + 3*j + 732204, 0 = 4*j + 4. Is q a composite number?
True
Let y = -108576 + 389585. Is y prime?
False
Suppose 2*a + 32641 = 5*s, a + 0*a = -3. Let u(l) = 63*l + 129. Let d be u(-2). Suppose -d*g + s = 1718. Is g a composite number?
True
Suppose 4*o + 3*x = 105, 4*o - 56 = 5*x + 89. Let f(m) = 72*m**2 - 3 + 3*m - 132*m**3 - 38*m**2 - 225*m**3 - o*m**2. Is f(-2) composite?
True
Let x(j) = -203*j - 11. Let t(p) = -213*p - 12. Let h(l) = 4*t(l) - 5*x(l). Let i = -8 + 14. Is h(i) composite?
True
Is 3 - -242699 - 130/10 prime?
True
Is (15/12)/((-1)/(-42236)*(-13 + 14)) a composite number?
True
Let x(t) = 146*t - 67. Is x(3) composite?
True
Suppose 213*n - 210*n + 4*t = 89005, -3*n + 4*t = -88973. Is n prime?
True
Suppose 16*a = 17*a - 2. Let b(i) = -80*i + 9. Let w(y) = -79*y + 9. Let d(v) = a*w(v) - 3*b(v). Is d(8) prime?
True
Let v(l) = 442*l + 38. Let r = -27 + 38. Let f be v(r). Suppose -6*u = -488 - f. Is u a composite number?
True
Suppose 0 = 12*h - 141 - 27. Suppose h*d + 27711 = 23*d. Is d prime?
True
Let u(c) = -2657*c - 471. Let f be u(-9). Let j = f + -5485. Is j prime?
True
Suppose -j - 2*n - 6 = -5, -j = -n - 5. Is (-3)/(-4 + j)*61013/51 composite?
True
Let x = 202731 + 49972. Is x composite?
True
Let i(q) = -7187*q**3 - 2*q**2 + 5*q - 59. Is i(-6) a prime number?
False
Let z(m) be the third derivative of -37*m**6/120 - m**5/60 + m**4/6 + m**3/6 + 7*m**2. Let l be z(-3). Let o = l - 501. Is o a composite number?
True
Let h = -61 + 88. Suppose t - 448 + h = 0. Suppose x = -0*m - m + t, 854 = 2*x + 5*m. Is x prime?
False
Let q be (1 + 0 - 468)*1. Let i(c) = c**2 - 22*c + 133. Let t be i(-23). Let v = t + q. Is v a composite number?
False
Suppose 0 = 8*k - 280 + 88. Is (-44)/k + 2 + (-171483)/(-18) prime?
False
Let i = 145 - 140. Suppose -5*d = h - 9720, 2183 + 1678 = 2*d - i*h. Is d a composite number?
True
Let u(c) be the first derivative of -233*c**2 + 169*c - 22. Is u(-10) prime?
False
Let c be (15/5)/3 - 1. Let z be 1 + c + (-392 - 5). Let i = -205 - z. Is i a composite number?
False
Suppose -109*c - r + 11147 = -108*c, -11155 = -c + 3*r. Is c prime?
True
Let l(w) = 1183*w**3 + 7*w**2 - 19*w + 88. Is l(5) a composite number?
True
Suppose 0 = 5*a - 4*f + 6*f + 5, -17 = -2*a + 3*f. Let z be 0*2*(-2)/12*a. Is (z - -1108) + 5/(-1 - -6) a prime number?
True
Let r be -3*(55/15 + -4). Suppose 0*o - 18 = -2*o - 2*x, -x = -2*o + 3. Suppose 0 = a + r, -3*a + 426 = -o*p + 3985. Is p a prime number?
False
Suppose 387 = -10*c - 203. Let v = c + 57. Is (v/(-4)*2)/(7/11599) composite?
False
Let c(t) = t + 8*t + 5*t**2 + 2*t + 10. Let w be c(-7). Suppose -p - 3*p = -z - 336, -2*p - 2*z = -w. Is p a prime number?
False
Let a(v) = 279*v**2 - 11*v + 19. Let f = 564 - 561. Is a(f) a prime number?
False
Let p = 661939 + -308252. Is p a prime number?
True
Let o = -84 - -63. Let c(x) = -x**3 + 24*x**2 + 18*x - 16. Is c(o) composite?
True
Let c(a) = a**2 - 165*a + 160169. Is c(0) a prime number?
True
Let h(g) be the third derivative of 0 + 0*g - 1/3*g**3 + 1/24*g**4 + 553/120*g**6 + 33*g**2 + 1/60*g**5. Is h(1) a composite number?
True
Let g be 165/(-110)*(1 - 6161/(-3)). Let n = -1431 - g. Is n a composite number?
True
Suppose 0 = 228*r - 160*r - 11013484. Is r a composite number?
True
Suppose -3*r + 10 = -2*z, 4*r - r - 5*z - 7 = 0. Suppose o + w - r = 0, 2*o + 28 = 4*o - 2*w. Is (o/3 + 4)*163 prime?
False
Suppose 170 = -5*b + 40. Suppose 9*q = -4*q + 2717. Let w = b + q. Is w prime?
False
Suppose 10 = -12*a + 14*a, 3*a = -3*o + 24. Let t = -7565 + 12871. Suppose t - 1853 = o*f. Is f composite?
False
Let b(r) = -9*r + 45. Let p be b(6). Is (-9847)/(-1) + 1 + p composite?
False
Suppose -57*p - 10308544 = -121*p. Is p a prime number?
True
Suppose 78*l - 39*l - 1400602 = 25*l. Is l composite?
False
Let c(y) = y**3 - 6*y**2 + 7*y + 5. Let b be c(13). Let m = -798 + b. Is m a prime number?
False
Let a = -347 - -1372. Suppose -a*v = -1030*v + 75355. Is v composite?
True
Let m = 283695 - 108766. Is m prime?
True
Suppose -46 - 38 = 3*m. Let x = 44 + m. Let b(j) = j**3 - 14*j**2 + 3*j - 19. Is b(x) a composite number?
False
Is (-19 - -18)*5*(1356363/(-15) - 2) a prime number?
True
Let u(f) = 3444*f**2 - 19*f + 41. Is u(6) composite?
False
Let z(x) = -2*x + 62. Let n be z(29). Is (n + -4 - -15073)/1 a prime number?
True
Let f = -96945 + 313666. Is f composite?
True
Suppose -9*b + 7230 = -4*b. Let v(s) = -2*s**3 - 41*s**2 + 14*s + 9. Let q be v(-22). Let c = b + q. Is c composite?
True
Suppose -m + 168234 + 102825 = 0. Is m composite?
True
Let j(o) = -14*o - 7. Suppose 4 - 9 = -5*k. Let r = k - 5. Is j(r) a prime number?
False
Suppose -q + 56 = 3*q - 3*m, -5*q + 2*m = -70. Suppose 0 = -6*x + q + 106. Suppose -5*j = -2*r + 7*r - 3825, -5*r = x. Is j composite?
False
Let x(n) be the second derivative of -n**5/20 + n**4/4 - 5*n**3/3 + 27*n**2/2 + 251*n. Is x(-7) a prime number?
True
Let r(o) = -39*o - 232. Let z be r(-6). Suppose 3123 = 3*s - 3*q, -6*q + 5169 = 5*s - z*q. Is s a composite number?
True
Let q = 122996 - 23361. Is q a prime number?
False
Suppose 2 = -4*l + 6. Let w be (-4868)/(-12)*6/l. Is (-3 + (8 - 4))/(2/w) a composite number?
False
Let o(z) be the first derivative of -284*z**2 - 45*z + 40. Is o(-8) a composite number?
True
Suppose 0 = c + 7*c - 40. Suppose -t + c = r, 0 = 2*r - 5*r + 3. Suppose o - 4*s = 297, -5*o - 7*s = -t*s - 1462. Is o a prime number?
True
Let m(p) = 89*p**3 - p**2 - 5*p + 27. Let f be m(6). Let k = f + -3058. Is k a composite number?
False
Let u = -462277 + 762638. Suppose 26*g + 39399 = u. Is g composite?
False
Let n(y) = 90*y**2 - 7*y - 7 - 2902*y**3 - 41*y**2 - 48*y**2. Is n(-1) a composite number?
False
Let h(u) be the third derivative of 1201*u**4/24 + 65*u**3/2 - 30*u**2 + 2. Is h(8) a composite number?
False
Suppose 3*g - 532808 = 2*z + 446753, -2*z = -5*g + 1632599. Is g a composite number?
True
Let h(n) = -n**3 + 12*n**2 - 29*n + 21. Let k be h(9). Is (-722325)/(-125) + (1 - k/5) a prime number?
True
Let q be (-1635)/(-12) - 3/12. Let i(z) = -3*z**2 - 16*z + 65. Let v be i(4). Let y = q + v. Is y prime?
True
Suppose 0 = -5*y - 0*y + 20. Suppose 3*u + o = -y*o + 21, 0 = -5*u - 2*o + 16. Suppose 2 = -3*l - 4, -4*l = -u*a + 2146. Is a prime?
True
Let j(r) = -14669*r + 3853. Is j(-6) composite?
False
Let a(c) = 36*c**3 - 11*c**2 + 28*c + 4. Is a(9) prime?
True
Suppose 5*y + t - 18 = -0*t, -3*t + 12 = y. Suppose -y = -5*n - 33. Is ((n/(-4))/(-3))/((-2)/7204) composite?
False
Is ((-413)/14)/(((-3)/(-19611))/(26/(-39))) composite?
True
Let l(w) = 4*w**2 - 22*w + 1201. Is l(-44) prime?
False
Let k(b) = -62 - 2*b**3 + 0*b**3 + 120 - 18*b - 16*b**2 - 59. Is k(-13) a prime number?
False
Suppose 41*v - 102056 = 55671. Let c = 1750 + v. Is c a composite number?
True
Let m(q) = q**3 + 11*q**2 - 10*q + 28. Let t be m(