osite?
True
Let d(l) be the first derivative of -11*l**4/2 - l**3 + 7*l**2/2 + 11*l - 23. Is d(-6) a prime number?
False
Let l be ((-6)/2)/(2 + -3). Suppose -l*b - 71 - 1393 = 0. Let w = b - -915. Is w a prime number?
False
Let v = 3802 + -2153. Is v prime?
False
Let h(z) = -z**2 - 23*z + 5. Let j be h(-16). Let b = 206 - j. Is b composite?
False
Suppose 5*d - d - 24 = 0. Suppose 3*v + 131 + 26 = l, 4*l + 204 = -4*v. Is v/d*135/(-18) prime?
False
Suppose 12*h - 20495 - 65917 = 0. Is h prime?
False
Let a = 3764 - 6250. Is (-2)/(-8) + a/(-8) a prime number?
True
Let j(o) = -o**3 - 17*o**2 + 21*o + 52. Let c be j(-18). Is 168/36*(-33)/c composite?
True
Suppose 14*a = 18*a - 2720. Suppose 2*y = y - 4*b + a, -b - 670 = -y. Let j = y - 325. Is j a composite number?
False
Let w(r) = r**3 + 3*r**2 + 9*r - 5. Suppose -3*k + 6*k = 48. Suppose 0 = k*n - 11*n - 30. Is w(n) composite?
False
Let x = 56 - 36. Is (-5570)/x*(-2 - 0) a composite number?
False
Suppose 2*i + 30 = 5*i. Let t be (24/(-15))/((-4)/i). Suppose -t*h - 248 = -4*j, 3*h = -2*j - h + 94. Is j prime?
False
Suppose 53606 = 13*q + q. Is q a prime number?
False
Suppose a = 2*u + 5*a - 12050, 2*u - 12078 = 3*a. Is u/12 + (-5)/(-20) a prime number?
True
Let d(w) = -69*w**3 - 5*w**2 - 9*w - 38. Is d(-7) prime?
True
Suppose -2*n + 17318 = 5*b, 0 = 4*n + 71*b - 72*b - 34614. Is n prime?
False
Suppose -376 = -t + 5*o, -3*t + t = -5*o - 757. Is t composite?
True
Suppose -3*g + g + 20994 = 0. Suppose -9*j = -12*j + g. Is j prime?
True
Let p(q) = 2122*q + 221. Is p(5) prime?
True
Let i(y) = y**3 - 6*y**2 - 4*y - 5. Let k(p) = -p + 3*p**2 - 1 - 3*p**2 - p**2. Let f(d) = i(d) - 5*k(d). Is f(3) composite?
True
Suppose -6*n = -5*n - 989. Let m = n + -316. Is m composite?
False
Let u(p) = -399*p - 8. Is u(-13) a composite number?
False
Suppose -5*d - 2*i + 8 = 0, -3*d + 11 = -3*i + 2. Suppose 6299 = 5*w + 2*v, -d*w - 2*w = -v - 5034. Is w a prime number?
True
Let j(f) = 3*f - 15. Let t(y) = y**3 - 7*y**2 + 7*y - 1. Let h be t(6). Let v be j(h). Is 11/(-22)*(v - 1058) a composite number?
True
Let g(a) = 8*a - a**2 + 26*a**2 - 4 - 3*a. Let d be g(-6). Suppose 5*p = -z + 200, 4*z - 7*p + 5*p = d. Is z a composite number?
True
Let a(l) = -81*l - 20. Let m(c) = -242*c - 59. Let t be 35/10 + 1/2. Let b(p) = t*m(p) - 11*a(p). Is b(-9) a composite number?
False
Let x(o) = -76*o + 15. Let v be 2 - (69/12 - (-4)/16). Is x(v) a composite number?
True
Suppose -c = -21 - 3. Suppose 9*d = c*d - 6645. Is d a composite number?
False
Let q(c) = 663*c + 100. Is q(5) composite?
True
Is (156186/42 - (-4)/14)/1 a composite number?
False
Suppose 5*d + r - 3885 = 0, -6*r + r = 3*d - 2309. Let b = -444 + d. Suppose 0 = x + 5*a - b, -2*x + a + 271 + 364 = 0. Is x prime?
False
Let c = 2275 - 1232. Is c a prime number?
False
Let q(b) = 3*b - 18. Let w be q(10). Let y(z) = 10*z**2 - 8*z - 7. Is y(w) a composite number?
True
Let g(n) = n**2 - 13. Suppose 4*w = -4*x, 3*x - 16 = w + 8*x. Let q be g(w). Suppose 4*b = -q*z + 1435, -3*z + 980 = -z - 2*b. Is z a prime number?
False
Let q = -4 - -3. Let b(n) = -38*n**2 - 5*n - 4. Let d(w) = -38*w**2 - 6*w - 5. Let c(r) = -4*b(r) + 3*d(r). Is c(q) a prime number?
True
Suppose k - 5680 = 3*f, 5*f + 13260 = -2*k + 3797. Is f/(-2)*4/6 a prime number?
True
Let d = 28 + -22. Let a(s) = s**3 - 4*s**2 + 2*s - 5. Is a(d) a prime number?
True
Let y be (199/2)/((-5)/(-160)). Suppose -7*a + 1989 + y = 0. Is a a prime number?
True
Let g be 1/(-2 - 12876/(-6436)). Suppose -1701 - g = -5*o. Is o composite?
True
Suppose 596664 = 7*c + 29*c. Is c composite?
True
Let r be 6 - (-2 - 1)/(-3). Suppose 4*c + r*l - 297 = 0, -4*c + 4*l + 252 = -0*l. Suppose 42 + c = 2*n. Is n a composite number?
True
Let j be (115 + 10)*(-2)/2. Suppose 238 = -12*k + 13*k. Let f = k + j. Is f prime?
True
Is (2/(-2))/(4/(-58364)) composite?
False
Let h = -1703 - -3750. Is h a prime number?
False
Let s = 30 - 24. Suppose s*p - 730 = p. Is p a prime number?
False
Let g(k) = 14402*k**3 - 2*k**2 + 15*k - 14. Is g(1) composite?
False
Let z be 2496/4 + (0 - 0). Let n = z + -1048. Let k = n + 615. Is k a prime number?
True
Suppose -3*i = -13757 - 8092. Is i prime?
True
Let l = 18982 - -2077. Is l a prime number?
True
Is (77137/4)/(10 + 390/(-40)) a composite number?
False
Suppose v - 3*j - 1397 = 0, v = 4*v + 3*j - 4239. Is v a composite number?
False
Suppose -1337 = -4*c + 3*c. Suppose 16*d = 9*d + c. Is d a composite number?
False
Let j = 34 - 43. Is (-2)/(-3) - 948/j a composite number?
True
Let j(w) be the second derivative of w**5/20 - 5*w**4/12 + 7*w**3/6 - w**2/2 + 7*w. Let x be j(3). Suppose 4*r + 15 = g, x = g - r - 4. Is g prime?
True
Suppose 2*t + 5*b + 3440 = 0, -3*b + 0*b = -3*t - 5202. Let z = -648 - t. Is z a composite number?
True
Is 9124/(-10)*(-60)/24 a composite number?
False
Suppose -342035 = -11*x + 164394. Is x prime?
False
Suppose -9 = -4*d + 3*o, 4*d - 5*o - 9 = -2. Suppose -d*l + 15 = 2*l. Suppose 0 = -l*a + 52 - 7. Is a composite?
True
Let j = 823 - -1133. Suppose j + 1510 = 2*u. Is u prime?
True
Let z = -10310 + 21325. Is z prime?
False
Is -764*(6 + 924/(-48)) a composite number?
True
Suppose -2*g = 8, r - 5*r - 4*g + 312 = 0. Let a be -8 - 887/(-15) - (-2)/(-15). Let f = r - a. Is f a composite number?
False
Let s be (-224)/(-3) + 2/(-3). Suppose 0 = 4*b + 3*f - 80 - 150, b - 49 = -5*f. Suppose -s = -g + b. Is g composite?
True
Let b(h) = -7*h**3 + 2*h**2 + 8*h - 30. Is b(-7) a composite number?
True
Let q = -3945 + 55094. Is q composite?
True
Suppose 115962 = 15*l + 27*l. Is l composite?
True
Suppose -7*h + 10 = -25. Suppose -h*w + 50 = -55. Suppose w*b - 23*b = -370. Is b composite?
True
Suppose -3*l - 214 = 470. Let m be (l/(-30))/(1/5). Let o = 101 + m. Is o a prime number?
True
Is (-20)/(-24) + (-3781)/(-6) prime?
True
Suppose 5*d + 8 - 183 = 0. Let l = 35 - d. Suppose -3*b + 7*b - 892 = l. Is b a composite number?
False
Let g(x) = x**3 + 5*x**2 - 9*x. Let r(w) = -5*w**2 + 9*w + 1. Let i(f) = -3*g(f) - 2*r(f). Is i(-7) a prime number?
True
Let s = -8 - -11. Suppose 0 = -4*v + 2*c + 304, s*c = 4*c - 2. Is v prime?
False
Let y(r) be the first derivative of 7*r + 5 - 1/4*r**4 - 8*r**2 - 14/3*r**3. Is y(-13) a prime number?
False
Suppose 4*c = 7*c - 6. Suppose 3*i + c*i - 2270 = -5*t, -914 = -2*i + t. Suppose 2*u + 5*o = i, 3*o - 8*o + 1125 = 5*u. Is u a composite number?
False
Let v(y) be the second derivative of -1/2*y**2 - 5/6*y**3 - y - 1/12*y**4 - 1/20*y**5 + 0. Is v(-4) composite?
False
Suppose -36189 = -10*y + 82321. Is y a prime number?
False
Let h be (-963)/12*(-6 - -2). Suppose y = -3*y - 432. Let m = y + h. Is m composite?
True
Suppose j + 3345 = 4*j. Suppose -4*k + 3*k - 4*y - j = 0, -3*k = 5*y + 3380. Let f = 1776 + k. Is f a prime number?
True
Let z be (36/(-60))/((-2)/10). Suppose -z*u - 83 = -1004. Is u a prime number?
True
Suppose -7*z - 25 = -12*z. Let h(f) = 4*f - 15. Let b be h(z). Suppose b*v + 63 = -4*d + 1286, -5*d - 5*v = -1530. Is d prime?
True
Suppose -17*x = -29*x + 30252. Is x prime?
True
Let i(y) = 4*y + 1553. Let d be 1/(-2)*0/(-13). Is i(d) prime?
True
Is (20995 + -2)*1/7 prime?
True
Let o be (-5)/2*3*2. Let x(r) be the second derivative of -r**4/12 - 7*r**3/2 - 7*r**2/2 + 5*r + 4. Is x(o) prime?
True
Let i(r) = r**3 + 6*r**2 + r + 6. Let l be i(-6). Suppose 3*s - 47 - 220 = l. Is s a prime number?
True
Let h be 1*16/12*-3. Is (-2 - -1*4)*(-4306)/h a prime number?
True
Let z(o) = 15*o + 0 - 1 - o + 94*o. Is z(3) a composite number?
True
Let f(h) = 200*h**2 + 1. Suppose 4 - 13 = -3*g. Suppose 0 = -n - g*n + 4. Is f(n) prime?
False
Let m(p) = -2305*p - 107. Is m(-4) a prime number?
False
Let d = 23404 + -13367. Is d composite?
False
Let b = 288 + -82. Suppose -11*w = -1125 - b. Is w composite?
True
Let n(q) = 16*q**3 - 2*q**2 + 4*q. Let g be n(2). Suppose 3*j - 1393 = -5*m, -5*j + 2499 - g = -4*m. Is j a prime number?
False
Let y = -1143 + 238. Is 2/(4/(-2))*y composite?
True
Suppose 4*l - 7*l + 10*w + 162913 = 0, -5*l - 5*w + 271565 = 0. Is l a composite number?
False
Let g(p) = -3*p**3 + 31*p**2 + 3*p - 7. Let t(u) = u**3 - 16*u**2 - u + 3. Let c(j) = -2*g(j) - 5*t(j). Is c(-14) composite?
False
Let t = -1753 - -3192. Is t prime?
True
Suppose 11*x = -7*x + 715194. Is x a compos