 4*v - 51 = -4*a - 7, -4*a + 3*v = -23. Is l(a) a composite number?
True
Let g be (4521/11)/(-1 - -4). Let z be (-295)/4 + (-1)/4. Let q = g - z. Is q a prime number?
True
Let r(a) = -a**3 - 21*a**2 + 21*a - 16. Let v be r(-22). Suppose -3*s + v = -0*s. Suppose -d + 165 = 2*b, s*b = 2*d + 169 + 11. Is b prime?
False
Let v(c) = -2*c**3 + 4*c**2 - 7*c - 9. Suppose 9*i - 5*i - 4 = -5*o, -2*o + 8 = 0. Is v(i) prime?
True
Let w(s) = 38*s + 300. Let z be w(-5). Suppose -159 = 5*j - 54. Let m = z + j. Is m composite?
False
Let d(q) = -86*q**3 + 27*q**2 - 4*q - 25. Is d(-12) a composite number?
False
Let u = 4902 - -62459. Is u a prime number?
False
Suppose -411*z = -412*z + 20606. Suppose 3*j - 30915 = -3*w, 2*w + 26*j = 25*j + z. Is w a prime number?
True
Is 44006778/442 - (-2 - (-24)/13) a composite number?
False
Suppose 3*u + 101 = 47. Is (-8)/u + 109536/432 a prime number?
False
Let t(s) = -732*s + 4997. Is t(-75) prime?
False
Let q = 18498 - 9771. Let s = 3884 + q. Is s a prime number?
True
Let x(p) be the third derivative of 3*p**5/20 + p**4/3 + 11*p**3/2 + 12*p**2 + p. Is x(-4) composite?
True
Let l be (370/20 + -8)*4040/3. Suppose 0 = -h + 4*z + 7073, -3*h + l = -h - 2*z. Is h composite?
False
Let f(y) be the second derivative of y**4/4 + y**3/6 - 7*y**2/2 + 28*y. Suppose 40 = -5*r - 0. Is f(r) prime?
False
Suppose 4*m - 46 = -0*m + 5*g, -5*m + 78 = 4*g. Is (-12)/(m - 8)*806/(-4) composite?
True
Suppose 5*h - 3 + 23 = 0. Let m be -14 + 1/((-2)/h). Is (-11740)/m + (-2)/(-3) a prime number?
False
Let d(s) = 5*s + 30. Let h be d(-9). Let x = h + 21. Suppose 0 = 9*k - x*k - 717. Is k a prime number?
True
Let o(b) = -8*b**3 + 82*b**2 + 6*b - 87. Is o(-11) a prime number?
False
Let w(n) be the third derivative of 47*n**5/60 + n**4/4 + n**3/3 - 17*n**2. Let j be (-1 + 6)*1/(-1). Is w(j) prime?
False
Suppose 14*q = 13*q + 12. Let k be (4 - (-1628)/q)/((-1)/(-3)). Suppose k = 4*r - 3*r. Is r a composite number?
False
Suppose -10*n + 4*n = -48. Let h = n + 52. Is 41134/18 - h/270 composite?
True
Let q(a) = -6*a + 0*a**3 - 1614 - 19*a**2 + 3*a**3 + 1631. Is q(27) prime?
True
Let c(p) = -3*p + 42. Let t be (-4)/10 + (-94)/(-10). Let v be c(t). Suppose 0 = v*d + 4*d - 30761. Is d composite?
False
Suppose -33900262 = -242*u + 120*u. Is u prime?
False
Let x(k) = k**2 + 2*k - 19. Let d(g) = -g**2 - g + 13. Let l(u) = 7*d(u) + 5*x(u). Let c be l(2). Is 3*(2/c + 0)*-149 a prime number?
True
Let h be -2 - -6 - (-3 - 4). Let k be 4/22 - (-2 + (-64)/h). Is 1114/((5/20)/(1/k)) a composite number?
False
Suppose -3*i = 2*m - 2446413, 15*m - 2446413 = -3*i + 14*m. Is i prime?
True
Let f(k) = 2*k**2 + 3*k + 4. Let d be f(-6). Let o = 60 - d. Suppose -3*n + 5697 = -0*g - o*g, 4*g + 7592 = 4*n. Is n prime?
True
Suppose -2*i + 0 - 17 = -3*s, 3*s - 15 = 0. Let x(z) = 1900*z**2 - 9*z - 8. Is x(i) a prime number?
True
Let z = 433 - 1091. Let l = z + 2057. Is l prime?
True
Let q = 1964 - 1161. Let s be (1706/2)/1 - -1. Let j = s + q. Is j prime?
True
Is -42*103482/(-48) + 24/96 a prime number?
True
Suppose -4*s = -2*i + 308690, 37*s - 308648 = -2*i + 35*s. Is i prime?
False
Let i(m) = -m**3 + 5*m**2 + 10*m - 15. Let j = 53 - 47. Let v be i(j). Suppose -10*b + v*b + 1351 = 0. Is b prime?
False
Let l = 35 - 37. Let u be (-1)/l*-21*6462/(-27). Suppose 4*d + v - 5037 = 0, -2*d + 6*v = v - u. Is d a composite number?
False
Suppose 17*v - 1041229 = -205424. Is v prime?
False
Let l(k) = -2*k**3 + 2*k**2 + k - 1. Let o be l(-1). Suppose 4*t = o*d - 6, 0 = -2*d + 7*d - 5*t. Is 1102 - (-7)/(7/d) a prime number?
False
Let g be 10 + 4595160/84 + (-4)/14. Is 2*((-4)/7 - g/(-28)) prime?
True
Let f(d) = d**3 - 22*d**2 - 19*d - 88. Let x be f(23). Let o = -2 - 1. Is o/x - (-6286)/8 a composite number?
True
Let f = 6415 - 4277. Suppose 14*a + f = 16*a. Is a prime?
True
Suppose 3*m - 28 = -5*d + d, -2*d = m - 6. Suppose -m = -v + 3*r, v = -2*r - 9 - 0. Is v/(1/4413*3) composite?
False
Let v(p) = 4*p**2 + 11*p - 12. Let b(s) = -s**2 + s + 18. Let k be b(0). Suppose k*o - 17*o = 23. Is v(o) a prime number?
True
Let j(n) = 35*n**2 + 26*n - 7. Suppose -72 = -35*m + 27*m. Is j(m) a prime number?
False
Suppose 32 = -6*s + 32. Let h(q) = -q**3 - 2*q - 60. Let u be h(s). Let o = 251 + u. Is o prime?
True
Suppose 3*a - d + 8 = 0, -3*a - 5*d + 22 = -0*a. Let f(s) = 354*s**2 + s. Is f(a) a prime number?
True
Let d be 163 - (0 + -1 - -3). Suppose -7*b + d + 49 = 0. Suppose b = 2*m - 196. Is m a composite number?
False
Let f(u) = u**2 + 10*u - 18. Let g(i) = -i**3 - 18*i**2 + 21*i + 25. Let t be g(-19). Let b be f(t). Is b - (1 + 0 + -2) - -1 a composite number?
False
Let i(n) = 6*n - 9. Suppose -4*h + 3*v + 11 = 2*v, -v - 9 = -3*h. Let p be i(h). Suppose -3*c + 3*s + 10485 = 0, p*c - 2529 = 2*s + 7952. Is c prime?
True
Let i = 111 - 109. Let a = -5 + 9. Suppose 3*n - 2*p - 2637 = 0, 0*n = i*n + a*p - 1742. Is n a composite number?
False
Suppose -252*b - 33555 = -253*b - 2*o, 3*b + 3*o = 100671. Is b a prime number?
False
Let g(m) = m**3 + 122*m**2 - 444*m - 98. Is g(-81) a composite number?
False
Let y(u) = -718*u**2. Let k(v) = 1435*v**2. Let x(d) = -3*k(d) - 7*y(d). Let a be x(1). Let c = 1442 - a. Is c a composite number?
True
Suppose -106*k = -68*k - 53*k + 52905. Is k a prime number?
True
Let r(v) = 128*v - 393. Is r(8) a prime number?
True
Suppose -6*m + 1306911 = -1492311. Is m a composite number?
False
Let b = 2949 + 652. Is b a prime number?
False
Let f(m) = 23*m - 138. Let c be f(6). Is 13538/28*1*(22 + c) composite?
True
Let v be 11/5 - 2/10 - 49. Let k = v - -51. Suppose 2*h - 6*h = -n + 775, 2*h = -k*n + 3154. Is n a composite number?
False
Let y = -44 - -46. Suppose 0 = -4*j - 5*i + 20888, 1759 = y*j + 2*i - 8687. Is j a composite number?
False
Suppose 4*w - 12 = 2*o, 0 = -3*o - 9*w + 13*w - 10. Suppose 0 = 3*u - 0*p - o*p - 19913, 0 = -3*p + 15. Is u a prime number?
False
Suppose 1022 = 2*b - 2*p, -p + 0*p - 1529 = -3*b. Let k = b + -843. Let h = k + 1395. Is h a composite number?
False
Let p = -38 + 40. Suppose -2*m = i - 387, -6*i + p*m - 776 = -8*i. Is i composite?
False
Suppose -12194 = l + 4*o - 42208, -4*l + o + 120107 = 0. Is l composite?
True
Let b = 740 - 348. Suppose -b*p - 2878 = -393*p. Is p composite?
True
Let o = 409762 + -128279. Suppose -o - 40627 = -54*r. Is r prime?
False
Suppose 11027170 = 79*y + 10*y - 19*y. Is y prime?
False
Is 44752425/(-1850)*4/(-6) a prime number?
True
Suppose 72*v + 158874 = 78*v. Is v a prime number?
True
Let n = -15550 - -27323. Is n composite?
True
Let s(x) = -2*x - 68. Let h be s(-27). Let j(m) = -m**3 - 13*m**2 - 32*m - 30. Is j(h) composite?
True
Suppose -717*m + 108332 = -689*m. Is m a prime number?
False
Let w(y) = -y**3 - 6*y**2 + 375*y + 7. Is w(14) a composite number?
True
Suppose -127*g + 19613598 = 48*g + 4717423. Is g composite?
False
Is (-7)/4*((-792)/77 + 10)*190622 a composite number?
False
Let r(s) = s**2 - 10*s + 1. Let q(g) = g**2 - 10*g + 1. Let p(d) = -3*q(d) + 4*r(d). Suppose 2*h - 8 = k, -2*k + 7*h = 2*h + 14. Is p(k) a prime number?
False
Suppose -32 = -4*s - 4*g - 8, 0 = -4*s - 5*g + 26. Suppose 4*k - w - 2*w = 26, 0 = -3*w - 6. Suppose s*j - 4*l - 891 = -j, -k*j - l = -896. Is j composite?
False
Let h = 21187 - -28066. Is h composite?
False
Let z(h) = 2*h**2 + 3*h - 8. Let u be z(-4). Is 6/u - ((-3527)/2 + -1) a composite number?
True
Let g = 27 + -23. Suppose -y = 4*t - 0*y + 5, 0 = -g*t - 2*y - 10. Suppose -3*c + 7*c = -w + 2171, t = c + 4*w - 539. Is c a prime number?
False
Let q be 15 + 62 - (-2 - 4/(-2)). Let c = 128 - q. Is 4/((8 - 7) + c/(-53)) a prime number?
False
Is (-1)/(((-12)/(-519528))/(3/6)*-1) prime?
True
Let n = -1672265 - -2401012. Is n a prime number?
True
Let u(i) = -6069*i**2 + 14*i + 6. Let z(y) = 6068*y**2 - 12*y - 5. Let r(v) = 4*u(v) + 5*z(v). Is r(-1) prime?
True
Let x(z) = -z**2 - 2*z - 3. Let y = 55 - 57. Let p be x(y). Let w(q) = -453*q + 2. Is w(p) composite?
False
Let w(m) = 6*m - 70. Let y be w(10). Is 61492/y*(8 + (-63)/6) prime?
True
Let m(i) = 29 - 90*i**2 + 32*i**2 - 66*i + 33*i**2 + 24*i**2 + 6. Is m(-16) a prime number?
False
Suppose 4509692 = 384*l - 316*l. Is l a prime number?
False
Suppose 4*p - 11*p = 10598. Let t = p - -2314. Suppose 2*u - t = 588. Is u prime?
False
Suppose 