Is p a prime number?
True
Is (-88346 + (3 - 8))/((-36)/36) a composite number?
True
Suppose 5*z = 3650 + 18060. Let d = z + -2499. Is d composite?
True
Is 5120878/14 + 0 + -10 composite?
True
Suppose -2*u = -2 - 14. Suppose 2 = -f + u. Suppose -f*y + 517 = 127. Is y prime?
False
Is (-12)/(-78) - 288414654/(-286) a composite number?
True
Suppose -83551 = -19*h + 94726. Is h prime?
False
Is (-12)/(60/35) - -24158 composite?
False
Let g(o) = 234*o**2 - 4*o + 3469. Is g(50) a composite number?
True
Is (-1)/7*(-800125 + 18) a composite number?
True
Let r = 588521 - 413532. Is r composite?
False
Let j be (58*(3 - 2))/(0 - -2). Let v = j - 27. Suppose -251 - 183 = -v*i. Is i prime?
False
Suppose -17*d - 419270 = -2*y - 19*d, 1048179 = 5*y + 4*d. Is y composite?
False
Suppose 3*f = 2*z + 7, 2*f + 2*z - 7 - 1 = 0. Suppose 0 = -3*m - f*m + 27654. Is m composite?
True
Let x(i) = -6*i**2 - i - 24. Let t be x(10). Let k be (-2 + -3)*t/5*2. Suppose -5*o + 3*c = -0*c - 3160, 2*o - k = 2*c. Is o a prime number?
False
Suppose -95828 = -2*o + 3*d, -4*o + 50706 + 140980 = -d. Is o a composite number?
True
Suppose 2*n + 4*w = 2929406, -3*n + 5*w = 13*n - 23434989. Is n prime?
True
Suppose 2*l = -k + 2*k + 1, -17 = -4*l - k. Let j(r) = r**l + 5*r - 7*r + 14*r**2 + 20 - 2*r**3 - 18*r**2. Is j(-9) composite?
False
Suppose 1126 = 4*d - 2*p - 2222, 827 = d + 2*p. Let c = 1376 - d. Is c composite?
False
Let d be 0*(18/(-6))/3. Suppose d = -4*w + 5*a + 5904, 3*w + a - 4425 = 4*a. Is w a composite number?
False
Suppose -4*o + 0*o = 4*f + 4, 2*f - o = -2. Let c be (-220)/(-3 + f) + -4 + 1. Suppose 0 = l - c - 75. Is l a prime number?
True
Suppose 0 = 87*a - 118631 - 198310. Is a composite?
False
Suppose j = -5*h + 46331, -46*h = -2*j - 50*h + 92686. Is j a composite number?
False
Let b = -113 + 92. Let o(u) = u**3 + 22*u**2 + 22*u + 21. Let v be o(b). Is (-6)/(6 - v) - 28/(-2) a prime number?
True
Suppose -29*m + 2721362 = -23654573. Is m composite?
True
Suppose 0 = -2*u + 4*u - 6. Suppose -u*f - 3 + 204 = -5*v, -4*v + 12 = 0. Suppose -3*t = -5*g - f, -8 + 43 = 2*t + g. Is t a composite number?
False
Is ((360/(-32) - 5) + 6/(-8))*-5623 a composite number?
True
Let w(x) = -4*x + 0*x + 2 + 5*x + 1. Let f be w(-3). Suppose f = -j - j + 166. Is j a composite number?
False
Let a = -128 - -132. Let t be 1 + -5 + a/8*-382. Is t*(3 - 4) - 4 a composite number?
False
Let o(c) = -48*c + 50. Let v be o(-10). Let r be (1 - 1)*1 + v. Suppose -3*f - 2*f = 4*q - r, -q = 0. Is f a prime number?
False
Is (-763767)/(-12) - 17*(-11)/(-748) a prime number?
True
Suppose 7*s - 16*s + 22329 = 0. Let m = s - 1603. Is m a composite number?
True
Let h(w) = 104*w**2 - 21*w - 14. Let f(n) = -52*n**2 + 11*n + 8. Let s be (-2 - -3)/((-5)/(-30)). Let i(g) = s*h(g) + 11*f(g). Is i(1) composite?
True
Suppose 0 = -8*k + 4*k - 3*d - 4, 3*d + 22 = 5*k. Suppose -3*t = -k*t - 3*b - 176, -2*b - 493 = -3*t. Is t prime?
False
Let y be (-6 - (-50)/6) + 2/3. Suppose g - y*g = 3*g. Suppose g = 2*x - 7*x + 14485. Is x a composite number?
False
Suppose 0 = 4*z + 106 + 250. Let p = 88 + z. Is p + (-240)/((40/12)/(-5)) a composite number?
False
Let u = -148272 - -209713. Is u a composite number?
False
Suppose 3*p - 105 = -a, 405 = 4*a - 5*p + 2*p. Suppose -a*o + 50067 = -93*o. Is o a composite number?
False
Let n = 124 - 108. Let p(s) = 2*s**3 - 8*s**2 - 64*s - 27. Is p(n) a prime number?
False
Let v(q) = 228*q**3 - 2*q**2 + 31*q + 47. Is v(12) a prime number?
False
Let x(n) = -27*n**2 + 19*n + 19. Let m be x(5). Let g = m + 7775. Is g prime?
False
Is (2/32)/((-25)/(-3283600)) prime?
True
Let x(p) be the second derivative of -113*p**3 - 5*p**2/2 + 4*p + 309. Let i be (-2 + 14/6)*-3. Is x(i) prime?
True
Let z(q) = -q**2 - 3*q + 21. Let x be z(-6). Suppose 4*f - 6 = x*m + 8, -3*f = -15. Suppose -5*u = -m*u - 609. Is u a prime number?
False
Let k be (-1 - -4)*1 + -1. Let b be k/14 - (-11268)/63. Let i = b - -15. Is i a composite number?
True
Suppose 452*s + 72268 = 466*s - 120246. Is s composite?
False
Let p = 12 - 10. Suppose -8*i = p + 22. Is (-71)/i - 10/15 a composite number?
False
Let a(n) = 17*n + 60. Let v be a(-16). Let b = v - -346. Is b a prime number?
False
Suppose -8*n - 16 = -4*n. Let j(p) = 6*p**2 + 6. Let y be j(n). Suppose -g - q + 51 = 0, -4*g + y = -q - 112. Is g a composite number?
False
Suppose 24738 = 7*q - 52318. Let i = q - 7325. Is i composite?
True
Suppose 110*b + 83355 = 113*b. Is b a prime number?
False
Suppose 2*s = -288 + 5412. Let f = s + 205. Is f composite?
False
Let q(f) = 58*f - 3. Let o(c) = 57*c - 4. Let h(l) = -5*o(l) + 4*q(l). Let v be h(12). Is 2/2*v/(-4) prime?
True
Let d = 1130438 - 349399. Is d prime?
False
Let t(x) = 3*x - 5*x + 2*x + 2*x - 24*x**2. Let d be t(-1). Is (-6494)/(-4) + 6 + d/4 a prime number?
False
Let k be 0*(0 + -1)/2. Let j be 2 + 1002 + (17 - 13). Suppose y + 675 = 2*f, -3*f + j = -k*f - 3*y. Is f a prime number?
False
Let h be (-2)/(-21) + 38120/168. Let i = 438 - h. Is i a prime number?
True
Let g = -10 - -13. Suppose k + k - 5 = -c, g*c - 6 = -3*k. Is (4 - k)*(-1 + 54) a prime number?
True
Suppose 98*c + 3*c = 299162. Is c a prime number?
False
Let t(q) = q**3 - 9*q**2 + 257*q - 2. Is t(21) composite?
False
Let y = 9846 - -57893. Is y composite?
True
Let a = 11608 - -17229. Is a composite?
False
Suppose 3*n = 19182 - 954. Suppose n = 2*x + c + 3*c, -12196 = -4*x + 3*c. Is x a composite number?
True
Suppose -5187230 - 5174518 = 11*m - 23*m. Is m a composite number?
False
Suppose 72*u + 3900 = 78*u. Is 13/(u/(-20)) - 61387/(-5) a composite number?
False
Let r(t) = 42*t**2 - 196*t + 69. Is r(-85) a prime number?
True
Let x(v) = -86*v**3 + 7*v**2 - 144*v - 1686. Is x(-11) prime?
True
Suppose -z = -3*r - 2*r - 19, -z - 3*r - 5 = 0. Suppose -36 = -z*x + 296. Is x a composite number?
False
Suppose 3*r + q + 7 = 3*q, 2*r - 4*q + 10 = 0. Let n be 2 - 1 - (-5 + (9 - -3)). Is n/(-4) + 23646/12 - r composite?
False
Suppose 7072 = b + 39654. Is (b/(-4))/(17/34) a prime number?
False
Let a(d) = 3*d - 48. Let t be a(16). Suppose 10268 = 4*n + 5*z - 20769, -2*n + 4*z + 15486 = t. Is n a prime number?
True
Let i be (0/7)/(0 - 1). Suppose 5*u - 4948 - 1827 = i. Let t = u - 886. Is t composite?
True
Let x(c) = c - 1. Let s(z) = -3*z - 7. Let p(i) = -s(i) - 4*x(i). Let u be p(7). Suppose 3*w - g - g - 1123 = 0, -16 = -u*g. Is w composite?
True
Is (-222 - 15)/(6/(-25814)) a composite number?
True
Let w be (-3 + (0 - -3))/3. Suppose 3*q = 3*s + 6351, w = -4*s + 4 + 16. Is q a prime number?
False
Let s be (854/5)/(9/180). Let f = 5199 - s. Is f composite?
False
Let c(a) = -29*a**3 + a**2 + 2*a - 2. Let j be c(1). Let x be 108/14 + j/(-98). Suppose 3*y + 6770 = x*y. Is y prime?
False
Let x(t) = 305*t**2 - t - 1. Let d = -12 + 15. Suppose -8*q + 5*q = -d. Is x(q) composite?
True
Suppose 75926 = -5*j + 6856. Let u be ((-35)/(-25))/7 + j/(-5). Suppose -l - u = -4*l. Is l composite?
True
Let g = 48064 + 15429. Is g composite?
False
Suppose 0 = -367*l + 377*l - 1839170. Is l composite?
False
Is (-26)/(-10)*122345 - 0 a prime number?
False
Let h(m) = -4*m**2 + 10886 - 10887 + 47*m**3 + 5*m**2. Suppose 5*i + 6*n + 5 = n, 4*i - n = 11. Is h(i) a composite number?
False
Let f be (0 + -5)*((-168)/35)/(-4). Let y(r) = 375*r + 24. Let b be y(f). Is 3/5 - b/15 a prime number?
True
Let i(l) = -14 - l + 14*l + 79*l**2 - 7*l. Is i(-5) a prime number?
True
Let z(y) = 50*y - 1. Let f be z(1). Suppose 0 = -3*j + f + 314. Let w = j + 40. Is w a prime number?
False
Suppose -3*p + 2*t + 8321 = 0, 0 = -527*p + 532*p - 3*t - 13870. Is p composite?
False
Let a be 0 - -5 - 2 - 2. Let d(u) be the first derivative of 1631*u**2/2 + 22. Is d(a) a prime number?
False
Suppose -17 = 6*u - 5*u. Let a = -16 - u. Is (787/a - (1 - 1))/1 a prime number?
True
Let w(y) = 81*y**2 - 41*y - 9. Let g = -268 - -261. Is w(g) a prime number?
False
Suppose 2*t + 1961 = -2*p + 3*p, 4*t = 5*p - 3907. Let x = -1806 - t. Let m = x - -1170. Is m a composite number?
False
Suppose -824 + 804 = 5*r, 0 = -5*q - r + 357631. Is q a prime number?
True
Suppose 0 = 14*d - 12*d - 3*c + 15, 5*d + 4*c = 20. Suppose -5*f + 10 = d, 7*g = 6*g - 3*f + 869. Is g composite?
False
Let k(l) = l**2 + l - 91. Let w be k(9). Is 2045 + (w/(-2) - 42/12) 