posite number?
True
Let h = 5818 + -3447. Is h a prime number?
True
Let x = 2197 + -1286. Let i be ((-1180)/15)/((-140)/(-72) + -2). Let w = i - x. Is w a composite number?
True
Let h = 7628 + -811. Is h prime?
False
Let s be (-8)/5*(-5 - 0). Suppose s = -4*c + 8*c. Is 0 + ((-532)/(-4) - c) a prime number?
True
Let p(m) = -3*m**3 + 13*m**2 - 3*m + 25. Let y be p(-12). Suppose -f - 4*u = -0*f - 3561, 2*f = -3*u + y. Is f a prime number?
True
Let y be 2/(-7) + 56484/126. Suppose 2*t - 440 = 3*j, 5*t - y = 3*t - j. Is t a composite number?
False
Let v be (-42)/(-21) - (-4)/1. Is 2/v*(294 - 3) a composite number?
False
Let o(t) = -t**3 + 5*t**2 - t - 4. Let q be o(5). Is (22/(-4))/(q/306) composite?
True
Let g(q) be the first derivative of q**4/4 + 2*q**3/3 + 3*q**2/2 - 3*q - 5. Let x = 9 - 7. Is g(x) prime?
True
Let w(q) = q**2 - 12*q - 9. Let p be w(13). Let b(x) = -x**3 - 5*x**2 + 5*x. Let y be b(-6). Suppose -y*d + p*d = -14. Is d a prime number?
True
Suppose -7*u - 18866 + 76399 = 0. Is u composite?
False
Let r(b) be the third derivative of b**6/360 + 7*b**5/60 - 17*b**4/24 - 3*b**3/2 - b**2. Let k(v) be the first derivative of r(v). Is k(12) prime?
False
Let q(f) = 3*f + 17. Let c be q(-7). Is (c - (-152)/36) + 15098/18 composite?
False
Suppose -2*m + 20 = q + q, 5*m = 5*q. Suppose -2*u + q*g = -5*u + 371, -5*g + 244 = 2*u. Is u a composite number?
False
Let c(u) = 1 + 10*u + 3*u + 5*u - u**2 + 4*u**2. Let m = -11 - 1. Is c(m) composite?
True
Let f(v) = -v + 1. Let a = -15 + 18. Let y be f(a). Is (7/14)/(y/(-148)) a prime number?
True
Let y = 22374 + -12943. Is y a prime number?
True
Is 8/18 + (-465736)/(-72) a composite number?
False
Let h(j) = -j**2 + 7*j + 10. Let r be h(8). Suppose -3541 - 371 = -3*s - 4*y, -3*y = r*s - 2609. Suppose 0 = 4*g - 264 - s. Is g composite?
True
Let n = -118 + 11. Let v = n - -183. Suppose -v = z - 330. Is z prime?
False
Suppose -3*h + 39 = 4*a - a, -h + a = -5. Is (12/h)/(6/1017) - 3 prime?
True
Suppose 13*c - 4*c - 206649 = 0. Is c a composite number?
False
Let t be ((-16)/(-28))/((-6)/(-21)). Suppose t*w - 42 = -10. Suppose -w + 289 = 3*n. Is n a composite number?
True
Let l = -29 - -32. Suppose -l*n - m = -776, -n - 4*m = -6*n + 1265. Is n prime?
True
Suppose -10*t + 2*t = -74824. Is t a composite number?
True
Let g = 4754 - 6664. Let k = g - -2865. Is k composite?
True
Let v(i) = 2*i**2 - 6*i + 11. Let w(n) = 4*n**2 - 13*n + 23. Let x(k) = 9*v(k) - 4*w(k). Let u be 4/(-12)*-4 + 11/3. Is x(u) prime?
True
Suppose 0*t - 5 = 5*t. Let v = t - 14. Is (-6)/v - 4389/(-15) a prime number?
True
Let p(i) = 19*i**2 + 6. Let x(a) = a - 1. Let b be x(4). Is p(b) a prime number?
False
Let d = 12 - 10. Suppose r = -2*u - 6, -d*r - 2*u - 1 = 1. Suppose -g + 350 = 5*t + r*g, 0 = 2*t - g - 143. Is t prime?
True
Is (-215900)/(-6) - 693/297 a prime number?
False
Suppose 3*j = 3, 0 = 2*x + 2*j + 8764 - 28216. Suppose w - 2*m + 0*m = 4849, 2*w - x = -5*m. Is w composite?
True
Let n = 102 - -625. Is n a composite number?
False
Suppose -2*m + 17 = -1. Suppose -7*a = -m*a + 38486. Is a prime?
False
Suppose -41362 - 15190 = -8*a. Is a a prime number?
True
Let t(w) = 138*w**3 - 3*w**2 - 3*w + 1. Is t(2) a composite number?
False
Suppose 3*q + 10 = 8*q, 2*q + 25558 = 2*f. Is f composite?
False
Let m(f) = -213*f + 18. Is m(-11) prime?
False
Suppose -3*w - 6 = 0, 0*g + 5*w = 3*g - 16. Let x = -226 - -261. Suppose m + x = g*m. Is m composite?
True
Let n be ((-26)/(-3))/(4/6). Let i = n + -15. Is 4116/16 - i/(-8) a prime number?
True
Let p(u) = -u**3 + u**2 + 4*u. Let h be p(2). Suppose 0 = h*c + 396 - 3328. Is c composite?
False
Suppose 5*y + 11 = 4*j + 2*y, -4*j + 29 = 3*y. Suppose 2*l - 2*z = 108, -2*z - 186 = -j*l + 78. Suppose 0*u = 4*u - l. Is u a prime number?
True
Suppose 0 = 2*o - 5911 - 5103. Is o composite?
False
Let s = -3549 + 11752. Is s a composite number?
True
Suppose 3*j + 2*j + 3*c = 47, -5*j = 4*c - 51. Suppose -4*b = j - 15. Suppose -68 = -b*a + 110. Is a a composite number?
False
Let l = 14310 - 2099. Is l a prime number?
True
Suppose 2*l - 1295 = 5*l + p, 2*p - 441 = l. Let t = l + 846. Is t a composite number?
True
Let l(a) = -17*a**3 - 9*a**2 - 21*a - 2*a**3 + 0*a**3 - a**3 - 11. Is l(-6) prime?
True
Let b(a) = a**3 + 74*a**2 - 52*a + 100. Is b(-57) a prime number?
False
Let p(j) = -629*j**3 + j**2 - j - 2. Let w(o) = -o**2 + 22*o - 22. Let k be w(21). Is p(k) a prime number?
False
Is (-121919)/3*(-12)/(-210)*-15 a prime number?
False
Suppose 4*t - 4*j - 6956 = 0, 2*j = -2*t + 2370 + 1108. Is t a composite number?
True
Suppose -2*k - 738 = -o + 218, 2*o = 3*k + 1909. Let i = o + 439. Is i a composite number?
True
Let f(v) be the third derivative of 133*v**5/60 - v**4/8 + v**3/6 + 17*v**2. Is f(1) composite?
False
Suppose 7*p - 6 - 8 = 0. Suppose u - p*u + 111 = 0. Is u a prime number?
False
Let a be 4*(-1 + (-135)/4) - 1. Let i = a + 793. Is i a prime number?
True
Let d(a) = 8*a - 31. Let b be d(11). Let m = 22 + b. Is m composite?
False
Is (-15)/(-25)*(-1 - -1056) a composite number?
True
Suppose 2*f - 4640 = 2*p, -5*f + 2*p = -1767 - 9830. Is f prime?
False
Let q(t) be the second derivative of 59*t**3/3 - 13*t**2/2 - 21*t. Is q(6) composite?
True
Suppose p = -c + 7, 4*p - 42 + 14 = 4*c. Let i(y) = 2*y**2 + 8*y + 0 + 2*y**2 - 1 + 0*y**2. Is i(p) a composite number?
False
Let u(c) be the third derivative of c**6/120 + c**5/30 + 11*c**4/24 - 8*c**3/3 - 4*c**2. Is u(5) a prime number?
False
Suppose 0 = 5*g + 5*g - 280. Suppose r + g = -4*s + 1627, -r - 5*s = -1603. Is r a composite number?
False
Suppose 15869 = 4*t - d, -3*d = -3*t + 4209 + 7695. Is t a prime number?
True
Let d(v) = -4*v**2 - 9*v - 6*v + 27 + 18*v + 5*v**2. Is d(14) prime?
False
Suppose -2*v + 23321 = 3*j, -3*j - 6439 + 29772 = 5*v. Is j composite?
True
Suppose -6*g + 7*g = 0. Suppose g*t + 5*t - 4*z - 94 = 0, 4*z - 68 = -4*t. Let m = t - 5. Is m prime?
True
Let o be ((-1)/3)/((-3)/30006). Let h = o - 441. Is h composite?
True
Suppose -22497 = -3*n + k + 2*k, -4*n - k = -29996. Is n a prime number?
True
Let d = -5048 + 8989. Is d prime?
False
Let g be (-1*1)/((-4)/16). Let j = 7 - g. Suppose j*p - 2*c - 98 = -c, -2*c = 5*p - 145. Is p a prime number?
True
Suppose x - 6*x - 80 = 0. Let p = 32 + x. Suppose 11*i + 805 = p*i. Is i a composite number?
True
Suppose 2*x = y - 14, -2*y - 2*x - 12 = 2*x. Let b be 6/y + (-4168)/(-16). Let n = 404 - b. Is n composite?
True
Suppose 4*k - 54710 = -2*z, -2*z - 3*k - 4259 + 58972 = 0. Is z prime?
True
Let o(f) be the third derivative of -f**6/8 - f**5/20 - f**4/6 - 4*f**3/3 + 18*f**2. Is o(-3) a composite number?
True
Let g(b) be the third derivative of b**5/20 - 13*b**4/24 - 11*b**3/2 + 20*b**2. Is g(-28) a composite number?
False
Let n(j) = -7984*j**3 - 2*j - 1. Let g be n(-1). Suppose -7*x = -2*x - g. Is x a prime number?
True
Suppose 0 = 9*u - 10386 - 35991. Is u a prime number?
True
Suppose 15*y + 480016 = 1321351. Is y composite?
True
Let f be ((-18)/12)/(3/(-4)). Suppose -115 = -o + 4*w + 56, -5*w - 345 = -f*o. Let l = o - 113. Is l composite?
True
Let x(c) = -2261*c - 143. Is x(-10) composite?
True
Let y = 2999 + 2670. Is y a composite number?
False
Let z be (16359/12)/7*-4. Let q be (-4)/(-1 + 3) - z. Suppose 3*t = -78 + q. Is t a composite number?
False
Let w = 29125 + 39594. Is w a composite number?
True
Is -14*(-6)/12 + 2916 prime?
False
Let r(q) = -446*q**3 - 2*q**2 + 1. Suppose -z = 3*z + 52. Let k(x) = x**2 + 12*x - 14. Let o be k(z). Is r(o) composite?
True
Is -3603*1*(6/9)/(-1) a prime number?
False
Let q = 21485 + -14434. Is q composite?
True
Suppose 4*f = -5*i + 768, f = -0*i - i + 191. Suppose -3*s + 2*s = -f. Is s prime?
False
Let s(m) = 1047*m + 21. Let o(g) = -2618*g - 52. Let i(h) = -5*o(h) - 12*s(h). Let k(j) = 175*j + 3. Let t(u) = 4*i(u) - 11*k(u). Is t(1) composite?
True
Suppose 0 = 3*g - b + 3*b - 16, -4*g - 2*b + 22 = 0. Let q be 22/g + (-4)/6. Suppose 4*h = q*h + 3*t + 1064, -2*h - 3*t = -2083. Is h a prime number?
True
Let w = 23 + -23. Let b be (w - 10)/(2/8). Let p = b + 167. Is p composite?
False
Is 3518*((-4)/(-8) - 0) composite?
False
Suppose 1621 = l - 4*q + q, l = -4*q + 1621. Is l a prime number?
True
Suppose y + 2*y + 111 = 3*v, -v + 40 = 2*y. Let s = 23 - v. Is (185/s