?
False
Let b(d) = 5*d + 13. Let h be (-272)/(-18) + 2/(-18). Let q be b(h). Suppose -q = n - 857. Is n a composite number?
False
Let y be 13/(-1)*-7*(14 - 3). Let c = y + -694. Is c a prime number?
True
Let k = -504 + 717. Let c = -5 + 16. Suppose 14*j - k = c*j. Is j a composite number?
False
Is 137/(((-21)/(-3))/371) prime?
False
Let y(p) be the third derivative of 1/12*p**4 + 1/120*p**6 + 0 + 0*p + 1/6*p**5 + 11/6*p**3 + 5*p**2. Is y(-9) prime?
False
Let l(g) = -g**2 + 2*g - 1. Let t be l(-2). Let w = -6 - t. Let y(o) = 3*o**2 + 3*o - 1. Is y(w) a composite number?
True
Suppose -u + 1725 = 4*k, -2*k + 4*k - 4*u = 840. Suppose 0*f + 3510 = 9*f. Suppose -4*s + f = -k. Is s a composite number?
True
Suppose 2*d - 20 = -2*d. Suppose -2*v + 492 = 5*o - 208, -3*o + d*v = -420. Let m = o - -73. Is m prime?
False
Suppose -3*b - 8 = -4*f, 2 = f - 2*b - 3*b. Let g be 2/f + (-20)/(-4). Is g/27 - 19137/(-27) composite?
False
Let x(g) = -g**2 - 6*g - 9. Let k be x(-3). Let u(d) = 2*d + 1465. Is u(k) a composite number?
True
Let l(m) = -m**3 - 21*m**2 - 38*m + 5. Let d be l(-19). Suppose 4*z - w = 3623, d*z - 4*w = 4*z + 887. Is z a composite number?
False
Let w(k) be the second derivative of k**4/4 + 3*k**3/2 - 33*k**2/2 + 18*k. Is w(-10) a composite number?
True
Let f(g) = 509*g - 4. Let m be f(11). Suppose 5*d - 4*c + 2252 - 9243 = 0, -c = -4*d + m. Is d a composite number?
False
Let l be (-1*(3 - 1))/1. Let a be -6 - (6/l + 2). Let z(d) = -70*d - 3. Is z(a) a prime number?
True
Let k(q) = -q**2 - 11*q - 21. Suppose 7 = -3*r + 5*c, r + 22 + 3 = -4*c. Let x be k(r). Is (134*1)/(x + 5) composite?
False
Let v(i) be the third derivative of 41*i**5/15 - i**4/24 + i**3/3 + 4*i**2. Let z be v(-3). Let j = -802 + z. Is j composite?
True
Suppose -m = -0*m - 2. Suppose 102 = 3*i + 2*y, -m*y + 102 = 3*i + 3*y. Is i a prime number?
False
Is 1/7 - 93164144/(-1204) a composite number?
True
Suppose 16*q = 133 + 155. Let o(g) = -g - 12. Let t be o(-5). Let f = t + q. Is f a prime number?
True
Is (-7736)/(-4) - (0/7)/(-2) prime?
False
Let y(a) = -a**2 + 8*a - 11. Let b be y(7). Let r(u) = -2*u**3 + 6*u**2 - 2*u - 9. Is r(b) composite?
False
Suppose -3*y + 2 = -5*v + 10, -y - 6 = -5*v. Let k = y - -3. Suppose k*x + 5*q = -2*x + 4869, -3*q = 3*x - 3648. Is x prime?
False
Suppose -3*h = 10 - 22. Suppose f - 4*f = -5*m - 31, -m - 47 = -h*f. Let s = 103 + f. Is s a prime number?
False
Suppose -37848 - 2180 = -4*f. Is f prime?
True
Let y be (-350)/(-15)*18/5. Let n = y - -25. Is n a prime number?
True
Let i(o) = 2585*o**2 + 82*o - 475. Is i(6) a composite number?
False
Is (-20578)/(-8)*(-132)/(-11) prime?
False
Let a be -3*(-7)/((-63)/12). Let j(b) = -b**2 - 3*b + 5. Let f be j(a). Suppose d - 332 = -d + 2*u, 0 = -u + f. Is d a prime number?
True
Suppose 77*w = 73*w. Let r(u) = 34*u**3 - 2*u**2 + u. Let d be r(1). Suppose x - d - 46 = w. Is x composite?
False
Is 37/(-111) - 2/(-6)*116170 a prime number?
True
Let q(b) = 21*b**2 + 13*b + 37. Is q(-9) a prime number?
True
Let k(u) be the third derivative of 9*u**4/8 - u**3/3 - 6*u**2. Let v(o) = o**3 - 9*o**2 - o + 13. Let a be v(9). Is k(a) composite?
True
Let l = -1165 - -769. Let b = -170 - l. Is b prime?
False
Let v = 39 - 38. Is (0 - v/3) + 9100/12 composite?
True
Let b(h) = 213*h**2 + 2*h. Let j(d) = -4*d + 7. Let y be j(2). Is b(y) a composite number?
False
Let u = 292 + 486. Suppose -4*y + u = 4*p - 4798, -3*y = 9. Is p a prime number?
False
Suppose -3 = -l - 4*x + 9*x, 6 = 2*l + 5*x. Suppose 4*i - 1093 = 3*m, -l*i + 1090 = i - 2*m. Is i composite?
False
Let q = 194 + -79. Let p = -51 + q. Suppose r + 5*o = -0*r + p, 5*r - 254 = -3*o. Is r composite?
True
Let k(g) = -3*g**2 - 11*g + 7. Let b be k(13). Let y = 244 - b. Is y a prime number?
True
Suppose 4*l = 8*l - 12. Suppose 0 = -4*v + 3*t - 0*t + 412, -2*v - l*t = -206. Is v a prime number?
True
Is 93/(-31) + (0 - (0 - 4424)) composite?
False
Suppose -5*d - l = -7713, -19*l = -17*l + 4. Is d a prime number?
True
Let d = -21 + 17. Let c = 0 + d. Is 397/5 - c/(-10) prime?
True
Suppose 3*i = 3*a + 114177, 4*a = -2*i + 2*a + 76134. Is i a composite number?
True
Let k(n) = -389*n - 16. Is k(-3) composite?
False
Suppose 2 = y - 5. Suppose -y*u - 86 = -5*u. Let v = 158 + u. Is v a prime number?
False
Let w(v) = 2*v**3 - 3*v**2 + 2*v - 12. Let s(j) = -j**3 + 9*j**2 - 8*j + 7. Let f be s(8). Is w(f) a prime number?
True
Let f be 3 - (-1)/(4/(-12)). Suppose 4*t = -f*t + 8. Suppose 91 = -t*c + 389. Is c composite?
False
Let g(p) = -7*p**2 + 1. Let t be g(1). Let o be 1/t + (-549)/(-54). Is 57/5*o/2 prime?
False
Let o(p) = 69*p + 35. Suppose -5*c - 5*q + 40 = 0, 4*c + q - 5*q = 16. Is o(c) composite?
False
Suppose 3*w - 12787 = -x - 3929, 2*x + 8861 = 3*w. Is w a prime number?
True
Let n(u) be the third derivative of u**6/60 - 13*u**5/30 + 7*u**4/12 + 3*u**3/2 + 15*u**2 - 2*u. Is n(13) prime?
True
Let c(w) = -94*w - 69. Is c(-4) a composite number?
False
Let n be 126*(5 - 1 - 3). Suppose 3*r - n = -4*z + 1034, 5*z - 1477 = 3*r. Is z composite?
False
Is ((-104768)/128)/((-2)/68) a prime number?
False
Let u be 163/2 - 4/(-24)*3. Let d = u - -185. Is d a prime number?
False
Suppose 7*d - 3*d - 16 = 0. Is (-2)/d - (-26838)/36 a prime number?
False
Is ((-28831)/(-4))/(0 + 5/20) a prime number?
False
Let b be 2/(-9) - 1047/27. Let f = b + 153. Suppose -3*t + f = 3. Is t composite?
False
Let q be 1 + -6466*(-2)/4. Suppose -q - 2100 = -6*r. Is r composite?
True
Let l(r) = 3 - 9 + r**2 + 2*r + 2*r**2. Is l(-7) a composite number?
False
Let d(m) = 18298*m**2 + 4*m + 9. Is d(-2) prime?
False
Let v be (-1)/(2/(-92) + 0). Let n = v + 113. Suppose 0*b - n = -3*b. Is b composite?
False
Is (1 - 3 - -8935)*1 prime?
True
Let c(o) = 11*o**2 + 5 + 34*o**2 + 2*o**2 + 4*o - o. Let l(g) = g**3 - 3*g**2 + 2. Let w be l(2). Is c(w) prime?
False
Suppose 5*c - 5*w - 15246 = -4*w, 0 = 3*w + 3. Is c a prime number?
True
Let x(t) = 374*t**2 - 5*t - 2. Let p be x(-2). Suppose q + 2*b - 661 = 0, -3*q + p = 5*b - 476. Is q prime?
False
Suppose -2*w = 9*w - 16115. Is w a prime number?
False
Suppose 0 = 4*u - 31222 + 10486. Let w be 1/(4/u) + 4. Suppose 5*h = 5*l - w, -2*l = -3*l + 5*h + 248. Is l composite?
False
Let n(y) = y + 1. Let g(k) = -12*k - 9. Let h(m) = 37*m + 26. Let u(d) = 11*g(d) + 4*h(d). Let t(l) = -n(l) + u(l). Is t(5) composite?
False
Let s(f) be the first derivative of f**4/4 - f**3 + 4*f - 8. Let y be s(3). Suppose -y*h + 2*h = -422. Is h composite?
False
Let u = 70 - 66. Suppose -5*n - 3*f + 2431 = f, 3*f + 1951 = u*n. Is n a composite number?
False
Let p be (-1)/5 - (6 - (-7263)/(-15)). Suppose 3*l + 31 = p. Is l composite?
False
Let c be -4 + 1 + (-9)/(-2 + -1). Suppose 9*f - 10326 - 14163 = c. Is f a composite number?
True
Let t(d) = -d**2 + 65*d + 137. Is t(55) a composite number?
True
Let w = 23227 - 13694. Is w a prime number?
True
Let p be ((-24)/15)/((-2)/5). Let t be p/(-12)*3 + -587. Let q = t - -2741. Is q a prime number?
True
Suppose 2*o + 5*l - 3 = 4, -o - 5*l = -11. Suppose -5*g = -233 - 222. Is o + (g - (3 + -1)) composite?
True
Suppose -4*d - u + 151067 + 29862 = 0, 4*d = -5*u + 180917. Is d a prime number?
True
Let h = -3417 + 8854. Is h composite?
False
Suppose 0 = 5*r + 5*n - 62385, 5*r - 10*n + 5*n = 62345. Is r a composite number?
False
Is (2834/8)/((-15)/(-60)) composite?
True
Let f(w) be the third derivative of 55*w**4/12 + w**3/2 - 6*w**2. Let j = -2 + 3. Is f(j) a composite number?
False
Let u be (2 - -5)/(1/8). Suppose 3*k = -u + 260. Suppose -v = h - k - 13, 3*h + 267 = 3*v. Is v prime?
False
Let q = 321 - -828. Let k = q - 518. Is k a composite number?
False
Let v(p) = 3*p**2 + 1 - 3*p - 3 - 5 + 12*p. Is v(6) prime?
False
Let l be 2/(-6) - (-40)/(-6). Let c = l + -17. Is 62/3*(-36)/c a composite number?
False
Suppose -3*p + 10699 = 4*r - 16458, 3*r = 3*p - 27192. Is p composite?
False
Let f(z) = 9 + 21*z**3 + 2*z - 4*z - 23*z**3 - 8*z**2. Is f(-5) a prime number?
False
Let f = 7491 + 8236. Is f composite?
False
Let u(n) = 6 + 4 - 403*n - 1. Let p be u(-5). Let x = p - 1255. Is x prime?
True
Suppose -3*i = 7*w - 2*w - 30, 3*i = -4*w + 24. Suppose -2*r + 10 = 0, -y = -w*y + 5*r + 140. Let l = y + -18. Is l a prime number?
False
Suppose -4*j - 5*x = 25, -4*x = -j 