?
True
Let r(b) = -b**3 - 32*b**2 - 17*b - 7. Let g be r(-21). Let h = g - -11734. Is h composite?
True
Suppose 3*z + 590800 = 5*r, 0 = r - z - z - 118160. Let p = 69800 - r. Is (-1)/5 + p/(-50) a composite number?
False
Let v(w) = 1649*w + 3. Let f(i) = i**3 - 2*i**2 - 23*i - 2. Let y be f(6). Is v(y) a prime number?
True
Let c(u) = -498*u - 33. Let j be c(-9). Let q = j - 3050. Is q prime?
True
Suppose 2*c + 91700 = 8*c - 185014. Is c a prime number?
False
Is 208081 - (-12 - (4 - 30)) composite?
False
Let o = 6 - 4. Let y be ((-19530)/(-135))/(6/36). Is (2/4)/(o/y) a prime number?
False
Let h(k) = -28604*k - 1. Let b be h(-5). Is (-4)/38 + (b/19)/3 a composite number?
True
Suppose 17*m - 20*m + 21 = 0. Suppose -3*g + m = -20. Suppose -4*x = -g - 1195. Is x prime?
False
Let w be (831/(-15) + -1)/((-90)/6525). Let h = w - 1354. Is h a prime number?
False
Let q = -86 + 88. Let h(s) = s**3 + 6*s**2 + 5*s + 3. Let b be h(-5). Suppose -u = y - b*u - 1655, -3*y - q*u = -4973. Is y a composite number?
False
Let c(g) = -131*g**2 - 7*g + 9. Let w be c(6). Let q = -2622 - w. Is q a composite number?
True
Let s(k) = 40*k**2 + 6 - 4*k + 2*k**3 - 3 - k**2 - 12. Let d(m) = 17*m**3 - 11*m - 10. Let n be d(-1). Is s(n) composite?
False
Let z(b) = -2625*b**3 + 5*b**2 + 5*b - 9. Is z(-2) a prime number?
True
Is (13 - 8 - 7) + 63109 prime?
False
Suppose -8 = 6*f - 10*f. Suppose -2*v = -4*d + 24 - 6, -3*v + f*d - 15 = 0. Is (v + (2 - 2))*(-3731)/21 a composite number?
True
Suppose 14 + 6 = 10*t. Suppose -4*j - x + 4 = 0, -5*j + t = -3*x + 14. Is (-1 + j)*(-3 + 1577)/(-2) a composite number?
False
Suppose q = -2*w + 53182, 34*q - 53182 = -2*w + 37*q. Is w a prime number?
True
Let q = -18111 - -12476. Let n = 13632 + q. Is n composite?
True
Let o = 737 - 241. Let b = 1920 - o. Let k = -859 + b. Is k composite?
True
Let v = -136 + 136. Suppose v = 30*a - 26*a - 31684. Is a a composite number?
True
Suppose -15*y + 34535 = 10490. Is y a composite number?
True
Let g be (136115/(-105))/((-1)/3). Let a = g - 402. Is a a composite number?
True
Suppose 2*i + 5*r = 308380, 6*i - 4*i = -3*r + 308384. Is i a composite number?
True
Suppose -254*n + 32471 = -235*n. Is n a composite number?
False
Let y be (-3 + 1)*1 + 2096. Suppose 2608 = 15*c + 718. Suppose 4*o + 5*v = -c + y, -4*o - v = -1952. Is o prime?
True
Is 136 - 128 - 988197/(-3) a composite number?
True
Suppose -22*o = -8*o - 238. Let p = -6 + o. Suppose -9664 = p*x - 31455. Is x prime?
False
Let b(u) = -189*u + 4. Suppose -147 + 559 = -4*n. Let y = n + 98. Is b(y) a composite number?
True
Let l = -61581 + 112568. Is l prime?
False
Let o(x) = -x + 1. Let i be o(7). Let j(b) = -b - 1. Let g(y) = 12*y + 23. Let w(n) = i*j(n) + g(n). Is w(17) a composite number?
True
Suppose -72*i = -73*i - 6. Is (95409/27 + -4)*i/(-2) composite?
False
Suppose 4*m - 743 = -3019. Let z be m + (2/2 - 0). Is ((-1)/(-3))/((-4)/(-36)) - z prime?
True
Let c(z) = -58*z**2 - 19*z + 20. Let m(s) = -29*s**2 - 10*s + 10. Let h(u) = 2*c(u) - 5*m(u). Let i be h(-11). Suppose 18*r = 11*r + i. Is r prime?
False
Let z = -53453 - -74842. Is z a composite number?
True
Let d(v) = v - 7. Let j be d(9). Suppose 2*f = -j*f - 16, 4*f + 13 = -r. Is 24993/3*r*(-2)/(-18) prime?
True
Suppose 160*d = 155*d + 10. Suppose -3*n + 12415 = d*n. Is n a composite number?
True
Let f(p) = 316*p**2 + 5*p + 122. Is f(5) prime?
False
Let k = -7138 - -10863. Let t = k + 3080. Is t a composite number?
True
Suppose 7653 = s - o, -3*s - 4*o = -s - 15288. Suppose -s - 7522 = -4*j. Is j a composite number?
False
Let o(s) = s**3 + 26*s**2 - 19*s + 123. Let c(d) = d**3 + 25*d**2 - 19*d + 125. Let q(r) = -3*c(r) + 4*o(r). Is q(-24) composite?
True
Let b(i) be the second derivative of i**6/360 + i**5/120 + 47*i**4/24 + i**3/6 + 10*i. Let g(h) be the second derivative of b(h). Is g(20) composite?
False
Let u(o) = 1601*o**3 + 7*o**2 - o + 8. Let y(v) = 3204*v**3 + 13*v**2 - v + 14. Let s(a) = 5*u(a) - 3*y(a). Is s(-2) a composite number?
True
Let m(z) = z**3 - 42*z**2 + z - 37. Let p be m(42). Let a(n) be the second derivative of 4*n**5/5 - 5*n**4/12 - n**3/6 - 3*n**2/2 - n. Is a(p) a prime number?
True
Suppose -12972 = 4*h + p, -972 + 7452 = -2*h - 2*p. Is (-496)/(-310) + h/(-10) a composite number?
True
Suppose t - 6 = 4*t, 3*i - 5*t = 52. Is ((-818)/(-4) + 2)/(7/i) composite?
True
Suppose -o + q = -8625, -6*q + 20 = -2*q. Let m = 17533 - o. Is m a composite number?
True
Let m = 38825 + -23254. Is m a composite number?
True
Let l(m) = m**2 + m - 1. Let r be l(-5). Suppose 2*g = 5*b - 1812, -4*b - 7*g + 9*g = -1450. Let t = r + b. Is t a prime number?
False
Let z(b) = -29*b**3 - 3*b**2 + 5*b + 9. Let c(w) = -w**3 + 1. Let g(n) = -2*c(n) + z(n). Let q(r) = -r**3 - 21*r**2 - 96*r - 93. Let p be q(-15). Is g(p) prime?
False
Let r be 6/(1 - 7) + 6422. Let t = r + 4914. Is t a composite number?
True
Suppose -25 = 5*h, 22*g - 19*g + 10 = -2*h. Suppose g = -t + 637 + 1792. Is t composite?
True
Let r = 538078 - -50269. Is r a prime number?
True
Let h(q) = q**3 + 29*q**2 + 48*q - 17. Let m be h(-26). Suppose -2*a = a. Suppose -4*z + a*z - m = -l, -4*l - 4*z = -3052. Is l a prime number?
False
Suppose 17*l - 245 = 24*l. Let j(f) = -80*f - 78. Is j(l) a prime number?
False
Let u(z) = 237*z + 61. Let k be (-4)/3*(81/2)/(-3). Is u(k) prime?
True
Let t(x) be the second derivative of 5/4*x**4 + 0 + 7/2*x**2 - 5*x + 5/6*x**3. Is t(-3) composite?
False
Let k(b) = 53096*b**2 - 326*b + 971. Is k(3) prime?
True
Let s = 4 - -58. Let x = s + 483. Suppose -3*c = -8*c + x. Is c composite?
False
Let y(a) = 7752*a - 773. Is y(5) a prime number?
True
Suppose -w = -19*w + 3*w + 4403745. Is w a prime number?
False
Suppose -109*j = -106*j - 2838. Let n = -549 + j. Is n composite?
False
Suppose 0*j + 3*j = 5046. Let v = 842 - 247. Let s = j - v. Is s composite?
False
Let c be (-54)/15*1140/9 - -4. Let u = 3298 + c. Suppose 8*z - u - 1146 = 0. Is z composite?
False
Suppose -3*l = 3*c, 5*l + 5*c = 2*l - 8. Is 30666/((-42)/(-7)) - l a composite number?
False
Let s(n) = -n**2 - 27*n - 23. Let b be s(-26). Let f be (325/(-10) - b)*-80. Let o = f + -1183. Is o a prime number?
True
Let z(u) = 817*u**3 + 4*u**2 + 5*u + 23. Let c be z(6). Suppose -c = 3*l - 44*l. Is l prime?
False
Let b = 10286 + -6627. Is b composite?
False
Let g(h) = -27*h - 35. Suppose 0 = -p - 3*i + 21, p = -3*p - 5*i + 105. Suppose x + p = -4*w - 0*x, -x = -2. Is g(w) a prime number?
True
Suppose z = -1568 + 202. Let k = 3975 + z. Is k a prime number?
True
Suppose 11 = 3*r + j, 3*r = 14*j - 10*j + 16. Suppose 3*d - 3*z - 22944 = 0, -2*d + 7*z + 15297 = r*z. Is d prime?
False
Suppose 0 = -3*l + 5 - 2. Let o be (l - 27/21)/((-1)/14). Suppose 0 = -0*b + o*b - 12620. Is b prime?
False
Suppose 2*n + 5*c = 21877, -2*n - 7791 = -4*c - 29677. Let g = n + -7450. Is g prime?
True
Let t(n) = -32*n**2 - 13*n + 11. Let s(p) = p. Let m(i) = -2*s(i) - t(i). Is m(-8) prime?
True
Let t = -146815 - -220116. Is t prime?
False
Let o(v) = 1652*v**3 + 23*v**2 - 122*v + 14. Is o(7) composite?
True
Is 10/((114/(-112083))/(-19)) a prime number?
False
Let d(l) = -l**2 + 6*l + 45706. Is d(0) a composite number?
True
Suppose 0 = 4*v + 8 + 8, 5*v + 20 = -2*z. Suppose -5*b + 4 + 11 = z. Suppose k = -2*s + 43, -b*s + 78 = 2*k - s. Is k prime?
False
Is ((-3 + 2)/1)/((-87)/34085643) prime?
True
Let h be 2/(-6) - (-180078)/18. Suppose x = d + h, -4*x - 5*d - 9992 = -5*x. Is x composite?
False
Let r be 0*(-3)/(-24) + (-20)/2. Let w(f) = -1286*f + 187. Is w(r) prime?
False
Let w(l) = 5627*l. Let a be w(1). Let k = 8028 - 11293. Let m = k + a. Is m prime?
False
Let s = 960276 - 537583. Is s a prime number?
False
Let b(y) = 14*y**2 - 144*y - 507. Is b(101) a prime number?
True
Suppose 334*y - 336*y = -3*l - 646399, -2*l = 5*y - 1616007. Is y prime?
True
Suppose 12*m - 762406 - 330542 = 0. Is m composite?
False
Let p = 78 + -75. Suppose p*b - 10473 = j, -3607 + 10589 = 2*b - 4*j. Is b a composite number?
False
Suppose 6*f = -88*f + 14291186 - 2593168. Is f a composite number?
False
Let q = -5529 - 505. Let j = 2017 - q. Is j a composite number?
True
Let p(f) = -f**3 + 8*f**2 + 12*f - 17. Let q be p(9). Let w be (-8)/((-3078)/771 - -4). Is ((-5)/q)/(2/w) prime?
True
Let u be (3/(-4))/((-2)