Let c(u) = 221*u**2 + 2*u - 1. Let k(i) = -2*c(i) + 3*g(i). Is k(h) composite?
True
Suppose 8*c + 13 = -5*c. Let g(o) = 18552*o**2 - o. Is g(c) prime?
True
Let s = -7345 - -13122. Is s a prime number?
False
Suppose 524*b + 226415 = 559*b. Is b a composite number?
False
Let v(l) = 6*l**2 - 552*l - 479. Is v(125) prime?
False
Let k(v) = v**3 - 8*v**2 + 12*v + 10. Let d be 2*(-6)/4 + (3 - 0). Suppose -5*c + 1 + 44 = d. Is k(c) composite?
False
Suppose 14*r = 271873 + 114261. Is r a composite number?
False
Let v(m) = 271*m**2 - m - 47. Suppose -30*x + 29*x = 5. Is v(x) prime?
True
Let d(m) be the second derivative of m**5/20 + m**4/6 - 3*m**3/2 - 7*m**2/2 - 2*m. Let l be d(-7). Let o = l + 646. Is o prime?
True
Let i be 0 - 0 - (-3 - -1). Suppose -i*s + 43 = -65. Let v = -33 + s. Is v a composite number?
True
Let n = -204 + 217. Suppose n*x = 6*x + 2317. Is x a composite number?
False
Is 3/8 - 117755819/(-1784) a composite number?
True
Let z = 139534 + -83175. Is z a prime number?
True
Is (1 - (-6)/4)*(55 + 5764158/90) a composite number?
False
Let i(r) = -r**3 + r**2 - r + 6. Let u be i(2). Suppose 2*a - 1 - 53 = u. Suppose -19*l - 27416 = -a*l. Is l a prime number?
False
Let x be -11*2/(-14) + 6/14. Let q be -15 + 1212 - (-1 - 0). Suppose x*h = 5*v + 1231, -4*h + 4*v + 1282 = -q. Is h prime?
False
Let d be 855/(-35)*(-1295)/37. Suppose -2*g = -8 - 0. Suppose 1309 + d = g*l. Is l a composite number?
False
Suppose 3*u = 3*n + 12, 77*n + 1 = 76*n. Suppose 4*z = -3*f + 5616, 0*f - 2*f + 2*z = -3744. Suppose u*h - f = 4026. Is h a composite number?
True
Let u(j) = -58*j - 53. Let y be u(-1). Let r be -6*6/(-27)*3. Is (r/6)/((20/1194)/y) prime?
True
Suppose 3*g - 128871 = 4*m, 17*g - 3*m = 12*g + 214774. Is g composite?
False
Let q(r) be the third derivative of r**4/24 - r**3/2 + 5*r**2. Let u be q(-6). Is (u/6 - -2)*138 a composite number?
True
Let i be 180/(-21) + 4/7. Is (-103154)/i + 21/28 prime?
False
Suppose 5*o - 4*m = -m + 32, -4*o = m - 12. Suppose -4*x - 5*f = -6*x + 7581, -4*x - o*f = -15232. Is x a composite number?
False
Suppose 4*h + 6713 = 321. Let r = 3529 + h. Is r prime?
True
Let t be ((-3687)/9*-1)/((-2)/(-24)). Suppose -2712 - t = -4*j. Is j a composite number?
False
Suppose 3*g = 10*h - 2993138, 23*g - 24*g = h - 299319. Is h composite?
True
Is 2 - ((-7325075)/3 + 0) - (-2652)/1989 a prime number?
False
Suppose -3*c - 2*r = -2*c + 10, c - 3*r = -30. Let s be (-197194)/c - (-12)/(-54). Let h = s - 6358. Is h a prime number?
True
Suppose -l = -4*u + 14, -6*l - 4 = 2*u - l. Suppose -u*i = 3*q + 19 - 73, -3*i - 98 = -5*q. Is q composite?
False
Let w(j) = -12*j + 60. Let q be w(5). Suppose -5*x - 6608 = -2*k, q*x + 16543 = 5*k - x. Is k a composite number?
True
Suppose -43*c = -39*c - 88. Suppose -18306 + 167224 = c*p. Is p a composite number?
True
Let w(n) = -88*n**2 - 11*n + 32. Let j(g) = g**2 + 1. Let a(h) = -5*j(h) - w(h). Is a(6) a composite number?
True
Let n(k) = 5*k**3 - 13*k**2 + 5*k + 523. Is n(30) prime?
True
Let g(z) = 63 - 196 + 14*z + 61 + 53. Is g(12) a prime number?
True
Let l(g) = -7 + 0 + g - 6 + 3 + 68*g**2. Let x be l(4). Suppose -k = k - x. Is k composite?
False
Suppose -388171 - 1239604 = -8*f + 3*f. Is f a prime number?
False
Let t(a) = -a + 17. Let u be t(19). Is 35 + (-13)/(13/u) a prime number?
True
Suppose 5*x = p - 0*x - 13, -3*p + 4*x + 17 = 0. Let n be (p*1/6)/((-5)/30). Let q(r) = 40*r**2 - 7*r - 8. Is q(n) composite?
False
Is (88622/6)/((-99)/(-297)) prime?
False
Suppose -5*k = 3*s + 30, -2*s + k = -5*s - 18. Let x(t) = -145*t - 2. Let w be x(s). Suppose 3*b - 4*y - w = 140, 3*y = 4*b - 1160. Is b a prime number?
True
Let p = 68 - 111. Suppose 5*h - 140 = 3*z, 4*h + 102 = -2*z + 3*h. Let s = p - z. Is s composite?
False
Let m be (-38)/(-10) - 172/215. Suppose -2*v + 0*z + 20131 = m*z, -4*v + 40232 = -4*z. Is v composite?
False
Let g(q) = -13*q**3 - 19*q**2 - 10*q - 11. Let v be g(-6). Let o = v - 522. Is o a composite number?
True
Let m be (-402)/(-10) + (-7)/35 + 0. Let y be 0 + 4 - (-10)/(m/(-12)). Let u = 468 + y. Is u prime?
False
Let u = 8076 - 4605. Suppose 3*w + 45 = u. Is w prime?
False
Let l(f) = 82*f**2 + 22*f - 5. Suppose -15 = 3*x - 2*r, -14 = 2*x + 5*r + 15. Is l(x) a composite number?
True
Let k(g) = -g + 17. Let r be k(11). Let q(z) = -z**3 + 6*z**2 + 2. Let s be q(r). Suppose s*c = -4*v + 6346, v + 2*v = 2*c + 4777. Is v composite?
True
Suppose -18*m = 5*m - 139633. Let f = 11614 - m. Is f a prime number?
False
Suppose u + 5*f - 119938 = 0, 45*u = 50*u + 3*f - 599800. Is u prime?
True
Suppose 15*g - 20*g - 4*s = -66, 0 = 2*g - 2*s - 30. Is 172514/g - 19/(798/(-24)) composite?
False
Let n(p) = 6*p**2 + 36*p + 39. Let o be n(12). Let y = 1873 - o. Is y a composite number?
True
Suppose -3*r + 8396 + 51161 = 2*b, 3*b = -3. Is r a composite number?
False
Let b be (-320)/(-48) + (-2)/3. Let c = -2 + b. Is ((-6)/c)/((-39)/45266) prime?
True
Let x(i) be the first derivative of i**4/4 - 8*i**3/3 + 9*i**2/2 - 9*i + 10. Let w be x(7). Suppose -2*v + 691 = 3*h, w*h = -5*v + 2782 - 1052. Is v prime?
True
Suppose -4*x = -2*x, 4*x = -2*w + 149602. Is w/9 + -1*(-2)/(-9) a composite number?
False
Suppose 0 = 4*a + 43*i - 38*i - 86593, 2*i = -2*a + 43296. Is a composite?
False
Suppose 2*w - 2*c - 16368 = -6*c, 4*c = 4. Suppose 3*l - 8132 = -5*u, 2*l + l - w = 5*u. Is l composite?
False
Let c = -2503 + 894. Let f be 993*((-3)/4 + (-41)/(-12)). Let k = f + c. Is k a prime number?
True
Suppose -5*b - 37 - 48 = 0. Let n(x) = x + 4*x - 25 - x**3 - 14*x**2 - 2*x**2. Is n(b) a prime number?
True
Suppose 86969 = 9*j - 143404. Suppose 8*c - 7755 = j. Is c a prime number?
False
Let m = -3979 + 17966. Suppose -w - m = -i - 6*w, -2*w + 41987 = 3*i. Is i a prime number?
True
Suppose -4*r - 2088845 + 5596113 = -2*i, -r + 3*i = -876817. Is r a composite number?
False
Suppose -105859 = -y - 4*s, 3*s = -4*y + 630746 - 207297. Is y a prime number?
True
Suppose -3*y + 312482 = p, 0*p - 4*y = 5*p - 1562509. Is p a prime number?
True
Is 5 + 0 + (128598/15)/(18/90) composite?
True
Let d(m) be the second derivative of 5/3*m**3 - 7/12*m**4 + 1/10*m**5 + 12*m + 0 - 3/2*m**2. Is d(4) prime?
True
Let b(v) = 25621*v - 2862. Is b(11) a composite number?
True
Suppose 12228 + 2304 = 4*f + 2*j, 7282 = 2*f - 3*j. Is f a composite number?
True
Let v be ((-46)/(-4))/(28/95032). Suppose v = -58*j + 134209. Is j a composite number?
True
Let l = -198316 + 490715. Is l a prime number?
False
Suppose -5*u + 2989064 = -x - 1248193, -3389780 = -4*u + 4*x. Is u a composite number?
False
Let z(j) = -9*j**2 - 242*j + 30. Let o be z(-27). Let n be 978/(0 + (-3)/(-2)). Suppose -3*v + 509 = -o*b + b, -4*b + n = 4*v. Is v prime?
True
Suppose 2*g = -4*l + 20120, 15*l - 18*l = g - 15088. Let w(y) = -y**2 + 4*y + 3. Let m be w(4). Suppose -l = -m*r - r. Is r composite?
True
Suppose 19*u = 15*u + d + 339909, -169948 = -2*u - 6*d. Is u composite?
False
Let a be (20/5 + -1)*-1. Let m be ((-6)/4)/(a/4790). Suppose m = 48*i - 43*i. Is i a prime number?
True
Suppose 4*v = -4*s + 74 - 18, 0 = 2*s. Suppose -3*j = 12*l - v*l + 10841, -4*l = 5*j - 21627. Is l composite?
False
Let h(n) = -560*n + 10. Let o be h(-6). Suppose -44*i + 39*i + o = 0. Suppose 12*s - i = 10*s. Is s a prime number?
True
Is ((-1220436)/(-48) - 1/(-4)) + (-180)/60 prime?
True
Suppose -26 = 4*y + 58. Let j(p) = -6*p + 28 + p**3 - 2*p - 12*p + 20*p**2 + 0*p. Is j(y) a composite number?
False
Let a = -14870 + 17031. Is a a composite number?
False
Suppose -2*c + 18 = 5*m, m + 37 = 4*c + 1. Suppose 128 = p + 4*n, 0 = 2*n + n - c. Suppose p = 2*z - 22. Is z a prime number?
False
Suppose 5*q = 18*q + 1248. Let c = q + 92. Is 9825/6 + (-6)/c prime?
False
Suppose 3156*b - 3163*b = -288533. Is b a prime number?
False
Let p = -352678 + 507459. Is p a prime number?
False
Let p(h) = h**3 + 6*h**2 + 3*h - 2. Let b be p(-2). Is 7846*2/b - 6/12 a composite number?
True
Let c = 35828 + 9101. Is c a prime number?
False
Let u = -79 - -87. Let s(x) = 14*x**2 + 12*x - 12. Let t be s(u). Let b = -579 + t. Is b prime?
True
Suppose -5*z = -9*z + 5*n + 10, 3*z - 4*n = 8. Suppose 21*b - 30*b + 2907 = z. Is b composite?
True
Suppose -1164566 = 14*m + 1847864 - 20103084. Is m composite?
False
Let o(u) = 34*u**3 + 3*u