(44/x)/(2 + 84/(-45)) a composite number?
True
Suppose -42 = -5*g + 3*g. Let a be (-2730)/(-28) - (1 - (-3)/(-6)). Suppose -a = -4*q - g. Is q a prime number?
True
Let b(y) = -353*y**3 - 230*y**3 - 163*y**3 + 4*y - 3*y. Is b(-1) prime?
False
Let w be 2 + 3/(-12)*-4. Let j be (-2)/(1*1/w). Is (-10)/15 + (-136)/j composite?
True
Let o(y) = y**3 - 16*y**2 - 22*y - 24. Is o(19) a composite number?
False
Let j be (-116)/((-2)/2) - -1. Let m = -2 + 23. Suppose -2*w + j + m = 0. Is w a prime number?
False
Suppose -5*o = -2*w + 20, 5*w + 0*w + 3*o = -12. Suppose w = b - 43 - 100. Is b a prime number?
False
Let h(p) = 2*p + 3. Let n be h(0). Suppose 0 = -3*t + n*q + 264 + 414, -3*q - 904 = -4*t. Is t composite?
True
Let c(p) = -74*p + 7. Is c(-36) prime?
True
Suppose 4*s = 4*c + 25136, 0 = -4*s + 13*c - 14*c + 25151. Is s composite?
False
Let j(f) = 2*f + 16. Let u be j(-8). Suppose -2*h = -h + 1, u = -o - h + 88. Is o a prime number?
True
Suppose 0 = 6*f - f. Suppose f = i - 104 + 30. Is i composite?
True
Let w(u) = 5*u**2 - 10*u + 16. Let z be w(6). Let j = 11 - -6. Let o = z - j. Is o composite?
True
Let m(t) = 13 + 0 + 3*t**2 - 13*t**2 + 7*t + 11*t**2. Is m(-6) a prime number?
True
Suppose 0 = 7*z - 49 - 0. Suppose -b + z*b = 852. Is b a composite number?
True
Let r(m) = m**2 - 3*m + 2. Let w be r(1). Suppose w = 4*u, 3*n - 5*u - 457 = 212. Is n prime?
True
Let o = -5645 - -11230. Is o a prime number?
False
Is 0 - ((-25)/5 + -14) a prime number?
True
Let z(k) = k**3 - 2*k**3 + 39*k**2 - 4 + 2*k**3 - 10*k - 27*k**2. Let o be z(-10). Suppose o = a + a + 2*c, -3*a + 3*c + 450 = 0. Is a a composite number?
False
Suppose -3184 = -5*g + 15561. Is g composite?
True
Suppose -24*o = -19*o + 85. Let y = 20 + o. Is (-3)/(0 - y/57) composite?
True
Let v(h) = -5*h + 14. Let p be v(4). Let l(x) = 20*x**2 + x - 5. Is l(p) a composite number?
False
Let m = 3 - 1. Suppose m*n - 592 = -0*n. Suppose -732 - n = -2*x. Is x prime?
False
Suppose 5*m = -0 + 25. Let l(u) = 22*u**3 + 4*u - 5*u - 2*u**2 + 2 + 5*u**2 - m*u**2. Is l(1) a prime number?
False
Let j = 11614 + -5015. Is j prime?
True
Let v be 0 + 1 + 22 - 1. Let o be 33/(-12) - -3 - 4/16. Suppose o*a - a = -v. Is a a prime number?
False
Suppose 4*r + 33 = 5*r. Suppose r + 42 = -5*q. Let i(z) = 5*z**2 + 19*z + 13. Is i(q) composite?
False
Let a(p) = -303*p - 4. Let z be a(-5). Suppose 2*l - z = -97. Is l prime?
False
Let f(l) = -11 - 4*l**3 + l - 7*l + 6*l - 8*l - 8*l**2. Is f(-5) a prime number?
False
Let r = -68 + 71. Suppose 4*i + 3132 = 4*k - 15036, -15 = -r*i. Is k prime?
True
Suppose 2*c + 6 + 4 = 0. Let u(i) = -17*i - 8. Let d(j) = -16*j - 8. Let z(s) = 6*d(s) - 5*u(s). Is z(c) a composite number?
False
Let f(a) = 127*a + 114. Is f(9) prime?
False
Suppose -4*z + 3*n = 66, 0 = 5*z + 3*n - n + 94. Is (501/(-15))/(z/15 - -1) prime?
True
Let k(l) = -l**3 - l**2 + 2*l + 3. Let w be k(-2). Suppose 3*o - 862 = 2*n - w*n, 5*o + 3*n = 1438. Is o a composite number?
True
Let o = -1123 + 7722. Is o prime?
True
Suppose 2*u = -4*c - u - 3, 2*c + 9 = -3*u. Suppose 37 = -c*y + 151. Let l = -16 + y. Is l a composite number?
True
Suppose b = 2*b. Let w(g) = -240*g + 76*g - g**2 + 78*g + 203 + 86*g. Is w(b) composite?
True
Is 715207/11 - (-162)/891 composite?
True
Let u(x) = 2*x**2 - 10*x. Let k be 3 + (-2 - (0 + -4)). Let l be u(k). Suppose -4*n = 3*a - 158, l = 5*n + 4*a - 194 - 4. Is n prime?
False
Suppose u + 2142 = -0*u. Let m = -893 - u. Is m prime?
True
Let z = 41521 - 28542. Is z a composite number?
False
Suppose 3*a - 5*h + 25 = 0, 11 = -2*a + 4*h - 9. Suppose -4*r + a*r + 5*v + 615 = 0, -3*r = 5*v - 470. Is r prime?
False
Suppose -a = -0*a - 2. Suppose j + 307 = a*j. Is j a composite number?
False
Let g be (-8)/28 - (-15)/(-21)*-4241. Let n = g + -2122. Is n prime?
True
Suppose -27 = g + 2*g. Let b be (-3)/g + 249/9. Let c = 121 + b. Is c a prime number?
True
Let k(u) = 26*u**3 - 3*u**2 + 3*u - 4. Let y be k(2). Suppose -3*j + y = -1353. Suppose -5*h + j = -228. Is h a composite number?
False
Let n(m) = 24*m - 39 + 14 - 30. Is n(21) prime?
True
Let z(x) = 8 - 1 - 4*x + x. Let f be z(-6). Suppose 3*c - 286 = -f. Is c composite?
True
Is (-792 + 5/(-1))/((-2)/4) a prime number?
False
Suppose 0 = -3*k - 2*k + 560. Suppose 2*r = t + 104, -4*t + t = -2*r + k. Let z = r + -24. Is z prime?
False
Let w = 86747 - 45348. Is w a composite number?
False
Let k(b) = 10*b**2 - 63*b - 84. Is k(13) prime?
True
Suppose -3*c = -4*w + 36 + 324, 270 = 3*w - 4*c. Suppose q - 3*t = -2*t - 45, 0 = -2*q - 5*t - w. Let z = q + 70. Is z composite?
True
Let d(c) = c + 2. Suppose -2*i - 2 = 4. Let z be d(i). Is z/(2 + 525/(-261)) prime?
False
Let a be (3/2)/((-21)/(-28)). Suppose 0 = a*t - t - 2. Suppose 92 + 78 = t*j. Is j composite?
True
Let k(h) = 864*h - 15. Let n be k(-5). Is ((-2)/6)/(5/n) a prime number?
False
Let k = 112 + -106. Suppose 0 = i - 5*o - 3238, -i = -k*i - 4*o + 16335. Is i prime?
False
Let w(v) = -v**2 + 5*v + 8. Let r be w(6). Suppose 2051 = r*m + 5*m. Is m prime?
True
Suppose -1 = w - x, w + 4*x - 3*x - 5 = 0. Let b be w + (-3 - -3) + 2. Suppose 108 = 5*q + 3*c + 5, c = b*q - 96. Is q a prime number?
True
Is 3 - 2 - (-8037 - (0 + -3)) a composite number?
True
Let m = 28942 + -7223. Is m a prime number?
False
Let r(l) = 353*l**2 + 9*l + 249. Is r(-13) a prime number?
False
Is (56766/(-4))/((-9)/(-12)*-2) composite?
False
Let c(s) = 2304*s - 689. Is c(5) composite?
False
Suppose -20*o + 286556 + 35184 = 0. Is o prime?
True
Let q(z) = -z**3 + 30*z**2 - 47*z - 43. Is q(23) prime?
True
Let w be (6 - (-4 - -8)) + 5. Let b be (-7)/(4/280*-2). Suppose 2*a - w*a = -b. Is a composite?
True
Let c = -9465 + 16279. Is c composite?
True
Let u(m) = 402*m + 5. Let k be (1 + 2/(-6))/(2/6). Is u(k) a composite number?
False
Let p(t) = 7*t**2 - 8*t - 11. Let x be p(-2). Let o be 6/15 - 22/5. Let i = x - o. Is i prime?
True
Suppose 760*v - 753*v - 11578 = 0. Is v a composite number?
True
Let n(f) be the first derivative of -347*f**2/2 - 3*f - 9. Is n(-4) prime?
False
Let u(i) = -i**3 + 14*i**2 - 12*i - 12. Let v = -5 - -18. Let m be u(v). Is (0 + 11)/(m/5) a composite number?
True
Let v(m) = 186*m**2 + 11*m - 55. Is v(4) composite?
True
Let c(d) = -2*d**3 - 17*d**2 + 10*d + 2. Let n be c(-12). Is (n - -4) + (-1 - -2) a composite number?
True
Suppose -4*d + 2*r + 2 = 0, 0 = 3*d - 2*r - 2*r + 11. Suppose -k - 625 = -2*v + 2254, 1442 = v - d*k. Is v a composite number?
False
Suppose 2*d - 3*u = 382, -d + u + 13 = -176. Suppose d = -7*w + 12*w. Suppose 0 = -4*o + 2*y + 120, -w = o - 2*o - 3*y. Is o prime?
True
Let o = 63 + -10. Is -37*o*(-1 - (2 + -2)) a composite number?
True
Let w(z) be the first derivative of -z**6/40 - 7*z**5/60 - z**4/8 + 4*z**3/3 - 5*z**2 - 11. Let p(m) be the second derivative of w(m). Is p(-6) prime?
False
Let x be 1*(-3)/6*-2. Suppose -6*y + y - 5*s = -5, 3*y - 3*s + 3 = 0. Is (x + 0 + y)*95 a prime number?
False
Suppose -5*n = 4*a - 98, -5*n + 4*a + 122 = -0*a. Let b be n/(-6) - 2/6. Let d = 30 - b. Is d composite?
True
Suppose 3*a + c - 124140 = 0, -4*a - 5*c + 261977 = 96468. Is a a prime number?
True
Suppose -30*f + 36*f - 178446 = 0. Is f a prime number?
True
Suppose -2*o = 5*j - 24343, 5*j + 0*o - 4*o - 24319 = 0. Is j composite?
True
Suppose -24*s - 150 = -27*s. Suppose -376 + s = -2*r + 3*g, 12 = -3*g. Is r a composite number?
False
Let j be (-16)/(4/(-1)) + (-1790)/(-1). Let q be 2/3 + 26870/6. Suppose -3*n - 2*l = 2*n - q, 2*l - j = -2*n. Is n composite?
True
Let b = 503 + -1183. Let g = b - -979. Is g prime?
False
Suppose 0 = 3*b + 5*u - 10, -3*u = -b + u + 9. Suppose -2*i + b*i = 0. Suppose 5*r + 2*w - 175 = i, -34 = 4*r - 2*w - 156. Is r prime?
False
Suppose 3989 = 5*b - 5486. Suppose -9*k = -4*k - b. Is k a prime number?
True
Suppose 2*z - 72 = -40. Suppose z*y - 11*y = 8285. Is y prime?
True
Suppose -7 = -4*r - 123. Let j = -105 + r. Let l = -81 - j. Is l a composite number?
False
Suppose 0 = 4*q - 2*z - 3546, q = -15*z + 14*z + 894. Is q composite?
True
Let y(p) be the third derivative of -p**4/6 - p**3/6 - 8*p**2. Let c be y(-1). Suppose -c*g + 40 = g. Is g composite?
True
Let z(x) = -x - 14. Let f be z(-14). Suppose 3*s - 556 + 40 = f. Let o = s - 15. Is o prime?
True
Suppose 6 = -3*s - 3*b - 0*b, 