-4*v - 5. Let y be a(3). Is (-14919)/(-1) + y + 21 a prime number?
True
Let m(z) be the third derivative of z**6/120 - 7*z**5/60 + z**4/4 - 7*z**3/2 + 42*z**2. Let c be m(6). Is (c/9)/7*-1623 composite?
False
Suppose -4512 = -2*k + 4380. Let x = k - 1983. Is x prime?
False
Suppose 0 = -f + l - 11, -3*f - 20 = -2*l + 13. Is (2392/(-24) + f)*3/(-2) composite?
True
Let l = -1518 - -2585. Is l a composite number?
True
Suppose -56*k + 55*k = 3*c - 675842, c - 2*k = 225283. Is c a composite number?
True
Is (-1346)/(-7 + -2*102072/(-29168)) composite?
True
Suppose -565*u = -558*u - 245. Is u prime?
False
Let v(y) = 140*y + 27. Let g(q) = -141*q - 27. Let d(l) = 6*g(l) + 7*v(l). Suppose 5*s = -4*t - 0*s + 25, 2*s = -3*t + 24. Is d(t) a composite number?
False
Suppose 0 = -179*r - 0*r - 4630984 + 119867783. Is r a composite number?
False
Let h be 6/13 - (-2232)/403. Let d = 17 - -127. Suppose 0 = 4*x + 3*s - 203, 3*x = h*x + 5*s - d. Is x composite?
False
Let p(u) = 458*u**2 - 26*u - 45. Is p(8) a composite number?
False
Suppose -o + 588 = a, -3*a - 14*o + 1754 = -13*o. Is a prime?
False
Let r be (-222)/(-27) - 5 - (-2)/(-9). Suppose r*h = 5*h - 11498. Is h composite?
False
Let q(l) = 2411*l**2 + 5*l - 3. Suppose p + 2 - 3 = 0. Is q(p) prime?
False
Suppose 0 - 6 = -3*w. Let y be (28 + -22)/(w/1). Suppose 0 = -y*g - 273 + 972. Is g a prime number?
True
Suppose -4*l = -5*o + 109, -9*l + 32 = -11*l - 2*o. Let j(f) = 5*f**2 + 10. Is j(l) prime?
False
Suppose 56 = 41*l - 67. Suppose l*d + 4811 = -3*p + 14894, -4*d + p = -13464. Is d a prime number?
False
Suppose -16*g + 16192615 = 32*g + 23*g. Is g a prime number?
False
Suppose 2*g - 8958 = -g. Let q(x) = -134*x - 264. Let a be q(-2). Suppose 0*l - 5*l + 1475 = 2*m, 2*l + g = a*m. Is m a prime number?
False
Is (-13 - -38) + 21742740/15 prime?
False
Suppose -72 = -25*m + m. Suppose 49624 + 3347 = m*q. Is q a prime number?
True
Suppose 0 = -6*a + 2*a + 11900. Suppose -5*t = -5*z - a, -2*z - 441 - 737 = -5*t. Let i = 853 + z. Is i a composite number?
True
Let f = 474 + -471. Let l(y) = 1419*y**3 + 3*y**2 + y + 2. Is l(f) prime?
False
Let h(x) be the third derivative of 34*x**5/15 + 9*x**4/8 - 13*x**3/3 + 32*x**2. Let u(p) be the first derivative of h(p). Is u(7) composite?
False
Let g = -30 + 37. Suppose 4*q - 3*r + 6 = -g, -5*r + 13 = 2*q. Is (138/18)/(q/(-21)) composite?
True
Suppose -63*a + 1502878 = 4*q - 62*a, 4*q - 1502908 = 4*a. Is q a composite number?
True
Suppose 0 = -29*y + 32*y + 5*w + 13, -5*w - 37 = -3*y. Suppose -5*j + 5458 = 3*d - 726, -4*d = y*j - 8232. Is d a prime number?
True
Let h(b) = 363*b + 9584. Is h(13) prime?
True
Let j = -24475 - -67698. Is j composite?
False
Suppose 513673 = 30*y - 124037. Is y composite?
True
Let p = -20084 - -28882. Suppose -142580 + p = -6*g. Is g composite?
True
Let z = -67779 - -122488. Is z a composite number?
False
Suppose 5*q - w - 255540 = 0, 33*q - 102223 = 31*q - w. Is q composite?
False
Suppose 0 = -4*w + 4*o + 144256, 9*w - 6*w = -4*o + 108171. Is w composite?
False
Suppose 0 = -8*m + 27 + 13. Suppose -p = -m*p - 8. Is p + ((-3)/9)/((-5)/6165) a composite number?
False
Let b(f) = -3*f**3 - 36*f**2 - 7*f - 51. Let d be b(-12). Let r(x) = 18*x**2 - 9*x + 68. Is r(d) prime?
True
Suppose 3*w - 33888 = -5*w. Suppose 17*o + w = 21*o. Is (((-60)/9)/2)/((-2)/o) a prime number?
False
Let h(p) = 390*p**2 - 5*p - 186. Is h(-11) composite?
False
Suppose w - p = 398648, -5*w + p = -78281 - 1914971. Is w composite?
True
Suppose -45*l - 45455 + 133638 = -725822. Is l composite?
False
Let x(b) = 23*b**3 + 24*b**2 - 3*b - 19. Let a(u) = 12*u**3 + 12*u**2 - u - 9. Let j(q) = -5*a(q) + 2*x(q). Let o be j(5). Let t = 4267 + o. Is t prime?
False
Let t = -26 + 31. Suppose 2*c + 7*o = 2*o + 2654, 5*o - 6635 = -t*c. Is c a prime number?
True
Suppose 11 = a + 5. Let d be 824/a - 12/36. Suppose 2*n - d = -z, -150 = 3*z + 3*n - 546. Is z a composite number?
False
Suppose -80*l + 6606827 - 2244620 = -2842993. Is l prime?
False
Let t = 21 + -84. Let x = t + 79. Suppose 22*m = x*m + 9834. Is m a prime number?
False
Let m = -112 - -127. Let z be -1 - (-8 - m/(-5)). Suppose 897 = -z*u + 2861. Is u prime?
True
Let i be 14/(-35) - 54/(-10). Suppose -5*k = -2*m - 1023, -926 = -i*k + m + 93. Is k a prime number?
False
Let d be 18004 - (-2 - -6) - (-4)/2. Suppose 2*k - d = 2*v, 3*k + 3*v = 14174 + 12817. Is k prime?
True
Let c(p) = 115*p**2 + 17 - 12 - 13027*p - 8 + 13024*p. Let k = 4 - 7. Is c(k) a composite number?
True
Let s(r) = -67*r + 121. Let p be s(-14). Suppose -b + p = -340. Is b a composite number?
False
Suppose 5*d - 4*d - 4 = 0. Let b(j) = -3*j**2 + 33*j - 25*j + 4*j**3 - 1 + d. Is b(8) composite?
True
Let s(a) = a**2 - 10*a - 5. Let l be s(-10). Let h = l - 142. Is h a composite number?
False
Let j be 1 - (36 - 4)*-1. Let s(f) = 6*f**2 - 21*f - 62. Is s(j) composite?
False
Let c = 53 - 48. Let f(a) = 6*a**3 - 2*a**2 + 2*a + 5. Let o be f(c). Suppose 4*g + g = o. Is g prime?
False
Let d(v) = 570*v**2 - 56*v - 279. Is d(20) prime?
True
Let n = -89 + 150. Suppose -4*w + n + 91 = 0. Suppose -557 = -39*c + w*c. Is c composite?
False
Let k be (0 + 1 - 0)/((-17)/1377). Let y = k - -388. Is y a composite number?
False
Suppose 67*n - 28 = 60*n. Let m(w) = 363*w - 15. Is m(n) prime?
False
Let u = 190 + -188. Suppose -10 = 2*k, -u*k + 4*k + 336 = 2*f. Is f composite?
False
Suppose 0 = -8*d + 52 - 28. Suppose -5*m + 0*m + d*x = -28760, 0 = 4*m - x - 23015. Is m composite?
True
Suppose 456*z - 472*z + 3906512 = 0. Is z composite?
False
Let o(m) = -178*m**3 - 3*m + m - 14 - 19 - 2*m**2 + 16. Is o(-4) composite?
False
Let u = -1 - -7. Let o(n) = -4 - 26*n - 3 + u - 2. Is o(-1) composite?
False
Suppose -2*k + 423595 = z, 2*k - 42*z - 423615 = -47*z. Is k a prime number?
False
Let h(x) be the third derivative of 7*x**5/60 + x**4/24 + x**3 - 2*x**2. Let c be h(-3). Suppose -a + 1725 = o, o - 2*a - c = 1647. Is o composite?
False
Let a = -382 - -423. Suppose -32*z + a*z = 34137. Is z a composite number?
False
Let w(t) = -29*t - 23. Suppose 4*i = 30 - 10. Suppose -i*l - 25 = -3*g, 2*l - 21 = 4*l + g. Is w(l) a composite number?
True
Suppose 557571 = 5*g - 2*w, -3*g + 331336 = -2*w - 3209. Is g prime?
False
Is 109070247/605 + 4/(-10) prime?
True
Let r(i) = -6181*i + 95. Is r(-2) a prime number?
True
Let y(b) = 14*b + 101. Let k be y(-7). Suppose -k*s + r = -47278, 7480 = -s - r + 23246. Is s prime?
True
Suppose 7*a = 38121 + 1513. Suppose 2*s = 10324 + a. Is s a composite number?
False
Let o(n) = -4*n**2 - 21*n + 13. Let m be o(-6). Is (-35334)/(-8) - (38/8 + m) prime?
False
Let i(r) = 252*r - 69. Suppose 0*z + 34 = 2*b - 3*z, 5*z + 10 = b. Is i(b) a prime number?
False
Let w = -2036 - -4999. Suppose -3*u = 5*j - 14588, w + 1900 = u + 2*j. Is u prime?
True
Let c = -138 - -76. Let z = 62 + c. Suppose 661 = o - 3*b - 213, z = -4*o - 3*b + 3571. Is o composite?
True
Is (2277 - 19) + (-7)/((-4)/(-4)) composite?
False
Let h(p) = 53*p**3 + 7*p**2 - 34*p - 47. Is h(9) a composite number?
False
Let x = -101 - -104. Let g be ((-12)/(-3))/(((-24)/(-4))/x). Suppose 0 = 4*f - g*f - 2*z - 3490, 5*f + z = 8701. Is f prime?
True
Suppose 126344*z = 126380*z - 24344532. Is z prime?
False
Let j(a) = -2822*a + 2449. Is j(-38) a composite number?
True
Let q(v) = -186*v + 23. Let z(i) = i**3 - 8*i**2 + 3*i - 4. Let h(a) = -a**2. Let s(l) = 5*h(l) - z(l). Let j be s(3). Is q(j) composite?
False
Let r = -166 - 9. Let b(c) = -10*c**3 + 5*c**2 + 5*c + 1. Let p be b(-4). Let m = p + r. Is m composite?
True
Let r be -1 + 66 + 18/6. Let m = 77 - r. Is m/21 + 53174/77 prime?
True
Suppose 5*o = -5*f + 38770, 2*o - 5*o = f - 7746. Suppose -19*j - 42007 + 4406 = 0. Let r = f + j. Is r a composite number?
False
Let r = 41539 + 36102. Is r a composite number?
False
Suppose -539819 = 55*n - 62*n. Is n a composite number?
True
Suppose -4*w - t - 51 = -4*t, -3*w = -2*t + 38. Let s be 15/w + 3/12. Is 1181/5 - (3/15 + s) composite?
True
Suppose 0 = -3*i + 19 + 5. Suppose i*z - 3050 = 3*z. Is z/(7 - 5) - -2 prime?
True
Let q = -4335 - -9727. Suppose -3*m = -2*k - 4044, m = 5*m + 2*k - q. Let y = -801 + m. Is y prime?
True
Suppose -4*i + 1 = 9, -i + 22 = 2*g. Suppose -69*z + g*z = -1209711. Is z prime?
False
Let u be (-135)/54*(-2