et k(q) = -7*q + 257. Let h(w) = -3*w - 4. Let i(m) = 2*m + 3. Let u(z) = 3*h(z) + 4*i(z). Let a be u(0). Is k(a) prime?
True
Suppose i - 1447336 - 915534 = -i. Is i prime?
False
Let n(i) = -2*i + 7*i - 6*i. Let w be n(1). Is (((-8785)/(-2))/5)/(w/(-2)) composite?
True
Let g be (-4)/6 - (-5 + 464/24). Let k be ((-37935)/(-81))/((-1)/g). Suppose 4*x - s - 10056 - k = 0, 4*x + 4*s = 17096. Is x a composite number?
False
Suppose -67*l = -70*l + 62670. Let u = l - 12099. Is u a prime number?
False
Let x be (-42)/12 + 5 - 31925/(-2). Suppose 0 = -26*b + 22*b + x. Is b composite?
True
Suppose -21*i - 5*s - 23754 = -24*i, 0 = -4*i - 4*s + 31640. Is i prime?
False
Let u(n) = -n**3 + 3*n**2 - 3*n + 2. Let b be u(0). Is (4*(-45145)/(-100))/(b/10) a composite number?
False
Let a(h) = -h**2 + 9*h**2 - 4*h**2 + 5 - 3*h - 735*h**3 - 4*h**2. Is a(-2) composite?
True
Let t(i) be the second derivative of i**5/4 - 3*i**4/4 - 11*i**3/6 - 5*i**2/2 - 46*i. Is t(10) prime?
False
Let d(z) = z**3 + 10*z**2 - 26*z - 13. Let p be d(-12). Let c(j) = 22*j**2 - 3*j - 50. Is c(p) a prime number?
True
Suppose 4*v + 11*v = 150. Suppose -6*s = -s - 5380. Suppose 2*l - s = v. Is l a prime number?
False
Suppose 3*i - 63774 = -3*y - 18246, -4*y + 30346 = 2*i. Is i a composite number?
True
Let k = 56 - 32. Let m(z) = -z + 23. Let u be m(k). Let d(i) = 628*i**2 - 3*i. Is d(u) a composite number?
False
Suppose -4*k + 22 + 2 = 0. Let r(j) = 5 - 5*j + 17*j**3 - j**3 - 12*j**3 - j**3 - 6*j**2 - j**3. Is r(k) composite?
False
Let j(b) = -b**2. Let k(l) = -944*l - 20*l**2 - 17 + 4 + 951*l. Let p(z) = 4*j(z) - k(z). Is p(10) prime?
True
Let b be -88 + (2 - 11 - -5). Let a = 96 + b. Suppose a*n + 819 - 2575 = 0. Is n a composite number?
False
Let j(w) = -w - 8. Let o(t) = 1. Let a(u) = -j(u) + o(u). Let b be a(-2). Suppose r = 3*d + 2690, r - b*d + 6*d - 2700 = 0. Is r a prime number?
False
Is 113/((-2373)/(-126)) + 87690 + -1 prime?
False
Is (0 - (-1)/6)*(12 + 5924472)/6 prime?
True
Let c(d) = -d**3 + 23*d**2 + d - 11. Suppose 5*i - 113 = u - 3*u, -5*i + 110 = 5*u. Let r be c(i). Let v = r + 21. Is v a composite number?
True
Let p(m) = m. Let k be p(-1). Let a be -3 + k + 13 + -2. Suppose 3*w - a*w = -508. Is w composite?
False
Let h = -77383 - -187260. Is h composite?
True
Let h(b) = 2*b**3 - 9*b**2 + 5*b - 3. Let w be h(4). Is w*4 + 117315/45 a prime number?
False
Is (1/3)/(2048856/(-682956) - (8 - 11)) a composite number?
True
Suppose 0 = -69*r + 64*r + 95725. Suppose 23*w - r - 5258 = 0. Is w a composite number?
False
Let g(v) = 1865*v - 17. Let c(m) = -m - 2. Let k(p) = -6*c(p) - g(p). Is k(-2) composite?
True
Let a(s) be the third derivative of 1/30*s**6 + 7*s**2 + 0*s - 1/60*s**5 - 3/2*s**3 - 1/8*s**4 + 0. Is a(4) a composite number?
True
Suppose -253232 = -3*q + 717821 - 147124. Is q composite?
True
Let k(u) = -290*u + 27. Suppose -9 = l - 0. Let x be k(l). Let m = x - 1436. Is m composite?
False
Let c(a) = 48 - 22*a - 21*a + 30*a. Is c(-10) prime?
False
Let d be 6 + -1 + 3 + -4. Let r be (d/5)/((12/10)/3). Suppose -2*l - 3*l - 2*x + 4269 = 0, -2*l + 1702 = -r*x. Is l a composite number?
False
Let y = 50 + -31. Suppose 3*m - 2*z - y = 0, 0 = -4*z - 7 - 13. Suppose 2*d - 751 = -m*v - 2*d, 2*d = -4*v + 1018. Is v prime?
True
Let u(k) = -1271*k**3 - 43*k**2 - 189*k - 11. Is u(-4) a prime number?
True
Let n(y) = 58*y**2 - 5*y - 6. Let p be n(-4). Suppose -g - 2 = 0, 3*h = 4*g + 2909 + 1272. Let x = h - p. Is x prime?
True
Suppose -5*d - 2*a = -6078, d + 2434 = 3*d - 2*a. Let j = d - -3514. Suppose -4*z - j = -20502. Is z prime?
True
Suppose s = 3*s - 4102. Suppose -119*j + 117*j = -3*k - 10, -3*k - j = -5. Suppose k = -2*v + 671 + s. Is v a prime number?
True
Let x = -381 + 384. Is (957/12 - x)/((-9)/(-180)) a prime number?
False
Is (34 - 192)*7642/(-4)*(-2 - -3) composite?
True
Suppose 0 = 5*p - 5*z - 73935, -4*p - 4*z + 59150 = -9*z. Is p a composite number?
True
Let g(y) = 3*y**2. Let c be g(-1). Suppose w + 5 = -0*w, -d - c = w. Suppose d*h = 2*i + 450, 4*h + 5*i - 765 - 117 = 0. Is h a prime number?
True
Let g = -331 + 331. Suppose g = -16*r + 14925 + 33763. Is r a composite number?
True
Suppose 11225 - 5 = -4*f. Let j = -1450 - f. Is j a composite number?
True
Let t(a) = a**3 + a**2 + 3*a + 541. Suppose 3*m + 2*m + 25 = -4*n, 2*m + 10 = -4*n. Is t(n) prime?
True
Suppose -88*m + 87*m - 4*q = -291, q = -3*m + 884. Is m a prime number?
False
Let i(h) = h**3 - 4*h**2 + h + 6. Let g be i(3). Suppose g = -6*c - 30 - 24. Is (-2126)/(-6) + 1 + 3/c composite?
True
Let x = -42554 + 446911. Is x a composite number?
False
Let g(z) = 3*z**2 + 6*z. Let q be g(-4). Let w be ((-2)/(-6))/((-2)/q). Is w/14 + (-78957)/(-63) composite?
True
Suppose 5*u + 7 = -3*a + 39, 5*u + 2*a = 28. Suppose -8 = -u*q - 0*q, -10335 = -5*c - 5*q. Suppose -2*k = -c + 507. Is k a prime number?
False
Let s(b) = -b**3. Let q(x) = 4*x**3 - x**2 - 2*x + 2. Let v(h) = q(h) - 5*s(h). Let p be v(1). Suppose 0 = 3*n - 3*z - 738, 0 = 3*z - p*z + 25. Is n composite?
False
Let c be 14/2 + 4/((-4)/3). Suppose 6093 + 2071 = c*b. Is b a composite number?
True
Let a(r) = -287*r + 227. Let u be 24*(-2 + (-9)/(-6)) + -1. Is a(u) prime?
False
Suppose -36*b + 43487 + 544429 = 0. Is b prime?
False
Let d = 181802 + 59405. Is d composite?
False
Is -6 + 212551/5 + ((-182)/35 - -6) a composite number?
True
Suppose 2*f - 171044 + 53472 = -2*r, 4*r = 4*f - 235168. Is f composite?
False
Let m(i) = 11*i**3 + 2*i**2 + i + 2. Let x be m(-2). Is -1538*25/x + (-6)/(-16) a composite number?
True
Let s = -62267 - -302376. Is s prime?
True
Suppose p - 5*w = -4383, -p = -w + 2807 + 1596. Let m = 9173 + p. Is m a prime number?
False
Let j(z) = 205*z**3 - 4*z**2 + 15*z - 23. Let r(s) = 410*s**3 - 7*s**2 + 29*s - 46. Let u(d) = -5*j(d) + 3*r(d). Is u(2) prime?
True
Suppose -26*w + 0*w = 62*w - 21228152. Is w prime?
True
Suppose -1924824 - 5796135 = -12*w - 1350963. Is w a prime number?
True
Suppose 3*p + 37*p = -2630488 + 21321968. Is p a prime number?
False
Suppose -3*h = -0*h - 12, 0 = -3*p + 5*h - 1088. Let y = -159 - p. Let n = -140 + y. Is n a prime number?
False
Suppose -4*n - 5*s = -1331, 98 = 2*n - 5*s - 575. Let v(u) = -n*u - 4 - 8 - 5 - 2. Is v(-6) a prime number?
False
Let z(k) = 2*k**2 - 23*k + 37. Let p be z(9). Let i(d) = 154*d**2 + 41*d + 1. Is i(p) prime?
False
Is ((-1234695)/20 - -9)*(-8)/6 prime?
True
Suppose 494*o - 447*o = 976754. Is o prime?
False
Suppose 0 = -15*v + 11*v - 3*y + 32339, -4*v - 5*y + 32341 = 0. Suppose -v - 20149 = -9*a. Is a a composite number?
False
Let h = -237 + 506. Suppose -3*l + 16*l - 182 = 0. Is h - (2 - 9)*(-4)/l a prime number?
False
Suppose 11*w - 9*w = -2*u + 493008, 0 = 4*w + u - 985995. Is w prime?
True
Let m be (-2 - -7) + (-58 - -16). Let t(s) = -82*s + 45. Is t(m) a composite number?
False
Suppose -3*c + 9 = -o - 22, -4*o = 4. Suppose 0 = r - 2*k - 1325, r - c*k = -5*k + 1313. Is r prime?
False
Suppose -551375 = -8*i + 44793. Is i a prime number?
True
Let u(j) = 2*j**3 + 24*j**2 - 43*j - 19. Is u(20) a composite number?
True
Let r(n) be the second derivative of 259*n**3/3 - 69*n**2/2 - 98*n. Is r(5) a prime number?
True
Let q = -658073 + 1185816. Is q a composite number?
True
Let k(t) = -t**3 + t**2 + 25*t + 50. Let w be k(-2). Is 8161400/88 + w/(-66) a prime number?
False
Let q be (-99)/(-4 + (-20376)/(-5096)). Suppose -2*p - 30068 = -2*z + 32992, -q = -2*z - p. Is z prime?
True
Is -2 + 3 - 7 - (18 + (-17920 - 7)) prime?
True
Let u = 20090 + -11392. Let f = u - 3437. Is f prime?
True
Let t(r) = 2. Let g(f) = 72*f - 1. Let n(k) = g(k) - 5*t(k). Let m(o) = o**3 - 4*o**2 + 4*o - 4. Let b be m(4). Is n(b) a prime number?
True
Let r(h) be the third derivative of 1/4*h**5 - 11/6*h**3 + 1/8*h**4 + 15*h**2 + 0 + 0*h. Is r(7) composite?
True
Let y(h) be the third derivative of -h**6/24 + h**5/30 - 7*h**4/8 + 3*h**3/2 + 2*h**2 + 3*h. Is y(-7) a composite number?
True
Let u(q) = -13*q**3 + 11*q**2 - 79*q + 28. Is u(-11) a composite number?
False
Suppose k - 20*d + 21*d - 7 = 0, -2*k = d - 13. Is (k + (-99)/18)*(0 - -18478) a prime number?
True
Let j(d) = -d**2 - 2*d - 97. Suppose -4*a + 0*a = 0. Let f be j(a). Let p = f + 183. Is p a prime number?
False
Suppose 0 = t + x - 491557, -3*t + 3*x = -5*t + 9831