- 7*n + 3*c, 0 = -5*n - c + 139703. Is n composite?
False
Let k = -628 + 827. Is k prime?
True
Let x(o) be the second derivative of 1/6*o**4 - 1/2*o**3 + 7/20*o**5 - o + 0 + 1/2*o**2. Is x(2) a prime number?
True
Let f(h) = -10 - 2*h - 4*h + 2 - 61*h. Is f(-6) prime?
False
Suppose 0 = -8*r + 8848 + 1232. Is (2 - 0)*(r/8 + -2) composite?
False
Let a(c) = c + 5. Let n be a(-3). Suppose -n*o + 692 = 2*o. Suppose 0*d + 3*u + 200 = 5*d, 5*u + o = 4*d. Is d composite?
False
Let r(b) = b**3 + 10*b**2 + 10*b + 5. Suppose -5*u + 3*w = -u + 47, -3*u + 2*w = 34. Is r(u) prime?
True
Let s(u) = 22*u - 13. Suppose k + 8*v - 3*v + 6 = 0, -2*v - 78 = -5*k. Let n be 8/k - 52/(-7). Is s(n) prime?
True
Let i = 5571 + -3108. Is i composite?
True
Let q be 4*(28/(-16) + 4). Let t(c) = -c**2 + 15*c - 9. Let d be t(q). Suppose -178 - d = -j. Is j composite?
False
Is 0*(4 - (-15)/(-4)) + 1411 a prime number?
False
Let u(w) = -w + 4. Let t be u(-16). Is 1982/(50/t*(-8)/(-10)) a prime number?
True
Is 35/(-14)*2/(-1) - -10086 a composite number?
False
Let d(q) = -q + 13. Let w be d(6). Suppose w*c - 2*c = 565. Is c a prime number?
True
Suppose 0 = -1628*f + 1627*f + 7369. Is f a composite number?
False
Let i(w) = -4*w. Let l be i(-1). Let f be (904/l)/2*3. Suppose -f = -3*k + 372. Is k prime?
False
Suppose 3*k = 5*a + 5*k + 58, 3*a = 3*k - 39. Let b be (a - 2)*12/(-42). Suppose 473 + 419 = b*x. Is x prime?
True
Let i(h) = -127*h**3 + 5*h**2 - 3*h + 3. Let d be 3 - 5 - (-3 + 4). Let n be i(d). Let u = n - 2445. Is u a composite number?
True
Is 1/1 + 6447 + 9 prime?
False
Suppose -3*a + 2*y + 18 = 0, 4*a + 0*a = -3*y + 24. Suppose -z + a*z = 1265. Is z composite?
True
Let u(i) = -16*i**2 - 9*i + 1. Suppose 3*a + 24 = -3*c, 0*c - 2*a - 1 = -c. Let z be u(c). Let w = z - -531. Is w a prime number?
False
Let v(r) = r**3 - 15*r**2 - 51*r - 63. Is v(22) composite?
False
Is ((-3292878)/790)/((-3)/5) a composite number?
False
Let o(h) = h + 5. Let p be o(-3). Is ((-21)/(-6) - -3)*p composite?
False
Let a = -14973 - -24812. Is a a prime number?
True
Suppose 28 = 4*i - 3*g, 35 = 5*i + 2*g + 2*g. Is (-124090)/(-35) - 3/i a prime number?
False
Let m(i) = -i**3 + 3*i**2 + 3*i - 4. Let x be m(3). Suppose 3*k - 8219 = -4*l + 5*l, -3*k - x*l + 8243 = 0. Is k a prime number?
True
Let u be (-2 + 140)/(3/(-14)). Suppose 0 = -f - 429 - 21. Let l = f - u. Is l composite?
True
Suppose t = 790 + 1125. Is t prime?
False
Let v(q) be the second derivative of 25*q**4/4 - q**3/6 + 13*q**2/2 + 3*q. Is v(-6) a composite number?
False
Suppose 0 = -f + 2*l + 24653, 3*f = -2*f - 4*l + 123265. Is f a prime number?
False
Is (-12)/(-20) + 260474/85 prime?
False
Suppose 5*q - 5043 = -k - 355, 2*q + 13979 = 3*k. Is k a prime number?
True
Let q(f) = -319*f**2 + 6*f - 8. Let u(t) = -638*t**2 + 12*t - 17. Let x(r) = -5*q(r) + 2*u(r). Is x(1) a prime number?
False
Suppose -2*s + 1862 = s + a, 4*a = 8. Let g = -212 + s. Let t = g + -277. Is t a composite number?
False
Suppose -l + 11983 = -10450. Is l a prime number?
True
Suppose 3*s + s - 16 = 0. Suppose 91 = -p + 254. Suppose 0 = 5*y, 3*y = -v + s + p. Is v a prime number?
True
Let p = -41542 + 63483. Is p prime?
False
Suppose 0 = -13*l + 145463 + 118788. Is l prime?
True
Let z = -46758 + 24924. Is z/(-45) + (-2)/10 a composite number?
True
Suppose 8*j - 22*j + 21308 = 0. Is j composite?
True
Suppose -5*a = -3*w + 10453, -3*w - a - 1739 = -12180. Is w prime?
False
Let p(b) = -b**3 + 3*b**2 + 4*b - 6. Let c be p(-5). Let a = c + -256. Let r = 299 + a. Is r a prime number?
False
Let f = -19 + 23. Let c(i) = -33*i + 6. Let p be c(f). Let r = p - -213. Is r a prime number?
False
Let o be (324/10)/((-4)/(-10)). Suppose -2*u - 5*n = 1332, 3*u = -5*n + o - 2084. Let f = u - -1590. Is f composite?
False
Let z be 3/(-12) + (-148)/(-16). Let h(t) = -t**3 + 13*t**2 - 3*t + 1. Is h(z) composite?
True
Suppose -x + 151 = q, -3*x - 474 = -3*q + x. Suppose -3*g + q = -5. Is g composite?
False
Suppose 36*v + 1446 = 38*v. Is v a composite number?
True
Is 15978/42 + (-4)/(-7) a prime number?
False
Suppose -1 = -4*b + 7. Suppose -b*x + 130 + 192 = 4*k, 3*x - 494 = 5*k. Is x composite?
False
Let l(x) = 6*x + 14*x**2 - 4*x + 11 + x. Is l(-4) a composite number?
False
Suppose -5*h = -2*h + 2*w - 263, 4*h - 353 = -5*w. Let m = -974 - -1014. Let r = h - m. Is r a prime number?
True
Suppose 2*b - 4*p = 47742, -4*b + 18*p + 95424 = 22*p. Is b a composite number?
True
Let z be 4/(-1) + 0 + -4. Let b(m) be the first derivative of -m**4/2 - 7*m**3/3 - 4*m**2 + m - 1. Is b(z) a prime number?
True
Suppose -5*i + 2*k + 66 = -2*i, -2*i + 2*k = -46. Suppose 0 = 11*g - 16*g + i. Suppose -g*s = -5*s + 123. Is s a composite number?
True
Suppose 2*q - 12 = -q, -m - 4*q + 22 = 0. Suppose -752 = m*u - 3218. Is u a prime number?
False
Let u = 431 - -2648. Is u composite?
False
Suppose -5*r - x = -1 + 3, -2 = -4*r + x. Suppose r = -5*s + 2 + 13. Suppose -3955 = s*v - 8*v. Is v a composite number?
True
Let x = 11742 + -1103. Is x composite?
False
Let u(h) = 13*h + 6 + 1 + 1. Suppose -3*b + 15 = -24. Is u(b) a prime number?
False
Suppose 4*d - 7954 = 8002. Is d composite?
False
Is (-4)/(-3)*(-6242946)/(-232) prime?
True
Suppose 0*o - o = -12. Let r(f) = 13*f - 13. Let p(b) = 25*b - 28. Let x(k) = -4*p(k) + 9*r(k). Is x(o) composite?
False
Let n = 24584 - 15681. Is n a composite number?
True
Suppose 5*p = 23*p - 444870. Is p composite?
True
Let q(v) = 115*v**2 + 18*v - 3. Is q(-7) a composite number?
True
Let h be ((-150)/7)/((-8)/448). Suppose -3*r - 2*r + h = 4*l, 16 = 4*r. Is l a composite number?
True
Let y(k) = -k**2 + 2*k + 1. Let b be y(3). Let o be 3 - (0 - b) - -3. Let h(t) = 6*t + 1. Is h(o) a composite number?
True
Let z be (-4 - -3)/(-4 - (-1678)/420). Suppose 0 = 2*s - 2*b - 336, -s + 3*b = -z + 32. Is s prime?
True
Let g(z) = 5*z**3 + 11*z**2 + 43*z - 1. Is g(14) a composite number?
False
Let r = 1 + 1. Suppose 110 = r*i - 450. Let q = i + -89. Is q a composite number?
False
Suppose 0 = -3*m + 8*m. Suppose m = -4*n + 2*n + 48. Suppose 3*c + 5*o + n = 4*c, c + 4*o - 42 = 0. Is c a composite number?
True
Let i(s) = -s**2 - 9*s - 2. Let u be i(-5). Suppose 0 - u = -6*b. Suppose b*x = -0*x + 1527. Is x a composite number?
False
Suppose 2*i + 20 = -78. Let y = 6 - i. Suppose 0 = -5*z - 0*z + y. Is z prime?
True
Let w(o) = -o**3 - 6*o**2 - 9*o - 12. Let l be w(-5). Is ((-502)/l)/(3/(-12))*1 prime?
True
Suppose 0 = -59*n + 272058 + 4180. Is n a composite number?
True
Suppose 0 = 2*y + i - 2503, 2*y + 6*i - 2473 = 11*i. Is y a prime number?
True
Suppose -13*v - 21 = -47. Suppose 3*o + 2*y = o + 22, -5*y = -4*o + 35. Suppose p + p + 4*q = 20, p - v*q - o = 0. Is p prime?
False
Suppose 25*x - 350934 = 43291. Is x composite?
True
Let l = 27 + -218. Let x = l - -1846. Is x composite?
True
Suppose p + 10*i = 8*i + 5989, -p - 3*i + 5987 = 0. Is p prime?
False
Suppose 6875 - 1676 = 3*c. Is c prime?
True
Suppose -3*z + 484 = 4*g, -g - 5*z = 2*g - 374. Let w = 78 - g. Let a = 153 + w. Is a a composite number?
False
Let f = -15139 + 27898. Is f a composite number?
True
Let s(h) = h**3 - 7*h**2 + 6*h + 2. Let b be s(6). Is b + 38*6*3 + -3 a prime number?
True
Let n be 0 - -285 - (0 - -4). Suppose -8*b - n = 79. Let m = b + 76. Is m composite?
False
Let y = -3 - -5. Let p be (-4 - -1)/(3/y). Let o(k) = -59*k**3 - k**2 - 1. Is o(p) prime?
True
Let r(p) = 182*p**2 + 30*p - 25. Is r(8) a composite number?
False
Suppose 2*h + 13 = v, v + h + h = -3. Suppose -v*a = -a - 64. Let c(l) = 2*l**2 + 15*l - 15. Is c(a) composite?
True
Let x be -10 - (-1 + 10/(-5)). Is 2 + x - -1 - (-6 + -29) a prime number?
True
Let s(n) = 39*n - 2. Let f(a) = 11*a + 0 - 1 + 27*a + a. Let q(t) = -3*f(t) + 2*s(t). Is q(-2) prime?
False
Let h(x) = -8*x + 7*x + 5*x + 3 + 108*x**2. Is h(5) a prime number?
False
Suppose 26 = 5*d - 4. Let v(r) = 6*r - 15. Let h(l) = 5*l - 16. Let x(g) = d*v(g) - 7*h(g). Is x(0) a prime number?
False
Suppose 0 = -16*k + 18*k - 10896. Is k/10 - (-1)/5 composite?
True
Let r = -4 - -2. Is (-5 - -1 - r) + 8 + 761 prime?
False
Let c(h) = 2018*h**2 - 13*h - 12. Is c(-1) a composite number?
True
Let u(x) = 732*x**3 + 6*x - 11. Let k = -55 + 57. Is u(k) prime?
True
Let p = 79684 + -40049. Is p composite?
True
Let q = 