Let u(d) = 6*d**2 - d - 10. Let h(s) = s**2 - s. Let w(y) = 5*h(y) + u(y). Is w(11) a composite number?
True
Let y(m) = 7*m - 6. Let p(z) = -6*z + 5. Let j(s) = 6*p(s) + 5*y(s). Let f be j(-7). Let h(l) = 3*l**2 + l - 9. Is h(f) prime?
False
Is ((-42)/6)/28 + 14090/8 a composite number?
True
Let p = 5257 - 2931. Let r = 5337 - p. Is r composite?
False
Let b(k) be the first derivative of 92*k**2 - 47*k - 28. Is b(16) a prime number?
True
Suppose 2*i - 718 - 10750 = -2*k, -3*i + k + 17214 = 0. Is i prime?
True
Let a(g) = -199*g + 6. Suppose 11 = -2*c - 3. Is a(c) a prime number?
True
Suppose -4*n = u - 4 + 6, -3*u + n = -7. Suppose -2*y = u*y - 1736. Suppose 0 = 4*r + 3*f - 848, -2*f - 2*f = 2*r - y. Is r a prime number?
False
Suppose 5*k = 3*q - 26, -5 + 3 = 3*q + 2*k. Suppose -u = -c - 195, 3*u + u - 756 = -q*c. Is u a prime number?
True
Let m = -57307 + 80424. Is m a composite number?
False
Suppose 17924 = 5*v - 3*c, 2*v = -5*c + 536 + 6615. Suppose 0 = 5*h - 4602 - v. Is h prime?
True
Suppose -2*v - 1 = 5*g - 13, 0 = -v + 3*g - 5. Let t be (1/(-2))/((-1)/36). Is 4680/t + (-2 - v) a composite number?
False
Let y(s) = 2*s**2 + 1. Let a be y(-1). Suppose f + f = a*i - 791, -5*i + 1312 = 3*f. Is i a composite number?
False
Let k(a) = -a**2 - 6*a + 15. Let j be k(-7). Suppose -2668 = -j*v + 4*v. Is v composite?
True
Let r(l) be the second derivative of l**3/6 - 5*l**2 + 3*l. Let o be r(12). Is ((-148)/(-16))/(o/56) composite?
True
Let x = 12 + -27. Let k = 19 + x. Suppose -k*i - 5193 = -5*a, 0*a + a - 1033 = -2*i. Is a composite?
True
Let f(o) = 475 + 2*o**2 - 2*o - o**2 - o**3 + 0*o**2. Let r be f(0). Suppose -2*g = -3*b + 41 - r, -5*b - 20 = 0. Is g a composite number?
False
Is 8/2 - (-1375 + 8) composite?
True
Is (-1093*(-328)/12)/(8/12) a composite number?
True
Let c = 614 - 603. Is c prime?
True
Is 42/315 + (-57926)/(-30) a composite number?
False
Suppose 0 = -34*p + 308972 - 10486. Is p a composite number?
False
Let f be 4/(-6)*3 + 2. Suppose -3*g = b - 72, f = 3*b - 2*b + 3. Suppose o - 4 = 0, 4*o + 5 + g = 2*t. Is t a prime number?
True
Let p = -6 - 1. Let o(m) = -m**3 + 2*m**2 - 2*m - 10. Is o(p) prime?
False
Suppose -4*u + 12 = -4. Suppose 3*b = -l + 3, -1 = -5*b + u*b. Is (93 + 4)/(l + 1) a prime number?
True
Suppose -4*l = 3*p - 165885 - 36517, -3*p = l - 50596. Is l a prime number?
False
Suppose 4*q = -3*d + 18194, 13643 = 3*q + 5*d - 4*d. Is q composite?
False
Suppose 0 = -4*t + 2*t + 172. Suppose -2*b + 0*s = -s - 163, -t = -b - s. Is b a composite number?
False
Let r = 609 - 270. Is r a composite number?
True
Suppose -12867 = -89*h + 798190. Is h composite?
True
Suppose 0 = -2*k - 5*p + 25, -p - 3 = -2*p. Suppose 0 = 2*l + 5*y - 75, k*l - 171 = 3*y + y. Is l prime?
False
Let g(u) = 23*u**3 + u**2 + 3*u - 4. Let y be 8/((-5)/(-5)) - 5. Is g(y) prime?
False
Let l = -45064 - -66711. Is l a composite number?
False
Suppose 0 = -3*o - 2*h + 33413, -19442 + 75167 = 5*o - 4*h. Is o a composite number?
True
Let j(g) = -g**2 - 10*g - 3. Let q be j(-7). Suppose q - 219 = -3*p. Is p a prime number?
True
Let w(s) = 7*s**2 - 19 - 4*s + 8 + s. Is w(5) composite?
False
Suppose 0 = -4*b - 4*a + 15380, -2*b = a - 10065 + 2373. Is b composite?
False
Let p be 1872 + (-8 - -4 - -1). Suppose -289 + p = 4*h. Is h composite?
True
Let j = 4181 + 446. Is j composite?
True
Let l be 1/(-6)*2 + (-1838)/(-6). Suppose 41 - l = -j. Is j composite?
True
Suppose -95430 = a - 16*a. Is a prime?
False
Suppose 5*s - 1081 = -2*o - 251, -5*o = -5*s - 2040. Let z = o - 1. Is z a prime number?
True
Suppose -18*c + 140 = -14*c. Is (-4575)/(-35) + 10/c a composite number?
False
Let b = 17081 + -7420. Suppose 7248 = 3*u + 3*d, 3*u + u = -3*d + b. Is u prime?
False
Let r = 32 - 27. Suppose 5*o = -v + 7 + 14, r*o = -2*v + 67. Is v a composite number?
True
Let c(t) = 10*t**2 + 16*t + 11. Suppose 6 = 3*q - 0*q, -5*v = q + 43. Is c(v) a prime number?
True
Let v = 27890 - 18343. Suppose -5*b + v = 1982. Is b composite?
True
Let w = -74 - -97. Let n = 32 + w. Is n prime?
False
Let i(l) = 473*l**2 + 8. Is i(3) a composite number?
True
Let v(d) = 2 - 17 + 4*d - 4*d + 8*d. Is v(6) a prime number?
False
Suppose 4*y = 4*g + 2*y - 44, -4*y + 56 = 4*g. Suppose 0 = g*w - 7*w + 60. Let q(b) = b**3 + 16*b**2 + 12*b + 11. Is q(w) a composite number?
False
Let b = 4530 - 3131. Let k = b - 878. Is k composite?
False
Let i be 4/(-6) - (-8)/3. Suppose 2*w - w = i. Suppose -w*q = -4*q + 178. Is q a prime number?
True
Suppose u + 49413 = 2*h, 5*u = 5 + 20. Is h a composite number?
False
Let f(v) be the second derivative of -3*v**5/20 - v**4/4 + 17*v**2/2 + 18*v. Is f(-8) prime?
True
Let w = 7538 - 5005. Is w prime?
False
Suppose 2*q = -3*q + 2*c + 4783, -2*q = -5*c - 1930. Suppose 0 = -16*f + 11*f + q. Is f a composite number?
False
Suppose 12*b = 14*b - 6. Suppose -5*g - 7*k = -b*k - 4431, k - 4434 = -5*g. Is g a composite number?
False
Let s(q) = q + 7. Let w be 1/(56/(-18) - -3). Let l be s(w). Let z(b) = -5*b**3 - 2*b**2 - 1. Is z(l) prime?
True
Suppose 75 = 4*l + 3*h, -2*h + 0*h + 10 = 0. Let b = 9 - l. Is (-2)/b + 2102/3 a prime number?
True
Let y(p) be the second derivative of -p**5/20 + 2*p**4/3 - p**3/6 + 7*p**2/2 - 2*p. Is y(5) prime?
False
Let l = 11583 - 7721. Suppose 3*q - q = l. Is q prime?
True
Suppose -2*q - 19 = -o, -10 = 4*q - 14. Is o a composite number?
True
Suppose -2*y = -8, -8 = 2*f - 5*y + 2*y. Suppose 3*g + 2*c = -7, f*g - 4*c - 3 = 3. Is -1 + -1 + g - -262 prime?
False
Suppose -3*o + 0*o + 6 = 0. Suppose o*b - b = -3*i + 124, -4*b + 109 = 3*i. Let p = -12 + i. Is p prime?
True
Let l be (1/3)/((-2)/(-36)). Suppose -55 = -l*t + t. Let u(w) = -w**3 + 11*w**2 + 9*w + 14. Is u(t) a prime number?
True
Let x = 5217 + -3626. Is x a composite number?
True
Let w be (-108)/48*(-8)/3. Suppose r = -s + w*s - 666, -667 = -5*s + 2*r. Is s prime?
False
Let j(b) = -2559*b - 167. Is j(-6) composite?
False
Let t be 2/(-4) - (-1)/2. Let k = -246 - -248. Is (k + t)*62/4 prime?
True
Is ((-19407)/(-9))/(130/39 - 3) composite?
False
Let h = 39759 - 1252. Is h prime?
False
Suppose 0 = 2*h + h - 9. Suppose 9 = h*v - 6. Let r(f) = -f**3 + 5*f**2 + f - 2. Is r(v) composite?
False
Suppose 7 = -2*o + 11. Suppose -o*d - 1 = 3. Is ((-52)/8)/(d/44) prime?
False
Suppose -2*h = -5*y - 464, 218 = h - 0*y + y. Suppose 0 = -l + 1139 - h. Is l composite?
True
Is (-24)/72 - 6524/(-6) a composite number?
False
Suppose -12*o = -550 - 86. Is o a prime number?
True
Suppose 0 = 5*v - 10, 38*v - 33*v + 8148 = 2*y. Is y composite?
False
Let i be (-4)/(-18) - (-14)/18. Let p be i/(-1) - -9 - 3. Suppose -53 = 5*r - j - 243, -j + 180 = p*r. Is r composite?
False
Let w(z) = -209*z - 3. Suppose 0 + 8 = -4*h. Is w(h) a prime number?
False
Let o(z) = 4*z + 6. Let n be o(-3). Let j(u) = 4*u**2 + u - 4. Let l be j(n). Suppose -7*p + 5*p + l = 0. Is p prime?
True
Is 7/(-35) + 5*(-131830)/(-125) prime?
True
Let b be (1 - -8) + (0 - 1). Let o(q) be the second derivative of -q**5/20 + 3*q**4/4 + 4*q**3/3 - q**2/2 - 11*q. Is o(b) prime?
True
Suppose 4*r - 1362920 = 5*v, -5*r + 50*v - 45*v + 1703655 = 0. Is r composite?
True
Let f = 349 + -591. Suppose 2*i - 2186 = -4*b, -11*i + 9*i - 10 = 0. Let m = b + f. Is m prime?
True
Let z(y) = -8*y**3 + 4*y - 4. Let v be z(2). Let h(p) = -18*p**2 - 4. Let f be h(3). Let i = v - f. Is i composite?
True
Suppose 4*l + 1399 = -3*n, 2*n - 53 = 5*l - 955. Let w = 216 - n. Is w prime?
True
Let y = -9241 - -23142. Is y composite?
False
Let b(p) = 2*p**2 + 11*p + 14. Suppose 0*q + 2*q = -y + 5, -3*y = -3*q - 15. Suppose -y*x + 44 = -x. Is b(x) composite?
True
Let z = 101 + -203. Suppose -3*p = 165 + 390. Let b = z - p. Is b prime?
True
Let y = 21 + -18. Suppose 6 + y = s. Is 3*-1*(-30)/s a composite number?
True
Let b = 2062 - 1397. Is (b + 2 - -2) + 0 composite?
True
Suppose -810360 = -64*n - 8*n. Is n a composite number?
True
Suppose -3*l + x + 60 = -0*l, 3*x + 12 = l. Suppose -5*n = -l + 1. Suppose -n*p = -1761 + 125. Is p a composite number?
False
Let g be (-4)/((-16)/20)*1. Let z(j) = j. Let q be z(g). Suppose -287 = 4*p - q*p. Is p a prime number?
False
Suppose -3*r + 0*r = -6. Suppose 0 = 3*p + 3*o + 3684, 6119 = -7*p + 2*p + r*o. Let l = p - -1770. Is l prime?
False
Let x be ((-4)/(-10) +