 ((-6)/4)/((-6)/x + 0) prime?
True
Suppose -115 - 23 = 3*o. Let n = -37 - o. Is (-1)/(3/n) + 422 composite?
False
Suppose 0 = -8*x + 17 + 7. Suppose -29032 = -x*o + 1763. Is o composite?
True
Let y = 818708 + -425907. Is y composite?
True
Let z be 2/4*(-2819 + -8 - -1). Let w = 6304 - z. Is w a composite number?
False
Let j(s) = -8*s**3 - 43*s**2 - 92*s + 37. Is j(-27) a composite number?
True
Suppose 0*d = 13*d + 9*d - 165374. Is d a composite number?
False
Let i(h) = 12546*h + 6. Let c be i(3). Let a = 18252 - c. Is (-2)/6 - a/18 a prime number?
False
Let a(v) = 7347*v - 1687. Is a(12) composite?
False
Let a(v) be the third derivative of v**4/8 - 3*v**3/2 - 20*v**2. Let w be a(-2). Is (347/3)/((-5)/w) prime?
True
Suppose 4*a + 8*k + 50353 = 5*k, 62939 = -5*a - 3*k. Let f = a - -19053. Is f prime?
False
Let c be 1732/16 + 2/(-8). Suppose -h + c = -1646. Suppose 9*v - h = 7*v. Is v composite?
False
Let j(h) = -351*h**3 + 14*h**2 + 153*h - 45. Is j(-7) composite?
False
Let y(z) = 24*z**2 + 2*z + 1. Is y(-24) prime?
False
Let g be -5 - ((-233)/2)/((-15)/(-2220)). Let f = g - 7114. Is f a composite number?
True
Let q = 21526 - -56553. Let t = q + -119845. Is t/(-66) - (-6)/33 prime?
False
Suppose -305*l + 287*l = -968634. Is l composite?
False
Suppose 5*v + 43 = 13. Let g(f) = -18*f**3 + 5*f**2 - 9*f - 13. Let c be g(v). Suppose -5*k + 1596 + c = 0. Is k prime?
False
Suppose 0 = -573*g + 578*g - 20, 0 = -5*k - 2*g + 806393. Is k prime?
False
Is (-2)/(-4)*(-1 - -1489386 - -9) a prime number?
False
Is 1*8/(-12)*(-141051)/2 composite?
False
Suppose -j + 2*j - r - 10 = 0, -5*j - 2*r = -64. Let l(v) = 248*v + 227. Is l(j) a composite number?
False
Suppose 14059335 = 27*x + 5*x + 25*x. Is x a composite number?
True
Let x(f) = -2*f**3 + 5*f**2 + 2*f + 2. Let r(k) = -1 + 23*k + 4*k**3 - 24*k + 0*k**3. Let c be r(-1). Is x(c) a composite number?
True
Suppose 3*q + u = 80, 5*q = 4*q - 4*u + 12. Let s be (q/(-12))/7*-3. Is (s - 2)*-2 + (-1380)/(-1) a prime number?
False
Let n be 5/4 + 22/((-1056)/(-36)). Suppose s = 2*v - 3529, -11*v + n*s - 7038 = -15*v. Is v a prime number?
False
Suppose 0 = 5*r + r - 24. Let y = -109 - -111. Suppose -244 = -l + r*v + 41, 0 = y*l - 2*v - 546. Is l a prime number?
True
Let w(z) = 1832*z + 3889. Is w(36) composite?
True
Is ((-2725292)/938)/(2/(-133)) a prime number?
False
Let d be (1 - (-2)/(-1))/((-2)/3324). Suppose -1662 = -3*w - 0*w - 5*k, -3*w + d = -3*k. Is w prime?
False
Let t be -1*(-4)/6*(-126738)/36. Let h be t/(-7) + 2 - 4/14. Is h/(((-3)/1)/(-3)) a prime number?
True
Let v be (-119)/(-833) + (12/14 - 1). Suppose v = 55*m - 49*m - 23406. Is m a prime number?
False
Let s(t) be the first derivative of 17*t**2 - 91*t - 20. Is s(36) a composite number?
True
Let b = 518413 + -121494. Is b a prime number?
True
Suppose -2*w + 96 = -20. Let f be (w/3)/(6/198). Let d = 249 + f. Is d a prime number?
True
Let v be (-3205 + 2)*(-24 + 19). Let b = 6276 + v. Is b a composite number?
False
Let x be (-168)/(-7) + (-1)/((-2)/4). Suppose x*b = 11*b + 33045. Is b composite?
False
Let n(o) = -83*o**3 + 4*o**2 - 6*o - 2. Let r be n(-3). Let p = -1550 + r. Suppose x = 4*b + p, -x - 4*b + 2213 = 2*x. Is x composite?
False
Let t be 914/14 + -2*2/14. Let d = 61 - t. Is (-1)/d + 1 + (-14044)/(-16) prime?
False
Let p = 14331 + 10045. Suppose 33534 = 10*n - p. Is n a prime number?
True
Let r(f) = 371*f**3 - 2*f**2 - 13*f + 25. Let z(g) = -g**3 + 11*g**2 + 4*g - 42. Let v be z(11). Is r(v) composite?
True
Suppose 0 = 5*v + 5*h - 2087 + 52, -v - 5*h = -411. Is 12739902/v + (-4)/58 a prime number?
True
Let z be (-4)/10 - 164592/20. Let d = 3467 + z. Is 2 + (-16)/10 - d/5 composite?
False
Let n = 90994 - 51947. Is n prime?
True
Let r = 207 + 1576. Is r a prime number?
True
Let u(s) = 242*s - 13. Let d be u(25). Let o = d - 3270. Is o prime?
True
Let d = -36105 - -61268. Is d a prime number?
True
Suppose i - 787412 = -4*z, -3*i - 156872 = -z + 39981. Is z a prime number?
True
Suppose 74*b + 40289 = 719242 + 198909. Is b composite?
False
Let l(s) = s**3 - 13*s**2 - 9*s + 24. Let r be l(14). Suppose -5*t + r = 74. Suppose 3*u + 233 = 2*i, u - 5 = -t*u. Is i prime?
False
Let u be 1*10977*(-4)/(-12). Suppose -2*i = f - 2618, 3*i = f + 1051 - u. Let x = f + -1491. Is x a composite number?
False
Let s(m) be the third derivative of m**6/120 - m**5/30 + 7*m**4/12 - 5*m**3 - 150*m**2 - 1. Is s(3) composite?
True
Let w(s) = 9509*s**3 - 4*s**2 + 4*s. Is w(1) composite?
True
Let b(p) = 2*p - 12. Let s be b(5). Let y be 10/4*(s - -4). Suppose 0*f = -y*f + 3175. Is f a prime number?
False
Is 29 + -21 - (-4 - -5 - 31660) a prime number?
True
Let a be (-18)/4*-1 - (-4)/8. Suppose -3*i - a*z = 2*i - 45, -5*z = 3*i - 33. Is (4 - i)/(1*(-3)/9) a prime number?
False
Suppose 161*k = 180*k - 1244443. Is k prime?
True
Let u be (2147/(-4))/(((-36)/16)/9). Suppose 10*f + 9*f - u = 0. Is f a composite number?
False
Let i = -90428 - -218475. Is i a composite number?
False
Let t = -45 - -52. Suppose 5 = -a + t. Suppose 0 = a*k - 456 - 610. Is k a prime number?
False
Let h(w) = 5*w - 3. Let s be h(1). Let a(p) = 5 - 2 + 35*p**3 - 6*p**s + 2*p - 5*p**3. Is a(4) a prime number?
False
Is (-4)/74 + (-2379)/481 - -523834 composite?
False
Suppose 17*r - 21*r = g + 5, 0 = -g - 5. Suppose 10*o - 16152 - 82818 = r. Is o prime?
False
Suppose -3*v + 0*a + 7 = 4*a, 29 = -3*v + 5*a. Is v + 0 + 476*4 a composite number?
False
Let m be (2 - (0/(-1) - -3))*-68. Let p = -58 + m. Is 12116/p - (-5 + (-196)/(-35)) composite?
True
Let f(b) be the second derivative of 5/12*b**4 + 5/6*b**3 - 4*b**2 + 2*b + 1/20*b**5 + 0. Is f(9) a prime number?
True
Let w(h) be the first derivative of -10 + 5/2*h**2 - 18*h. Is w(11) a composite number?
False
Let d = 49 + 359. Suppose 0 = -402*y + d*y - 3810. Is y prime?
False
Let k = 2521594 + -1738995. Is k prime?
False
Suppose -5*c + 522 = 4*g - g, 5*c + 870 = 5*g. Let r = 411 - g. Suppose -r = -7*s + 12370. Is s prime?
True
Suppose -2*y - 45068 = -2*d, -3*d + 7*y + 67606 = 2*y. Suppose 19*f = 108241 - d. Is f a prime number?
False
Let y = -69 + 75. Suppose -3*t - 14 = -4*h, 2*h + 4 = -t + y. Suppose -3*l = h*l - 4445. Is l composite?
True
Suppose -6*v + 10 = -v. Suppose -v*p + 73 = -5*m, -6*m + 2*m = -4. Is p/2*2008/12 a prime number?
False
Let r(n) = 2*n**2 + 3*n + 39. Suppose 3*i - 2*y = 3*y - 34, 5*i + 46 = 3*y. Let b be (-5 + (i - -3))/(-1). Is r(b) prime?
True
Let q(f) be the third derivative of 257*f**4/24 - 29*f**3/2 - 22*f**2. Is q(8) a composite number?
True
Let k be ((-4)/6*-1)/(66/990). Suppose k*r - 11*r = 5*a - 2932, 2*r = -2*a + 5856. Is r composite?
False
Suppose 0 = 25*q - 23*q - 18. Suppose -2*s = 3*c - 6*c + q, 5*c + s = 15. Is (1 - -2301)/(-3 + 2 + c) a composite number?
False
Let a = -52616 + 250057. Is a a composite number?
False
Is (-323 - -380)*(-15434)/(-6) composite?
True
Let g = 108292 + -76671. Is g a prime number?
False
Let i = 348 - 370. Is (i/(-6))/(4*(-4)/(-8592)) a composite number?
True
Suppose -4*b = -16*k + 19*k - 128341, -4*b - 213955 = -5*k. Is k a prime number?
True
Let c(r) = 355*r**3 - 12*r**2 - 32*r + 111. Let s(l) = 89*l**3 - 3*l**2 - 8*l + 28. Let d(w) = -2*c(w) + 9*s(w). Is d(4) a prime number?
False
Let a(k) = 26*k**2 + 15*k + 25. Let x be a(15). Suppose -p + 3*p + 4*s = x, -2*p + 2*s = -6082. Suppose 16*v = 12*v + p. Is v a prime number?
True
Suppose 5*x = 4*u + 25 - 189, -x = -4*u + 148. Let m = 39 - u. Suppose 1227 = m*k + 84. Is k a prime number?
False
Let f(d) = 2*d**3 + 43*d**2 - 496*d + 116. Is f(29) composite?
True
Let x(u) = 10*u**2 - 50*u + 153. Is x(-32) composite?
True
Suppose -116024 - 800856 = 9*c - 89*c. Is c composite?
True
Let c(j) = 573*j**2 - 75*j + 4. Is c(-7) a prime number?
False
Let x = 223074 - 156847. Is x a prime number?
False
Suppose 0 = -5*b - 2*f + 940, b - 2*f - 185 = 15. Suppose -3*l + 1896 = 2*z - 6*z, 2*l = -8. Let c = b - z. Is c a prime number?
False
Let o(k) = -k**2 + 2*k + 3. Let b be o(3). Suppose 7*j - 67 + 11 = b. Let h(d) = 7*d**2 - 6*d + 27. Is h(j) composite?
True
Let l be (-3)/15 + (-70)/25. Suppose u - 16 = -4*a, 8*a = 3*a + 10. Is (-1)/(-3) + u*(-94)/l prime?
True
Let y(n) = 6*n**3 - 2*n - 1. Let b = 42 - 37. Suppose -6 + 21 = b*d. Is y(d) prime?
False
Suppose 0 = 41