 + 24*y + 23621. Is y composite?
True
Suppose -149*t + 124*t + 450925 = 0. Is t composite?
True
Let c = -11586 - -19141. Suppose 3*j - 6044 = -4*o, j = -o - 4*o + c. Is o a composite number?
False
Let x = -1439 - -2052. Is x a composite number?
False
Suppose -89 = 3*f - 2*z - 3*z, 4*f = 4*z - 124. Let a = f + -28. Let j = a + 132. Is j prime?
True
Let q be (-1)/(-4)*4 + -1. Suppose o + 35 + 345 = 4*p, 2*p - o - 190 = q. Is p composite?
True
Let f be (-15*32 - 1)/((-2)/6). Suppose -19*g + f = -16*g. Is g prime?
False
Suppose 4*v = r + 404, -r - 162 = -2*v + 38. Suppose 4*o = -j + 335, 2*j + v + 224 = 4*o. Is o a composite number?
False
Let w(y) be the first derivative of -1/4*y**4 + 5 + 5/2*y**2 + 5*y + 1/3*y**3. Is w(-4) composite?
True
Suppose 20 = -4*a + 4*x - 20, -2*x + 10 = 0. Let f(z) = -139*z - 16. Is f(a) prime?
False
Suppose 10 = 2*b - 4*w - 0, 2*b - 2 = -4*w. Suppose -v + 2*q = 4*v - 51, b*v - 29 = 2*q. Suppose -6*y - 635 = -v*y. Is y a composite number?
False
Suppose 4*r - 2*r = -2. Let d be ((-1)/(-1))/r + 0. Is ((-1758)/18)/(d/3) prime?
True
Let p = -1955 - -3518. Is p a prime number?
False
Let s = 52586 + 21193. Is s prime?
False
Let z = -1235 - -785. Let r = z + 1519. Is r composite?
False
Let p(k) = k**3 + k**2 + k + 1. Let h(r) = -55*r**3 - 4*r**2 - 6*r - 8. Let c(o) = h(o) + 5*p(o). Is c(-2) prime?
False
Let f be 0 - 1676*(-1 + 0). Let n = f - 505. Is n a composite number?
False
Let m(t) = t + 8. Let o be m(-8). Suppose -2*p - 5*v = -144, -4*p = -o*p + 4*v - 264. Is p a prime number?
False
Suppose 7*j = 117179 + 54237. Suppose -p = 2*k - 12599, j = 2*p - 4*k - 734. Is p a composite number?
True
Suppose -a = -10 + 5. Suppose -a*v + 2*v + 6 = 0. Suppose -4*k - 3*w - v*w = -145, -2*k = 2*w - 72. Is k a prime number?
False
Let y be 3/1 - (1 - 1). Suppose -y*v + 437 = -1954. Is v prime?
True
Let w be (-7)/(7/(-3))*-308. Is 2/8 + w/(-16) a prime number?
False
Suppose 0 = -3*y + 2*y - 26. Let s = y - -10. Is 23*4/s*-188 composite?
True
Let q = 46 + -88. Let u be q/24 - (-3)/(-12). Let m(g) = -402*g + 5. Is m(u) composite?
False
Let n(x) be the third derivative of -x**7/84 + x**6/360 - x**4/24 + x**3/6 + 4*x**2. Let f(u) be the first derivative of n(u). Is f(-2) composite?
False
Suppose 225*y - 2*w = 220*y + 46679, 3*y + 5*w = 28026. Is y composite?
False
Let b = 6946 - 3185. Is b a composite number?
False
Let g = -377 - -2656. Is g a prime number?
False
Suppose -8*x + 42 = 3*b - 3*x, x = -5*b + 70. Let t be 2014/(-8) - b/56. Let c = 41 - t. Is c prime?
True
Let c be (-1088)/(-20) + 2/(-5). Suppose -5*z + 5*y + 525 = 0, 0 = -2*z - z + 4*y + 315. Let b = z - c. Is b composite?
True
Let w = -53 + 77. Let a = w - 20. Suppose 3*g = 2*q + 5*g - 1086, -3*g + 2176 = a*q. Is q composite?
False
Suppose 0 = -v - 7*h + 9*h + 341, 4*v - 5*h = 1349. Is v prime?
True
Let p(y) = -107*y - 71*y - 29 + 24*y. Is p(-19) a composite number?
False
Let k(z) = 1267*z + 275. Is k(8) a prime number?
False
Suppose v + 4*z = -v + 12, z = 5*v + 3. Is (-323)/2*(-2 - v) a composite number?
True
Let m(j) = -j**2 + 13*j + 11. Let d = -1 + 10. Let p be m(d). Let a = -21 + p. Is a a composite number?
True
Let h = 0 - 48. Let u(o) = 27*o**3 + 4*o**2 + o - 3. Let m be u(-2). Let b = h - m. Is b a composite number?
False
Let q(i) = i**2 - 13*i - 10. Let n be q(14). Suppose 2*o = z + 3, 3*z = -3*o + 23 + n. Suppose 0 = j - 4*g - 93, 2*j + 294 = z*j + 3*g. Is j a prime number?
True
Let a(s) = 668*s - 481. Is a(9) prime?
True
Let y be ((-212)/6)/((-13)/273). Suppose 4*p = -2*q + y, -279 = -q + 2*p + 104. Is q prime?
False
Let o = 42138 - 29245. Is o prime?
True
Suppose 4*g - 9*g + 11580 = 0. Suppose v - 1538 = -2*t + 5*v, 3*t + 3*v = g. Is t a prime number?
False
Let g = -1774 - -3382. Let t = g + -687. Let y = t + -580. Is y composite?
True
Let a = 1313 + 2546. Is a prime?
False
Suppose -2*u = 3*d - 4353, u - 4*d - 2170 = d. Suppose -5*z + u = -795. Suppose 1311 = 3*a - z. Is a composite?
True
Is (154/(-110))/(3/(-28695)) a composite number?
True
Suppose 2*i = 4*f + 1238, -5*i + 2863 = 4*f - 190. Is i composite?
False
Suppose -5669 = -4*r - 5*n, n + 4253 = 3*r + 5*n. Is r composite?
True
Let d be (-2)/(-18) + (-25888)/36. Let a = 32 - d. Is a a prime number?
True
Suppose 0 = -d - 4*p + 319, 986 + 545 = 5*d + 4*p. Let q = d + -182. Is q a prime number?
False
Is 26/312 - (2548270/(-24) - 3) a prime number?
True
Let s(b) = b**2 + 8*b - 5. Let q be s(-4). Let d = 418 + q. Is d a composite number?
False
Let g(a) = 4*a - 3. Let y(u) = 311*u - 13. Let o(s) = 4*g(s) - y(s). Let z = 6 + -10. Is o(z) composite?
False
Let v(s) = 3*s**3 - 49*s**2 - 8*s - 67. Is v(21) a composite number?
False
Suppose -4924 = -2*k + 4*h + 3874, k - 4*h - 4389 = 0. Is k a prime number?
True
Let v be (-1)/(-2)*(-8 + 2). Is v - -600 - 4/1 a prime number?
True
Is 0 - (-9)/3 - -3503 prime?
False
Suppose 0 = -4*x + x + 327. Let n = 69 + -109. Let t = x + n. Is t composite?
True
Let b be (((-72)/3)/(-4))/(-2). Let w be (1/b)/(7/42). Is (w - 25/2)*-22 composite?
True
Let x(c) = 17*c**2 - 22*c - 9. Let n = 16 + -6. Is x(n) a composite number?
False
Suppose -79983 = 104*u - 113*u. Is u composite?
False
Let p(q) = -q**2 - 85*q + 10. Is p(-36) prime?
False
Let g(w) = -w + 4*w - 2*w + 7. Let v be g(-6). Is (555 - (-4)/2)/v a composite number?
False
Let q(b) = -b + 25. Let x be q(16). Let p = 12 - x. Suppose 105 = 4*f - p*k - 52, 33 = f - 2*k. Is f prime?
True
Let y(c) = -70*c**3 - 6*c**2 - 3*c - 3. Is y(-4) composite?
True
Let f(h) = 5*h**2 + h - 2. Let p(i) = i**3 + 5*i**2 + 2*i + 6. Let q be p(-5). Let r be f(q). Let u = 231 - r. Is u a prime number?
True
Let s(w) = -8*w - 1. Let j be s(2). Let x = j - -24. Suppose x*q - 132 = 3*q. Is q a composite number?
True
Let a = -260 + 2479. Is a a composite number?
True
Let i(c) = 4*c**2 - 20*c. Let p(l) = -3*l**2 + 19*l - 1. Let m(f) = -4*i(f) - 5*p(f). Let g = -16 + 2. Is m(g) a composite number?
False
Let u(j) be the first derivative of -3*j**2/2 + 14*j + 4. Let p be u(6). Is 50/p*8/(-10) a prime number?
False
Suppose 5*v - 455 = -100. Is v prime?
True
Suppose 103*v = -10*v + 5139353. Is v a composite number?
False
Let m(y) = -y**3 + 3*y**2 - y - 1. Let n be m(1). Let w(k) = k**3 - k**2 + 249. Is w(n) a prime number?
False
Let v(r) be the third derivative of 19*r**6/60 - r**5/30 + r**4/24 + r**2. Let h = -222 - -223. Is v(h) composite?
False
Suppose -5*x - 2*w = -6*w - 36485, -3*w = 0. Is x a prime number?
True
Suppose -39*w + 140706 = -21*w. Is w a prime number?
True
Suppose a - 5 = w, 0 = -3*a + a + 4*w + 16. Suppose -a*j - 5*k = 3*j - 1885, 3*k + 377 = j. Is j a composite number?
True
Let a(y) = 3126*y**2 + 2*y - 5. Is a(-3) prime?
True
Let m(x) = -708*x**3 + 2*x**2 + 3*x + 1. Let z be m(-2). Suppose z = -2*j + 5*j. Is j prime?
True
Suppose -3*r + 41869 = -4295. Suppose -14*o + r + 14418 = 0. Is o prime?
True
Suppose -k - 45 = -4*k. Let p = k - 11. Suppose -3*r - p*i = -545, -5*r + 465 + 420 = -5*i. Is r a prime number?
True
Suppose u - 3 = -3*q, q + u = -3*q + 5. Suppose 4*x + p - 11369 = 0, 7*x - 5*p - 14230 = q*x. Is x composite?
False
Let l be 41928/14 - (-1)/7. Suppose 2*j - l = 873. Is j a composite number?
True
Suppose 4*s = -5*v + 32, -3*v - 5*s + 0*s = -27. Is (67 + v + 0)*1 a composite number?
False
Let u = -28 + 7. Is (-4068)/u - (-2)/7 prime?
False
Suppose -2*c - 9*j = -10*j - 15600, 4*j = -3*c + 23411. Is c a composite number?
True
Suppose 3*z + 3 = 12. Suppose -z*x - 5*a + 1947 = 0, 1947 = 3*x + a - 5*a. Is x prime?
False
Let d(y) be the first derivative of -22*y**2 - 17*y + 1. Let i be d(-11). Let u = 74 + i. Is u a prime number?
True
Is (18/15)/(15/(-50)) + 1565 composite?
True
Suppose 10583 = 14*w - 39719. Is w composite?
False
Suppose 3*b = 5344 + 54455. Is b a prime number?
False
Let h(k) = k - 3. Let q be h(-9). Let c = -8 - q. Suppose 2*x - c*x + 126 = 4*u, -x - 5*u + 75 = 0. Is x composite?
True
Let q(a) = 71*a**2 - 2*a - 2. Let d be q(-2). Let v = -155 + d. Is v composite?
False
Let v be 16/(-24) + 25/(-3). Is 3/(-2)*2010/v a composite number?
True
Let j(i) = 1 - 26*i**3 + i + i**2 - 3 + 319*i**3. Is j(1) composite?
False
Suppose 90*i + 183245 = 95*i. Is i a prime number?
False
Suppose 3*x - 2*x = 6. Suppose 0 = u + 5*u + x. Is -3 + 5 - 49