k a composite number?
False
Let v(q) be the second derivative of -q**5/10 - 7*q**4/6 + 17*q**3/6 - 17*q**2/2 + q - 82. Is v(-14) composite?
True
Is -2 - 12 - (-73023 + 58) a prime number?
False
Let f = -37 + 44. Suppose f*c = 8*c - 2302. Suppose -2*g = -0*g - c. Is g a prime number?
True
Let x = 252 - 259. Let h(u) = -3*u**3 + 8*u**2 + 19*u - 3. Is h(x) a composite number?
True
Let d(j) = -2390*j + 220. Let b be d(-17). Suppose 16*w = b + 36638. Is w a prime number?
False
Let c be (2 - 8/(-6))/(7/63). Let k(z) = -7 - c + 26*z + 4. Is k(11) composite?
True
Suppose -2*i + 14166 = 5*c, c = -i + 4*i + 2823. Let s = 300 + 353. Let k = c - s. Is k composite?
False
Let b(u) = -16 + 2*u**2 - 42*u + 4*u**2 + 25 + 4*u. Is b(32) prime?
True
Suppose 56*y - 5681993 - 697291 = -12*y. Is y prime?
False
Let r(s) = 450*s**3 - 24*s**2 + 190*s - 15. Is r(8) a prime number?
True
Suppose 5*v = 12009 + 1871. Let i = 5517 - v. Is i a prime number?
True
Is 5 - ((-94121)/3 + 38/(-114)) a prime number?
True
Let l = 258 + -96. Suppose 7*q - l - 1987 = 0. Is q a prime number?
True
Let j = 65109 + -11043. Is (7 - j/12)*(-2)/3 prime?
True
Let s = -13279 + 26373. Is s - -1 - (6 + -4) prime?
True
Suppose -167*n + 88*n + 1788319 = -56*n. Is n a composite number?
True
Let v(f) = -f**3 + 8*f**2 - 10*f + 8. Let i be v(6). Let o be (355/i)/(1/52). Suppose -2*l - o = -r, 5*r - 4*l = -2*l + 4639. Is r a composite number?
False
Suppose 0 = -4*h + 2*f + 36, 0 = 2*h - 6*f + 3*f - 18. Suppose 0 = -h*g - 6119 + 71. Let v = -473 - g. Is v a composite number?
False
Let d = 57506 + -27199. Is d a composite number?
False
Let t(q) = 7 + 4 + 4*q**2 + 8 + 0*q**2 + 14*q. Suppose k + 39 = -2*u - 3*u, 5*k = 5. Is t(u) prime?
True
Suppose 0 = 2*l - 5*l + 6. Suppose -4*q - 18 = -s - s, l*q - 2*s + 12 = 0. Is ((-98)/q)/((-46)/(-69)) a composite number?
True
Suppose -3*i - 32 = -g + 5*g, 0 = g + 5. Is ((-7940)/(-30))/(i/(-12)) a composite number?
True
Let n = -6069 + 10878. Suppose -r - 57088 = -9*r. Let k = r - n. Is k a prime number?
False
Suppose -4*m = k - 0*k - 104871, 0 = 3*k + 2*m - 314653. Is k prime?
False
Let y be (((-2)/3)/1)/((-2)/(-9)). Let c(v) = 51*v**2 - v + 17. Is c(y) a composite number?
False
Suppose 1 = 4*j - 3*t, 2*t = 4*j - 2*j + 2. Suppose 3*p - j*l = -0*p + 531, -l - 708 = -4*p. Suppose -44*x = -47*x + p. Is x prime?
True
Let q = 640401 - -59396. Is q composite?
True
Let m(s) = 2*s**3 - 38*s**2 + 11*s - 175. Is m(24) prime?
True
Suppose -2*m = -5*w + 13, 3*m = -2*w + 7*m + 18. Let v be 8*w/2 + 1 + -2. Suppose -v*k + 0*k + 291 = 0. Is k a prime number?
True
Let c(v) = 3397*v**2 - 238*v - 10. Is c(-7) composite?
False
Let f(b) = -b**3 - 2*b - 2. Let u be f(-2). Let s = 134 + -132. Is 1507 + s/u*0 a prime number?
False
Suppose 7*x - 240 = 23*x. Let g(j) = -55*j - 38. Is g(x) prime?
True
Let n(p) = -13*p**3 + p**2 + 8*p + 3. Let h be n(-2). Let y = h + -36. Is y composite?
False
Let i(x) = -3149*x - 5252. Is i(-27) prime?
False
Let c(y) be the second derivative of 191*y**3/2 + 167*y**2/2 + 18*y - 1. Is c(40) composite?
False
Let q(p) = 30*p**3 - 6*p - 5. Is q(9) prime?
False
Let q(x) = -3*x**3 - 30*x**2 + 44*x - 1. Let v be q(-23). Let j = v + -4909. Is j composite?
True
Suppose 10*q = -5*q + 11268226 - 4474471. Is q a composite number?
True
Is ((-30)/4)/((-230299)/57562 - -4) composite?
True
Let l = -13 - -25. Suppose -7*u + 30*u - 31830 - 15389 = 0. Suppose 2495 + u = l*y. Is y a prime number?
True
Let t = 3924897 + -1716818. Is t a composite number?
True
Let c(z) = -75679*z + 359. Is c(-2) composite?
False
Suppose 4*o + 8 = 5*o - x, 5*o + 3*x - 24 = 0. Suppose -8*y = -o*y - 2804. Is y a composite number?
True
Let l = -605 + 1147. Suppose l = -6*c + 7448. Is c composite?
False
Let s be 119730/104 + -2 + (-21)/(-12). Let m = s + -928. Is m a composite number?
False
Let t(y) be the first derivative of 49*y**4 - y**3 + 3*y**2/2 - 3*y - 1. Let h = -155 - -157. Is t(h) a prime number?
True
Let z = -319 + 324. Suppose z*p + 3*n - 3419 = 0, -25*n + 30*n = -10. Is p a prime number?
False
Suppose 1 = -5*b - h, b = -h + 2 - 3. Suppose b = -n + f + 162, 0*n = -2*n - 5*f + 317. Suppose 3*m - 5236 - n = 0. Is m prime?
False
Let v = 40702 + -16539. Is v composite?
True
Let p be (23176/10)/(54/(-405)). Is (-40)/30*p/8 composite?
False
Let k(n) = -28 - 13*n**2 - 6*n - 13*n + 12*n**2. Let s be k(-16). Suppose -7*l + s = -5*l. Is l a composite number?
True
Suppose -311 = -l + 979. Let t = 5758 - l. Is t/(-3)*(-51)/34 composite?
True
Let k(w) = -11462*w**3 - 8*w**2 - 36*w - 103. Is k(-3) a prime number?
False
Is 36433*((-12)/(-20) - 4/(-10)) prime?
True
Suppose 2*c - 20 = -23*l + 20*l, -36 = -5*c - 4*l. Suppose -c*q = -26*s + 24*s - 9900, 3*s = q - 2465. Is q a composite number?
False
Suppose 4*z - 14 = -w - 6, -3*w + 5*z = 27. Is (-1)/(-2)*(6319 + 3 - w) a composite number?
False
Let f be (-54)/243 - (-29)/9. Suppose f*k = -k + 12. Suppose -3*g = -b + 512, -5*b + k*g - g + 2599 = 0. Is b prime?
True
Let i(s) = s**3 + 18*s**2 + 15*s - 113. Let k be i(-19). Let w(n) = -10*n**3 - 6*n**2 + 3*n + 5. Let r be w(-5). Let b = r + k. Is b a prime number?
True
Suppose -4*i - 9*m + 6*m = -260224, -2*i = -5*m - 130086. Is i composite?
False
Let b = 976255 - 533936. Is b a prime number?
True
Let u = -61942 - -103805. Is u composite?
False
Suppose 6*t - 10*t = -20. Suppose -3*w - 40905 = -4*l + 9530, -t*l + 4*w = -63043. Is l a prime number?
True
Is 9 + 18907 + 5 + 2 prime?
False
Suppose -4*w = 3*l - 1251653, -16*l - 2*w + 4172120 = -6*l. Is l a prime number?
False
Is (494/(-95) + 5 + 0)/(28/(-25122580)) a prime number?
False
Let n be (-108002)/(-10) + -3 + (-112)/(-40). Suppose -7*l = -30253 + n. Is l composite?
True
Let m = 40 - 36. Suppose 0 = 5*z + 4*y - 158, m*z + 3*y = 2*y + 122. Suppose -z*u = -33*u + 921. Is u a prime number?
True
Suppose -137*w + 133*w - p + 13801 = 0, 3*w + 5*p = 10372. Is w prime?
True
Let j(o) = o**2 - o + 2. Let y be j(-5). Let h be ((-6)/(-16))/(4/y). Is (-3)/h*(1 + -1472) a composite number?
False
Suppose w = -w + 3732. Suppose g = -a + w, 1372 + 4226 = 3*a - 5*g. Suppose a = 3*t - 4*i + i, -4 = -4*i. Is t a composite number?
True
Suppose 0*j - 3*q + 559 = -4*j, 2*q + 148 = -j. Let t = -808 + j. Let v = t - -1839. Is v composite?
True
Let b(j) = 227*j**2 + 41*j + 596. Is b(26) a prime number?
False
Suppose 126*z = 109*z + 198934. Suppose -8*c + z = 3166. Is c a composite number?
True
Let f = -41 - -84. Let y = -38 + f. Suppose -y*j + 291 + 7384 = 0. Is j a composite number?
True
Let a(y) = -y**2 + 6*y - 12. Let g be a(4). Is (g - 2)*(-2667)/18 prime?
False
Let x(n) = n + 33. Let o be x(-29). Let y(j) = -1 + o - 6 + 9*j + 9*j. Is y(3) a composite number?
True
Suppose 35*u - 39*u + 69400 = 0. Let s = u + -11861. Is s a composite number?
True
Is (-7961724)/(-27)*(-720)/(-192) prime?
False
Suppose -2*p = 4*x - 928, -11*p + 6*p = 4*x - 2350. Let r = 252 - 171. Let f = p - r. Is f a composite number?
True
Let h be 133672/12 + 4/(-3). Suppose 5*k = -0*b + 3*b + h, -5*k = 4*b - 11131. Is k a prime number?
False
Let s be 7 - ((-10)/5 + 1). Suppose 5*b = 3*b - s. Is (1 - -654 - 4) + b a composite number?
False
Let o(j) = -47466*j + 1099. Is o(-16) composite?
True
Let x be (0 - -137)/((1/1)/(-28)). Let f = x - -419. Let i = f - -5920. Is i a composite number?
False
Suppose 133304 = -3*y + a + 678898, 727462 = 4*y + 2*a. Is y a prime number?
False
Is (-26)/(-5)*185317935/1122 prime?
False
Is 387525936/1078 + 4/(-154) a prime number?
False
Let p be -2 - -5 - (-3)/(-3). Suppose 0 = 2*l + p*u - 6*u - 10, -3*l - 5*u = -15. Suppose l*m - 12 - 583 = 0. Is m prime?
False
Let x(g) = 2*g**2 + 35*g + 77. Let d be x(-15). Suppose -3*a = 3*z - 39381, -d*z + 3*a = z - 39393. Is z a prime number?
False
Let j be -5 + (-1570)/(-8) - (-4)/(-16). Suppose 0 = -p - 248 - 340. Let u = j - p. Is u prime?
False
Let t = 2305 - -553. Let q = t - 730. Suppose -5*y + 2*k + 2669 = 0, 4*y + 0*k - q = 4*k. Is y prime?
False
Let g = 58496 + -30354. Is g a prime number?
False
Let p(h) = 4 - 262*h - 3 + 8 - 16. Is p(-12) a prime number?
True
Suppose 44*c = -2590625 + 12722021. Is c composite?
True
Let d(k) = -45*k**2 - 13*k - 10. Let x(a) = a**3 - 11*a**2 - 26*a - 8. Let r be x(13). Let s be d(r). Let p = 1287 - s. Is