posite?
True
Let t = 48 + -36. Is t/(-6) - 25*-5 prime?
False
Let p(d) = -2*d**2 - 127*d + 89. Is p(-38) a composite number?
False
Let t(w) = 3*w**2 - 23*w + 23. Let j be t(18). Let h = -162 + j. Is h prime?
True
Suppose 4*n - 12060 - 7928 = 0. Is n composite?
True
Suppose 0 = -6*z + 52 + 62. Let h = 1458 + z. Is h prime?
False
Suppose 23*h + 45351 - 242300 = 0. Is h a prime number?
True
Suppose 4*v - 102 = -22. Suppose 0 = -2*i - v + 118. Is i a prime number?
False
Suppose 3*g + 487 = 2*b, 4*b - 697 - 287 = -4*g. Suppose 2*u - 7*u + t = b, t = -4*u - 205. Let x = u - -237. Is x composite?
True
Suppose 4*f + 4*m = 348 + 16, -5*f + 443 = 2*m. Is (121829/f)/((-2)/(-6)) a composite number?
False
Suppose -16*c + 5*c = -2211. Is c a composite number?
True
Let m = 1 - -2. Suppose 15 + 11 = 4*k - s, 0 = m*k + 4*s - 29. Is k prime?
True
Let d(v) = 81*v - 9. Let w(p) = 41*p - 5. Let o(m) = 6*d(m) - 11*w(m). Let j be o(3). Suppose 0 = 2*u - 4*u + j. Is u a prime number?
True
Suppose 0 = -4*h + 7294 + 2454. Is h a composite number?
False
Is -1*(-14494)/8*(126 + -122) a composite number?
False
Let o = -114 - 35. Let k = o + 306. Let u = 231 - k. Is u prime?
False
Let m(r) = -r + 1. Let h(c) = -182*c + 91. Let y(t) = -h(t) + 78*m(t). Is y(4) prime?
False
Suppose 0 = 14*x - 12*x - 638. Let j = x + -162. Is j a prime number?
True
Let h(i) = 27*i + 1. Let f(o) = -o**3 - 7*o**2 + 14. Let t be f(-7). Is h(t) a prime number?
True
Let q = -1 - -3. Let z(o) = -o**2 + 4*o + 1. Let t be z(q). Suppose 82 = -4*h - y + 502, -t*y - 20 = 0. Is h composite?
True
Suppose 5*o - 2 = 3, 0 = 4*u - 3*o - 3837. Suppose 4*x - 2*t = t + 3835, 0 = x - t - u. Is x prime?
False
Let d = -242 + 355. Suppose 112*a = d*a - 2153. Is a prime?
True
Let j(h) = -12*h**2 - 2*h - 10. Let a(o) = -1. Let s(g) = 5*a(g) - j(g). Suppose -v + 6*v + 26 = c, 4*v - c = -21. Is s(v) a prime number?
False
Let o(r) be the second derivative of 1/4*r**4 - 7/6*r**3 - 5*r + 0 - 1/2*r**2. Is o(-8) composite?
True
Suppose 3*x - 26520 = -3033. Is x a composite number?
False
Let b = -12 - -24. Is 95/(-20)*b/(1 + -2) a prime number?
False
Let v(n) = 239*n - 24. Is v(2) prime?
False
Let p be 12/(-15)*10/4. Is (-789)/(-6) - (15/(-10) - p) a prime number?
True
Suppose -2 = m - 6. Suppose p - 3*p + 1512 = m*f, 5*f - 3*p = 1901. Is f composite?
False
Let t(f) = 17 + 5*f + 49*f - 22*f. Is t(6) a prime number?
False
Suppose -4*j + 20 = 0, -3*a - 2*a + 3*j - 3775 = 0. Is 7/21 - a/3 a prime number?
True
Let t = -170 + 163. Let l(s) = 87*s**2 - 6*s + 22. Is l(t) a prime number?
True
Suppose 2*b + c = 1678, -b - b = 2*c - 1680. Suppose -3730 = -8*f + b. Is f a composite number?
False
Let l be (-1341)/(-18) - (-6)/4. Suppose 24*u - 28*u = -l. Is u a composite number?
False
Let l(w) = -w + 5 + 5*w + 5*w**2 - 4*w - 4*w. Let f be l(5). Suppose 40 = 4*r - 2*m - 50, -f = -5*r + 5*m. Is r a composite number?
False
Suppose 18*j - 4914378 = -36*j. Is j a composite number?
True
Suppose 2*x - 21 = 19. Suppose 4*l + x = 0, -a + 63 = 3*l - 106. Is (-4)/12 - a/(-12) composite?
True
Suppose n + 5*t - 72 = 0, -2*n = 2*t - t - 135. Is n prime?
True
Suppose -3*t + 8 = 4*b + t, 3*t - 18 = b. Let w(k) = -2*k**3 + 3*k - 3. Let n be w(b). Suppose s + 2*s = n. Is s composite?
True
Let s be (-2)/(-7) + 4/(-14). Suppose 2*t - 264 - 188 = s. Is t composite?
True
Let d(c) = c + 13. Let b be d(-5). Suppose -b*u - 9*u + 28169 = 0. Is u a prime number?
True
Let j = -15 + 18. Suppose -4*c + 2232 = -j*q - 103, 3*c = -4*q + 1745. Is c a composite number?
True
Let j(z) = -140*z**2 - 3*z + 1. Let x be j(2). Let s(t) = -32*t - 12. Let y be s(6). Let d = y - x. Is d composite?
True
Suppose h = 5*h. Let x(c) = c**3 - c**2 + c - 23. Let m be x(h). Is (m/(-2))/(4/24) a composite number?
True
Let g = -2312 + 3373. Is g prime?
True
Suppose 4*x - 2*f = 20, 2*f + 11 = 2*x + 1. Suppose x*q + p = 2863, -8*q + 4*p = -3*q - 2873. Suppose 14*r = 11*r + q. Is r prime?
True
Let d(l) = 5*l**3 + 3*l**2 - l - 3. Let p(q) = 6*q**3 + 4*q**2 - 2*q - 4. Let b(k) = -5*d(k) + 4*p(k). Is b(-4) a composite number?
True
Let c(v) = 12*v**3 + 2*v**2 - 4*v + 3. Let d be c(1). Is -1 + 63876/39 + 2/d composite?
False
Let n = -9 + 11. Suppose 10 = n*h + 2. Suppose h*g = 154 + 490. Is g prime?
False
Let b(t) = -t**3 - 6*t**2 + 2*t - 1. Suppose -3*d = 1 + 53. Let i be (-12)/d*30/(-2). Is b(i) composite?
False
Let v = -177 + 1815. Let r = v - 901. Is r a composite number?
True
Let i = -3032 + 12575. Is i a composite number?
True
Let a(o) = -o**3 - 4*o**2 - o + 1. Let h be a(-4). Suppose -10*i + 795 = -h*i. Suppose -3*l - f + i = 0, -3*l + 4*l + 4*f = 53. Is l a prime number?
True
Suppose -5*f + 4 = -f. Let b be (-14 - 615)/(f + 0). Let h = -216 - b. Is h a composite number?
True
Let i be (1/2)/((-1)/(-6)). Suppose -2*g + 696 = i*d, -5*d - 8 = -d. Suppose 3*b = 2238 + g. Is b composite?
False
Suppose -19*j + 14*j - 280 = 0. Let q = 3 - j. Is q a composite number?
False
Let m be ((-2)/(-6))/((-2)/(-72)). Is 128 + -1 + (m - 8) prime?
True
Let r = -3949 + 14886. Is r a composite number?
False
Let u be (1 + 15/(-10))*-6. Suppose g - u*c = 358, -c = 4*g - 2*g - 751. Is g a composite number?
False
Suppose -z = -54*b + 58*b - 16802, 0 = -3*b - 4*z + 12595. Is b a prime number?
True
Suppose -2*j = s + 6, 3*j - j = -5*s + 10. Let t(h) = -5*h**3 + 5*h**2 - 8*h - 3. Is t(j) composite?
False
Suppose -10*r = -40*r + 323130. Is r prime?
True
Suppose 0 = -0*c + c + b - 1, -4*c + 22 = -5*b. Suppose c*q - 2*q - 55 = 0. Is q prime?
False
Suppose q - 322836 = -5*k, -268267 = -3*k + 5*q - 74571. Is k a composite number?
False
Let q(l) = -3*l + 39*l**3 + 9*l**2 + 2 + 52*l**3 - 8*l**2. Let z be 2 - (1 + 0/4). Is q(z) prime?
False
Is (1596 + 1)*(-8 + 19 + -10) composite?
False
Suppose 6*f + 358 = 4876. Is f a prime number?
False
Let b = -31 + 1. Is (-2)/10 - 11196/b composite?
False
Let f be (9/6)/(27/36). Let l be (-4)/(f - 1) - -165. Suppose 5*u + l = 496. Is u prime?
True
Suppose -9*o + 11*o + 244 = 0. Suppose 2*r + 0*r + 86 = 0. Let c = r - o. Is c a composite number?
False
Suppose -3*r + 34 + 5 = 0. Let z(v) = -v + 16. Let m be z(r). Suppose -44 = -m*t - t. Is t a prime number?
True
Suppose -197*y - 41702 = -2*s - 201*y, -4*y = -2*s + 41742. Is s prime?
False
Suppose -32*a + 31*a + 485 = 0. Suppose -14*d = -15*d + a. Is d prime?
False
Let j = 2782 + -1483. Is j a prime number?
False
Suppose -4*j = 0, 3*h - 2*j = 2*j + 2085. Let z = h - 193. Is z composite?
True
Let j(i) = -2*i**2 + i. Let a be j(-1). Let x(g) = -19*g + 2. Let w be x(a). Suppose 2*r = 3*r - w. Is r a prime number?
True
Let c = 3 + 2. Suppose -5*n - 3 = 3*b, 2*b - c*b = n + 3. Suppose -2*w + n*w + 322 = 0. Is w a prime number?
False
Let l(x) = 4*x + 2. Let h be l(-1). Let u be h/(3/(6/(-4))). Is 122*u - (5 + -4) prime?
False
Let d be 1 + (-1)/5 - 392/(-35). Is (-2442)/3*(-6)/d prime?
False
Suppose -4*s - 8 = -36. Let j be -7 + (s - 4) - -122. Suppose 0 = 2*q - j - 136. Is q prime?
True
Suppose 2*t + 5*h = 26, 3*h - 7*h + 13 = -t. Suppose -4*a = -t*a. Suppose a = -0*k + k - 249. Is k a composite number?
True
Let s(o) = -10*o**3 - 4*o**2 - 7*o - 4. Let g be s(-4). Suppose -24131 = 82*r - 23*r. Let x = g + r. Is x prime?
True
Let w(x) = -52*x**2 - 6*x - 4. Suppose g + a = -0*a + 10, 20 = 3*g - 2*a. Let l be w(g). Is l/(-16) - 2/8 prime?
True
Suppose -32*n + 145812 = -20*n. Is n composite?
True
Let d(z) = -z**3 - 4*z**2 + 7*z + 11. Let t be d(-5). Is (-22530)/(-18) - (t + 7/(-3)) composite?
True
Let p be 342/(-45) - (-3)/5. Let o be -1*1/(-1)*-40. Let r = p - o. Is r a composite number?
True
Let f = 5044 - 2090. Suppose -2*n - 2804 = -4*r + 3104, 2*r + n = f. Is r a composite number?
True
Suppose 6583 = 2*k - 3*j + 58, 5*k = -4*j + 16301. Is k a composite number?
True
Let o be (-504)/16 + (-1)/(-2). Let i be o/(-11) + (-2)/(-11). Suppose -i*h = -2*t - 561, -2*t - 3*t = h - 170. Is h prime?
False
Suppose -5*g - 18 = -2*z + z, 2*z - 2*g - 12 = 0. Suppose z*d = -d + 836. Suppose -31 = 2*n - d. Is n a composite number?
False
Suppose -x - 2*x - 9 = 0. Let w be (-3)/2*(-4)/3. Is (x - 219/(-6))*w a composite number?
False
Suppose 3*g + 35 = 5*p, 0*g = -p + 3*g + 19. Suppose 2*c - 391 = p*b + 247, 319 = c + 4*b. Is c a composite number?
True
Let q = -16 + 9