4825 = -2*q - g. Is q prime?
False
Let v be 2/7 - 97*(-38100)/21. Is 2/6*v/18 composite?
False
Is 2/11 - (236941920/330)/(-12) prime?
False
Let r = -5598 - 1912. Let i = r + 12269. Is i composite?
False
Let t(l) be the first derivative of l**4/4 - l**3/3 - l**2 + 2671*l + 101. Is t(0) composite?
False
Let o be (2 - 18/(-6))*-7. Is (-15)/o + 11491/7 + 1 prime?
False
Suppose -17582631 = 30*d - 57*d - 94*d. Is d a composite number?
True
Suppose -3*i + n + 2863 = 0, 0 = 4*i - 3*n + 578 - 4392. Is i composite?
True
Let n(o) be the first derivative of 8*o**3/3 + 3*o**2 + 5*o + 69. Suppose -16 = -6*k + 2*k. Is n(k) composite?
False
Let a(w) = w**3 - 3*w**2 + w + 12804. Let v be a(0). Is (1*1/3)/(4/v) prime?
False
Is (-162)/189 - (0 + 41439/(-7)) a prime number?
False
Let v = 79 - 58. Suppose -5*r + 86 - 11 = 0. Suppose -r*k + v*k = 222. Is k composite?
False
Let x(q) = q**3 + 5*q**2 - q - 7. Let l be x(-5). Let s be (108/30)/(l/5). Is (1*(-3 + 2))/(s/279) composite?
False
Let t be -5 + -8*(-1 + 0). Suppose -1711 = s - t*j - 4484, 2*s - 5510 = -3*j. Is s composite?
True
Let j(k) = -k**3 + 2*k + 1710. Let s be j(0). Suppose -12 = -6*r + 2*r. Suppose -b = r*w - s, 4*w + b - 1340 = 941. Is w composite?
False
Let f be (2 - -1)*82/6. Let m = -43 + f. Is 4 - (0/4 + m) a composite number?
True
Let f(b) = 256*b + 9. Suppose 3*y = 6 - 3, 2*u + 5 = 3*y. Let o be f(u). Is (-7*(o + -4))/(2 - 1) prime?
False
Let y(g) = g**2 + 2*g. Let s(z) = 788*z**2 + 38*z + 54. Let c(n) = s(n) - 3*y(n). Is c(-5) prime?
False
Let s(i) = 456*i**2 - 284*i + 23. Is s(30) a prime number?
True
Let y(b) = -2*b**3 - 16*b**2 - 11*b - 17. Let d be y(-12). Let g = d - -772. Is g composite?
False
Let m be 390/(-91)*-1*(15 + -1). Suppose -q = -116 - m. Let d = -21 + q. Is d composite?
True
Let r = -206 - -210. Suppose -2*i = -4*q + 2512, 2*i - 633 = -r*q + 3*q. Is q a prime number?
False
Suppose -67 + 49 = -3*k, 0 = f - 3*k - 87285. Is f a composite number?
True
Suppose -36*s + 10*s = -52. Suppose -3*j + 28141 = 5*o, 0 = -s*j - 5*o - 4661 + 23425. Is j prime?
True
Let b(c) be the second derivative of -c**5/5 - 2*c**4/3 - c**3/3 - 5*c**2/2 - 12*c. Suppose -5*h = -0*j + 5*j + 55, -3*j - 13 = -h. Is b(j) prime?
False
Suppose 5*f = v - 293122, -6*f = 23*v - 20*v - 879471. Is v a composite number?
False
Let w = -10472 - -37293. Is w composite?
False
Let d(f) be the third derivative of -f**5/30 + 31*f**4/12 - 17*f**3/6 - 11*f**2. Is d(12) a prime number?
True
Suppose -j + 154 = -313. Let v = j - 172. Is v prime?
False
Let p(i) = i**3 - i**2 - 6*i - 3. Let h be p(-2). Let b be 300 + (-5 - h) + 1*3. Suppose 614 + b = 3*u. Is u prime?
False
Let t be ((-1440)/7)/(16/(1344/(-18))). Let v = -551 + t. Is v a prime number?
True
Let h be (-12)/(-9)*3 + 74. Let l(b) = 2 - 11 + h*b - 40*b. Is l(12) prime?
False
Let n(u) = 24*u + 7. Suppose -o = 2*p - 7, -4*p = p - o - 7. Let t(h) = h. Let k(w) = p*t(w) - n(w). Is k(-3) a prime number?
True
Suppose -164*b + 75*b = -10*b - 11529497. Is b a composite number?
True
Let k = -48 + 61. Suppose -11 = d - k. Suppose 5*q = 4*v + 2352 - 307, -3*q = d*v - 1227. Is q prime?
True
Suppose -2*i + 38910 = -8154. Suppose i = -0*k + 3*k. Suppose -5*z = -z - k. Is z prime?
False
Let q(c) = -21*c**2 + 160*c - 115. Let h(i) = -4*i**2 + 32*i - 23. Let f(b) = 11*h(b) - 2*q(b). Let s be f(15). Suppose -s*y + 11*y - 2756 = 0. Is y prime?
False
Let m be 5 + (-9 - -1) + 1. Is (-96844)/(-93) + (m/(-3))/(-2) a composite number?
True
Let k(l) = -449*l. Suppose 5*v - 3 = 4*v. Suppose v = 25*a - 28*a. Is k(a) prime?
True
Let h = -2191 + 18290. Suppose 3*b + 5*z - h = 0, -2*b + 3558 = 5*z - 7183. Suppose 0 = -8*q + 2*q + b. Is q composite?
True
Suppose -1655456 = -707*d + 675*d. Is d a prime number?
False
Let d(u) = 19*u + 97. Let n(m) = -37*m - 196. Let h(x) = -7*d(x) - 3*n(x). Is h(-21) a composite number?
True
Suppose -55746 - 75666 = -2*d. Suppose -2*a + 8*a - d = 0. Is a a prime number?
False
Let p(l) = 2*l - 8. Let i be p(5). Suppose i*n - 3*w - 1428 = -4*w, -4*n = 5*w - 2856. Let k = n + -343. Is k a composite number?
True
Let m(g) = 1449*g + 466. Is m(29) prime?
True
Let m be (0/(-6))/(4/(-2)). Suppose z = -3*z + 168. Suppose m = -d - z + 125. Is d a composite number?
False
Let t = -7 + 4. Let v be t/(-2)*(0 + (-258)/(-9)). Let m = 1144 + v. Is m composite?
False
Suppose 4*j = -4*x + 28, -4*x = -j - 2 - 6. Let l(z) = -j*z + 1 + 9*z + z + 31*z**2. Is l(-4) prime?
False
Suppose 4*a - 2*i = 64110, 2*i = 2*a + 13956 - 46008. Suppose a = 3*t + 2*u, u + 2786 + 7907 = 2*t. Is t a prime number?
False
Is (3/(-2 - -3))/((-1)/25882*-6) a prime number?
True
Suppose -2*x = w + 3*w - 26, 2*x = 3*w + 33. Let u(l) = l**3 - 15*l**2 + 23*l + 70. Is u(x) a composite number?
True
Suppose s + 33504 = 3*s + 2*c, 0 = 3*s + c - 50266. Is s prime?
False
Suppose -46*u + 35*u = -22. Suppose -u*m - o + 3844 = 418, 2*m - 5*o - 3402 = 0. Is m composite?
True
Suppose -5*n = -2*p + 11, -5*n - 14 - 3 = p. Is 5*(5/(-10))/(n/3786) a prime number?
False
Let w(g) be the second derivative of -g**4 + 21*g + 11/6*g**3 + 11*g**2 - 1/10*g**5 + 0. Is w(-9) a composite number?
False
Let l = 968 - 935. Suppose -17*w - 80848 = -l*w. Is w composite?
True
Let g be (47 - 51) + (-2818)/(-1). Suppose 11*j = g + 893. Is j a prime number?
True
Let c(v) = 6722*v**2 + 70*v + 46. Is c(4) a composite number?
True
Let v be 8 - 2 - 162/(-9). Suppose -10942 = 22*x - v*x. Is x a prime number?
True
Let j = -414 - -877. Suppose 6*m - 3*q - 1904 = 2*m, -4*q - j = -m. Is m composite?
False
Let g = 13441 + -12858. Is g composite?
True
Suppose 44*o + 13*o = 2022987. Is o a composite number?
False
Let h = 28 - 26. Suppose -h*u + 0*q = -5*q - 331, -5*u - 5*q = -775. Let k = 173 + u. Is k a prime number?
True
Let v = -189 - -189. Is v + 14485/15 - 8/(-6) prime?
True
Let c = 149 + -151. Let o(n) = -571*n**3 + 2*n**2 + n - 1. Is o(c) prime?
False
Let f(h) be the second derivative of -1537*h**6/720 - h**5/40 + 5*h**4/2 - 29*h. Let i(d) be the third derivative of f(d). Is i(-2) a composite number?
True
Suppose 0 = 24*p - 13*p - 79420. Suppose -2293 = -9*i + p. Is i a composite number?
True
Is (-2 - -2 - -1)*(56528 - 57) prime?
False
Let u(k) = -k**2 + 3*k + 16. Let h be u(5). Let m(r) = r**2 - 6*r - 2. Let o be m(h). Is o/(-1)*2588/8 a prime number?
True
Let b = 65 + -29. Suppose 8*q - 5*q = -b. Is 1157/4 - (-3)/q composite?
True
Let o = -438 - -776. Is (2 - o/(-4))/((-27)/(-702)) composite?
True
Let w = -117 - -129. Suppose 38615 = 17*m - w*m. Is m prime?
True
Suppose -6*w + 4 = -38. Let t(g) = 9*g**2 - 2*g + 4 - 5*g - g + g**3 + w*g. Is t(-7) a prime number?
True
Let w(u) = -u**3 - 4*u**2 - 8*u - 7. Let m be w(-2). Let i(d) be the third derivative of 121*d**4/6 + 5*d**3/6 + 17*d**2. Is i(m) prime?
False
Let g(z) = 33*z**2 - 363*z - 79. Is g(23) prime?
True
Let u(f) = 17*f**2 - 2. Let b be u(-2). Let m be (3 + 0)*11/(b/(-328)). Let t = -61 - m. Is t prime?
True
Let n = -22533 + 77800. Is n composite?
True
Let i be 54/13 + (5 - 201/39). Suppose 0 = 2*z - 5*l - 10097, i*z + 2*l - 20207 = -l. Is z composite?
False
Suppose 4*c = 3*z - 1841, -5*z + 4*c = 1115 - 4170. Suppose 14057 = -z*a + 608*a. Is a composite?
False
Let n = -69 + 80. Suppose -n*g + 3*g + 9192 = 0. Is -2 + (2 - -2) + g prime?
True
Let d(p) = -p**2 + 7*p + 9. Let k be d(7). Let b(g) = 2*g**2 + 13*g - 9. Let h(m) = -m**2 - 7*m + 5. Let s(n) = -2*b(n) - 5*h(n). Is s(k) a prime number?
False
Suppose 3*i - 6 = -2*u - 22, -5*u - i = 14. Is u - -205 - 0/(-3 + -1) composite?
True
Let f(u) = 200*u - 10. Suppose -3*c + 29 = 3*x + 2*x, 20 = 2*x - 3*c. Let a be f(x). Is a/4 - 6/12 prime?
True
Suppose 9*q + 10093158 + 9658975 = 88*q. Is q a composite number?
False
Suppose -6 = -3*a + 2*w, -5*a + 9*a + 4*w = 28. Let f be ((-80)/(-24))/(a/6). Suppose f*i = -15, 4*p - 3*i - 31914 = 8387. Is p composite?
True
Let g(i) = -6780*i + 367. Let h(u) = 3390*u - 183. Let w(s) = 4*g(s) + 9*h(s). Is w(10) prime?
True
Suppose -5*l = -5*b + 9205, -309*b - 5*l = -308*b - 1877. Is b a prime number?
True
Let m(d) = d**2 - 1. Let t(h) = -19*h**2 + 20*h + 2. Let a(u) = -4*m(u) - t(u). Is a(-7) a prime number?
True
Suppose 6*v - 4*i - 58801 = -3*i, -4*v - 2*i + 39182 = 0. Is v a composite number?
True
Let h(c) = c + 5. Let