 13*r**2 - 13*r - 13. Let t be i(-9). Let u = -2457 - t. Let z = u + 1198. Is z a prime number?
True
Suppose -2*h = -2*o + 10788, 5*o - 3*h - 26930 = -8*h. Suppose 3*a + 2*r = 5387, 3*a + 6*r - o = r. Is a prime?
False
Let z = -583 - -1266. Is z prime?
True
Let w(d) be the third derivative of -71*d**9/30240 - d**6/720 + d**5/15 + 5*d**2. Let s(u) be the third derivative of w(u). Is s(-1) prime?
False
Let m = -2 - -2. Let u = -52 - -57. Suppose -5*y + 270 - u = m. Is y a composite number?
False
Suppose 2*r = -480 + 22426. Is r a composite number?
False
Suppose f - 3*m = 7, -2*f = -4*f - 3*m + 41. Is (-19 + f)*(-1006)/6 prime?
True
Let c = 335 + -480. Let j be -6*-4*c/(-6). Suppose 10*u = 6*u + j. Is u composite?
True
Suppose -5*g + l + 5050 = 0, -5*g - 2*l = -5859 + 824. Is g composite?
False
Let g(p) = 227*p - 11 - 422*p + 227*p. Let i(l) = l**2 - 6*l + 7. Let y be i(6). Is g(y) prime?
False
Suppose -3*x - 2*q - 4 = 0, 0 = -5*x + 3*x - 5*q - 10. Let g(i) = -i**3 - i + 67. Is g(x) a composite number?
False
Is ((-9)/(-6))/((-9)/(-1326)) composite?
True
Suppose 62907 = 4*f - v, v = -f + 20915 - 5187. Is f a composite number?
False
Suppose -4*n - 3*u = 100, n - 3*u + 15 = -25. Let s be (-12)/(1 + n/29). Is (s/(-8))/(-3)*-6 a composite number?
True
Suppose 3*a = b + 1 - 0, -3*a - 4 = -2*b. Suppose -x + 134 = 5*o + 23, b*o - 112 = -2*x. Is (o/(-33))/(4/(-330)) a composite number?
True
Let y(i) = -39*i**2 + 8. Let j(b) = 77*b**2 - 16. Let s(q) = -6*j(q) - 13*y(q). Is s(-5) prime?
True
Let c(p) = -2*p**2 + 5*p - 1. Let q be c(3). Let k = -2 - -3. Is (k + q)/(2/(-26)) composite?
True
Suppose 0 = 3*f + 3*n, -3*f + 24 = -f - 4*n. Suppose f*d = 4722 + 1970. Is d prime?
False
Suppose -a - 45417 = -11*k + 6*k, k = 5*a + 9093. Is k a prime number?
False
Let b be (2/6)/((-2)/(-9*2)). Let f(r) = 589*r - 20. Is f(b) prime?
True
Let y(f) = f**3 - 7*f**2 - 7*f - 3. Let t be y(7). Let v = t + -40. Let w = -34 - v. Is w a prime number?
False
Suppose 5*l = -4*u + 1923, 3*u = l - 6*l + 1446. Suppose d + 1429 = -5*m, -3*d = -0*m + 5*m + 1427. Let n = u + m. Is n composite?
False
Let o = -786 + 2147. Is o a prime number?
True
Suppose -2*c + 178 = 4*p, c + p + 153 = 3*c. Let f = c - 134. Is (-3267)/f - 4/10 composite?
False
Let a(l) = 313*l + 4. Let v be ((-8)/8)/(-2 + 1/1). Is a(v) composite?
False
Suppose 0*l = 54*l - 1944. Let q = 64 - -61. Suppose q = p - l. Is p composite?
True
Suppose -4*v - b - 4994 = -3*v, v = -5*b - 4974. Let g = v - -8102. Is g prime?
False
Suppose 7*k - 120094 = 57013. Is k composite?
False
Suppose -6*g + 36859 + 78131 = 0. Is g composite?
True
Suppose 0*j = 2*j - 1086. Let c = j - 320. Is c composite?
False
Suppose 13*j = 6*j + 14. Let q = -1 + 1. Suppose 2*y + 5*i - 699 = q, 0 = -y - y - j*i + 714. Is y a prime number?
False
Let w be -4 - (8 - -2)*-1. Suppose w*f + 3111 = 9*f. Is f prime?
False
Suppose -176*k + 2291 = -175*k. Is k composite?
True
Let k = -2304 - -11813. Is k composite?
True
Suppose -y - 12 = -3*y. Let p(t) = 185*t**3 + 7*t**2 - 7*t + 6. Let d be p(4). Is d/30 + (-4)/y composite?
False
Let v = 489 - 226. Is v a prime number?
True
Let a(z) be the first derivative of -2*z**3/3 - 9*z**2 - z + 8. Is a(-6) prime?
False
Suppose 0 = -w + 9. Suppose -5*s + 2*s = -w. Suppose -2*k + 11 = -n - 38, -s*k + n + 74 = 0. Is k prime?
False
Let s(l) = 8*l**3 - l**2 + l - 1. Let q be s(1). Is (-4 + q)*1399/3 a composite number?
False
Suppose j - 6 = -2*j. Suppose m + 16 = -3*n + 61, 122 = j*m - 2*n. Let a = m - -106. Is a a prime number?
True
Suppose -k = 4*o - 3269, -o + 6568 = 2*k - 3*o. Is k a composite number?
True
Suppose 3*c = c. Suppose 5*v - 15944 + 4359 = c. Is v composite?
True
Let d(p) = p**3 + 41*p**2 - 139*p - 93. Is d(-38) a prime number?
True
Let t(l) = 302*l**3 + l**2 + 4*l - 5. Let z be t(2). Suppose g + z = 3*q, -2*g - 1626 = -2*q - 4*g. Is q composite?
False
Suppose 3*y - 4*n - 31 = 0, -5*y + 18 + 82 = 3*n. Suppose -b - 5 - 8 = -4*f, 0 = 5*f - 2*b - y. Suppose -f*j - 5*h = -2*h - 453, -2*h = -4. Is j composite?
False
Let z = 18 - 13. Suppose -2*c - z*v = -633, 2*v - 802 + 154 = -2*c. Is c prime?
False
Let a(s) = 584*s**2 - 3*s + 3. Let k be a(2). Suppose 5*m - 2352 - 1559 = 4*q, 3*m + q = k. Suppose -u = -5*i + m, -4*i + 6*i - 306 = -u. Is i composite?
True
Suppose 9 = 3*w, -5*d + 8 = -0*d - 4*w. Suppose -j - 4*y = -917, -d*j - y + 1995 = -1673. Is j composite?
True
Suppose 5*y = -w + 5*w - 32, -2*w - 4*y = 10. Suppose 0 = w*x - 4*u - 24, 5*x = -0*u + 3*u + 29. Is (-3563)/(-28) - 1/x a prime number?
True
Let y = 12 + -6. Is (1564 + -2)*(-1 - (-9)/y) a composite number?
True
Let d be -3 - 12/(-3) - -4. Suppose -k = d*k - 1650. Suppose -k = 3*h - 1352. Is h prime?
True
Suppose -377*g = -368*g - 79614. Is g a prime number?
False
Let u be ((-12)/(-5))/((-8)/(-20)). Suppose -26 - 34 = -u*r. Suppose 7*o = r*o - 615. Is o prime?
False
Let c(b) be the second derivative of b**6/40 - b**5/60 + b**4/12 - b**3/6 + 2*b**2 - 3*b. Let y(d) be the first derivative of c(d). Is y(2) composite?
False
Suppose 0 = 4*p + s + 49 - 484, 2*p + 2*s = 222. Let f = 35 - 35. Suppose -w - 2 + p = f. Is w a composite number?
True
Is 9216/5 + 8/(-120)*3 composite?
True
Suppose -5*s + 4*s - 12 = 5*z, 2*z + 30 = -4*s. Let b = s - -1. Let q(p) = p**3 + 6*p**2 - 2*p - 6. Is q(b) composite?
True
Is (-8*6/(-120))/((-2)/(-35195)) prime?
True
Let w(n) = 8*n**3 + 5*n**2 - 6*n. Let v be w(4). Let f = -251 + v. Suppose -f = -3*m + m - 3*u, -u = -1. Is m a composite number?
False
Suppose -4*w - 2 = -3*b - 0, -3*b + 11 = 5*w. Is -11 - -49 - (2 + w) a composite number?
True
Suppose 1282 = u - 2*l - 1651, -4*u + 5*l = -11744. Is u prime?
False
Let b = -207 - -526. Is b a composite number?
True
Let v(t) be the third derivative of 5*t**4/12 + t**3 - 2*t**2. Let q be v(6). Suppose -l = 2*l - q. Is l a composite number?
True
Suppose -55*l + 52*l = 1563. Let i = l + 814. Is i prime?
True
Let r = -2093 + 4936. Is r a composite number?
False
Suppose -3*s = 2*a - 4, 5*s - a = 4 + 7. Suppose g + v = -4*g - 26, 0 = g - 4*v + 22. Is 1842/s*g/(-18) a composite number?
False
Let w(a) = 3*a**2 - 46*a. Is w(-17) a composite number?
True
Suppose 0 = 3*w - 4*x - 17 + 3, 5*w + 2*x = 58. Is 2160 - w - (0 - -1) a composite number?
True
Let o be (5/4)/((-3)/156). Is (-7*3)/(15/o) composite?
True
Let k = -7 - -11. Let u = 1449 + 396. Suppose u - k = q. Is q a composite number?
True
Let f(r) = 0 + 14 + 1 + r**2 + 2*r + 2. Is f(-8) a composite number?
True
Suppose 0 = -55*g + 192395 + 160760. Is g prime?
True
Suppose -215055 = -61*z + 69388. Is z composite?
False
Suppose 5*l - 57 = -27. Suppose -l*c + c + 635 = 0. Is c composite?
False
Let n = -157469 + 265576. Is n a composite number?
False
Suppose 0 = -15*l - 0*l + 425235. Is l prime?
True
Suppose -4*r + 1482 = 2*x, 0 = x - 5*r + 2*r - 751. Is x a prime number?
False
Let a = 45 - 31. Let y = 16 - a. Suppose y*x + 207 = 5*x. Is x composite?
True
Suppose -5*j = 4*k - 8, 0 = 2*k - 2*j - 2*j - 30. Let t = -1 + k. Let n(r) = -r**3 + 7*r**2 + 9*r - 3. Is n(t) composite?
True
Let r(i) = 15*i**2 + i + 1. Suppose -16 - 19 = -5*c. Let l = -11 + c. Is r(l) a composite number?
True
Suppose 5*x - 4*l = -0*x + 494975, 5 = l. Is x a composite number?
False
Is 6 - 2 - -2539*3 a prime number?
True
Let t be (-10)/90 - (-1486)/9. Suppose o + 110 = 2*c, 3*c - t = 4*o - 9*o. Suppose 0 = -j - c + 308. Is j prime?
False
Let h(q) = -q**3 + 16*q**2 + 6*q + 4. Suppose v - 35 = -4*v. Is h(v) a prime number?
True
Suppose 5*m - 6 = -1. Is m - -2 - (-1773 + -1) prime?
True
Let n(w) = 6*w + 173. Is n(36) a prime number?
True
Let y be (-6)/(2*1/(-2)). Let s be (-176)/(-40) + y/10. Suppose 0 = 2*a + z - 69, z = -s*a + 5*z + 166. Is a composite?
True
Suppose 230 - 19606 = -s - 3*w, 0 = 5*s - 2*w - 96863. Is s a prime number?
True
Suppose 0 = -r - 127 + 37. Let j(g) = 21*g**2 + 5*g + 3. Let o be j(-3). Let y = r + o. Is y a prime number?
False
Suppose -2*d - 2*d + 576 = 0. Let z = 486 - 211. Let q = z - d. Is q a composite number?
False
Let j be 15/2 + 3/(-6). Suppose y = -1, -j = -2*r - 2*y - 23. Let c(p) = -p**2 - 25*p - 7. Is c(r) prime?
False
Let b = 3 - -2. Suppose 3*i + 137 = 3*c - 2*c, -b*c + 2*i = -711. Is -2*(2 - c/2) composite?
False
Let i be -1 - -4 - 5 - -4. L