e number?
False
Suppose 522146 = 40*c - 3775494. Is c composite?
False
Let i(a) = 2*a**2 - 2*a**2 + a**2 + a + 10*a**3. Let q be i(2). Is 5203/q*(2 - (0 - 0)) a prime number?
False
Let q be (-4 + -1 + 50)*26/6. Let b = -433 + q. Is (-227358)/b - 1/(7/2) a prime number?
False
Let t(p) = 18*p**3 - 56*p**2 + 155*p + 157. Is t(40) a composite number?
False
Suppose -47*a + 9796527 = -16*a - 16735970. Is a composite?
False
Suppose -5*v - 37 = -4*u - 177, 0 = -3*v - 2*u + 62. Suppose -3*p = 2*a - 706, -v*p + 25*p = a - 343. Is a composite?
False
Let f = -204 + 209. Suppose b - 2*x = 281, b + 1118 = 5*b - f*x. Is b a composite number?
False
Let r = -251 + 275. Suppose -r*v = -23*v - 2609. Is v composite?
False
Let j = -13 + 16. Suppose 27 = j*l + 6*l. Is -25*(-57)/l + 4 composite?
False
Let p(r) = r**3 - 12*r**2 + 31*r - 5. Let o be p(11). Let w = 21 - 13. Suppose w*k = o + 8881. Is k a composite number?
True
Let z(i) = i**3 + 6*i**2 + 2*i - 11. Let o be z(-5). Let t be 6 - (-3 + o)*1. Suppose t*m - 3927 = 2*q, -q + 2435 - 70 = 3*m. Is m composite?
False
Let l = -232 + 482. Suppose -l*m - 12453 = -257*m. Is m composite?
True
Let n = -8540 - -144237. Is n composite?
False
Let u(y) = 225*y + y**3 - 1 - 2*y**2 - 5*y**2 - 203*y. Is u(9) prime?
True
Let v(y) = 43*y**3 + y**2 - 4*y + 2. Let d be v(1). Suppose 117 - d = 5*h. Is 1*841 - (-5)/h*-6 a prime number?
True
Suppose 0 = -m + 4*s + 2, -m + 9*s + 2 = 10*s. Let d be (m + 478/3)*(0 - -3). Let j = -147 + d. Is j composite?
False
Let o(x) be the second derivative of x**6/120 + x**5/5 + x**4/4 - 8*x**3/3 - 3*x**2/2 - x. Let v(h) be the first derivative of o(h). Is v(-11) composite?
True
Is 3 + 215/(-75) + 11352756/180 a prime number?
False
Suppose -125*a + 29138698 = -63*a. Is a a composite number?
False
Let u be 23198/14*(3 + -1). Let f = u - 1845. Suppose a - 875 = -3*c, 6*c - a - f = c. Is c composite?
False
Suppose 4*j + y = 18087, 4166 + 13906 = 4*j + 4*y. Suppose -23*m = -8*m + 39150. Let a = m + j. Is a composite?
False
Suppose 67*m = -17*m + 5310564. Is m a composite number?
True
Suppose j - m = 6, 2*m - 2 = -4*j - j. Let f(q) = 1352 - 1367 - 5*q + q**j + 2*q. Is f(-11) composite?
False
Suppose 0 = 5*x - c - 13027, -x - 2*c + 313 = -2299. Let r = x + -899. Is r a composite number?
True
Let v(s) = 2234*s**2 - 23*s - 16. Is v(-3) prime?
False
Suppose 1639*l = 1696*l - 4485387. Is l a prime number?
True
Let s be (-3)/(-6)*-921*18/27. Is 3*3/((-9)/s) a composite number?
False
Let b(r) = 16*r**2 - 5*r + 63. Let p be b(11). Let i = 2725 - p. Is i prime?
False
Suppose -1932*v - 78558 = -1935*v. Is v prime?
False
Let w be -4 - ((-60)/8)/(9/54). Suppose -85663 = w*q - 58*q. Is q composite?
False
Suppose i + 5 = -4*i, 4*i = -f - 4. Suppose -4578 = -2*q - 3*s, -q - 4*s = -f*q - 2284. Is 10*(2 + q/8) prime?
False
Let p(n) = n**3 + 16*n**2 + 15*n + 26. Let x(r) = r**3 - 4*r**2 + 3*r + 4. Let w be x(5). Suppose 3*a + a + w = 0. Is p(a) a composite number?
True
Suppose -134*s + 1567064 = -126*s. Is s composite?
False
Let j be 13/2*(-90)/(-195). Let d(q) = 3180*q - 89. Is d(j) composite?
True
Suppose 96*k - 1310917 + 244069 = 0. Is k a prime number?
True
Let o(t) = 258*t - 2. Let k(i) = -515*i + 4. Let g(v) = -6*k(v) - 11*o(v). Let u be g(4). Suppose 4*p = -2*m + u, -5*m + 0*m + 2488 = p. Is m composite?
True
Let s(p) = 2*p**3 - 17*p**2 - 39*p + 17. Let y(b) = -b**3 + 16*b**2 + 38*b - 16. Let l(x) = -2*s(x) - 3*y(x). Is l(-25) a prime number?
True
Suppose -4*w - 2*x + 11942 = 0, 3*w + 1629 = -2*x + 10588. Is w - (-4 - (-80)/8) a prime number?
False
Let q(w) = 34*w**2 - 3*w - 1. Let b be q(-1). Let t be (-6)/9 - 1623*4/b. Is 3 - (t + -2) - (-1 - -4) composite?
True
Let l(a) = -a**3 - 7*a**2 - 10*a + 5. Let y be l(-5). Suppose -5 = -5*d, y*m = 2*d + 20 - 7. Is (-10)/15 - (-14495)/m a composite number?
False
Let x = 53 - 45. Let a(f) = 5*f - 58*f - x*f + 13 - 17*f. Is a(-11) a prime number?
False
Let u be 4 + (-15)/5 + (-141 - 5). Is (-2356221)/u - (0 + (-8)/(-10)) prime?
True
Suppose -3*b + 54 = -36. Let d = -6228 - -6277. Let j = d - b. Is j prime?
True
Let x be (3058/(-66))/(2/6). Let w = 956 + x. Let s = w + -540. Is s composite?
False
Let m(u) = 16*u**2 + 17*u + 10. Let r be m(17). Suppose -5*t = -r - 6852. Suppose -t = 6*i - 9*i. Is i prime?
False
Let n(k) = k**2 + 5*k - 6. Let r be n(0). Let m(q) = -q**3 - 6*q**2 - 6. Let t be m(r). Is (2 - (-15)/t)/((-4)/904) composite?
False
Suppose 0 = -1061*b + 1068*b - 7. Is 2755/b - (81 - 73) composite?
True
Suppose -30*d = 17*d - 1753993. Is d a prime number?
False
Let r(l) be the third derivative of l**6/120 + l**5/6 + 5*l**3/3 - 14*l**2. Let i be r(-10). Is 29*-11*(9 - i) composite?
True
Let u(b) = 14*b**2 - 423*b + 93. Let z be u(30). Suppose 2*c + 2*x - 31626 = 0, c - 16981 + 1170 = x. Suppose 0 = -j + 2*v + v + c, z*v = 3. Is j composite?
True
Suppose -8*y - 3*m = -7*y - 36253, -5*y + 181193 = -3*m. Is y a composite number?
False
Let k(p) be the second derivative of p**3/6 + 3*p**2/2 + 6*p. Let b be k(0). Suppose -y - 5*x + 667 = -3*x, 0 = 2*y - b*x - 1341. Is y composite?
True
Let c(s) = 831*s + 32. Let u(w) = w**2 - 40*w - 379. Let t be u(48). Is c(t) a composite number?
True
Let m(h) = h**2 + 7*h - 1. Let l be m(-8). Suppose 10*y = l*y - 7797. Is 18/(-63) + -1*y/7 prime?
False
Let x(j) = 2692*j**2 - 67*j + 229. Is x(4) composite?
True
Let o(f) = 1. Let r(d) = -1139*d + 268. Let w(l) = -268*o(l) + r(l). Suppose -18*s + 14*s = 4. Is w(s) prime?
False
Let z = -14168 - -6377. Let n = 26738 + z. Is n prime?
True
Suppose 24 = 4*p + 2*y, 21 = 5*p - 0*p - 2*y. Let u = 5 - p. Suppose -5*b + 2935 = -u*b. Is b composite?
False
Let w = -45 - -55. Suppose -35 - 35 = w*v. Let n(m) = 8*m**2 - 12*m - 13. Is n(v) a prime number?
True
Let j(b) be the third derivative of -89*b**4/8 - 17*b**3/2 + 3*b**2 + 2. Is j(-14) composite?
True
Let t(h) = -h**3 + 6*h - 6. Let d be t(2). Is -1*(d/1 + 2430/(-2)) a composite number?
False
Let o = -225 - -275. Is (1886/5)/(-5*(-4)/o) prime?
False
Let l be ((-5)/40*6)/(2/(-96)). Suppose 6*k = -l - 102. Let m(z) = z**3 + 24*z**2 + 19*z - 9. Is m(k) a composite number?
False
Suppose 3*x - 39583 = -4*t, 0 = t + x - 14668 + 4774. Is t a composite number?
False
Suppose 0 = -3*x - 0*x - 36. Let z be 3/x + (-4790)/8. Let y = -332 - z. Is y a composite number?
True
Let v = 705468 + -147575. Is v prime?
False
Suppose -13688 = -4*o - 5*j, o + 6*j - 9*j = 3439. Suppose 3*w + 0 = 3, -4*w = 3*i - o. Is i a prime number?
False
Let m(q) = q**3 + 9*q**2 + 228*q - 175. Is m(45) a composite number?
True
Suppose 4*k + 0*k - 24 = -2*q, 5*q + k = 15. Suppose -f - 2*f = -7584. Suppose 5*i + m - q*m = f, 0 = 2*i - 5*m - 1025. Is i a composite number?
True
Suppose 0 = 2*y + 8, 2*y + 1428557 = 128*m - 125*m. Is m composite?
False
Suppose -9*c - 1287 = 9117. Let g = -115 - c. Is g a prime number?
False
Let l = 326 - 324. Let f(c) = 1149*c**2 - 4*c - 2. Is f(l) a prime number?
False
Suppose 10792 + 2018 = 10*c. Let b = -553 + -115. Let v = b + c. Is v a composite number?
False
Let b(l) be the first derivative of 4221*l**4/2 - 2*l**3/3 + 3*l**2/2 - 2*l - 4. Let k be b(1). Suppose -2*g = y - 2441, 3*g = 4*y - k - 1367. Is y prime?
False
Let q(l) = l**3 + 19*l**2 - 231*l + 319. Is q(42) prime?
True
Let k(t) = -2*t - 222 - 2*t + 191 + t. Let p be k(-12). Suppose -p*o + c = -1520 + 259, 3*c = 2*o - 494. Is o a prime number?
False
Let b(v) = -131*v - 2. Let k(x) = 392*x + 5. Suppose 14 - 62 = -8*p. Let o(q) = p*k(q) + 17*b(q). Is o(3) prime?
False
Let z = -73168 - -152930. Suppose -z = -17*b - 21*b. Is b composite?
False
Let p = -7916 + 14383. Is p composite?
True
Let g = 16 + -13. Suppose g*o + 1023 = 2016. Is o composite?
False
Let t = 25006 + 6745. Is t prime?
True
Is 2 + 7 + 7 + 22344 + 7 prime?
True
Suppose 5*t + 23 = -0*k + k, -k + 2*t + 11 = 0. Suppose 5*w - 5*x = -20, 4*w - 12 = -5*x + 8. Suppose -k*o + 6*o - 7311 = w. Is o prime?
True
Let u = -362764 + 520945. Is u a composite number?
True
Let q = -43 - -42. Let z(i) = 3653*i**2 + 4*i. Is z(q) a prime number?
False
Suppose -2*o - 18 = 0, -5*m + 670967 = o - 1067139. Is m a prime number?
False
Suppose 5*c = -4*n + 12, -2*n + 0*c + c + 6 = 0. Suppose -3*v - 4 + 35 = 4*a, 4*v + n*a - 53 = 0. Is (-1325)/(-4) - v/68 a com