- 7*k**2/2 + 6*k + 4. Let b = -8 + 13. Is w(b) a composite number?
True
Let t(n) = 188*n**2 - n + 27. Is t(-6) a composite number?
True
Is -6 - -20 - 8 - -3293 composite?
False
Suppose -2*q - 2*d = 300, 0*q + 2*d + 155 = -q. Let u = q - -1058. Is u a composite number?
True
Let u(a) = -a**2 - 11*a - 1. Let n be u(-12). Let l(s) = -105*s + 2. Is l(n) a prime number?
True
Let s(x) = -x**3 + 28*x**2 - 21*x - 11. Let t be s(27). Suppose -8*f + 10407 = t. Is f composite?
True
Suppose 18*p = -1618209 + 5610735. Is p a composite number?
False
Is (29 + 6)/7 - 1082/(-1) prime?
True
Let i be (-4)/(-14)*-1 - (-16)/7. Let j be 5 - ((-1)/1 - -3). Suppose -3*x = f - 483, -j*x = i*x + 2*f - 805. Is x a composite number?
True
Is 3/12*-201*(-2140)/15 prime?
False
Suppose -63*o = -67*o + 4*z + 34632, -2*o + 17301 = -5*z. Is o a prime number?
True
Suppose 8*w = 11*w + 9. Is ((-407)/(-2))/((w/6)/(-1)) composite?
True
Suppose 3*h - 21720 = -4*r + 7*h, 4*r - 21717 = 5*h. Is r composite?
True
Let r(i) = -214*i + 6. Let w(d) = -643*d + 18. Let c(x) = 8*r(x) - 3*w(x). Is c(1) prime?
True
Is (3335174/203)/((-6)/(-21)) prime?
True
Let t(a) = -2*a**3 + a**2 + 2. Let g(v) = -11*v**3 + v + 8. Let j(l) = -g(l) + 5*t(l). Suppose 0*r = -r + 5. Is j(r) a composite number?
True
Let n be -4*(-1 - (-3)/(-2)). Suppose 3*y - m + 0*m + n = 0, 5 = -3*y - 4*m. Is 1 + (-3 - (-292 + y)) a composite number?
False
Let k(g) = g**2 + 35. Let s be 2/(0 - (-2)/4). Suppose -2*t - 5*c + 9 = -1, s*t + 6 = 3*c. Is k(t) composite?
True
Let f(s) = 166*s**3 + 6*s**2 - s - 3. Is f(4) composite?
True
Suppose -p - 3*r = 2*p + 3, 0 = -p + 2*r + 2. Let t be 1 + ((-112)/35)/((-2)/5). Is 1623*(3/t - p) a composite number?
False
Let r(n) be the third derivative of 11*n**4/24 - 3*n**3/2 - 3*n**2. Let p(l) = -11*l + 9. Let j(d) = 5*p(d) + 4*r(d). Is j(-10) prime?
False
Suppose 2*u - 441 - 213 = -2*n, 4*n = u - 302. Let d = u - 131. Is d a composite number?
False
Let t = 2618 + -817. Is t composite?
False
Suppose -c = -0*c + 162. Let i be ((2 - 3)*97)/1. Let w = i - c. Is w prime?
False
Suppose -4*z + j = -4*j - 23111, -5*z - j = -28896. Is z composite?
False
Suppose -2*o = -5*q - 5*o + 2064, 2070 = 5*q + 5*o. Is q a prime number?
False
Suppose -3*s - 4*j = -25, -5*s + 55 = -3*j - 6. Let k = s - 8. Is (k/(-6))/((-2)/1924) prime?
False
Let o be 17/5 - (-2)/(-5). Let c be o - -1 - (4 + -2). Suppose -2*t + c*z + 754 = 0, 0*z + 2*z = 3*t - 1133. Is t a prime number?
True
Let q(i) = -i**3 + 25*i**2 + 13*i - 66. Is q(25) a prime number?
False
Suppose -2*b + 0*u + 13 = -u, -2*b + 5*u - 7 = 0. Suppose -b*z = -z - 5608. Is z composite?
False
Suppose 6956509 = 27*j + 44*j. Is j composite?
True
Is 2/(((-18)/(-67794))/(6/4)) composite?
False
Let j(x) = x + 3. Let s be 9 + -11 - 2/(-1). Let z be j(s). Is 3 + (0 - (-213)/z) a composite number?
True
Suppose -6 = -4*s + 2. Suppose -a - 519 = -2*x, -x - a = s*a - 242. Is x a prime number?
True
Suppose 2 - 6 = 4*a, 3*j = -a + 89960. Is j a composite number?
True
Let v be (-4)/(-3)*30/20. Suppose -5*f + v*f = 3*i - 9, -5*i - f + 23 = 0. Suppose -t + 0*a - 2*a + 461 = 0, -496 = -t + i*a. Is t composite?
True
Is 4/(-16) - (-38218)/8 a composite number?
True
Let w(y) = -1290*y - 37. Let o be w(-6). Suppose o = 7*g + 1956. Is g a prime number?
True
Suppose -4*w + 3*p + 2 = 0, 2*w - 3*p + 3 - 1 = 0. Let d be 605 + 1*(2 - w). Let v = d + -166. Is v a composite number?
False
Let o(a) = 51*a + 85. Is o(8) a prime number?
False
Let w be 55/22*136/10. Let q = w - 29. Suppose 0 = -2*z - z + 2*u + 2977, q*z - 5*u - 4965 = 0. Is z a composite number?
False
Let j(p) = 3*p**2 + p. Let h be j(-1). Let n be 7 - (h - 0 - 5). Suppose -5*c - k = -4*c - 48, 2*k - n = 0. Is c a composite number?
False
Let d = 19 - 16. Suppose d*p - 814 = p. Is p prime?
False
Let u(n) be the first derivative of -119*n**5/12 + n**4/24 + 11*n**3/3 + 3. Let k(c) be the third derivative of u(c). Is k(-1) a composite number?
True
Suppose -52774 - 36458 = -4*l. Suppose l = 4*c + z + 3*z, -3*z - 27901 = -5*c. Is c composite?
True
Let w be (3 + -1)/((-1)/(-2)). Suppose 2*r - w = -2. Is (-1)/(-2)*(r + 1521) a prime number?
True
Let s = -48206 + 77179. Is s a prime number?
False
Let p = -50 + 52. Suppose -l + 4*n + 236 = -n, p*l - 487 = 5*n. Is l a composite number?
False
Let d(x) = 229*x - 14. Let o be d(14). Suppose -6800 = -8*t + o. Is t a prime number?
True
Is -4 - (34/(-153) + (-29815)/9) prime?
False
Let p(f) = 583*f - 460. Is p(35) a composite number?
True
Let z(l) = 2 + l**2 - 77*l**3 - 7*l**2 + 2 - 2*l + 2*l**2. Is z(-3) prime?
True
Let k(o) = -9*o**3 + 0*o - o**2 + 0*o + 1. Suppose 5*q + 8*t - 6*t = -5, -4*t = 0. Is k(q) prime?
False
Let p(r) = 3*r - 20. Let g = 26 - 20. Let o be p(g). Is 2*(-31)/o*1 a prime number?
True
Let v be 5748/4*(-3 + (-8)/(-3)). Let d = -336 - v. Is d a prime number?
False
Suppose 5*r = -84*n + 83*n + 15996, -5*n - 4*r + 79938 = 0. Is n a prime number?
False
Let f be -37*-10*7/(-2). Let h = 825 + f. Let g = 851 + h. Is g prime?
False
Let q(w) = 150*w + 38*w + 17 - 20*w + 117*w. Is q(18) a composite number?
False
Suppose -2*x + 123456 + 9514 = 4*g, -2*x = 2*g - 132976. Is x prime?
True
Suppose -3*d = 7 - 22. Suppose -2*q - q - 6 = -2*x, d*x - 2 = q. Is 9/(2 + 1) + x a composite number?
False
Let s(m) be the second derivative of m**5/10 - m**4/2 + 5*m**3/6 - 3*m**2/2 - 8*m. Suppose 5*y - 15 - 5 = 0. Is s(y) prime?
False
Suppose 0 = -26*q - 20*q + 744418. Is q a prime number?
True
Let l = 143 - 136. Suppose -l*a + 3219 + 1688 = 0. Is a a prime number?
True
Let d = 6814 - 1275. Is d prime?
False
Let k be ((-69)/2)/(1/(-46)). Suppose 88 = 5*v - k. Suppose 0 = -2*f - 3*f + v. Is f composite?
False
Let x be (-32)/144 - ((-4)/18 + 2). Is (1 + 1/x)*(583 - -3) a composite number?
False
Let u(x) be the second derivative of -24*x**3 + 5*x**2/2 - 23*x. Is u(-2) prime?
True
Let u = 52 - 56. Let x(i) = 35*i**2 - 7*i - 5. Is x(u) a composite number?
True
Suppose 0 = -6*m + l + 451230 + 64257, 0 = 5*m - 3*l - 429566. Is m a prime number?
False
Suppose -2*u + 417 = -233. Let g = u + 16. Is g prime?
False
Let g = 6841 - 4220. Is g composite?
False
Let u(z) = -3*z**2 + 16*z - 9. Let y(t) = 3*t**2 - 16*t + 9. Let j(v) = -6*u(v) - 5*y(v). Is j(-10) a prime number?
False
Suppose -v + 1 = 5*p + 8, -5*p + 5 = -5*v. Let j be (v/(-7))/(4/28). Suppose w = -3*l + 25, -3*w = -5*w - j*l + 66. Is w a composite number?
False
Let s(z) = 10*z - 7. Let t be s(3). Suppose -2*k - t = 3*y, 3*k + 33 = -4*y - 1. Is ((-4)/(-6))/(k/(-4335)) composite?
True
Let s = 4878 + 1279. Is s a prime number?
False
Let t be 4/(4/(-107)) + 4. Let r = -208 - t. Let o = r + 308. Is o composite?
True
Suppose 0*y + 15 = -3*y + 3*c, 4*c = y + 20. Suppose y*x + 2*x = 194. Is x composite?
False
Suppose 0 = -2*p - 19 + 25, -b = -p - 9376. Is b a composite number?
True
Let t(p) = 3*p**2 - 19*p + 4. Let s be t(14). Let l(h) = h - 215. Let w be l(0). Let m = s + w. Is m a prime number?
False
Let f = 62 - 157. Let w = f - -180. Is w a prime number?
False
Suppose 19 = 5*i - 11. Let j be (-1)/i - 14/(-12). Is (583/j)/((-1)/(-1)) prime?
False
Suppose 0 = 2066*w - 2064*w - 326794. Is w prime?
False
Let n(y) = 97*y + 1. Let d be n(-1). Let w = d + 281. Is w a prime number?
False
Suppose -3*x = 21 + 57. Let s = 45 + x. Is s a composite number?
False
Let y = -20 - -15317. Is y prime?
False
Let j(y) = 144*y**2 + 36*y - 275. Is j(7) composite?
True
Suppose q + q = 3*l - 81, 5*l - 124 = 3*q. Let s = q - -710. Is s a prime number?
True
Let a(s) = -6*s + 8. Let y(j) = 7*j - 8. Let m(h) = 6*a(h) + 5*y(h). Let f be m(6). Suppose -447 = -f*z - i, -2*z - 4*i = i - 467. Is z composite?
True
Let i(r) = 15*r**3 - r**2 - r + 1. Let b be i(1). Is 1042 + -1 + (b - 16) prime?
True
Suppose 0 = -6*q + 2 + 16. Suppose q*u + 2*t - 1342 = -u, 0 = 3*u + 4*t - 999. Is u prime?
True
Let c be 2/(-7) + (-115)/(-35). Suppose -5*z + 242 = -c*z. Is z composite?
True
Let a(t) = 16*t + 7. Let d be a(5). Let f = 57 - d. Is 927/5 + 12/f a composite number?
True
Let f = 109 - 113. Is 4718/56 - 3/f a composite number?
True
Let d(l) = 2*l**2 + 4*l - 2. Let g be d(-6). Suppose 5 = -c + 2, 0 = 2*v - 4*c - g. Suppose -t - v = -3*o - 0*t, -o = -4*t + 9. Is o composite?
False
Suppose 0 = -c + 3*c - 4. 