 be d(-5). Let b = k - -31. Suppose 9*r - 4*r - 14465 = -5*n, b*r + 5786 = 2*n. Is n a composite number?
True
Suppose -t - 3*u = -65540, 126*u + 65526 = t + 131*u. Is t prime?
False
Let i(q) = -157*q - 122*q - 132*q + 130. Is i(-25) composite?
True
Let v(k) = 4*k**2 - k. Suppose 0*c + 5*c - 16 = o, -5*c = -4*o - 19. Let s be v(o). Suppose s*f + 4*u = 2769, 4*f - 5*u = 1295 + 912. Is f prime?
False
Is (72/252 - 117/42) + 55014/4 a prime number?
True
Let w(y) = 182*y + 93. Let j(r) = 2*r**2 - 26*r - 85. Let l be j(16). Is w(l) a composite number?
True
Suppose -n + 3*w + 12073 = -2*w, -3*w = n - 12073. Let u = -8124 + n. Suppose 0 = -2*q - 2, 2*q + 297 + u = 4*l. Is l a prime number?
True
Suppose 111*a - 2338129 = 94*a. Is a a composite number?
False
Let y(i) be the second derivative of 5*i**4/12 + 2*i**3/3 + 3*i**2/2 + 3*i. Let n be y(7). Let k = 797 - n. Is k a composite number?
False
Let d(k) = 172551*k**3 + 10*k**2 + 22*k - 73. Is d(2) a prime number?
True
Let x = 605416 + 172439. Suppose 22*b - 7*b = x. Is b a prime number?
False
Let n be (-56)/20 - 4/(-5). Is 4730 + (-12)/n + -9 a composite number?
True
Suppose -6*j = -0*j - 26*j + 650620. Is j a composite number?
False
Is (-730570)/(-12) - ((-39)/(-52) + 44/(-48)) prime?
False
Suppose 5*l - 267656 = -3*l. Is l prime?
True
Let r = -34544 + 74845. Is r composite?
True
Is ((6/(-8))/(-1))/(261/73190316) a composite number?
False
Is (-16)/5 + 19097922/310 prime?
True
Suppose -4*j = 2*l - 4988, -6*j + 6237 = -j + 2*l. Suppose -x - 3*n + 620 = 0, -n - 2*n = -2*x + j. Is x composite?
True
Suppose -266 - 58 = -12*u. Suppose -u*i + 11510 = -25*i. Is i prime?
False
Let p(n) = -11*n - 30. Let t be p(-3). Suppose 5*j - 3945 - 7635 = 0. Suppose t*s = -s + j. Is s prime?
False
Suppose l - 4*k = 4476, 20701 = 4*l - 3*k + 2810. Let h = l - 1767. Is h prime?
False
Suppose -y = -3*d - 397, -340 = -2*y + 3*d + 457. Suppose 0 = -4*f - 8, 2*s + 0*s - y = -5*f. Is s composite?
True
Let a = -34 - -70. Let h = -66 + a. Is 748/5 - 9*(-2)/h composite?
False
Let u(n) = -2849*n - 4374. Is u(-53) a composite number?
True
Let o(j) = j**2 - 8*j + 11. Let v be o(5). Let q be -2 - -3 - (v - (1 - 4)). Suppose 0 = q*l - 9*l + 371. Is l a prime number?
True
Suppose 5*y = 4*a - 21, -4*a = 2*y - 6*y - 16. Let n = 49 - -69. Is (3 - (n + 0))*a/1 prime?
False
Suppose -17181946 = -70*c + 2523684. Is c composite?
False
Let s(b) = 7 + b - 4 + 0 + 0*b. Let u be s(-5). Let w(r) = -98*r - 5. Is w(u) a composite number?
False
Let q = -819 - -12930. Let a = 830 + q. Is a composite?
False
Let j(v) = 6*v - 15. Let o be j(3). Suppose -13*t + 8*t + 2*u = -32453, -o*t + 19470 = -3*u. Is t a composite number?
False
Suppose -68*u - 9787308 = -46985416. Is u prime?
False
Let z(g) = g**2 - 2*g - 6. Let n be z(-3). Let k be 1/((-8)/(-5) - n/15). Is (k + -4)*((-18460)/(-6))/(-10) a prime number?
False
Let t(k) = -7*k**3 - 9*k**2 + 812*k + 35. Is t(-33) a prime number?
False
Let w(p) = 330*p**2 - 110*p - 19. Is w(8) a composite number?
True
Suppose -53*w = -50*w. Suppose w = -3*a + 18*a - 11715. Is a a prime number?
False
Let u = 8141 + -3435. Suppose 4*s + s - 3*p = u, -s + 928 = -5*p. Is s composite?
True
Is -15 + 504/(-21) + 491648 a prime number?
False
Is 44/(-11)*7/42 - (-2815930)/6 a composite number?
False
Suppose -136*z + 50056740 = -23061513 + 9010165. Is z a composite number?
True
Suppose -6*p = -9 + 69. Is ((-477)/45 - p) + (-11218)/(-5) prime?
True
Let y = 171550 - 119507. Is y composite?
True
Let l = -47 - -61. Let b(g) = g + 2*g**2 + 1 - g**2 - l. Is b(8) composite?
False
Let c = 14225 + 5616. Let i = c + -9204. Is i a composite number?
True
Let z = 84 - 80. Suppose -3*w + 310 = -2*w + 3*m, z*w - 3*m - 1300 = 0. Suppose -2*o + o - c + w = 0, -c = -o + 320. Is o a composite number?
True
Let k(v) = -v**2 + 3*v + 95. Let p be k(0). Let y = -90 + p. Let n(s) = 25*s**2 - 14*s - 4. Is n(y) composite?
True
Let k = 211321 - 108560. Is k a prime number?
True
Let q(w) = 249*w - 76. Let k be (-4)/18 + 1096/72. Is q(k) composite?
False
Let v(i) = 156394*i**2 - 144*i - 275. Is v(-2) a prime number?
True
Let f(l) = -967*l - 46 - 554*l + 69*l - 212*l + 185*l. Is f(-3) a prime number?
True
Let u be (-12)/(-14)*-1*-105. Let h be (-2)/(-16)*-2 + u/(-24). Is (0/h - -3)*(-74)/(-2) composite?
True
Suppose -4*q - 32 = -4*l, -l + 23*q - 25*q = 1. Suppose -3*a = -2*b + 221, b + 114 = 2*b - l*a. Is b prime?
True
Suppose 532862 = -14*a + 28*a - 201200. Is a prime?
True
Let v(n) be the second derivative of 2*n**4 + n**2 - 26*n. Let w be v(3). Let h = w + -129. Is h a prime number?
True
Let k(p) = p**2 - 18*p + 80. Let f be k(7). Is (5 - 4)/((-11692)/3898 + f) prime?
True
Suppose 79*s - 7703422 - 4787364 = 14748493. Is s prime?
True
Let q(c) = 10*c**2 - 7*c + 2. Suppose 6*u = 2*u - 2*h + 48, -4*h = u + 2. Suppose -8*w = -6*w - u. Is q(w) prime?
True
Suppose -4926 = -l - 2*m - m, 4926 = l - 3*m. Suppose 7*w - 48403 = -l. Is w composite?
False
Let r be 3/(-2)*(-320)/120. Suppose r*s - 12*s = -29272. Is s a composite number?
False
Let i = 86145 + -2036. Is i composite?
True
Let b(t) = -15330*t - 1163. Is b(-14) a composite number?
True
Suppose 49 = -3*h + 181. Let v = h + -7. Let s = 90 + v. Is s composite?
False
Let k(m) = 6584*m**2 + 46*m - 175. Is k(4) a prime number?
False
Let n(y) = 4754*y**2 + 179*y + 864. Is n(-5) a composite number?
False
Let o be -213*(-792)/(-81) + 1/(-3). Let u = 814 - o. Is u prime?
True
Let h = -443142 - -670549. Is h prime?
True
Let o be (5/(15/6))/((-72)/110988). Let a = o - -8830. Is a a prime number?
False
Let h(i) = 29*i - 201. Is h(40) prime?
False
Let x(s) = s**3 + 24*s**2 + 21*s + 52. Let d be x(-23). Let u be ((-2)/7)/((-7)/d). Suppose -5*m + 0*g = 5*g - 615, -4*m + 524 = -u*g. Is m prime?
True
Let x(f) = 4847*f**3 - 3*f**2 - 22*f + 57. Is x(2) composite?
True
Suppose 3*m - v - 303446 = 0, -11*m + 12*m - 3*v - 101162 = 0. Is m composite?
True
Suppose 2*g - o = -2*o + 33, -g - 2*o = -15. Suppose g*n - 523258 = -109869. Is n prime?
True
Let x be (-7 - (-10808)/40)*20. Let u = -2173 + x. Is u a prime number?
False
Let q(z) be the second derivative of 1487*z**3/6 + 7*z**2/2 + 87*z. Is q(2) composite?
True
Is -13 + (-699620)/(-15 - -5) composite?
True
Let i(b) = 46*b + 97. Let c be i(37). Suppose z + 2*w = -4*z + 8995, z - c = 3*w. Is z composite?
True
Let d(a) = -a - 16. Let i be d(-10). Let p be 1 - 32/i*3. Let f = p + 132. Is f a composite number?
False
Let d be (1 - 3/2)*-4 - -7. Is (-90060)/(-21) + d/21 composite?
False
Suppose 16*f - 5*f - 5527338 = -1017107. Is f composite?
True
Suppose 5*b - 594 = -6*x + 4*x, 0 = -4*b + 2*x + 486. Is (-97840)/b*4/(8/(-3)) composite?
False
Let m(r) = -r**2 + 3*r + 6. Let d be m(4). Suppose 2*h - c - 4180 = 2*c, -4*h - d*c = -8328. Suppose -h = -9*b + 5*b. Is b prime?
True
Suppose -z + 5437 = 3*b, -3*b = -z - 2708 + 8121. Let r = z + -1154. Is r prime?
True
Suppose 0 = 59*i - 9*i - 44368188 - 6970262. Is i a prime number?
False
Let g = -100790 + 191032. Is g a composite number?
True
Let w be ((-24)/21)/(7 - (-102)/(-14)). Suppose -w*f = 5990 - 17530. Is f composite?
True
Let p(d) = 4*d**3 + d**2 - 2*d. Let m be p(1). Suppose s - m*q = 79, s + 0*q - 2*q - 79 = 0. Let k = s - -70. Is k a prime number?
True
Let r(s) = 7*s - 10*s + 6*s + 37. Let a = -69 + 61. Is r(a) a prime number?
True
Let j = 44 - 16. Let p be 49/(j/(-8) + 3). Is (p/12)/((-4)/24) prime?
False
Let x(g) = -2*g**2 - 14*g + 14243. Is x(0) a prime number?
True
Let s(l) = 1234*l**3 + 11*l**2 - 13*l + 28. Let z be s(4). Suppose -1155569 = -37*p - z. Is p a composite number?
True
Let c = -95 + -41. Let d = c + 317. Is d a composite number?
False
Let b(g) be the first derivative of g**3/3 + 5*g**2/2 + 8*g - 13. Let k be b(-6). Is -2721*k/(-21)*(-10)/(-4) a composite number?
True
Let t(o) be the first derivative of 1/4*o**4 - 55*o - 23/2*o**2 + 7 + 22/3*o**3. Is t(-22) prime?
False
Suppose -29*p - 2859968 = -97*p + 9907100. Is p a prime number?
True
Suppose -2*h + 6 = -x, 0*x = -4*x + 8. Suppose 0 = -4*t - 12, 5*y + h*t = y - 19588. Let o = y - -7547. Is o prime?
False
Let a(q) = -q**2 - 8*q - 2. Let g be a(-7). Suppose -g*v + 7 + 8 = 0, 5*v - 35 = -4*t. Suppose n - 4373 = -3*n - t*o, o + 4391 = 4*n. Is n a prime number?
True
Suppose