x**7/630 - x**6/720 + x**5/20 + x**4/6 + 42*x. Let s(j) be the third derivative of f(j). Is s(5) composite?
True
Is (7 - 1) + 35545/(-15)*(-3)/1 a composite number?
True
Let d be -3 + (-15)/(-6) + 18/4. Is ((-30)/(-15))/(d/15578) a prime number?
True
Let c = 8679 + -4502. Is c prime?
True
Let h be (-18 - -19)*98*(-89)/(-2). Suppose -7*w + h + 6216 = 0. Is w prime?
True
Suppose 4*f + 0*f - 5*a = 326625, 2*f + 4*a = 163280. Suppose -38170 = -12*v + f. Is v prime?
False
Suppose 3*c + 9106 = 1768. Suppose -11*n = -14*n - 873. Let p = n - c. Is p prime?
False
Suppose -114235 = -41*d + 36*d. Suppose -2*c + d = 9*c. Is c a composite number?
True
Let s = -171 - -179. Is 66475/s + ((-42)/16)/7 a prime number?
False
Suppose 5*h = 15 - 5, 2*u - 16 = -3*h. Suppose u*k - 39082 = 8923. Is k a composite number?
False
Let w(v) = 1186*v**2 - 5*v - 103. Is w(-8) composite?
True
Suppose 2*n - 498 = 376. Suppose n = -2*j - 919. Let h = j - -1243. Is h prime?
False
Let h(x) = 21691*x**3 - 3*x**2 + 6*x + 10. Let o(l) = l**3 - l**2 + 1. Let y(w) = -h(w) + 5*o(w). Is y(-1) prime?
False
Suppose 12*m - 15759458 = -131*m. Is m a prime number?
False
Let u be (12/5)/((-57)/(-95570)). Is (10/(-4) + 2)/((-2)/u) prime?
False
Let q(b) be the third derivative of b**6/15 + 11*b**5/60 + b**4/12 - 11*b**3/2 - 117*b**2. Is q(8) a composite number?
False
Let w be 7/(21/12)*30/40. Suppose w*j - 5935 = 2720. Is j a composite number?
True
Suppose -56*f = -39*f - 361573. Is f composite?
False
Suppose 4*m = 3*m + 10907. Suppose 8*z + 5*z - m = 0. Is z composite?
False
Suppose -k = -2*k + 3*c - 8, 0 = -3*k + 5*c - 16. Let x be k/(4 + -6)*0. Suppose 0 = -x*i + 3*i - 885. Is i a prime number?
False
Is (-20)/(-50)*-10 - -28971 a prime number?
False
Let n(a) be the first derivative of 4 + 5/4*a**4 - 5/3*a**3 - 11*a + a**2. Is n(4) a prime number?
False
Let k = 13600 + 26059. Is k a prime number?
True
Suppose 47*z - 2095508 + 603133 = 658768. Is z composite?
True
Is 1041811 - (-11 - -26 - (7 + 0)) a prime number?
False
Let b = -31 - -31. Suppose b = f - 3*f - 72. Is ((-120)/f)/(3/((-63)/(-2))) prime?
False
Suppose -11*l = -22*l + 106997. Is l a prime number?
False
Suppose 0 = 5*m - j - 21913 - 4426, -3*m - 5*j + 15837 = 0. Is m composite?
True
Suppose -86*t - 107*t + 68588322 = -53045489. Is t a composite number?
True
Suppose -x + 1547 = -208. Suppose 9449 - x = 2*n. Is n a prime number?
True
Let c = 927688 - 403769. Is c prime?
False
Let h(o) = -o**3 + 19*o**2 + 426*o + 47. Is h(-22) prime?
False
Let z(f) be the third derivative of f**6/120 + f**5/15 - f**4/24 - f**3/3 - 3*f**2. Let a be z(-2). Suppose a*c = 3*c + 6005. Is c composite?
False
Suppose 0*y + y = 1, 0 = -4*d + 5*y - 761. Let l = 1163 + d. Is l a prime number?
False
Let c(f) = 35*f**2 - 15*f - 7. Let h be c(-11). Let z = 1342 - h. Let l = -1780 - z. Is l prime?
False
Suppose -19*i + 16*i - 5*q = -71913, 4*i + 4*q - 95884 = 0. Is i prime?
True
Suppose 2*b + 31080 = 14*b. Suppose 3*z + 3*c - 4*c = 1942, 0 = -4*z + 2*c + b. Is z a prime number?
True
Suppose -6*i + 54 = -18. Let b(v) = 25*v + 17 + 27 - 13. Is b(i) prime?
True
Let m(i) = 14*i - 62. Let z be m(-18). Let p = 457 + z. Is p prime?
False
Let m = -89347 + 162648. Is m a prime number?
False
Suppose -7*q + 115 = 16*q. Suppose -q*o - 3487 = -j - 0*j, -2*j = 2*o - 6974. Is j a prime number?
False
Suppose 4*b + 4 = 6*b. Let t(s) = -47*s**3 + s**2 - s + 3. Let d be t(-2). Suppose -b*p = 5*p - d. Is p a prime number?
False
Suppose -4 = 4*j + 4*s, 2*j - 7*s + 4*s + 22 = 0. Let q be (63/(-35))/(-9) - (-1)/j. Suppose q = v - 11 - 24. Is v composite?
True
Suppose -4*u = -2*u - w - 12, 0 = 4*w. Suppose u*q = 7*q - 2075. Suppose d = z + 3*z + 675, 2*z + q = 3*d. Is d a composite number?
True
Let j(b) be the second derivative of 7*b**5/10 + b**4/2 + 10*b**3/3 + 27*b**2/2 - 65*b. Is j(11) a prime number?
False
Suppose 10*q + 12690 = 20*q. Let l = q + 1684. Is l a composite number?
False
Suppose -a + 16427 = 2*t - 2078, -a + 18498 = -5*t. Is a a composite number?
False
Suppose 2154440 = 41*f - f. Is f prime?
True
Suppose 30*j = 25*j + 32970. Suppose t + 7*y - 3289 = 2*y, -2*y = 2*t - j. Is t a prime number?
True
Let q be -59 - (-7 + 6)*5. Is 17320/36 + 6/q a prime number?
False
Let q = -288 + 293. Suppose 2*d - 26195 - 14337 = -4*j, q*j + 5*d = 50665. Is j prime?
True
Let l(i) be the second derivative of -71*i**3/6 - 4*i**2 + 3*i + 38. Is l(-9) composite?
False
Suppose 1758 = 17*i - 16*i + 4*v, 3*i - 5278 = -8*v. Is i prime?
False
Let k = 264281 + -156054. Is k composite?
True
Suppose 4*b = 2746 + 802. Suppose 0 = 34*n - 37*n + 24, -5338 = -3*r - 5*n. Let p = r - b. Is p composite?
True
Let b = 1069 - 2768. Let x = b - -4060. Suppose 0*p = 3*p - x. Is p prime?
True
Suppose 0*f = -2*f - 3*x + 275, 3*f - 365 = 5*x. Let t = -128 + f. Suppose 0 = t*c - 36 - 26. Is c a prime number?
True
Let s(m) = -m + 1. Let n(a) = -a**3 - 8*a**2 - 6*a - 6. Let d(f) = -n(f) + s(f). Let c(h) = h**3 - 9*h**2 + 11*h + 38. Let b be c(5). Is d(b) prime?
False
Suppose -4*l - 4*l + 280 = 0. Let o be 21 - l - (1 - 3). Is (365/(-2))/(6/o) a composite number?
True
Let b(a) = -25*a + 156. Let k be b(6). Is -1*(-9662 + -7 + k) a composite number?
True
Let m = 17 + -15. Suppose -l + 6 = m. Is 878 + (7 - l) + -4 composite?
False
Let u(k) = 205*k**2 - 41*k + 1283. Is u(-46) composite?
True
Let c(h) = 12*h**2 - h. Let s be c(2). Let m = 51 - s. Suppose 3*d - m*u = 2402, d + d - 3*u - 1600 = 0. Is d a prime number?
False
Let s be -3 - (-7 + 4 + -1). Is s*(-220494)/4*22/(-33) composite?
False
Suppose 0 = 4*z + 3*z - 35. Suppose z*s + 930 = -365. Is (-3)/((-12)/(-4))*s composite?
True
Let c = 51 - 47. Let v be 54/45*(c - -1). Suppose -1402 = v*a - 8*a. Is a a composite number?
False
Suppose 7*v + v = -72. Let y be (v + -1 + -2 + 4)/(-2). Suppose -i + y*i = 12867. Is i prime?
True
Let a(g) = 2*g**3 - 4*g**2 - 7*g + 3. Suppose -12 = -3*m, 0 = -2*b - 2*m - 0 + 18. Let x be a(b). Suppose 1238 + x = 6*t. Is t composite?
True
Let o = 7295 - 14762. Let c = 12778 + o. Is c composite?
True
Let z be (-20)/(-6)*(2 + 0 + 1). Suppose -z - 44 = -3*h. Is 1839/2 + h/12 a composite number?
True
Let v(i) = 6*i + 13. Suppose 5*j - 3*f = -0*f - 24, -4*j - 3*f - 3 = 0. Let x be v(j). Let a(b) = -238*b - 16. Is a(x) a composite number?
True
Let r(l) = -l + 15. Let b be r(17). Is (2 - (-40)/(-25))/(b/(-21005)) composite?
False
Suppose -2*c = 13*m - 4*m - 114397, 3*c - 5*m = 171688. Is c a prime number?
True
Let r(k) = 2*k + 1. Let p(s) = 2054*s**3 + s**2 - 8*s - 9. Let d(g) = -p(g) - 2*r(g). Is d(-2) prime?
True
Let m(b) = -4*b**3 - 12*b**2 - 3*b + 4. Let u be -1*3 + -16 + 6. Is m(u) prime?
True
Let n(f) = -29 - 37 + 987*f + 57. Let i be n(4). Suppose -293 + i = 2*x. Is x composite?
False
Let p(q) = -2*q**2 + 30*q + 39. Let w be p(-11). Let s = -120 - 228. Let c = s - w. Is c prime?
False
Let s be 2285 - (4/6 - 16/(-12)). Suppose -5*o = 2*h - 7562, 0 = -3*h - 3*o + 9078 + s. Is h a composite number?
True
Let n = 73 + -93. Let h = n - -229. Is h a prime number?
False
Suppose -2*w - 7 = 3. Let a be ((9 - 4)/w)/((-2)/6). Suppose a*b + 2*m + 73 = 312, 4*b - m = 337. Is b prime?
True
Suppose 0 = -b + 3*b + 4. Let i be 12*(b - (-3)/4). Is ((-2158)/39)/(2/i) prime?
False
Let h(b) = 318*b - 61. Let l(t) = 2*t - 2. Let i be l(8). Is h(i) prime?
True
Let s be (-24)/(-8) + -104*1. Let b = 57 + s. Let h = b - -279. Is h a prime number?
False
Suppose 3*v + 3*g = 1296342, 30*v + 2*g + 1296377 = 33*v. Is v a prime number?
True
Let s(a) = 96*a**3 + a**2 - 3*a - 20. Let n(v) = 288*v**3 + 4*v**2 - 7*v - 58. Let g(k) = -3*n(k) + 8*s(k). Is g(-3) a composite number?
False
Suppose 2*f + b - 999 = 2406, 0 = -f + 3*b + 1720. Suppose -s + f = 4*a, 5*a + 6 = 26. Is s a composite number?
True
Let b = -146 - -151. Suppose 0 = -b*g + 9878 + 1347. Is g a composite number?
True
Let s(h) = -h**3 - 8*h**2 - 4*h - 12. Let d be s(-8). Suppose 3*z + 5 = 4*l, 0*z + 2*l = -2*z + d. Let j(x) = x**3 + 6*x**2 - 6*x + 6. Is j(z) composite?
False
Let b(i) = 55*i**2 - 5*i + 2. Let r be b(-6). Let n = r + -39. Is n a composite number?
False
Suppose -78*c = -77*c + 8096. Let u = -4413 - c. Is u prime?
False
Let m(o) be the second derivative of o**3/3 + 1063*o**2/2 + 23*o. Let s be m(0). Su