. Is k composite?
False
Let a(b) = -b**3 - 6*b**2 + b + 6. Let k be a(-6). Suppose -h - 3*o + 733 = k, 2949 = 4*h - 0*h - 5*o. Suppose -2*c + 3*d = -h, d + 914 = 3*c - 197. Is c prime?
False
Is -15*((-55385)/3 + 4) composite?
True
Let v(n) = -116*n**3 - 5*n**2 + 27*n + 473. Is v(-10) composite?
True
Suppose 2*r - t = -6, 0 = -4*r + 3*r + t - 2. Let d be 1 + r + 3 + 3. Suppose 9 = -d*g, 3*g = -l - 3*l + 371. Is l prime?
False
Let c = -70031 + 156054. Is c prime?
False
Is 13983*2 + (-35)/7 - 0 a composite number?
False
Let s(b) = 900*b - 149. Let g be s(8). Let n = 10404 - g. Is n prime?
False
Suppose u = 4*q - 598057, -6*q + 747566 = -q - 3*u. Suppose -4*y - 168266 = -5*k + 18679, 5*y - q = -4*k. Is k prime?
False
Let h = -140 - -93. Let r = h - -66. Suppose r*i = 22*i - 213. Is i composite?
False
Let w(i) = -14501*i - 12. Let j be w(-2). Let b = j - 20225. Is b a prime number?
False
Let j = -27 + 49. Suppose -20573 = j*a - 29*a. Is a a prime number?
True
Let q be 4/14 + (-132)/(-77). Suppose -4*s + q*s = 4*h, 15 = -3*h. Suppose 13*f - s*f + 4*d = 6461, -4 = 4*d. Is f composite?
True
Let u = 110 + -117. Is 1/(u/(-15372)) + -1 prime?
False
Let l(y) = -11*y - 40. Let t be l(-6). Suppose -3*v - 2 = -t. Suppose -1140 - 548 = -v*r. Is r prime?
True
Let l(i) = -47*i**3 - 168*i**2 + 15*i - 7. Is l(-12) a composite number?
True
Suppose 3*u - 94 = f, -3*u - 4*f = -70 - 49. Suppose 63092 = u*b - 55741. Is b a composite number?
True
Suppose 21*s + 132226 = 3*w + 598435, -88820 = -4*s - 4*w. Is s a prime number?
False
Let p(c) = -50*c - 187*c - 46*c - 3*c + 5. Let j(o) = 3003*o - 52. Let b(x) = -5*j(x) - 52*p(x). Is b(-1) composite?
True
Suppose -4*x + 1279 = 2*v + 441, x + 5*v = 223. Suppose 204*z - x*z + 6772 = 0. Is z prime?
True
Let j be ((-6)/(-4))/((-15)/(-20)) + 42. Suppose j*w - 45*w = -6485. Is w composite?
True
Let c(j) be the second derivative of -11*j**5/10 - j**4/4 + 4*j**3/3 - 13*j**2/2 - 2*j + 20. Is c(-4) prime?
False
Suppose -12*j + 11*j = 10. Let l be (-1 + 1)/(3*j/15). Let q(n) = n**2 + 5*n + 2767. Is q(l) a prime number?
True
Let u be 2*(-2)/(-8)*(-13 - -19). Suppose 1643 = 2*p - 3*y, u*p = 4*y + 2898 - 431. Is p a composite number?
False
Let k = -234274 + 362865. Is k a prime number?
True
Let j = -10405 + 27662. Is j a composite number?
False
Is 5/((-2255960)/150402 - -15) composite?
True
Let h = -2 - -12. Suppose h*q - 4*q = 0. Is q/(-9) - (-2 - 491) a composite number?
True
Let i(y) = 306*y**2 + 12*y + 59. Is i(-16) a composite number?
False
Suppose -49 = -2*h - 13. Suppose 18 = 15*o - h*o. Let q(p) = -19*p - 5. Is q(o) a prime number?
True
Suppose 148*h - 881266 = 29*h + 8562336. Is h composite?
True
Is ((-8)/14 + (-247)/266)*17224406/(-93) composite?
False
Suppose 32*w - 25 = 27*w. Suppose 17309 = u - 2*r, 2*u = -6*r + w*r + 34638. Is u prime?
True
Suppose -2*c - 31805 = 5*l - 489074, -l = -4*c + 914549. Is c prime?
True
Is (-4)/1*(-321972)/336 a prime number?
True
Let u = -29 + 37. Suppose -2 + u = 2*b. Suppose -b*w + 2*m + 10557 = 0, -20799 = -5*w + 3*m - 3203. Is w prime?
False
Let w = -3193 - -5054. Is w composite?
False
Let y(r) = 684*r - 3. Let l be y(4). Suppose -5*f + 2137 = 5*z - 2393, 0 = 3*f - 2*z - l. Is 2 + (4 - 0) + -2 + f a prime number?
False
Suppose -56 = 5*s - s. Let d be (-127)/2*5*(s - -6). Suppose -2*z - 2*n = -7*n - 1270, -4*z = -2*n - d. Is z composite?
True
Let b(c) = 3*c - 10. Let g be b(4). Suppose -g*d - 4*n + 204 = -n, -5*n = 10. Let i = 634 - d. Is i a composite number?
True
Let h(n) = 140*n + 33. Let r be h(-6). Let t = -1312 - r. Let g = 908 + t. Is g composite?
True
Suppose 3*m + 7*a = 2*a + 7407, -3*m + 7443 = -a. Is m prime?
False
Let o = -39 + 37. Is (1 + o - -1397) + 3 composite?
False
Let r be 1*(2 + -3) - (0 + -3). Let z be -15*(r + (32/(-12) - -1)). Is z/10*(-479 + 1) a prime number?
True
Let n(m) = -31*m**3 + 2*m**2 - 3*m + 2. Let g = 8 - 7. Let o be n(g). Let i = 63 + o. Is i prime?
False
Suppose 5*p - 1077 = -m, -3*p + 3172 = 4*m - 1119. Suppose 2*i + 2172 = -3*n, i + 8*n - 3*n = -m. Let t = i - -2785. Is t a prime number?
True
Let i(b) = -14354*b - 1321. Is i(-7) prime?
False
Suppose 0 = -6*k + 4*k + 2*z - 212, 2*k + 5*z + 191 = 0. Is -29*(-1 + 1 + 1)*k a prime number?
False
Let l(m) = -71*m - 108. Suppose -39 = 3*p - 4*u, p + 4*p = -u - 88. Is l(p) a composite number?
True
Let t(q) = 22799*q - 6. Is t(8) composite?
True
Let v(n) = 4*n**2 - 17*n + 30. Suppose 2*m = y - 0 + 18, -3*m + 28 = -2*y. Let q be v(m). Let d = q + 483. Is d composite?
True
Suppose -3*i = z - 10, 3*z - 6*z - 10 = i. Suppose -5*r - 5*v + 30 = 0, i*v + 60 = 2*r + 3*r. Is r/((-9)/214)*-1 composite?
True
Suppose -6*p = -5*m - 3*p - 45, -m - 9 = 5*p. Let j(i) = 17*i**2 - 182*i - 8. Is j(m) a composite number?
True
Let l(w) = 3215*w - 1448. Is l(11) composite?
True
Suppose -4*w + 6 + 6 = 0. Suppose -w*r = 4*g - 243, 0*g - r = -4*g + 223. Is ((-10)/(-4) - 1)*4826/g a prime number?
True
Suppose h = 4*y + 4, -5*h - 48 = 2*y - 5*y. Is 8/h - (261230/(-6))/5 composite?
False
Let z = 122001 + -64952. Is z prime?
False
Suppose -14*g = -15*g + 2*x + 109, 2*x + 460 = 4*g. Let v(u) = u + 7. Let k be v(-5). Suppose 2*s - g = s - k*h, 4*s - h - 441 = 0. Is s composite?
True
Suppose 3*r = 4*n - 25, r + 25 = 6*r. Suppose 3*h - 11*z - 5724 = -n*z, -9538 = -5*h + z. Is h a composite number?
False
Let w(z) = -52*z + 412. Let k be w(8). Is -8 + 188130/(k + 14) composite?
True
Suppose 0*u + 3*p = -4*u - 149, 0 = -4*u - 5*p - 155. Let b = 35 + u. Suppose -4*c = -4*h + 3292, -5*h + h - 2*c + 3280 = b. Is h a prime number?
True
Let l(u) = 2 + 13 + 1 - u. Let z be l(12). Suppose 0*g = z*g - 2228. Is g a prime number?
True
Let k be 1817/2 - 1/(-2). Let z be 3 + -361 + -5 + 1. Let r = k + z. Is r prime?
True
Let d(z) = 303*z**3 - 4*z**2 + 26*z + 25. Is d(4) a prime number?
True
Let f(b) = 26537*b + 2090. Is f(9) prime?
False
Suppose n = 10*j - 7*j - 17, 5 = 3*j - 4*n. Suppose 0 = j*h - 11680 - 36711. Is h composite?
True
Suppose 0 = 2*a + 4*p - 2*p - 58, 4*a - 4*p = 132. Suppose -4*w = -4*t + a + 1, 4*t = -4*w + 8. Suppose -t*c + 7576 + 219 = 0. Is c a composite number?
False
Let r = -28 - -36. Suppose -r*h + 4 + 12 = 0. Suppose h*n = 35 + 95. Is n composite?
True
Let u(k) = -4969*k - 2945. Is u(-52) a prime number?
True
Suppose 8*z = 4*z + 8. Let k be -47387 + 9 + z + -4. Is 8/(-52) + k/(-52) a prime number?
True
Let q(a) = -590*a - 6. Let c be q(6). Let b = -2055 - c. Let i = b + -946. Is i a prime number?
False
Suppose -5*t + 2*n + 53 = 0, t + t - 14 = -n. Let k be (0 - 1)/(t/(-27)). Suppose 2*a = -3*p + 6051 - 2230, -4*p - k*a = -5093. Is p a prime number?
True
Let j = -65 + 63. Let u be -2*j/(-4)*2*-1. Is (u - 1)*29*(43 - -4) composite?
True
Let t(w) = w**3 + 18*w**2 + 69*w - 33. Let q be t(-12). Suppose 0 = -3*r + 15, 3*d - 4*r + 3*r = -5. Suppose d = -5*k - q*k + 2552. Is k prime?
False
Let l(y) = 3*y**3 - 193*y**2 - 224*y - 1391. Is l(98) a prime number?
True
Let h be (6*2/(-16))/(1/(-2972)). Suppose -z + 208 = -h. Is z a composite number?
False
Let x = -233016 - -409057. Is x a composite number?
False
Let h = 301 - 290. Suppose -x + 2223 = 4*n, 4*n = -n - 15. Suppose -x = h*v - 16*v. Is v a prime number?
False
Let c(i) = 5*i**3 + 6*i**2 - 27*i - 8. Let g be c(8). Let u = -941 + g. Is u composite?
True
Suppose m = -1, -2*l - 4*m - 11800 = -6*l. Suppose 4*w - 8023 = l. Is w prime?
False
Suppose 6*q = 109 + 11. Suppose 0 = -q*s + 17*s + 62313. Is s a composite number?
False
Let r be (-1690)/14 + (-2)/28*4. Let g = 169 + r. Is -2*5218*(-12)/g a composite number?
False
Let q(r) be the second derivative of 221*r**4/12 + r**3/2 - r**2/2 + 21*r. Is q(1) composite?
False
Let t(w) = -27*w - 2. Let j(n) = -n - 7. Let d(q) = -2*q**3 + 5*q**2 + 3*q - 4. Let k be d(3). Let p be j(k). Is t(p) a prime number?
True
Let z(d) = 48 - 35 - 3258*d - 20. Is z(-1) prime?
True
Suppose -14*n + 13*n - 5 = f, -f = 4*n + 8. Is -2*(10646/f + 13 + -13) a prime number?
True
Suppose -c - 2*l + 9 = -16, 5 = l. Let k(f) = 16*f**2 + 22 - 6*f**2 - 16 + 23 - 30*f. Is k(c) composite?
True
Suppose 12*q = 55512 + 647076. Is q a prime number?
True
Let g(n) = -n**3 - 7*n**2 - 55. Let i be g(-8). Let r(a) be the second derivative of 107*a**3/2 - 14*a**2 + a. Is r(i) a prime num