 composite?
False
Is 10313 + (2/1)/(10/(-30)) prime?
False
Suppose 484076 = 7*s + 186345. Is s composite?
False
Let c be -1461 - (1 - 1 - 1). Let s = 2074 + c. Is s a prime number?
False
Let x(p) = 18*p + 1. Let y be x(-1). Let r = -15 - y. Suppose -3954 - 917 = -5*c - 2*a, -2*a - 1940 = -r*c. Is c a composite number?
True
Let g = 131690 + -71947. Is g composite?
False
Let f = 26779 - 18428. Is f a prime number?
False
Is (-14)/(-21)*(-20199)/(-2) a prime number?
True
Let p be -22*1*4/(-8). Suppose -4*g + p = -2*r + 1, 4*g = -r + 19. Suppose 3*z - 520 = -2*d, 0*z = -r*d + 2*z + 767. Is d a composite number?
False
Suppose -2*m = -h + 10, -5*m + 2*h = 11 + 13. Is (-42)/9*822/m a prime number?
False
Is 101134/30 + 14/(-105) prime?
True
Suppose -h + 2 + 3 = 0. Let l = -30 - -40. Suppose l*i - 530 = h*i. Is i composite?
True
Suppose 18 = 5*k - 2*k. Let q be ((-12)/(-9))/(k/9). Suppose q*s - 37 = s. Is s prime?
True
Suppose -38*k + 145034 = -10956. Is k prime?
False
Let m = 357 - 365. Let s(y) = 2*y - 6. Let r be s(6). Is (-542)/(-8) + r/m prime?
True
Suppose -s + 54613 = -5*w, 3*s - 7*s = -4*w - 218452. Is s a prime number?
False
Suppose 2*f + 81 = 3*m, f + 4*f = 5*m - 135. Let n be m*6*2/18. Is 12/n + 842/6 a composite number?
True
Suppose 4*j + 4533 = 3*s, -4*s + 10*j - 7*j = -6044. Is s a composite number?
False
Let q = -13 + 16. Suppose q + 287 = 2*g. Is g prime?
False
Is (-1592 - 2)*91/(-14) prime?
False
Is -7 + (-138)/(-18) - 62365/(-3) a prime number?
True
Let p(c) = 7*c**2 + 12 + 5*c + 14*c - 4*c**3 + 3. Is p(-8) prime?
False
Let x(v) = -35*v - 3*v**2 - 9 + 4 + 8*v**2 + 42*v - 12. Suppose 3*p - 35 = -2*p. Is x(p) a composite number?
False
Suppose -3*p + 5927 - 26 = -3*q, 0 = -5*p - 3*q + 9811. Let y = p - 1213. Is y composite?
False
Let q be 827/5 - (-2)/(-5). Is -2 - 40*11/(q/(-54)) a prime number?
False
Let a = -18 + 15. Let x = -6 + a. Is 147/(-14)*474/x a composite number?
True
Let x = 55 + -52. Suppose 0 = x*q - 2*g - 4848, 3*q = q - 5*g + 3251. Is q prime?
False
Suppose 2*i + 19 = 15. Let h(u) = -42*u**3 - u**2 + u + 4. Is h(i) a prime number?
False
Suppose 3*b + 2*h = -h - 93, -5*h = 0. Let n = b - -33. Suppose 3*a + 5*f = -0*a + 2141, n*a - 1394 = 5*f. Is a a prime number?
False
Let m = -20 + 10. Let l be (-92)/(-20) + (-4)/m. Is (-30)/l*(-134)/4 prime?
False
Let v be (2 + -4)*3/6. Let c(f) = -f**2 - f - 1. Let g be c(v). Is 2 + g + (137 - -1) a composite number?
False
Let t = -2864 - -5599. Is t a composite number?
True
Let j(a) = a**2 + 11*a + 10. Let z be j(-5). Let s = 191 - z. Is s a prime number?
True
Let j = -7091 - -10480. Is j a composite number?
False
Let b(c) = 4*c**2 - 6*c - 2. Let w be b(-6). Suppose 4*s - 6*s + w = 0. Is s composite?
False
Let i(r) = 88*r + 3. Let b be i(2). Let f = 160 + b. Is f a prime number?
False
Suppose -47047 + 13492 = -5*l. Is l a composite number?
True
Let i = -26 - -26. Suppose 5*r - 10 - 10 = i. Suppose -d - h = 3*d - 626, -r*h = 5*d - 777. Is d composite?
False
Suppose 11*w - 8*w + 21 = 0. Let o(k) = -2*k**3 - 8*k**2 - 6*k - 5. Is o(w) prime?
True
Let r = 10661 + -4282. Is r composite?
False
Suppose 18*p + 22737 = 51*p. Is p prime?
False
Suppose 0 = -r - 5*g + 45861 - 8940, -5*g = -2*r + 73812. Is r a prime number?
False
Let w = -1924 - -1119. Let k be -4 - -1 - (-1182 - -7). Let t = k + w. Is t a prime number?
True
Suppose -19*a + 22*a = 6999. Is a prime?
True
Suppose -4*g + 2*g + 2 = 0. Let l(v) = 396*v**2 - 2*v + 1. Let x be l(g). Suppose 0 = 5*c - 0*c - x. Is c prime?
True
Let f(q) = -q**3 - 7*q**2 - 6*q + 3. Let k be f(-6). Suppose y + 42 = k*y. Suppose -o + 112 = y. Is o composite?
True
Let l(h) be the third derivative of 23*h**4/8 + h**3/6 + 7*h**2. Is l(6) a prime number?
False
Let n(v) = 406*v**2 + 39*v + 252. Is n(-17) prime?
True
Let h be (-53)/(3 + -2 - 0). Let o = 99 + h. Suppose 4*n + 3*s - o = 3*n, 0 = 2*s - 2. Is n a prime number?
True
Let w = -60 + 23. Let i(v) = -8*v**3 + v**2 + 3*v + 1. Let q be i(-2). Let f = w + q. Is f composite?
True
Suppose 15 = -0*u + 5*u. Suppose u*m = -3*m + 12. Is (-22384)/(-176) + m/(-11) a prime number?
True
Suppose -3*u - 2*k = -3, 2*u + 3*k - 2 = k. Is 11184/30 - u/(-5) composite?
False
Suppose 5*n - 1874 = -j + 1754, -2*j = -3*n + 2169. Suppose -72 = -q + n. Is q composite?
False
Let n(d) = -2*d + 20. Let g be n(8). Suppose -j = 3*r - 322, 1280 = 2*j + 2*j + g*r. Is j prime?
False
Let q = 20 + -17. Suppose q*z = 685 - 154. Is z a composite number?
True
Let j = 17 - 13. Suppose 0 = 8*i - 3*i + j*l - 737, -4*i + 592 = 4*l. Is i composite?
True
Suppose 0*w - 16 = -4*w. Suppose w*h - 2*h = 114. Is h composite?
True
Let t(v) = 253*v**3 - 5*v**2 + 3*v + 2. Is t(3) a composite number?
True
Suppose 5*f + 12*z - 17*z - 26645 = 0, 5*f - 3*z - 26649 = 0. Is f prime?
False
Let q = -27 + -3. Is (-890)/q*2/(2/3) prime?
True
Suppose 8*h = 7*h + 13. Let u(f) = 3*f + 54*f - h*f + 39*f. Is u(1) composite?
False
Let p(a) = a**3 + 26*a**2 - 5*a + 23. Is p(-21) a prime number?
True
Suppose 208*q - 210*q + 2912 = 5*t, -4*q + 5844 = 5*t. Is q composite?
True
Suppose -5*z + 3*w + 83245 = 0, -43*w + 42*w = -z + 16649. Is z prime?
True
Suppose 2*o + 0*o - 2*p - 40 = 0, -5*p + 20 = 3*o. Suppose 7*l = 2*l + o. Suppose b + 578 = 4*i - i, -l*i = 4*b - 553. Is i a composite number?
False
Let f(x) = -163*x**3 - 23*x**2 - 24*x - 77. Is f(-9) a prime number?
False
Let y = -98 - -95. Is y*(-1 - -2) + 2 + 128 prime?
True
Let n(z) = z + 5. Let m be n(-5). Let q(s) = s**2 + 4*s - 5 + m - 15*s. Is q(-7) prime?
False
Let v = -2277 + 6718. Is v prime?
True
Let b(y) be the second derivative of 49*y**3/6 - 3*y**2/2 - 12*y. Is b(2) a prime number?
False
Let a = -25 - -25. Let h be 449 - (-3 + 1 + a). Suppose -h - 26 = -3*i. Is i a prime number?
False
Suppose 88*n - 102558 - 685130 = 0. Is n a prime number?
True
Suppose 42*g = -22*g + 2368. Is g a prime number?
True
Suppose 0*t + 2*t - 220 = 0. Suppose b + t = -142. Let z = -103 - b. Is z a composite number?
False
Let m = 5838 - 2811. Is m a composite number?
True
Let z = 548 - -5. Is z a prime number?
False
Let k be ((-4)/(-7))/(8/56). Let t be (-205)/(-65) + k/(-26). Let s(d) = 7*d**2 - 2*d - 2. Is s(t) a composite number?
True
Suppose -40 = -8*q - 0*q. Suppose d = 3*j + 3*d - 999, -q*j - 3*d + 1664 = 0. Is j composite?
False
Let c(u) = u**3 + 21. Let g be c(0). Suppose -3 = -3*r + g. Is 1/r + 4910/16 composite?
False
Suppose -3*u + 2*n = -26213, 0 = 2*u + 10*n - 9*n - 17466. Is u a composite number?
True
Is ((-12)/(-15))/2 + (-48306)/(-10) composite?
False
Let b(x) be the third derivative of 287*x**4/24 - 13*x**3/6 + 4*x**2. Let o be b(8). Suppose -6*k + 4119 + o = 0. Is k a composite number?
True
Let x = -14 + 16. Suppose -4 = -n, -x*n + 59 = 3*b - 108. Let v = 192 - b. Is v a prime number?
True
Let q = 995 - -268. Is (q - 0) + 4 + -8 a composite number?
False
Let y = 850 - 399. Let t = 1362 - y. Is t prime?
True
Suppose -4*v + 0*v = -20, 9 = o + 2*v. Is 0 - (o - -134)*-1 composite?
True
Suppose 5*d - 4*y + 7*y - 20 = 0, -5*d - 15 = -4*y. Let j(v) = 32*v**3 - v**2 - 2*v + 2. Is j(d) a composite number?
False
Let h = 0 - 2. Let u(w) = -3058*w - 2. Let r be u(h). Suppose -6*b + r = -2160. Is b prime?
False
Is (-13)/26 - (-2781)/6 a composite number?
False
Suppose -6403 = 20*d - 103883. Is d a composite number?
True
Suppose -9*f = -105233 - 119884. Is f a composite number?
False
Let d be (24/(-10))/(9/(-60)). Suppose -g - d = 6. Is 20/110 + (-2790)/g prime?
True
Let x = 23304 - 16021. Is x a composite number?
False
Suppose -2 = h + 3*n, -5*n - 1 = 4*h - 0. Is 3/21 + (h - (-8172)/28) prime?
True
Suppose 0 = 8*k - 5*k - 516. Suppose 4*v - 153 = -y, 3*y - k - 300 = v. Is y a composite number?
False
Suppose -6753 = -482*w + 481*w. Is w composite?
True
Let w(q) = 5*q**2 - 3*q - 2. Let r be w(3). Suppose 4*f = -0*b - b + r, -5*b = f - 208. Is ((-456)/(-36))/(4/b) a composite number?
True
Let g(b) = 284*b**2 + 60*b - 237. Is g(4) composite?
False
Let o(u) = -u**3 - 5*u**2 - 3*u + 1. Let f be o(-5). Suppose -324 = -4*n - f. Is n a composite number?
True
Suppose h + 6 = -r, -5*r - 28 + 1 = 4*h. Let z(s) = -s**2 - 1. Let p(u) = -8*u**2 + 6*u + 9. Let w(t) = -p(t) - 3*z(t). Is w(h) a composite number?
True
Let b(n) = -2*n + 9. Let z be b(6).