 a composite number?
True
Suppose 0 = -5*c + f + 2243847, 269*f = 5*c + 272*f - 2243839. Is c a composite number?
False
Let w(p) = -p**3 + 10*p**2 + 2*p - 19. Let l be w(10). Let x be 1 - (-1 + -2 + l + 9). Is (3/12)/(x/(-13368)) composite?
False
Suppose -150*v + 117*v = 178*v - 9317549. Is v composite?
False
Let m = 111 + 128. Let x = m + -226. Is x composite?
False
Suppose -2*m - 2 + 6 = 0. Suppose -u + 3 = 0, 5*t - 12 - 9 = -m*u. Suppose 315 = t*v - 342. Is v a composite number?
True
Suppose 0 = -5*x + 6*x + 2, 3*x = -4*i - 2. Let f be (-500 + 8)*i/(-2). Suppose b + f = k, 0 = k + b - 383 + 127. Is k prime?
True
Let c(r) be the third derivative of 19*r**7/840 - r**6/72 + r**5/6 + 2*r**2. Let m(u) be the third derivative of c(u). Is m(4) composite?
True
Suppose x - 136 = 99*d - 100*d, -388 = -3*d + x. Let q(n) = 1171*n**2 + 2*n + 1. Let s be q(-1). Let w = s - d. Is w prime?
True
Suppose 0 = -3*u + 290433 + 44868. Is u a prime number?
True
Suppose 5*j - 5*f = -4*f + 479, -4 = -4*f. Let i = 101 - j. Suppose a - 2*y = 4625, -5*y + 3*y - 23133 = -i*a. Is a prime?
False
Suppose 13*n - 272066 = 225743. Suppose 2*t = -5*p + t + 47852, -n = -4*p + 3*t. Is p a composite number?
True
Let y(p) = -8*p + 16. Let w be y(3). Let u(n) = -4*n - 27. Let m be u(w). Let a(g) = 100*g**2 + g + 10. Is a(m) composite?
True
Suppose -2*r - 5413 = -22445. Suppose 0 = 12*l - 16*l + r. Is l a prime number?
True
Let j(d) = -9*d - 6. Let u be j(-1). Suppose 4*s - 1 = 3. Is (s/u)/(28/35196) a prime number?
True
Suppose -5*k = 0, 987128 = 5*o - 5*k - 83397. Is o prime?
False
Suppose -3*u - 3*s = -3388518, 1542*s = 1546*s - 12. Is u prime?
False
Let j = 311892 + -78359. Is j a composite number?
True
Let v(g) = 2895*g**2 + 598*g - 6083. Is v(10) a composite number?
False
Let q(s) = -118*s**2 - s + 1023731. Is q(0) prime?
True
Let p(r) = r**3 - 3*r**2. Let b be p(3). Let u = 11 + b. Let n(f) = -f**3 + 19*f**2 - 5*f - 12. Is n(u) a prime number?
False
Let u be 10 + (-4)/8 + 40/16. Suppose u*z - 941900 + 265568 = 0. Is z prime?
False
Suppose 199*s - 120*s = 17825165. Is s a composite number?
True
Let u(s) = 63*s**2 + 26*s + 38. Let n(i) = 31*i**2 + 12*i + 19. Let g(k) = 5*n(k) - 2*u(k). Is g(-8) a prime number?
True
Let d be 149677/(-11) + 1*2. Is d/(-6)*2 - 2 composite?
True
Let c be 18*(254/12 + (-3)/6). Let x = c + -217. Suppose -3*l + 2*u = -x, 3*l + u - 55 = 2*l. Is l prime?
True
Suppose -252 = -69*p + 63*p. Suppose 18*f = -p + 150. Suppose f*u - 8*u + 2238 = 0. Is u prime?
False
Let b = -296 - -298. Suppose 9*p = l + 4*p - 5593, l + b*p - 5607 = 0. Is l a prime number?
False
Let k be ((9 - 6) + -3136)/(-1). Suppose 3*r + z - k = 0, -2*z + 3*z - 1047 = -r. Is r a prime number?
False
Suppose -11*k - 3636643 = -5*b - 9*k, -k = -4*b + 2909312. Is b a composite number?
False
Let b(l) = 64*l**2 - 3*l**2 - 8 - 2 - 2*l - 2. Is b(7) composite?
False
Let p(a) = -312*a - 4057. Is p(-68) a prime number?
True
Suppose -41972 = 3*b + 11*b. Let f = -539 - b. Is f prime?
True
Let o(b) = -b**3 + 15*b**2 + 5*b - 35. Let n be o(15). Let x = 72 + n. Let q = 45 + x. Is q composite?
False
Let o = 116136 - 60845. Is o composite?
False
Suppose 1760 = 7*h - 2*h. Let f = h + -646. Let k = 505 + f. Is k prime?
True
Let q be 30/(-10) + -1 + 11. Suppose q*d - 2374 = 4913. Is d prime?
False
Let d(y) = -y + 3. Let q be d(-4). Let g(i) = -13*i**2 + 11*i + 16. Let c(m) = 3*m**2 - 5*m - 1. Let s(x) = -3*c(x) - g(x). Is s(q) a prime number?
True
Let s(f) = -74*f**3 + 928*f**3 + 4 - 214*f**2 + 212*f**2 - 3. Is s(1) prime?
True
Let x be 6/(-14) + (-3)/(63/(-35205)). Let d be (-4 - (2 + -7))*2095. Suppose -4*o + x = -4*q, -2*o - q = 3*o - d. Is o a prime number?
True
Suppose -2*c + 2666 = 4*u, 3*u - 3049 - 2278 = -4*c. Let b = c + -768. Suppose -4*h = -b - 89. Is h a composite number?
False
Let b(c) = -1105*c + 13. Let w(s) = -1103*s + 14. Let a(z) = -6*b(z) + 7*w(z). Is a(-3) prime?
False
Suppose -2*m = -5*a - 218, -4*m + 3*a + 422 = -0*m. Let t(h) = -56 - 28*h + m - 77. Is t(-10) prime?
True
Let l be (5 - -8) + (-3)/3. Let u be (l/(-9))/4 - (-3023)/(-3). Let f = u - -1487. Is f composite?
False
Suppose 16069 = -14*g - 12645. Let m = 4848 - g. Is m a prime number?
True
Suppose 107610 + 13213 = -2*d + 3*f, 241619 = -4*d - 3*f. Let i = -40752 - d. Is i a prime number?
False
Let f(k) = -48*k + 0*k + 16*k - 35*k**2 - 34*k - 12*k**2 + k**3 + 79. Is f(51) a composite number?
True
Suppose -p + 24040 = 3*l + p, l - 8013 = -p. Suppose a - c = 253 + l, -4*c = 4*a - 33068. Is a prime?
False
Suppose 2*h = -0*h - 4. Let c(d) = 123*d + 10. Let m(y) = 247*y + 19. Let k(p) = 11*c(p) - 6*m(p). Is k(h) a prime number?
False
Suppose 28*a - 2281249 + 879653 = 0. Is a composite?
True
Is -4*(-1790862)/16 - (-3)/2 a prime number?
False
Let b(k) = 23*k**2 - 14*k + 5. Let c be (-27)/(-9) - 12*1. Let u be b(c). Suppose -w = w - 4*n - u, 2*n = 4*w - 3988. Is w a composite number?
False
Let q(t) = -14 + 10 - 7 - 10 - 59*t. Let n be q(11). Let g = n + 2571. Is g prime?
True
Let s(k) = -k**3 + 8*k**2 - 8*k - 5. Let b be s(12). Let p = b - -1584. Is p prime?
True
Let q = -34 + 36. Suppose -q*m = 5*f + 3*m - 15, -3*f - 4*m + 10 = 0. Suppose -481 = -3*g - 0*v + 2*v, 0 = f*v - 8. Is g composite?
False
Let n(c) be the second derivative of c**5/20 - 17*c**4/12 - 13*c**3/3 - 55*c**2/2 - c. Suppose 28*b - 14*b = -29*b + 989. Is n(b) composite?
False
Suppose 8*x = 4*x + 27936. Suppose 2*d - x = -j, 5*j - 2*j - 17461 = -5*d. Is d a composite number?
False
Let r = -5862 - -2754. Let b = r + 5569. Is b composite?
True
Is ((-48058)/4)/(3/(-18)) a composite number?
True
Is 8 + 1 - (-80)/8*506 composite?
True
Suppose 0 = 4*v + v. Suppose v = 2*m - 3*k + 7*k + 16, -4*m + 5*k + 20 = 0. Suppose 36*d - 34*d - 902 = m. Is d a composite number?
True
Suppose -397*f + 125052793 = 70*f. Is f a composite number?
True
Let r = -302983 - -450134. Is r composite?
False
Suppose 3*z = 5*m + 4188386, 4*z + 0*m - 5584496 = 4*m. Is z composite?
True
Let m(j) = j**2 + 5*j + 10. Let n be m(-3). Suppose 0*i = 4*i - n*h - 4, h = 5*i - 9. Is (1597/2)/(-4*i/(-16)) a composite number?
False
Let s be (-3 + 0/2 - 3395)/(-2). Suppose 3*g - s = n + 1237, 0 = 4*g + n - 3917. Is g composite?
True
Suppose -4 = 4*j, 0 = 5*c + 2*j - 1274672 + 36249. Is c a prime number?
False
Let g = 243593 + -158964. Is g a prime number?
True
Let v(k) = -292*k**3 - 3*k**2 - 17*k - 10. Let i(t) = -293*t**3 - 3*t**2 - 18*t - 11. Let j(c) = -5*i(c) + 6*v(c). Is j(-4) composite?
True
Let c(v) = -3193*v**2 - 1. Let x(o) = -o - 8. Let i be x(-7). Let b be c(i). Let u = -2095 - b. Is u prime?
False
Suppose 143*b - 19339809 = 57*b - 43*b. Is b a prime number?
True
Is -2 - ((-3 - (-4)/((-4)/87383)) + 2) a prime number?
False
Let x = -12860 - -5588. Let o = x - -13721. Is o prime?
True
Suppose 52*n = 22369107 - 771271. Is n a composite number?
False
Suppose -372*w + 376*w = -3*i + 497255, 5*w = -2*i + 331508. Is i composite?
False
Suppose 5*b - 2454006 = -3*c, b + 4*c - 726357 + 235566 = 0. Is b a prime number?
False
Suppose 5*u - 24 = z, z + 15 + 1 = 3*u. Let o be 60 + u*((-4)/(-8))/1. Suppose 0 = 57*s - o*s + 5605. Is s composite?
True
Let z be ((-8)/16)/((-1)/238). Let f = z - 115. Is f + -2 - (-16341)/13 composite?
False
Let n(g) = -23*g**3 + 7*g**2 + 24*g - 1. Let x(f) = -23*f**3 + 8*f**2 + 25*f - 2. Let v(o) = 7*n(o) - 6*x(o). Is v(-7) a prime number?
True
Let n = 2000 + 1821. Let m(f) = f**2 - 108*f - 680. Let v be m(-6). Is 4/(-16) + n/v prime?
False
Let v = 615 + -613. Suppose 4 = v*a, -3*d + a - 2*a = -10223. Is d prime?
True
Let p(l) = -1404*l - 7. Let n be p(1). Let d = 2982 + n. Is d prime?
True
Let m = -166 + 168. Suppose m*b = -j + 1677, 4*j + b - 847 = 5868. Is j a prime number?
False
Let r(i) = i**2 - 12*i + 26. Let n be r(9). Is (n*(-4)/12)/((-4)/(-11148)) a composite number?
False
Let a(q) = -2*q**3 + q**2 - q - 5*q**3 + 15*q**3 - 7*q**3 + 4. Let c be a(0). Suppose -8 = c*k - 48. Is k a composite number?
True
Let m(b) be the first derivative of 11*b**3/3 - 13*b**2/2 - 47*b - 37. Is m(-7) a prime number?
False
Suppose 1022143 = 6*f + 20*f - 1071195. Is f a composite number?
False
Suppose -2*h + 986918 = 4*m, h + 5*m + 493417 = 2*h. Is h composite?
False
Let d be (20/(-6))/((-2)/(-18)). Let 