site?
True
Let k(x) = -x**3 - 3*x**2 + 5*x - 14. Let a(d) = -2*d**3 - 9*d**2 + 14*d - 41. Let w(r) = -4*a(r) + 11*k(r). Let z be w(6). Let o = z - -795. Is o prime?
False
Suppose -13*h + 14742 = -19*h. Let b = 33428 - h. Is b prime?
False
Is ((-4)/((-32)/1105400) - 5) + 9 a composite number?
False
Suppose 5*y + u = 14867433, -y + 1036361 = -3*u - 1937100. Is y prime?
False
Is (4 + -4 - -1151)*10/2 a prime number?
False
Let t be (24/20)/(-1)*(26 - 1). Let h be (-24)/t + 52/10. Suppose -4155 = h*b - 9*b. Is b prime?
False
Suppose -58027781 = -823*p + 53*p + 95604929. Is p prime?
True
Let y(r) be the second derivative of 1/20*r**5 + 1/3*r**3 + 19/12*r**4 - 3/2*r**2 - 24*r + 0. Is y(-16) a composite number?
False
Let y(g) be the first derivative of 2*g**3/3 - 4*g**2 + 8*g + 15. Let h be y(2). Suppose 5*i - 2*n - 9121 = h, -5*i + 9130 = -3*n - 2*n. Is i a prime number?
True
Let o be 4/26 - (170114/(-26) - -4). Let t = -4498 + o. Is t a composite number?
True
Let o(s) = 2*s - 25. Let r be o(15). Suppose j + r*m = -41, -7 = -4*j - 5*m - 156. Is -1749*((-4)/j)/(1/(-3)) composite?
True
Suppose 86896211 = 172*r + 29035927. Is r a composite number?
False
Let k be (-5)/((-5)/2) - (13 - 81931). Let u = k + -49279. Is u composite?
True
Let t = -105394 - -324773. Is t prime?
False
Let v(l) = -91*l**2 + 662*l**2 + 710*l**2 - 1 - 237*l**2. Let x(y) = -y**3 + 9*y**2 - 10*y + 15. Let c be x(8). Is v(c) a composite number?
True
Is -3 + ((-5399780)/(-3) - (-5)/((-210)/28)) prime?
True
Let t = 12575 - -642. Is t prime?
True
Suppose -49*p + 2026847 + 790016 = 0. Is p a prime number?
True
Suppose 31*d - 35*d = 348. Let v = d + 87. Suppose 0 = 7*r - 11*r + 5*n + 3533, v = 2*r - 4*n - 1774. Is r composite?
False
Suppose -4*k - 36 = -2*r, 3*r - 61 + 14 = 5*k. Let z(g) = -g**3 - 8*g**2 - 8*g - 5. Let s be z(k). Suppose -s*l - 96 = -412. Is l a prime number?
False
Let k be (16 - 14)*((-21)/6 - -3). Let w(c) = -10034*c**3 - 17*c - 18. Is w(k) prime?
False
Suppose 0 = 2*j + 2*j + 8, 2*d - 6648 = 3*j. Let o = 8258 - d. Is o prime?
True
Let j(u) = 17*u**3 + 3*u**2 - 2*u - 2. Let k be j(3). Let f = 16682 + -15858. Let p = f - k. Is p composite?
True
Let m(t) = 15097*t**2 + 1966*t + 9798. Is m(-5) a composite number?
False
Let d = -1923 + 5372. Is d a prime number?
True
Suppose 4*l = -l + 1775. Suppose 0*y - 2*y = -2*v - 960, -2*y + 3*v = -956. Let d = l + y. Is d prime?
True
Suppose -6*k = -102539 + 10325. Suppose -4*n = 4*s + 1397 - k, 0 = 2*s + 4*n - 6990. Is s a prime number?
True
Let d(q) = 96*q**2 + q. Let v = -49 - -51. Suppose -8*g + 6 = -v*g. Is d(g) prime?
True
Is 29452 - (-1 + 180/15) prime?
False
Let f(x) = 3772*x - 72. Let g(d) = 1257*d - 23. Let a(t) = -2*f(t) + 7*g(t). Is a(6) a composite number?
True
Suppose 3*h - 135345 = 4*p, -130*h + 132*h - 5*p = 90244. Is h a prime number?
False
Suppose 0 = n - 4*c - 927155, -186*n = -181*n + 4*c - 4635967. Is n a prime number?
True
Suppose -5*l + 434441 = -454879 + 237205. Is l a composite number?
False
Let f(i) = 315*i**2 - 9*i + 1403. Is f(-36) prime?
True
Let v = 2779119 + -1657396. Is v prime?
True
Let a = -13618 + 24018. Let t = a + -4663. Is t a prime number?
True
Let t(y) = -y**3 - 5*y**2 + 5*y - 8. Let m be t(-6). Let a be (-2)/(-24)*m - 1/(-6). Suppose 0 = -p + 3*w + 193, a*p = -2*p - 2*w + 370. Is p prime?
False
Let w = -673509 - -374345. Is (w/(-174))/((-2)/(-3)) prime?
True
Suppose -19*y + 14*y + 4760553 = 16*y. Is y composite?
True
Suppose -226*m - 2549305 - 31618 = -243*m. Is m a prime number?
False
Let c(y) = y**3 - 24*y**2 + 24*y - 26. Let f be c(23). Let t be f*((-4366)/6 + 4). Let m = t + -790. Is m a composite number?
False
Let p(m) = -96*m + 49. Let o(k) = 95*k - 50. Let s(i) = -4*o(i) - 3*p(i). Is s(-19) a composite number?
False
Let s = 6579 - 3411. Suppose 4*h = -4*n + s, 0 = h - n + 4*n - 782. Is h composite?
False
Let n = -13666 - -138125. Is n prime?
True
Let m(q) = 2*q**2 + 2*q - 1. Suppose -43 + 48 = 5*o. Let p be m(o). Suppose 478 = 2*t + 4*f, 4*t - p*t - f = 233. Is t composite?
True
Let l(y) = 1396*y**2 + y. Suppose 3 = -16*j + 19. Is l(j) a prime number?
False
Let o(f) be the first derivative of 6 + f**2 + 2/3*f**3 + 0*f. Is o(-2) a composite number?
True
Let z(i) = -9*i**2 + 22*i + 16*i**2 - 11 - 9 - 5*i**3 + 1. Is z(-8) prime?
False
Let h be ((-16692)/(-10))/((-16)/(-40)). Let b = 12328 - h. Suppose b = 5*u - 2*x, -3*u + 5*x + 4879 = x. Is u composite?
True
Let a be 1/7*(-35)/(-5)*13. Suppose 15*h = -a*h + 19628. Is h a composite number?
False
Let y = 445 + -445. Suppose -9*t + 12395 - 4232 = y. Is t a composite number?
False
Let a = -7 - -11. Let x(v) = 236*v**3 + 4*v**2 - v + 9. Let q(d) = d**3 - d - 1. Let c(w) = a*q(w) + x(w). Is c(2) a composite number?
False
Suppose 0 = -q + 2*j + 42339 + 4902, -j = 2*q - 94487. Suppose 6*h - 42601 = q. Is h composite?
True
Suppose 291*r = 277*r + 56. Suppose 15*m - r*q = 13*m + 2012, -2*q = 4*m - 3984. Is m a prime number?
False
Suppose -5*r - 3*z = -11109, -5364 = -4*r + 3*z + 3507. Let g be 42883/(-37) + (9 - 3). Let i = g + r. Is i composite?
True
Suppose 84*y + 5*u + 410774 = 88*y, 0 = 4*y - 4*u - 410780. Is y a composite number?
False
Let n = 807 + -338. Suppose 4*r + 5*u = -2, 0 = 5*r + 4*u - 1 - 1. Suppose n = i + r*y, 2*y - 7*y = 5. Is i composite?
True
Let l(j) = -163*j**2 - 22*j - 55. Let b(g) = 81*g**2 + 11*g + 27. Let m(k) = -7*b(k) - 4*l(k). Is m(-5) a prime number?
False
Let j(u) = -32 + 16*u - 14*u + u. Let v be j(17). Suppose -v*h + 63 = -51. Is h prime?
False
Let r = -204 + 224. Let g(u) = 170*u + 193. Is g(r) a composite number?
False
Let z(m) = 12*m - 12. Let w be z(5). Suppose 6*k + w = 14*k. Suppose 0 = -k*d + 18*d - 6252. Is d prime?
True
Suppose -2*j + 15 = j, 5*i + 4*j - 45 = 0. Let y(l) = -25*l + 277. Let g be y(11). Suppose -4*k + 1070 = -0*r - i*r, 0 = -g*k + 5*r + 540. Is k composite?
True
Let z(l) = -518*l**3 - 326*l**3 + 5*l + 7 - l**2 + 145*l**3. Is z(-2) a composite number?
True
Let w = 26 + -23. Suppose -w*b - 2 = 4. Is (628/10)/(b/(-5)) composite?
False
Let c(g) = 4*g**2 + 8*g + 2. Let t be c(-9). Suppose -464 = -j + t. Is j composite?
True
Suppose 13*v - 2874746 = 1617873 - 133654. Is v prime?
False
Suppose -3*k + 1281 = -2931. Suppose 4*p + 2*h = 5*h + k, -2*p - 4*h = -702. Suppose -5*r + p + 2791 = 3*f, 5*r - 3140 = -5*f. Is r composite?
True
Let u(p) = -6*p**3 + p**2 + 19*p - 12. Let i be u(8). Let f = 5719 - i. Is f a prime number?
False
Suppose -4848*t + 4873*t - 8422475 = 0. Is t composite?
False
Let r(l) = l**2 - 3*l + 9. Let n = 34 - 28. Let o be (-1 + 0 - (n - 8))*-10. Is r(o) a composite number?
False
Let w be ((-2)/(-10))/(17/255). Suppose 3*c - 4*c = q - 2845, w*q = 0. Is c a composite number?
True
Let l be 1662/4 + (-15)/(-10). Suppose 6*t + l = -1377. Is (-1)/((-5)/20) - t a composite number?
True
Let c(l) = -l**2 + l + 45. Let p be c(-5). Let v = 536 - p. Is v a composite number?
False
Let q be ((-160)/(-40))/(4/82). Suppose 6*j - 580 = -q. Is j a prime number?
True
Let g(u) = -u**2 + 107 + 671 + 115 - 5*u. Is g(0) prime?
False
Let q(c) = c + 1. Let m(i) = -606*i + 37. Let u(f) = m(f) - 5*q(f). Is u(-9) prime?
True
Suppose 322 = 12*v - 218. Is (-3)/1 + (52537 - v) a prime number?
True
Suppose 4*j + 81346 = -2*p + 1569788, -p - 1860528 = -5*j. Is j composite?
False
Suppose 45 + 27 = -c. Let q = 881 + c. Is q prime?
True
Let n be 24 + -18 + 2*(-2 + 1). Suppose n*w + 3*i = -2*i + 10, -4 = 5*w - 2*i. Suppose 4*v - 2693 - 4151 = w. Is v composite?
True
Let w(v) = -v**3 + 34*v**2 + 74*v - 69. Let j be w(36). Is 118540/25 - j/5 a composite number?
True
Let v(h) = 7774*h**3 - 15*h**2 - 249*h + 2919. Is v(11) a prime number?
False
Let c(i) = 143*i**2 - 111*i + 8. Let a be c(-21). Suppose -k + 9*l = 14*l - 21794, 3*k - 5*l - a = 0. Is k a prime number?
True
Let j(p) = 15075*p + 1514. Is j(7) prime?
False
Let n be 3/(-4) - 713/(-92). Let c be (-2)/n - 69/(-21). Suppose -471 = -6*s + c*s. Is s prime?
True
Suppose 0 = -0*p - 2*p + 4. Suppose -p*v + 3*v - 46773 = -5*g, 0 = 5*g - 4*v - 46783. Is g composite?
True
Suppose 484 = -12*n - 164. Is ((-2566)/(-4))/((-27)/n) a prime number?
True
Suppose 0 = 4*o - c - 140492, o - 6*o - 3*c = -175632. Suppose -384*h - o = -396*h. Is h prime?
True
Let l(k) = 2846*k**2 + 