d a prime number?
True
Suppose 0 = -127*o + 71*o + 34*o + 12257234. Is o composite?
True
Let v = -12566 - -15789. Is v composite?
True
Let i(k) = -k + 6. Let p be i(-3). Suppose 5*c - 5*r - 25 = 0, -28 = -2*c + 5*r - p. Is (4/((-72)/30))/(c/(-1758)) composite?
True
Let c = 755958 + -445013. Is c a composite number?
True
Let f(o) = 220*o**2 + 108*o - 2. Let y be f(-21). Suppose -g - 4*g = -3*c - y, -2*g + 37874 = 4*c. Is g a prime number?
True
Suppose -3250*j = -5*x - 3254*j + 328825, 3*x + 4*j = 197303. Is x a composite number?
False
Is (-5)/(-10 - (-3334290)/333430) - -1*8 composite?
False
Let z = -1 - -26. Let s = 27 - z. Let t(d) = 11*d**2 + 3*d - 1. Is t(s) a prime number?
False
Let c = 65927 + -41118. Is c a prime number?
True
Suppose 0 = 2089*o - 2104*o - 59079131 + 167544236. Is o prime?
False
Let c = 215936 + -125179. Is c a prime number?
False
Suppose -2*k + 13996 = 17*c - 14*c, c + 4*k = 4652. Let v = 9203 - c. Is v prime?
False
Let g(d) = d + 15. Let z be g(-16). Let v be 5*z*(-5384)/20. Let f = v + -723. Is f composite?
True
Let p be 19279/(-3) - 54/(-162). Let t = p - -9373. Is t composite?
True
Suppose 604877 = -84*d + 87*d - 5*q, -d = -2*q - 201627. Is d composite?
True
Let z = 166 + -161. Suppose -2*r + 4*q + 16880 = -7266, 0 = -z*r + 4*q + 60383. Is r prime?
False
Let g be 6077 + (-10)/(-25)*5. Suppose -6*m - 12174 = -8*m - 2*k, -m - 5*k + g = 0. Is m a composite number?
False
Let p = 120678 - 59689. Is p a composite number?
True
Let o = 37 + -34. Suppose -2465 = -k - d + 5991, -o*d - 3 = 0. Suppose 6*a - 3*a - k = 0. Is a prime?
True
Suppose -3714*a + 3718*a + 1245387 = 3*i, -4*i - 5*a = -1660547. Is i a composite number?
False
Let v(c) = 252673*c - 12508. Is v(9) a composite number?
False
Let c be 3501/27 - -6 - (-2)/6. Suppose 3*k - 2005 = -c. Is k a prime number?
False
Let p = 185 + -176. Let o(d) = 71*d + 34. Is o(p) a composite number?
False
Suppose -4*c + 2*m = -3*m - 22276, 5*m = -5*c + 27800. Suppose -2*z + 3*r - 5*r = -c, 5*r + 11083 = 4*z. Is z a composite number?
False
Suppose 5*y - 2*k = -4*k + 13, -k + 5 = 2*y. Suppose -10 = -y*b - 1. Suppose -b*q - 2*q = -1235. Is q composite?
True
Is 2 + (-212114)/(-2) + 139 + -139 a composite number?
True
Is 6/(-36)*3*(8 - 55210) prime?
False
Let w(c) = -c**3 + 5*c**2 - 3*c + 2. Let r be w(4). Let g(m) = m**3 + 18*m**2 + 2*m + 60. Let k be g(-13). Suppose r*q + k = 9*q. Is q a composite number?
False
Let g = 30 - 27. Let q be (10/g)/(4/6). Suppose -9822 = -w - q*w. Is w prime?
True
Let s(r) = -r**3 + 96*r**2 + 216*r - 651. Is s(88) a prime number?
True
Let o(d) = d**3 - 19*d**2 + 29*d - 17. Let n be o(16). Let s = 634 + n. Suppose 7*y - 3036 + s = 0. Is y a composite number?
False
Let u(m) = -648*m + 53. Let b(h) = 2*h**2 + 12*h + 5. Let k be b(-5). Is u(k) a composite number?
True
Let g = 24 - -6. Let c = g - 25. Suppose 0 = -c*j + 105 + 1370. Is j prime?
False
Let s(j) = -j**3 - 17*j**2 + 17*j - 2. Let c be s(-18). Let n(r) = -9 - 2 - c + 13*r. Is n(17) a composite number?
True
Let p be (-172)/(-20) - 9 - 17/(-5). Is p/(-27) + 7680/108 prime?
True
Let j(s) = 4*s**3 + 7*s. Let q be j(6). Suppose 4*h - h - 2*k - q = 0, 0 = -5*h + k + 1510. Is h a composite number?
True
Let h(p) = 2530*p**3 - 16*p**2 + 54*p - 7. Is h(3) prime?
False
Suppose -2*y = -3*j - 3556 - 1991, j + 5541 = 2*y. Is (-1 + 3/2)*(y - -25) prime?
False
Suppose n - 5*k = -k + 105079, 2*n = 3*k + 210143. Is n composite?
True
Let g be (-63 + 5)/((-1)/(-19)). Let v be (-12)/18 + g/3 + 1. Let z = 998 + v. Is z composite?
False
Let a(i) be the first derivative of -11*i**2 + 4 - 24*i - 15*i + 65*i**2 + 2*i. Is a(11) composite?
False
Let g(k) = -k**2 - 5*k + 38. Let h be g(-9). Let s(a) = 2144*a + 39. Is s(h) composite?
False
Suppose 0 = -3*q - 2 + 17. Suppose -y + n + 5984 = 0, q*y + 2*n = y + 23918. Is y composite?
False
Suppose 13*n - 11986238 = -5*n - 380540. Is n a prime number?
False
Suppose -37*i - 16 = -41*i. Suppose i*w = -15 + 7. Is (-5444)/(-24)*-3*w composite?
False
Let q(x) = 2*x**2 + x + 12. Let c be q(-5). Suppose 0 = -c*n + 61*n. Suppose 2*u - 6*u + 2*r = -32, -4*u + 4*r + 28 = n. Is u composite?
True
Let g(h) = h**2 + 15*h + 26. Let b be g(-13). Suppose -f + 1638 + 901 = b. Is f composite?
False
Suppose -116*m + 43*m + 35319165 = 32*m. Is m a composite number?
False
Suppose -2*u - 20*u + 95788 = 0. Let p = 10133 - u. Is p a composite number?
False
Is 6276 + -11 + -2 + 8 a composite number?
False
Let i(x) = 7*x + 137. Suppose -71*l - 300 = -77*l. Is i(l) prime?
True
Let h(q) be the first derivative of -q**2 + 30*q + 16. Let m be h(15). Suppose -4*s + m*o = 3*o - 2289, -s + 571 = 2*o. Is s a composite number?
True
Suppose 4*q + 7817 = -5*z, -q + 4*z - 140 - 1830 = 0. Is (-2 + 1)/((-48)/(-24))*q a prime number?
False
Let o = 21465 - -31984. Let c = -13418 + o. Is c a prime number?
True
Let r(y) = -372*y + 14. Let w(t) = -371*t + 13. Let b(i) = -3*r(i) + 4*w(i). Let k = 109 - 112. Is b(k) a prime number?
False
Suppose 13605 = 17*m - 15040. Suppose 4*v + m - 9889 = 0. Is v composite?
True
Let a(n) = 8*n. Let i be a(7). Suppose 0 = -7*l - 0*l + i. Is 2457/15 - l/10 a composite number?
False
Suppose -6*z - 17*z = 44*z - 11175533. Is z a prime number?
True
Let p(i) = -13404*i + 2815. Is p(-14) composite?
False
Let l(b) = 1154*b**2 - 191*b + 10. Is l(-3) a prime number?
False
Suppose 2*o - q = -5, -3*o - 5*q + 11 = o. Let k(d) be the second derivative of 3991*d**4/12 - d**3/6 - 3*d**2/2 + 7*d. Is k(o) a composite number?
False
Let r be 1082/(-14) - (-52)/182. Let v(b) = 30*b - 2. Let z be v(4). Is z/(6/14 + 19/r) composite?
True
Let h(o) = 26740*o + 389. Is h(3) a prime number?
False
Suppose 0 = -t + 4*t - 12. Suppose 942 = -75*l + 78*l. Suppose -t*g + 2*g = -l. Is g a composite number?
False
Let o = -20123 - -29896. Is o a composite number?
True
Let i = -235 + 238. Is ((-8)/(-4))/(i/((-53355)/(-10))) composite?
False
Let d(f) = 47*f**2 - 5*f - 50*f**2 - 35 + 55*f**3 + 35*f. Is d(6) composite?
True
Suppose 56 = -204*v + 212*v. Let h(a) = -a**3 + 12*a**2 + 14*a - 4. Is h(v) composite?
True
Let p(n) = -2*n**3 - 7*n**2 - 9*n - 16. Let r be p(-15). Let l = r + -2245. Is l a composite number?
False
Suppose -3*l - 3*v = 0, 0 = -l - 2*l - 4*v. Suppose 8*n - n - 13363 = l. Is n composite?
True
Let p(r) = 1173*r + 389. Is p(16) a composite number?
False
Let t(g) = -21*g + 28*g + 37*g**2 - 14 + 11. Is t(-5) a prime number?
True
Let y = 1189971 - 141584. Is y composite?
False
Suppose -5*y - 1039 = -4*y. Suppose 31388 = 17*i + 6160. Let q = i + y. Is q a composite number?
True
Let d be 1715/10 + (-1)/2. Let u(o) = 9 - 394*o - 10 - 17 - d*o. Is u(-5) a composite number?
True
Let s be (1192/(-32))/((-1)/16). Let v = 14407 - s. Is v prime?
False
Suppose 3*d = 3*u + 42, 3*d - d + 23 = -u. Is (2446 - -1)/(u/(-68)) + 3 composite?
False
Let r = -1836 - -3593. Suppose r + 1527 = 4*f. Is f a prime number?
True
Let h be 3194/3*30/(-4). Let j = h + 23478. Is j prime?
True
Suppose 5*y = -5*h + 460700, -126*y = 3*h - 125*y - 276410. Is h prime?
False
Let g(y) = -1464*y - 15. Let i be g(2). Let v = i + 8690. Is v prime?
False
Let s(r) = r. Let j be s(0). Let c(o) be the third derivative of -o**6/120 + o**5/30 + 407*o**3/6 + o**2 - 19. Is c(j) composite?
True
Is (7 + (-7765)/(-15))*1524/8 a composite number?
True
Suppose -2*h = 2*h - 5280. Suppose -5267 - 3083 = 10*o. Let p = o + h. Is p composite?
True
Suppose -c + 105 = 2*c. Suppose -c*j + 135 = -40*j. Is j/(-9) - (-1 + -1461) prime?
False
Suppose -2*t + 2*c + 118858 = 3*t, -4*c = 2*t - 47548. Suppose -t = 4*h - 120724. Is h composite?
True
Let h(g) be the second derivative of 12*g**4 + 2*g**3/3 + 43*g**2/2 - 2*g + 75. Is h(-8) prime?
True
Suppose -22*y = -25*y + 24. Suppose 0 = -3*t + 17 - y. Suppose -3*x + 7*x + t*n = 2277, -3*n - 1734 = -3*x. Is x a prime number?
False
Let s(t) = -14*t**3 + 2*t**2 + 5*t + 4. Let o be s(-2). Let c be (-1624)/(-42)*o/4. Suppose 2*n = 5*m + c, m + 2693 = 5*n + 4*m. Is n a prime number?
True
Let w be (5 + 708 + 2)*75. Suppose -10*m + 9805 = -w. Is m composite?
False
Is -21 + (-156)/(-12) - -209307 prime?
True
Let p(b) = -7*b + 66. Let c be p(9). Suppose -67*r + 72*r = -2*v + 29393, 2*r - 11755 = -c*v. Is r prime?
True
Let d be 308/26 + (-20)/(-130)