-36396 = -0*o + 4*o. Is ((-2)/(-3))/((-18)/o) prime?
True
Let m be (2820/(-14))/((-2)/28). Let t = -3720 + 1717. Let r = t + m. Is r a prime number?
False
Let x = -142 + 805. Let f = x + -460. Is f a composite number?
True
Suppose -24*z = -2107 - 1277. Is z composite?
True
Let b be (-34)/(-10) + (-32)/80. Let r(f) = -f**3 + 6*f**2 - 4*f + 2. Let n be r(4). Is n/12*662/b prime?
True
Suppose 2*u = 5*u - y - 46, 2*u - 59 = -5*y. Suppose 3*k + 2*k - 25 = 0, 0 = -j - 2*k + u. Suppose 5*v + 35 = 5*f - 0*v, -f + 3*v + j = 0. Is f prime?
True
Suppose 4*i - 7 = -3*z, 4*i - 5 = -3*z - i. Suppose 9*c - 16 = z*c. Suppose -4*n - 1781 = -5*g, 2*g = -c*n - 162 + 852. Is g composite?
False
Let i(u) = 6069*u - 688. Is i(13) composite?
True
Let i(z) = z**3 + 12*z**2 - 2*z - 9. Let w be i(-12). Suppose -7*g + w = -4*g. Suppose -a + g = -6. Is a a prime number?
True
Suppose 7*o + 14443 = 59978. Is o composite?
True
Suppose 8*d = 3*d + 25. Suppose 4*v = 5*u - 16 - 60, 0 = -d*v + 5. Let f = u - -195. Is f a composite number?
False
Let k = -5038 - -15683. Is k a composite number?
True
Let m be (8 - 0)/((-36)/(-198)). Let c be (-26)/(-22) - 8/m. Let a(r) = 1062*r**2 - 1. Is a(c) a composite number?
False
Let m(s) = 3*s**2 - 2*s - 7. Let u = 15 + -13. Let r(j) = -j**2 + j + 3. Let d(i) = u*m(i) + 5*r(i). Is d(-3) a prime number?
True
Suppose -y + 5*v + 34 = -99, -2*y + 221 = 5*v. Is y a composite number?
True
Let d(y) = y**3 + 2*y + 6. Let f be d(0). Suppose -8 = -f*j + 2*j. Suppose j*z - 480 = -4*l, 7*l - 2*l - 585 = 5*z. Is l composite?
True
Is -8*(-9)/18 + 13414 a composite number?
True
Let g(u) = -u**3 - 12*u**2 - 11*u + 4. Suppose 5*i + 4*z + 50 = -z, 3*i = -4*z - 29. Let x be g(i). Suppose -1605 = x*d - 9*d. Is d a prime number?
False
Let g(c) = c**2 - 15*c + 31. Is g(-21) a composite number?
False
Let u(y) = -2*y**3 - 18*y**2 + 22*y + 43. Is u(-13) a composite number?
False
Let x(w) = 0 - 3 + 136*w + 47*w - 5. Is x(3) prime?
True
Suppose 0 = s + 2*s + 4*k - 30, -3*k = -3*s + 9. Suppose s*o - 2994 = -0*o. Is o a prime number?
True
Suppose 4*y = 4*b + 57220, -7*y + 2*b + 42913 = -4*y. Is y a composite number?
False
Let p be ((-55)/10 - -6)/(2/60). Suppose -13*k = -p*k + 7586. Is k composite?
False
Let a = -87 - -645. Let s = a - 305. Is s a composite number?
True
Let g(s) = -3*s**3 + 7*s**2 - s - 20. Is g(-9) a prime number?
False
Suppose 5*a + 10 + 0 = 0. Let u be -5*6*a/(-6). Is (-3044)/u + (-6)/(-10) a composite number?
True
Is 701421/14*(-6)/(-9) prime?
False
Suppose 4*i = 36 - 0. Suppose i*m - 10*m = 0. Suppose 20 = 5*r - m*r. Is r prime?
False
Let u(g) = g**2 + 21*g + 35759. Is u(0) composite?
False
Let d(y) = 112*y + 3. Let b be (-4)/18 - (-1111)/99. Suppose -3*a = -x + b, 3*x - a = 2*a + 21. Is d(x) composite?
False
Let h be (-25)/(-4)*(-14)/35*2. Let b(f) = 13*f + 6. Let z(q) = -27*q - 12. Let n(c) = -9*b(c) - 4*z(c). Is n(h) prime?
False
Suppose 0 = -8*j + 4*j + 1828. Suppose 2*v - 1741 = j. Is v a prime number?
False
Suppose -21*n = -22*n + 5*y + 1318, 2*y = 5*n - 6705. Is n composite?
True
Suppose -16 = 12*d - 16*d. Suppose 4*o + d*o - 3160 = 0. Is o a composite number?
True
Let f be 3 - (589 + (-4 - -1)). Let u = f - -861. Is u a prime number?
False
Suppose -3*f + f = -8. Is (478/(-6) - f)*-3 prime?
True
Suppose 94 = -5*o + 254. Suppose 564 - o = 4*r. Is r a prime number?
False
Let o = -2423 + 107. Is (25/15)/((-4)/o) a composite number?
True
Let o(f) be the third derivative of -f**6/120 + f**5/10 - f**4/4 - f**3/6 + 2*f**2. Let i be o(5). Is 162/8 + i/(-8) composite?
True
Let w(r) = r**3 - 29*r**2 + 29*r + 39. Is w(28) composite?
False
Let o = 47 + -42. Suppose o*t - 2*q = 4509, -4*t + 2*t + 2*q = -1806. Is t a composite number?
True
Let h be -9 - (0 + 0 + -1). Suppose 5*r = -0*r - 210. Let c = h - r. Is c a prime number?
False
Suppose -5*j = a - 305 - 723, 2*j = 2*a - 2008. Suppose 6*t - a = -294. Suppose -3*c = -t - 328. Is c composite?
False
Suppose 0 = 7*y - 2*y - 10. Suppose -2*z = -p - 21, 42 = y*z + 3*z + p. Is 9/(z/4) + 85 a prime number?
True
Let t be (20 - 20) + (-1 - -1). Suppose 0 = i - t + 1, 2*i + 3366 = 4*z. Is z a composite number?
True
Let d(q) = 3*q**3 + 9*q**2 + q - 3. Suppose -2*l - 5*f + 13 = 0, -4*f = 3*l - 2 - 0. Let k be d(l). Let y = -134 - k. Is y a composite number?
False
Let d be (-8 + 0)*(-3)/6. Is ((-915)/6 - -6)*d/(-1) composite?
True
Let j(m) = -m**2 + 24*m + 5. Let o be j(24). Suppose -o*z + 1781 = -114. Is z prime?
True
Let x(h) = 17*h - 9. Let p be x(5). Suppose -23 - 33 = 4*y - 4*f, 5*y = 2*f - p. Is (103/4)/((-4)/y) prime?
True
Let c = -24 + 39. Suppose 4*z - 233 = c. Is z composite?
True
Let h = 89 + -84. Suppose -2*j - h*i + 1798 = -7373, -4*j = -5*i - 18387. Is j a composite number?
True
Suppose -3*g = -5*p - 27424, p = 7*g - 12*g + 45660. Is g prime?
True
Suppose 0 = -2*h - 3*h - 3*g + 16385, 3*g + 9807 = 3*h. Is h prime?
False
Let f = 6186 + -3039. Is f a prime number?
False
Suppose 38*r + 1017 = 55775. Is r a composite number?
True
Is (-3)/(((-3)/100689)/(2/6)) a prime number?
True
Suppose -r + 12*r = 715. Suppose 0 = h + r - 324. Is h a prime number?
False
Let c(m) = 1. Let y(h) = -50*h - 10. Let v(t) = -3*c(t) + y(t). Is v(-4) a prime number?
False
Let z = -25 - -14. Let i(p) = 2*p**2 + 6*p - 13. Is i(z) composite?
False
Let y(v) = 10*v**2 - 2*v + 12. Let w be (-8)/(-1) + -1 + -4. Let h(k) = 21*k**2 - 4*k + 23. Let z(s) = w*h(s) - 5*y(s). Is z(4) a composite number?
True
Suppose -p = h - 2426, 2*p + 3*h - 4867 = 6*h. Is p a composite number?
True
Suppose q + 3*q - 76 = 0. Let g = q + -355. Let r = 587 + g. Is r a composite number?
False
Let m(h) = -h**3 + 13*h**2 + 2*h - 5. Let s = 21 - 8. Let q be m(s). Suppose -q = -2*g + 21. Is g a prime number?
False
Suppose 5605 = 3*h - 2*q, -q + 2*q = 4*h - 7465. Is h prime?
False
Let t(c) = 1604*c**3 - c**2 + c - 1. Let w(s) = -s + 6. Let d be w(5). Is t(d) prime?
False
Let z(s) = 2*s + 49. Let w be z(-23). Let l(r) = 21*r**3 - 2*r**2 - 5*r + 7. Is l(w) a prime number?
True
Let c(t) be the first derivative of t**4/2 + 20*t**3/3 - 3*t**2 - t - 13. Is c(-9) prime?
False
Let w(u) = 103*u**2 - 55*u - 57. Is w(-13) prime?
False
Suppose -2*h = -4*n - 107310, 4*h - 17*n - 214632 = -15*n. Is h composite?
True
Suppose 0 = 18*a + 15*a - 71049. Is a a composite number?
False
Let j(q) = -6907*q + 1. Let d be j(-2). Suppose 14*o - 5*o - d = 0. Is o a prime number?
False
Let s(u) = u**3 - 2*u**2 - 7*u - 1. Let w be s(4). Suppose -5*i + 2239 = 2*k, i + 2*i - w*k = 1356. Is i composite?
False
Suppose 2*q - q = 0. Let p(i) = 17*i**2 + i + 714. Let k(h) = -3*h**2 - 143. Let x(m) = -11*k(m) - 2*p(m). Is x(q) a prime number?
False
Let r be 4 + 1284 + -1 + 3. Suppose 0 = 5*y + l - r, -l + 493 = 2*y + 4*l. Is y a composite number?
True
Let o be ((-64)/4)/(3/(-696)). Suppose -5*i + 4*p - 2*p + 9294 = 0, 2*i + 2*p = o. Is i a composite number?
True
Let p = 15 + 0. Suppose -5*z + p = -2*z. Suppose -2*f + 3*f - z*r = 368, f + r - 374 = 0. Is f composite?
False
Let x(l) = -433*l - 1258. Is x(-41) composite?
True
Suppose 40*l + 12 = 37*l. Let v(c) = 2 - 2*c + 5 - 5*c. Is v(l) composite?
True
Let a(p) = 5*p**2 - 40*p + 11. Suppose 8*k - 384 = -8*k. Is a(k) a prime number?
True
Let q(p) be the third derivative of -p**5/60 + 19*p**4/24 + 29*p**3/6 + 5*p**2. Is q(9) composite?
True
Let x(q) = -8*q + 29. Let a be x(4). Let l(n) = -63*n**3 - 3*n**2 + 4*n + 7. Is l(a) composite?
False
Suppose 2*m + 3*d - 7 = 0, 0 = -4*m + 5*d + 3. Let n(r) = 3 - 2 + 10*r**2 + 1 + 3 + m*r. Is n(-6) a composite number?
False
Suppose 12*o = 17*o - 1420. Suppose 5*n - 1459 = -2*a, a + o = n + 4*a. Is n composite?
False
Is (10/5 + -7 - -1) + 4107 composite?
True
Suppose -2*k + 3*r + 6634 = -1767, -5*k + 20970 = -r. Is k prime?
False
Let r(u) = u - 303. Let h be r(0). Let w = -214 + h. Let m = w - -888. Is m prime?
False
Is ((-1)/1 + 21705/20)*28 a prime number?
False
Let d(l) = l**3 - 7*l**2 + 3*l + 7. Suppose -o + 150 = 4*o. Suppose -4*b - f + 23 = -4*f, 3*b + 2*f = o. Is d(b) a prime number?
False
Let l = 18212 + 1911. Is l composite?
False
Let h be ((-6)/18)/((-1)/9). Let q = h - 25. Is 4/(-2)*1793/q a prime number?
True
Let c = 64 - 62. Let j = c - -29. Is j a prime number?
True
Suppose -4*x + 150 = -n + 1239, -