?
True
Let l(n) = 38*n + 65. Let s be l(22). Let a = s + -570. Is a composite?
False
Suppose 4 = -d + 6. Let y(t) = -6*t**2 + 10*t**2 + 4*t + t**3 - 21 + 7*t**d + 12*t**2. Is y(-8) a prime number?
True
Suppose 10*v + 67194 = 775204. Is v a composite number?
True
Let x = 327720 - 226669. Is x composite?
False
Let s be 2*(4 + -5) + -2. Is 13122375/805 - (-3)/(138/s) prime?
True
Let s(y) = 113*y**2 + 25*y - 175. Is s(43) prime?
True
Is 924/420 + 1507234/5 a composite number?
True
Let s(k) = 3746*k**2 + 36*k + 173. Is s(-5) prime?
False
Let q(v) = -956*v - 2683. Is q(-79) composite?
True
Let h(x) be the first derivative of 1243*x**2/2 - 32*x + 159. Is h(18) composite?
True
Let f(t) = 74*t - 71. Suppose -4*w = w - 5*k - 195, -3*w = 5*k - 109. Is f(w) prime?
True
Suppose -189*s = -193*s. Let z be 4/(-26) + 5412/26. Suppose s = -c + z + 327. Is c a prime number?
False
Suppose 658834 = 4*v - 5*c, 0 = c - 59 + 65. Is v a composite number?
False
Let s = -7963 - -17216. Is s composite?
True
Suppose 5*r = -c + 387791, -c + r + 323107 = -64684. Is c a composite number?
False
Suppose 60 = 5*h - 5*u, -h + 26 = h - u. Suppose -2*b + c + h = 0, -c + 42 = 3*b + 11. Is (1*587)/(b + -8) a prime number?
True
Suppose -3 = -3*l, 2*f - 5082 + 262 = 2*l. Is f a composite number?
False
Let c(t) = t + 6. Let g be c(-2). Suppose -u + 24 = g*r, 4*r - r + u = 19. Suppose -8*z + 3*z + 5 = 0, 2*l - r*z - 2813 = 0. Is l prime?
True
Suppose -4*l + 274856 = 4*g, -39*l = -5*g - 43*l + 343567. Is g a composite number?
False
Let k(u) = -52*u**2 - 7*u - 11. Let z be k(-4). Let n = 174 + z. Let w = n - -1120. Is w prime?
True
Let b = -167 + 177. Suppose -b*m + 12*m - 118 = 0. Is m a prime number?
True
Let j = 65 + -66. Let z be -750 + 11 - (j - -4). Let d = z - -1715. Is d prime?
False
Let v(p) = -7*p - 196 - 255 + 543. Suppose 4*k - k = -3*x - 66, 5*x = -2*k - 95. Is v(x) a composite number?
False
Let i(x) be the first derivative of 1344*x**2 - 47*x + 71. Is i(6) composite?
True
Suppose -2*d + 12 = 4*d. Let x = 175 - d. Let u = 364 - x. Is u a prime number?
True
Suppose 5*i - 316075 = 5*a, 0 = 5*i - 4*i - 2*a - 63219. Is i a composite number?
False
Let v(o) = 354*o**2 + 64*o - 623. Is v(13) composite?
True
Let v be 4/(-2 + 56/20). Suppose -v*b = -p + 5094, 2*p + 0*b - b - 10161 = 0. Is p composite?
True
Suppose -969*d = -993*d + 1945992. Is d prime?
True
Let k(f) be the first derivative of 7*f - 16 + 7/3*f**3 - 3*f**2. Is k(6) a prime number?
True
Let h(w) = 2*w**3 - 8*w**2 + 22*w - 10. Let n be h(11). Suppose 0 = 4*q + 2*t - n, 2*q + 2406 = 7*q + t. Is q prime?
False
Let c(t) = -t**2 - 10*t - 1. Let q be c(-9). Suppose 0 = 3*j + q + 4. Is ((-395)/(-20) - -1)*j/(-1) prime?
True
Suppose -157348 = -5*c - v, -4*c + 78301 = -5*v - 47560. Is c a prime number?
True
Suppose -2*f - 3*j = 177, -4*f - 408 = f - 4*j. Is 0 + 1762 + (-14)/(f/(-30)) composite?
True
Suppose 3*c + 10 = b, -8*b = -12*b - c + 14. Let z(s) = -s**3 + 7*s**2 + 10*s - 9. Let t be z(6). Suppose m + b*v = 279, m - v - 386 + t = 0. Is m prime?
False
Let y = 650 - 654. Is (-139628)/y - (2 + -4) composite?
True
Is (16/6)/(496/52918302) composite?
False
Let s be ((-20)/1 + -4)/((-6)/4). Suppose -28*f + s*f = -34212. Is f prime?
True
Suppose 4*t + t - 3*u = -4072, -5*t - u - 4076 = 0. Suppose 588*p - 50568 = 546*p. Let o = p + t. Is o composite?
False
Let t(h) = -845*h - 8116. Is t(-27) composite?
False
Let s(j) = j**3 + 10*j**2 + 23*j - 1. Let n be s(-6). Suppose -8*h + 13523 = n*a - 7*h, -5*h = 10. Is a a prime number?
False
Suppose -4*b + 3*w + 1227 = 0, -3*w = 2*b - 30 - 597. Suppose 246 = 2*i + 2*t, 5*i - 336 = t + b. Suppose -35 + i = c. Is c composite?
True
Let i(r) = -562*r - 79. Let y(a) = -a - 2. Let j(c) = i(c) - 6*y(c). Is j(-20) a prime number?
False
Suppose 4*a + 20246 = 5*d - 5655, 4*d - 3*a = 20720. Let r = d - 1806. Is r a composite number?
False
Suppose -4168 + 1004 = -7*h. Suppose h + 928 = 10*b. Suppose -2*o - b = -544. Is o a prime number?
False
Let j = 203953 + -12740. Is j composite?
True
Let n(r) = -5*r**3 - 2*r**2 + 3*r - 1. Let b(s) = 4*s**3 + 2*s**2 - 3*s. Let p(u) = -3*b(u) - 2*n(u). Let m be p(-2). Suppose m*g - 610 = 826. Is g prime?
True
Suppose -9*y = -8*y - 3. Suppose k - 1299 = -4*g, -y*k + 1314 = g - 2627. Suppose 3*d = 5*u - 1850 - 342, k = 3*u - 2*d. Is u composite?
False
Is ((300925/15)/5)/(28/84) composite?
False
Let m = 101 + -57. Let b(g) = 3*g**2 - 32*g + 285. Is b(m) a prime number?
False
Let w = -307587 + 545564. Is w a composite number?
False
Suppose -1323*n + 1324*n + 5*v - 188121 = 0, -n = -5*v - 188141. Is n composite?
True
Let w(f) = -2*f**3 + 17*f**2 - 11*f - 7. Let t be w(8). Let v = t - -34. Suppose -v*y = -5*y + 446. Is y prime?
True
Let v(k) = k**3 + 75*k**2 + 30*k + 865. Is v(-41) composite?
True
Let d(x) = 18991*x - 13. Let g be d(1). Suppose -g = -5*b - b. Is b a prime number?
True
Suppose -2*p + 110 = y, -3*p = -0 - 3. Let d = y - 103. Is (2307 + 2)/(5/d) composite?
False
Suppose 35*k = 40*k - 17985. Let l = k + -6656. Let z = l + 8682. Is z composite?
False
Let f = 16585 + -4548. Is f prime?
True
Let t(c) be the first derivative of 2*c**4 + 3*c**2/2 - 2*c + 13. Suppose u - 3*x - 3 = -0, 3*u + 3*x = 9. Is t(u) a composite number?
False
Suppose 0 = 23*p + 5*p - 112. Let z(f) = 1460*f**2 - 10*f - 9. Is z(p) prime?
True
Let q(s) = 75*s + 16. Let p be 4/9*(-18)/(-4). Suppose p*l + 2*x + 0 - 4 = 0, 2*x + 38 = 4*l. Is q(l) composite?
False
Let j(o) = -o**2 + 8*o + 6. Let i be j(8). Suppose -200*z - 11145 = -205*z. Suppose -i*l = -3*l - z. Is l a prime number?
True
Suppose -2*j = -2*o - 6694, -3*o = 4*j - 676 - 12698. Is 11/(5/j*3) composite?
True
Suppose -3*i - 4*r + 7*r = 51, -4*i - r = 73. Is (-120)/144 - 35403/i prime?
False
Suppose 7*r = r + 32604. Let g = -2985 + r. Is g prime?
False
Let c = 179 + -170. Suppose -4*q - c*m = -6*m - 6640, 5*q - 3*m - 8273 = 0. Is q composite?
False
Let m be (-17475)/(-20)*-1*(-16 - 0). Let y = 29749 + m. Is y a prime number?
False
Let b(y) = y**3 + y**2 + y - 2. Let g(u) = -432*u**3 - u**2 - u + 21. Let x(o) = 4*b(o) + g(o). Is x(-3) prime?
True
Suppose i = -2*u + 53790 + 314703, 3*i = 5*u - 921260. Is u a prime number?
False
Let r be (-2)/(24/237 - 0)*116. Let i = -490 - r. Is i a composite number?
False
Suppose -4*l + 44 = 5*r, -5*r = -2*l + 16 + 6. Suppose -7*i - 4108 = -l*i. Is i composite?
True
Let g(l) be the first derivative of -l**3/3 - 2*l**2 + 4. Let d be g(-3). Suppose -d*z = 4*z - 1757. Is z composite?
False
Let f(i) = i**3 + 20*i**2 + 2*i + 38. Let s be f(-20). Let n be (s - -3)*2/((-2)/(-3)). Suppose -n*h + a + a + 921 = 0, 0 = 5*a. Is h a prime number?
True
Let k(g) = -34*g**3 + 8*g**2 + g + 5. Let d be k(-3). Let o = d + 125. Is o a composite number?
False
Let z = -169380 - -244223. Is z a prime number?
True
Let r be 3819 + (2 + -3)*-1. Let x = -559 - -2469. Suppose k = 3*k + 2*f - x, 0 = -4*k + f + r. Is k composite?
True
Suppose -2*d = -5*b + 3*d + 130, 142 = 5*b - d. Let w = -42 - -104. Let l = w + b. Is l prime?
False
Let f be (-4)/14 - (-4329)/(-63). Let i = 74 - f. Let h = i + -48. Is h a composite number?
True
Let k(z) = -5*z. Suppose -3*d - 3 + 9 = 0. Suppose -4*x - d*x = 12. Is k(x) prime?
False
Let c(j) = -2431*j**3 - 46*j - 143. Is c(-6) prime?
False
Suppose 5*u - 234247 = -3*r, 798*r + 140571 = 3*u + 796*r. Is u a composite number?
False
Let g = -7283 - -12360. Is g composite?
False
Let z = -218333 - -591126. Is z composite?
True
Let v = -353 - -343. Is 1 + (-12)/20 + (-586)/v a prime number?
True
Suppose 223*y - 225*y - 4*i + 2651238 = 0, -3*i - 12 = 0. Is y a composite number?
False
Let f(n) be the first derivative of 10*n**3/3 - 9*n**2 + 17*n + 14. Let x be f(13). Suppose -2*i - x = -5*i. Is i composite?
False
Suppose -591994 = 2*c - 6*c - 2*y, 0 = -5*c - 3*y + 739994. Is c a composite number?
False
Let b = -104250 + 457397. Is b a prime number?
True
Suppose 13*c - 8*c - 68185 = 5*y, y + 54530 = 4*c. Is c prime?
False
Suppose -f + 2 = 0, 458*p = 459*p - 3*f - 138683. Is p composite?
True
Let o(t) = t**3 + 4*t**2 - 15*t - 16. Let b be o(-6). Suppose -3*c - 15596 = -b*x, -2*x = 2*c - c - 15604. Is x prime?
False
Suppose -239467 = -21*m + 107289 - 110023. Is m a composite number?
False
Suppose -4*m - 126 = 