+ p(m). Is y(3) prime?
True
Let u be (2*1)/(22800/3258 - 7). Is u/(-4)*2/(-9)*-9 a prime number?
False
Suppose -20*o + 5*o = 30. Is 31938/(-12)*o*1 composite?
False
Suppose 0 = -3*x - 7*x + 240. Suppose -8*q + x*q - 296752 = 0. Is q composite?
True
Suppose -7*p + 0*p + 161 = 0. Suppose -p = -5*c + 4*q, 8*c + 2*q - 11 = 3*c. Suppose c*x = -4*b + x + 5038, 4*x + 5056 = 4*b. Is b composite?
True
Suppose 17 + 18 = 5*y. Suppose 8 + y = 5*v. Is ((-7)/21)/(0 + v/(-4311)) prime?
True
Let s be (-8 - -6) + (4 - -409)*535. Suppose -s = 44*b - 612685. Is b prime?
False
Let w(m) be the second derivative of -2599*m**3/6 + 27*m**2/2 - 13*m. Is w(-4) composite?
True
Suppose -36 = -y + 4*y. Let l be 4*2/(y/(-591)). Let h = 73 + l. Is h composite?
False
Let z = 1069760 + -708393. Is z a composite number?
True
Is (-10)/8 - (3 - 143823/12) prime?
True
Suppose -152*k + 90398 = -75*k. Is k composite?
True
Let t(h) = 31*h**3 - 27*h**2 + 81*h + 11. Is t(12) a composite number?
True
Is (-132)/60 + 2 - 158/(-5)*167 prime?
False
Let w(n) = 1602*n**2 + 24*n + 587. Is w(-17) composite?
False
Suppose -4*u + 43174 = 2*t, -70*t = 2*u - 65*t - 21591. Is u a composite number?
True
Suppose -2*b + 4*c = 7*c, 3*b + 1 = -5*c. Let i(k) = -513*k - 20. Let t(j) = 512*j + 19. Let q(h) = 3*i(h) + 4*t(h). Is q(b) prime?
True
Suppose 4*z + 3732 = 3*s, 4*z = 2*s - 841 - 1651. Let d = 5999 - 6280. Let q = d + s. Is q a prime number?
False
Let u be (-1)/5 + 338/65. Let c be u/10*(-1 + 7). Let y(a) = 110*a + 9. Is y(c) a prime number?
False
Let f = 2484 + -1450. Let a be (-1 - (-585)/2)*2. Let w = f - a. Is w a prime number?
False
Let i be (8/12)/(19365/(-6453) - -3). Is (8/(-5))/(18/(-45)) - i composite?
True
Let q be 6 - (10/(-5) + -31008). Suppose 3*a - 2*k = 23262, 4*a + 14*k - 17*k - q = 0. Is a a prime number?
False
Let b(f) = -f - 3. Let k be b(-7). Let q be (-16 - (0 - -2))/((-14)/1421). Suppose -q - 385 = -k*v. Is v a composite number?
True
Let p = 228357 + -135806. Is p prime?
True
Let l(z) = 28393*z**3 - 14*z**2 + 106*z - 166. Is l(3) a prime number?
True
Let w(n) = 3*n + 18. Let q be w(-6). Suppose q = -4*h + 5*o + 6034, 3*h - 4543 = 4*o - 9*o. Is h a composite number?
False
Let s = -59 - -55. Let o be s/6 + (-4)/12 + 4. Suppose -5*x - 2*q = -3845, 3*x = -0*x - o*q + 2307. Is x a prime number?
True
Suppose -4152936 = -98*m - 1321324. Is m a composite number?
True
Let r = -419 - -26068. Is r prime?
False
Suppose 182*p = 178*p + 572. Suppose 156*x - p*x = 412997. Is x composite?
False
Suppose -5*s + 152197 = 2*w, -w + 0*w = -3*s - 76082. Is w a prime number?
True
Suppose 2*a - d - 24 = 0, -5*d - 1 - 2 = 3*a. Suppose -u = 5*v - 63, 0 = -9*u + 4*u + 3*v + 455. Suppose 0 = q - u + a. Is q a prime number?
True
Let f(l) = -1 + 1336*l**2 + 19*l + 886*l**2 - 23*l - 1611*l**2. Suppose 5*y + 26 = -2*q, -3*y + 2 + 1 = -5*q. Is f(y) a prime number?
True
Is (4010448/1040)/((-3)/(-10)) composite?
True
Let k(f) be the third derivative of -f**3 - 2*f**2 - 7/24*f**4 + 0*f + 0 - 1/30*f**6 + 1/10*f**5. Is k(-5) a composite number?
True
Suppose -6*h = 5*s - 6080964 - 9218999, -s = -2*h + 5099985. Is h composite?
False
Suppose 5*j + 1606 = -19. Let h = j - -1062. Is h prime?
False
Let d be (-381010)/(-20) + 2/4. Let r = 2416 + d. Is r a prime number?
True
Let c(l) = -51*l**3 + 12*l**2 - 9*l + 145. Is c(-23) a prime number?
True
Let o(n) = 17*n**2 - 4*n - 8. Let s(v) = -v**3 + 14*v**2 - 16*v + 32. Let b be s(13). Let c be o(b). Suppose -c = -i + 5278. Is i prime?
True
Let o be (((-2)/(-10))/((-9)/(-15)))/(376/(-258312)). Suppose 3*d - 2032 = -3*z - 541, z = 3*d + 485. Let c = o + z. Is c a composite number?
True
Let q(c) = -c + 2. Let x(p) = -137*p + 59. Let i(m) = 4*q(m) - x(m). Is i(26) a prime number?
True
Is 75/((-225)/15) + (-42388)/(-1) a prime number?
False
Suppose 6 = 3*y - 24*b + 29*b, 0 = -b. Let a(r) = -r**3 + 3*r**2 + 3. Let p be a(3). Suppose -y*u - 157 = -p*u. Is u prime?
True
Let d(h) = h**3 - 9*h**2 + h - 6. Let g be d(9). Suppose 4*x - 4*s + 7 = -9, -12 = 5*x - g*s. Suppose 485 = z - x*z. Is z composite?
True
Suppose 965*i = 931*i + 1950478. Is i composite?
False
Let q be -4 + 2 - ((1 - -1) + -13). Suppose q*l + 707 - 158 = 0. Let k = 68 + l. Is k composite?
False
Suppose 2*a = p, -3*p + 10 = 3*a + a. Let t be ((-12)/(-8))/(3/p). Is 2436 + 2*((-1)/(-2) - t) a composite number?
True
Is 17 - (-1346348 - -8)/19 composite?
False
Let j = -1101 - 421. Let i = -608 - j. Is i a prime number?
False
Is (3 - (-55)/(-15))/(4/(-194802)) a composite number?
False
Let d(o) = -o**2 + 42*o - 27. Let l be d(41). Suppose 0 = -l*p + 8522 + 15656. Is p prime?
False
Suppose -662735 = -49*s + 2813178. Is s prime?
True
Suppose 67*r - 61*r - 26922 = 0. Suppose 2*x + t + r = 6*x, 1118 = x - t. Is x prime?
True
Let h(i) = 22*i**2 + 4*i - 3. Let k be h(3). Let t = 131 - k. Let x = 287 + t. Is x composite?
False
Let v be 0 + -2 + (-63)/(-9). Suppose 2*t + 2*t - 11 = -3*m, -5*m - 4*t = -v. Is -2*3/m + 1903 + -4 prime?
True
Is 2/8 - (1351581/(-12) - -11) composite?
False
Let p be 6/21 + 445/35. Suppose p*n = -13*n + 231998. Is n composite?
False
Let t(j) = -j**3 + 2*j**2 - j - 1. Let c be (5 + -6)/((1 - 0)/1). Let u be t(c). Suppose -7*y + 8204 = -u*y. Is y a composite number?
True
Let d be (2 + -2)/(5 + (-1 - 3)). Suppose -3*s + 3*q + 27 = d, 2*q = -0 + 2. Suppose -9*k - 1217 = -s*k. Is k a composite number?
False
Let x(m) = 84*m**2 - 2*m - 9. Suppose -3*f + 27 - 21 = 0, -5*k - f = -27. Is x(k) composite?
False
Let s(g) = 51*g**2 - 8*g - 25. Let c be s(-13). Suppose 5*i - c = 3787. Is i prime?
False
Suppose -5*c + 3*a - 13 = 0, 9 = -c - 0*c - a. Let b(i) = -739*i + 9. Let k be b(c). Is (-10)/15 - k/(-3) prime?
False
Is ((-25790564)/17)/(4/2 + -6)*1 a prime number?
True
Let n(r) = -58*r**3 - 15*r**2 + 46*r - 223. Let w(d) = -29*d**3 - 7*d**2 + 23*d - 111. Let y(f) = 2*n(f) - 5*w(f). Is y(12) a composite number?
True
Let d = -150516 - -335530. Is d a composite number?
True
Let p = -35313 - -58137. Suppose -z + 2*u - 1557 = -7272, 0 = 4*z + u - p. Is z a prime number?
False
Let d(q) = -7030*q - 89. Let k be d(-5). Suppose -5*l + 1764 = 5*u - k, l - 22103 = -3*u. Is u composite?
False
Suppose 8*f = 15*f - 9443. Is -4 + 2 - f*(-2 - -1) prime?
False
Let l(n) = -n**3 + 6*n**2 - 4*n - 11. Suppose 45 = 11*z - 2*z. Let h be l(z). Is (-4)/h - (620/(-6) + -2) a composite number?
True
Suppose -3*s - 50621 = -14*h + 13*h, 0 = h - s - 50633. Is h composite?
True
Let v be (-1 - 3573) + 0 + 1. Let m = v + 6010. Is m composite?
False
Let n(o) = -13*o + 129. Let r be n(10). Is 4/((-16)/1492)*r composite?
False
Let h = -10014 - -2677. Is 1*(-14)/63 + h/(-9) composite?
True
Suppose 0 = 5*y - 3*y - 10, 0 = 3*w + 4*y - 35. Suppose 0 = -2*b - 4*f + 3696 + 4304, 3*f - 19993 = -w*b. Is b a composite number?
True
Suppose 5*r + 5*z - 756055 = 0, 4*r = 7*z - 10*z + 604844. Is r composite?
True
Let z = -458780 + 817179. Is z a prime number?
False
Let m = -13801 + 2195. Is (1 - (-2)/(-3)) + m/(-21) a prime number?
False
Suppose 2*a + 2*n = -2*a + 3292, 0 = 4*a - 4*n - 3316. Let p = 1732 - a. Is p composite?
False
Let d(j) be the third derivative of 0 + 0*j + 1/6*j**3 + 10*j**2 + 1/12*j**4 + 8/15*j**5. Is d(3) a composite number?
True
Let x be (2 - 72/16)*(-1752)/15. Let a = x - 29. Is a composite?
False
Let w(q) = -q**3 - 12*q**2 + 5*q - 101. Let k be w(-13). Suppose -2*h - f + 9868 = -h, 2*h = k*f + 19721. Is h prime?
False
Let w = 10 - 7. Suppose 3*b + 2*y = -20, 2*b + w*b + 8 = 3*y. Is 3*(b - 401/(-3)) composite?
False
Let v = -6884 + 29996. Suppose 2*t - v = -11*f + 16*f, -2*t = 3*f - 23144. Is t composite?
True
Let p = -10027 + 34868. Is p composite?
False
Let t = 4 - 1. Let s(a) = 3*a**3 + 3*a**2 - 5*a + 1. Let i be s(1). Suppose 5*j + h = 1891, -i*j + 496 = t*h - 250. Is j a composite number?
False
Let m(u) = -5*u + 1931. Let w be (-2)/(-3) - (-42)/(-63). Is m(w) prime?
True
Suppose 5*o = -v - 3*v - 18, 0 = 5*o - 5*v + 45. Let p be (-188438)/o - 6/18. Suppose -p = -11*m + 13815. Is m a prime number?
True
Suppose a + 3*a - 124052 = 0. Is a prime?
True
Let r be (-11)/((-11)/(-6)) + 112. Is ((-25)/10)/((-1)/r) composite?
True
Let m(f) = 5*f**2 + 182*f + 685. Is m(-116) composite?
False
Let b(h) = 178*h**2 - h + 6. Let a(q) = -q**2 - q +