5*s**4/24 + s**3/6 + 23*s**2. Is a(6) composite?
False
Suppose -2 = -h + y, 3*h - 5*y - 7 = -1. Suppose 0 = 4*t - h*x - 642, 3*x - 289 - 378 = -4*t. Is t a prime number?
True
Suppose -2*t = 5*r - 24, 2*t - 8 = -2*r + r. Is (5910/(-12) + 4)/((-1)/t) prime?
True
Is (1 - -3)/(8/17606) prime?
True
Let j(w) = 39*w + 2. Let n be j(1). Suppose 2*k + 17 = -n. Let b = 240 + k. Is b a prime number?
True
Suppose -19*o + 43363 + 88630 = 0. Is o composite?
False
Suppose b - 648 = 7259. Is b a composite number?
False
Suppose 0 = -3*p + 6 - 3. Suppose -4*h + 2*z = 0, -6 = -5*h - z + p. Is (h + 1)/(3/87) a composite number?
True
Let z(f) = 1398*f**2 + 6*f + 7. Is z(-1) a composite number?
False
Let z = 36341 - 23388. Is z a prime number?
True
Let c = -10 + -7. Let g = c + 68. Is g composite?
True
Let t be 8/(-28) + (-78215)/35. Let k = -368 - t. Is k prime?
True
Let g = -4823 + 6961. Is g prime?
False
Let l = 47369 - 30822. Is l a prime number?
True
Suppose 5*m + 36 - 2498 = -3*y, -3*m + 1484 = -5*y. Let f = m + 550. Is f a prime number?
False
Let y be (2 - 3) + 1 - 0. Suppose -4*b - 19 = -4*m - 3, y = -4*m - 3*b + 9. Suppose -m*u + 91 = r, 4*u + 4 = -12. Is r prime?
True
Let t be 1/(-4)*0 - -13. Suppose 0 = -3*a + 8*a + 2*o - t, 7 = 2*a - o. Suppose a*p = p + 1810. Is p a prime number?
False
Let s = -477 - -87. Let h = 657 + s. Suppose 7*c - h = 4*c. Is c a prime number?
True
Let r be (4/(-6))/((-2)/9). Let q be (194 - r) + (-1 - 0). Let d = q + -96. Is d a composite number?
True
Let g(b) = 23*b**2 + 24*b + 26. Is g(11) prime?
False
Let n(a) = 72*a + 1. Let w(q) = -2*q - 7. Let s(j) = -j - 3. Let c(y) = 9*s(y) - 4*w(y). Let o be c(-1). Is n(o) composite?
True
Let j(z) = -z**3 - 4*z**2 + z + 3. Suppose 0 = 3*w - 57 + 3. Suppose -3*a = -3*k - w, -2*k - 4*a + a = 22. Is j(k) a prime number?
True
Suppose 0 = -8*q + 245079 + 120113. Is q composite?
True
Suppose 93*j + 60 = 105*j. Suppose -4*v = -2*v - q - 3, -2*v - 3*q = -23. Suppose j*a = -v*c - 41 + 650, 0 = 4*a - 2*c - 482. Is a a prime number?
False
Let x(g) be the third derivative of -g**6/40 - g**5/10 + g**4/3 + 13*g**3/6 - 28*g**2. Is x(-6) a composite number?
False
Let q(g) = 4*g. Let u be q(-4). Let j = 10 + u. Is 908 - (-3)/6*j a composite number?
True
Let k(x) = 5*x**2 - 49*x + 9. Let l(r) = r**2 - 10*r + 2. Let o(f) = -2*k(f) + 11*l(f). Let z be o(12). Is (-2)/z + 2961/14 a composite number?
False
Let o(l) = l - 5. Let t be o(9). Let d(k) = -2*k**2 + 7*k + 4 - k**3 - t - 2. Is d(-5) a prime number?
False
Let w be (1 + 5)*5/(-2). Is (-4 - -7)/((-5)/w) composite?
True
Is (88/24)/((-3)/(-18351)) prime?
False
Let y be (60/(-8))/((-6)/(-228)). Let d = y - -1812. Is d a prime number?
False
Let f(b) be the first derivative of -2*b**3/3 + 2*b - 7. Let p be f(11). Is 1/(-1 - p/237) composite?
False
Is (3/(-3) - 0)/((-8)/114728) a composite number?
False
Is (99/18 + -6)*-44914 prime?
False
Let w = 79 + -77. Suppose 4*l = w*l + 538. Is l a composite number?
False
Is 11/44*2*46030 a composite number?
True
Let j(m) = -m**2 - 4*m + 3. Let r(u) = u**2 + 5*u - 4. Let c be r(-5). Let w be j(c). Suppose f - 311 = -w*f - 5*h, -4*f + 4*h = -320. Is f a composite number?
False
Suppose -4*i - 2*m + 42 = 0, 4*m = 3*i + i - 12. Suppose -5*d + i*d = 9. Suppose 0 = -2*w + 6*w + 3*y - 1837, 3*w = d*y + 1362. Is w composite?
False
Let x(o) = -3*o - 4. Let d(b) = 4*b + 3. Let f(u) = 3*d(u) + 2*x(u). Let k be f(-1). Let p(c) = -29*c + 4. Is p(k) a prime number?
True
Suppose -2*r + 6*a - 11*a = -11972, 2*r + 2*a = 11966. Is r a composite number?
False
Suppose -y - 200 = -5*y. Suppose 5*p + j = y, p + 5*j = 26 + 8. Suppose -p*z + 4*z = -230. Is z composite?
True
Suppose 4*c - 6 = 4*s - 2*s, -c = -2*s. Let q be (s/2)/(2/8). Suppose -2*t + 1146 - 480 = q*f, -5*t + 1693 = -2*f. Is t a composite number?
False
Is -9 - (6 + -4 + -7244) composite?
True
Let v = -135 - -192. Let d be (-366)/(-4) + 3/(-2). Let z = d - v. Is z a composite number?
True
Suppose -2 + 6 = 2*g, -h - 2*g + 1223 = 0. Is h a composite number?
True
Let z(c) = c + 1. Let u(b) = -10*b + 9. Let h(j) = u(j) - 6*z(j). Suppose -30 = 11*t + 47. Is h(t) a prime number?
False
Let r(m) = -2*m**2 - 3*m - 2. Let z be r(-2). Let u be z + 6 + (-6)/(-2). Suppose -u*v = -405 + 80. Is v prime?
False
Suppose -13*w + 15 = -8*w. Suppose -94 = -w*x + 41. Suppose -363 = -3*u - x. Is u composite?
True
Let w = 11 + -6. Let x = 194 - 103. Suppose 2*y + x = 4*y + 3*v, w*y + 5*v - 240 = 0. Is y a prime number?
True
Let w = -3 + 5. Let s be (-369)/6*(-80)/12. Suppose -w*q = -k - s, -386 = -q - q - 5*k. Is q composite?
True
Suppose -5*a = -2*y - 14174 - 13523, 2*a - 5*y = 11083. Is a prime?
False
Let c be (-205)/(-65) + (-6)/39. Suppose 9152 = 4*d + 4*h, d + h - 2291 = -c*h. Is d prime?
True
Let w = -22303 + 37062. Is w prime?
True
Is (9299/2)/(-14 + (-29)/(-2)) a composite number?
True
Let q = 43822 + -5871. Is q composite?
False
Let t = 9860 + -6697. Is t a composite number?
False
Let u be (-2)/1*168/16. Let h = u + 29. Is (-965)/(-6) + h/48 prime?
False
Suppose 5 = k - o + 2*o, -k + 13 = 5*o. Let w be ((-399)/6 + 1)/(5/(-100)). Suppose 0 = -3*x - 2*x - k*p + w, -787 = -3*x - 2*p. Is x composite?
True
Let j(k) = 950*k - 917. Is j(9) a prime number?
False
Let q(k) = 2*k**3 - 47*k**2 - 17*k + 53. Is q(24) a composite number?
True
Let o(i) = 13*i**3 + 5*i**2 - 3*i + 4. Let r(d) = -d + 1. Let m be r(-4). Is o(m) a composite number?
True
Let v = -350 - -4897. Is v prime?
True
Let k(m) = -10388*m**3 + m**2 - 3*m + 3. Is k(-2) a prime number?
True
Let p(o) = -237*o + 1. Let i be p(-4). Suppose 3*d - i + 214 = 0. Suppose -5*l + 0*l + 3*t + 1189 = 0, l + 3*t - d = 0. Is l prime?
True
Suppose -48 = -4*d - 4*d. Suppose h = 2*l - 61, -l + 4*h = -d - 21. Is l composite?
False
Suppose -4*m = -58 - 46. Let z(u) = -u**2 - 18*u + 24. Let s be z(-11). Let g = s + m. Is g a prime number?
True
Let r = -18328 - -103728. Is r/12 - 1/(-3) a prime number?
False
Let u(w) = -w + 1. Let q = 1 - 2. Let y be u(q). Suppose 2*p - 102 = -3*d + 5*p, 61 = y*d + 5*p. Is d a prime number?
False
Is 2*(7450/(-4))/(-5) prime?
False
Suppose -3*r = -0*r - 4*d + 2916, r - 2*d = -974. Suppose 0 + 4 = 4*h. Is h/3 + r/(-3) composite?
True
Let x = -13 - -12. Let w(i) = -4*i**3 + i + 1. Let t be w(x). Suppose -t*g = -241 - 379. Is g a composite number?
True
Let p(s) = 60*s**2 + 111*s + 1. Is p(4) prime?
False
Let t(z) = 181*z**2 + 2*z + 2. Is t(3) prime?
True
Let q be (-4 + (-72)/(-20))/(2/(-10)). Suppose -20 = -5*o, -y - q*o + 64 = 9. Is y a prime number?
True
Let m = 79 - 53. Suppose z = 57 + m. Let x = 121 - z. Is x composite?
True
Let j = 35 - 32. Suppose 2*m + m + j*u = -2064, -u - 2758 = 4*m. Let n = -193 - m. Is n a composite number?
True
Suppose -2*p = -6*p + 12, -4*y + 2*p = 86. Suppose 3*g = -34 - 227. Let l = y - g. Is l composite?
False
Let z(t) = 29116*t**2 + 14*t + 15. Is z(-1) a prime number?
False
Suppose -2612*u = -2626*u + 336602. Is u prime?
True
Suppose -4*g = -9*g + 3155. Is g a prime number?
True
Suppose -917 + 121218 = 4*d + 3*p, -2*d + p + 60163 = 0. Is d composite?
True
Let l = -408 + 607. Is l a prime number?
True
Let l = 3841 - 2543. Suppose -3*d = 4*j + 2*d - l, -330 = -j - 4*d. Let p = 73 + j. Is p a composite number?
True
Let y = -1 - -4. Let i = -56 - -168. Let r = y + i. Is r a composite number?
True
Is 17014 + 54/(-9 + 15) a prime number?
False
Suppose 7*w = -2*w + 27. Suppose -7 = -4*l + 1, 4*f = w*l + 3390. Is f prime?
False
Let j = 87 + -86. Let i(h) = 497*h + 2. Is i(j) a composite number?
False
Suppose 1821*a - 1822*a = -6317. Is a composite?
False
Let m(v) = 3*v + 118. Let j be m(0). Let g = j + -198. Is (-8)/(-2)*(-10820)/g composite?
False
Suppose 5*a + v - 14 = 0, -2*a - 11 + 35 = 5*v. Suppose -5*z - 45 = -a*z. Is (-9)/(-6)*(-4490)/z prime?
True
Let d = 54 - 52. Suppose -t + l = -l - 870, 0 = 3*t - d*l - 2626. Is t prime?
False
Is 1/(-1)*(-61058 - -57) a composite number?
False
Suppose -8*a = -19*a + 183293. Is a composite?
True
Let a(x) = x**2 + 10*x - 9. Let c be a(-11). Is (23/(-69))/(c/(-2286)) composite?
True
Suppose 5*m - m + 4*v = 4, -5*m = 4*v - 6. Let x(f) = -m + 49*f - 2 - 1 + 1. Is x(2) a prime number?
False
Let y = -42 - -62. Let p(u) = 5 + y*u - 5 - 11. Is p(6) prime?
True
Let t(o) 