composite number?
False
Is (-4 + 5 + 70646)*(-7)/(-21) a prime number?
True
Let h = 2223 + -572. Is h prime?
False
Suppose 645*w - 637*w = 76408. Is w a composite number?
False
Let s = 195 - 42. Suppose -4*b - 5*l = 29 - 152, -4*b + l + s = 0. Is b composite?
False
Let n be 28/(-21) - (-2)/(-3). Let r be (7 - 8) + 3 + n. Suppose r = -5*t + 62 + 168. Is t composite?
True
Let b = 14161 - 8250. Is b a prime number?
False
Suppose 14*y = y + 52. Let w(k) = 717*k - 37. Is w(y) a prime number?
False
Let u(c) = 380*c**3 + 2*c**2 - 11*c + 22. Is u(3) prime?
True
Suppose -156*h + 108280 = -136*h. Is h a composite number?
True
Suppose 0 = 3*y - 5 - 1. Suppose 2 = -3*o + y*b - 6, 2*b = -2*o + 8. Suppose i = p - 84 - 55, -i + 4 = o. Is p a composite number?
True
Suppose 0 = 2*f - f - 76. Suppose -152 = -8*y + 208. Let b = f - y. Is b prime?
True
Let h = 23209 + -9066. Is h prime?
True
Is (-5077)/(-1)*(-6 - (-1 + -6)) a composite number?
False
Suppose -2275 - 468 = -13*f. Let i = 90 - 27. Suppose f = 4*q + i. Is q a composite number?
False
Suppose -3*d + 24 = -0*d. Let u(b) be the first derivative of 2*b**3/3 - 13*b**2/2 - 10*b - 2. Is u(d) a composite number?
True
Let g = 98 - 85. Suppose g*m - 9789 = -0*m. Is m prime?
False
Suppose -k = 5*d - 4853, -2*d - 3*k + 1949 = -0*d. Suppose -11840 = -5*x - d. Is x prime?
False
Suppose -5*a = -3*d + 19797, d - 7*a - 6599 = -2*a. Is d a composite number?
False
Let v = -214 + 1158. Suppose -4*d + 2*n + v = 0, -5*d + n = 5*n - 1193. Suppose 4*t = 7*t - d. Is t composite?
False
Let l(m) be the second derivative of -m**3/3 - 3*m**2/2 + 4*m. Let f be l(-3). Suppose x - 74 = -s - 0*x, -f*s = x - 212. Is s a composite number?
True
Let u be 2/3*(-18)/(-4). Suppose 0*s - u*s = -1329. Is s a prime number?
True
Suppose -2*f + 2400 - 218 = 0. Suppose g - 4 = -0*g, -n = -2*g - f. Is n a prime number?
False
Suppose -3*x - 3 = 2*p - 4, 2 = 3*p + 4*x. Suppose p*t + 2*w - 1840 = 0, -2*t = -5*w - 303 - 1544. Is t prime?
False
Suppose -3*f = 347 - 1472. Suppose 2*t + 4*t = -t. Suppose g + 2 - f = t. Is g a composite number?
False
Let g be (-40)/(-300) - 121138/(-15). Suppose 5*a = q + g - 2244, -4*q - 3489 = -3*a. Is a a prime number?
False
Let i = 215 + -56. Let u = 2158 + i. Is u composite?
True
Suppose 0 = 5*k + 5*k + 950. Let g = 180 + k. Is g a composite number?
True
Suppose n = -4135 + 10578. Is n composite?
True
Let l be 13/(-4) - -3 - 8859/(-12). Let a = l - 109. Is a prime?
False
Suppose 2*j - 6*j + 23 = q, 2*q - 11 = -j. Is (-19696)/(-24) - (-1)/q prime?
True
Let r be (-132)/(-165) + 458/(-10). Is r/(-18)*(-1492)/(-10) composite?
False
Suppose 0*a - 34970 = -10*a. Is a prime?
False
Let m be 0 + 32 - 9/(-9). Suppose d - m = 2*z, -2*z + 117 = d + 4*d. Is d a composite number?
True
Suppose -4*q = -0*q - 16. Suppose -4*g + q*x + 615 = x, -789 = -5*g - 3*x. Let w = 283 - g. Is w prime?
True
Let r be 25*(-3)/30*6. Let y(t) = -80*t + 17. Is y(r) a composite number?
False
Suppose 0 = 5*b + 5*m - 29620, 4*m = b - 3*b + 11850. Is b a composite number?
False
Let c(m) = 47*m**2 - 18*m + 2. Let v be c(-8). Let n = -1835 + v. Is n a composite number?
False
Suppose 5*w = 4*a - 36552, -w + 27433 = -47*a + 50*a. Is a a prime number?
False
Suppose -5*o + 254 = 2*x - 272, -4*o + 1315 = 5*x. Is x prime?
True
Is 5973 - -1*(0 + 8) a prime number?
True
Let t(y) be the third derivative of -y**4/3 - 25*y**3/6 + 100*y**2 + 1. Let n be 27/(-2) + 2/4. Is t(n) composite?
False
Suppose 152*y = 142*y + 497210. Is y composite?
True
Is -2 - (14502*(-10)/4 + 6) a prime number?
False
Let i(p) = 16*p**2 + 6*p - 43. Is i(12) a composite number?
False
Let w(m) = -m**2 - 9*m + 3. Let j be w(-9). Suppose 4*v + 1101 = 3*q, 3*q + 4*v - 1116 = 3*v. Suppose 5*g + u = 578 + 59, j*g - 5*u = q. Is g prime?
True
Let b(c) = 5*c**3 + 17*c**2 + 14*c + 18. Let p(f) = -f**3 - f**2. Let a(u) = -b(u) - 4*p(u). Let r be a(-13). Suppose -152 = -4*g + r. Is g a composite number?
False
Suppose 2*o = -2*n - 8, -1 - 7 = 2*o. Suppose 5*m - 15 = -n. Is m/(-2)*(-1064)/12 a prime number?
False
Let c = -2782 - -6081. Is c prime?
True
Let i be 2*(-4)/((-32)/12). Suppose 3*r = -j + 251, 0 = -i*j - 4*r + r + 753. Is j a composite number?
False
Let s = 84 - 86. Is s*1 - (-321 - -2) prime?
True
Suppose -4 = 17*q - 18*q. Let r(s) = 7*s**3 + 7*s**2 - 7*s + 3. Is r(q) prime?
False
Suppose -2*m - 25 = 5*q - m, 0 = -5*q + 2*m - 25. Let i be 2 - (6/12 - (-29)/(-2)). Let o = q + i. Is o a composite number?
False
Let q = -245 + 66. Is q/((-4)/(-6) - (-30)/(-18)) composite?
False
Let p(d) = 19*d - 3*d - 9 - 10 + 7*d. Is p(12) composite?
False
Let y = 12501 - 4846. Is y prime?
False
Let d be 4 - (-1 - 0) - 2. Suppose 3*j - 2*j - d = 0. Suppose b + 0*w - 2*w - 141 = 0, 3*b + j*w = 459. Is b a composite number?
False
Let w = 2582 + -4930. Let y = 5339 + w. Is y a prime number?
False
Suppose 803*i = 811*i - 148024. Is i a composite number?
False
Suppose 2*t = -8, 2*c = -3*c + 2*t + 33333. Suppose 0 = -9*v + 4*v + c. Is v composite?
True
Let x be (-5536)/(-28) - 6/(-21). Let j be ((-2)/(-2))/(3/x). Let u = j - 29. Is u composite?
False
Let y = -31 + 52. Let i = -1 + y. Is 17785/i - (-1)/(-4) prime?
False
Suppose 0*n - 5*n = -5, 3*h - 39785 = -2*n. Is h composite?
True
Suppose 0*c + 5*c - 2278 = -3*s, 3*c + 1487 = 2*s. Is s a prime number?
True
Suppose 5*z - 30 = -5*z. Suppose -5*f = -4*q + 6328, 4*q = q + z*f + 4743. Is q a composite number?
True
Suppose -11*b = -6*b - 7900. Is 13/(-39) - b/(-6) a composite number?
False
Let j(k) = -6*k**3 + 60*k**2 + 5*k - 55. Is j(-16) a prime number?
False
Let j(o) = o**2 - 12*o + 23. Let v be j(10). Suppose l - 3*r - 194 = 0, -l - 54 = v*r - 242. Is l composite?
False
Suppose a = -5*r + 68691, r - 11150 - 2581 = -2*a. Is r prime?
False
Let i(t) = 3*t**3 + 6*t**2 + 8*t + 24. Is i(11) a prime number?
True
Let p = 2712 + -1295. Is p composite?
True
Let j(a) = -1212*a + 395. Is j(-10) prime?
False
Suppose -3*t + 3*h + 3668 = 905, 0 = 3*t + 3*h - 2787. Suppose 11*l = 6*l - t. Let j = -94 - l. Is j composite?
True
Let s be 2/3*393 - 3/(-3). Suppose 3*v - s = 2*v. Is v composite?
False
Suppose -102*a + 103*a = 4*n + 957, n + 4 = 0. Is a a composite number?
False
Let f = 23655 - 5750. Is f a prime number?
False
Suppose -c + 1304 = 3*c. Let u = -125 + c. Suppose -5*r = -n - 335, r + 5*n - u = -2*r. Is r a composite number?
False
Suppose 5*b - 466 = 129. Is (-4 - (-4 - 0)) + b a prime number?
False
Let d = -1380 + 6367. Is d a prime number?
True
Let k(a) = 516*a**2 + 41*a + 199. Is k(-6) composite?
True
Suppose -95*d - 11463 = -98*d. Is d a prime number?
True
Let j = 7 + -3. Suppose -n = 8 - j, 2*n + 11343 = 5*f. Is f composite?
False
Suppose -3*n + j = 170 - 65, 0 = 3*n - 2*j + 105. Let q = -26 - n. Suppose q*p - p - 4456 = 0. Is p composite?
False
Suppose 10*g - 13*g = -5559. Suppose -3*t - 2*t + 9229 = 2*o, g = t - 2*o. Is t prime?
True
Let n(t) = -1 + 2*t - 4*t + 0 - t**2 - t + t**3. Let r be n(3). Suppose -105 = -3*a - 4*c, r*c - 3*c + 16 = a. Is a composite?
False
Let x = -1089 + 2438. Is x prime?
False
Suppose -4*l - 13 + 5 = 0. Let b be l + -49 - (1 - 1). Let p = b + 100. Is p prime?
False
Let h(a) = -a + 5. Let m be h(3). Let c = 7 - m. Suppose -c*o + 2373 = z + 3*z, -z + 572 = -3*o. Is z a prime number?
True
Let t(p) = 34*p**2 + 23*p - 94. Is t(13) a composite number?
True
Suppose 20154 = -11*s + 53297. Is s a prime number?
False
Let l(t) be the second derivative of 5*t**4/12 + t**3/3 + t**2/2 - 6*t. Let u be l(-1). Suppose 2*r = 2*h + 256, u*h + 127 + 4 = r. Is r a composite number?
False
Suppose j - 28 + 11 = 0. Let a = j - 13. Suppose -4*f - d = -3171, -a*d - 50 = 2*f - 1632. Is f composite?
True
Suppose 3*f + 474 = 3*m - 4803, -4*m + f = -7042. Is m composite?
True
Suppose -6*t = -4*a - 4*t - 662, 4*a - 5*t + 659 = 0. Let h = 243 + a. Is h a prime number?
False
Let y = -3672 + -382. Let d = -2761 - y. Is d a prime number?
False
Let u(h) be the third derivative of -h**5/120 + h**4/24 - h**3 + 7*h**2. Let z(v) be the first derivative of u(v). Is z(-6) a prime number?
True
Let v(f) = 3*f**3 - f**2 + 3*f + 3. Let s be v(3). Let t be -4 - -6*s/2. Suppose -2*h - 74 = -t. Is h a prime number?
False
Let g = 860 + -367. Let i(n) = n**2 - n. Let k be i(0). Suppose k = y -