t n(b) = 9*b**3 + 51 + 101*b**2 - 8*b**3 + 28*b - 122*b**2. Is n(23) prime?
True
Suppose 0 = -23*w - 184 + 230. Let b(f) = 300*f**2 - 6*f + 8. Let q(l) = -599*l**2 + 13*l - 17. Let d(u) = 7*b(u) + 3*q(u). Is d(w) composite?
True
Suppose -4537 = -4*f - 253. Suppose -4*y = -2*y + 1528. Let h = f + y. Is h composite?
False
Let n(b) = 14332*b - 147. Is n(5) prime?
False
Let t = -14655 + 24968. Is t prime?
True
Is (-4 - 2222925/25)/(-1) a prime number?
False
Suppose 260 = 4*v - 248. Suppose v = -h + 328. Is h a composite number?
True
Let n = -602 - -233. Is (n/82)/((-6)/1268) prime?
False
Suppose 0 = -2245*f + 2296*f - 6709509. Is f composite?
True
Suppose -5*h - y + 3*y = -16, 0 = 3*h - 5*y - 2. Suppose 0 = -h*z + 5*k - 6*k + 7014, 4*z - k = 7018. Let m = -495 + z. Is m composite?
False
Let z(t) = 216*t + 127. Suppose 0 = 2*p + 152 - 174. Is z(p) a prime number?
True
Let u = -131 + 134. Is 2/(-6)*u/2*-28874 composite?
False
Let f = 7053786 - 2540885. Is f a composite number?
False
Suppose 0 = -11*d + 50*d - 2274051. Is d composite?
False
Suppose -7*u + 11*u - 4*y - 17660 = 0, 9 = 3*y. Suppose -2*h + 21 = 3. Suppose -h*g + 22661 = u. Is g a prime number?
True
Suppose 15*b - 55199 = 198586. Let k = 42846 - b. Is k a composite number?
True
Let d(c) be the first derivative of 89*c**4/2 - c**3 + 2*c**2 - 5*c - 71. Is d(2) prime?
False
Suppose 0 = 1763*h - 1700*h - 29903517. Is h prime?
True
Let y(f) = 3132*f - 18. Let q be y(3). Suppose 2*s + g = q, -9374 = -8*s + 6*s - 2*g. Is s composite?
False
Let n(f) = 24*f**2 - 19*f - 30. Let x(u) = u**3 + 9*u**2 + 16*u + 37. Let c be x(-7). Is n(c) composite?
True
Let c(x) = -5*x - 19. Let m be c(-3). Let y be 2737/11 - m/22. Suppose -7*o + y = -248. Is o a prime number?
True
Let h be (-4 - -7)*6/((-72)/(-349684)). Suppose o - 5*p = 17493, 13*o + h = 18*o - 3*p. Is o a composite number?
False
Suppose 4*r - 146692 + 15812 = -4*l, -r + 32678 = -5*l. Is r prime?
True
Let n = -10800 - -170033. Is n a prime number?
True
Let o(m) = -m**3 + 6 - 4*m - 7 - 8 - 4*m - 4*m**2. Let g be o(-5). Suppose -a + 62 = -g. Is a a composite number?
True
Suppose 2*s = p - 458, -1430 = -5*p + 4*s + 878. Suppose 472*z = p*z + 19496. Is z a prime number?
True
Let t = 102 - 99. Suppose -t*y - 9 = -15. Suppose -z + 5 = 0, 0*z + 5852 = y*g + 2*z. Is g a composite number?
True
Let y = 3 + 2. Is y - (-1553 - (3 + -6)) a prime number?
False
Suppose 5*w - 5*b - 4185 = 0, 4*b - 1423 - 1957 = -4*w. Let k(i) = 17*i**3 - 3*i**2 - 3*i - 1. Let s be k(3). Let a = w - s. Is a a composite number?
False
Let n(w) = -178*w**3 - 12*w**2 - 11*w - 58. Is n(-9) a prime number?
True
Let g be 0*(-5)/(-35)*7. Suppose g = -7*x + 14*x - 15463. Is x a prime number?
False
Let n(g) = -4*g**2 + 295*g - 228. Is n(71) prime?
False
Let o be -3 + ((-7)/(-4))/((-4)/(-16)). Let j be o + -4 - 0 - 4. Let u(z) = -101*z + 3. Is u(j) a prime number?
False
Suppose 7*l + 10873849 = 33480440. Is l composite?
True
Let a(n) = -6*n**2 - 23*n + 1. Let d be a(-4). Let q be (-50)/8 + (d - 52/(-16)). Is 15/q*(-848)/8 composite?
True
Is (-1 + 5)*118153/14 a composite number?
True
Suppose 0 = 2*k - 5*n - 24, 4*k - 39 - 9 = -2*n. Let l(w) be the second derivative of -w**5/20 + 7*w**4/6 + 19*w**3/6 - 25*w**2/2 - 4*w. Is l(k) a prime number?
True
Let x(r) = 1671*r**3 + 420*r**3 + 1265*r**3 + 3345*r**3. Is x(1) composite?
False
Let y(m) = 465*m**2 - 14*m + 32. Is y(-7) a composite number?
True
Let j = 53 - 38. Let t(v) = -9 - 23*v**3 + 5*v + 52*v**3 - 27*v**3 - j*v**2. Is t(10) a composite number?
False
Suppose 13*q + 9 = -4. Let m be (-73845)/1*(4 + -6 - q). Is (-12)/15 - m/(-25) a prime number?
True
Let i = 133620 - -43033. Is i prime?
False
Suppose -v + 37*v = -36. Is (-5551 - 7)/(2/v) composite?
True
Let m be 275324/56*6/(0 + 3). Suppose m + 6603 = 4*z. Is z a composite number?
True
Suppose -1589811 = 94*s - 1516179 - 5669546. Is s a prime number?
False
Suppose 5*t - 10048 + 3818 = 0. Let y = -777 + t. Is y prime?
False
Suppose -4*j + 411163 = -3*k, -5*j + 459042 = -k - 54920. Is j composite?
False
Let i = 136774 + 160275. Is i composite?
False
Suppose 4*y - 3*w - 67250 = 0, 0 = 4*y + 205*w - 207*w - 67248. Is y a composite number?
False
Let j(f) be the third derivative of f**3 + 7/20*f**5 + 31*f**2 - 1/12*f**4 + 0*f + 0. Is j(-7) prime?
True
Let u = -2029 + 136196. Is u prime?
False
Suppose -34*p - 90 = 12. Is 298*2139/(-62)*1/p composite?
True
Let y = 198 + -194. Suppose -3*p = 3*v + p - 15009, 20016 = 4*v + y*p. Is v prime?
False
Is ((-4)/12)/((-1)/(-2))*(-9558888)/16 a composite number?
False
Let i = -44 + 44. Suppose 14*n - 15*n + 12037 = i. Is n a prime number?
True
Let g(j) be the second derivative of j**3/6 - 3*j**2 + 21*j. Let m be g(10). Suppose 3*v = -4*a + 6*v + 1007, -m*a + 1002 = 2*v. Is a composite?
False
Let x(r) = -r**2 - 27*r - 90. Let g be x(-23). Suppose -3*t + g*t = -3*c + 916, 0 = -t - 1. Is c a prime number?
False
Suppose -26*p + 19*p - 87402 = 0. Let l be p/10*(21/(-3) - -2). Suppose 3*o + 5*y - l = 0, -3*o + 3*y = y - 6243. Is o a composite number?
False
Suppose -11*d + 9*d + a + 6496 = 0, 3*d = 5*a + 9751. Is d composite?
True
Let r(z) = z**3 - 3*z**2 - 9*z + 11. Let o = -103 - -106. Suppose -5*f = -4*s - 36, -o*s + 19 = -4*f + 6*f. Is r(f) a prime number?
False
Let u(o) = 4*o**2 + 12*o + 15. Let s be (-1 + 9)*-1 + -1 + 2. Is u(s) a prime number?
True
Let f(x) = -x**2 - 5*x + 8. Let c be f(3). Let n be c/(-72) - (-52)/9. Is (-12)/(-28) - n/28*-740 composite?
True
Let h(l) = l**3 - l**2 + 2*l + 1213. Suppose -a = -q - 6*a - 96, -a = q + 88. Let y = 86 + q. Is h(y) a prime number?
True
Let h(q) = 6*q - 17. Let n be h(3). Is n*((-4630)/(-3) + 8/(-24)) a composite number?
False
Suppose -12*d - 5051620 = -82*d + 3186470. Is d a composite number?
True
Let f(a) = 23 - a + 5 - 13*a + 8*a. Let d be f(5). Is d*(2 + 0) + 705 prime?
True
Suppose 124*i = 128*i - 135056. Suppose -39158 = -2*v + s + i, 3*v = 2*s + 109381. Is v a composite number?
True
Suppose 12 = -2*x, 5*d + 179*x - 175*x = 2541301. Is d prime?
False
Let s(l) = -1288*l**2 - 26*l + 225. Let h be s(11). Is h/(-52) + 6/8 prime?
True
Let z(b) = -b**3 + 8*b**2 + 13*b - 9. Let d(v) = -v**3 - 11*v**2 + v + 4. Let p(c) = c - 5. Let o be p(-6). Let n be d(o). Is z(n) composite?
True
Let i = 18837 + -11165. Let w = 14743 - i. Is w prime?
False
Suppose 2*b + 2597 = 599. Let p = 2590 + b. Is p prime?
False
Let y(s) = s**3 - 6*s**2 - 9*s + 39. Let k be y(7). Let j(g) = 249*g - 82. Is j(k) a prime number?
True
Let h(f) = -226*f**3 - 10*f - 244*f**2 - 1 + 244*f**2 - 252*f**3. Is h(-4) composite?
False
Let k(c) = -3*c**2 + 23*c - 3. Suppose 14*f - 9 = 19. Suppose x + 4*a = f*x - 1, -1 = -a. Is k(x) prime?
True
Suppose -2*y - 22374 = -2*u, 1687 = 2*u + 3*y - 20697. Is u prime?
False
Let v(u) = -u**3 - 3*u**2 + 3*u + 6. Let r be v(-3). Let f be 64/r - (1 - 20/15). Is 1*((-1)/7 + (-12330)/f) composite?
False
Let y(h) be the second derivative of -301*h**5/20 + h**4/4 + h**2 - 8*h. Let v be y(-3). Is (-2)/3 - 4/((-48)/v) prime?
False
Let o(u) = -203*u**3 + 406*u**3 - 4*u - u**2 - 204*u**3 - 700 + 5*u + 2537. Suppose 10 = -2*h - 5*w - 5, -5*h - w = 3. Is o(h) a prime number?
False
Let r = 775 - 778. Let t(i) = 1157*i**2 - 6*i - 4. Is t(r) a prime number?
True
Suppose -9488*s = -9505*s + 1869983. Is s a composite number?
True
Suppose 177*c - 1111191 = 8949666. Is c prime?
False
Suppose 0 = 6*h + 1751 + 625. Let s = 554 + h. Is s prime?
False
Let w = -3304 - -10281. Is w a prime number?
True
Suppose -4*n = -3*n + 2*n. Suppose n = 6*p - 10*p + 8. Suppose 5*r = -10, 825 = p*u - u + 3*r. Is u a composite number?
True
Let d(a) = a**2 - 6*a - 4. Let v be d(4). Is (-10)/60 - (-1 + 48578/v) a prime number?
True
Let m(f) be the first derivative of -f**3/3 + 6*f**2 + 5323*f + 37. Is m(0) composite?
False
Let i(a) = 55*a**2 + 79. Let o be i(9). Let n = o - 2291. Is n prime?
True
Let w = 70 + -68. Let n(r) = -3*r + 9. Let z be n(w). Let s(d) = 104*d + 2. Is s(z) a composite number?
True
Suppose 29754 = -26*o + 24*o. Is (-4)/(-22) + o/(-33) prime?
False
Suppose -2*m + 3809 = -2*s - 2503, 4*s + 4 = 0. Is m composite?
True
Let t(k) = -k**3 + 8*k**2 - 2*k + 34. Let s be t(9). Is 35375/13 + 10/s*1 prime?
False
Let o = 4934355 - 2885662. Is o a co