 10. Is k a prime number?
True
Suppose 4*g + 636 = 8512. Is g a prime number?
False
Is (-4 + 11/2)/((-24)/(-31888)) a prime number?
True
Let g(l) = 66*l + 129. Is g(33) a composite number?
True
Suppose g + g - 40 = 0. Suppose -4*i = i - g. Suppose z = i*z - 30. Is z prime?
False
Suppose -4178*k + 48721 = -4177*k. Is k composite?
True
Suppose 14*b + 1770 = 29*b. Is b a prime number?
False
Let l = -17961 - -30284. Is l prime?
True
Suppose -1 = -z + 4. Suppose 7 - z = m. Suppose -m*s - 1676 = -6*s. Is s prime?
True
Let r = -45 + 50. Suppose 2*p = 4*p + 8, 0 = -5*j - r*p + 425. Is j a composite number?
False
Let m(w) = -3*w - 28. Let n be m(0). Let p = 163 - n. Is p a prime number?
True
Let z be 4 + (-1)/(3565/3566 - 1). Suppose 12087 = 3*t - z. Is t a composite number?
True
Suppose -7 = -0*y + y. Let j(s) = -8*s**2 + s - 5. Let a(f) = -7*f**2 + f - 5. Let b(c) = y*a(c) + 6*j(c). Is b(10) a composite number?
True
Suppose 3*i - 2*f = 26661, -5*f = 24*i - 25*i + 8887. Is i prime?
True
Let u = -2878 - -4571. Is u prime?
True
Let b = 1122 - 727. Let n = b - 102. Is n a prime number?
True
Let w = 8125 + -3578. Is w a prime number?
True
Suppose 4*u - 3*r - 13949 = 0, 16931 + 534 = 5*u + 2*r. Is u a prime number?
True
Let i(z) = -z**2 + 8*z - 13. Let b be i(3). Suppose -l = 4*f - 55, l = b*f + 5 + 56. Is l prime?
True
Suppose -5*w - 384 = -10709. Suppose v + 2*z = -0*v + 2074, v - z = w. Suppose 3*s - v = -s. Is s composite?
True
Let g(l) = -l**3 - 4*l**2 - 5*l - 3. Let p be g(-4). Suppose -12*x = -8*x - 12. Suppose -8 = x*a - p. Is a a prime number?
True
Let d(h) = 35*h - 128. Is d(23) composite?
False
Suppose -4*j + 4304 = -7804. Is j a prime number?
False
Let h be (108 - -14)*2/2. Suppose 4*k = 38 + h. Is -15*k/(-12) + -1 a composite number?
True
Let m be (-20)/(-90) - (-22)/(-18). Let i be (-1)/(((-1)/(-3))/m). Is (460/(-16) - i)*-4 composite?
False
Let k(n) = -3*n**2 - 13*n - 4. Let d be k(-5). Is (89 + 12)/((-2)/d) prime?
False
Suppose -5*f - 39 + 44 = 0, 5*j = 4*f + 36351. Is j prime?
False
Let n(r) = -r - 1. Let g(b) = -73*b**2 + 6*b + 10. Let t(m) = -g(m) - 3*n(m). Is t(3) a prime number?
True
Let k(f) = 5*f - 53 + 17*f - f + 11*f. Is k(9) a prime number?
False
Let f(n) = -2332*n**3 - 2*n**2 - 2*n + 1. Is f(-1) composite?
False
Let k(y) = -5*y - 1. Let v be k(-1). Suppose 3*g + 203 = b, -g - 211 = -b + v*g. Is b prime?
True
Suppose 3*v = 4*s + 1 - 0, s = 4*v + 3. Let h(a) = -3*a**3 + a. Let t be h(s). Is (t/3)/(6/477) composite?
False
Let a(q) = -13*q**2 - q - 14. Let m(j) = 7*j**2 + 7. Let v(o) = -2*o**2 - o. Let g be v(-2). Let s(h) = g*a(h) - 11*m(h). Is s(6) composite?
False
Suppose -2*y - 4 = -o - 0*y, -5*y = -4*o + 13. Let n(f) = 5*f**o - 30*f + 2 + f**3 - 1 + 31*f. Is n(4) a composite number?
False
Let u be (-60)/(-21) + 2/14. Suppose -2*n + 4*m - 5*m = -1, -u = 2*n - 3*m. Let h(z) = -z + 217. Is h(n) a composite number?
True
Suppose 7*g - 2*g - 242 = -4*m, -g + 5*m = -60. Suppose 0 = -2*u - 3*y - g, 5*u = u + y - 128. Let q = -9 - u. Is q a prime number?
False
Let s be (-12)/(-8)*(-12)/(-9). Suppose 4*h = 5*z - 722, 0 = z - s*h - 103 - 45. Is z composite?
True
Let m(c) = 3*c**2 + 6*c + 5. Suppose 7 + 23 = -5*j. Is m(j) prime?
False
Let z be 90/50 + 3/(13 + 2). Suppose -1873 = -3*f - 4*d, -z*d + 1252 = 2*f - 0*d. Is f prime?
True
Let q(t) = 3 + 8*t**2 - t**3 - 7 + 0*t - 6*t + 5. Let c(b) = b + 11. Let l be c(-6). Is q(l) composite?
True
Suppose -3*i = -4*i + 365. Let t be 831/(-2)*4/(-3). Suppose 3*k - k - i = -5*j, j = -3*k + t. Is k prime?
False
Let i be 568/(-14) - 24/56. Let z = i - -55. Is z a composite number?
True
Let s = 899 - 550. Suppose -8*w + 2283 + s = 0. Is w prime?
False
Let s be 3*(-3 - 20/(-2)). Let i = -24 + s. Is (2/i)/(28/(-6846)) prime?
True
Let o(v) be the third derivative of 71*v**5/30 + v**4/8 - 5*v**3/6 + 13*v**2. Is o(-2) a composite number?
False
Suppose -5*j = -131 - 49. Let b(w) = -2 + 1 + j*w + 1 + 5. Is b(4) a prime number?
True
Is -6*(-5 + 6) - (1 - 7085) a prime number?
False
Let r(h) = -4*h + 1079. Suppose -p + 2 = -4*m, 2 = -m - m + p. Is r(m) a composite number?
True
Let h = 87846 - 52241. Is h a prime number?
False
Let w = 32 - 27. Suppose -1908 = -2*c - 5*t - 125, 0 = w*t - 25. Is c a prime number?
False
Suppose -4*o + 8*o = -32. Let y = o - -8. Suppose 4*w + a - 632 = y, 0 = -5*w + 4*a - 0*a + 790. Is w a composite number?
True
Suppose 2178*d = 2183*d - 167035. Is d a composite number?
True
Let j(m) be the second derivative of -m**4/12 + 353*m**2/2 + 6*m. Is j(0) a prime number?
True
Let w(n) = -59*n**3 + n + 1. Let b(c) = 14*c**2 - c**3 - 5*c + c - 15 + 0 + 5*c. Let g be b(14). Is w(g) prime?
True
Let s(a) be the third derivative of -a**6/120 + a**5/60 - 11*a**4/24 + a**3/6 + 21*a**2. Is s(-12) a composite number?
True
Let z(b) = 402*b**2 - 2*b - 1. Is z(11) composite?
False
Let j(x) = 13*x**2 - x + 67. Is j(-8) composite?
False
Let c be (-3)/((-4)/2020*(-15)/2). Let l = -75 - c. Is l a prime number?
True
Let f(k) = -39 + 4*k - 32 + 4*k**2 - 42 + 106. Let q be 2/8 - (-57)/12. Is f(q) prime?
True
Is (-727)/3*(-33 - 0) composite?
True
Let p = 169 - 447. Is (-2 - (-3)/2)*p a composite number?
False
Suppose t = 4*o + 3*t - 14, 3*o - t = 3. Suppose -4*p + 5*h = -3658, -h + 0 = -o. Let l = p + -624. Is l a composite number?
False
Let c(b) = -b**3 + 8*b**2 - 10*b + 4. Let f be c(7). Let t = f + 894. Is t a composite number?
False
Let d = -43053 - -67872. Suppose 4964 = n + i, -2*i + 6*i = -5*n + d. Is n composite?
True
Is (-1)/3 + (-1921628)/(-186) prime?
True
Suppose 0 = -t + 3*t - 3766. Suppose -3*k + 5*b = -t, k + 3*k + 3*b = 2530. Is k prime?
True
Let l(o) = 71*o - 19. Is l(4) a composite number?
True
Let o(s) = 62*s**3 - 3*s**2 - 5*s - 1. Let q(m) = 123*m**3 - 5*m**2 - 9*m - 2. Let g(n) = 5*o(n) - 3*q(n). Is g(-1) a prime number?
False
Let l = 9 + -13. Suppose -5*t = -3*v - 14, -2*v - 8 = -3*t + t. Is -2 + 21 + l*t a prime number?
False
Let w = -7 + 6. Is (23 + w)*(-58)/(-4) composite?
True
Let l(b) = 156*b**2 + 2*b - 13. Is l(-6) a prime number?
True
Let g(m) = -116*m**3 - 3*m**2 + 5*m + 4. Let t be g(-3). Suppose 6*n - t = -70. Suppose n = 4*y - 212. Is y a composite number?
False
Let z(a) = 136*a**2 - 128*a - 11. Is z(8) a prime number?
True
Suppose 5*d - 190 = -160. Suppose -4*v + 0*r + 5650 = r, -4*v = -5*r - 5638. Suppose -v = -d*k + 94. Is k composite?
False
Let g(l) = 63*l**2 + 6. Let m(w) = w**3 + 4*w**2 + 2*w. Let i be m(-3). Is g(i) a prime number?
False
Let n be (39/26)/(6/(-16)). Is n/((-4)/68*2) a composite number?
True
Let i = 891 - -3704. Is i a prime number?
False
Let w(y) = -y**3 - y**2 - 12*y + 11. Let a = 5 - 11. Is w(a) a prime number?
True
Let u = -226 - -921. Suppose a + 229 = u. Is a a composite number?
True
Let p(j) = 3*j**2 - 7*j - 25. Let z(n) = 2*n - 5*n**2 + 2*n + 4*n**2 - n**2 + 13. Let o(m) = -3*p(m) - 5*z(m). Is o(0) a composite number?
True
Let q = 7900 - 3578. Is q prime?
False
Suppose -55*g + 50*g + 6730 = 0. Is g prime?
False
Let w(o) = -o**3 - 3*o**2 - o - 1. Let f be w(-3). Let c be (-6)/(-4 + f) - -1222. Suppose -c = -3*i - 5*l, -3*i - i + 2*l = -1668. Is i composite?
True
Suppose 3*i - 362 = 5*w, 72 = -w - 0*w + i. Let t = w - -22. Let r = 26 - t. Is r composite?
True
Let d(f) = -40*f - 11. Let k be d(-6). Let v = -96 + k. Is v composite?
True
Let h(m) = m + 11. Let s be h(-9). Let x be (0 - -31)*(s - 4). Is x/(-1) + 1 + -4 a prime number?
True
Let h be (-3)/9 + (-822)/18. Let k = h - -313. Is k a prime number?
False
Let j(i) = -i + 1. Let m be 2 + (-6 - (1 - 2)). Let d be j(m). Suppose 4*s = -4*n + 120, d*s - 4*n = 145 + 7. Is s composite?
True
Let a = 1959 + 864. Is a prime?
False
Suppose -n + w - 1 = 0, 4*n + 3*w + 0*w = -11. Let b be (-598)/(-5) - n/5. Suppose 3*r + 3*a - b = 0, 3*r - 85 = 5*a + 11. Is r a prime number?
True
Let l = -11631 - -16610. Suppose -3*n = -l + 572. Is n a composite number?
True
Let o be 4 - (-1 - 3 - -6). Suppose -h - o*h + d = -3001, -4008 = -4*h - 2*d. Suppose 2*t - 125 - h = 0. Is t a composite number?
False
Let u(p) = p**3 - 9*p**2 - 12*p - 10. Let r be u(10). Suppose 0 = -3*v + 31 - 37. Is (13/v)/(3/r) composite?
True
Suppose -i + 6 - 3 = 0, 3*n + 30 = -i. Let l be (62/(-5) + -2)*(-40)/6. Let b = l + n. Is b composite?
Tru