- 2*y = -f*o + 2, -5*o + 14 = y. Is (-6)/o + (4 - -6) prime?
True
Suppose -6*i + 270 = -8*i. Let z = i + 657. Suppose 2*v - z + 200 = 0. Is v composite?
True
Let o(f) = -2*f**3 + 11*f**2 + 8*f + 2. Suppose -4*b = -35 + 11. Is o(b) a composite number?
True
Suppose 137*y = 100*y + 29489. Is y a composite number?
False
Suppose -2696 = -76*a + 68*a. Is a prime?
True
Suppose -3129 = -5*q - 4*u + 987, -2*q + 1628 = -3*u. Suppose 7*l = q + 27. Is l a composite number?
True
Let o be 2 - 3 - -2 - -19. Let h = o + -11. Is h composite?
True
Let x = -8093 - -25612. Is x a prime number?
True
Let k(a) = a**3 + a**2 - 2*a + 4. Let x be k(0). Suppose x*u - u - 6471 = 0. Is u a prime number?
False
Let i = 32501 + -15844. Is i composite?
False
Let t(d) = d**3. Let o be t(0). Suppose o = 3*l - l - 260. Suppose -z + 93 = -l. Is z a prime number?
True
Let s(j) be the second derivative of j**3/6 - j**2/2 - j. Let l be s(3). Is 2775/9 - l/(-3) a prime number?
False
Suppose 10577 = -34*a + 41*a. Is a prime?
True
Let z be 45/(-6)*4/(-5). Suppose z*b = b + 15. Suppose -490 = -2*y + 3*d, 0*d - 2*d - 745 = -b*y. Is y a prime number?
True
Let y be (2 - 1)*11/(-1). Let b(s) = s + 9. Let j be b(y). Is 223/2 - j/(-4) a composite number?
True
Suppose 5*j - 4*j + 3*p = 4712, -4*j - 5*p = -18869. Is j a prime number?
True
Let b = 2919 + 24866. Is b prime?
False
Let l(v) = -397*v - 131. Let y(d) = -199*d - 65. Let w(i) = -6*l(i) + 13*y(i). Is w(-6) a composite number?
False
Let b = -3335 + 9304. Is b composite?
True
Suppose -2130*c = -2122*c - 1016. Is c composite?
False
Suppose f + 472 = 2*x, -x = -4*f + f - 231. Suppose 2*i = q - x, -q + 5*i = q - 476. Is q a composite number?
False
Suppose -9*o + 12 = -12*o. Is ((-694)/o)/1*2 prime?
True
Let m(y) = 5*y**2 + 73*y - 53. Is m(36) prime?
False
Suppose 0*j + 2*j = -3*y + 7, -2*y - 22 = -2*j. Let c = j + -8. Suppose c = 2*l - h - 33, 4*l - 82 = l - 5*h. Is l prime?
True
Suppose 1884 = -d - 2*d. Is (d/(16/(-4)))/1 composite?
False
Is (1*-9)/((-270)/605970) composite?
True
Let o = 24 - 11. Suppose -h = 4*h - 330. Suppose -l + o = -h. Is l composite?
False
Suppose 0 = 3*x - 2 - 4. Suppose -3*r = -3489 - 969. Suppose r = 5*m - 4*u, 3*u + x - 601 = -2*m. Is m a composite number?
True
Let f = 71775 + -33274. Is f a prime number?
True
Let m(x) = 142*x + 9. Is m(5) composite?
False
Let j = -29 + 550. Is j a prime number?
True
Let r = 20 - 50. Is (-1992)/r + (-3)/(-5) prime?
True
Let o = 20 - 17. Suppose -o*s = 278 - 911. Is s a prime number?
True
Suppose -4 + 68 = -2*b. Is (-8290)/(-6) - b/(-48) a prime number?
True
Let t(v) = v**3 - 8*v**2 + 9. Let f(y) = y**3 - 3*y**2 + 4*y - 2. Let w be f(3). Is t(w) a prime number?
False
Suppose 2*s + 5*t + 1458 + 339 = 0, 4446 = -5*s + 3*t. Let q = -484 - s. Is q prime?
False
Let c = -185 + 594. Suppose 113 - c = -2*d + 2*o, 2*d - 4*o - 294 = 0. Is d composite?
False
Let h(n) = -n**2 - 20*n - 20. Let k be h(23). Let r = -710 - k. Is r a composite number?
True
Suppose -z = x - 48, -4*x + 4*z = -224 + 8. Is x prime?
False
Let a(u) be the first derivative of 77*u**3/3 + u**2 + 2*u + 14. Is a(3) composite?
False
Suppose 5*o - 87356 = 5*l - 24521, 0 = -o + 2*l + 12565. Is o a composite number?
False
Let f(s) = s**3 - 9*s**2 - s + 10. Let b be f(9). Let p be (b - 9) + (-1)/1. Let r(z) = -z**3 - 6*z**2 + 14*z + 2. Is r(p) composite?
True
Let z(r) = r**2 - 3*r - 14. Let w be z(5). Let p(i) = -i**2 - 4*i + 2. Let d be p(w). Suppose 0 = 3*u - d*u - 31. Is u a composite number?
False
Let d(w) = -6*w**3 - 5*w**2 + 20*w - 6. Is d(-13) composite?
False
Suppose 500 - 4274 = -6*v. Is v prime?
False
Suppose -8484 = -b - 2*h, 3*b - 25448 = -h - h. Is b composite?
True
Suppose 2 - 12 = -4*j + 2*b, -b = 4*j + 5. Suppose j = 4*n - s - 4, -2*s = -5*n + 3*s + 20. Suppose -2*k + n*k = -4. Is k a prime number?
True
Suppose 9*j - 180 = 4*j. Let d = -79 + j. Let o = d - -77. Is o prime?
False
Let b(v) = v**2 + 1 - 3*v + 4*v - 4. Let j be (16/20)/((-8)/(-20)). Is b(j) a prime number?
True
Suppose 6*j - 49501 = j - 2*u, 49511 = 5*j - 3*u. Is j a composite number?
False
Let w be (0 + -2)*31 + -3. Let d = w - -376. Is d a composite number?
False
Let n(r) = -r - 6. Let c(j) = -4*j - 25. Let z(w) = -6*c(w) + 26*n(w). Let a be z(-4). Suppose -a*t + 0*t - 5*y = -762, 4*t - y = 1568. Is t prime?
False
Let i(s) = 38 + 3*s + 4*s - 25 + 38*s**2. Is i(-4) prime?
True
Let d(y) = 12*y**3 + y**2 - y - 3. Let u be d(3). Let i = 40 + -20. Suppose i = -c + u. Is c a prime number?
True
Let y(q) be the second derivative of -1/2*q**2 - 3*q + 29/4*q**5 + 1/12*q**4 + 0 + 1/6*q**3. Is y(1) a prime number?
False
Let f(j) = -4*j - 12. Let p be f(-4). Suppose -4480 = -p*s - 4*g, 3*g - 4475 = 2*s - 6*s. Is s a composite number?
True
Let w(j) = -378*j**2 - 2*j + 4. Let u be w(-7). Is (-1)/(-2) + u/(-16) composite?
True
Suppose -2*l + 1 = -5*w + 2*w, w = 3. Suppose -2*v - 12 = -l*v + b, -4*b = 12. Is (0 - (-201)/v)*1 prime?
True
Suppose -3*h = -9, 0 = 4*w - 7*h + 2*h - 30541. Is w a prime number?
True
Let c be (69/(-9) - -5)/(4/6). Is 2043 + (4 - (c + -3 + 7)) prime?
False
Let g be (-3 - (1 + -2)) + 1. Let c be (-7 + 8)*(2 - g). Is (-2 - -40)*c/6 composite?
False
Suppose 20*a = 11708 - 4128. Is a prime?
True
Suppose a - 20 = -x - 7, 3*x - 48 = -4*a. Let k be (-1416)/a*(-15)/4. Suppose -z - z = -k. Is z a composite number?
True
Suppose -3*m = -3*t - 6*m + 3, 4*t = -3*m + 7. Let s be (8/2 + 41)*t. Let k = s - 85. Is k a prime number?
False
Let r = 2 - -4. Suppose -r*h + 76 = -8*h. Let m = 20 - h. Is m a composite number?
True
Suppose 3*y - 4963 = -4*u + 3*u, 5*y - 8279 = 2*u. Is y composite?
True
Let q = -37047 + 58436. Is q a prime number?
False
Suppose -83868 = -5*z - 7*z. Is z a prime number?
False
Let z = -1212 - -1421. Is z composite?
True
Let d = 54344 - 23361. Is d a prime number?
True
Let u = 22 - 17. Suppose 3*d - 1033 = -u*w + 265, -3*d - 1292 = -5*w. Is w a prime number?
False
Let y = 11924 + -7886. Suppose y = 3*o + 3*u, 5*u + 348 + 2365 = 2*o. Is o prime?
False
Let z = -1106 + -122. Is ((-3)/6)/(2/z) prime?
True
Let v = 48996 - 25487. Is v a composite number?
False
Let a(b) be the second derivative of b**5/30 + 5*b**4/8 + b**3/2 - 3*b**2/2 - 4*b. Let h(t) be the first derivative of a(t). Is h(-10) a prime number?
True
Suppose n - 29 = -2*p - 3*p, 2*n = 5*p - 2. Suppose -n*c + 8*c = 0. Suppose 4*b = 5*u - 137, 5*b = -c*u + 2*u - 65. Is u composite?
True
Let i = 0 + -4. Is i/10 + 2682/30 a prime number?
True
Suppose -2447 = -3*l - 2*z + 16068, 6175 = l - z. Is l composite?
False
Suppose -25*y = -44195 + 5770. Is y a composite number?
True
Let o = 91 + -86. Suppose -5*u + o*i = -1930, 324 + 1624 = 5*u + i. Is u prime?
True
Suppose -3*n = 44 - 80. Suppose 14*d = n*d + 8654. Is d prime?
True
Suppose 4262 + 2683 = -5*i. Let f = i - -2296. Is f a prime number?
True
Suppose 5*u + 9*u - 33922 = 0. Is u a prime number?
True
Suppose 0 = -2*x + 4, -5*x = 5*d - 4*x - 12117. Is d a prime number?
True
Let b(g) = -g**2 - 2*g + 5129. Is b(0) prime?
False
Let h = -7103 - -10149. Is h prime?
False
Suppose 60 - 3125 = -v. Let i = v + -1902. Is i composite?
False
Let x = 3717 - 1898. Is x a prime number?
False
Suppose -5*d = -t + 7, 5*t - 7 = 2*t + d. Suppose -t*w - w + 393 = 0. Is w prime?
True
Let z(i) be the second derivative of i**4/12 - 4*i**3/3 - 9*i**2/2 - 10*i. Let t be z(9). Suppose t = j - 4*j + 1065. Is j a prime number?
False
Let w = -13 - -16. Let b be -553*(1/(-1))/1. Suppose w*s + 154 - b = 0. Is s composite?
True
Let k be 4 + (-2 - (-2 + 2)). Suppose 0 = k*n - 8, -n - 3*n + 17 = -j. Is (2 + j)/(6/318) composite?
False
Let s(z) = 5*z + 2*z**2 - z + 7 - 3*z**2 + 0*z**2. Let x be s(5). Suppose -4*v + l - x*l = -2529, -4*l = -20. Is v prime?
True
Let u(l) = -l**3 - l - 15. Let j be u(0). Let m = j - -6. Is 93/(m/6*-1) a prime number?
False
Suppose -4*y - 14 = 18. Let c(s) = s**3 + 8*s**2 - 3*s - 12. Let h be c(y). Let v = 2 + h. Is v composite?
True
Let g(p) = 12*p**2 + 78*p - 1. Is g(-9) a composite number?
False
Let o(h) be the first derivative of -h**4/4 - 2*h**3/3 - 3*h**2/2 - 2*h - 1. Let i be o(-3). Let z = i - -111. Is z composite?
False
Suppose 0*r + 3*r = 1848. Suppose 0 = 5*c + 2*m - 1564, 2*m = -2*c - 2*m + r. Suppose 2*o + 4*j = 6*o - 636,