 + (-1892)/(-7). Is 3*a/2 - -2 a composite number?
True
Let p(n) = -123*n**3 - 25*n**2 - 66*n - 675. Is p(-11) prime?
True
Let j = 53293 + -13311. Is j composite?
True
Let t(p) be the first derivative of 10*p**3 - 3*p**2/2 + 2*p + 62. Is t(-9) a prime number?
True
Is (-249)/(-249) + 2928/1 + 0 composite?
True
Let f = 129 - 40. Let a be 3/((-42)/(-18082)) - (-18)/42. Suppose p - f = a. Is p a prime number?
True
Let c(v) be the third derivative of -v**6/120 + v**5/15 + 5*v**4/24 + v**3/2 - 18*v**2. Let h be c(5). Let q(w) = 152*w - 5. Is q(h) a composite number?
True
Suppose 4*w = 3*a + 2235646, 3*a + 354325 = w - 204582. Is w composite?
False
Suppose 27*c = 24*c + m + 694184, 1156971 = 5*c - 2*m. Is c composite?
True
Suppose -42*g + 13971248 = -5489410. Is g a composite number?
True
Is 4*61350/40 - 14 a composite number?
False
Suppose -590*t + 583*t + 1362263 = 0. Is t prime?
True
Let r = 179786 - 78541. Is r a prime number?
False
Let u(t) = 11849*t + 413. Is u(6) a composite number?
True
Is 14/(-84) - -38*1126036/48 composite?
True
Let p(h) = -7*h**2 - 12*h + 3. Let m(i) be the third derivative of -i**5/20 - i**4/4 + i**3/6 + 9*i**2. Let f(z) = 9*m(z) - 4*p(z). Is f(-6) a composite number?
True
Suppose 89*p + 4*p = -24*p + 5168007. Is p composite?
False
Let c be -2*(-40)/(-16) - (-1 + -4). Suppose 17*h - 16031 = -c*h. Is h a prime number?
False
Let w be (-2 - 201737/(-4))/((-2)/(-8)). Is 8/6*w/44 a composite number?
False
Let o = -83 - -229. Let j = 556 - o. Suppose 0 = -n - 4, 3*n = 3*i - 2*i - j. Is i composite?
True
Let s be 10/(-25) - 2/(-5). Is 3 - (s - 3034 - 6) a composite number?
True
Let c be 2/(-8) + (-29815)/20. Let r be -3*(c - 1)*13/(-52). Let v = r + 2128. Is v a prime number?
True
Suppose 4*m + 4*v - 8 = -0*v, 0 = m + 3*v - 6. Suppose m = -14*g + 12*g + 326. Suppose 46 = -3*q + g. Is q prime?
False
Suppose -r = 5*r + 132. Let a = -22 - r. Suppose k - 1941 = -a*k. Is k a composite number?
True
Suppose r = 2*r - 4*g - 5253, 0 = -5*r - 2*g + 26309. Suppose -5*v + 981 - r = 5*k, 2*k - 2*v + 1704 = 0. Let h = k - -1707. Is h prime?
True
Let h be ((-114)/4 - 0)*-90. Suppose 0 = -2*o + 42 + 298. Suppose -5*t - o + h = 0. Is t prime?
True
Let w(o) = o**3 - 5*o**2 + o + 3. Let x be w(5). Let a(j) = 66*j**2 + 14*j - 33. Is a(x) a composite number?
True
Suppose 0 = -v - 7*v + 2768. Suppose 5*j + 562 = 3*z - 7, -5*j = 2*z - v. Suppose z - 961 = -2*x. Is x a prime number?
True
Suppose -140*n + 315499 - 54959 = 0. Let d be 1/4 - 4305/4. Let i = d + n. Is i prime?
False
Suppose 16*d - 150171 = -5*d. Suppose 5*u - 26534 = d. Is u composite?
False
Let o = 2611674 + -1081741. Is o composite?
False
Let t = -1287 - -2853. Suppose 2*k + 2*b = k + t, -4*k + 6288 = 2*b. Is k a composite number?
True
Let m(h) = h**3 + 9*h**2 + 12*h - 9. Let v be -3*(-24)/(-9) + 0 + 1. Let w be m(v). Suppose z + w = 6*z, -2*z = 2*s - 780. Is s composite?
False
Let k = 55357 + 1066. Is k prime?
False
Let q = 209615 - -204143. Is q a composite number?
True
Suppose -5*y + 2*y - 22 = r, 2*y = -10. Let m(q) = 31*q**2 - 5*q + 7. Let v be m(r). Suppose -6*o + 9845 = -v. Is o composite?
False
Let x = -5076 - -8673. Let v = 1901 - x. Let k = v + 2705. Is k a composite number?
False
Let j(r) = 4*r - 13. Suppose 58 = -3*y + 6*y + 5*f, 5*f + 68 = 3*y. Let g be j(y). Suppose -b = -g - 56. Is b composite?
False
Let o = -18 + -18. Let q = 42 + o. Suppose 529 = 4*v + q*u - u, 395 = 3*v + 2*u. Is v a composite number?
False
Suppose -16*m - 103376 = -361632. Is m a composite number?
False
Suppose r - 4*r - 12849 = 0. Let a = r - -10188. Is a a composite number?
True
Suppose 0 = -14*y - 2070 + 9238. Let p = -303 + y. Suppose p = r - o, 4*r + 3*o = 287 + 549. Is r composite?
True
Let q(g) = -127*g**3 + 23*g**2 + 196*g - 55. Is q(-9) a prime number?
True
Suppose 0 = 8*t - 6*t + 34. Let i(k) = 91*k**2 - k + 11. Is i(t) prime?
False
Let q = 758 + -756. Suppose 2*p + 5703 + 8375 = q*d, -5*d - 4*p = -35195. Is d composite?
False
Suppose -k - 17 = -4*y, 0 = 3*y - k - 14. Let b be (y + 2 - 2) + -102. Let p = 226 + b. Is p a composite number?
False
Suppose 461577 = -10*n - 5*n + 1241082. Is n a composite number?
True
Suppose -f = -6*f - 5*r - 15, -f - 8 = 2*r. Suppose -2*v + 3*v = 0, -h + f*v + 5 = 0. Suppose -h*b + 2296 = -5349. Is b a composite number?
True
Let z(u) = 390*u + 23 - 362*u + 4. Is z(8) a prime number?
True
Let h(t) = t**2 + 13*t + 42. Let l be h(-7). Let s(n) = -27*n + 4535. Is s(l) composite?
True
Let k = -216 - -219. Suppose 0 = 7*f - 8*f - 1, -k*h = 2*f - 4195. Is h a composite number?
False
Suppose -5*p - 334 = -1784. Let w be (p/(-15))/(((-8)/9)/4). Suppose w + 84 = 3*h. Is h composite?
True
Suppose 5*z = -5*g + 360510 - 61780, -3*z = -15. Is g a composite number?
True
Let q(o) be the third derivative of 41*o**4/24 + 37*o**3/6 + o**2 + 3*o. Is q(10) a composite number?
True
Suppose -11676115 = 36*h - 91*h. Is h a composite number?
False
Let a(f) = 26*f + 132 - 63 - 37. Let g be a(5). Let c = g - 77. Is c composite?
True
Let w = -40 + 45. Suppose -5*y = 3*n - n - 36465, 0 = -w*n + 5*y + 91250. Suppose 0 = 6*o - n - 3637. Is o a prime number?
False
Let v = -27 + 53. Let n(q) = -31*q + q**3 + 147*q - 5 - 74*q - v*q**2. Is n(26) a composite number?
False
Let t(r) = -15*r**3 - 4*r**2 - r + 1. Let c(n) = 2*n**3 - 4*n**2 - 4*n + 5. Let j(b) = 2*b + 26. Let g be j(-12). Let f be c(g). Is t(f) a composite number?
False
Let s = -1094 - -1701. Let w(f) = -187*f**2 - 3*f - 4. Let m be w(-1). Let h = s + m. Is h composite?
False
Let k = 223884 + -97997. Is k prime?
True
Let j be (-10)/(-2)*(-26)/(-65). Suppose -5*f + 3*f + 6470 = w, 2*w = -j*f + 6474. Is f a prime number?
False
Let f(m) = 4*m + 1. Let r be f(1). Suppose 2*d - 5*c - 601 = 0, -171 - 107 = -d - r*c. Is d a prime number?
True
Is ((-6913)/3)/((-92)/(-69) - (-5)/(-3)) composite?
True
Let c(h) = 1867*h - 58. Let p be c(3). Let q = -2334 + p. Is q prime?
True
Suppose -y + 3*i + 8 = 0, -2*y - 2*i - 12 = -6*y. Suppose 5*b = -3*u - 13, 5*u = b - 1 - y. Is (-126522)/(-165) - u/5 composite?
True
Suppose -5*l + i = 73, 0*i + 2 = -i. Let t(j) = -49*j - 5. Let o be t(l). Suppose k = -k + o. Is k composite?
True
Let m(j) = -1170*j - 31. Let t(k) = 1166*k + 31. Let g(i) = -4*m(i) - 5*t(i). Is g(-15) a composite number?
True
Let a = -961 - -1533. Let q be (308 + -17)/((0 - -3) + -2). Let g = a + q. Is g a composite number?
False
Suppose -4*w - 6477 = -2*u - 9*w, -5*w - 3231 = -u. Suppose 4*j - 2*k = 2*k + u, 6 = 3*k. Is j a prime number?
True
Let d(s) = 260*s**3 + 11*s**2 - 80*s - 11. Is d(6) a prime number?
False
Let f(g) = g**3 + 35*g**2 - 38*g - 74. Let a be f(-36). Is a + (-30)/(-5) + 5619 prime?
True
Let l = 9636 - -52019. Suppose -12461 - l = -4*u. Is u a composite number?
True
Is 23447 - (-41)/((-574)/(-168)) prime?
True
Let g(u) = -16 - 17 + 10 - 4*u. Let q be g(-6). Is (q - 150)/(3 + -4) a composite number?
False
Let i = -90753 + 280133. Suppose 394*w - 414*w + i = 0. Is w a composite number?
True
Let b(q) = -q**3 + 42*q**2 + 42*q + 46. Let f be b(43). Suppose -f*t - 15126 = 45*k - 47*k, 0 = -3*k - 2*t + 22689. Is k a prime number?
False
Suppose -o = -2*l + 5195 + 7991, -o = -4. Is l a prime number?
False
Suppose -23456 = -39*j + 18937. Is j a composite number?
False
Suppose 50*h + 156*h - 2*h - 20877972 = 0. Is h prime?
False
Suppose -w - 2*v + 7*v = -51, -2*v + 116 = 4*w. Suppose -24*q + w*q = 25459. Is q composite?
False
Suppose -55*q + 522 = -138. Suppose 2*l - 5 = 7*l. Is 5829*((-8)/q - l) a prime number?
False
Suppose a + 0*a - 679 = 0. Let x(w) = -3*w**3 + 6*w**2 - 30*w + 13. Let l be x(5). Let m = a + l. Is m a prime number?
True
Let d(a) be the third derivative of -11/2*a**3 + 0*a + 131/24*a**4 + 0 - 37*a**2. Is d(6) composite?
True
Suppose -9*c = -1138281 + 16440. Is c a prime number?
False
Is -1*2*-397993*(9 - 527/62) a composite number?
True
Let q(k) = -1346*k**2 - 35*k + 33. Let d(o) = 449*o**2 + 12*o - 11. Let p(n) = -11*d(n) - 4*q(n). Is p(6) prime?
True
Suppose -15*k + 334988 - 66923 = 0. Is (k + -20)*(4 - 3) composite?
False
Suppose -4*k + 2*p + 418316 = 0, -199*p = -3*k - 204*p + 313737. Is k a composite number?
False
Suppose -19*x + 1398989 = -13*x + 23*x. Is x composite?
True
Suppose -3*b = -3*v + 33, 4*b - 