site number?
True
Suppose -j + 3*w - 159 = 0, -2*j + 3*w = -4*j - 345. Let h = -199 + 450. Let q = h + j. Is q a prime number?
True
Suppose 0 = -5*m - 0*m + 5120. Suppose -5*o = -o - m. Let t = o - -51. Is t a prime number?
True
Let p(c) = -c + 11. Let i be p(5). Suppose -2*s = -4*s + i. Let n(k) = k**3 + k**2 - 2*k + 5. Is n(s) composite?
True
Is 116/754 + (-1 - (-56000)/26) a composite number?
False
Let i be -2*4*(-2)/4. Let h = i + 67. Is h a composite number?
False
Suppose -4*a + 5*a - 30 = -2*d, 0 = 5*d - 3*a - 64. Suppose 5*l - n - 60 = -d, 4*l = -n + 44. Suppose 0 = -y - l + 68. Is y a prime number?
False
Suppose -19*d + 49860 = 17*d. Is d prime?
False
Let d(m) = 97*m**2 + 7*m - 28. Is d(10) composite?
True
Suppose 0 = -18*a + 41 - 185. Let p(l) = -6*l**3 - 4*l**2 - 3*l + 12. Let m(v) = v**3 - 1. Let r(q) = 5*m(q) + p(q). Is r(a) composite?
True
Is 59545/(-60)*-2 - (-1)/6 composite?
True
Suppose -4*l - 25 = -5*h + 16, 2*h - 22 = -4*l. Let w be (104 - -1)/(h/6). Is 0 + 1 + 0 + w prime?
True
Let v(y) = 14*y**2 - y - 11. Let m be v(10). Suppose 5*z + q = 3425 - m, -q = -1. Is z a composite number?
False
Let k = -41 - -23. Is ((-747)/k)/(1 - 63/66) prime?
False
Let x(b) = -2*b**3 + 13*b**2 + 39*b - 15. Let d(n) = -n**3 + 6*n**2 + 20*n - 7. Let k(c) = -11*d(c) + 6*x(c). Let t be k(13). Is -1 + t - 2 - -710 composite?
True
Let x(n) = 5*n**3 - 6*n**2 + 6*n + 6. Let t be x(5). Suppose -c = -2*s + s - t, c - 1017 = 2*s. Let a = -283 - s. Is a prime?
True
Let j(y) = -687*y - 8. Suppose -11*f = -3*f + 24. Is j(f) a composite number?
False
Suppose 0 = -3*o - 4 - 95. Let a be 11/o*(-1 + 1). Suppose a = -8*p + 9*p - 191. Is p composite?
False
Is (-6)/(-6) + -2*-3*315 composite?
True
Suppose 0 = -f + 5*d + 14286, -6*f = -8*f - d + 28561. Is f composite?
False
Is -2*((-125671)/(-2))/(-13) composite?
True
Suppose 3*a = -4241 + 11714. Is a composite?
True
Suppose -3 - 5 = -4*d. Suppose d*p = 3*p + 1, -2*k - 3*p = -1159. Is k a composite number?
True
Is (126810/24)/5*(-28)/(-21) prime?
True
Let n(i) = 16*i**2. Let f be n(-2). Let k = -43 + f. Is (-14)/k*-69*1 a prime number?
False
Let b = 45763 + -24620. Is b prime?
True
Is 117/26 + 398500/8 composite?
True
Let o = 7052 + -1239. Is o a prime number?
True
Suppose r = 5*z + 4346, -14*r + 9*r + 4*z + 21709 = 0. Is r prime?
False
Suppose -3*v + 89805 = -2*y - y, 2*v = 3*y + 59870. Is v a prime number?
False
Suppose -2353 = -3*t - 3*h - 592, -2*t + 4*h = -1168. Is (1 - (-3 - -7)) + t prime?
False
Suppose -23*u - 45784 = -27*u. Suppose 0 = 5*h + 3*o + 3551 - 17875, 4*h = 2*o + u. Is h prime?
False
Suppose b = -2*f + 13835, 5*f - 2*f - 69154 = -5*b. Is b a prime number?
True
Suppose -4*v = -2*v - 3*j - 211, 0 = 3*v - j - 334. Suppose -b + v + 196 = 0. Suppose -30 = -3*h + b. Is h prime?
True
Let c(u) = 0*u**3 + 6*u**2 + 8 - 2*u - u**3 - 12*u**2. Let p be c(-6). Suppose -4*b - 29 - p = -q, -4*b + 269 = 5*q. Is q a composite number?
False
Suppose -3*j + 2*j + 2 = 0. Suppose 0 = -q - j*q. Suppose g = -q*g + 185. Is g a composite number?
True
Is (3 + 0)/((-42)/(-20734)) prime?
True
Suppose 261 = -d - 254. Let x = 1596 + d. Is x prime?
False
Suppose s + 3*v = -22, 0 = -3*s + 2*s + 5*v - 62. Is (-1 + s)*-7 + 1 composite?
True
Suppose 3*t - a = 2902, -4*t - a = 1040 - 4907. Is t a prime number?
True
Let v(x) = x**3 + 16*x**2 + 8*x - 22. Let u = 45 - 60. Is v(u) a prime number?
True
Let u(o) be the first derivative of o**3 - o**2 - 17*o + 15. Is u(-8) prime?
True
Let y(z) = 3*z**3 - 10*z**2 + 6*z + 7. Suppose 2*n = 6*n - 24. Is y(n) a prime number?
True
Let t = 108 - 102. Is 722*51/24 - t/(-8) a prime number?
False
Suppose 1466*f - 1472*f = -2658. Is f prime?
True
Suppose 0 = -3*c + 5*c. Let i be (0 + -1)/(-1)*c. Is (-6)/((-2)/73 - i) composite?
True
Let r(g) = -5597*g + 287. Is r(-10) composite?
True
Let h(k) = 119*k**3 + 4*k**2 - 5*k + 3. Let z(u) = -u**2 + u - 1. Let p(x) = -h(x) - 4*z(x). Is p(-1) a composite number?
True
Suppose -4*c = -0*c - 16. Suppose 6 = 5*o - c. Suppose -o*i - 2*i = -948. Is i prime?
False
Let x(g) = g**3 + 10*g**2 + 3. Let y be 29/(-3) + 7/(-21). Let v be x(y). Suppose -4*b + 3*z = -624, v*b + 4*z - 811 = -2*b. Is b prime?
False
Let u(t) = -150*t - 7. Let m be u(-11). Suppose 0 = -2*g + 8, 0 = 3*q + 5*g - m. Is q prime?
True
Let p(c) = c**3 + 14*c**2 + 13*c + 4. Let m be p(-13). Suppose 50 = m*v - 54. Let u = v + -13. Is u a prime number?
True
Let b be (-144 - -3)*(-52)/(-4). Let w = -938 - b. Is w prime?
False
Let q(h) = -16*h**3 - h**2 - 2*h - 1. Let c(b) = -b - 2. Let p be c(-7). Let v = p - 7. Is q(v) composite?
False
Let u be 4 - 6/((-5)/(-2) + -1). Suppose u = -2*k + 1951 + 963. Is k a composite number?
True
Let p(y) = -y**3 - 2*y**2 - 8*y - 14. Suppose 5*x = -5*f + 15 + 195, 0 = -5*f - x + 202. Let s = 34 - f. Is p(s) prime?
False
Suppose -5*y = s - 88086, 0 = -4*s + y + 232412 + 119911. Is s composite?
True
Let o = 2386 + -1025. Is o a prime number?
True
Suppose -3*i + 5988 = 2*j, 2*i + 0*i = j + 3992. Suppose 2*q = -8, 0 = -3*k - k + 2*q + i. Is k composite?
True
Let r(s) = s**3 + 6*s**2 - 5*s + 6. Let c = 5 - 12. Let z be r(c). Let b(p) = -10*p - 1. Is b(z) a composite number?
False
Suppose 3*i - 5*t = 408738, -6*i + 4*t = -8*i + 272470. Is i prime?
False
Suppose 65 = 5*c + 5*u, -4*u + 2 + 5 = -c. Suppose -x + 211 = -2*h, c*x + 5*h = 6*x + 633. Is x composite?
False
Suppose -123343 = -31*g + 36276. Is g prime?
False
Suppose -3*d = -36*k + 39*k - 8313, 2*k = 2*d + 5550. Is k a prime number?
False
Let c(h) = 4 + 32*h**3 - 1 + 68*h**3 - 54*h**3. Is c(2) a prime number?
False
Let p(o) = -7*o + o**2 - o - 8 + 4*o + 0*o. Let z be 1/(1/8) + -1. Is p(z) a composite number?
False
Let q = -3847 - -5440. Suppose 0 = 5*k + 865 + 2925. Let p = q + k. Is p composite?
True
Suppose -2*z = -5*m - 294 - 390, 1729 = 5*z - 3*m. Suppose -x - 3*g = g + z, -5*x - 1703 = 4*g. Is (-9)/15 + x/(-15) a prime number?
False
Let d(o) be the first derivative of 16*o**3 - 13*o**2/2 - 5*o + 13. Is d(-6) a composite number?
False
Let p = 250 + -560. Let n = p + 561. Is n a composite number?
False
Suppose -3*z + 1577 + 181 = 0. Suppose 3*k = 2*k + 2*f + 13, 3*f - 3 = -3*k. Suppose k*a = 3*a + z. Is a a composite number?
False
Let d = -13 - -41. Let c be 8/d + (-4446)/(-21). Suppose 15*a - c = 11*a. Is a prime?
True
Let q = 1273 - -804. Is q a composite number?
True
Suppose 3*r = 2*l - 32716, -5*l - 18684 + 100487 = -r. Is l composite?
False
Let y(o) = -2*o + 30. Let q be y(13). Suppose 472 + 292 = q*z. Is z composite?
False
Suppose -z = -2*j + 2*z + 45, -2*j + 2*z + 48 = 0. Let k be 1575/j + 1/(-3). Let i = k - -60. Is i prime?
False
Let j(x) = 3*x**2 - 46*x + 19. Is j(18) composite?
False
Let t(f) = -3*f + 5. Let h(m) = 4*m - 6. Let q(a) = -5*h(a) - 6*t(a). Let c be q(-2). Suppose -139 - 129 = -c*l. Is l a prime number?
True
Suppose 0 = c - f + 5*f - 180, 0 = 2*f - 2. Suppose -t + 0*t = -c. Suppose 0 = -5*x + 419 + t. Is x a prime number?
False
Let w be (-320)/(-6)*((-30)/12 + 1). Let c be (-325)/(-2) + 2/4. Let v = w + c. Is v prime?
True
Let x = 7150 - 4151. Is x a prime number?
True
Let n = 6611 - 2790. Is n a composite number?
False
Let t = -1210 + 2403. Is t a composite number?
False
Let c = -8043 + 12247. Suppose 5*y - 3*x = c, -y + x = -3*y + 1675. Is y a prime number?
True
Let x(o) be the third derivative of o**5/60 - o**4/12 + o**3/3 + o**2. Let g be x(6). Suppose 0*w - g = -2*w. Is w a composite number?
False
Let o be -2*(-22 - (-4 + 1)) + 0. Is o/133 + 2217/7 composite?
False
Suppose -1187 = -9*x + 8*x. Is x a composite number?
False
Let t = 384 - 273. Let d(h) = h**3 + 8*h**2 + 6*h - 9. Let o be d(-7). Is t*(3/1 + o) a composite number?
True
Let u(w) = 5*w - 182*w**2 + 199*w**2 + 5*w - 14. Is u(11) a composite number?
False
Let j(n) be the first derivative of -n**3/3 - 11*n**2/2 - 6*n + 3. Suppose -3*b = m + 18, -2 = 2*b - 0*b + 4*m. Is j(b) a composite number?
True
Let o(v) be the first derivative of v**2 + 6 + 5*v**2 - 10*v**2 - v. Is o(-7) a prime number?
False
Let j(o) = -83*o**3 + 3*o**2 - 3*o - 3. Let w be j(-4). Suppose w = m + 6*m. Is m a prime number?
False
Let g = 39565 - 10966. Is g prime?
False
Let z be 357/35 + (-1)/5. Suppose 17*x - z*x = 16303. Is x composite?
True
Suppose -10*w + c = 