Is c(5) a prime number?
True
Let m(a) = 381*a**2 - a - 1. Suppose -7*h + 14*h = -7. Is m(h) composite?
True
Let l(s) = -12*s**2 - 3. Let r be l(3). Let d = 37 + r. Is -2 + (d + 1)/(-1) a composite number?
False
Let p = 7292 - 3285. Is p composite?
False
Suppose -4*d + 9 + 11 = 2*y, 4*y - 20 = 2*d. Let i = 8 - y. Suppose 3*a = -a - i*h + 1510, -3*h + 380 = a. Is a prime?
False
Suppose -6 = -4*c + 3*c - 4*u, 2*u = 3*c - 74. Is 3*((-2090)/(-6) + 88/c) composite?
True
Let b(m) = 5*m**3 + m**2 + 5*m + 18. Let a be b(6). Suppose -a = -0*y - 12*y. Is y a composite number?
False
Let b = -85 + 92. Suppose -8337 = -b*g - 0*g. Is g prime?
False
Let b(o) = -3*o - 2. Let a be b(-4). Let v(u) = 5*u**2 + 2*u + 2. Let q be v(-1). Is (83/q)/(2/a) a composite number?
False
Let n = 689 - -10214. Is n a composite number?
False
Suppose 0*k + 6*k + 9270 = 0. Let u = k + 2906. Is u a composite number?
False
Let n(j) = -2*j**3 - 2*j**2 + 43*j. Is n(-7) a composite number?
True
Let b = 4489 + -1103. Is b a prime number?
False
Let q(a) be the third derivative of -323*a**9/30240 + a**6/720 + 2*a**5/15 + 2*a**2. Let n(k) be the third derivative of q(k). Is n(-1) prime?
True
Let y(a) = 86*a**3 + 5*a**2 - 9*a + 3. Let p be y(3). Let u = 3982 - p. Is u a composite number?
True
Let y(g) = 11*g + 75. Is y(20) composite?
True
Let b(h) = -9*h**3 - 10*h**2 - 11*h - 12. Let x be b(-6). Suppose -5*a + 5*d = -2*a - x, 5*a - 3*d = 2714. Is a a prime number?
True
Let s = 18134 + -25774. Is (16/(-20))/(16/s) a composite number?
True
Suppose -5*t + 2463 = -4*t. Let i = t + -379. Suppose -4*c + 1250 = 3*p - 834, -4*c - 5*p = -i. Is c composite?
False
Let u(s) = -6263*s - 108. Is u(-5) a prime number?
False
Let r(y) = -1045*y**3 - 2*y**2 - y. Let t be r(-1). Suppose 5*g = 4*l - t, 3*l - 77 = 5*g + 711. Let b = -101 + l. Is b prime?
False
Suppose -5*w = -18259 - 28636. Is w composite?
True
Let j = 380 + -1871. Let u = 636 - j. Is u a composite number?
True
Suppose -4*q - 2*t + 872 = 0, q + 2*q + 2*t - 652 = 0. Let l = -117 - -224. Let n = q - l. Is n prime?
True
Let t(f) = -3697*f + 163. Is t(-4) prime?
True
Let j(g) = -g - 1. Let l(u) = -12. Let b(q) = 2*j(q) + l(q). Let a be b(10). Let m = 69 + a. Is m a composite number?
True
Is 106/(-901) - (4438572/34)/(-2) composite?
True
Suppose 28*g + 945 = 35*g. Let s = g + -76. Is s prime?
True
Let d(t) = -15*t**2 - 3*t + 23. Let p be d(-12). Let n = -1040 - p. Is n prime?
True
Let d be 8566/8 + (-12)/16. Is d/6 - 2/(-3) prime?
True
Suppose -18215 = -36*l + 31*l. Is l composite?
False
Let i(v) = -v**3 - 10*v**2 + 10*v + 15. Let k be i(-11). Let n = 29 - k. Suppose -661 = -2*j + n*o, -o - 332 = 4*j - 5*j. Is j a composite number?
True
Let p = 50 + -28. Let a be 28/154 + 62/p. Is a + 0/(2 + -1) prime?
True
Is (-128 - 1435)*(-22)/6 a prime number?
False
Suppose -4*o + 4*f = -15636, 3915 = 11*o - 10*o - 4*f. Is o a prime number?
True
Let v = 74090 + -37204. Is v a composite number?
True
Let o be -5 + 4 + 5 - -329*4. Let d = 5875 - o. Is d prime?
False
Let n be (9/(-12) - 45/36) + 0. Is (2/(-6))/(-2*n/(-35988)) composite?
False
Let p(o) = o**3 - 3*o**2 - 11*o + 7. Let m be p(5). Suppose -s + m*f + f - 141 = 0, 4*s = 4*f - 532. Is (s/(-6))/((-1)/(-2)) composite?
False
Suppose 9 = 4*q - 11. Let d be 29/(-4 + 6 + -1). Suppose 197 = 3*c + b - d, q*c - 410 = 5*b. Is c a prime number?
False
Suppose -5*p + 5 = -z + 2, -2*z - 6 = 3*p. Is (p + 2)/(4/38) composite?
False
Let q(z) = -1. Let l(o) = -o + 10. Let h(g) = l(g) - 6*q(g). Let m be h(-14). Suppose u - m = 39. Is u a composite number?
True
Let d be 88/28 + 2/(-14). Suppose d = -g, 2*j + 3*g = -g + 1160. Is j prime?
False
Let h be 496/32 - 2/(-4). Suppose 4*y + h = -2*t, 3*y - 2*t = -0*t - 26. Is 4113/36 - y/8 composite?
True
Suppose j + x = 645, 3 = -2*x - 5. Is j a composite number?
True
Suppose -4*s = a - 12, 3*s + 5*a + 8 = -0*s. Suppose 1331 - 263 = s*v. Is (v - 2)*(-3 + 4) a prime number?
False
Let h be (-5)/10 + (-2)/(-4). Suppose -2 = -h*r - r. Suppose -4*y + 0*c = 2*c - 358, y - r*c = 77. Is y a prime number?
False
Suppose l - 6*l + 5035 = 0. Is l a prime number?
False
Let w(f) = -121*f + 1. Let k = -5 + 7. Let s be 6/k + (1 - 8). Is w(s) a composite number?
True
Let g be (10/(-6))/(40/(-144)). Is (3/g)/((-458)/(-228) - 2) a composite number?
True
Suppose 3*h + 2*t - 5*t - 5898 = 0, -4*t = -2*h + 3942. Suppose 2*b + 5*z - 1100 - 200 = 0, -3*b - 2*z = -h. Is b a composite number?
True
Suppose 0 = 4*q - 3*x - 42296, 25*q - 5*x - 21134 = 23*q. Is q a composite number?
True
Let r = 22 - 101. Is 13/1*r*(2 + -3) a composite number?
True
Suppose -16*k + 12 = -14*k. Suppose 0 = -5*m + 4*x + 1350, 1111 = 4*m - 3*x + k*x. Is m prime?
False
Suppose 8 = 12*q - 76. Suppose q*k - 50202 = -11*k. Is k prime?
True
Suppose -4*a + 135140 = 16*a. Is a a prime number?
False
Let p(g) = 6*g**2 - 36*g - 79. Is p(40) a composite number?
False
Suppose -4*w = -f - 4572, 4*w + 2*f - 2286 = 2*w. Let h be (-1 - (-2274)/21) + 8/(-28). Suppose 0 = -4*c - h + w. Is c a prime number?
False
Let i(u) = 9*u**2 - 20*u - 16. Is i(15) composite?
False
Suppose 0 = -5*j + 15060 + 17345. Suppose 5*x - 4*k - j = -0*k, -x - k = -1289. Is x composite?
True
Let w = -482 - -1161. Is w prime?
False
Let l be (-2)/(4/(-1814)*1). Suppose 4*q = 3*q + l. Is q prime?
True
Let l = -887 - -1334. Is l composite?
True
Let h be 37 + 0 + 0 + 0. Suppose -3*t - 62 = -2*j, t = 3*j - 6*j - 39. Let l = t + h. Is l prime?
True
Suppose 3 = -3*d - 2*f - 1, -d + 4*f = -8. Suppose 5 = 4*o + 13, -4*i + o + 1526 = d. Is i prime?
False
Is 6795/60 + (-1)/4 composite?
False
Suppose -2225 + 7541 = 4*g. Suppose -z + 4*d - 1772 = -5*z, g = 3*z + 4*d. Is z composite?
False
Let a be (-4)/7 - (-32)/56. Suppose a = 5*m - 4*m - 249. Is m composite?
True
Let q = -60 + -113. Let p = -119 - q. Suppose 0 = n + p - 595. Is n a prime number?
True
Let z = 391 + -124. Let h = -104 + z. Is h prime?
True
Let y(z) = -19*z**2 - 14*z - 5. Let d be y(-13). Let n = -4249 - d. Let o = n + 1846. Is o a composite number?
False
Suppose 2*s + 2*s + 5*b + 9 = 0, -s = 3*b + 11. Is (-2 + -4)/(s/(-62)) composite?
True
Suppose -2*g + 7 = -5. Let m(b) = 47*b - g + 27 + 2 + 18*b. Is m(10) composite?
False
Suppose 3*k - 2 + 3 = -2*c, 4*c + 5*k = 1. Suppose c*l = 5*a - 10851, -a = 2*a + 4*l - 6517. Is a a composite number?
True
Let g = -633 - -1347. Suppose -3*d + g = -171. Is d prime?
False
Let a be 568/16 - (-2)/4. Suppose -a = -4*t + t. Is 7/28 - (-1377)/t a composite number?
True
Let d be ((-20905)/15)/(1*(-2)/54). Suppose -9*l - 12906 + d = 0. Is l prime?
False
Let v = 26621 - 17862. Is v a composite number?
True
Suppose 2*g = 3*z + 3 + 5, 2*z + 4*g - 16 = 0. Suppose 3*t - 1554 + 387 = z. Is t a prime number?
True
Let g = 24687 - -43954. Is g prime?
False
Let l(n) be the second derivative of -7*n**3 - n**2/2 - 10*n. Is l(-6) a prime number?
True
Let y(o) = -2*o**2 - 31*o - 39. Let f(s) = -s**2 - 16*s - 20. Let d(a) = -11*f(a) + 6*y(a). Let t be d(-7). Let g = t - -3. Is g composite?
True
Let d be -3 - (2 + 20/(-5)). Let i be 0 - 2 - d - 188. Let a = i - -268. Is a composite?
False
Suppose 5*i + 32792 = 13*i. Is i a prime number?
True
Let y = 232 - 109. Suppose 5*m - 330 = -0*m - 5*h, -2*m = 5*h - y. Is m a composite number?
True
Let h = 6037 + -4222. Suppose -h + 460 = -q. Is q a prime number?
False
Let r(z) be the third derivative of z**5/60 + z**4/6 - 25*z**3/6 + 26*z**2. Is r(-14) composite?
True
Let y(w) = 2*w**3 + w**2 - w + 17. Is y(4) composite?
False
Let n(m) = -1 - 17*m + 356*m**3 + 15*m + 3 - 3*m**2 + 2*m**2. Is n(1) a composite number?
True
Let v(n) = -n**3. Let t(y) = -7*y**3 - 5*y**2 - 5*y - 2. Let z(f) = t(f) - 6*v(f). Let p be z(-4). Let l(d) = 129*d**3 + 2*d**2 + d + 1. Is l(p) prime?
False
Let g = 3205 + -1724. Is g composite?
False
Let w(a) = -93*a**2 + 8*a + 7. Let i(r) = 94*r**2 - 7*r - 7. Let d(p) = 4*i(p) + 3*w(p). Is d(4) a prime number?
False
Let x = -5 - -11. Suppose x*h + h = 2625. Let p = -214 + h. Is p composite?
True
Suppose -3*h + 8*h - 15 = 0. Let k(q) be the first derivative of 25*q**3/3 - 2*q**2 - 26. Is k(h) a composite number?
True
Let i(o) = 2 + 30*o**2 + 3 - 2*o - 3*o - 13*o**2. Is i(4) prime?
True
Let r(x) = 10*x**3 + x**2 + 1. Let v be r(2). Suppose -388 + v