ite?
True
Let x(a) = 159*a**3 - 6*a + 1. Let n(r) = -161*r**3 + 5*r - 1. Let l(s) = -4*n(s) - 3*x(s). Let y = 6 + -5. Is l(y) a composite number?
True
Let q(x) = x**3 - 6*x**2 + 2*x - 10. Let d be q(6). Is ((-1 + 2)*d)/((-6)/(-1905)) a prime number?
False
Suppose 0 = 2*d - 3*d + 9. Let h(t) be the first derivative of t**3/3 + t**2/2 + 13*t + 6. Is h(d) composite?
False
Let m(n) = -n**3 - 16*n**2 + 4*n + 42. Let l be m(-13). Let y = l + 824. Is y composite?
False
Let b(w) = 2*w**2 - 4*w - 8. Let x be b(-4). Suppose 0 = -v + x + 9. Is v a composite number?
True
Suppose 2*b = 3*b - 1750. Let r = b + -707. Is r a prime number?
False
Let k(x) = -14*x**3 + 3*x + 1. Let o be k(-3). Suppose -11*w = -9*w - o. Is w a prime number?
False
Suppose -691 = -2*p + 341. Suppose 2*z = 290 + p. Is z a composite number?
True
Suppose 7*m - 2671 = 7192. Is m composite?
False
Let x be ((-2)/(-2))/(22/6270). Suppose -t + x = -2*n, -4*t = 5*n - 527 - 665. Is t prime?
True
Let d be (2 + (-40)/14)/((-27)/126). Suppose 5*f + 249 - 689 = 0. Suppose -f = -d*u + 276. Is u a prime number?
False
Let n(t) = 5*t**2 + 10*t + 7. Suppose 0 = 3*g + 16 + 2. Let b be g/5*(15 - 10). Is n(b) prime?
True
Let d(l) = 3875*l**2 - l - 1. Is d(1) a prime number?
False
Let y = -944 - -1993. Is y composite?
False
Suppose 0 = -4*q - 0*q + 4*p + 924, -q = 5*p - 231. Let v = q - 86. Is v a composite number?
True
Is -5 - (-84)/15 - (-135048)/20 prime?
False
Suppose 30*i - 300880 = 29930. Is i composite?
False
Suppose 5 + 0 = -5*p. Is -2 + p/(4/(-228)) composite?
True
Let o be (4/3)/(18/(-81)). Let k = 9 + o. Suppose k*p + p - 316 = 0. Is p prime?
True
Suppose -203*x + 823437 = -194*x. Is x a composite number?
False
Suppose 0 = -3*p + 6*p - 855. Suppose -55*h + 60*h + 630 = 0. Let q = h + p. Is q a composite number?
True
Suppose -5*u = -3*u. Suppose f - b + 11 = 5*f, 4*f - 4*b - 16 = u. Suppose l + f*l = 524. Is l prime?
True
Let v = 2458 - 1292. Let z = v - 781. Is 1/(4/(z + 3)) a composite number?
False
Suppose 2*j = r + 3150 + 4773, -5*r = j - 3934. Is j a composite number?
True
Suppose -14*d + 762540 = 46*d. Is d prime?
False
Suppose -201232 = 54*k - 70*k. Is k composite?
False
Suppose -a = -3*v - 5*a - 3725, -2490 = 2*v - 4*a. Suppose 6 = -2*i + 5*i. Is (-4)/i*v/22 composite?
False
Let q be (-2)/(-3) - 17/3. Let l be ((-740)/(-25))/((-1)/q). Is (3 - 0)/(6/l) composite?
True
Suppose -20 = -2*b - 6. Suppose 0 = -11*m + b*m + 12. Suppose -x + m*n + 2117 = -n, -4*x - 5*n = -8405. Is x a composite number?
True
Suppose 3*m + 3*a - 1218 = 0, -2*a + 411 = m - 0*a. Is m composite?
False
Let j = 32 - 38. Let g(m) = -6*m**3 - 7*m**2 - 9*m - 1. Is g(j) a composite number?
False
Suppose 4*u + 1959 = c - 0*u, -7920 = -4*c - 5*u. Suppose z - 2*a = a + 992, -3*a - c = -2*z. Is z a composite number?
False
Let w(g) be the second derivative of g**5/20 - 3*g**4/4 - 2*g**3/3 + 7*g**2 + 4*g. Let x be w(10). Is (1 - x)/(6/(-18)) composite?
True
Suppose -2*c = 4*u + 21 - 81, 4*c + u = 120. Is ((-5)/(c/(-1146)))/((-2)/(-2)) a prime number?
True
Let s = 281 + -111. Suppose u - 5*c - s = 869, 2092 = 2*u - 3*c. Is u composite?
False
Let v(l) = l**3 + l**2 + 2*l. Let n be v(0). Suppose -3*s - s - 12 = 0, n = b - 3*s - 12. Suppose b*w - 99 = 240. Is w prime?
True
Let w(y) = y**2 - 7*y - 5. Let x be w(9). Let d = 15 - x. Suppose -d*u - 84 = -4*r, -3*u - 48 = 5*r - 164. Is r prime?
False
Suppose 0 = -2*b + 5*p - 22, -21 = 4*b + b - 4*p. Let h = -1 - b. Let d(c) = c**3 + c**2 + c + 113. Is d(h) a prime number?
True
Suppose -5*n + 201 = -4*o + 71, 2*o = 3*n - 80. Suppose -6*d = -d - n. Let h = d - -4. Is h a composite number?
True
Let n(c) = -c**3 + 3*c**2 + 6*c + 6. Suppose -3*k + 15 = -0. Let u be n(k). Is 43/(1/u*-2) a prime number?
False
Let l(f) = f**2 + 33*f - 137. Is l(-41) a prime number?
True
Let t be (-25246)/(-10) + (-4)/(-10). Suppose -h + 2*m = -t, 5*h + 2*m - 12611 = 5*m. Is h a composite number?
False
Suppose t + 3*t + 132 = 0. Let z = 614 + t. Is z a prime number?
False
Suppose 7*d + 15 = 6*d. Let c be (-55)/d - (-2)/6. Suppose -123 = -h - m + 4*m, -c*m = 0. Is h prime?
False
Let y(l) = -l**2 + 2*l + 3. Let f be y(3). Suppose 4*u + 3*a - 4573 = 0, -2*a - a + 9 = f. Is u prime?
False
Let q = 1355 + -673. Suppose q = 4*h + c, 0 = -h + c - 36 + 204. Suppose -v = -1149 + h. Is v composite?
True
Suppose a + 2 = k, 0*a - 4*a + 2*k = 12. Let c(m) = -m**3 - 3*m**2 + 4*m + 4. Let r be c(a). Suppose 0*x - 3*x = -3*o + 369, -r*x = -3*o + 374. Is o prime?
False
Suppose 0 = -17*q - 151338 + 602705. Is q a composite number?
True
Suppose 223 = 2*s - 531. Let m = s + 1094. Is m a composite number?
False
Suppose -2*i = 2*j - 566 + 3110, 4*i + 5083 = -5*j. Let q = 1950 + i. Is q composite?
False
Suppose -2*w - 2*w = -996. Suppose 7*g = -w + 4036. Is g composite?
False
Let s(n) = -9*n**2 + 10*n + 20. Suppose -2*r = -2*l + 11 + 1, r + 11 = 2*l. Let w(d) = -d**2 + 1. Let k(o) = r*s(o) + 6*w(o). Is k(-7) a prime number?
False
Suppose 3*a + 10*r - 449242 = 15*r, -3*a + 449245 = -2*r. Is a composite?
False
Let j = 339329 - 207282. Is j composite?
False
Let j(w) = -1 + 5 + 22*w**2 - 1. Suppose 0 = -2*m - 5*i + 11, 4*m + 3*i = 5*i - 14. Is j(m) composite?
True
Suppose -41034 = 21*u - 35*u. Is u a prime number?
False
Let y(a) = -a**3 + 7*a**2 - 3*a - 15. Let j be y(6). Let u(p) = 299*p + 10. Is u(j) a prime number?
True
Suppose -11*x = -5*x. Is (-2 - x)*2456/(-16) composite?
False
Suppose 0 = s + 2*w, 5*s + 9 = w - 2*w. Suppose -3*k = -24 - 6. Is k + (s - 15/(-3)) composite?
False
Suppose -9745 = l + 2*c, 0*l - 3*c = -2*l - 19518. Is l/6*(1 - 6/2) prime?
True
Let k(m) = m**2 - 15*m + 4. Let h be k(15). Suppose -2*l = -6*l - h*y - 360, 0 = -4*l + y - 340. Let i = l - -573. Is i composite?
False
Let g(d) = -14*d**2 + 5*d + 4. Let v be g(-1). Let t = v - -29. Is (-36)/(-84) + 2500/t a composite number?
False
Is -4 + (-210)/(-55) - 31671/(-11) a prime number?
True
Let g(q) = 641*q + 49. Is g(12) a composite number?
False
Let z be -4 + 268 + 4 + -2 + 4. Let y = 6 + -4. Suppose y*w = 308 + z. Is w a prime number?
False
Let v be (16*26)/(42/(-12) + 3). Let u = -339 - v. Is u a composite number?
True
Is -1 + (4 - (2 + -17781)) - -1 a prime number?
True
Let n(g) = 2*g + 6. Let d be n(-7). Let c = -9 - d. Is (10*c)/(4/(-74)) composite?
True
Is (8*8/(-160))/((-2)/10645) composite?
False
Suppose m - 9647 = 29*r - 27*r, -38636 = -4*m - 4*r. Is m prime?
False
Suppose -4*d + 4 = -3*d. Let b be -1 + 2 + -7 + d. Let t = 0 - b. Is t a prime number?
True
Let s be 4/14 - (0 - 19/7). Suppose 3*m - 7*m = -2*d - 720, -901 = -5*m + s*d. Is m prime?
True
Let d(m) = 168*m - 22. Let j be d(4). Let u = 1551 - j. Is u a prime number?
False
Let q(k) = -k - 1. Let z be q(-7). Suppose -z*p + 19 = -5. Let n(c) = c**2 - c + 1. Is n(p) prime?
True
Let a be ((-19)/38)/((-1)/174). Suppose -a = 3*f - 714. Is f prime?
False
Let i(x) = 3*x**2 - 6*x + 3. Let r be i(6). Suppose -2*z = l - 195, 0 = l - z - r - 114. Is l a prime number?
True
Is ((-28774)/(-3))/((-4)/(-6)) a composite number?
False
Suppose -i + 5*d + 729 = 0, d = -i + 509 + 226. Is i a composite number?
True
Suppose 2*v = 8*v - 12. Suppose 2*a = -v*m - 3*a - 29, 5*a = -25. Is 1 - ((-1 - m) + -14) prime?
False
Suppose -3*r + 1409 - 410 = 0. Suppose -4*c = 4*w + 324, -4*w + 4*c + c = r. Let s = -17 - w. Is s composite?
True
Suppose -67368 + 348 = -5*l. Suppose -7*h - l = -19*h. Is h composite?
False
Let i = -10924 + 17195. Is i a prime number?
True
Let s(x) = 2*x + 16. Let g be s(-14). Is (-9352)/(-6) + (-4)/g composite?
False
Let b(s) be the second derivative of 14*s**4/3 - 11*s**3/6 + 4*s**2 - 6*s. Let v be b(7). Suppose 6*q - v = q. Is q a prime number?
False
Suppose -2*y = -3*i + 14 + 9, -2*i + 10 = -y. Is 97*(-4)/y*4 a composite number?
False
Let u(j) = 62*j**2 - 2. Let q be u(3). Let w be -5 + 3 + -2*(-10)/4. Suppose r = -w*r + q. Is r prime?
True
Let i(x) be the second derivative of 259*x**4/12 - x**3/6 + x**2/2 - 9*x. Is i(1) a composite number?
True
Let g = -12 - -12. Let x(h) = h**2 + 4. Let i be x(g). Suppose 0 = -5*o, -y + 0*o = i*o - 23. Is y composite?
False
Let k be (15/(-25))/1 - (-5376)/10. Suppose 0 = 2*w - k - 3769. Is w composite?
False
Let j(x) be the third derivative of -5/12*x**4 + 0 - 11/