rime?
False
Let u(w) be the second derivative of -w**4/12 - 2*w**3/3 + 17*w**2/2 + 5*w. Let t be u(-7). Is (-895)/t + 24/(-32) composite?
False
Let y be (-64)/20 - (-4)/20. Is ((-844)/(-16))/(39/12 + y) prime?
True
Let j(k) = 5*k - 3. Let o be j(2). Let f be o/2 + 2/(-4). Is 1/(-3) - (-4606)/f composite?
True
Let r = -5864 + 9975. Is r composite?
False
Suppose 6*o - 10591 = 11507. Is o a composite number?
True
Let l = -8 + 23. Suppose -l = 2*j + 3*j, 4*j = -4*o - 4. Suppose p = -3*z + 133, o*p - 7*p + 633 = -z. Is p composite?
False
Let q(m) = 200*m + 1. Let t be q(2). Suppose -6*s = -2005 - t. Is s composite?
False
Let r(k) = 94*k**2. Let b be 4/12 + (-2)/(-3). Let h be r(b). Let q = -7 + h. Is q composite?
True
Let l be 1/1 + (4 + -13)/(-3). Suppose l*f = -62 + 802. Is f a prime number?
False
Let c = -90 - -58. Let u be 62 - (2/(-1) + -1). Let b = c + u. Is b a composite number?
True
Suppose 5*p - 18 = 2*o, -o + 6 = -p - 3*o. Suppose -j + 3*j - p = 0. Suppose -4*k + 445 = z, 0*k + j = -k. Is z a prime number?
True
Is 12111 + -1 - -9*3/(-9) a composite number?
False
Let v(y) = y**3 - 30*y**2 + 22*y - 21. Let a(i) = i**2 + i. Let g(f) = -6*a(f) - v(f). Is g(20) composite?
False
Let a(g) = -2457*g**3 + 2*g**2 - 8*g - 19. Is a(-2) a prime number?
True
Let y(u) = u**3 - 5*u**2 - 1. Let d(f) = -f**2 - 3*f + 4. Let t be d(-4). Let z(q) = q**3 - q**2 - q + 6. Let s be z(t). Is y(s) composite?
True
Let n = 55 + -83. Let o be (8/n)/(4/(-56)). Suppose -2*c + 24 + 35 = 5*y, y - 3 = o*c. Is y a composite number?
False
Let x(j) = 29*j + 10. Let d(s) = -s - 1. Let w(h) = 5*d(h) - x(h). Is w(-8) prime?
True
Suppose 288*b - 327*b = -8229. Is b a composite number?
False
Suppose 4*v + 5*c = 53179, 5*c + 3409 = 2*v - 23158. Is v a composite number?
False
Let g be 5/((-5)/(-2)) + 10. Let y(h) = 5*h**2 - 5*h - 9. Let s be y(5). Let x = g + s. Is x a composite number?
False
Suppose -4719920 = -85*l + 4620135. Is l a prime number?
True
Suppose -10*i = -44688 - 182. Is i a composite number?
True
Let a be (-5)/20 - (-14)/(-8) - -10. Suppose -3*d - 2335 = -a*d. Is d prime?
True
Suppose 44775 = 5*q - 0*x + 5*x, 8963 = q + 3*x. Is q composite?
False
Let u(p) = 80*p**3 + 5*p**2 + 7*p - 47. Is u(6) a prime number?
False
Let p(i) be the third derivative of -11*i**4/24 - i**3/6 + 4*i**2. Let m be p(-16). Let d = m - 88. Is d a composite number?
True
Let x be ((-1472)/(-12) - -3)*3. Is x - 2/(3/(-3)) a composite number?
False
Let q = -83 - -410. Is q a prime number?
False
Let c = -364 + 1535. Is c a prime number?
True
Suppose -7*o + 12*o - 60 = 0. Suppose 17*k = o*k + 5755. Is k prime?
True
Suppose -53471 = 105*p - 116*p. Is p a prime number?
True
Let c = 169 + 212. Suppose q + 381 = 2*k + k, -q + c = 3*k. Is k prime?
True
Is ((-2)/(-6))/(10/675930) prime?
True
Suppose 3*o = -22 - 11. Let y = 16 + o. Suppose 3 = 6*z - y*z, -2*q + z = -19. Is q composite?
False
Let h(y) = -5*y**3 + 4*y**2 - y + 9. Is h(-5) prime?
True
Let x(h) be the second derivative of -2*h**3 - h**2/2 - 7*h. Let z(q) = q**3 - 11*q**2 - 12*q - 3. Let t be z(12). Is x(t) composite?
True
Is 0 + -4 + (-2 - -6947) a prime number?
False
Let x be (-2)/3 + 112/24. Suppose -x*g + 49 = 13. Is (-4)/(-1) + (26 - g) a prime number?
False
Suppose -40 + 15 = -5*i. Suppose -7*d + 68 = -i*d. Is d a prime number?
False
Let b = 55450 - -30811. Is b a composite number?
True
Suppose -33*g + 5*s = -34*g + 14944, -3*g - 2*s + 44858 = 0. Is g composite?
True
Let y be (4/(-6))/(2/(1*6)). Is 2/10*y + (-22214)/(-10) prime?
True
Suppose -3*a + a + 6 = 0. Suppose -a = -w + 5*n, 2 = 2*w - 5*n + 1. Is w/(-6) + 2030/21 a composite number?
False
Let h be 337284/48 + 2/8. Let d = h - 2826. Is d composite?
False
Suppose 251752 = 35*c - 27*c. Is c a prime number?
True
Suppose 3*k + 5*h + 2844 = -4455, -4*k = h + 9732. Is -5 - (k + -4 + 3) a prime number?
False
Let x = -116 + 152. Suppose 5*c = -15, -c + 228 = 3*n - x. Is n composite?
False
Let n be (-362 - 11)/(1/(-2)). Suppose 0 = -6*k + 772 + n. Is k a prime number?
False
Let o be -2 + (-303 - -1 - 2/1). Let m = o + 433. Is m prime?
True
Let j = -40 + 67. Let x = j - -32. Is x composite?
False
Let h(u) = 10*u + 5. Let i be h(-4). Let n be (-2)/(((-2584)/(-516) + -5)/1). Let t = i - n. Is t prime?
True
Let q = 16 - 19. Let l be 4*q/(-2) - 2. Let d = 3 + l. Is d prime?
True
Suppose -2*r - 18 = -4*m, 3 + 2 = -5*r. Let g be 7/((-2)/(-346)*1). Suppose 3*l + g = m*l. Is l composite?
True
Is -2 + (324 - 21/(-3)) composite?
True
Suppose -6*c + 3292 = -30722. Is c composite?
False
Let f(g) = 5*g**2 - 3*g + 2. Let d be f(1). Let j be (0 + -4)/(1/(-93)). Suppose 1023 = 5*w + n + j, -d*w - 4*n + 508 = 0. Is w prime?
True
Suppose 3*l = 2*l. Suppose 1 + 14 = 5*t. Suppose t*a - 34 - 32 = l. Is a a composite number?
True
Suppose 0 = -8*d - 6 - 2. Let r(g) = -207*g + 6. Is r(d) composite?
True
Suppose -3*t + 3*x + 6519 = -5061, 11581 = 3*t - 4*x. Is t prime?
False
Let n(p) be the second derivative of -p**5/24 - p**4/12 + p**3/6 - 5*p. Let z(k) be the second derivative of n(k). Is z(-3) prime?
True
Let p be 21/14*8/(-6). Is 5 + -7 - 2*3661/p prime?
True
Suppose 9*d = 19*d - 307130. Is d a prime number?
True
Let w(x) = 6*x**2 - 168*x + 17. Is w(-83) a prime number?
False
Let u = 60 + -40. Let y be (-5)/(u/(-12)) + -114. Let m = -32 - y. Is m prime?
True
Let s = 27 - 25. Suppose a + 11 = s. Is 6/a - 1195/(-15) a composite number?
False
Let x be 9/(-12) + (-2534)/(-8). Suppose 4*b - 4*i = -732, -5*i + 360 = -2*b - 0*b. Let f = x + b. Is f a prime number?
True
Let g = 16167 - 11020. Is g composite?
False
Suppose 0*l + l = 2*u + 2, -14 = 2*l + 5*u. Is (l - -360) + -3 + -1 + 5 a prime number?
True
Suppose 9*n - 366720 = -69765. Is n composite?
True
Let j = -831 + 2014. Suppose -3*c = -2*p + 471, -3*p + 2*c = 2*p - j. Is p a composite number?
True
Suppose 0 = 2*k + 5*k - 8547. Suppose -p - 5*s + k = 0, -4*s = -s + 12. Is p composite?
True
Let b = 9 + 11. Let h be 4/5*b/8. Is ((-30)/12)/(h/(-116)) composite?
True
Let a = 9686 - 5077. Is a a prime number?
False
Let m(h) = h**3 - 18*h**2 + 19*h - 39. Let j be m(17). Is j + 17/(68/3576) prime?
False
Let t be 8 - 5 - 683*-3*1. Suppose 2*v + t - 5385 = -p, 3*p - 9981 = 3*v. Is p a prime number?
True
Let g(s) = 655*s**2. Let y be g(-2). Suppose 4*r + u = y, 3*r - 2*u = -0*u + 1965. Is r a composite number?
True
Is 1*((-8571)/(-3) - -2) a prime number?
False
Let i(s) = s**3 + 2*s**2 - 2*s - 1. Suppose 12 = -5*f + r, -5 - 1 = f - 2*r. Let w be i(f). Let c = w + 10. Is c a composite number?
False
Let n(s) be the third derivative of s**8/6720 + s**7/252 - 11*s**6/720 - s**5/24 + s**4/24 + 6*s**2. Let j(h) be the second derivative of n(h). Is j(-8) prime?
True
Let r = 1 + -12. Let g = -7 - r. Suppose 298 = g*x + 62. Is x prime?
True
Let b(t) = -t**2 + 10*t + 9. Let j be b(11). Is (j - 1)*1 + 3 + 91 a prime number?
False
Let z(w) = -495*w - 161. Let k be z(-4). Let r(h) = -303*h**2 + h + 2. Let j be r(2). Let o = j + k. Is o prime?
False
Let h(m) = -115*m - 3. Let s = 24 + -32. Is h(s) a composite number?
True
Let k(f) = 19*f**3 + f**2 + 2*f + 2. Let g be k(3). Suppose 131 = -3*p - 808. Let n = p + g. Is n composite?
True
Let y(r) = -2 + 2*r**2 + r**2 + 4*r - 4. Let i be (7 - (0 - 6)) + -8. Is y(i) a composite number?
False
Suppose -50 = 2*x + 3*x - 5*c, 3*x - 5 = -4*c. Is 2/x - (-73458)/70 composite?
False
Suppose 4*w = 2*w. Suppose -5*p = 15 - w. Is 37/(0 + p/(-3)) a composite number?
False
Let z(w) = w - 3. Let n be z(5). Let g be ((-1)/(-1))/(n/(-4)). Is g - (1/1 + -920) a composite number?
True
Let n = 1863 + 46. Is n a prime number?
False
Suppose -12 = -3*u, -3*l + 66 = 4*u - 115. Let y be (-48885)/l - 4/22. Let k = -472 - y. Is k prime?
False
Suppose 3*b - 48 = 7*b. Let u be 7/((-21)/b) + 0. Suppose q - 69 = 3*i - 20, -3*q + 157 = -u*i. Is q a composite number?
True
Suppose -v = -3, -4*v + 146429 = 2*a + 9859. Is a prime?
True
Suppose -16*h + 10 = -70. Suppose -17181 + 3896 = -h*y. Is y prime?
True
Let x(c) = 136*c**2 + 5*c - 10. Is x(-3) a prime number?
False
Let p = -27 + 38. Suppose -p*t + 2127 = -8*t. Is t a composite number?
False
Let h(s) = 323*s + 11. Suppose -5*b + 4*y = -y - 25, 2*y = -4*b + 26. Is h(b) prime?
True
Let y(f) be the third derivative of 3*f**