58280) composite?
True
Let u(c) = 21 + 13*c + 7*c**3 + 0*c**3 + 4*c**2 - 12*c**2 - 6*c**3 + 13*c**3. Is u(4) composite?
True
Let b be 54/24 - (-3)/24*-2. Suppose -2*t + 13276 = i + 2161, -i + 11111 = -b*t. Is i prime?
True
Suppose 13 + 2 = 3*f. Let u(a) = -28*a - 9. Let s be u(f). Let m = s + 442. Is m a composite number?
False
Let p = 857 - 681. Let v = p + 4025. Is v a prime number?
True
Let l be 2*(-10135)/(-10) + -5. Suppose -4*b + 7 = -5. Suppose l = 3*y - b*z, -y + z + 676 = -2*z. Is y a prime number?
True
Let b(q) be the first derivative of -q**2/2 - 2*q + 2. Let k be b(-6). Is 66/k*48/36 a composite number?
True
Let j(f) = f**2 - 21*f + 24. Let u be j(16). Let o = u + 45. Is (o/5)/((-13)/8515) a prime number?
False
Suppose -j = -8*j + 28. Suppose 0 = j*y - 9182 - 31834. Suppose k - 3*m = 5170 - 1742, -3*k = -3*m - y. Is k prime?
True
Let v = -150 + 334. Let z = v - -445. Suppose 0 = -3*s + s + f + 1249, -s + 2*f = -z. Is s a prime number?
False
Suppose 54*t - 52*t + 264373 = 5*d, -4*d - 8*t + 211460 = 0. Is d composite?
True
Suppose -k + 245 = 248, 5*q - 251093 = -4*k. Is q prime?
True
Let n(q) = -q**3 - 6*q**2 + 2*q + 12. Let l be n(-6). Suppose l = -3*j + 3*t + 2139, -j - 3*j - t = -2872. Is j composite?
True
Let h(w) = -5*w - 37. Let z be h(-7). Is -2*(2191/z + -6) a prime number?
True
Let b(m) = 7395*m + 661. Is b(4) a prime number?
True
Let q be ((-186)/4)/(7/(-14)). Suppose 92*u + 171 = q*u. Let n = 268 + u. Is n prime?
True
Suppose 15 = -5*z + 5. Let d be (-684 - (2 + 0)) + z. Let n = 1485 + d. Is n composite?
False
Suppose 940*b - 27714 = 934*b. Is b composite?
True
Suppose -6*b = -219 + 159. Is (b/7)/(-5) + 36110/14 a composite number?
False
Let o be 3*16/12 - (-1 - 1). Suppose 9*y = o*y + 48819. Is y composite?
False
Let h(j) = -856*j - 820. Let t(s) = 285*s + 275. Let x(n) = 4*h(n) + 11*t(n). Is x(-14) composite?
True
Suppose -2*t - 5*g = -0*g - 689, 4*t = 4*g + 1308. Suppose 1186 = -6*q - t. Let s = 36 - q. Is s a composite number?
True
Suppose -102*a + 495389 = 4463. Is a a prime number?
True
Let c(w) = 23*w**2 - 223*w - 311. Is c(-67) composite?
False
Suppose 5*y - 5*x - 260 = 0, -x = 3*x. Suppose 4*c = -y - 128. Let t = c - -680. Is t prime?
False
Let a be (-16 - -10) + 8 + 0. Is a/(-13) + 21361/13 a prime number?
False
Let i(f) = 75*f - 14. Let b be i(9). Let h = 397 - b. Let s = h + 3007. Is s a composite number?
True
Suppose 3*z - 1493682 = 9*y - 12*y, -5*y - 2489400 = -5*z. Is z prime?
False
Let p = 57 - 69. Let w be (((-3)/(-4))/1)/((-3)/p). Suppose 0 = 5*j - 4*d - 2277, 4*d + 1363 = w*j - 0*d. Is j composite?
False
Is 20/((-40)/1339978)*((2 - 4) + 1) a prime number?
True
Let a(q) = 24321*q**2 + 87*q - 11. Is a(2) prime?
False
Let l be 41/(-7) - 7/49. Let w(h) = 2*h**3 - 4*h**2 + h + 4. Let m be w(6). Is m*(15/l*-1 - 2) composite?
False
Let r be (-8 - -33)*(-2)/(-5). Suppose -519 = 5*n + 3*g, 0 = -2*n - 2*n + g - 422. Let v = r - n. Is v a composite number?
True
Let z = 51 + -47. Suppose u - 8202 = -z*x, 5*u = -0*x + 3*x - 6163. Is x prime?
False
Let x be (-174)/(-14) + (-6)/14. Let a be (-9)/(1/((-1)/(-1))). Is ((-2334)/a)/(-1)*x/(-8) a composite number?
False
Let d = -745 - -61836. Is d a composite number?
False
Suppose -2*j = 10, j + 465388 = 3*t - 63556. Is t a composite number?
True
Let h = 591 + 2816. Is -5*h*1*(-2)/10 a composite number?
False
Let t = -66 - -67. Let f be 42/10 + t/(-5). Suppose -5*j + 15975 = 4*x, f*j - 3*x = 2039 + 10772. Is j prime?
False
Let n(p) = 3*p**2 - 4*p + 11. Let m be n(9). Suppose -o - 5 = -14. Suppose o*h = m + 1411. Is h prime?
True
Let o be 2*(-6)/10*10/(-4). Suppose 2*k + 2*z = 48976, -122430 = -0*k - 5*k - o*z. Is k prime?
False
Suppose -3*s = -5*u + 7101748, 2*s - 2635366 = 4*u - 8316764. Is u a composite number?
True
Suppose 0 = 2*j + 38963 - 9257. Let b = 22304 + j. Is b prime?
True
Let l(i) = 1 + 2 + 3*i**2 + 77*i**2 - i. Suppose -4*u = -2*u - 4. Is l(u) a prime number?
False
Suppose 38*a + 30 = 182. Let b(s) be the second derivative of s**5/4 + s**4/12 + s**3/6 - 9*s**2/2 + 2*s. Is b(a) composite?
False
Let j = 121307 - 55950. Is j composite?
False
Suppose 7*s - 10*s = -171. Suppose -s*h = -62*h + 9845. Is h a composite number?
True
Let f = 11555 + -5998. Is f prime?
True
Let u(k) be the third derivative of -k**6/120 + 4*k**5/15 + 17*k**4/24 + 3*k**3/2 - 24*k**2. Is u(13) composite?
True
Suppose 4466*p + 223670 = 4476*p. Is p prime?
True
Suppose -b + 370 + 1055 = 0. Suppose -49803 = -12*z + b. Is z a composite number?
True
Let i be (1 + 2473)/(218/545). Suppose 0 = -15*f - i + 111140. Is f a composite number?
False
Let m be ((-5)/10)/((-2)/20). Suppose 3*q = b + 3128, -2*q - 3*b = -6*b - 2083. Suppose 3*n + m*i - q = 78, -n = 3*i - 367. Is n prime?
False
Let n be 2/(1 - 17339/17337). Let o(u) = -3*u - 3. Let m be o(-1). Is (n/(-12))/(m + 1/4) a composite number?
False
Let y(u) be the first derivative of 65*u**3/3 - 61*u**2/2 - 19*u - 233. Is y(17) a composite number?
False
Suppose 0 = 4*j + 8, j - 137518 - 176350 = -2*m. Is m a prime number?
False
Suppose -4*d = -3*p + 23683, 13*d - 12*d = p - 7895. Is p a composite number?
True
Suppose 0 = 5*s + 5*b - 2025325, 5*s = 3*b - 540850 + 2566223. Is s composite?
False
Suppose 65359 = 8*a + 3191. Is a a prime number?
False
Suppose -38*l - 26*l = -22*l - 4500174. Is l a prime number?
False
Let c(l) be the first derivative of -45*l**4/2 - 5*l**3/3 - 7*l**2/2 + 17*l + 53. Is c(-6) composite?
False
Is (-584 - -565)/((-1)/((-5006)/(-2))) prime?
False
Let k be 2/5 - (-2632)/(-5). Suppose 3*o + 27 + 12 = 3*t, 12 = -3*o. Let x = t - k. Is x a prime number?
False
Let p = 26 - 24. Suppose 0 = 2*d - 0*d - 60. Suppose -164 + d = -p*t. Is t composite?
False
Let l(q) = -478711*q + 50. Let p be l(-2). Is 2/12 - p/(-192) prime?
True
Let x be (-10)/(1/4*4). Let f = 5 - x. Suppose 5944 = f*a - 7*a. Is a composite?
False
Let i be (15 + 1)/((-32)/12 + 2). Let b(k) = -k**3 - 18*k**2 - 6*k - 7. Is b(i) a composite number?
False
Let i be (5 - 4)*(-5 - (-4 + 2)). Is (i + (-4832 - 0))*1/(-1) a prime number?
False
Suppose -6*a + 5190 = -3*a + 3*i, 0 = -5*a + 3*i + 8618. Suppose -2*u - a = -4*f, f + 4*f = -3*u + 2141. Suppose f = 2*v - 1060. Is v composite?
True
Suppose 0 = -7*a + 13 + 50. Suppose 0 = -a*c - 48 - 60. Is 2/c + -2 + 3100/24 prime?
True
Suppose 0 = -5*h + 1935 + 230. Suppose 10 = 2*g - f, 6 = 4*f + 22. Suppose -n = u - 136, -g*u = -2*n - 0*n - h. Is u a composite number?
True
Let z be 2/(-11) - 4836/(-341). Suppose 5 = -5*p, 3*n - p = 800 + z. Is n a composite number?
False
Let y(m) be the first derivative of -85*m**4/4 - m**3 + m + 414. Let s be 6/21 + (-16)/7. Is y(s) composite?
True
Suppose 21*x + 519765 = 2812314. Is x a composite number?
False
Let r(t) = t**3 + 31*t**2 + 2*t + 68. Let y be r(-31). Let k(b) = 8*b**3 - 3*b**2 - 37. Is k(y) composite?
False
Let v be (-14)/(-28) + -1*31267/(-2). Let w = 99 - 103. Is w/(-9) + v/18 a composite number?
True
Let z(p) = 61129*p**2 - 94*p + 92. Is z(1) a prime number?
False
Suppose 117*d + 41347 = 118*d. Is d composite?
True
Suppose -28*t + 802033 = -158619. Is t prime?
False
Is 5*(10150036/65)/4 prime?
True
Suppose 3*s - 4*q - 22293 = -3*q, 4*s - 29714 = -2*q. Suppose 4*g - 2*x - s = 0, -g = -0*x - 3*x - 1855. Is g a composite number?
True
Let j(b) = -b**2 - 29*b - 8. Let f be j(-9). Let h = 428 - f. Suppose 5*o - h + 2515 = 4*k, 4*k + 3*o - 2299 = 0. Is k prime?
True
Let l(a) = 28104*a + 3629. Is l(2) a composite number?
True
Suppose -3*n + 10 + 5 = 0. Let y(d) = 820*d - 4. Let r(u) = -410*u + 3. Let c(g) = 5*r(g) + 3*y(g). Is c(n) a prime number?
True
Suppose 0 = -13*z - 2687366 + 7993563. Is z composite?
False
Let u(d) = -1579*d**3 + 2*d + 2. Suppose 12*t = 21*t + 9. Is u(t) prime?
True
Let m(i) be the first derivative of -65*i**2/2 + 2*i + 2. Suppose 2*y + 2 = 4*n, -2*y - 10 = 3*n - 1. Is m(n) a prime number?
True
Let u(c) = 546*c + 45039. Is u(0) a composite number?
True
Suppose k - 27 = -3*c, -4*c + c - 63 = -5*k. Suppose 0 = 5*w - 2*j - 94, -2*j + 53 + k = 4*w. Is w/63 + 9418/14 composite?
False
Suppose -626*y + 629*y = x + 5725031, 3*y + 3*x - 5725023 = 0. Is y prime?
True
Suppose 14 = 17*j - 37. Suppose 4*t - 1247 = -i + 1910, -t = j*i - 9482. Is i a prime number?
False
Let v(t) =